 be x(-5). Let s(l) = l**3 - l**2 + l. Let v be s(0). Let r be 19/7 - v - 3. Is k at least as big as r?
True
Let q = 18.416 + -18.316. Let t = -0.04 + -28.96. Which is smaller: t or q?
t
Let i = -16.7 - -18. Let t = i - 1.2. Let k = -0.1 + t. Which is greater: 2 or k?
2
Let c(r) = -10*r - 15. Let o be c(-2). Is o > 75/14?
False
Let p be 24/2 - (-1 + 5 - 7). Let g be -13 + (0 - (0 + 1)). Let u = g + p. Are u and 3 equal?
False
Suppose 5*j - 125 = 135. Which is smaller: -0.1 or j?
-0.1
Let c = 919 - 65250/71. Let n(r) = 3*r**2 + 13*r + 4. Let a be n(-4). Which is greater: c or a?
a
Let x = -105 - -184. Let v = 91 - x. Which is smaller: v or -3?
-3
Let l = 0.09 + -0.19. Suppose 30 = 37*s - 27*s. Which is bigger: l or s?
s
Suppose 17 = -2*o - 65. Let s = o + 21. Do -18 and s have different values?
True
Let j = -6 - -34. Suppose -38*v = -8*v - 870. Which is smaller: j or v?
j
Let o be 2/9 - (-322)/9. Let t = o + -25. Suppose 0 = 3*y + y + 12, 3*y = 2*l - 33. Which is bigger: l or t?
l
Let t = 60977 - 438851471/7197. Let i = t + 5895647/4692444. Let m = i - 1/163. Which is greater: m or 0?
m
Let f = -837 - -835. Which is smaller: f or -7/5?
f
Let c = -408 + 374.9. Let w = c - -33. Does w = -1.6?
False
Let j = -5/218 - -1147/11990. Suppose -5*z - 3 = -2*z. Is j < z?
False
Let m be 26*(28/8 - 2). Let y = 40 - m. Let s = -4307/9 - -479. Is y != s?
True
Let g be 31/62 - (-2)/(-4). Is g <= 3/46?
True
Let p be -2*3/(-2)*5/(-15). Which is smaller: p or 2/301?
p
Let f = -10057/188776 - 1/3371. Which is greater: f or 1?
1
Suppose 27 + 48 = 5*u. Suppose 0 = 3*p - 6 + u, -3*p = -3*w + 15. Let g be ((-196)/63)/(-14) - 22/(-9). Is g != w?
True
Let s = -67 - 37. Let c be (-2 - s)*(12/9)/(-2). Which is bigger: -67 or c?
-67
Let x(m) = m**3 + 39*m**2 - 124*m + 81. Let v be x(-42). Which is bigger: v or -10?
v
Let g be 9/(-2)*(-52)/(-6). Let r be (-4)/22 - (-1290)/(-165). Let l be (r/15)/(26/g). Is 2 at least as big as l?
True
Let b(o) = -o**2 - 12*o - 2. Let h be b(-12). Let x be 4/(h*(-20)/(-8)). Is -2 less than x?
True
Let y(z) = 1 - 39*z**2 - 8*z - 3 + 15*z**2 - 5. Let w be y(-1). Do -22 and w have different values?
True
Suppose -2*p - 102 = 4*q - 4*p, -2*q - 55 = -5*p. Let x = -1.5 + 0.5. Is q greater than x?
False
Let b be 122/6*(-1 + -2). Let o = b + 67. Is o > 6?
False
Let x = -256.87 - -254. Let u = -4.1 - x. Let y = u + -0.17. Is y bigger than 1?
False
Let f = -33 + 48. Suppose -2*g - 2*m + 28 = 0, -g + 10*m + 22 = 7*m. Which is greater: g or f?
g
Let s = -7.5 - -8.5. Let t = s - 14. Is t < -1?
True
Let u(v) = 4*v + v**2 - 23 - 21 + 4*v + 45. Let x be u(-8). Is x < 2?
True
Suppose 2*u + 43*j = 45*j + 24, -3*u + 5*j = -40. Let m(p) = p**3 - 6*p**2 + p + 4. Let a be m(6). Is a greater than u?
False
Let u = 41 - 35. Suppose u*m - 83 - 91 = 0. Which is greater: 28 or m?
m
Let h(j) = j - 4. Let k be h(11). Suppose 4*v - 25 = 5*q, 3*v + 22 = -2*q + k*v. Are q and 2 equal?
False
Let m(j) = -13*j + 175. Let x be m(-5). Is 240 < x?
False
Let y = 0.9046 + 0.0954. Do 147 and y have the same value?
False
Suppose -5*b = 51 - 21. Let x be (b/(-3) + -4)/((-2)/(-8)). Is -7 != x?
True
Let a be 9*(-14)/105*(1 - -54). Let o be (-6)/16*(-4)/a. Is o at least as big as 1?
False
Let h = 21 + -21.6. Let b = 0.2 + h. Let c = 0.4 + b. Which is bigger: 1/4 or c?
1/4
Let c = 32 + -23. Suppose c*p + 0*p = -54. Is p greater than or equal to 2?
False
Let p be -12*(-4 - (-27)/4 - 2). Let u(h) = -h**2 - 5*h - 5. Let w be u(p). Is -39 greater than w?
True
Let s = 7.9 - 7.41. Let v = 30.49 - s. Let y = v + -31. Which is greater: y or -0.01?
-0.01
Suppose -5*l - 4*o = -115, -o - 45 = -5*l + 95. Let d be 10*2/15*l/2. Let v = 19 - 1. Is d >= v?
True
Let y = -8 + 6. Let n = -5.679 - 1.331. Let u = -7 - n. Do y and u have the same value?
False
Suppose 137*x = 143*x - 66. Which is bigger: x or 0.1?
x
Let s = 348.9559 - 349. Is s at least 1?
False
Let s = 12 + 0. Let g = 0.72 - 0.8. Let p = -1.08 - g. Is p smaller than s?
True
Suppose -2620*h + 84 = -2632*h. Let v = -11 + 8. Is h != v?
True
Let m = -4198/3 - -1378. Let n = 25 + -46. Which is greater: n or m?
n
Suppose 9 = -i + 5*w - 3*w, 3*i + 2*w - 13 = 0. Suppose -21*r + 20*r + i = 0. Let c = 18/5 + -116/35. Which is smaller: c or r?
c
Let o be (1 + (-213)/(-15))*(8 + -7). Which is greater: 15 or o?
o
Let j be (-18)/(-100)*392/24 - 3. Which is bigger: 1 or j?
1
Let m(s) = s**3 - 32*s**2 + 85*s + 8. Let k be m(3). Which is smaller: 12 or k?
k
Suppose -20*v - 35*v + 550 = 0. Let o be 2 + 10 + 4/(-2). Is v bigger than o?
False
Suppose 4*v - 20 = 14*v. Let h(a) = a**3 - 3*a - 3. Let t be h(v). Which is smaller: 4 or t?
t
Let d(a) = -12*a**2 + a**3 - 2*a**3 + 0*a**3 + 13 + a - 1. Let c be d(-12). Which is greater: c or 2/9?
2/9
Let t = -0.539 - 0.461. Let r = -556 + 1395. Let d = -34401/41 + r. Is d at least t?
True
Let h = -385.2 - -385. Is -7 <= h?
True
Suppose 0 = -1962*f + 1970*f + 2984. Is -375 greater than f?
False
Let n = 34.94 - -0.06. Let r = 35.1 - n. Which is bigger: 1 or r?
1
Let k = 2614 + -2613.55. Is 5/2 greater than k?
True
Let m = 0.11601 + -1.71601. Let c = -0.1 + 0.3. Is m > c?
False
Let y(a) = -a**2 + 4*a - 4. Let b be y(3). Let k = 0 + b. Is 1/15 < k?
False
Let g be 5*(0 + (-2 - -3)). Let c(p) = 18*p + 21. Let k be c(-1). Suppose -2*z = -k*u - 8, -g = 3*z + 3*u + u. Do 1 and z have the same value?
True
Let v be ((-6)/36)/(201/(-29562)). Let l = v - 12/67. Let h = l + -21. Is h <= 2?
False
Suppose 43612 = -48*v - 57572. Is v > -2107?
False
Let p(x) = -x**3 - 16*x**2 - 15*x + 12. Suppose -10*u = -9*u + 15. Let c be p(u). Is 13 at least c?
True
Let m be (-268)/(-3)*12/16. Is 66 greater than m?
False
Let m be (-303)/4 - 7/28. Which is smaller: -73 or m?
m
Let i be -1 - (-4 + 4 + -1). Which is greater: i or -1/38?
i
Let n = 10359 + -10337. Let p be 594/28 - (-4)/14. Which is smaller: p or n?
p
Let h = -3.1 - -5. Let p = h + 1.1. Which is smaller: 8 or p?
p
Let f = -35872/7 - -5091. Is -35 bigger than f?
False
Let x be 3/5 + (-5838)/(-70). Which is greater: 83 or x?
x
Suppose p - 27 + 92 = 0. Let h = -65 - p. Let g be (1/3)/((-34)/12). Which is smaller: g or h?
g
Suppose y + 15 = 4*g, 2*y = -5 + 7. Which is bigger: g or 1?
g
Let d be -2*(43/(-24) + 2). Let o = 1316 - 1315. Which is smaller: o or d?
d
Let s be 1 + -2 + 36/34. Let b be (-14)/(3 + (-10)/2). Let t(n) = 6*n - 41. Let k be t(b). Is s > k?
False
Suppose -2*o = -5*o - 3*k - 108, -3*o = 5*k + 118. Is o greater than 0.1?
False
Let s(p) = -p - 15 + 0*p - p + p. Let m be s(16). Is m at least -31?
True
Let z be ((-44)/35 + 6/15)/20. Let a = z + 41/140. Which is smaller: -0.2 or a?
-0.2
Let n(g) = g - 8. Suppose 3*t + h - 6 = -h, -3*h = -3*t + 21. Suppose -t*k = -5*r - 19, 0 = -r - 2 + 3. Let b be n(k). Is -4/5 at most b?
False
Let u(z) = -42*z - 60. Let o be u(-11). Is 401 smaller than o?
True
Let z be 4 + 3 + (-2188)/312. Is z <= 1?
True
Let b = 57 + -72. Let c be 17/34 - b/2. Is c at least as big as 3?
True
Let u be 8 - 236*(-48)/(-1452). Which is smaller: 1 or u?
u
Suppose 2*o - 1 = d, 0 = -4*o - 0*o - 3*d + 27. Suppose 1 + 1 = -o*c - 5*u, -3*c = 3*u. Let h be 1/9*12/10. Is h equal to c?
False
Suppose -36*b + 37*b = -4. Are b and -42/13 equal?
False
Let n = 30.5 - 30. Let k = -6 - -5.4. Let s = n + k. Which is bigger: 0 or s?
0
Let o be (-4)/7 - (1 - (-1743)/(-49)). Suppose -o*f + 14*f + 60 = 0. Which is bigger: f or 1?
f
Let q be (38/3)/((-5)/((-60)/8)). Which is smaller: 16 or q?
16
Suppose -4*x - 76 = -0*x. Suppose 565 = -59*q - 487 - 69. Is x at least q?
True
Let v = 3 - -27. Suppose 3*h = 2*t + 2*t + 5, 2*t + v = -4*h. Let i be (h - -2)*-2*1. Which is smaller: i or 8?
i
Suppose 3*a - 3 + 0 = 0. Let z be (3 - 1)/(a/(-2)). Let x(o) = o**3 + 5*o**2 + 7*o + 10. Let y be x(-4). Which is bigger: y or z?
y
Let r = -499/4148 + 34/305. Which is bigger: r or 1?
1
Let f = -5 + 8. Let i be 203/21 - (-1)/f. Let w = 10 - i. Which is smaller: w or -1/6?
-1/6
Let v = -160 + 169. Which is smaller: v or 8?
8
Suppose j - 30 = b, -3*j - b = j - 145. Let a = -71 + j. Is -35 greater than or equal to a?
True
Let b = 45 - 32. Let c = b - 17. Which is smaller: -2/3 or c?
c
Let w be 27/(-9) - 21/(-9). Which is smaller: 0.6 or w?
w
Suppose a + 2*c + 361 = 107, -a = -3*c + 264. Let b be -4 - (-1)