
0
Let g = -3 + -25. Is g at least as big as -0.4?
False
Suppose 0 = -44*z + 8*z + 108. Let a(i) = i**2 + 1. Let y be a(1). Suppose -c - 2*c - 15 = 3*d, -z*d - 11 = y*c. Is -1/3 greater than d?
True
Suppose 2 - 6 = -4*g. Suppose 0 = 4*b + 5*w - 26, 5*w + 4 = -5*b + 34. Let o = -13/3 + b. Is o < g?
True
Let w = 5.8 + -6. Let s(q) = 26*q - 66. Let d be s(4). Is w at most d?
True
Let b = -42.2 + 28.2. Let j be 5 + 2/(-4)*2. Let f be (-1)/12 + j/(-24). Which is smaller: b or f?
b
Let x(u) = 9*u + 5. Let s be x(5). Let w = -201/4 + s. Let j(o) = o + 6. Let p be j(-13). Is w smaller than p?
False
Suppose -4*v = -3*z + 37, 41 = 3*z + 4*v - 6*v. Which is smaller: 11 or z?
11
Suppose -v + 0*v + 91 = -5*d, 4*d + 69 = -3*v. Let a be 4/d + 6/27. Let o = -285/4 + 71. Does o = a?
False
Suppose 3*q = -4*c + 83, -3*q = c - 0*c - 77. Let j = q + -16. Suppose 3*x - 4*v = -j - 5, 5*x - v + 12 = 0. Which is greater: x or -3/2?
-3/2
Let j(v) = -126*v**3 + v**2 + 3*v - 3. Let q be j(1). Which is bigger: -128 or q?
q
Suppose 2*q - 5*s - 31 = 0, 4*q - 4*s + 0*s = 32. Let m be (8/24)/(88/q). Which is smaller: -1 or m?
-1
Let i = -51/10 + 8323/1630. Which is smaller: i or -1?
-1
Let x = 17 - 15. Suppose 0 = -s - 3*h + 3, -3*h - x = -5*s - 5*h. Suppose -3*u - 5*a - 18 = -0*a, 2*a + 2 = 4*u. Is u smaller than s?
True
Let d(m) = 31*m - 126. Let f be d(8). Is 122 smaller than f?
False
Let h be 3 - ((-2)/(-1) - 3) - -20. Let c be (2*(-2)/h)/((-10)/12). Is 1/5 >= c?
True
Suppose -2*i - 2*i = -20. Suppose -i*y = a - 35, -5*y - 5*a + 2*a = -25. Suppose 21 = 2*t + t. Which is bigger: t or y?
y
Let b(j) = -j**3 + 39*j**2 + 75*j + 68. Let u be b(41). Is -217 greater than or equal to u?
True
Let m(t) = t**3 - 9*t**2 + 7*t + 6. Let g be m(8). Let y = g - -3. Let n be -1 + -26*(-5)/150. Is n smaller than y?
True
Let q = 23 + -9. Let p = 1209 - 1209.2. Is q at least as big as p?
True
Suppose -5*h = 5*k - 25, -h - 4 = -7. Suppose -3*m - k*u = -1, m - u - 5 = 3*u. Is 0 < m?
True
Let y = 2/1261 + -2984/291291. Are 1 and y unequal?
True
Let k be (-114)/10 - (-34)/85. Let g(p) = p**2 + 10*p - 11. Let i be g(k). Suppose -2*t + i = -12. Which is smaller: t or 3?
3
Suppose -19 = t - 5. Let b be t/(-3) + -4 - 0. Which is bigger: b or -0.5?
b
Let p = -47438 + 522961/11. Let c = p - 104. Which is bigger: 0 or c?
0
Suppose 3*b + 7 = 1, 0 = -4*n + 3*b + 10. Let a be ((-2)/(-105))/(12/20). Are n and a non-equal?
True
Suppose h + 1 - 5 = 0. Let u = 306 - 254.2. Let b = u + -52. Which is smaller: h or b?
b
Let p(b) = b**3 + 8*b**2 + 4*b - 13. Let q be p(-7). Let i be (2/1)/(q*5/20). Are 0 and i unequal?
True
Suppose -2*b - 6 = 6. Let q = 5 - -7. Let u = 8 - q. Is u bigger than b?
True
Let t be -15 + 22 - (-3358)/(-480). Which is smaller: -1 or t?
-1
Let q be -1 - -2 - 1516/1012. Let l = -517762/1265 - q. Let p = l - -411. Is p equal to 2?
False
Let z be (8/10)/(4/(-10)). Let p be (14/10)/(48/(-3420)). Let y = p + 99. Is y >= z?
True
Suppose -13 = -4*v - 5. Suppose v*o - 5*o = -27. Suppose 3*z = -o, -5*y = -3*y - 3*z - 5. Which is bigger: y or -9/7?
-9/7
Let z = 1111 - 891. Is 218 greater than z?
False
Let u = 1.7 - 1.5. Let g = u + 0.6. Let z = g + -1. Which is bigger: z or 4?
4
Let o = 161/326 + 1/163. Let m be (-12)/6 - 80/(-38). Is o at most m?
False
Suppose 1 = -w + 5. Suppose -8 = -w*z - 0*z. Suppose -10 = g - z. Is -1 less than g?
False
Let p(n) = -n**3 + 5*n**2 + n - 1. Let r be p(5). Let c(y) = -y**2 + 6*y - 13. Let a be c(r). Which is greater: -6 or a?
a
Let f(i) = i**3 + 7*i**2 + 18*i + 64. Let t be f(-7). Which is bigger: -185/3 or t?
-185/3
Suppose -2*i = -6, -8*i + 34 = m - 9*i. Which is smaller: 36 or m?
36
Let m = -4997 - -24567/5. Let w = m - -84. Which is smaller: w or -2?
-2
Let w(v) = v**2 - 3. Let b = -11 - -14. Let n be w(b). Suppose 5*l - 21 = 9. Is n smaller than l?
False
Let a be (-4)/(-10)*(-27335)/(-176). Let g = a - 62. Is -1 less than g?
True
Let i = 0.161 - 0.331. Which is bigger: i or -2/5?
i
Let f = 3898.151 - 3905. Let p = f - 0.151. Which is bigger: p or 8?
8
Let l be 1*-1 - (-3 - 1). Let x be (-26)/(-30) - ((-141)/45 + l). Is x equal to -3?
False
Let a(o) = 42*o**3 - o**2 - o - 4. Let c be a(-2). Is -343 <= c?
True
Suppose o - 1 = -0*o. Let b = 1.564 + 0.436. Which is smaller: o or b?
o
Let i be (-16)/(-2) - 5 - (-265)/(-105). Suppose -6*a = -11*a. Which is greater: a or i?
i
Let x = 67 + -58. Suppose 3*s = 2*l + x, -2*s - 5 = -s + 2*l. Is s less than or equal to 21/10?
True
Let s = 31 - 14. Let x = -12 + s. Suppose 4*w - x = 2*w + 3*m, m = -1. Which is smaller: w or 2?
w
Let a be 171/120 + 12/(-96). Which is greater: a or 0?
a
Suppose -4*r + 21 = -75. Suppose -4*i = -4*t - r, 5*i + 2*t = i. Which is smaller: 6 or i?
i
Let z be (-3 - -1)*(-22)/(-4). Let w be 7 + z - (0 + -4). Which is greater: 13 or w?
13
Suppose 0 = -2*n - 4*p - 3 + 1, 4*n - 16 = 2*p. Suppose -n*f + 1 + 77 = 0. Let q = f + -24. Is 2 less than or equal to q?
True
Let t = -9.027 + 0.027. Let r = t - -19. Is -6 greater than or equal to r?
False
Let p(b) = b**2 + 15*b + 41. Let n be p(-20). Let j be 54/(-12)*(3 + n/(-45)). Which is smaller: j or 0?
0
Let b be ((-42)/(-140))/(6/(-136)). Is -6 smaller than b?
False
Suppose 4*l = 8, m = 5*m - 2*l + 32. Suppose -b - 7 = -4, -35 = 5*c - 5*b. Which is smaller: c or m?
c
Let i be ((-20)/25)/(4/(-10)). Suppose 5*q - 3*k - 2 = 0, -2 = 3*q - 7*k + i*k. Which is smaller: -2/127 or q?
-2/127
Let u = 16 + -15. Suppose 4*h - k - 2*k - 44 = 0, -k - 36 = -4*h. Are h and u unequal?
True
Let i = 82.18 - 81. Let d = 3.08 + -2.9. Let v = i - d. Which is bigger: 2 or v?
2
Let b(o) = -82*o**3 + o**2 - 2*o. Let m be b(1). Let x = m - -35. Let z be (-1 - 1) + (-100)/x. Which is greater: 2/7 or z?
2/7
Let u = -39 - -72. Let q = 33 - u. Which is bigger: q or 1/10?
1/10
Let o = 2 - 3. Let g = 0.83 + 38.17. Let f = g - 35. Is o != f?
True
Let i = -98 + 103. Let z(h) = h**3 - 6*h**2 + 6*h - 6. Let q be z(5). Is q not equal to i?
True
Suppose -i + 3*v = -20, -25 = v + 4*v. Suppose -5*f = 2*l + 14 + 41, 22 = -2*f + i*l. Which is smaller: f or -9?
f
Let v(p) be the first derivative of p**4/4 + 8*p**3/3 + 5*p**2 + 2*p + 6. Let b be v(-7). Is b equal to -20?
False
Let l(b) = b**2 - 5*b - 1. Let g be l(6). Suppose 4*r + 11 + 9 = 0. Let x = r + 11. Which is smaller: g or x?
g
Let t(d) = 4*d**2 - 3*d - 26. Let p be t(-3). Which is smaller: -11 or p?
-11
Suppose -x - 4 + 0 = 0. Let n be 16/(-10) + (-2 - x). Which is smaller: -1 or n?
-1
Suppose -5*z - 2*a = -142, -4*z + 81 = -a - 30. Let s be (-23)/(-5) + (-126)/210 + 25. Which is bigger: s or z?
s
Suppose -p + 19 = 2*q + 2*q, p + q - 4 = 0. Suppose 4*b + 2*i - 4 = 5*i, 2*b - 4*i = 12. Let y be (b/11 - (-705)/(-176)) + 4. Is p at most as big as y?
True
Let k be ((-2)/5)/(2/(-10)). Suppose 1 = -k*q + g, 4*g = -q - 19 + 5. Let r be -5 + (594/(-45))/(-3). Are q and r equal?
False
Suppose 0 = -2*x - 2*x + 2*i - 80, 0 = x + 2*i + 10. Is x >= -20?
True
Let q be (-19 - (-890)/50)/((-3)/85). Is q at least 29?
True
Let f be ((-15)/(-9))/(176975/30). Which is smaller: 0 or f?
0
Suppose 3*y = -3*g - 0*y - 90, 5*g = -3*y - 158. Let q = -44 - g. Which is greater: -0.1 or q?
-0.1
Suppose 3*x + 67 = 7*x - 3*y, -34 = -2*x + 2*y. Suppose 2 = -15*d + x*d. Which is smaller: 10/3 or d?
d
Let i(h) = h**3 - 2*h**2 - 3*h - 1. Let u be i(3). Let g be u + 178 + -3 + -3. Let w = g + -1199/7. Which is smaller: w or 0?
w
Let q be (1650/154)/((-9)/(-2)). Which is greater: 2 or q?
q
Suppose 2*n - 150 = -66. Let z be (-2)/6 - (-560)/n. Is 16 bigger than z?
True
Suppose -35 = 171*g - 178*g. Which is greater: g or 29/8?
g
Let j be 1 + 2 + -1145 + 0. Let k = j - -3466/3. Let q = -14 + k. Which is greater: 7 or q?
7
Let g = 43750/212901 - 2/5459. Are -1 and g unequal?
True
Suppose 4*q = -4*r + 28, 5 = 4*r + 2*q - 33. Let b(o) = o**3 - 13*o**2 + 11*o + 9. Let l be b(r). Let k be ((-4)/(-50))/(l/15). Which is smaller: 1 or k?
k
Suppose 0 = 4*j - 8*j + 4*b - 40, 4*b = -3*j - 44. Is -25 < j?
True
Let h(p) = 3*p**2 - 6*p + 5. Let u be h(2). Suppose 25 = u*v - 15. Let x be (-3)/(3/v*2). Which is greater: x or -5?
x
Suppose -6 = -2*g - 4. Let v be -15*(g + 2/(-6)). Let a = -3 + -7. Is a > v?
False
Let h = -3 + 3. Let v = -41214 + 207356/5. Let z = -258 + v. Which is greater: 