 c(i). Let p be 6/w*(-32)/(-24). Which is smaller: -3/4 or p?
p
Let r(v) = -v**3 + 9*v**2 + 17*v - 62. Let x be r(10). Let h(y) be the first derivative of 5*y**2/2 + 4. Let a be h(2). Which is greater: x or a?
a
Let y = 0.983 + -1.283. Is y less than or equal to -161/4?
False
Let c = -23 - -23. Let b(h) = -h. Let f be b(6). Let a be (-6)/f + 11/(-13). Which is smaller: a or c?
c
Let d = 5 - 0. Suppose 2*g = q + 9, 7 = d*q + 5*g + 37. Let w be 4/(-7) + q/(-49). Is -1 at most w?
True
Let g(f) = f**3 - 18*f**2 + 5*f - 45. Let s be g(18). Suppose -48*u = -s*u + 69. Which is greater: -117/5 or u?
u
Let h be (4/((-200)/(-30)))/((-6)/(-50)). Let m = 1 + 2. Suppose m*f + g = 17, -3*g = -4*f + 37 - 10. Which is smaller: h or f?
h
Let m(z) = -z**3 - 5*z**2 + 7*z - 4. Let b be m(-6). Let p = -19 - b. Let o be (-3 - -1 - -3)*p. Which is bigger: o or -10?
o
Let c(n) = 3 - n**3 - 11*n**2 - 25*n + 1 + 27*n. Let p be c(-11). Let f be (24/p)/(12/2). Which is greater: 1 or f?
1
Let k = -32.9 + 31. Let d = k - -5.7. Let r = d - 3.9. Is r <= -2/5?
False
Suppose 5*n = 4*m + 65, 3*n = -m + n. Suppose 82 = 5*c + 192. Let a = c - -13. Which is greater: m or a?
a
Let p(k) = -k**3 + 5*k**2 + 4*k + 5. Let h be p(6). Suppose 0 = -7*f + 2*f + 10. Suppose -2*x = f*x - 12, -5*g = -5*x + 55. Is g <= h?
True
Suppose -12*o = -19*o - 7. Are o and -117 non-equal?
True
Let w be ((-9)/1)/(6/4). Suppose 0 = 4*j + v + 21, -8*v + 4*v = -j - 18. Do w and j have different values?
False
Let g(p) = 3*p + 21. Let l be g(-7). Is 1/12 less than l?
False
Let d(t) = -2*t - 8. Let h be d(-5). Suppose -5*w - 43 = -2*k, h*k + 0*w - 13 = -w. Is k greater than 8?
True
Let m(q) = -q**3 - 2*q**2 - 2*q + 1. Let b be m(-3). Suppose 14*k = b*k - 18. Let p be (-2)/9 + (-52)/k. Is p smaller than -7?
False
Let p = -441 + 446.79. Let w = 0.036 - -0.174. Let r = p + w. Is r at least 1?
True
Let d(k) = -k**2 + 3*k + 5. Let h be d(4). Let y be 0 + -2 + -1 + 8. Let t be h - (y + 0) - -2. Which is smaller: 0 or t?
t
Let h = -30151/19 + 1588. Which is smaller: h or 2?
h
Let v = 67966/9 + -7572. Which is smaller: v or -19?
v
Suppose -14*q + 17*q - 15 = 0. Is 5 <= q?
True
Let x = 8.3 - -4.63. Let l = -0.07 - x. Let w = 12.9 + l. Is 4 smaller than w?
False
Suppose -5*u + y + 19 = 0, -2*u = -6*y + y - 26. Which is greater: u or 0.111?
u
Let y be 14*(-4)/34 + 2. Suppose -z + 5*z = -5*o + 261, 3*o + 253 = 4*z. Suppose z = 6*g + 58. Is y at most as big as g?
True
Suppose -253 = i - 12*i. Do 24 and i have different values?
True
Suppose -b + 0*b + 1 = 5*x, -4*x - 3*b = 8. Is -2/79 at most x?
True
Let u(j) = 6*j + 23. Let s be u(10). Is s less than 2?
False
Let v(z) = z**2 + 7*z - 5. Let x be v(-8). Let f = 2 + -20. Let t be (10/15)/((-4)/f). Is x < t?
False
Suppose 0 = 4*h + 133 - 217. Is h at most 19?
False
Let a = 4822/275 + -192/11. Let m = 0 + 1. Is m smaller than a?
False
Let s = 0.622 - 0.652. Do 45 and s have the same value?
False
Let l = -168 + 169. Is l greater than or equal to 31?
False
Let h be (9 - 3)/((-1)/(4 - 3)). Which is bigger: h or 5?
5
Let l = -14 - -8. Let j be (1*10)/(22/33). Suppose -3*y - j = 5*a - 5*y, -4*y - 40 = 4*a. Which is greater: l or a?
a
Suppose 0 = -13*d + 7508 - 2438. Is d at most as big as 390?
True
Let m = 2 - 1. Let q(o) = 2*o**2 + o - 11. Let u be q(-4). Which is smaller: m or u?
m
Let g = -7.12 - -2.22. Do g and -3 have the same value?
False
Let a = 11451 + -263318/23. Are 2 and a non-equal?
True
Let t = 1844866 + -501802931/272. Let g = t + -42/17. Let i = 16 + -16. Are g and i nonequal?
True
Let q = 171/5 + -12493/365. Let k(p) = p**2 - 5*p - 4. Let y be k(6). Suppose y = -0*b - 2*b. Which is smaller: b or q?
b
Let q(r) = 220*r - 79. Let p be q(8). Which is bigger: 1680 or p?
p
Let w = 691/4644 + -1/108. Is w equal to -0.04?
False
Let s = -4.43 - -4.43. Suppose 0 = 2*u + 3 - 1. Let d be u*-1*6/(-15). Which is bigger: s or d?
s
Let j = 16 + -11. Let s = 208 - 192. Let i = s - j. Which is smaller: i or 0?
0
Let k = -23651/3585 - 2/717. Do 0.2 and k have the same value?
False
Suppose -3*b + 3*n + 0*n + 150 = 0, -227 = -4*b - 5*n. Which is greater: 52 or b?
b
Let g(m) = m**3 - 19*m**2 + 19*m - 13. Let f be g(18). Suppose 0 = -2*k - q + 19, -4*q = 4*k - f*q - 41. Which is smaller: k or 12?
k
Let s be -1*(1 - 12)*1. Suppose u - s = 2*u. Suppose -5*l + 39 = -2*p - 0*l, 5*p - 5*l = -75. Is u greater than p?
True
Suppose 12*j = 11*j - 73. Which is greater: -75 or j?
j
Let d = 5199 - 5198. Let k = -2 - -2. Do k and d have different values?
True
Suppose 2*r = -r - 513. Let t = r - -1199/7. Let j = 251/1547 - 1/119. Is t smaller than j?
False
Let a be 5/(-1*(15 + -10)). Which is smaller: -45/44 or a?
-45/44
Suppose 100 = -5*z - 5*x, 10*x - 11*x = -4*z - 65. Is -19 smaller than z?
True
Let g be 143/220 + 1/(-4). Let b(r) be the first derivative of -r**2/2 + 9*r + 5. Let t be b(10). Is t > g?
False
Let a = -91 + 78. Is a smaller than -18?
False
Let z = 8.2 - -2.1. Let c = z - 11.3. Is 2/3 at most c?
False
Let t = 20.5 - -17.9. Let u = t - 2.4. Let a = u - 35.9. Is a greater than -13?
True
Suppose 4*h + 12 = 6*f - 10*f, 0 = -2*f - 8. Are h and 45/47 non-equal?
True
Let d(o) = 7*o**3 + o**2 + 4*o + 2. Let i = 40 + -41. Let x be d(i). Are x and -10 non-equal?
True
Let b(y) = -11*y**3 - 2*y - 3. Let r be b(6). Let k be (-5)/(-1)*r/(-21). Let w = k + -571. Which is smaller: -2 or w?
-2
Let d = 8.59 + -8.19. Which is bigger: d or -131?
d
Suppose -2*g - 4*k + 8 = 0, -k - 2*k = -4*g + 16. Suppose -3*q - 2*z + g = -4*z, 4*q + z = 9. Is 2/3 less than q?
True
Suppose 4*p - 2 + 6 = 0. Let k be ((-369)/(-183) + -2)/(-1). Which is greater: k or p?
k
Suppose 3*g - 25 = -16. Suppose 0 = -j + 5*y - g, 3 = -2*j + j + 3*y. Let p be 2/((-24)/(-20)) + j. Which is smaller: p or -2?
-2
Let n be 1*-7 - (-29 + 20). Is 7/12 equal to n?
False
Let k = 558 + -558. Is k smaller than 2/183?
True
Let x(r) = -r**2 - 16*r - 10. Let f be x(-15). Suppose 0 = -3*k + f*k + 6. Is -4 < k?
True
Let k be 10/6 - ((-805)/(-145) + -4). Is 1 != k?
True
Let q(o) = o**2 + 12*o + 2. Let f be q(-10). Let h be (280/1190)/(22/f + 1). Is -2 < h?
True
Let b(k) = -20*k**2 + 2*k + 26. Let x be b(-8). Let i = 21582/17 + x. Which is greater: 1 or i?
1
Suppose -2*f - 248 = 4*i - 3*i, -5*f - 1260 = 5*i. Which is greater: -257 or i?
i
Let q = -392120/323 + 1214. Which is bigger: q or 1?
1
Suppose 20 = -5*q, -5*q = -4*b - 0*q - 40. Let g be ((-5)/(b/(-72)))/(-2). Is 13 smaller than g?
False
Suppose 5*t = 2*t - 4*b + 162, -t = -4*b - 54. Suppose 2*f = -2*y + 32, -3*y - t = -4*f + 3. Is f less than 15?
False
Let k be (-5)/((-20)/12)*4/232. Are 0 and k unequal?
True
Let p(d) = -d + 2. Let a be p(8). Let o be 10/(-4) - 405/a. Which is greater: 64 or o?
o
Let n be 10/(((-192)/18)/(-16)). Is 206/13 greater than n?
True
Suppose o - n - 53 = -0*o, -33 = -o + 5*n. Let p = -60 + o. Suppose -4*j = 3*r + 16, 5*r = 4*j + 4*r. Which is smaller: j or p?
p
Let y = 106 + -103. Let u = y + -2. Which is greater: 3/71 or u?
u
Let j = 4 + 2. Let l = 7.3 - j. Let u = -0.3 + l. Is u smaller than 5?
True
Let m(r) = 2*r**2 + 15*r + 5. Let l be m(-4). Let h = l - -26. Let b(x) = x**3 - 6*x**2 + 5*x + 1. Let k be b(5). Which is bigger: h or k?
h
Suppose -4*j - 50 = -18. Let v = 17 + j. Suppose v = -5*a - 1. Is -1/2 >= a?
True
Let s = 1/40 - 27/280. Let o(q) be the second derivative of -q**4/12 + 11*q**3/6 - q**2/2 + 29*q. Let y be o(11). Which is smaller: s or y?
y
Let r be 5/8*(-11736)/180. Is -42 greater than r?
False
Let o = -279 + 275. Are -0.08 and o non-equal?
True
Let v be 382/(-4) - 5/(-10). Let d be (v/(-20) + -4)*(-6)/(-9). Which is smaller: 3 or d?
d
Let g(l) = -9*l + 7. Let j be g(3). Let b be 3/2 - j/(-24). Let y = -2.9 - -3. Which is smaller: y or b?
y
Let z be (-3 + 105/25)/(12/1000). Is z greater than or equal to 101?
False
Let p be (0 - 1/2)*0. Suppose p = 2*d + 4*d + 6. Which is greater: d or -1/5?
-1/5
Let u = 72 + -64. Do 7 and u have the same value?
False
Let b be (-186)/24 + 2/(-8). Let m be (-219)/(-9) + b/6. Let v = 25 - m. Are 0 and v equal?
False
Let l = 995 - 4005/4. Let d = l - -11/2. Which is bigger: d or 0.7?
0.7
Let h be 4/22 + 90/110. Let t = 0.5 + -0.3. Which is greater: t or h?
h
Suppose 3*i = 8*a - 13*a - 24, 34 = -4*a + 5*i. Let w be 1/1 +