v**2 - 29*v - 2. Let m be j(23). Let x = -39688/7 + m. Is x greater than 9?
True
Let d = -1510 + 1528. Does 18 = d?
True
Let s = -75 - 4. Let u = -73.3 - s. Which is smaller: 0 or u?
0
Let z = -61177 - -61177.4. Let p = -0.1 - 0.02. Which is bigger: p or z?
z
Let h(u) = -5*u**3 + 2*u**2 - 4*u + 3. Let r be h(1). Let o be (-2)/r + 21/14. Suppose -3*a + 5*c + 2 = a, 4*a + o*c + 12 = 0. Is 4 < a?
False
Let a = 15.7 + -8.4. Let v = -6.3 + a. Let h = -31 - -37. Is v at most h?
True
Let q(n) = -n**3 - 16*n**2 - 13*n + 34. Let f(d) = 21*d - 183. Let y be f(8). Let x be q(y). Which is greater: 14/3 or x?
14/3
Let f = 4267/1370 + -31/10. Suppose 5*h = -2*i + 1, i - 3 = 3*h + 3. Suppose -i*x - 5*r = -x + 10, 0 = x - 4*r - 8. Which is bigger: f or x?
f
Suppose 0*g = 2*g + 24. Let n = 258 + -270. Is g greater than n?
False
Suppose 4*r - 5*s + 398 = 0, -5*r = -4*r - 5*s + 107. Which is greater: r or 1?
1
Let o(f) = 1286*f + 11528. Let g be o(-9). Which is smaller: g or 52?
g
Let u be ((160/12)/(-20))/(2/(-978)). Suppose -x - 322 = -q, x + 668 = 2*q + 5*x. Are q and u equal?
True
Let g(b) = 6*b + 52. Let j be g(-9). Let p(r) = 36*r - 5. Let m be p(j). Let a = m + 76. Which is smaller: -1/42 or a?
a
Let g = 508 + -507.9875. Which is smaller: g or 0.2?
g
Suppose 0 = 6*l - q - 1, 0 = 4*l - 4*q - 5 + 1. Which is smaller: l or 2/3919?
l
Let m = -0.13 + 11.13. Let t = -4.528 - -0.5558. Let q = t - 0.0278. Is m equal to q?
False
Suppose 3*h - 2*p + 116 = 0, 8*h = -2*p + 152 - 432. Let f = 39 + -76. Which is bigger: f or h?
h
Let q = 151664 + -151669. Let h = -5 - -1. Which is bigger: h or q?
h
Let w = -853 - -578. Let n = 2162152/11 - 196833. Let m = w - n. Is m greater than -1?
False
Let k(h) = -2*h**3 + 2*h**2 + 6*h - 12. Let r be k(5). Let n(a) = -a**3 - 20*a**2 - 85*a - 103. Let t be n(-13). Which is smaller: r or t?
r
Let k be (-685)/(-7) + -13 + 10. Which is greater: k or 96?
96
Let m = -37.129 + 0.129. Let h = m + 36.99. Suppose -3*t - c - 1 = -0, -4*t = -4*c - 4. Which is smaller: t or h?
h
Let l = 87 + -51. Let d be (l/(-7))/((16/(-686))/4). Let s be 4 - 3688/d - (-6)/27. Is s bigger than 1?
False
Let w be 12175/(-85715) + (-27)/(-189). Which is smaller: w or 0?
0
Let q be (-525)/10*(-18)/(-5). Let t = q - -7369/39. Is t at most as big as 12?
True
Let f(n) = n**2 - 7*n + 11. Let v be f(5). Let j be -5 + -5 + 6 - (-56)/1. Let l be j/22 + -2 + 29/(-58). Is v greater than or equal to l?
True
Let v be 38/(-171)*-219 - (1 + 0)/(-3). Is v less than or equal to 44?
False
Let a be (-2*(-6)/(-4))/((-42)/5236). Let r = a + -1503/4. Is r >= -2/3?
False
Let g be 2 - 10/2 - -5. Let u be (-4)/g + 236/122. Let k = 24.11 - 23.91. Which is bigger: u or k?
k
Suppose 5*q = 5*r - 65, -3*r + 2*q = -5*r + 14. Suppose c - 2*u = -4, -9 = 3*c - u - 2*u. Let b be c - (-2)/r*0. Is -4 > b?
False
Let j be (-3 - (-33824)/11240)*-5. Which is smaller: j or 0?
j
Let n(l) = -7*l - 69. Let s be n(-9). Let q be -23*s/(-1 + 0). Is q bigger than -135?
False
Let v = 163 - 68. Let y be -17 - -111 - 2/(-1). Which is bigger: v or y?
y
Let j = -3082 - -3083. Let a be (5/15)/((-650)/(-12)). Which is smaller: j or a?
a
Let w = -10819.1 - -10819. Is w at least as big as -7159?
True
Let y(u) be the third derivative of u**6/120 - u**5/6 - u**4/2 + 5*u**3/3 + 19*u**2. Let o be y(11). Let n be (-282)/(-825) + 34/(-187). Is n > o?
True
Let f be 57/(-76)*4/(-1). Let n = f - -43. Let h be n/6 - 5 - (-2)/(-3). Is 15 at most h?
False
Let i = -393 - -393. Let z = -15 + 79. Suppose i = 5*m - 46 - z. Which is bigger: 23 or m?
23
Let g = 6606 + -59734/9. Let b = 27178/873 + g. Let v = -39/110 + -1/22. Which is smaller: b or v?
v
Let y = 64 + -15. Let t = y - 49.2. Let l = -1.8 + t. Is -2/7 at least as big as l?
True
Let o be 6/(-15) + 4/(-2) + 2. Which is bigger: 2/81 or o?
2/81
Let v be 0*1/2 + -5. Let q(o) = -o - 18. Let a be q(-22). Suppose -4*u - 3*n = 34, 3*u + 3*n = a*n - 19. Is v at least as big as u?
True
Suppose -3*q + 282 = -4*y, -4*y - 29 = -4*q + 339. Is q less than 70?
False
Let y = 1.743 + -0.103. Let a = -65.36 - y. Let h = a - -60. Is -1 at least h?
True
Let h be 2/(-3) + (160270/15)/(-11). Is h at most 0.06?
True
Let l = 56 - 58. Let r be 6/l - (-1 + 47). Let w(t) = -t**3 + 11*t**2 - 4*t - 4. Let d be w(11). Is r >= d?
False
Let m be (1/(-2))/((-13)/(-121290)) + -10. Which is smaller: m or -4672?
m
Let d(i) = -145*i**3 - 26*i - 108. Let c be d(-3). Do 3884 and c have the same value?
False
Let j(q) = q**3 - 3*q**2 - q + 5. Let x be j(3). Suppose x*y = 3*m - 105, 0 = m - 0*m + y - 40. Which is bigger: m or 107/3?
m
Let b = -22 - -16. Let i(r) = r**3 + 7*r**2 + 9*r + 7. Let m be i(b). Let f = 1333 - 1347. Which is greater: f or m?
m
Let l = 23690213/93 - 254731. Which is smaller: 3 or l?
l
Let p(k) = -4*k. Let b(l) = 10*l - 55. Let t(c) = c - 6. Let j(h) = -6*b(h) + 55*t(h). Let v(a) = -5*j(a) + 6*p(a). Let y be v(10). Which is bigger: 11 or y?
11
Suppose -18 = 6*g + 24. Let d = g - -11. Let a be (-7 - -9)/((-2)/d). Which is greater: -5 or a?
a
Let f = 66 - 124. Let c = 517 + -882. Let u = -366 - c. Which is smaller: u or f?
f
Suppose -3 = -3*i + 21*k - 24*k, 3*k + 1 = -i. Suppose 0 = 2*m + i*z - 40, z - 16 = 5*m - 128. Which is smaller: m or 116/5?
m
Let d(h) = -2*h**3 - 64*h**2 - 36*h + 8. Let w be d(-25). Is -7840 at least w?
True
Let i = 70 + -88. Is i < 56?
True
Suppose 44*l - 69 = 54*l + 81. Suppose 4*j = 3*j - 16. Which is bigger: l or j?
l
Let r be (14140/21 + 2)/((-80)/(-66)). Let y = -557 + r. Which is smaller: -1 or y?
-1
Let g(a) = a**2 + 5*a - 44. Let j be g(-11). Suppose -2*m = 10 - j. Let k(y) = -2*y**2 + 3*y + 7. Let s be k(m). Are s and -47 equal?
True
Suppose 0 = y + 2 - 36. Suppose -33 = -9*u - 6. Let d = y - u. Do 31 and d have the same value?
True
Let a be (-2)/2*7/21*21. Let i be ((-96)/a)/(100/(-140)). Which is bigger: i or -19?
-19
Suppose 5*k + p = -0*p - 330, -p = -4*k - 264. Let i(q) = 168*q - 741. Let u be i(4). Which is smaller: k or u?
u
Let f be (-1)/(-5) + (2 - 10670/3725). Are -1 and f non-equal?
True
Let m = 4 + 1. Let i be (-1146)/(-30) + (-1)/m. Let z = 14423 + -14384. Which is smaller: i or z?
i
Let q = 9.5 - 6.5. Let a = -70 - -76. Let s = 5.8 - a. Is q <= s?
False
Let p = 121477/2 + -62023. Which is smaller: p or -1286?
-1286
Let t = 2699 + -2197. Are t and 496 equal?
False
Let c be 8*(-13 + 3 + 2). Let h = 149 + -211. Which is smaller: h or c?
c
Let t = -161.5657 + 0.2657. Which is smaller: 1 or t?
t
Let o(p) = p**3 - 16*p**2 + 22*p - 25. Let i(f) = -22*f - 52. Let g be i(-3). Let t be o(g). Which is smaller: t or -108?
t
Let m = 288 - 60. Let y be m/247*(-1)/2. Suppose -4*k + k = 0. Is y != k?
True
Suppose p + 1720 = 4*v + 2*p, 4*v = p + 1720. Let n = -12899/30 + v. Let d(i) = 3*i + 5. Let w be d(-2). Which is greater: w or n?
n
Let r = 89 - 54. Let g = 77 - r. Let l be g/(-55) - ((-28)/20 + 1). Are 1 and l equal?
False
Let r be 9/(-24) - (255463/(-16440))/43. Which is greater: 0 or r?
0
Let y = -566849/218 + 5199/2. Are 0 and y nonequal?
True
Suppose 0 = -59*d + 56*d, -4*c - 5*d + 368 = 0. Suppose 99*o - 63 = c*o. Which is bigger: -0.8 or o?
o
Suppose 38*u - 6*u - 2546 = -15122. Is u less than -2753/7?
False
Let n(r) = -5011*r**2 + 3*r + 5007*r**2 + r**3 + 2 - 1. Let y be n(4). Is 12 at most y?
True
Suppose -4*t + 172 = 4*h, 0 = -2*h + t + t + 102. Let k = h + -87. Which is bigger: -116/3 or k?
-116/3
Let a(l) = 12*l + 17. Let m be a(7). Suppose 5*n = -m - 119. Let h = 30 + -75. Is n less than or equal to h?
False
Let n be (4/3)/(-2 - 20/(-15)). Let w = 5 + n. Suppose 2*j = w*j - 6. Is j at most 7?
True
Let y(a) = 93*a**2 + 99*a + 314. Let k be y(-3). Is k > 853?
True
Let t be (-661 - 1)/(51 - 50). Is t at most as big as -662?
True
Let f(s) = -s**3 - 10*s**2 - 7*s - 9. Let b be f(-6). Let m be b/(-135) - (-2)/(-9). Let w = -22905 - -22907. Does w = m?
False
Suppose 0 = -2*t - 2*x + 4362, -2*t - 21*x + 4358 = -23*x. Which is bigger: 2176 or t?
t
Let b(m) = -9*m + 12. Let t be b(-7). Suppose a = -3*v - t, -25 = v - 0*v - a. Is 2/5 at least v?
True
Suppose 0*i + i = 3*w - 5038, -5*w + 8394 = -3*i. Suppose -106*v + 103*v + w = 0. Suppose d - v = 17*d. Do d and -35 have the same value?
True
Let s be ((-2)/87)/(7/3). Let q(v) = 579*v**2 + 4632*v. Let m be q(-