 v = -0.51145 + 30.38045. Let b = -0.131 - v. Which is greater: b or -2/9?
-2/9
Suppose 54 = 4*p - 6*p. Let g = p - -19. Let j = -307 - -299. Is j > g?
False
Let j = 81 + -79. Let r = 2.99 + 0.01. Let b = j - r. Which is smaller: 1 or b?
b
Let l = -247/6 + 176/3. Is l at most as big as 18?
True
Let d = -8 - 48. Let b be ((-3)/(-2))/(d/(-4400)). Let g = -119 + b. Which is smaller: g or 1?
g
Let v(w) = 2*w**3 + 29*w**2 + 12*w - 71. Let d be v(-14). Which is greater: -45 or d?
d
Let c(t) = t**3 + 5*t**2 + t + 5. Let p be c(-5). Let l = -152 - -152. Suppose p*z - z + 3 = l. Is -2 less than z?
True
Let x = -1834 + 1838. Do x and 44/9 have different values?
True
Let v = -6267/35 - -1356/5. Is v less than or equal to 93?
True
Let m be (12/(-192))/(1/(-50)). Which is smaller: m or 3?
3
Suppose -6*w + 7*w = 0. Let g be -3 - (w + 4/(-3)) - -2. Is -0.2 >= g?
False
Suppose -2*b - 2 = 0, 1907 = -5*f + 3*b + 670. Let r = f - -5209/21. Let d(k) = k**3 - 2*k**2 - 2*k - 2. Let c be d(3). Are r and c nonequal?
True
Suppose 3*v = 2*w - 6*w - 14, -4*v - 2*w - 2 = 0. Suppose 4*y = v + 10. Suppose -2*x + y*x = -1. Which is bigger: x or -2?
x
Let b be (-18)/21 + 1 + 220/(-756). Is 2/7 at least as big as b?
True
Let j = -402.29 - -427.9. Let q = j - 0.61. Which is smaller: 0 or q?
0
Let s be ((-21)/(-4))/((-15)/40). Which is smaller: s or 0.09?
s
Suppose 5*k = -20, 0 = -2*l + 6*l + 2*k - 36. Let c be 18/2 + -7 + 8. Is c at least l?
False
Let z be (8/12)/1*6. Suppose 5*c - 5*i = 35, -3*i = z*c + 2 - 9. Suppose 6*y + 24 = c*y. Which is smaller: -13 or y?
-13
Let i = -3.0268 - -0.0268. Which is smaller: 140 or i?
i
Let g = -12 + 16. Let z = 8 - g. Suppose -20 + z = 2*m. Is -9 bigger than m?
False
Let f = -4.4 - -4.42. Let p = 0.16 + f. Which is smaller: p or 0?
0
Let g(q) = 51*q + 1940. Let j be g(-38). Let t be (-4)/6 + (-130)/(-33). Is j bigger than t?
False
Let b(r) = r**2 - 2*r - 6. Let g(j) = 4*j**3 + j**2. Let i be g(1). Let s be b(i). Let x = -2231 - -2231.1. Is s bigger than x?
True
Let u(b) = -b - 4. Let a(d) = d**2 - 8*d - 9. Let f be a(9). Let q be u(f). Which is smaller: q or -1?
q
Let m be ((-114)/18 + 11)*(-19)/6. Which is smaller: m or -15?
-15
Let i be ((-13)/4)/(-12*11/(-3696)). Is i bigger than -90?
False
Let m(u) = -u**3 + 12*u**2 - u + 14. Suppose -2*r - 5 = -29. Let j be m(r). Suppose 2*a = -5*z - 22, -5 = -j*a + 3*z + 5. Is -5/7 > a?
True
Suppose -b + 15 = 3*w, 3 = 4*w - 2*b - 7. Let l = -20 - -26. Let z be (l/15)/((-4)/(-40)). Is w bigger than z?
False
Let a(c) = c**2 - c - 1. Let t be a(-2). Suppose t*r = 2*h + 28, -h - 8 = 4*r - 20. Let q be ((-5)/(-5) - r)/3. Which is greater: -3/14 or q?
-3/14
Let y be 4/(-18) - (-227)/9. Let l = 10 - y. Do l and -15 have the same value?
True
Suppose 0*r = -3*r + r. Which is bigger: 1/2769 or r?
1/2769
Let w = 10 + -10.5. Let n = w + 4.5. Let b = -3.8 + n. Is -4 != b?
True
Suppose 52 = -5*j + 2*j + 5*o, -j = 4*o + 23. Let s = 0 - j. Which is smaller: 18 or s?
18
Let q(f) = -f**3 + f**2 + f - 1. Let w be q(1). Let i be 5 + ((-1441)/77 - -14). Do w and i have the same value?
False
Let q(n) = n**2 - 5*n + 1. Let g be q(6). Let v = g - 5. Suppose -v*s - 22 = 2*f, -s + 3*f = s - 3. Which is greater: -7 or s?
s
Let p(w) = 36*w**2 - 2*w - 1. Let c be p(-1). Suppose 23 = -6*l - c. Which is smaller: -11 or l?
-11
Let s be 1180/(-75) + 3/(-5). Suppose -4*w + 11*p = 12*p + 66, w + p + 15 = 0. Are w and s non-equal?
True
Let s = 944/55 - -535/11. Let h = s + -66. Suppose 3*j = -3*c + 3, -2*j - 2*j = 0. Are h and c equal?
False
Let s(y) = -4*y - 13. Let w be s(4). Is w <= -32?
False
Let p = 5058.831 + -5087.8. Let o = p + 29. Is o greater than or equal to 0.1?
False
Let c be 1930/(-40) - (-3)/12. Suppose -48 = 4*h + 140. Is c less than h?
True
Let r(u) be the second derivative of -u**5/20 - u**4 - 11*u**3/6 + u**2/2 - u. Suppose -75 = 15*x + 90. Let a be r(x). Which is smaller: a or -1/5?
-1/5
Suppose 3*h + 52 = c - 48, 2*h + c = -75. Let u = h - -22. Which is bigger: u or -10?
-10
Let q = -140 - -140.89. Which is smaller: 0.1 or q?
0.1
Let z be (-4)/2 + -15 + 13 + -9. Is -13 less than z?
False
Let j(p) = -p**3 + 17*p**2 - 15*p + 7. Let k be j(16). Let a = 29 - k. Which is bigger: a or 7?
7
Let w(t) = -t**2 + 50*t + 229. Let a be w(27). Which is greater: a or 851?
851
Let m(i) = i**2 + 17*i - 10. Let y be m(-20). Is 51 at least as big as y?
True
Let h = -0.24 + 0.15. Let u = -0.09 - h. Let q be (-3)/4 - (-1)/(-4). Is u != q?
True
Suppose x = 5*x. Suppose -j - 15 + 4 = -4*r, 3*r - 32 = -4*j. Suppose -9*n + r*n = 10. Is x less than n?
False
Suppose 19*u - 139 = 51. Let y = -0.3 - -0.1. Which is smaller: u or y?
y
Let g be (1/154)/(1/4). Let q(l) = l**3 - 4*l**2 - 14*l + 13. Suppose -3*f + 5*r = 7, -4*f + 6*f - r = 7. Let i be q(f). Which is bigger: i or g?
i
Suppose 65 = 8*h - 31. Let q be h/(-3*1) - (-245)/77. Is q < -1?
False
Let g = -291 - -289. Which is smaller: -6 or g?
-6
Suppose 4 + 66 = -5*m. Let a = m + 5. Is a at most as big as -10?
False
Let u be 6/(-20)*(-15)/2*8. Let l be ((-6)/(-424))/(u/(-72)). Is l greater than or equal to 0?
False
Let j = -33 + 46. Suppose -2*z + 3*h + 31 = j, 0 = 5*z - 4*h - 59. Suppose z = 3*m + 2*m. Is m bigger than 2?
True
Let z = 989/77 - -327/11. Let l = z + -43. Is l at most -2?
False
Let r = 7/2487 - 17239/823197. Which is smaller: r or -1?
-1
Let v = -40 + 40. Suppose -1 = k - s + 4, -3*k - 3*s + 3 = v. Do k and -4 have different values?
True
Let j = -11 + 8. Let b be (3 - (0 - j)) + 0. Let k = 65 + -649/10. Which is bigger: b or k?
k
Let r(g) = g**3 + 4*g**2 - 4*g + 4. Suppose 0 = 7*d + 12 + 23. Let n be r(d). Is n at least as big as -1/16?
False
Let d be -8 + 3 + (-123)/15. Is -14 at least d?
False
Let j = 2658 - 45144/17. Which is greater: j or 2?
j
Let d(n) = -2*n - 35. Let v be d(-18). Let t(i) = i**2 + 26*i - 22. Let u be t(-27). Which is smaller: u or v?
v
Suppose -4*z - 4 = 0, -2*t + 24*z - 44 = 22*z. Let w = -43 - -21. Which is smaller: t or w?
t
Suppose 0 = -4*v + 3*v + 6. Let z = 41 + -41.26. Let b = z - 0.74. Which is smaller: b or v?
b
Suppose 3*t = -5*h - 15, -4*h + 3*h - 3 = 2*t. Suppose 12*o + 17 = -5*o. Let q = t - o. Are q and 6/11 unequal?
True
Let b(v) = -2*v - 48. Let u be b(-24). Suppose y + 32 = 2*f - f, u = 5*f + 3*y - 184. Which is greater: f or 36?
36
Let z be 32296/176 - (2 - 1). Which is smaller: 184 or z?
z
Let d(y) = -3*y - 32. Let s be (-378)/35 + 1/(-5). Let r be d(s). Is -4 not equal to r?
True
Suppose 104*y = 100*y - 220. Suppose 195 = -3*b + 27. Which is bigger: y or b?
y
Suppose 0 = -a + 6*a - 70. Suppose -19*n = -a*n - 90. Which is smaller: n or 20?
n
Let y = 13/66 + 3/22. Let m(c) = 110*c + 5. Let o be m(-2). Let g = -3227/15 - o. Is y <= g?
False
Let g(l) be the second derivative of l**3 + 9*l**2 + 17*l. Let h be g(-5). Is h < -12?
False
Let g(c) = -3*c + 2. Let w be g(-3). Let d be w/(-33)*(15 - 0). Let h = d + 5. Is -4/3 > h?
False
Suppose z - 2*z - 2*b = 148, -5*b = z + 142. Is z not equal to -152?
False
Let j = 235 + -234. Is 2/1223 less than j?
True
Suppose -4*z - 4*a - 376 = 0, -4*z - 230 - 139 = -3*a. Let b = 94 + z. Which is bigger: b or 13/6?
13/6
Let w = -229.109 + 229. Let g = w + 0.009. Is -4 at least g?
False
Suppose -5*c = 2*k - 2, 3*k = 3*c + 2*k - 10. Is c at least as big as 3?
False
Let v = 7940631 + -6813060053/858. Let y = -129/26 + v. Let x = 30/11 + y. Is x > -1?
True
Let x be (-6)/(-216)*-3*(-3)/(-13). Let l be 12/30 + (-26)/40. Does l = x?
False
Let m(l) = -50*l - 3. Let r be m(0). Let x = -1 + 0. Let d(f) = 3*f. Let n be d(x). Is n less than r?
False
Let j be (-2)/7 - 138/7. Let f be -19*(-5)/20*-4. Is j not equal to f?
True
Let y be (-640)/450 - (-16)/8. Is 1 greater than y?
True
Let r(c) = -2*c**3 - 2*c**2 + 18*c + 3. Let n be r(-5). Is n less than 112?
False
Suppose 8*k + 103 = -225. Let n = k - -63. Which is smaller: 20 or n?
20
Let l = -3/256 - 3709/256. Is l < -14?
True
Suppose 0 = 5*p + 15, -3*b - 4*p + 27 = -p. Let h(r) = -r**3 + 13*r**2 - 12*r + 4. Let i be h(b). Which is greater: i or 3?
i
Let s(j) = -j**2 - 15*j + 39. Let k be s(-17). Let i = -73/51 - -98/17. Which is smaller: k or i?
i
Let k = -1.33 + 0.33. Which is bigger: k or 21?
21
Suppose -l - 17 = v, -4*v - 4 = 4. Let h be 22/(-10) - l/15. Is h sma