
k
Let f(x) = x**2 - 5*x - 16. Let u be f(8). Let w(l) = -l**2 + 8*l + 3. Let i be w(u). Suppose z = -i*z - 4. Is z less than 1/7?
True
Let s = -0.002 - -0.662. Let w = s + 0.04. Are -2 and w nonequal?
True
Let b be -156 + 3 + -3 + 3. Which is smaller: b or -145?
b
Let h be (-5 - (-64)/12)*(-72)/(-1324). Are 1 and h equal?
False
Suppose 0 = 11*w - 818 + 246. Let q be (-6)/(-8) - (-205)/4. Is w < q?
False
Let u = 14 - 25. Let x = 3.01 + -6.01. Is x at least u?
True
Suppose 3*c + 33 = -12. Let r = c - -17. Let t(j) = -2*j - 1. Let d be t(-1). Which is bigger: d or r?
r
Let u(m) = 4*m**3 + 3*m - 4. Let b(p) = -3*p**3 + p**2 - 3*p + 5. Let h(s) = -3*b(s) - 2*u(s). Let v be h(3). Which is greater: v or 1?
v
Suppose 0 = -d - 0*d - 3*d. Which is smaller: -2/273 or d?
-2/273
Let q = 1237 - 1222. Is 7 at most as big as q?
True
Let s = 41 - 41.158. Which is greater: s or 3?
3
Suppose 2*y + 3*m - 6 = 31, -2*y - m + 39 = 0. Let v be (-5)/(y/(-16)) - 4. Let b = 18 + -13. Is b at least as big as v?
True
Let c be (-584)/368 - (-3)/2. Let z(v) = -v - 11. Let l be z(-12). Which is smaller: c or l?
c
Suppose -5*j + 12 = -0*g + 3*g, -4*j - 8 = -2*g. Which is smaller: j or 39?
j
Let u = -0.06 - 32.44. Let g = u + -1.5. Is 0.2 greater than g?
True
Let i = 6.7 - 11.7. Suppose -h + 5*y + 1 = 13, 4*h + 2 = -3*y. Let x be 2 + h + (1 - 2). Which is greater: i or x?
x
Let x = 20905/3 - 7070. Let h = x - -105. Is h < 3?
False
Suppose 2*v + v = 156. Let a = v - -2. Is a greater than 54?
False
Let u = 409 + -447. Which is smaller: u or -17?
u
Let f = -502 + 500. Is -15.4 <= f?
True
Let x be 2*(6/(-24))/(5/250). Which is smaller: 3/4 or x?
x
Let m(t) = -t**3 + 13*t**2 - 41*t + 15. Let r be m(9). Let f(h) be the third derivative of 7*h**4/12 - h**3/3 + 3*h**2. Let o be f(-2). Is r at most o?
True
Let f(d) be the first derivative of -2*d**3/3 - d**2 + 5*d + 14. Let w be f(-4). Which is smaller: -20 or w?
-20
Let u be ((-4)/(-8))/((-1)/34). Let g = u - -2. Let x = g - -21. Do x and 6 have the same value?
True
Suppose 5*d - 49 = 2*s, -19 = -s - 4*d - 63. Let t be ((-92)/s - 4)/(6/(-8)). Which is smaller: 0.2 or t?
0.2
Let s = 2974785 + -3525119992/1185. Let i = -5/79 + s. Does i = 0?
False
Let n(a) = -4 + 4*a + 4 - 3 + 0. Let d be n(1). Let o be -6*(-1 + d/(-3)). Which is bigger: o or 9?
9
Let t be -2*2/(5 - 539). Is 1 less than or equal to t?
False
Let u be (-28)/4*-1 + (-89991)/12859. Is u at least as big as 0?
True
Let v be 12/10*(6 + -1 + -3). Which is greater: v or -8?
v
Let m = -284 + 301. Are 17 and m non-equal?
False
Let f = 5.565 - 4.48. Let n = -0.085 + f. Which is bigger: -2.1 or n?
n
Suppose -6*m - 470 = 664. Let d = m + 3583/19. Which is greater: -1 or d?
d
Let x be (-30)/25 - 4/(-10) - -1. Let a = x + -1/55. Suppose -4*z - f - 7 = 0, 5*f + 15 = -3*z + f. Which is smaller: z or a?
z
Let d = 74.6 + -75. Let h = 0.5 + d. Is h at least 3?
False
Let g = -3 + 3. Let z(y) = 3*y + 14. Suppose -16 = 3*j + o, -2*o + o = j + 6. Let u be z(j). Which is bigger: u or g?
g
Suppose 2 - 42 = -2*h. Suppose 17*y = 21*y - h. Suppose 7*u - 8 = 5*u. Is y bigger than u?
True
Let v(c) = -7*c + 20. Let o(n) = -5*n + 8. Let i(w) = -4*w + 7. Let y(m) = 6*i(m) - 4*o(m). Let p(l) = -3*v(l) + 5*y(l). Let t be p(0). Are -11 and t non-equal?
True
Suppose 0 = x - 3*u, -2*x - 3*u = 3*x + 18. Let m be x/((-9)/15) - 15/10. Suppose 3*h + 4*g - 35 = -0*g, -4*g = -5*h + 5. Is h > m?
True
Let y = 1559 - 1561. Let t = 2 - 3. Is y at most as big as t?
True
Suppose 0 = -n - 31 + 97. Let f be 153/n + (-1)/2. Suppose -24 = -10*a + 2*a. Which is smaller: a or f?
f
Let g be (-548)/(-36) - (2 + (-80)/45). Which is smaller: g or 14?
14
Let z = -23 - -17. Let y = 6.1 + z. Let m = y + -0.3. Which is greater: 2 or m?
2
Let v be (-10)/4*56/(-70). Suppose -4*j - p - 374 = p, -v*j - 196 = 4*p. Which is greater: j or -93?
j
Let g = -0.6 + 0.599. Let f = 0.899 - g. Is f not equal to 1/4?
True
Let x = 66 + -72. Let a(q) = -3*q**2 + 5*q - 3. Let d be a(3). Let j = d - -12. Which is smaller: j or x?
x
Let w(s) = s**3 - 2*s**2 + 2*s. Let b be w(2). Suppose b*p = -0*p + 8. Suppose p*t - 5*t = 0. Do t and -3/11 have different values?
True
Let r(w) = 11*w - 12. Let b be r(2). Suppose -b*z - 6*z = -32. Is z equal to 6/5?
False
Let f = -23410/459227 + 2/5813. Let g = f + 218/1185. Let c = g + 4/15. Which is smaller: -1 or c?
-1
Let j = 16 + -14. Suppose -j*u + 3 = -u. Suppose o - 2 = -u. Is -1/5 smaller than o?
False
Let c = -31 + 34. Suppose -2*z - 32 = -5*g + 88, 0 = -2*g + c*z + 48. Which is bigger: 26 or g?
26
Let u = -508 + 917. Which is bigger: -2 or u?
u
Let y = 19/15 + -4/3. Let o(q) = 0 - 4*q + 0*q**2 - q**2 - 6*q - 9. Let m be o(-9). Which is smaller: m or y?
y
Suppose 1901*l - 1915*l = 1050. Let g = 17 - 92. Is l bigger than g?
False
Let o = 56 - 20. Let m be (-188)/o + (-8)/(-36). Suppose 4 = -g - g. Which is bigger: g or m?
g
Let w = -36 - -22. Let f = w + -5. Let q = 14 + f. Is q bigger than 0?
False
Suppose -4*f + f = 3*i + 6, -2*i - f - 4 = 0. Let v be ((-9)/6)/((-7)/i). Let x = 0 - 0. Is v < x?
True
Let h = -91/15 + 31/6. Suppose -3*p = 4*u + 12, 9 = -p + 5*p - 3*u. Is h < p?
True
Suppose 0 = -7*w + 9*w + 1594. Is w greater than or equal to -797?
True
Let f = 672 - 436. Which is bigger: f or 1?
f
Let r = 4 - 4.06. Let o = r + 0.06. Let i = 0.04 - -0.06. Is i != o?
True
Let y = -3.9 - -4. Suppose 209*k - 212*k = -6. Which is smaller: k or y?
y
Let g(q) = 8*q**2 + q - 39. Let o be g(0). Which is greater: -3 or o?
-3
Let n = -4640/3 - -1547. Is -1/435 less than or equal to n?
True
Suppose -112 = -w - 3. Let r = -982/9 + w. Let v = -14 + 14. Are v and r non-equal?
True
Suppose -3*g - i = -6*g + 26, -62 = -5*g - 3*i. Let r = -6 + g. Suppose 0 = r*z - p + 15, -5*p + 4 = 3*z + 21. Which is smaller: z or -7?
-7
Suppose v = -5 + 6. Suppose 3*t + t + 12 = 0. Let l be 7 + t + 24/(-2). Which is greater: l or v?
v
Suppose s + 5*b = -0*s - 17, 35 = 5*s - 5*b. Is -6 > s?
False
Let y = -15 + 14. Let n = -85 - -1363/16. Which is bigger: n or y?
n
Let p = -62 - -249/4. Let u = 24 + -23. Let a be (9/(-7))/u - -1. Is p >= a?
True
Let q = -596 + 591. Which is smaller: -31/7 or q?
q
Let y(l) = l**3 - 20*l**2 - l + 22. Let v be y(20). Let q = 2 - v. Which is greater: q or -3?
q
Let k = -0.01 - 0.29. Let p = 1.31 - 0.01. Let y = p + k. Which is smaller: 0.06 or y?
0.06
Let p = -519/143 + 45/11. Suppose -2*f + 1 = -1. Which is bigger: p or f?
f
Let r(v) = -3*v**2 + v + 2. Let u be r(2). Let x be -3*20/48*u. Let z be (-5)/x - (-1)/(-2). Is 2/107 smaller than z?
False
Let o = 20 + -14. Suppose -o*n = -2*n. Suppose -6*i + 10*i = n. Which is bigger: i or 1/39?
1/39
Let s be 1/(-4) - 34/(-8). Suppose -s + 4 = -2*u. Let c = 1 + 0. Is u >= c?
False
Let y(h) = -h**3 - h**2 + 2*h - 2. Suppose -24*r = -26*r + 14. Suppose -r + 15 = 4*o. Let w be y(o). Which is greater: w or 1?
1
Suppose -7474 + 662 = -52*a. Which is greater: 130 or a?
a
Let j = -100 + 99. Let r be (22/30 + j)*(-20)/(-24). Which is smaller: r or 10?
r
Let u = -2 - -3. Let c = 1 - u. Let w(d) = d**2 - d - 5. Let p be w(c). Is p not equal to -4?
True
Suppose -11*p - 660 = -6*p. Let q be -2*3/p*6. Do q and 0 have the same value?
False
Suppose 2*w = -w - 21. Let j = -1.253 - -0.253. Which is bigger: j or w?
j
Let r(m) be the second derivative of m**4/12 + 3*m**3/2 + 3*m**2 - 12*m. Let z be r(-9). Suppose -5*k + 15 = -10. Is z less than or equal to k?
False
Let l(w) be the third derivative of w**6/120 - 2*w**5/15 + 7*w**4/24 - 5*w**3/6 + 8*w**2. Let j be l(7). Which is greater: -2 or j?
-2
Suppose -208*r + 212*r = 4. Which is greater: -2/4671 or r?
r
Let g(i) = -i**3 + 7*i**2 + 7*i + 8. Let v be g(8). Suppose -6*h - 3*o + 51 = -2*h, 5*o - 25 = v. Let l = 15 - h. Which is greater: l or 5?
l
Let b = 307 - 7677/25. Let m be (-27)/6*(1 + -3). Suppose -4*k = -m*k. Which is smaller: b or k?
b
Suppose -6*c + 42 = -8*c. Let i(x) = -x**2 - 2*x - 5. Let d be i(-5). Is d greater than or equal to c?
True
Suppose 6*o - 45 = o. Suppose 45 = 13*g - 4*g. Suppose 0 = 4*a + 16, g = 2*s - 4*a - 25. Is s <= o?
True
Let y be 29*(-3 - (-13 + 3)). Is y not equal to 203?
False
Let c = 0.2 + 0.8. Let d = 1.269 - -20.731. Which is bigger: d or c?
d
Let f = -41 - -46.9. Let o = -4.9 + f. Which is smaller: o 