
12
Suppose 7 = 2*a - 3*a. Suppose 10 = 3*i - 4*i - 3*q, 2*q = -2. Is a less than or equal to i?
True
Let m be 152554/(-344367) - (-4)/9. Are m and 0 equal?
False
Let s(z) = -16*z - 1. Let d be 6/4*32/(-48). Let h be s(d). Let v = h + -44/3. Which is bigger: 0.1 or v?
v
Let l = 0.43 - 0.83. Is 3 greater than or equal to l?
True
Let r(g) = -g**3 + 2*g**2 + 3*g + 2. Let t be r(3). Let b be t - (-4 - (-4 - -2)). Let f be 1/4 - 1/b. Which is greater: f or 0.5?
0.5
Let h = 10 - 1. Let u(i) = -41*i**3 + 2*i**2 - 1. Let p be u(1). Let m be 14/p + h/12. Which is smaller: 1/4 or m?
1/4
Let b = 0.3 + -0.2. Let p = 3.96 + -4.26. Let n = p - b. Which is greater: n or -1/4?
-1/4
Let w be 4/30 + (-46518)/45. Let b = -1037 - w. Which is smaller: -2 or b?
b
Suppose -6 = 3*j, 5*a - 5*j + 480 - 125 = 0. Are a and -73 nonequal?
False
Suppose -21 = 5*d + 19. Let h be (-6)/20*d/6. Is h smaller than -0.29?
False
Let p be ((-3)/9)/((-18)/2214). Which is bigger: p or 39?
p
Let x(p) = -p**3 - 5*p**2 - 5*p - 8. Let l be x(-4). Let m(s) = -s - 8. Let g be m(l). Let w be (1/g)/((-25)/(-40)). Is -1/3 at most w?
False
Let a = 4.105 + -4.1. Let t = a - -3.995. Which is smaller: t or 5?
t
Let p be 19/((-94905)/11304) + 0/2. Let u be 14/222*(-1)/(-1). Let t = u + p. Is -3 < t?
True
Let r = -17 - -21. Suppose -4*c + 32 + 52 = -3*f, -2*c - r*f = -42. Let z be 2 + ((-103)/c - -3). Which is bigger: 1 or z?
1
Suppose 5*t + 14 - 39 = 0. Suppose t*o - w + 22 = w, 0 = 4*o - w + 17. Which is greater: o or -3?
-3
Let i be (-11)/77 - 16/182. Is i at least 0?
False
Let g be ((-75)/45 + 2)/(2/6). Which is greater: g or 2/2833?
g
Let i(c) = -c**2 - 2*c - 2. Let d be i(-2). Let r(t) = t - 3. Let m be r(6). Suppose 0 = -f - 2 - m. Are d and f equal?
False
Let s be (6/(-4))/((-3)/8). Suppose -v - 5 = s*v. Is v > -2/79?
False
Let g = -446 - -446.1. Which is greater: g or -0.069?
g
Let k(a) = -3*a**3 + 151*a**2 - 53*a + 94. Let g be k(50). Is -16 at least g?
True
Let r be ((-14)/(-4))/(14/(-2100)). Let k be ((-2)/5)/(7/r). Let z = 61/2 - k. Is -0.4 greater than z?
False
Let a(w) = -2*w - 1. Let o be a(-6). Suppose 5*v = 4*u + o, 0*v = 2*v - 6. Let s = 376/315 + 2/315. Are u and s non-equal?
True
Suppose -3*f + 2*b = 17, 4 = 2*f + 4*b - 6. Let a be (-26)/(-65) + f/(-5). Are -2/209 and a unequal?
True
Suppose -s + 1 = 0, 4*a + a - 2*s - 18 = 0. Suppose 31*j - 35*j = -a. Is j greater than 3/13?
True
Let t(x) = -x**3 - 22*x**2 - 18*x + 15. Let r be t(-21). Is r less than or equal to -9?
True
Let f(h) = 16*h**2 + 2*h - 1. Let x be f(0). Which is bigger: x or -30?
x
Let d(b) = b**2 - 104*b + 489. Let p be d(5). Is p at least as big as 106?
False
Let q = -1300 + 1299. Let n be (-9)/(-24)*(-82)/(-3). Let f = -275/28 + n. Is q greater than f?
False
Suppose 0*y = -2*y - 2. Let z be 0/(3/y) - 9. Which is greater: -7 or z?
-7
Let i be 14*2*4/(-8). Let v be i/(-60) + 3/18. Let a(t) = -t**2 + 13*t + 89. Let y be a(18). Is y at most v?
True
Let y = 934 + -933.5. Is 109 not equal to y?
True
Let t be (1/26 + 0)*-4. Let o(g) = -g**3 - 4*g**2 - 5*g - 2. Let u be o(-2). Which is smaller: t or u?
t
Let g = 699 + 142. Which is smaller: 842 or g?
g
Let j = -41 + 56. Let u be 6/(-15) + (-114)/j. Let t be (60/(-18))/(u/(-9)). Is t <= -4?
False
Let u(w) = w + 12. Let p be u(-10). Suppose p*d = 0, -2*n - 57 = n - 4*d. Let g = 19 + n. Is -1/4 >= g?
False
Let g = -1314 + 1315. Is -3/391 less than g?
True
Let j(f) = -f**3 - 4*f**2 + 7*f + 7. Let g be ((-2)/(-3))/((-206)/(-30) - 7). Let h be j(g). Which is smaller: h or 2/19?
h
Let n = 8544 - 683509/80. Let s = n + -159/2320. Let c be 0*((-1)/(-3) - (-25)/(-30)). Which is smaller: c or s?
c
Let a = 1.66 - -8.46. Let t = 0.12 - a. Let l = 9 + t. Which is smaller: l or -2/25?
l
Let n(i) = -2*i - 9. Let a = 8 - 14. Let d be n(a). Let v be (d + 16/(-6))*-3. Which is bigger: v or -2/11?
-2/11
Let z = 259 + -272.3. Let o = 2.3 + z. Let k = -14 - o. Is k <= -1?
True
Let y = 98137 + -332193749/3385. Let r = 8158/1174595 + y. Which is smaller: r or -1?
-1
Let v = -37 - -37.034. Let o = 0.034 - v. Are o and 1 unequal?
True
Let s = 11.2 + -2.7. Let i = -7.53 + s. Let j = i - -0.03. Which is greater: j or -2/3?
j
Let u = 263 + -255.4. Is -0.3 greater than u?
False
Let j = -60 + 65. Suppose i - 4*i = -j*i. Let w = -17830/583 + 336/11. Is w <= i?
True
Let w(h) = -h**2 - 5*h - 2. Let b be w(-3). Suppose b + 6 = -10*x. Is -3 bigger than x?
False
Let l be -12*8/(-72)*(-6)/28. Let a = 1 + -19. Let j = -14 - a. Which is bigger: j or l?
j
Let p = -58 + 61.1. Let q = 34.9 + p. Let y = q + -39.1. Are y and 1/5 equal?
False
Let j be 2/5*(-25)/5. Let q = 0.7 + -0.7. Let w = q + -1. Is j > w?
False
Let c = -17.05 + 0.05. Let p = 67.5 + -65.5. Are p and c nonequal?
True
Suppose 15 = -13*r + 80. Let w = -11 - -20. Suppose -d + 4*d = w. Which is bigger: r or d?
r
Let f be (3/2)/((-12)/88*-1). Let x(d) = 12*d**3 - 2*d**2 + 2*d - 1. Suppose 0 = l - 3 + 2. Let m be x(l). Is f greater than m?
False
Let n = 14 - 8. Suppose 0 = -5*q - n - 24. Is -7 greater than q?
False
Suppose 0 = 103*u + 27*u. Let c = 74 - 1418/19. Which is smaller: c or u?
c
Suppose 2*u + 0*o + 6 = 3*o, 5*u + 5*o = 10. Suppose 5 = w + 2*a, u = -2*w + 4*a + 2. Suppose 3*d - 4*d = -1. Which is bigger: d or w?
w
Let j = 45.38 + -50.4. Let d = j + 0.02. Let g = 1 - d. Is g at most as big as 1?
False
Suppose -w + 9 = -27. Let l = -32 + w. Let p(j) = j**2 - j + 1. Let k be p(1). Which is greater: k or l?
l
Let m = -15610/27 - -5230/9. Is m smaller than 4?
True
Let k = -256 - -255. Let i = -79/182 + 5/14. Which is smaller: i or k?
k
Let j(u) = -4*u + 32. Let h be j(8). Is -5/74 at least as big as h?
False
Let d = -49.1 + 49. Is -30/13 <= d?
True
Let z(k) = 40*k**3 + k**2 - k. Let n be z(-1). Which is smaller: n or -35?
n
Let d = -3103/39246 + -1/633. Let l = d + 259/1674. Which is bigger: 1 or l?
1
Suppose 18 = -2*u + 5*d, -u - 4*d = -5 + 1. Let m(c) = -c**2 + 17*c + 24. Let j be m(18). Let x be ((-9)/j)/(5/20). Which is smaller: x or u?
x
Let r = -50 + 72. Let x be 1 + 56/(-9) - r/(-99). Which is bigger: x or -1/6?
-1/6
Let v(m) = -m + 14. Let i(y) = -y + 7. Suppose -6*k + 2*k = 20. Let l be i(k). Let x be v(l). Which is greater: x or 0.1?
x
Let o be (-1)/(-8) + (8 - (-5999)/(-952)). Which is smaller: 2 or o?
o
Let m = -69 + 74. Let h be (-5 + 570/m)/(0 + 1). Which is smaller: 110 or h?
h
Let n be 26/385 - (-4)/(-22). Let f = -1347 - -1347. Are f and n equal?
False
Suppose -5*a + 32 = 7. Suppose 3*r - 6 = 2*g, a*g - 5*r + 3 = -2. Let u be 3/9 - 2/g. Which is greater: 4/3 or u?
4/3
Let x(d) = 7*d**2 - 23*d + 112. Let g be x(5). Is 687/4 less than or equal to g?
True
Suppose 5*n + 88 - 123 = 0. Let f = 16 + -8. Is f not equal to n?
True
Let w be (1*-1)/(-13)*-3. Let t = -1744 - -1744. Which is greater: w or t?
t
Let j be 5/((-10)/(-3))*-142. Let f = -12 + j. Let q = f + 2477/11. Which is bigger: 0 or q?
q
Let a(d) = -d**3 + 6*d**2 - 5*d + 2. Let f be a(5). Let l be (6/40)/(f/8). Let s = 41986 - 41986.4. Does l = s?
False
Let u(y) = y**2 - 18*y + 18. Let n(i) = 2*i**2 - 35*i + 36. Let z(q) = 3*n(q) - 5*u(q). Suppose 38*s = 40*s - 26. Let k be z(s). Is -7 bigger than k?
True
Suppose -7*c - 7 = -14*c. Which is smaller: c or -3/28?
-3/28
Let q = -666 + 188479/283. Which is smaller: q or 0?
0
Suppose -5*h + 3*h = -10. Suppose 2*i + 5*b + 19 = 0, -2*i + 6*i + h*b = -43. Which is greater: 2/5 or i?
2/5
Suppose -3*u + 2*x + 19 = -11, 0 = 3*x. Let b = 5 - u. Let c(v) = -v**3 - 5*v**2 - 1. Let z be c(b). Is z != 2?
True
Suppose 4*t = -5*t + 27. Suppose -5*z + 12 = -t*y + 4*y, -4*y = 4*z. Which is smaller: 10 or z?
z
Let l(s) = s**3 + 36*s**2 + 32*s - 122. Let w be l(-35). Is w greater than -1/8?
False
Let m(x) be the second derivative of 0 - 2/3*x**3 - 6*x**2 + x. Let b be m(-4). Does b = 4?
True
Let r = 40 - 34. Let i be 5/r + (-4)/8. Let j be (-3)/(-4) - 0/(-3). Which is smaller: i or j?
i
Suppose 38902 = -68*k - 32634. Which is smaller: k or -1053?
-1053
Let t = 0.13 + 21.87. Let f = 34 - 61. Let y = f + t. Are y and 2/3 equal?
False
Let x be 13/((-16107)/1036) - (-2)/3. Which is smaller: x or 0?
x
Let z be 466/(-90) + 2/(-9). Let q = 0.36091 - 2.36091. Which is bigger: z or q?
q
Let i(q) be the first derivative of q**3/3 - 11*q**2/2 + 30*q + 4. Le