87305 - 479955. Which is smaller: -5021 or p?
-5021
Let t = 0.0045 + -4.0045. Let k = -4/3 + 0. Which is smaller: t or k?
t
Let f = -158 - -159. Suppose -36*u + 31*u + 269 = -2*w, -208 = -4*u - 2*w. Which is bigger: u or f?
u
Let z = -44 - -5. Let s = -36 - z. Suppose s*y - 294 = -3*y. Is y > 49?
False
Let q = 338.2 - 339.2. Let g = -4298 + 4348.46. Let o = g + 0.54. Is o greater than q?
True
Suppose -62*b + 65*b - 6300 = 3*z, -5*z - b - 10512 = 0. Is -2100 < z?
False
Let w be 2/(-3) + (-8)/6. Let i = -209.749 + -0.251. Let p = 209 + i. Which is greater: w or p?
p
Let n be (1424172/(-1472))/((-2)/(-4)*-3). Let h = -645 + n. Let m(t) = -t**3 + 2*t**2 - 2*t + 2. Let b be m(1). Which is greater: b or h?
b
Let a = 44 + -9. Let o = 45531 + -45534. Is o >= a?
False
Let w be (14 - 15)/(12/(-63))*4/(-12). Suppose 0*z - 3 = -z. Suppose 2*q = -3 - z. Is q != w?
True
Let g = 20/6457 - -4648900/45199. Is g greater than 103?
False
Suppose 0 = 3*v + 2*m + 982, -v - 2*m = 55 + 275. Let d = 327 + v. Is d equal to 23/11?
False
Suppose 4 = -6*c + 2*c. Let h = 1 - c. Let d be 0 + h + 24/(-18). Is d equal to 0?
False
Let i = -4183.273 + 4189. Let c = 0.273 + i. Is c < 4?
False
Let g be 1638/5733 + (1 - 10147/63). Is g greater than -159?
False
Let k(m) = m**3 - 27*m**2 + 25*m + 41. Let i be k(26). Let l be (-352)/(-110) - (-2 - (-33)/i). Which is smaller: l or 0.8?
0.8
Let v(o) = o**3 - 4*o**2 - 8*o + 30. Let z be v(4). Let i(g) = -6*g - 13. Let a be i(z). Is a greater than -7/5?
True
Let c = -25694 - -25695. Are c and -3/544 unequal?
True
Let b = -39.81 + 37.81. Is b at most -12711?
False
Let k be ((-435)/10)/(-4*6/336). Is 596 >= k?
False
Let r(j) be the first derivative of j**4/4 - 4*j**3/3 - 2*j**2 - 7*j + 93. Let f be r(6). Do f and 40 have different values?
True
Suppose -5*h + 850 = -4*h - 3*r, 5*h = 2*r + 4237. Suppose -5*x + h = 2*m - 117, 4*m = x - 206. Do x and 193 have different values?
True
Let y = 113.852 + 0.148. Let b = -114 + y. Do -1/3 and b have different values?
True
Suppose 3*i - 20 = -167. Is i at least -64?
True
Let y = -423 + 423. Which is bigger: y or 0.1209?
0.1209
Let x be (23924/900 - 7) + 4/(-18). Is x at most 20?
True
Suppose 3*f - 14 = -2*v + 3, f + 2*v - 11 = 0. Let w = 1944 + -9818/5. Let k = w - -437/20. Is f greater than k?
True
Let i = 43105.4 - 43106.3. Let c = -11 - -30. Is i > c?
False
Let p = -52.2 - -52.1. Is 1052 equal to p?
False
Let f be (-1)/(-2)*4/(-6). Let t = -69402 - -69401.4. Which is smaller: f or t?
t
Let c be 84512/12*3/13. Let m = 19645/13 - c. Let n = 114 + m. Is 1 less than or equal to n?
False
Suppose 0 = 3*u + m + 4*m + 31, -4*m - 15 = u. Let v = -33 + 15. Let x = v + u. Which is smaller: -26 or x?
-26
Let h(q) = 3*q**3 - 14*q**2 - 9*q - 26. Let r(a) = 8*a**3 - 41*a**2 - 28*a - 77. Let c(v) = 11*h(v) - 4*r(v). Let z be c(-9). Is -2 smaller than z?
False
Suppose 2*l = 4*l + 34. Let w = l + 11. Let c be -1 - w/8 - 0. Which is bigger: 0.2 or c?
0.2
Let k be 193/51917*13/3. Are k and 0 equal?
False
Let o be (-28)/(-35) + (-1566)/(-5). Let j(k) = 109*k**3 - k**2 + 2*k - 1. Let w be j(1). Suppose 9*q - o = w. Is 48 <= q?
False
Let d = 237.2 - 237.1. Is 267.7 smaller than d?
False
Let n(h) = -h**2 + 6*h + 7. Let g(l) = 2*l**2 - 11*l - 13. Let x(m) = 6*g(m) + 11*n(m). Let w be x(0). Is -2/557 less than or equal to w?
False
Suppose -21*m = -19*m - 4*g + 598, 5*m = 2*g - 1503. Let k be 3 - m/(-308)*4. Are 0.1 and k equal?
False
Let c be (-2)/(-14972)*((2 - -15) + -13). Which is smaller: 0 or c?
0
Let w = -2 - -42. Let t = -38 + w. Suppose -4*v - 18 = -t*r, 2*r + v - 3 = -0*r. Do r and 5 have the same value?
False
Suppose 27*g + 5*v = 31*g - 278, 183 = 3*g + 9*v. Is g greater than or equal to -46?
True
Let w = -23 - -39. Let c = -364 + -271. Let t = 637 + c. Do w and t have the same value?
False
Let m be (-24)/(-39)*3/4. Suppose -4*a - 1 + 5 = 0. Suppose 0 = 5*x - 4 - a. Are x and m equal?
False
Let b be (4 + 10)/((-1368)/(-5976)). Which is smaller: 60 or b?
60
Suppose 58 = 2*u + 3*a, 2*a + 42 = 2*u + a. Let p be u/(-6) - (-18)/(-108). Let s = 1.86 + 0.14. Is s <= p?
False
Let b be (-2)/(-5 - (2 - 9)). Do 4/2427 and b have the same value?
False
Let y = -1706937/652 + 2618. Let h be (-4)/(-6) - (2/4)/((-84)/(-280)). Is y > h?
True
Let s be 1*11 + 23730/(-1260). Is s != -9?
True
Suppose 0*n + n - 48 = 5*r, 2*r - n + 18 = 0. Let m be (-7 - ((-34)/6 - 1))/(6/(-12)). Which is greater: m or r?
m
Let r(u) = -10*u + 5. Let z be r(11). Let m be 18/4*(-1701)/z. Let d = 73 - m. Is d greater than or equal to -1/3?
True
Let c(g) = -2*g**2 - 29*g - 1. Let z be c(-10). Which is greater: z or 88?
z
Let i be ((-1436274)/4)/9*12/474. Let n = 1010 + i. Is 1 != n?
True
Let k = 33.08 + 10.37. Let g = -44 + k. Let b = 1.05 + g. Which is smaller: -0.4 or b?
-0.4
Suppose d = -4*w - 19, 0 = 14*w - 13*w - 2*d + 16. Let o be w/9 + -2*(-15)/18. Which is smaller: o or 2/641?
2/641
Suppose 3*w - 66*w - 89 = 26*w. Let v be 4/(8/(-6))*33. Let h be 3/v - (-2 - -2). Which is bigger: w or h?
h
Let v be 8/(-12)*6 + -2*130. Let x = -29039/110 - v. Which is bigger: 0 or x?
x
Let s = 23 - 22.921. Let j = -0.199 + s. Are -5 and j non-equal?
True
Suppose 3*x = 12, 9*x - 4*x - 211 = -i. Let d = -40 - i. Let n be (-459)/d - -1 - (-2)/7. Is n greater than 2?
True
Suppose -4*l + 37 = 37. Do l and -2/46749 have the same value?
False
Let q be (-2502122)/(-447903) + 4/54. Is 6 equal to q?
False
Let q(u) = u**3 - 21*u**2 - 48*u + 75. Let a be q(23). Let b be a/(-87)*36/46. Which is smaller: 1 or b?
b
Let i(g) = 4 - 2*g - 1 + g**3 - 5. Let r be i(-1). Let n be (r/3)/((-20)/(-210)). Is n >= -4?
True
Let b be (566415/(-1025))/((-2)/(-10)). Is -2765 < b?
True
Suppose -z = -5*a - 36, -3*z + 6*a - a = -58. Let q = z - 13. Let f be (-8 + q)*2/(-18). Is 2 less than or equal to f?
False
Suppose 1875 = -8*r + 1875. Which is smaller: r or -2/4411?
-2/4411
Suppose -5 = -3*j + 1. Suppose 5*m - 3*y - 369 = 0, 2*y - 132 = -2*m - j*y. Is 72 at most as big as m?
True
Let g(w) = -w**3 - 21*w**2 + 87*w + 145. Let q be g(-24). Is 0.4 less than or equal to q?
False
Let i = 86 - 171. Let r = i - -90. Suppose -j - j = -2, 0 = r*z + 3*j - 28. Which is smaller: z or 4?
4
Let i(t) = -t**2 - 115*t - 856. Let s be i(-107). Which is bigger: 12/2081 or s?
12/2081
Let p = 75.49 + -75.59. Which is smaller: -2238 or p?
-2238
Suppose 3*q - 202 = 4*b, -5*b - 108*q - 268 = -104*q. Let z = 3 - -1. Let f = z - 3. Which is smaller: b or f?
b
Suppose 0 = 3*z - 9 + 3. Let m be -7 - (-18 - -4) - (3 - -1). Suppose 2*s - z*v = 0, s - m*v = -4*s + 2. Which is greater: s or -15?
s
Let o be 4/20 + 4/(-20). Let w be o/((5 - 4) + -2). Let c be (-2)/132*-10*4/30. Which is smaller: c or w?
w
Suppose -22*d + 21 = -d. Let c be (-4)/((-300)/(-35)) + d/(-3). Suppose -5*l - 5 - 5 = 0. Which is smaller: c or l?
l
Let j = 9 - 10. Let n(u) = u**2 - u. Let v be n(j). Suppose 0 = -5*d - 5*x + 25, -v*d = 4*x - x - 15. Which is smaller: d or -1/7?
-1/7
Let t(m) = -m**3 + 26*m**2 - m - 12. Let a(j) = j**3 + j**2 + 1. Let x(d) = -2*a(d) - t(d). Let u be x(-28). Is u at most -20?
False
Let x(f) = 15*f + 219. Let r be x(-13). Let p = 4 - 1. Suppose 2*n + c + 10 = p*n, 2*n = 3*c + r. Is 6 bigger than n?
False
Suppose 485 = -3*n + 153 - 1351. Are n and -565 nonequal?
True
Let h = -41 - -98. Let s = -59 + h. Let t be (-309)/(-735) - s/(-5). Which is smaller: 0 or t?
0
Suppose s = 4*o + 21, 3*s - 4*o - 112 = -17. Which is smaller: s or 49?
s
Let z be 112/(-504) - 1676/(-8028). Which is greater: -1 or z?
z
Suppose 0 = 12*u - 2432 - 5260. Which is smaller: 644 or u?
u
Suppose 5*v - 96 = 2*x - 34, 0 = -3*v + 5*x + 41. Let u be ((-97)/(-12))/((-3)/v). Let y = -1054 - -1023. Which is smaller: y or u?
u
Suppose 29*q + 14 + 15 = 0. Let t be q - (0/4)/2 - 1. Which is smaller: t or 70?
t
Let a = 9042 - 8776. Does 242 = a?
False
Let u = -19.848 - -20.75. Is 0.1 at least as big as u?
False
Let b(m) = -m**3 - 8*m**2 - 15*m - 11. Let k be b(-7). Let v = k + -177. Let f = -129 - v. Which is smaller: 10/3 or f?
f
Let r = 4953801/4250 + -5828/5. Which is smaller: r or -1?
-1
Let g(a) = -2*a**3 + a**2 + a - 6. Let y be g(-2). Let z(v) = -v**2 + 63. Let f be z(y). Which is greater: f or -83?
f
Let o be 528/(-126) + (-7)/(-3). Suppose 0 = -3*w + 7 - 