han 1/46?
True
Suppose -4*z + 4*s + 956 = 0, -5*z + 4*z + 239 = -3*s. Which is greater: 237 or z?
z
Let d be (-1)/(-5) - (-168)/(-15). Let f = d + 21. Is f at most 17/2?
False
Let o be 2/(-5) - (-492)/(-20). Let k = -24 - o. Is -5 less than k?
True
Let u(z) be the third derivative of -z**4/3 + 13*z**3/2 - 6*z**2. Let c be u(5). Is c at most as big as -10?
False
Suppose -87*f + 116*f - 39440 = 0. Is f > 1360?
False
Let f(u) be the first derivative of -u**2/2 - 6*u + 7. Let n be f(-12). Let q be (-3)/(-12)*n*10. Which is smaller: 14 or q?
14
Let n = 35 + -30. Let b(i) = -i + 6. Let q be b(n). Which is smaller: q or 2?
q
Let r be 1002/18*(-12)/782. Let c = r + 16/17. Let h = 3 + -2. Does h = c?
False
Let d(j) = 4*j**2. Let f be d(-1). Let b = f + -6. Which is smaller: -2/3 or b?
b
Suppose 0 = 2*y + 57 - 7. Let l = y + 24. Are l and 1/9 nonequal?
True
Let n(f) = f**3 + 28*f**2 + 34*f + 189. Let r be n(-27). Which is greater: r or -2/127?
r
Let i = -18 - -25. Let l = 80 - 78. Suppose -l*t = -5*z + 8, -2*z = -t + z - 6. Is i >= t?
True
Let y be 1126/10 + (-21)/(-15) + -2. Let d = y - 76. Are 36 and d non-equal?
False
Let v = 18300/31 - 590. Which is greater: v or 0?
v
Suppose -7*r - 863 = -303. Which is bigger: -82 or r?
r
Let f be (-10)/(2/3*-1). Let x = 14 - f. Which is greater: -0.08 or x?
-0.08
Suppose 7*l + 0 = -21. Let y(a) = -a**3 - 2*a**2 + 2*a - 2. Let n be y(l). Let q be (n/1)/((-492)/24). Is q at least as big as 1?
False
Suppose 8*y + 0 = 8. Suppose 2*g - y = 3*d + 16, -2*d - 9 = g. Which is greater: g or -1/7?
g
Suppose 12*n + 97 = -119. Which is greater: n or -19?
n
Let j = -0.037 + -0.213. Let z = 0.05 - j. Which is bigger: z or 7?
7
Let t = 53 + -38. Let z(i) = -13*i - 5. Let u be z(-1). Suppose -r + u*r = 105. Is r greater than t?
False
Let y(a) = a**2 - 17*a - 14. Let x be y(17). Let v be (-4)/x + 264/56. Is 0 less than v?
True
Let o(u) = -2*u**2 - 11*u - 7. Let l be o(-4). Suppose l*x = -x + 12. Is 66 greater than or equal to x?
True
Let a = 1.1 - 8.1. Let u = -1.4 - -4.4. Let d = u - 3.1. Which is smaller: d or a?
a
Suppose 92*w + 2596 = 103*w. Is 238 < w?
False
Suppose -4*z + 52 = 4*f, -4*z = -f - 3 - 4. Suppose -f = 4*t - 3*j + 13, t + 4*j + 15 = 0. Is -6 equal to t?
False
Suppose 0 = 3*n - 281 + 293. Is n at most -72?
False
Let u = -53 - -67. Let d be (18/u)/((-8)/48). Which is bigger: -7 or d?
-7
Let i(v) = -v**3 - 5*v + 1. Let n be i(-3). Let x = 42 - n. Is -1/112 equal to x?
False
Let i = -292 - -280. Which is greater: i or -14?
i
Let o = -32321 + 32320. Let l be 4/(-14) + (-642)/(-189). Let y = 22/9 - l. Is o less than y?
True
Let m(c) = c + 12. Let y be m(-13). Let r(z) = z**2 - 20*z + 2. Let d be r(12). Let l be 9/3 + d/32. Which is smaller: y or l?
y
Let b = -1231 + 35693/29. Let o be (2 - 1)/1 + -1. Is b < o?
True
Let d(u) = 22*u - 7. Let k be d(6). Let h = -80 + k. Which is smaller: h or 46?
h
Let v(c) be the third derivative of c**6/120 - 4*c**5/15 + 7*c**4/12 + 35*c**3/6 + 17*c**2. Let j be v(15). Suppose p + 9 = 30. Is j less than p?
True
Let h(i) = -i**2 + i + 21. Let k be h(5). Which is smaller: 2/49 or k?
2/49
Suppose -41 - 187 = -4*j. Let q = -58 + j. Are -1/35 and q unequal?
True
Let g = 0.08 - 0.16. Let t = -11 - -9. Do t and g have the same value?
False
Suppose 0 = -3*a - 13 + 1. Let z = -3/398 + -2183/796. Is z at most a?
False
Let t = 202 + -88. Is 112 < t?
True
Suppose 4*x = -h + 21, 0 = 6*h - h - 4*x + 15. Let m = -695/12672 - 1/1408. Which is greater: h or m?
h
Suppose -2*v + 7*v + 2*l + 1 = 0, -4*v - 3*l - 5 = 0. Which is smaller: v or 1/8?
1/8
Suppose -5*d + 13 = -3*r, -5*r + 7*r - 4*d + 12 = 0. Which is greater: -12/7 or r?
r
Let n = -36 + 36. Is n at least as big as 0.95?
False
Let p(x) = -2*x + 15. Let f be p(7). Suppose 7*z + f - 8 = 0. Which is smaller: z or 4/7?
4/7
Let u be (-1)/4 + (-1540)/(-16). Suppose -5*o - 2*n - 120 = -0*n, -4*o - u = -n. Which is smaller: o or -22?
o
Let r be (-8 - -10)*11/(-22). Which is greater: -4/993 or r?
-4/993
Let v = -872.3 - -917. Let y = -45 + v. Which is smaller: 3/4 or y?
y
Let a = 0 + 10. Suppose -15 = -5*x + q, 3*x - 9 = -0*q - 3*q. Let p be ((-2)/x)/(14/(-189)). Which is bigger: a or p?
a
Let n = -1.4 + 5.4. Let z = n - 10. Is -0.3 at most as big as z?
False
Suppose -n = -4*v + 14, 4*n + 7*v - 1 = 4*v. Which is greater: 0.081 or n?
0.081
Suppose -37*v = -40*v + 30. Let g = v + -9. Which is smaller: 5/19 or g?
5/19
Suppose 0 = -5*n - 3*q - 2*q + 30, -3*n + 5*q - 6 = 0. Suppose -n*r = 2*j + 1, -6*r + 4*r = -5*j + 7. Let z = -1663 - -31594/19. Is j at least as big as z?
True
Let t = -54 + 91. Which is bigger: 71/2 or t?
t
Let w = 39/10 - 1803/470. Let j = w + 217/282. Which is smaller: j or 1/3?
1/3
Suppose 3*b - 21 = -z, -5*z + z + 4*b = -4. Let v be ((-27)/z)/(0 - -3). Which is bigger: v or -2?
v
Let x = -0.95 + -2.05. Which is smaller: 3.5 or x?
x
Let j(x) = -6*x**2 + 7 + 5*x + 4 + x**3 - 10. Let a be j(5). Let m be (1/a)/(85/(-10)). Is -1 less than m?
True
Suppose 0 = -2*t - 0*t + 12. Suppose 3*s - z = 0, 3*s + z = -t - 0. Let c be (6 + -4 + 1)*s. Which is smaller: -4 or c?
-4
Let h = 10 + -14. Suppose 4*d - 6 = 58. Let a = -20 + d. Is h at most as big as a?
True
Let f(y) = -y - 21. Let u be f(-22). Let x be -2*36/416 - u/(-4). Which is bigger: x or 1?
1
Let p = 4 - 3. Let q = 253/24140 - -3/710. Which is greater: q or p?
p
Let b = -3.31 - -3.1. Let r = 0.01 + b. Is r >= -5/3?
True
Let g(i) = 3*i + 34. Let y be g(-9). Let z = 23 - 9. Suppose -u = -5*w - 24, -z - 6 = -3*u + 2*w. Is y not equal to u?
True
Suppose -4*a + 300 = -r + 4*r, a = -4*r + 88. Let h = -73 + a. Which is bigger: 4/29 or h?
4/29
Let c = -38.67 + 40. Let f = -1.3 + c. Which is greater: 2 or f?
2
Suppose -9*i = 40*i - 26950. Is 550 at most i?
True
Let s be 5 + 16/(-48) + 28/(-6). Which is smaller: s or -38/5?
-38/5
Let v = -0.83 + 0.83. Let u = 364501076/5680275 + -90658/1429. Let j = u - 40/53. Is v bigger than j?
True
Let n = 18 + 127. Let k = n - 3916/27. Let y be (-5)/3 - ((-5)/(-15) - 1). Which is smaller: k or y?
y
Suppose -y + 5*b - 15 = 0, 4 = 2*y + b + 1. Let v = -35102/665 - -264/5. Is v greater than or equal to y?
True
Let q be 4/(-30) + 5136/45. Suppose 6*c - 2*c = 2*p + q, 3*c - 86 = p. Which is smaller: 28 or c?
28
Let d(v) = v**2 - 4*v - 1. Let w be d(-3). Suppose 13*h - 3*h = w. Which is smaller: 14/5 or h?
h
Let y = -432 + 432.9. Is y at most -1/24?
False
Suppose 2*o + q = -1330, 2*o + 185 = q - 1149. Which is greater: o or -668?
o
Let b be 1*(-2)/(-1) - (-20)/10. Let q be ((-21)/(-2))/(1/b). Which is smaller: q or 41?
41
Let t = -1309/3 - -440. Let v = -36 + 48. Suppose -4*f + v = -0*f. Which is bigger: t or f?
t
Let t be -4 - ((5 + -5 - 5) + 1). Is t >= 1/1096?
False
Let t = -3985/33 - -362/3. Let l(f) = -f**2 - 7*f - 2. Let o be l(-7). Let n be (o/8*0)/1. Which is bigger: t or n?
n
Let c(u) = u**3 + 3*u**2 - 21*u - 17. Let y be c(-6). Does -6/715 = y?
False
Let i = 3554/99 + -328/9. Let n = 6 - -2. Let y be n/(-20)*(5 - 0). Is y greater than i?
False
Let d = 40.994 + 0.006. Let j = d + -41.3. Which is bigger: j or 2?
2
Let j = 2.05 - 2. Let c = j + -0.15. Let f = -99/470 + 1/94. Is c greater than f?
True
Suppose -2*s + 3*y = -0*s - 31, 0 = -s - 3*y + 11. Suppose -3*b + u = -13, -s - 2 = -4*b + u. Is b less than -3?
False
Let q = 93.2 - 15.2. Let i = q + -78. Which is bigger: i or 23?
23
Let j be (-8)/16*(2 - 4)*49. Is 99/2 smaller than j?
False
Suppose 5*f + 16 = -4*s, -5*f + s = -s + 22. Let l be 26 + f/4 + 4. Are l and 28 unequal?
True
Suppose -1398*s = -1406*s. Which is greater: -21 or s?
s
Suppose l + 9 = 5*l + 5*r, -3*r + 15 = 0. Let y be (8/5)/((-4)/10). Let m be y + (6 - 2 - 5). Is l at least as big as m?
True
Let y be 2/(-2)*(-9)/3 + 1. Let z be y + 2 + (-42)/8. Is z at most as big as 0?
False
Suppose 7*w = 6*w + 9. Let n(u) = u - 6. Let z be n(w). Let j = 2131/2 + -1066. Is z greater than or equal to j?
True
Suppose 17 + 1 = 2*x. Suppose 5 = 7*g - x. Suppose -2*s + 116 = g*s. Is s equal to 29?
True
Let g = -314.6 + 315. Let y = 0.059 - -0.241. Is y >= g?
False
Suppose -16 = -0*y - 2*y + 3*d, 3*d - 6 = 0. Suppose -7*m - 18 = -60. Suppose m*z - 74 = -8. Is z greater than or equal to y?
True
Suppose 3*k + 2 = 11. Suppose 3*y = k - 3. Which is greater: y or 4?