ost w?
False
Suppose 2*x = -2*q + 84, 6*q = 2*x + 2*q - 54. Which is smaller: x or 39?
x
Let l = -4 + 4. Suppose l = -2*f + 3 + 11. Suppose -6*p - 8 = -f*p. Is p not equal to 9?
True
Suppose k + k = 0. Suppose 0 = 2*a + 2*a + 2*u + 6, k = -2*u - 2. Suppose 6 = 4*y - 7*y - 5*d, -3*y - 4*d = 6. Is a <= y?
False
Let z be ((-48)/(-16))/(1/3). Suppose -z*k + 7*k = -10. Is k smaller than 6?
True
Let r = -819 - -819. Is -904 > r?
False
Let j(p) = -2*p**2 - 34*p + 26. Let s be j(-18). Suppose 4*u = 2*u - 24. Is s not equal to u?
True
Let m = 130 - 91. Let r = 45 - m. Let s = 3.2 + -3. Is r > s?
True
Let n(o) = o**3 + 3*o**2 - 3*o - 3. Let w be n(-3). Suppose -w*d + 16 = -2*d. Let v be (-7)/d + 4 + -2. Is v at most as big as 0?
False
Suppose -18 = 6*j + 378. Let b be j/7*(-3 - (-12 - -2)). Is -66 < b?
False
Let r(w) = -9*w - 1. Let a be (2 + 25/(-15))*-3. Let b be r(a). Suppose -3*h + b = 26. Is -5 <= h?
False
Let l = -552 - -551. Which is bigger: -1/1481 or l?
-1/1481
Suppose 7*k = -9*k. Let l be (-1)/(-28)*2*4. Which is bigger: l or k?
l
Let c be 0 - (-56)/234 - 48/216. Is 0 at most as big as c?
True
Let r be 102/(-510) + 1074/(-5). Are r and -213 equal?
False
Let t = -7.3 - -7. Let w = 0.5 + t. Let g = 707 - 702. Which is bigger: g or w?
g
Suppose 3*m = -d + 15, -25 = 2*d + d - 5*m. Is -9/13 <= d?
True
Let g = 412 - 413. Is 4.4 greater than g?
True
Let d be (-129)/(-224) + 7/49. Is d greater than or equal to 2?
False
Let j = -77 + 76.99. Which is smaller: j or 5?
j
Let o be 6/(-9) - 41/(-3). Suppose -2*p - 6 = -5*f, -5*f = 2*p - o - 1. Is 8 equal to p?
False
Let b(h) be the third derivative of h**5/60 - h**4/12 - 2*h**3/3 - 2*h**2. Let c = -54 + 58. Let d be b(c). Which is smaller: d or 3?
3
Let d = 15 - 11. Let g be (-32)/(-30)*3/d. Which is bigger: 0.1 or g?
g
Let p = 9 - 2. Suppose -72 = -p*q + 4*q. Suppose 4*g - q = 4*t - 5*t, 26 = 2*g - 3*t. Is g less than 5?
False
Let d be 2 + ((-35150)/(-480))/(-37). Let c = -3 + 4. Are d and c unequal?
True
Let w(b) = -b**2 + 4*b + 1. Let s be w(3). Let g be -44*((-2)/s - 0). Let m = g - 15. Is 7 at least m?
True
Let w = 0.28 + 5.32. Let j = -3.4 - w. Which is greater: 0 or j?
0
Suppose c + 5*d = 20, 0*d = 2*c - 5*d + 20. Is 1/148 < c?
False
Let x(t) = 2*t**2 + 6*t. Let o be x(-5). Let b = -6 + o. Let m = -27/2 + b. Which is smaller: 6 or m?
m
Suppose 0 = -i - 2*i + 4*t + 8, -5*t = -3*i + 10. Let u = -3419/19 + 180. Is i less than u?
True
Let h(b) = -7 - 2*b - 2*b**2 + 5*b - 6*b + b**2. Let g be h(-6). Which is smaller: g or -24?
g
Let m(r) = 37*r + 295. Let a be m(8). Is 592 < a?
False
Let n = -327 - -58. Let g = n + 4042/15. Is g > 1?
False
Let z(j) = j**2 - 9*j - 121. Let t be z(-7). Is t not equal to -10?
True
Let a be 6/(-4)*2 + (-44329)/(-14841). Is 0 at most as big as a?
False
Let v = -140/23 - -42583/6992. Is -1 <= v?
True
Suppose 5*d + 40 = 10*d. Suppose 6*h = -5*s + 2*h + 9, 0 = -5*s - 3*h + d. Which is bigger: s or -2?
s
Let y be ((-70)/(-50))/(2/(-25)). Let c(g) = -2*g**3 - 4*g**2 - g - 18. Let u be c(0). Which is smaller: u or y?
u
Let h(w) = 2*w - 8. Suppose -6*m = -m - 20. Let o be h(m). Suppose o*p + 3*p = -21. Is -8 less than p?
True
Suppose -5*l + 2*r - 5 = 0, -2*l - 2*r - 2 = -5*r. Which is greater: -16/13 or l?
l
Let b = 6 - 3. Let n = -4713 + 4712.6. Which is smaller: n or b?
n
Let k = -0.049 + 1.049. Is k at least as big as -1.7?
True
Suppose 0 = -3*l - 2*n - 2*n - 23, 0 = -5*l + 5*n - 15. Let k(d) = d**3 + 6*d**2 + 8*d + 4. Let m be k(l). Is -10 greater than or equal to m?
True
Suppose -4*s + 78 - 226 = 0. Let m = s + 39. Is 4 bigger than m?
True
Let s be 4/((-4)/52*-1). Let v be s/(-14) - (-7 + 3). Is -1 greater than or equal to v?
False
Let b be (-3496)/57 - (-2)/(-18)*(-3 - 0). Let d(a) = a**3 + a - 61. Let j be d(0). Is j at most b?
True
Let g = -348242/121 - -2878. Which is smaller: -1 or g?
-1
Suppose 0 = 18*a - 26*a - 720. Which is smaller: -88 or a?
a
Let x = -1.337 + -154.663. Is x equal to -1?
False
Let m = 35.5 - 33. Let k = 11.5 - m. Is k at most as big as 0?
False
Let h be 2/(8/(-4)) + -15. Is h at most -15?
True
Let k(u) = u**2 + 9*u - 4. Let y be k(-10). Let w(q) = -q**2 + 7*q - 5. Let j be w(y). Which is greater: j or 1/23?
j
Suppose -4*c = -4*q + 6*q + 2, 12 = -5*q - 3*c. Let d be q*(-4)/(-4) + -1. Let a = 22 + d. Which is smaller: a or 16?
16
Suppose 3*b - n - n = 0, -5*n = 3*b. Let p = b + 0. Let j = -3197/4 - -799. Are j and p equal?
False
Let j be ((-13)/2)/(1/2). Let l(g) = -g**3 + 10*g**2 - 23*g + 6. Let p be l(3). Which is bigger: j or p?
p
Suppose -11*t + 1213 = 1532. Is t greater than or equal to -29?
True
Suppose -123 = 2*w - a, -w - 5*a + 7 = 52. Let d be (0 - 3)/(4/(-6)*w). Which is greater: 0 or d?
0
Suppose -703 + 63 = -4*c. Let x be ((-36)/5)/((-336)/c). Is x not equal to 2?
True
Let h(y) = 8*y. Let w be h(-1). Let p = w + 8. Let f be -1 - (15 + p)/(-3). Which is smaller: f or 3?
3
Let w = -23 + 28. Suppose -15 = 5*j - w*u, 5*j = 3*u - 8 + 3. Which is smaller: 1 or j?
1
Let g = 411/175 - 17/7. Let h(n) = -n**3 - 12*n**2 - 10*n + 6. Let q be h(-11). Let d(p) = p**2 + 4*p - 5. Let i be d(q). Which is bigger: g or i?
i
Suppose -4*y - 4*v - 528 = 0, -y - 4*v = y + 274. Is y at least as big as -127?
True
Let f be (-2 - 10)*(-5 + 3). Is f less than 30?
True
Let p = -104/225 + 4/225. Which is greater: 0 or p?
0
Suppose 2*n - 2680 = n. Let s be (n/(-181))/5 - -3. Let m = s - 971/15747. Which is smaller: m or -1?
-1
Let p be ((-26)/(-4))/(((-304)/160)/(-19)). Which is smaller: p or 64?
64
Suppose i - 22 = -5*v, 4*i = 3*v - 12 - 15. Which is greater: -32/9 or i?
i
Let y(p) = -18*p**2 - 10*p - 58. Let t be y(-4). Which is bigger: t or -0.1?
-0.1
Let c be -1 + (0 - (-1 - 0)). Let i = c - -65. Let m be (-42)/(-260) + (-13)/i. Which is smaller: 1 or m?
m
Suppose 52*o - 468 = 40*o. Is 39 not equal to o?
False
Let c be 4/(-210)*((-13)/4 + 4). Is c smaller than 0?
True
Let z be (1*-2)/(1/10). Let y be (7/(-2))/(141/846). Is y > z?
False
Let k = -0.1736 - 133.7264. Let t = k - -133. Are -1/2 and t non-equal?
True
Let t be 2*10/(-10)*7. Which is smaller: -40 or t?
-40
Suppose -m = -5*c + 189, -10*c - 2*m = -5*c - 192. Which is smaller: c or 40?
c
Let o(m) = m**3 - 2*m**2 - 8*m. Let s be o(4). Do 18/13 and s have the same value?
False
Let q = 979 - 234959/240. Which is smaller: q or -1?
-1
Let y be -37*8/432 + (-2)/(-3). Is y less than or equal to 0?
True
Suppose -3*d - 376 = 524. Let a = d - -3595/12. Which is smaller: 0 or a?
a
Let s = 6 - -63. Suppose 0 = 9*g - 6*g + s. Is g != -19?
True
Suppose -5*w + 2*y = -205, 3*w + 2*y - 132 = 5*y. Let h = 20 - w. Let m = -12 - h. Which is bigger: m or 8?
8
Let a = -149 - -152. Let i be (6/(-4))/((-27)/(-12)). Is i < a?
True
Let w(o) = 2*o - 2. Let c be w(2). Suppose 4*d = 5*z - 24 + c, -4*z = 4*d + 4. Suppose 6*a - r + 3 = z*a, -2*r + 6 = -2*a. Is 5/6 < a?
False
Suppose 4 = -k - q + 3, -9 = 3*q. Suppose -14 = k*r - 54. Are r and 21 equal?
False
Let g be (-2)/((-4)/10) + 348/(-48). Which is smaller: g or -2.2?
g
Suppose -27 = r - 6. Let u be 4/6*r/(-14). Suppose o + f = 3, 0 = -f + 1 - 2. Are u and o unequal?
True
Let g = -170 - -432. Is g greater than or equal to 263?
False
Let l = -23.5 + -2.53. Let h = -26 - l. Is -2/13 equal to h?
False
Let m = -2.2 + 0.2. Let l = m - -2.24. Let p = l - 11.24. Are 1 and p unequal?
True
Let d = -34.9 - -30.9. Let o = 3 - -9. Does o = d?
False
Let x = 1442/33 - 130/3. Let k(o) = o**2 + 7*o + 7. Let b be k(-6). Is x less than or equal to b?
True
Let k = 1836/335 + 8/67. Let o = 0.04 - -0.06. Is o less than or equal to k?
True
Let r = 293/5 - 59. Let j(v) = -1 + v - v**2 + 0 + 0*v. Let f be j(0). Are r and f equal?
False
Let m = 7 - 8. Let z be 9/3 + 3 + m. Let v = z - 9. Is -4 bigger than v?
False
Let f = 9 - 0. Let m = 9 - f. Let x be ((-3)/30)/((-6)/(-4)). Which is smaller: m or x?
x
Suppose -5*q = -i - 315, 4*q + 5*i = -5 + 257. Let l be 12/(6/(-2)) - (-234)/q. Is -13 > l?
False
Let h = -0.28 + 37.28. Let l = -43.3 + 6.3. Let s = l + h. Which is bigger: s or -1/2?
s
Suppose 2*w - 74 = -0*w + p, 5*w - 192 = -p. Let k be w/(-57)*54/(-1). Let n be (-18)/k - 10/4. Which is greater: n or -6?
n
Let l be (-14)/(-21)*(-6)/4. Let j be -41*l/(-44) - -1. Is 0 > j?
False
Let h = -17/95 - 2/95. Suppose 