 Suppose 3*s + 9*r - 162 = 4*r, 3*r + 186 = 3*s. Let w = s + u. Which is smaller: 20 or w?
20
Let w(g) = 2*g**3 - 1. Suppose 5 = 3*q - 2*k, -2*k - 2*k = 4. Let i be w(q). Let h(m) = -3*m**2 + 23*m + 210. Let f be h(13). Is i at most as big as f?
True
Let o be (3 - 2) + (-4)/(-2). Suppose 4 - 10 = o*r. Are 1 and r equal?
False
Suppose t - 75 + 73 = 0. Suppose 2*n = -5*y - 10, -3*n - 15 = t*y - y. Let z = 93/70 - 10/7. Is y at least z?
True
Let z = 189/121 + -83668/121. Let u = -691 - z. Let o(n) = n**2 - 11*n - 12. Let v be o(12). Which is smaller: u or v?
u
Let q = 0.08 - -0.1. Let g = q + -0.28. Let w = 0.05 + -0.35. Which is bigger: g or w?
g
Let u be (42/(-8))/(15 + -3). Let g = -0.98 + -0.02. Which is bigger: u or g?
u
Let n be 272396/158 + 4 + 0. Let l = 1728 - n. Is l equal to -2/7?
False
Suppose 2*j - 4*v - 156 = 0, 3*j - 3*v = 6*j - 243. Let k = j - 402/5. Is k greater than -1?
True
Suppose 2*x - 241 = 5*a - 2*x, -a = -5*x + 44. Which is smaller: -50 or a?
-50
Let o = -73/15 - -1/5. Which is bigger: o or -4?
-4
Let a be (7 - -2) + (-1 - -2). Let l(s) = 6*s - 25. Let v be l(a). Are v and 35 nonequal?
False
Suppose -5*i - 5*q = -2*q + 15, -3*i + 3*q = -15. Let f = -10/7 + 97/63. Which is smaller: f or i?
i
Let l = 0.71 + -0.81. Let m = 0.47 + -15.47. Which is greater: l or m?
l
Let n be (15/234)/(5/4). Which is greater: 2/21 or n?
2/21
Let b be 13/((-52)/(-432)) - 3. Let u = 77 - 52. Suppose 5*k - b = -u. Is k < 15?
False
Suppose 0 = 2*f + 2*f - 8. Let p be (-36)/(-48)*f/6. Which is smaller: 2 or p?
p
Let k(x) = -18*x**2 - 6*x + 2. Let p be k(7). Which is smaller: p or -921?
p
Let v = 169 - 153. Is v less than 22?
True
Let t be (0 - -3) + 1971/3. Let s be (-10)/(-4)*912/t. Let i = 1612/473 - s. Which is greater: i or 1?
1
Let w = 2294 - 1260. Let z = w + -139591/135. Is z at most -1?
False
Let t = -302.2 - -301. Which is bigger: 1 or t?
1
Let q = 712 + -639. Which is bigger: 77 or q?
77
Suppose 812 = 4*r + 812. Which is greater: 18/119 or r?
18/119
Let n(c) = c**3 - 12*c**2 - 16*c + 33. Let t be n(13). Is -33 greater than t?
False
Let p = 1917345/416 - 4609. Let g = 199/3744 + p. Which is bigger: 1 or g?
1
Suppose -12*m = -2 - 58. Suppose m*f + 49 = v, 2*f + 36 - 173 = -5*v. Are v and 28 unequal?
True
Let u = -1 - -3. Suppose s + u*s + 9 = 0. Let c be (30/9 + s)*0. Is c less than -1?
False
Let r be (3/1118 + 0)/(369/(-492)). Is r bigger than -1?
True
Suppose 54 = 2*f + 2*w + 450, 2*f - w + 411 = 0. Which is smaller: -202 or f?
f
Let t = 55 - 57. Suppose 6 = 4*l - 10. Let m = t + l. Is 3 greater than m?
True
Let s(u) = 3*u**2 + 6*u - 98. Let a be s(7). Which is smaller: a or -1/2?
-1/2
Let f(q) = q**2 - 7*q + 2. Suppose 12*c = 17*c - 35. Let y be f(c). Let m be -1 - ((-36)/10)/2. Which is bigger: y or m?
y
Suppose 2*u - 1 = -3. Let g be 18/45 + (-636)/1640. Which is greater: u or g?
g
Let w(c) = 2*c**2 - 63*c + 36. Let h(v) = -v**2 + 21*v - 12. Let x(y) = -8*h(y) - 3*w(y). Let a be x(-10). Is a bigger than -22?
False
Let f(g) = g**3 - 18*g**2 + 16*g + 19. Let b be (16/(-14))/(-4) - (-234)/14. Let k be f(b). Does k = -1?
False
Let r(u) = 2*u - 11. Suppose -2*a - 2*v + 32 = 2*v, 2*v = -3*a + 28. Let m be r(a). Suppose 5*z + 22 = -3*i + 5, 5*i = -z + m. Which is greater: 0 or i?
i
Let n be (-15)/(-105) - (-66)/273. Which is bigger: 2 or n?
2
Let r(u) = 3*u + 23. Let a be r(-8). Is a greater than -25/14?
True
Suppose 92 = -4*p + t, -3*t - 2*t + 52 = -3*p. Let z be (14/(-21))/((-1)/p). Let a be (-2)/(-3) - z/(-6). Is -1 at most a?
False
Suppose 5*v - 6 - 4 = 0. Suppose q - 9 = -7. Suppose -14 = -q*y - 10. Is y smaller than v?
False
Let o = -125 - -85. Let t = o - -40. Which is smaller: t or -2/11?
-2/11
Let u = 20/161 + -58664/483. Which is bigger: -120 or u?
-120
Suppose 5*p - m = -94, 0*p - 2*m - 59 = 3*p. Let s be 15 + p - (-158)/80*2. Is s greater than or equal to 0?
False
Let a = -18.956 - -19. Let z = 2.556 + a. Which is smaller: z or 2/5?
2/5
Let b = 8 - 2. Suppose 45 = -10*t - 225. Let g = 32 + t. Which is greater: g or b?
b
Let z = 0.52 + -0.7. Let r = 0.92 - z. Let s = r + 0.9. Is s greater than or equal to -2/3?
True
Let q be (-429)/77*(-12)/(-227). Let m = q + 2/227. Is 8 at most m?
False
Let j = 15.466 + 0.034. Let t = 14 - j. Let r = t - -0.5. Which is smaller: r or 1?
r
Let u = 905 - 703. Which is greater: -2/7 or u?
u
Let g be (57/(-38))/(1 + 52/(-53)). Is -79 at most as big as g?
False
Let v = -56.67 - -0.67. Let t = -55.5 - v. Are 0.3 and t non-equal?
True
Let z(y) = 6*y + 104. Let s be z(-12). Is 0 >= s?
False
Suppose -5*w + 3*o - 1 + 4 = 0, 0 = 4*w - 5*o + 8. Let d = -111 + 111.47. Let g = 0.5 - d. Which is greater: g or w?
w
Suppose 2*i - 88 = -4*w, -3*w = -2*w + 5*i - 40. Suppose 2*x - 4 = w. Which is smaller: 10 or x?
10
Let p = 3541 - 17709/5. Let a(i) = i - 4. Let q be a(7). Suppose -4*w = r - 8, -2*r - q*w = 2*w - 10. Is r greater than p?
True
Let n(p) = -3. Let m(j) = j**2 - j - 7. Let i(c) = 2*m(c) - 5*n(c). Let k be i(-3). Are 25 and k equal?
True
Let v = -59/75 + 3/25. Let d = 0.03 + 4.97. Let o = 4.98 - d. Is v less than or equal to o?
True
Let j(a) be the first derivative of -a**4/4 + a**2 - 9. Let x be j(-2). Let y be 1/(x/20) - 2. Which is greater: -2 or y?
y
Let k be (-5)/20 - 126/8. Let n be 0*(-2 + -2)/k. Which is greater: -8/15 or n?
n
Let g be ((-5)/90)/(7/42). Is g at least as big as -128?
True
Let z = 28 - 47. Let j = z + 19. Which is smaller: j or -1/7?
-1/7
Let j(n) = -2*n**3 - 24*n**2 - 22*n. Let k be j(-11). Which is greater: k or 9/82?
9/82
Suppose 0 = 4*t - 2*q + 28, 21 = -3*t - 7*q + 9*q. Suppose 7*a + 5*l = 4*a - 17, 0 = -4*a - 4*l - 20. Do a and t have the same value?
False
Let u(z) = 139*z**2 + 2*z - 1. Let k be u(1). Suppose 0*x + 5*g = -5*x + k, -3*x + 84 = -g. Let h be (-2)/(-6) + 166/6. Is h greater than or equal to x?
True
Let q = 2 + -19. Let n = 21 + q. Let c be (3 + 10 - n) + -3. Is 4 greater than c?
False
Let r = 0.206 + -0.406. Which is bigger: r or 230?
230
Let j = 126.44 - 0.54. Let f = j - 126. Which is smaller: -25 or f?
-25
Let p(a) = -a**2 + 3*a - 1. Let v(o) = -o**3 - 5*o**2 + 11*o + 16. Let y be v(-7). Let x = -34 + y. Let u be p(x). Which is bigger: u or 1/13?
1/13
Let g = 25.981 + 0.019. Let a = g - 25.86. Let p = 0.46 + a. Which is smaller: 2 or p?
p
Suppose 0*x = 3*x + 9. Let n be 2 - (-5 + 1 + 9). Let f be 44/(-7) - n - x. Which is smaller: -18 or f?
-18
Let l = 20 + -14. Suppose 0 = -8*r + l*r. Suppose -3*g = -r*g + 12. Which is smaller: -3 or g?
g
Let s be (-4)/22 - (-92)/22. Suppose 5*i + 5*f = -20, -2*i = 5*f - 0 - s. Let z = i - -6. Is -2 at least z?
True
Let r(v) = v**2 - 10*v + 7. Let g be r(10). Suppose -3 = 4*p - g. Is -6/23 greater than p?
False
Let y = -0.1 - 0. Let b = 5453 + -10905/2. Is b less than or equal to y?
False
Suppose -15*m + 14*m + 10 = 0. Let x be (-4)/(-8)*(-5)/m. Is 1 != x?
True
Suppose 8*s - 6*s = 0. Suppose 3*d = 4*u + 4 + 12, 4*d - 5*u - 20 = s. Let r be 2 + -1 - (d + 5). Which is greater: r or -3?
-3
Let b = -8686 - -4316940/497. Which is greater: b or 1?
1
Let a = 2/893 + 840/422389. Is -1 not equal to a?
True
Let m = 0.0797 - 0.0497. Are 12 and m equal?
False
Suppose 0 = 8*s - 101 + 53. Which is bigger: 31/6 or s?
s
Let a = 43 - 43. Let w = -17 - a. Which is bigger: -15 or w?
-15
Let d = -2/3125 + -24982/28125. Let j = -14/9 - d. Which is bigger: -0.04 or j?
-0.04
Let h(n) = 2*n**2 + 17*n + 21. Let w be h(-7). Do w and 2/317 have the same value?
False
Let t(s) = -7*s - 17. Let z(v) = 4*v + 9. Let h(b) = 3*t(b) + 5*z(b). Let u be h(2). Which is smaller: u or -4?
u
Let r = -17789405/801 + 22209. Which is greater: r or 0?
r
Let w be (0/(-6))/(-3 + 1) + -2. Let k be 3*(-104)/60 - w/(-1). Is k less than -7?
True
Suppose 4*v - 5*d = -d - 36, 2*v - d = -13. Which is greater: v or -19/6?
-19/6
Let f be 3/(-2) - -183*(-8)/(-48). Is f less than 200/7?
False
Let z = -94 - -90. Let g(i) = i**2 - 4*i. Let l be g(3). Does z = l?
False
Let v = 18.95 + 2.35. Which is bigger: 0 or v?
v
Let u be ((-3)/45*5)/((-2)/6). Does 45 = u?
False
Let l be 42/20*(224/24 - 10). Which is smaller: 0 or l?
l
Let a be -1*(-5)/(2 + -1). Let l(k) = -k + 8123*k**2 - 8116*k**2 - 6*k - 1 - k**3. Let f be l(a). Is 12 at least as big as f?
False
Let k = -48 + -33. Let c(v) =