y - d + 131. Are y and 32 equal?
True
Let g be (-3)/6*(0 - 2). Let p be 14*2 - (g - 1). Let a be 1/2 - 38/p. Is 0 <= a?
False
Let z be (-62)/6 + 10 - 151/(-444). Which is bigger: z or -1?
z
Let k = -3 - 16. Let x = -23 + 31. Let z = k + x. Which is smaller: z or -12?
-12
Let v = -49 - -32. Let h = -7 - v. Which is bigger: 0.1 or h?
h
Let q = -1463 + 1496.6. Which is bigger: q or 1/3?
q
Let a = -293 - -385. Which is smaller: -2 or a?
-2
Let r(x) = 9*x**3 + 3*x + 1. Let l be r(-2). Let q = -220 - -144. Is q > l?
True
Let b(o) = 2*o**3 - 6*o**2 + 2*o + 3. Let q be b(2). Which is bigger: 1/296 or q?
1/296
Let z = -0.2 - -0.3. Let h be -1 + 0 + (-1 - -4)/(-1). Which is bigger: h or z?
z
Let f be (30/(-4) - -2)/((-23)/(-2) - 12). Let b(t) = -t**2 - 8*t - 5. Let m be b(-5). Which is greater: f or m?
f
Suppose -h - 4 = -2*l + 5*l, 4*h + 4*l = 0. Suppose -2*f = -4*p + 20, p - h = 3*f + 2*p. Let x = 10 + -13. Is x smaller than f?
True
Let t be ((-208)/(-96))/(2/12). Is 95/7 equal to t?
False
Let k(n) = -7 - 4 - 3*n - n + 3*n. Let b be k(-6). Let f be (-3 + 9/(-6))/b. Is 2 != f?
True
Let i = 0.048 - -1.752. Let w = -1.3 + i. Let q = 1 + 1. Which is smaller: w or q?
w
Let j be (-10)/100*0*1/(-1). Is j != 1/360?
True
Let v = -1772 + 3019. Which is smaller: v or 1246?
1246
Let c = -10.11 + 9.41. Is c equal to -5/9?
False
Let k(v) = -4*v**3 + 2*v**2 - 1. Let h be k(-1). Suppose h*p - p - 41 = -3*x, 0 = 4*x + 3*p - 50. Let f = 29 - 17. Which is smaller: x or f?
x
Let l = -109 + 142. Which is smaller: 43 or l?
l
Let r(b) = -b**2 - 7*b + 10. Let v be r(-8). Suppose -2*d - v*d - 3*u = -9, 5*u - 15 = 3*d. Which is bigger: 1/11 or d?
1/11
Let d(p) = p**3 + 7*p**2 + 7*p + 13. Let j be d(-6). Let f = -27 + j. Let u = -23 - f. Is -3 < u?
False
Let c be 2/4*3*-8. Let d = c + 27. Which is bigger: d or 1/2?
d
Let v = -0.0052 - -0.2052. Is v smaller than 0.24?
True
Suppose -40*p - 25*p + 11050 = 0. Is 170 at least p?
True
Suppose 4 = -27*t + 29*t. Let h(g) = g**2 - 8*g + 11. Let c be h(8). Is t != c?
True
Suppose 12 = -2*t + 3*t - 5*n, 5*t = 2*n + 37. Suppose 4*s = -t*s + 9*s. Which is greater: s or -2/31?
s
Let z = -469 + 482. Which is smaller: z or 0?
0
Suppose 2*j - 1 = j. Let t(y) = y**2 - 2. Let b be t(j). Which is greater: b or 0?
0
Let r = 1428 - 1430. Let k = -6 + 2. Which is greater: k or r?
r
Let c be 33/(-1 + 1 + 9/12). Let t be (-1 - -2)/((16/c)/(-4)). Is -3 smaller than t?
False
Let x = -1.667 + 0.667. Let j = 21.91 - -0.09. Is j less than x?
False
Suppose -3 = 5*m - 2*f, -3*m - 8 = 2*f + 3*f. Let u be (-1)/(-2)*m/4. Let x = -18 + 19. Is u < x?
True
Let t be 2/(-9) - 94/(-18). Let h = -4 + t. Let v = -54/29 + 1001/522. Which is bigger: h or v?
h
Let m(f) = -f**2 - 11*f - 1. Let b be m(-10). Let w be (-8)/3*b/3. Let c be w/44 - 9/11. Is c at most as big as -1?
True
Let s = -1.9815 + -0.0185. Let d = 5 + -5.3. Is s greater than d?
False
Suppose 0 = 6*x - 43 + 67. Is -16/3 at least as big as x?
False
Suppose -9*d = 6*d + 15. Let u be -4 - (3/(-3) - 156/54). Are u and d nonequal?
True
Let w = -29 - -26.9. Let q = w + 2. Suppose -57 = 28*c - 29. Is c smaller than q?
True
Suppose -10 = 5*f - 4*f. Let j = -7 + -2. Let w = f - j. Which is greater: w or -2/5?
-2/5
Let b(n) = 2*n - 97. Let l be b(0). Let a = -87 - l. Is 47/5 smaller than a?
True
Let b = 1626 - 1626. Which is greater: b or 8/203?
8/203
Let k(v) = 5*v**2 + 13*v - 30. Let i be k(-6). Which is smaller: 70 or i?
70
Let l = 21.9 + -22.9. Which is smaller: l or -0.033?
l
Let s(b) = 56*b - 18. Let n be s(-2). Let p be ((-35)/n)/(-7)*2. Is -1 smaller than p?
True
Let p(v) = -v**3 + v**2 + v + 2. Suppose 2*k + 2 = 3*k. Let l be p(k). Let n(r) = -r**2 + r - 8. Let z be n(l). Are -9 and z nonequal?
True
Let l(d) = -2*d**2 - 15*d + 2. Let y(g) = -g**2 - 7*g + 1. Let v(t) = -4*l(t) + 9*y(t). Let f be v(-5). Let o be 4 + 3/f*0. Which is smaller: o or 2?
2
Suppose -17 = b + 5*x, 3*x = -4*b + 22 - 5. Suppose 2*h = -0*h + b. Suppose h*d + 1 = -3. Is d at most as big as 2/7?
True
Let b = -15 + 18. Let j be 90/(-35)*14/b. Let s be (-315)/54 + 2/j. Which is bigger: -7 or s?
s
Let r(c) = 8*c**2 - 4*c - 10. Let y be r(-2). Let i be (-102)/y*5*-1. Which is bigger: i or 19?
19
Let f be (-1)/((-1)/(96 - 3)). Which is smaller: f or 90?
90
Let f be (1 - 0)/((-10)/(-6)). Let h(r) = -5*r + 2. Let u(d) = -14*d + 6. Let l(b) = 17*h(b) - 6*u(b). Let y be l(-4). Which is smaller: f or y?
f
Let g = -18122/19 + 954. Is g > -1?
True
Let j = -2446 - -2405. Is 21 greater than or equal to j?
True
Let g(x) = 2*x**3 + 16*x**2 + x + 56. Let q be g(-11). Are -680 and q non-equal?
True
Suppose 0*j + 5*j - 30 = -g, -5 = 4*j - 5*g. Suppose 15 + 3 = -2*b. Let i be -4*b/24*2. Which is bigger: j or i?
j
Let n = 4392 + -4391.9. Let b(s) = -5*s + 2. Let r be b(6). Let p be (-2)/(-4) - r/16. Is n at least as big as p?
False
Suppose 53*f - 3 = 56*f. Is f at least -17/14?
True
Let x(m) = m**3 + m**2 - 5*m - 5. Let h be x(-2). Let p be 3/15*191/(-181). Let v = 2/181 + p. Is v at most as big as h?
True
Suppose -20 = x - 15. Let d be (3*x/(-75))/(-3). Is 1 bigger than d?
True
Let s be (((-36)/8)/(-1))/((-6)/(-32)). Let c be (-21)/24 + (1 - 27/s). Is 0.8 bigger than c?
True
Suppose 464 = 3*c + c. Suppose 3*q = q - c. Let o = q + 176/3. Is o bigger than -2?
True
Let j = -0.34 + 15.34. Let n = j + -14.96. Let a = n + 0.06. Is a > 2?
False
Suppose -2*u + 48 + 16 = f, 4*u + 4*f = 132. Let b be -2*(-9)/(-6) - -2. Is u at most b?
False
Let q = -1065 + 9577/9. Is 0 > q?
True
Let k = -81 + 73. Suppose 4*d + 4 = -72. Let x = 11 + d. Are x and k equal?
True
Let s(h) = h**3 - 13*h**2 - 16*h + 1. Let p be s(14). Let z = -37 - p. Is -10 less than z?
False
Suppose -2*d + 626 = -5*q, -2 + 8 = -3*d. Is q <= 1?
True
Let w = -0.0293 - -0.2293. Is 4.9 > w?
True
Let q be (8/(-2) - -9) + -3. Suppose 0 = -3*v + w - 2*w + 19, 8 = q*v + 3*w. Which is greater: 13/2 or v?
v
Suppose 0 = -389*q + 390*q + 42. Is -41 <= q?
False
Suppose -2*x = 3*o + 174, 12*o - 8*o = -16. Which is greater: x or -83?
x
Let p = -159 + 141.8. Let a = 3.2 + p. Let d = 14.1 + a. Is d at least as big as 4?
False
Suppose -13*h + 3*h - 3*h = 0. Let a(j) = -3*j + 7. Let b be a(-6). Suppose -5*r + b = -4*n, -r + 3*n - 2*n = -6. Which is bigger: r or h?
r
Let h be (-2)/(-1) + (0 - 5). Let m be (-3*13)/((-3)/(-3)). Let v be (0 + m/(-30))*-2. Is v less than or equal to h?
False
Let v = -860 - -859. Is -4/3 at least as big as v?
False
Suppose -4*s = s - 35. Suppose s*t - 12*t = 195. Let h be (t/(-26))/((-6)/(-4)). Do h and 3/7 have the same value?
False
Let r(q) = q**3 - 10*q**2 - 11*q + 1. Let m be r(11). Do -2/11 and m have different values?
True
Let g = 18781/1482 + -3/494. Which is greater: 13 or g?
13
Suppose -p = -k - 9 - 3, -5*p - 2*k + 60 = 0. Suppose -2*x = 2*h - p, -11 - 13 = -3*x - 5*h. Suppose x = -4*f - 1. Do f and 0.2 have the same value?
False
Let v = -79 - -79.05. Let n = -1.3 - 0.7. Is n at least as big as v?
False
Let x be -1*(-1 + 0) + 0. Let w = 23133 + -18275073/790. Let o = 1679/26070 + w. Is x bigger than o?
True
Let g = 854 + -945. Is g >= -93?
True
Let a be (-352)/55 - (-30)/5. Is a equal to -9?
False
Suppose 25 = -j - 1. Is -25 != j?
True
Let w(o) = -o**3 + 2. Let b be w(0). Let m = 150.43 - 150. Let i = m - 0.28. Which is smaller: i or b?
i
Suppose -2*a = 3*f + 13, -f + a = -6*f - 10. Is f less than or equal to 5/63?
True
Suppose 0*w - 65 = -5*w. Let q(m) = 3 - 22*m**3 + 4*m + w*m**3 + 8*m**3 + 4*m**2. Let s be q(5). Is 6 > s?
True
Suppose 32 - 7 = -5*x. Let u(b) = -b + 2. Let o be u(9). Is x bigger than o?
True
Suppose 3 = a, -2*y + 3*y = -a - 75. Is y at most as big as -76?
True
Let x be 86/(-216) + (-2)/(-8). Let r be ((-3)/(-6))/(12/(-24)). Which is smaller: x or r?
r
Suppose f - 5*x - 9 = 0, 0 = -f + x - 3*x - 5. Let z = -23 - 17. Let m be z/(-10) + (-38)/8. Is f at least m?
False
Let y = -31 + 38. Let u be (2/4)/(y/42). Suppose u = 7*z - 95. Which is smaller: z or 15?
z
Let o = -449 - -449.2. Is -63 at most as big as o?
True
Let j = -181 + 187. Is 8 greater than j?
True
Let g be 3*(-1 + 0 + -2). Suppose 0 = -2*v + 5*c - 0 + 6, -4*v = 4*c - 12. Let s be v + (145/g)/5. Is 0.3 >= s?
True
Let o = -151 - -90. Let z = o + 43. Is z greater than or equal to -19?
True
Let g be 8/6*(2 - 4/(-