 b = -2832701/3458 + 5734/7. Let z = b - -35351/988. Let t = -36 + z. Is t != -1/4?
False
Let k be (6/27)/(5/15 + 0). Which is smaller: k or 47/2?
k
Suppose 0 = 5*s - 4*v + 691, -3*s - v - 425 = -6*v. Let a = s - -1213/9. Which is smaller: a or 0.1?
a
Let y = -4 - 19. Let l = y + 29. Suppose -l*c = c - 35. Is c > 9/2?
True
Suppose 5*x = 5*s - 630, 5*x + 10*s + 650 = 5*s. Do x and -126 have the same value?
False
Let w be ((-2)/30)/((-11)/297). Is 1 equal to w?
False
Suppose 5*z + 32 = z. Let f be 4/z*2*-1. Which is bigger: 25 or f?
25
Let n = -5169/3685 + 2/737. Let u be (-24)/11 - 30/(-165). Is u > n?
False
Let c(h) = -h**2 + 57*h - 346. Let g be c(7). Is g > 168/31?
False
Suppose 3*c - 6 = 5*b, b - 3*c + 6 = 6*b. Is -18/145 equal to b?
False
Let b = -342 + 651. Is 2 at most as big as b?
True
Suppose 198 = -8*l + 5*l. Which is bigger: l or -65?
-65
Let k = 1529/2450 + -10/49. Which is smaller: 1 or k?
k
Suppose -3*b - 157 = -232. Which is smaller: b or -7?
-7
Let p be (189/35 - 9)/((-11)/3215). Let a = p - 1054. Which is greater: -3 or a?
a
Suppose 3*b + 15 = 0, 10*m - 5*m + 15 = -4*b. Is -216/5 > m?
False
Suppose -13 + 3 = l. Let p be 95/l + 4/(-8). Is p greater than or equal to -10?
True
Let g(j) be the second derivative of j**5/20 - j**4/3 - 2*j**3/3 - 5*j**2 + 15*j. Let d be g(4). Is -28 smaller than d?
True
Let u be (-74)/14 + 16/56. Suppose 0 = -4*a - 22 - 2. Let g = u - a. Which is smaller: 1/42 or g?
1/42
Let a be (-168)/25*(-7 - (7 + -19)). Which is greater: -35 or a?
a
Let c = 33 + -29. Suppose 2*n + 3 = c*f - 5, 8 = -n + 4*f. Which is bigger: n or 12/11?
12/11
Let a(s) = -s**2 + 3*s + 2. Let z be (5 + -4)/(2/6). Let d be a(z). Suppose -3*y = r + d, 5*r - 1 = -4*y - 0. Which is greater: y or 4/11?
4/11
Let m be ((-12)/10)/((-3)/(-50)). Which is smaller: -4 or m?
m
Let i = 42.4 - 45. Let k = i + 2.5. Let c = 0.28 + -0.3. Which is bigger: k or c?
c
Let u = -6 - -4. Let h = 152 - 146. Let t be (-14 + 0/1)/(12/h). Which is bigger: u or t?
u
Let r be 34/(-7)*2/(-24). Let s be 15/(-7)*9*8/648. Let g = r + s. Which is smaller: 2/3 or g?
g
Let d(u) = u**3 - 5*u**2 + 3*u - 2. Let r be d(4). Suppose -1 = 4*y + 7. Let m be 120/(-369)*r + y. Do 1 and m have the same value?
False
Let t be 21/4 - (-2)/(-8). Suppose -c - 2*g - g = 0, 0 = 3*c - t*g + 14. Suppose -3*j + 3*k = 9, 2*k + 0*k - 10 = -2*j. Which is smaller: c or j?
c
Suppose 4*q - 6*q = -5*u - 4, -4*u - 3*q = 17. Is u at most 252?
True
Let g = -152/73 - -115441/55407. Which is greater: g or 0?
g
Suppose 10*c - 5*c - 2*w + 35 = 0, -c - w - 14 = 0. Let m be ((-28)/(-6))/((-6)/c). Suppose m*j = j. Which is bigger: 1 or j?
1
Let c = 3 + 7. Let j = 0.045 + -15.045. Let o = j + c. Is 0.2 equal to o?
False
Let d = 2 + 2. Suppose -3*q + 4*i = -2*q - 5, 5*i + 9 = d*q. Let h be (-2)/4*10/135. Is h at most q?
True
Let b = -54471/4358 + -2/2179. Let c be -14 + (1 - 1) + 0. Which is smaller: b or c?
c
Suppose 2*v + 4*k - 60 = 0, 3*v + 2*v - 210 = 2*k. Is v at least -9?
True
Let x be -1 + (-2 + -28 - 2). Let k = -19 - x. Let m = 8 - k. Which is bigger: -7 or m?
m
Let h be ((-12)/8)/((-2)/4). Let r(p) = p**3 - 17*p**2 + 18*p - 16. Let x be r(16). Suppose 3*m - 7*m + x = 0. Which is smaller: m or h?
h
Let a be (-2)/(4 + 14/(-4)). Let g be (-2 - a)/(2/4). Suppose f = -g + 3. Which is smaller: f or 4/5?
f
Let h = 304 - 286. Let w = -0.2 + 0.2. Which is smaller: h or w?
w
Suppose -6 = 2*i - 3*q, 0 = 5*i + 5*q + 7 + 33. Let k be i/(-28)*28/(-903). Let n = 536/9933 - k. Which is smaller: n or -1?
-1
Let k(h) = h**2 - 30*h + 252. Let n be k(23). Which is smaller: n or 90?
90
Let y(j) = -j**2 + 2*j + 2. Let h be y(4). Let i = 5 + h. Let l be (-74)/164 + 5/10. Are l and i nonequal?
True
Suppose 47*v + 306 = -587. Suppose 0 = -2*u + u - 18. Let r be u + 1 + 1/(-1). Which is bigger: v or r?
r
Suppose 57 = -5*m - 43. Let v be 25*((-12)/m - -1). Are v and 40 unequal?
False
Let f be ((-8)/50)/((-114)/(-1145)). Let d be (1 - 268/76) + 4. Let m = d + f. Which is smaller: 0 or m?
m
Suppose -9*w + 4 = 4. Is w != 7/34?
True
Let k be 36/(-96) + 165/(-8). Is -9 < k?
False
Let y(o) = -o**3 - 10*o**2 - 7*o + 6. Suppose 0 = -2*l + 6*l + 36. Let q be y(l). Let x be q/(-28)*42/4. Which is smaller: x or 6?
x
Let w(n) = -46*n - 414. Let y be w(-9). Suppose -m + 12 = -3*s + 3*m, 5*m + 8 = -2*s. Let q be 6/28 + 2/s. Which is smaller: y or q?
q
Suppose 0 = -0*q + 2*q - 108. Let f(m) = -12*m - 126. Let w be f(-15). Is w bigger than q?
False
Let y = 3251/1225 + -72/245. Let d = y + -14/25. Which is bigger: d or -1?
d
Suppose -5*h - 5*p + 516 = 171, -5*h + 4*p + 336 = 0. Which is greater: 549/8 or h?
549/8
Let u(z) = 4*z - 91. Let s(b) = -4*b + 91. Let d(f) = -6*s(f) - 5*u(f). Let p be d(21). Are -12 and p unequal?
True
Let c be 89 + 21/14*-4. Is c != 83?
False
Suppose -209*b + 745 = -229*b - 535. Let a = -0.6 - 1.4. Is a greater than or equal to b?
True
Let l = 32947/2 - 16035. Which is smaller: l or 439?
l
Let q(n) = n**3 + 11*n**2 + 17*n - 1. Let s be q(-9). Is s at most as big as -4?
False
Suppose 25 = 3*r - 17. Let i(m) = -6*m**3 + 157*m**2 + 10*m - 21 - 73*m**2 - 71*m**2 + 5*m + 5*m**3. Let f be i(r). Which is bigger: -9 or f?
f
Suppose 0 = 2*y - 150 - 32. Let m = y - 452/3. Let k = -59 - m. Which is greater: -1.4 or k?
k
Let t = -89 - -48. Let d = 35 + t. Let i = -17 - -11. Is d greater than or equal to i?
True
Let i = -0.068 + -0.692. Let r = i + -63.24. Which is bigger: r or -1?
-1
Suppose c - 3*c + 14 = 0. Let k = -7 + c. Suppose k = 2*h - 19 - 1. Is 9 at least as big as h?
False
Let u = -72 + 49. Let g be 6/(-15) - 54/(-10). Suppose -t = k + 21, g*t - 10 = 2*k - 122. Is t bigger than u?
True
Let r = -247 + 246.04. Is 1 at most as big as r?
False
Let r = 17 + 19. Let l(a) = 11*a**2 - 42*a - 28. Let p be l(5). Which is smaller: p or r?
r
Let x be (-536)/(-18) + (-6)/(-27). Let i be ((-74)/54)/((-5)/x). Let g = i + -76/9. Which is greater: g or 1?
1
Let z = 30/41 + -892/1107. Let u = z - 71/135. Which is greater: 0 or u?
0
Let n = -2.8621 - -0.0621. Is 8 <= n?
False
Let d = 59 + -35. Let u be 254/84 - 12*6/d. Which is greater: u or -1?
u
Suppose -4*b - j + 27 = 0, -2*b - 70*j + 21 = -71*j. Is b <= 156/23?
False
Let r = 8 + -5. Let b = -0.046 - 0.034. Which is smaller: r or b?
b
Let y = 34/15 - 8/5. Let z(u) = u**2 + 3*u - 1. Let p be z(-4). Suppose p*x + 4*m = 4*x - 9, -3*x = 4*m + 5. Which is bigger: x or y?
x
Let t = -18 - -899/50. Is t equal to -1?
False
Let q = 38021/9 + -4209. Do q and 17 have different values?
True
Suppose -9*j + 5*j + 9052 = 0. Suppose -5*y + 4*g = -0*y + j, 3*y = g - 1362. Let o = y + 3195/7. Which is smaller: o or 2?
o
Let q be (-46)/(-3) - (-2)/(-3). Let x = q - 17. Let v be (18/27)/((-4)/12). Which is smaller: x or v?
x
Suppose -l = -1 - 1, 2*f - 16 = 5*l. Suppose 5*k = 40 + 10. Do f and k have the same value?
False
Let j(z) = z**2 + 2*z - 8. Let p be j(-5). Suppose -p*f - 29 - 153 = 0. Which is bigger: f or -27?
f
Let x = 1971 + -1938. Which is smaller: 630/19 or x?
x
Let c(r) be the second derivative of r**5/20 + r**4/6 + 2*r**2 - r. Let f be c(-3). Let b = -31 - -26. Is b smaller than f?
False
Suppose 19 = 5*n + 2*y, -5*n + 4*y - 5 = -42. Suppose x + 2 = 0, n = 5*b + 3*x - 9. Suppose -1 = 5*m + b. Is -1/3 bigger than m?
True
Let a = -93023/1150 + 2338/25. Let y = -25/2 + a. Is -1 <= y?
True
Let x = -24 + 13. Let f = -1841 - -1841. Is f less than or equal to x?
False
Let t = 32 + -30.3. Let o = -1.7 + t. Let j = o + 0.1. Which is smaller: j or -1?
-1
Let d = 113/3 + -51. Is -12 greater than or equal to d?
True
Suppose 5*k + 2*l - 12 = 1, l = 3*k - 10. Let i be (-13)/(k/9*1). Let j be ((-2)/6)/(4/i). Is 2 at most j?
True
Suppose 0 = -3*r - 6, -2*r + 7 - 1 = -5*g. Suppose 4 = 4*t, 0*q - 4*t + 3 = -q. Which is greater: g or q?
q
Let r(w) = 5*w + 12. Let g be r(2). Suppose -3*o + 6 = -2*y - 10, -y + 5*o = g. Which is smaller: y or -4?
-4
Let f = -25 + 44. Suppose 21*b - f*b = 2. Which is greater: b or -1/14?
b
Suppose -16 = 4*d - 0*d. Suppose -5*t + t - 3*k + 7 = 0, -4*t - 2*k + 2 = 0. Does t = d?
False
Let r = 2/15 + -94/255. Is r <= -8/5?
False
Suppose 5*i = 3*i + 14. Suppose -4*c + 13 = -z + c, i = -3*z - c. Is -3/2 greater than or equal to z?
True
Let u be 2907/(-10248) - (-3)/((-21)/(-2)). Is 