5)/20 + (4/c)/(-1). Which is greater: -1/122 or z?
-1/122
Let y(k) = k**3 + 8*k**2 - 2. Suppose 0*m - 33 = -3*m. Let b(r) = -r**2 + 10*r + 3. Let q be b(m). Let f be y(q). Is f less than or equal to -4/3?
True
Suppose -5*m - 4*y = -3, 5*m = 5*y - 4*y - 7. Is m bigger than 2/485?
False
Let u be (4/(-8)*0)/(2 - 0). Suppose -5*p + 137 + 101 = q, u = -4*q + 12. Which is bigger: p or 48?
48
Let v be 2 - 49/21 - 11/(-42). Let i = 2 - 1. Is v >= i?
False
Let c = 4 - -15. Let l = 18 - c. Which is smaller: 15 or l?
l
Let l = 398 + -336. Which is smaller: l or 1?
1
Suppose -5*j = -j - 8. Let y be 1 + j + 31/3. Which is greater: y or 14?
14
Suppose 10*n = 7*n + 3. Let l(q) = q**2 - 2*q + 1. Let h be l(n). Is -3 at most h?
True
Let k = -589/3423 + 4/21. Let g = k + 4066/489. Is 1/3 < g?
True
Let a be (-261)/(-3)*(-1 + 0)*-1. Let k = a + -103. Which is smaller: k or -13?
k
Let v = -63 + 66.9. Let q = -0.4 - -0.3. Let f = q - v. Which is bigger: -2 or f?
-2
Let c = -4 + -12. Let g = -13 - c. Which is bigger: -4/7 or g?
g
Let r be (-450)/4140*(18/(-40))/(-3). Which is smaller: -1 or r?
-1
Suppose 0 = -8*z + 9*z - 5*h - 31, -3*h + 147 = 3*z. Which is smaller: 42 or z?
42
Let o be (-163)/(-9) - (-6)/(-54). Let l(m) = 18*m - 1. Let x be l(1). Does x = o?
False
Let t be -27 + 0 - (8/(-2) + 3). Let r(l) = l + 27. Let n be r(t). Which is greater: n or -7?
n
Suppose -2*a - 16*v = -13*v + 4, -8 = 4*v. Let z be 1 - ((-390)/(-134))/3. Is a >= z?
True
Let j be (-41)/3 + -1 + 1. Let w = 13 + j. Which is smaller: 7 or w?
w
Let f = 3 + -2. Let o(t) = t**2 - 1. Let i be o(f). Suppose -5*c = -6*c - 5*x - 11, -3*c + 4*x = -24. Is i < c?
True
Let r = 22 + -17. Let c be (-5 - -3) + r/3. Let h be (-6)/(-9) - (-2)/(-3). Is h at least c?
True
Let x = -6.7 - 58.3. Let g = -101 - x. Let z = g - -36.1. Which is greater: z or -10?
z
Let r be (-4)/(-6)*(89/7 - 5). Let n = -3 - -8. Is n greater than r?
False
Suppose -18*z - 90 = 54. Which is smaller: -22/3 or z?
z
Let f = 87 - 44. Let b = f - 28. Which is greater: -0.3 or b?
b
Let v be ((-2)/(-3))/((-3)/(-135)*6). Suppose -5*s + 4*y = -0*s + v, -2*s + 2*y = 4. Which is smaller: 28/11 or s?
28/11
Suppose 11*d + 0*d = 11. Is 5/8 less than or equal to d?
True
Let x be (-273)/14*4/(-3). Let f = x - 24. Which is smaller: f or 3?
f
Let r = 11.8 + -9. Let p = r + -2.9. Is -1/10 less than p?
False
Let x be ((-161)/69)/(4/(-60)). Which is greater: 17 or x?
x
Suppose 5*s - 7*s = -8. Suppose s*r = -r - 10. Let q(d) = d**2 + 6*d + 10. Let t be q(-3). Is t equal to r?
False
Let h = 1993 + -23915/12. Is -1.4 at least as big as h?
False
Let f = 426 + -412. Is 25/2 not equal to f?
True
Let i(t) = 0*t**2 - 3*t - 2*t**2 + 66 - 61 + t**3. Let o be i(2). Let v be 2/(-3)*10/4. Which is smaller: v or o?
v
Suppose -2*p + 5*h = p + 25, 2*p - 3*h = -16. Let y be ((-13)/(3/3))/p. Which is greater: 4 or y?
4
Let h(c) = 25*c**2 - 6*c + 5. Let p be h(1). Suppose 4*f - 8 = -p. Which is greater: -5 or f?
f
Let p(t) = t**3 - 2*t**2 - 2*t + 2. Let f be p(2). Let j = 15 - f. Which is smaller: j or 18?
j
Let t = -11 - -21. Let a = 20 - t. Let j = a - 9.8. Which is smaller: j or 2/3?
j
Suppose -11*k + 480 = -26*k. Is -32 at most as big as k?
True
Suppose -161*f - 534 = -155*f. Which is bigger: -91 or f?
f
Let l(o) = 2*o**3 + o + 2. Let s be l(0). Suppose -g - d - 6 + s = 0, -2*d - 7 = g. Let q = -399 + 4384/11. Is g > q?
False
Suppose -5*y + 3*u = 7*u + 2103, -409 = y - 5*u. Is -419 > y?
False
Let f(v) = 10*v**3 + 5*v**2 + 8*v + 5. Let g be f(-2). Which is bigger: -67 or g?
-67
Let x = -0.06 - -3.06. Let w be 4/(-8)*(0 - 2). Suppose 3 + w = 4*v. Which is smaller: v or x?
v
Let b = 1358 + -1962. Which is greater: 0 or b?
0
Let m be 28/10 - (2 + -2). Let w(n) = n**3 - n. Let x(s) = 3*s**3 + 5*s**2 - 5*s + 7. Let y(l) = -4*w(l) + x(l). Let j be y(5). Which is greater: j or m?
m
Let v = -325.659 - -322.4. Let u = v - -0.239. Let n = -3 - u. Is -2/9 > n?
False
Suppose -2*y + 5*q - 134 = 136, 0 = -y + 2*q - 135. Which is smaller: -138 or y?
-138
Suppose 0 = 3*s - 61 + 7. Is 229/12 at most s?
False
Let z = -13 - -27. Let h = z - 13. Is h != 1/50?
True
Let x be (-12628)/109858 + (-6)/(-57). Which is greater: 1 or x?
1
Let a = -122 + 70. Let g be (-3 + 1466/4)/7. Let p = g + a. Which is greater: p or -1?
p
Let n = 90/7 + -2402/189. Which is bigger: 1 or n?
1
Let v(l) = l**3 + 8*l**2 + 2*l + 10. Let g be v(-8). Let h be (49/14)/((-3)/g). Which is bigger: 6 or h?
h
Let l be (1/3)/((-12)/(-78)) + 2. Which is smaller: l or 5?
l
Let c be 4/(-14) + 10323/91. Suppose 4*l = 3*l - 4*o - 109, -111 = l + 2*o. Let y = l + c. Which is smaller: 1 or y?
y
Let m(z) = -z - 2. Let l be m(-2). Let i be (2 - l) + (-3)/(-9) + -3. Is i at most as big as 34?
True
Let a be (-16)/180*1430/(-44). Which is bigger: 4 or a?
4
Suppose 7*z + 741 = 622. Suppose -5*l + 2*i = 84, 3*l - 33 = -4*i - 99. Is z less than l?
False
Suppose 65*r - 86*r = 0. Which is bigger: 2/149 or r?
2/149
Suppose -i = -240*j + 236*j + 122, 5*i + 4*j + 658 = 0. Which is smaller: -131 or i?
-131
Suppose -5*i + 0*i = 0. Suppose 4*f - 3 - 13 = i. Suppose 3*k - 31*r + 27*r + 9 = 0, 19 = 5*k - r. Is f > k?
False
Let w = -83/120 - -1/40. Let p(x) be the first derivative of x**3/3 + x**2/2 + 2. Let h be p(0). Which is greater: w or h?
h
Suppose 4*l - 53 = 7. Suppose 5*i = 2*f - 0 - 10, -3*f = -l. Is -2/21 > i?
False
Suppose 3*c = -4*f + 3925, -2820 = -3*f - 4*c + 122. Is 983 less than f?
False
Let v = -29.1 - -6.1. Let s = v - -23.09. Is s greater than or equal to -2/9?
True
Let n(z) = z**3 - 6*z**2 + z. Let b be n(5). Let a be ((-3)/6)/(b/(-8)). Let i = 19 - 19. Which is smaller: i or a?
a
Suppose 9 = 5*h - 6. Let k be (64/(-48))/((-1)/h). Suppose 11 = k*p + 7. Is p bigger than 3?
False
Let g(j) = -392*j + 579. Let r be g(4). Is -989 >= r?
True
Suppose -6 - 10 = -4*n, -4*t - 2*n = 0. Suppose -2*a + 0*a - 6 = 0. Are t and a non-equal?
True
Let a = 2/23 - 56/115. Is -31/2 at most a?
True
Let m be -2 + 644/6 + 42/63. Is m < 105?
False
Let f = 0.1 - 0.4. Let l be (-21)/42*(-4)/13. Which is smaller: l or f?
f
Let q(d) be the first derivative of -2*d**3/3 - 11*d**2/2 - 6*d - 11. Let f be q(-5). Which is greater: f or -4/9?
-4/9
Suppose 2*y + 4*s + 123 = 7*y, 4*s = 2*y - 42. Let o = -47 + y. Is -20 greater than o?
False
Let l = -78 + 155. Is l less than 77?
False
Suppose -61 = -h - 25*m + 26*m, -3*h - 3*m = -213. Is 131/2 at least as big as h?
False
Let p be (237 - -1)/(88/24 + -7). Let m = p - -71. Is -3 less than or equal to m?
True
Let s = 1.6 - -0.4. Let p = -0.1 - 0.03. Let k = p - -0.08. Are k and s unequal?
True
Let c = -1038 + 649. Is -389 bigger than c?
False
Let m = 1.5 + -9.5. Let j = m - -14. Let k = 6 - j. Which is smaller: -1/3 or k?
-1/3
Suppose -5*j + a + 43 = 0, -3*j - 2*a + 35 = 2*a. Let p(h) = 4*h + 5. Let s be p(4). Suppose -5*x + 24 = -s. Is j at most as big as x?
True
Let h(g) = -78 - 5*g + 39 + 49. Let c be h(-5). Is 35 at most c?
True
Let v = -64.177 + 64.6. Let a = v - -0.077. Are a and 0 unequal?
True
Let q = 103/220 - 3/44. Let c = -2.6 - -0.6. Which is greater: q or c?
q
Let k = -52.6 + 52.8. Which is smaller: k or -102?
-102
Suppose 0 = 5*i - u - 0*u + 3337, -3*i - 2*u = 2010. Let s = i - -4684/7. Is s at least as big as 1?
True
Let r = -2.3 + 0.3. Let u = -241/458 + 6/229. Which is bigger: r or u?
u
Suppose -3*t + t = -10, 50 = -5*b - 2*t. Let u = 1 - 0. Does b = u?
False
Let q be 1*(10/(-35) + 0). Is -1 greater than or equal to q?
False
Let k(s) = 28*s + 142. Let l be k(-7). Let n = -40 + -13. Are l and n nonequal?
True
Let q be 2/(-3508) + 11 - 11. Which is smaller: q or 0?
q
Let w = -9.9 + 5.9. Let x = w + 77. Is x at most as big as -1/2?
False
Let n = -13891825/972 - -14292. Which is smaller: n or 1?
n
Let n be (-4)/1 + 1890/483. Is -7 greater than n?
False
Let k = -210.7 + 210.8. Is 2.66 at most k?
False
Let x be 75/(-20) - (-465)/62. Let o be (15/(-12))/(2/(-8)). Which is smaller: x or o?
x
Suppose c - 13 = 2*u, -8*c + 5*u + 28 = -7*c. Let i(o) = -4*o + 3. Let k(f) = f - 1. Let s(w) = -2*i(w) - 6*k(w). Let y be s(1). Is c at most as big as y?
False
Suppose -l = -4*w - 19, 6*w + 19 = 3*w - 4*l. Is 11 greater than or equal to w?
True
Suppose -24*j + 9293 - 1613 = 0. Is j less than 320?
False
Suppose 0*g - 15 =