 Let c = -52 + w. Is -0.23 <= c?
False
Suppose 3*m - 433 = c, -2*c = -3*m + c + 435. Is m equal to 143?
False
Let x = 2446023/1409 - 1736. Is -1 equal to x?
False
Suppose x = -24*y + 25*y - 808, -x = -3*y + 2424. Is y greater than or equal to 808?
True
Suppose 3*x = 4*u + 47, -3*x - 6 = 4*u + 11. Let z be 28/(-8) - 12/u. Let d be -5*2/(-5) - z. Which is smaller: 6 or d?
d
Let i be (0/(-12))/(0 + -1). Let j be (-2)/3 - (-100)/105. Is j > i?
True
Let f = 1559/12 - 395/3. Is 2/21 greater than or equal to f?
True
Let x = 11.94 - 13.94. Let u be 2 + -2 - 62/2. Let g = -19 - u. Is x less than or equal to g?
True
Suppose 3*y = -m + 2*m - 33, y = 5*m - 235. Suppose 5*r + 5*q - 255 = -0*r, 15 = 5*q. Do r and m have the same value?
True
Suppose -3*g + 2 = -4. Suppose -g - 63 = 5*w. Let s be -14 - w - 6/(-4). Is s greater than 11?
False
Let w = -1/1141 + -325/1141. Which is smaller: w or 4.3?
w
Let p be (7 + 5)*((-25)/(-4))/5. Suppose 6*f + p + 15 = 0. Are f and 1 non-equal?
True
Suppose -60 = 4*o - 7*o. Let b = 194 - 174. Is o != b?
False
Let p be (-1)/(-3)*105/35. Is -2 > p?
False
Suppose -i + 36 = 3*j + 6, -4*j - 104 = -4*i. Let g be (-141)/i + (-4)/(-18). Let u be -12 - ((-2976)/416 + 2/13). Are u and g non-equal?
False
Suppose 3*j + 5*q - 4 = -3, -q = -2. Let m be (-8)/14*j/6. Let i(w) = -6*w. Let z be i(-1). Do m and z have different values?
True
Suppose 6*i = i. Suppose 3*q - w - 16 = i, 5 = 3*q + 2*w + 1. Suppose -3*k + k + 9 = -u, -q*u = 2*k + 16. Is 5 smaller than k?
False
Let i(k) = k**2 - 4*k + 1. Suppose -3*v = 80 - 92. Let t be i(v). Let w = -14485/33 - -439. Is t greater than or equal to w?
True
Let d = 1045487/1104 - 947. Let p = -691/49680 + d. Let x = p + 296/1755. Is 1 at most x?
False
Let b be (-73)/(-2) + (-7)/14. Suppose 5*h - 20 = 4*j + 56, 0 = 2*h - 3*j - b. Let l be (-18)/h*1/6. Is l < -4?
False
Suppose 0 = -44*v + 38*v + 702. Is 120 greater than v?
True
Let f = 15146248/875 + -17310. Which is smaller: 0 or f?
f
Let k be -1 - (-2 - (-1)/1). Suppose k = -8*h + 3*h - 20. Let m be 1/(((-42)/h)/3). Which is smaller: m or 0.11?
0.11
Let i = -12 + 20. Let j be 1/i + (-238)/(-336). Is j greater than or equal to 2?
False
Let j = 4731 - 4753. Let y = -10 - 13. Is j bigger than y?
True
Let b be (-3 - -5)*70/125. Which is bigger: 1 or b?
b
Let z(g) = -g**3 + 16*g**2 - 18*g - 33. Let o be z(15). Do o and -82 have the same value?
False
Let a be (1 + -2)/(2/(-48)). Let v be 4/(-12) + 14/a. Suppose 0 = 5*m + 5*y - 5, 4*y - 2 - 9 = 3*m. Which is smaller: m or v?
m
Let o(a) be the second derivative of a**5/20 - a**4/6 - a**3/6 + 3*a**2/2 + a. Let b be o(3). Let q be ((-3)/1)/((-8)/(-12) + -1). Is b > q?
False
Let b(g) = g**3 - 4*g**2 + 3*g - 1. Let q be b(3). Let n be (-42 - 8567/(-260)) + (-18)/(-2). Does q = n?
False
Let a be 4 + (4 - 4086/33). Let p = 116 + a. Is -4 < p?
True
Let y = -57 - -32. Suppose 37*d + 216 = 28*d. Which is greater: y or d?
d
Let x(i) = 3*i - 26. Let c be 11/(-11) - (-10 - -1). Let k be x(c). Do -2 and k have the same value?
True
Let r = -152242/37 - -4114. Let w = 589/851 + r. Is -2 at least as big as w?
False
Suppose -13*m + 10*m + 513 = 0. Let j be 164/m - 2/9. Is j smaller than 2?
True
Suppose 5*o - 3*a = 700, 0 = -3*o + 7*o - 4*a - 552. Is o bigger than 143?
False
Let c(b) = -b**2 - 9*b - 7. Let i = 3 - 11. Let k be c(i). Let l be 12/(-28)*3 + k. Which is bigger: -9 or l?
l
Let l = 0 - 0.4. Let r = -11 + -25. Let s = 36 + r. Which is bigger: s or l?
s
Let c = 26162/1509 - 2/503. Suppose -w + 26 = 3*z - 5*z, 2*w - 5*z = 56. Let u = c - w. Which is smaller: u or 0?
u
Let k be 4/2 - (2 - 3). Let i be (-7 + 6)/(k/(-3)). Let f = 109/3 + -36. Which is bigger: f or i?
i
Let j be 0*((-2)/10)/(10/(-25)). Do j and -1/333 have the same value?
False
Let q = 1.4 - 7.4. Let o = -16 - q. Let y = 33 - 32. Is o at least y?
False
Suppose -454 = 8*o - 366. Let t(q) be the third derivative of 13*q**4/24 + q**3/6 + 3*q**2. Let f be t(-1). Which is smaller: f or o?
f
Let d = 11 + -8. Suppose -5*w - 4 = -d*w. Let a = 24 + -21. Which is bigger: a or w?
a
Let q(p) = p**3 - 46*p**2 - 351*p - 7. Let u be q(-6). Which is bigger: 229 or u?
229
Suppose k - 69 = -11. Let c = -76 + k. Which is smaller: -16 or c?
c
Let n(l) = l - 11. Let i(q) = -q**2 - 5*q + 3. Let f be i(-4). Let j be n(f). Let d be j/(9/4*2). Are 1 and d equal?
False
Let w = 198 - 202. Which is smaller: w or 21?
w
Let c be -3 - (-52)/12*3. Let j(g) = -g**2 + 11*g + 38. Let f be j(c). Is f at least 47?
True
Let l = -0.33 + -12.67. Let u = l - -5. Let j = -0.1 + 1.1. Is u at least j?
False
Let n be 3*-2*(-1 + 5/2). Let m = n + 3. Which is smaller: m or -16/3?
m
Let t = -2369 - -2273.9. Let p = 95 + t. Is -8 at least as big as p?
False
Let s = -0.02 - 1.98. Let n = 28 - 27. Suppose -3*t - 12 = -2*p, -5*t - n = p + 19. Do p and s have the same value?
False
Let c be 24/(-154)*(-441)/(-126). Let l be (-4)/(-10) - (-1 + 2). Is l at least as big as c?
False
Let d(t) = t**2 + 23*t + 13. Let c be d(-23). Do 13 and c have the same value?
True
Let x be (-54)/816 - (-3)/24. Let j be 0*-2*(-1)/(-2)*-1. Which is smaller: j or x?
j
Suppose 5*u + 3*b - 1 = 14, 38 = 3*u - 4*b. Let n be (1/2)/(3/(-150)). Let g be 4/(-10) - 135/n. Which is bigger: g or u?
u
Suppose 40 - 43 = -m. Let k be (m - 5) + (1 - 2). Which is smaller: -18/7 or k?
k
Let a be 2/(-3)*(-9)/(-51). Let m(y) = y**3 + 6*y**2 + 5*y + 6. Let j be m(-5). Suppose 7*i - 1 = j. Which is greater: i or a?
i
Suppose 0 = -5*y - 0 + 10. Suppose 14 = y*r + 2*q, -3*r - 3*q = -5*r + 19. Let v be (-20)/(-8)*r/35. Is v <= 0?
False
Let r be ((-6)/9)/((-1)/(-6)). Let p(o) = 9*o + 17. Let q be p(-6). Let g = q + 34. Which is greater: r or g?
g
Let i = 0 - 0.1. Let n = -98.896 + -0.104. Let c = n + 94. Which is smaller: c or i?
c
Let g be 0 - -1*4*1. Let m = 2494/9 + -272. Which is smaller: g or m?
g
Suppose 65 = 5*g - 15. Let j = -7 + g. Let d be (22/j + -2)/(-2). Is d at least 1?
False
Let x = 15 + -11. Let u(k) = -k. Let m be u(x). Let v be -3 - m*4/8. Is v greater than 6/19?
False
Let u = -0.0075 - -66.1075. Let o = u - 66. Is -20 > o?
False
Let a be 1 - 0 - (-18 + 13). Suppose r - 2*o + a = 0, 2*o = -0*o + 6. Let y be 34/(-18) - (-9 + 6). Is y >= r?
True
Let u be (664/584 - 2) + 1. Is u less than 1?
True
Let b = 253 - 253.1. Is -25.6 greater than or equal to b?
False
Let r = 2.9 - 3. Let w = 39.8 - -6.2. Let o = -36 + w. Which is smaller: o or r?
r
Let z be (3 - 2)/(-1) - -21. Suppose 7 - 63 = -3*t + 4*w, -z = -5*w. Suppose 5*v = -41 - t. Is v at least as big as -12?
False
Let o = -0.052 + 29.052. Let i = 29.2 - o. Which is greater: i or -10?
i
Let f = 0.354 - -49.346. Let g = f + -31. Let q = g - 19. Is q at least -0.3?
True
Let c = 68 - 65. Suppose 13 = 4*g - c*l, 0 = -4*g - 2*l + 6*l + 12. Is 17/5 bigger than g?
False
Let m = 299 - 285. Is m at least as big as 2?
True
Let h(u) = 6*u - 31. Let m be h(5). Let g be (m/(8/12))/((-2)/12). Which is bigger: 11 or g?
11
Let v be 0/((-272)/16 - -19). Let u be (-10)/4*(-2)/4. Which is smaller: u or v?
v
Let w = -6 - -13. Let h = 0.5 - 7.6. Let o = w + h. Are -1 and o equal?
False
Suppose -5 - 10 = -5*s. Let v be 3/(-9)*-3*s. Let q be 182/(-45) - (-12)/v. Is q bigger than 0?
False
Let l(w) = w**3 + w**2 + w. Let o be l(1). Suppose t - 2*p + 1 - o = 0, 3*t = 3*p + 9. Is 6 greater than t?
True
Let v(t) = t**2 - 2*t - 17. Let b be v(5). Which is smaller: b or -12?
-12
Let o = 170846/5 - 34014. Which is smaller: 0 or o?
0
Let v(i) = i - 4. Let k be v(6). Suppose 0 = 2*n - 70 + 32. Suppose -3 = n*j - 22*j. Which is smaller: j or k?
j
Let r = -761 - -761. Is r less than -1/76?
False
Let s be (-4 - 0) + -8 - -12. Let k be 2/231*(-2664)/(-130). Let r = 2/455 + k. Is s equal to r?
False
Suppose -u + 1 = -s, -2*u + 3*s + 3 = -4. Suppose -2*t = t + 3*h - 24, 8 = 3*t - h. Suppose -19 = 3*w - t. Is u greater than w?
True
Suppose 40 = 5*g - x, -3*x + 8 = 2*g - 5*x. Is g < 8?
False
Let g = 136 + -163. Which is bigger: -23 or g?
-23
Suppose 23*l + 12 = 17*l. Is 30 less than l?
False
Let m = 40 - 35. Suppose m*p - 101 = -6. Which is smaller: 55/3 or p?
55/3
Let l be (-18)/58*21/(-126). Let m = 35/116 - l. Are m and -63 nonequal?
True
Let f be (-14252)/(-16) + 16/64. Are 892 and f nonequal?
True
Let o be ((-9)/10 - -1)/