-2*r + 6*r. Suppose 0*l + 88 = 22*l. Suppose -5*b + o + r = 2*o, b - l*o - 15 = 0. Which is bigger: 5 or b?
5
Let x = 0.19 - 37.19. Let i = x - -36.9. Is -6/17 > i?
False
Let y = -28 - -27. Let i = y + -1. Which is bigger: i or -1?
-1
Let y = -2.05 - -0.75. Is y < -0.07?
True
Let o = -90 + 179/2. Let x(t) be the first derivative of t**4/4 + 2*t**3/3 - t + 1. Let k be x(-1). Which is bigger: k or o?
k
Let t = 2337 - 2337. Is 2/1637 <= t?
False
Let a = 0.46 - 1.76. Which is greater: 10 or a?
10
Let q be 5 + 2 - (528/5)/(-16). Is 15 at most as big as q?
False
Let m be (-2)/(-8) - (-1)/(-2). Let l = 21 - 19. Let k be l/(-5) + (-21)/35. Which is bigger: m or k?
m
Let v = 3 - 6. Let f = 0.09 + 0.91. Is v less than f?
True
Suppose 16809 = -24*k - 13791. Which is bigger: k or -1274?
-1274
Suppose -4*k - 3*k - 329 = 0. Let b = k - -51. Which is smaller: 21/5 or b?
b
Let q = 325 + -325. Let m = 0.19 - 0.2. Which is greater: m or q?
q
Let j = -9 - -20. Let k be (4/(-10))/(1/(-25)). Is j bigger than k?
True
Let m be (114/(-24))/((-1)/4). Let k = -1 + m. Let s be 3/k - (-1)/(-18). Which is greater: -1 or s?
s
Let k(q) = 5*q - 11. Let a(r) = -4*r + 10. Let l(b) = 6*a(b) + 5*k(b). Let z be l(-5). Let u be (1 + 4/(-8))/(57/(-6)). Is z smaller than u?
False
Let s = -36 + 36. Let o = 2/431 - -315/24998. Is o at most as big as s?
False
Let x(k) = k**3 - 22*k**2 + 39*k + 17. Let q be x(19). Which is greater: q or -326?
q
Let m(q) = -q**2 + 24*q - 44. Let k be m(22). Suppose 4*c + 2 = 3*c. Let n be ((-2)/(-6))/(c/8). Does k = n?
False
Let k be (-10)/(-55) - (1 + (-252)/319). Let s = -15029/1276 - k. Which is greater: s or -13?
s
Suppose -7*p - 12 - 30 = 0. Is -9 > p?
False
Let f be (-1)/8*(10 - (-2960)/32). Which is bigger: -14 or f?
f
Suppose 3*a - 2 = -14, -5*a - 20 = 3*c. Let z(u) = c*u - 5*u + 2 + 3*u. Let p be z(-1). Does 1 = p?
False
Let m = -30 + 36. Suppose -13 = 7*j - m. Which is smaller: -5/3 or j?
-5/3
Let i be 39/(-5) - (-4)/(-20). Let f be (-144)/(-10) - i/(-20). Suppose 2 = 3*b + f. Which is smaller: b or -3?
b
Suppose -3*p - 16 = -5*p. Let u = -1 + p. Which is smaller: u or 0?
0
Let b(k) = 4*k**3 - k**2 + 2*k + 1. Let h be b(-1). Let u(d) = -2*d - 12. Let t be u(h). Is t > 2/187?
False
Let o = 1 - 23. Suppose 2*c - h - 4*h + 23 = 0, -5*c + 3*h = 105. Let i = c - o. Which is greater: -1 or i?
-1
Suppose -2*m = 5*m - 385. Do 55 and m have the same value?
True
Let y be 2/(-6) - 2/(-6). Suppose -p - u + 5 = y, 3*u = -u + 20. Let s be (p/(6/(-2)))/(-1). Which is smaller: s or -2/3?
-2/3
Let m be 538/(-315) + (-87)/(-27) + -3. Let u = 23/7 + m. Which is bigger: u or -1/2?
u
Let s = -7.2 + 7.6. Let c = -1.6 + 1. Is s smaller than c?
False
Let b(k) = -2*k**3 + 4*k**2 - k - 8. Let n be b(2). Is n at most as big as -56/5?
False
Let u be (-29)/((-348)/18)*2/(-81). Is u not equal to -13?
True
Suppose -2 + 8 = -2*n. Let t be (n/(-30)*6)/(8/(-5)). Let o be 6/(-9)*(-3)/(-2). Is o > t?
False
Suppose 3*g + 242 = -2*c, 0 = -3*g + 10*c - 15*c - 245. Is g less than or equal to 0.11?
True
Let u be (100/150)/((-4)/6). Which is greater: u or -1/204?
-1/204
Let w = -30374/861 + -16/287. Let o = 43 + -78. Which is smaller: w or o?
w
Let p be (9/(-2) - -5)*(-2 - -2). Which is bigger: -3/142 or p?
p
Let s = -0.632 - -0.012. Let w = -0.52 + 0.2. Let r = w - s. Is -0.3 not equal to r?
True
Let c = 2.4 - 0.6. Let n = 6.6 + -6.6. Which is smaller: n or c?
n
Let b be 328/(-3) + (-6)/18. Let r = b - -108. Is -2 > r?
False
Let t = 59 + -57. Suppose -2*p - t*m - 59 = -3*m, -5*p = -3*m + 150. Which is smaller: -26 or p?
p
Suppose -5*g - z + 2722 = -0*z, 2*g + 2*z = 1084. Suppose 118 = -7*p + g. Is p at least 61?
True
Suppose d = -5*f + 11 + 9, 0 = -f + d - 2. Suppose 0 = m - w + f, 0 = 5*m - 0*w + 5*w + 15. Let c = -0.02 + 0.02. Is c > m?
True
Let p = -2375/7 + 339. Which is bigger: p or -0.304?
p
Let k be (-1)/((3/351)/(5/15)). Is k greater than or equal to -39?
True
Let i be (-60)/(-75)*-1 + 8/10. Is -112 at least i?
False
Let s = 111.04 - 145. Let x = s - -34. Which is smaller: x or -5?
-5
Suppose -3*v = -29*s + 28*s + 16, -3*v = 2*s + 13. Is v less than 138?
True
Let r = -41 - -53. Let y = r + -12. Which is smaller: 2 or y?
y
Let z(l) be the first derivative of -l**2/2 - 45*l + 4. Let r be z(0). Let h be (-8)/10 - (-9)/r. Is h bigger than -1?
False
Suppose -5*g + 8*g = 21. Which is smaller: 8 or g?
g
Let j(d) = -3*d - 24. Let y = -7 + -3. Let w be j(y). Is w bigger than 9?
False
Let w = 69 - 2690/39. Let y = -43/156 + w. Is y at most as big as -1?
False
Let t = 12.994 - -0.006. Let r = t + -18. Let p = 2 - 2. Is p <= r?
False
Let r be (-1)/(-2)*-6*(-1)/3. Is r less than or equal to -3/58?
False
Let f be (-50)/(-15) + (-1 - 0/2). Let j(d) = d**3 - 8*d**2 + 6*d + 10. Let y be j(7). Suppose v - 6 = -y. Are v and f nonequal?
True
Let v = -7706168/11 + 702557. Let w = v - 1993. Which is greater: w or 2?
w
Let y(s) be the first derivative of -s**4/4 + 8*s**3/3 + s**2/2 - 5*s - 7. Let x be y(8). Suppose -x*p - 14 = 19. Which is bigger: p or 0?
0
Suppose 0 = -76*u + 52*u + 9072. Is 380 at least as big as u?
True
Let s be -2 + (-13)/(-7) - (-306)/(-357). Do s and 2/5 have different values?
True
Suppose -5*z + 84 + 16 = 0. Let q(c) = c**2 - 20*c + 13. Let b be q(20). Suppose -11 = -2*x + 3*h + 12, -5*h = -2*x + b. Which is smaller: z or x?
x
Let w be (8*12/8708)/((-14)/49). Which is greater: -1 or w?
w
Let u = 1217683/10 - 121440. Let t = u + -328. Let j = -892 - -892. Which is smaller: t or j?
j
Let w be ((-84)/(-30))/((-2)/(-110)). Let g be (-203)/w + (-6)/(-4). Let q be 2 + -2 - (-1 - -2). Which is smaller: g or q?
q
Let c = -11 + 12. Let u = c + 3. Let j be ((-3)/(-1))/((-3)/u). Is -5 bigger than j?
False
Let f = -19 + 23. Which is greater: f or 0.19?
f
Let x = -0.12 + 0.82. Let m = -0.3 - x. Let b = -17.52 + 24.52. Which is bigger: m or b?
b
Let h be ((-6)/12)/((-1)/238). Let s = h + -255. Let n be 1/(-5) - s/(-20). Which is smaller: n or -4?
n
Let a = 2002/3 - 667. Suppose -4*d = -d. Let b be 1/(-2)*(d - -2). Is a at least as big as b?
True
Let t(p) = -3*p + 46. Let b be t(12). Suppose -9*g = -b*g + 4. Which is bigger: 5 or g?
5
Suppose 9*d - 2 = 10*d. Let r be ((-25)/d)/(3 - 4). Is r < -12?
True
Let q be (-1848)/60 + 4/5. Is q <= -31?
False
Let m = -958669 - -130379649/136. Let s = m + -41/8. Is s != 0?
True
Let v be (6 - -1)*(-828)/(-322)*-17. Does -305 = v?
False
Let p = 23.4 + -13.8. Which is smaller: 2/7 or p?
2/7
Let s = 95 - 48. Which is smaller: s or 44?
44
Let x be (20/(-9))/(4/(-6)). Let z(b) = b**2 + 88*b + 3. Let h be z(0). Which is smaller: h or x?
h
Let v(z) = 3*z**2 - 4*z + 3. Let g be v(2). Suppose -w + 0*w - g = 0. Let u(b) = -b**2 - 6*b + 8. Let q be u(w). Is q <= -3/7?
False
Suppose s + 1 - 4 = 0. Let u = 17 + -14. Suppose 0 = s*v - 6*v - u*t - 15, -t = 1. Is v at least -6?
True
Suppose -4*t = 2*u + 50 - 22, -3*u - 4*t = 32. Which is greater: u or 2?
2
Suppose 93 = 6*u - 33. Let t = -21 + u. Is t < 0.02?
True
Let d be (25/5)/35 - (5 - 4). Which is smaller: d or 0?
d
Let h(v) be the first derivative of v**3/3 - 5*v**2 - 12*v + 10. Let d be h(11). Is d greater than 22?
False
Let l = 303/8 + -4547/120. Let f = -23/180 - l. Is 1 smaller than f?
False
Let i = 190 + -198. Do i and -0.27 have different values?
True
Suppose -5*t + 2*r - 20 = -0*t, -5*t - 5*r - 20 = 0. Let v be (-12)/45*(-1)/t. Which is bigger: 0 or v?
0
Suppose 6*z = z - 10, w - 1 = 2*z. Let h = -15 - w. Let q be ((-1)/(-2))/((-1)/26). Is q >= h?
False
Suppose -3*m + 3*s - 2*s - 54 = 0, 4*m + 72 = s. Let c = m + 30. Is 12 > c?
False
Let k = 37 - 155. Let i = -115 - k. Which is smaller: i or 6?
i
Suppose -2*q + 3 = -q. Suppose 0 = -5*d + 2*d + q. Let k = 71 + -72. Which is smaller: k or d?
k
Let g(y) = -y**2 - 9*y - 3. Let r be g(-9). Let b be (-479)/r + (-4)/(-6). Let f = b + -159. Which is smaller: f or 0?
0
Let t = -42.02 + 42.22. Let y be 218/(-8) - (-2)/8. Let i be 4*(-1 - y/30). Which is bigger: i or t?
t
Let b(c) = -c**3 - 3 - c - c**2 - 2*c**2 + 0*c**2. Let d be -4 + 4 + (-6)/2. Let q be b(d). Which is bigger: q or -3?
q
Let y = -0.029 + 0.259. Let m = y - -0.07. Is m less than -3/10?
False
Suppose 0 = 11*r + 568 + 290. Is -78 bigger than r?
False
Let h = 17 - 10. Let u(y) = -4*y + 31. Let o be 