t most w?
False
Suppose 2757 = 22*d - 27*d - b, 3*b = -5*d - 2761. Is d < -552?
False
Suppose 0 = q + 2*i + 2, q = 2*q - 3*i - 3. Which is bigger: q or 141?
141
Let v be 138/30 - (-2)/5. Suppose -v*x - 282 = -77. Which is greater: x or -40?
-40
Suppose -2*g + u = -5, -13*g + 9*g - 2*u = 10. Let b be -1 - 1 - (g - 168/68). Which is greater: 0 or b?
b
Let w be -2 - ((-12)/20 + -1). Let h = 0.98 - -1.02. Are h and w nonequal?
True
Let f = 1017 + -1016. Let p be (16/6)/((-3)/9). Let b be 3/(-36)*p/(-3). Is f != b?
True
Let b = 641509/38 - 16883. Is b != -1?
True
Let w be 822*((-1)/(-5))/(15/(-25)). Which is smaller: w or -273?
w
Let k = -400 + 390. Is k > -1/3?
False
Let c = 1023 + -1024. Is c equal to 1/1788?
False
Let o(x) = 4*x**3 + 17*x**2 - 17*x - 21. Let w(t) = 3*t**3 + 15*t**2 - 17*t - 20. Let k(f) = 2*o(f) - 3*w(f). Let y be k(-12). Is -42 at most y?
True
Let a be 110/(-726)*842/(-10). Let o = a - 78/11. Which is bigger: 6 or o?
6
Suppose 309 = 2*a - 5*c, -6*c = 4*a - 3*c - 553. Is 143 not equal to a?
True
Let n = 0.0115 - 27.0115. Which is smaller: n or 5/3?
n
Let a = -86.62 + 87. Let j = a - 0.28. Are j and 5/6 unequal?
True
Let d = 5/3 + -1. Suppose 14*t - 12*t - 4 = 0. Let m be 6/t - (-116)/(-36). Is d less than or equal to m?
False
Suppose 2*k = 5*s - 15, -s - 4*s = -3*k - 15. Let u be ((-981)/216)/(70/8). Let o = u - -2/105. Is o bigger than k?
False
Let k = -33 - -58. Let f = 16 - k. Which is bigger: -2/5 or f?
-2/5
Suppose 0 = 3*w + 3*j + 228, j = -0*j - 4. Let q = -77 - w. Which is smaller: q or -4?
q
Suppose -c + 2*b + 18 = b, 3*b = 2*c - 38. Let l = c + -13. Let p be (-30)/l*(-3 + 4). Is p > -11?
True
Let j(a) = -a**3 + 22*a**2 + 23*a + 8. Suppose 12*i - 322 = -2*i. Let t be j(i). Is t > 8?
False
Let d(h) = 6*h + 38. Let g be d(-6). Suppose 38*b = 39*b + g. Is 1.6 at most b?
False
Suppose 0 = 3*g - 2*g - 4. Suppose 3*q + 2*q = 0, b + g*q = -9. Let a be (-1)/(0 - 1/(-9)). Is a less than or equal to b?
True
Let w(h) = h**2 + 9*h - 5. Let x(k) = 39*k**2 + 3*k - 2. Let y be x(1). Let d be (y/15)/((-1)/3). Let p be w(d). Is -1 <= p?
False
Let q be ((5/(-2))/(-5))/((-29)/(-696)). Do q and 21 have different values?
True
Suppose -7*g = -2*g + 45. Let b be (-426)/84 + g/(-6). Is b != -4?
True
Let f be 0*(9 + (-51)/6). Suppose 3 - 7 = k. Which is smaller: k or f?
k
Suppose -6*r - 38 = 70. Let c be (0/3 + -26)/(-2). Let a = c + r. Do a and -11/3 have the same value?
False
Suppose 3*k + 1010 - 201 = -c, 2*k + 545 = 5*c. Which is smaller: k or 1/3?
k
Let a be 0/(2 + 20/(-5)). Suppose a = 10*s + 16 + 4. Which is greater: -6 or s?
s
Let u(m) = 6*m + 104. Let w be u(-17). Is w equal to 9/5?
False
Suppose 5*p + 29 = 4*r, -2*r - 2*r = 4*p + 52. Which is smaller: p or -8?
p
Let j = 36 + -26. Suppose -5*c = -j*c. Is -5/7 equal to c?
False
Suppose -4*f = 4*f + 6*f. Let b be (-106)/322 + (-2)/(-7). Is b equal to f?
False
Let i be ((-3)/4)/(30/382). Let w be 3/(-4)*(-172)/(-12). Let h = i - w. Which is smaller: 2 or h?
h
Suppose -5*n - 1 - 4 = 0. Let m = n + 5. Suppose 0 = -s + m*i - 1, 2*i - 14 = s + s. Is s bigger than -9?
False
Let f(u) = u**2 - 9*u + 15. Let g be f(7). Suppose 0 = 3*a + 4 - g. Is a less than -1/5?
True
Suppose -3*u - 5*x - 99 = -295, -u - 5*x + 52 = 0. Let i = u + -54. Is 18 greater than i?
False
Let g(f) = f**2 + f - 1. Let p be g(-2). Suppose v - 4 = -6. Let d be (-10)/(-4) + v + 15/10. Is d < p?
False
Let u be (3354/(-1935))/(-11*(-2)/70). Does -7 = u?
False
Let g be (0 - 0)/(-1 - -2) - -1. Let q be g/1 + (-8)/2. Are -5 and q non-equal?
True
Suppose 2*y = 7 + 5. Suppose -y*z = 14 - 2. Let i be (-1)/(-4) + z/8. Which is smaller: 1/2 or i?
i
Suppose q - 148 = -3*q. Let b = q - 36. Which is smaller: b or -1/10?
-1/10
Let v be 1*2/(-346)*-3. Let l = -305/7612 + v. Which is smaller: 0 or l?
l
Suppose 7 = -5*g + 3*h, -3*g + 5*g + 4*h - 18 = 0. Let w = -4341/10 + 434. Is w greater than or equal to g?
False
Let u = 29635/21 - 1410. Which is bigger: u or 1?
u
Let k(h) = -h**2 - 5*h - 4. Let r be k(-4). Let s(v) = -2*v**3 + 7*v**2 + 5*v - 16. Let b be s(5). Let u = 131/2 + b. Do u and r have different values?
True
Let g be (-2893)/413 + 7/1. Which is bigger: g or 1?
1
Suppose -8 = 4*q, -2*q - 4 = 3*x - 27. Suppose 5*b - 5 = 0, -5*b + x = -2*h - 2*h. Which is greater: -2 or h?
h
Let d be 2*1 - (10 + 0). Let u = -36 - -27. Do u and d have different values?
True
Let v be (-300)/936 - (-2)/13. Is 0.057 smaller than v?
False
Let l = -132 - -139. Suppose l*r + 0 = 28. Let t be 2*3/14*8. Is r < t?
False
Let a = -392911 + 6677174/17. Let d = -136 - a. Is d less than 0?
False
Let n = -126.9 + 128. Is n at least as big as -4?
True
Let z(w) = -3*w - 50. Let g(u) = u**2 - 5*u + 6. Let m be g(3). Let s be z(m). Which is bigger: s or -49?
-49
Let y = -38.49 + 9.49. Is 7 less than or equal to y?
False
Let y(s) = -3*s - 17. Let u be y(-8). Let h = u - 7. Which is smaller: 1/2 or h?
h
Let c be (-7 - (-242)/33)*-12. Are c and -1.52 nonequal?
True
Let t = -40.1 + 53. Let z = -25 + 38. Let g = t - z. Is g < -0.1?
False
Suppose 1 = q, 5*t - q - q = -52. Is -53/5 > t?
False
Let m = -4 - 10. Let v be (m/(-4))/((-2)/4). Are v and -7 nonequal?
False
Let o = 36/5 + -466/55. Does o = 0?
False
Let m(c) = -c**3 - 31*c**2 - 58*c + 4. Let l be m(-29). Does -7 = l?
False
Suppose -5*f - 3*h = -5 - 100, 2*f + h = 41. Let j(y) = 18*y**2 - 2*y + 2. Let o be j(1). Are f and o non-equal?
False
Let o = 171455/913 - 2752/83. Let f = 155 - o. Is f at least as big as 0?
True
Let l = 13 + -3. Suppose 0 = -5*o - 15*s + 13*s + 45, 0 = -4*o + 2*s + 54. Is o smaller than l?
False
Suppose 2*i + 89 = -v, -35*v - 445 = -30*v - 2*i. Is -91 less than v?
True
Let u be 22/(-14 - (-9 + 9)). Let o(v) = v**3 - 2*v**2 - v. Let n be o(-1). Is n >= u?
False
Let j = 29.99 - 30. Let r = j - 0.29. Are r and 9 equal?
False
Suppose -15 = -5*m - 5*x, -5*x = m - 2 - 1. Suppose 3*r - m = 3*z, 3*r + 5*z = 23 - 4. Is r at least as big as -3?
True
Let t = 62 + -87. Let y = 8 - t. Which is bigger: 34 or y?
34
Let c(a) = -92*a - 503. Let h be c(-8). Is h at least 227?
True
Let f = -2/2353 - 3464/1461213. Do 0 and f have the same value?
False
Let h be 10 - (-2 - -3) - -1*1. Let t be (-2)/(-1)*h/(-20). Let o be 4 - 5 - (-34)/26. Is t less than o?
True
Let h = -268318/11 - -24416. Which is bigger: 24 or h?
24
Suppose 2*g - x + 27 = 0, -4*g - 2*x = -0*g + 58. Let s be 56/(-6)*(-42)/(-28). Is s < g?
False
Let b be 4/(-3)*(-6)/4. Let q be 66/8 + 16/(-64). Suppose q*l - 9 = 5*l. Which is smaller: b or l?
b
Suppose -5*n + n + 12 = 0. Let r be ((4 - 3) + 2)/n. Let c be (r + -2)/(2/4). Are c and -3 non-equal?
True
Suppose -4*w - 48 = -0*w. Suppose 0 = 4*d + y - 53, -2*y + 9 = -1. Let b = d + w. Is b at least as big as -1/7?
True
Let u = -1418 - -2303. Which is smaller: u or 884?
884
Let w be (-1 + 2 - 1)*1. Let h be -2 - (w + -3 + -2). Suppose -4*d = -3*v - 24, h*v = -3*d - 52 + 7. Which is smaller: -13 or v?
-13
Let f = 4587/4 + -1137. Suppose 0 = 4*m + c - 49, -7*c + 2*c + 25 = 0. Is m not equal to f?
True
Let f = -0.816 + 1.016. Is -40 less than f?
True
Let d = 95 - 90. Let t be 24*-5*(d + (-11)/2). Which is bigger: -0.1 or t?
t
Let k = 50.8 + -50.78. Is k equal to -1?
False
Let z(w) = w - 7. Let u be z(8). Let s = 36 + -38. Let h be (0 - s) + 132/(-69). Is h at most u?
True
Let j = 3.4 - -9.6. Let t = j + -12.6. Suppose 2*b - 4 = 2*a, 2*b - a = -3*a. Which is smaller: t or b?
t
Suppose 3*x - 7 = 35. Suppose 0 = 2*n + 2*b + x, -2*n - n = 5*b + 29. Let c = 16 + -16. Is n less than or equal to c?
True
Suppose -21*v + 8*v = 0. Let o = -1 + 3. Let p be (6/(-36))/(o/(-8)). Is p not equal to v?
True
Let q = -7 - -11. Let z(i) = -i**2 - 107*i - 1127. Let f be z(-95). Is f at least as big as q?
True
Let o = 2 - 0. Let d be 3/135*-2 + (-24)/60. Which is greater: d or o?
o
Suppose -10*d + 72 = -8*d. Let z be 1000/d - ((-20)/9 + 2). Is 29 greater than z?
True
Let c = -1.934 + 9.934. Let u be 3/(-14)*12/9. Which is smaller: c or u?
u
Let v(y) be the third derivative of 6*y**2 + 0*y**3 + 0*y + 1/60*y**5 + 0 - 5/24*y**4. Let z be v(6). Are z and 6 nonequal?
False
Let w = -0.19 + 1.29. Let n = w + -1. Let k = -286 - -284. Is k equal to n?
False
Let v be 190/4 - (-123)/82. Is v <= 51?
True
Let u be 2/(-4)*(0 - -1). Let m be 1 