 = j - 4. Let r be m(g). Let c be (-2)/8 + (-831)/300 + r. Does c = 0?
False
Suppose -84*r - 406 = -85*r. Let d = 359 - r. Are -47 and d equal?
True
Suppose -4*n = -3 - 13, -5*l - 2*n = 72. Let j(m) = -m**3 + 6*m**2 - 1. Let z be j(5). Suppose -z*s = -20*s + 64. Is l >= s?
True
Suppose -2 = 3*k + 1. Let w be 69021/(-42) - 1/(-1 + k). Let t = w + 1639. Which is smaller: t or -5?
-5
Let i be ((-26820)/(-13350) + -2)/(1/35). Is 0 at most i?
True
Let k = 0.69 - -395.31. Let r = k - 397. Is 1/126 less than r?
False
Let a be 1085 + (-9)/((-117)/182). Is 1099 > a?
False
Suppose -18 + 90 = -72*y. Is 1/1940 smaller than y?
False
Let d = 248537 + -6711421/27. Which is smaller: -33 or d?
d
Let c be (1/(-3))/(2520/336). Is 0.77 at most as big as c?
False
Suppose 16*u = 123 - 59. Let x be 30/(-636)*u/(-5). Let a = -1216/7 + 174. Is x less than or equal to a?
True
Let u(y) = -42*y - 413. Let s be u(-10). Suppose h - w + 6*w = 74, -2*h + 127 = 3*w. Suppose -3*b + 46 = 2*i - s, 2*i + b - h = 0. Is 32 not equal to i?
True
Let x = -43942 - -42140386/959. Which is smaller: x or 1?
x
Let b be ((-5)/4)/(16/(-128)). Suppose -b*v = -9*v - 113. Let t = v - 129. Which is smaller: t or -19?
-19
Suppose 4057 = -14435*s + 14434*s - 9435. Which is greater: -13493 or s?
s
Suppose -21 + 16 = -5*i. Let j = 1176 + -391610/333. Is i less than j?
False
Let s(q) = 7*q + 41. Let d = -183 + 177. Let n be s(d). Which is greater: n or -32?
n
Let m = 72 + -67. Suppose 2*u + 10 = 3*j - 2*u, -m*j - 26 = 4*u. Let y be j + 4 + 3 + -4. Is 2/151 at most y?
True
Let h = -4627 + 4629.42. Do -17 and h have different values?
True
Suppose 0 = -5*c + 3*c - 5*b + 132, 264 = 4*c - 5*b. Let m be 15366/234 - (6/(-9))/2. Is c <= m?
True
Let m = 94 - -18. Let n be (-2)/(-24)*m/(-1974)*3. Is n less than 1?
True
Let z = 362.485 - 364. Let f = z - -0.215. Which is smaller: -2/11 or f?
f
Let g(y) = -22 - 1 - 4 - 9 - 8*y. Let x be g(-9). Suppose -12*f + 0*f = x. Which is smaller: -2/45 or f?
f
Let p(i) = 5*i**2 + 117*i + 420. Let w be p(-19). Is w >= -1029?
True
Let o be (-112)/(-3)*(-9)/(-6). Let w(p) = 0 + 2*p**2 + o*p - p**2 - 53*p - 1. Let a be w(0). Which is greater: -7/13 or a?
-7/13
Suppose 7*f - 2310 = -8*f. Let j = -153 + f. Which is smaller: j or 2/721?
2/721
Let u = -3191 - -3176. Let k = 11.03 - 0.03. Let p = u - k. Does 2/7 = p?
False
Let h = 39.652 - 41. Let k = 0.348 + h. Is k less than or equal to -37?
False
Suppose 2*c + 7*f = 10*f, -2*c + 0*f - 4*f = 0. Let g = -96691/293 + 330. Are c and g non-equal?
True
Let g(a) = 2*a**3 - 207*a**2 + 308*a - 203. Let j be g(102). Is j less than or equal to -3/67?
False
Let u = -25197 + 25196. Is 788/21 < u?
False
Suppose 5*a - 33 + 6 = b, 4*a = -b + 18. Let i be 8/b - 141/(-35). Which is smaller: 1 or i?
i
Suppose 0 = 2*m - 7*m - 4*g + 318, -2*m + 2*g = -120. Let b be (-4 + m)*3/3. Is b less than 56?
False
Suppose -3*y + 1 = 3*z - 14, -25 = -4*y - 5*z. Which is smaller: y or 1/9047?
y
Let q = 324 + -325. Let f be 21/2*84 + 1. Let b = f + -14123/16. Which is greater: q or b?
b
Let j be (-1474)/(-77)*-7*-1. Which is smaller: j or 137?
j
Let m = -40540 - -74756. Let w be (2/3)/(m/5703 - 6). Let p = 17128/9 + w. Which is bigger: p or 2?
p
Let k be -11 + 8 - 71/(-25). Let l = -375883/42 - -8949. Let m = -2/21 - l. Is m at least k?
True
Let v(n) = 3*n**2 + 18. Let a be v(-7). Let t be (-2)/11 + 470/a. Is 4 greater than or equal to t?
True
Let j = -138 - -197. Let p = j + -72. Let f = p + 22.7. Which is bigger: -2/5 or f?
f
Let n = -9085 + 10829321/1192. Which is smaller: n or 0?
0
Suppose -3*m - 135*p + 54 = -140*p, -4*p - 72 = -4*m. Are m and 32 equal?
False
Let g(t) = -408*t - 2868. Let b be g(-7). Suppose 4*j - 3*j = 1. Does j = b?
False
Suppose 2*a - 5*k - 25 = 0, -10 = -3*a - 0*k + 2*k. Is a at least as big as 2/28357?
False
Suppose -5*h + 25 = 0, -3*y - 5*h + 35 = 2*y. Suppose 37*w = 32*w - 45. Let m be (w*(-2)/225)/(4/65). Is y at least as big as m?
True
Suppose 10*i = -73 - 97. Let t be (i/34)/(((-1)/(-32))/1). Let h be ((-27)/2)/(12/t). Which is greater: 20 or h?
20
Let h(d) = 2*d**3 - 133*d**2 - 204*d - 2. Let w be h(68). Is w bigger than -175?
True
Let a = -2.019 + -0.479. Let r = 0.439 + a. Let b = 0.059 + r. Is b at most as big as 2/23?
True
Let l = 29 + -137. Let x = l - -109.9. Which is bigger: -1/2 or x?
x
Let u = -2749 - -3625932/1319. Which is bigger: 0 or u?
u
Let f(i) = -7*i + 257. Let u be f(37). Is u less than -138/41?
False
Let q = 1423 + -103883/73. Suppose -114*t = 112*t - 231*t. Which is smaller: t or q?
q
Let p = 1810 - 3044. Do p and 0.1 have different values?
True
Let z = -805 - -1945. Let k = -5746/5 + z. Let s = -18062 - -18052. Is k > s?
True
Suppose 21 = 30*q - 69. Let z be (15/25)/(q/(-15)). Is z at least -2/3?
False
Let i be (-2244)/408*(0 + 670/4). Which is greater: i or -922?
i
Let x = -307 + 335. Suppose -19*i = -33*i + x. Is i < -10?
False
Suppose -11*b - b = -60. Suppose -3 = 3*d + 3, d - 23 = -b*h. Let m = -18 + h. Which is smaller: 0.2 or m?
m
Let n = 31 - 69. Let t be (-3)/5*255/102*68/3. Which is bigger: t or n?
t
Let b be 1494/4602 + 120/(-390). Which is smaller: -1.31 or b?
-1.31
Let w = 69 + -57. Let s(b) = -b + 16. Let j be s(w). Suppose 1 + 4 = j*v + 5*m, 4*m = -3*v + 4. Is -4/17 less than v?
True
Let r = 619.115 - 619. Let v = r + -0.115. Are 0.25 and v equal?
False
Suppose 3*v = -7*v - 6*v. Let z be 0 + v - (23 + 23). Is -49 != z?
True
Let g be ((-36)/(-21))/6 + 81614/(-273). Which is smaller: g or -298?
g
Suppose -56*g - 255 - 305 = 0. Let j be 2/2*(g - -36). Is j equal to 28?
False
Suppose 0*r = -6*r - 36. Suppose 3*x - 3*o = 150, 5*x + 3*o + 2*o = 210. Let d be x/(-6)*r/2. Which is bigger: 24 or d?
24
Let j(h) = -3*h**2 + 29*h - 12. Let k be j(7). Suppose -2*w - d - k = -24, d + 38 = -4*w. Which is bigger: -2/3 or w?
-2/3
Let j = -39516 - -116532685/2949. Let x = -19657/8847 - j. Suppose 15*z = -56 + 26. Which is smaller: x or z?
x
Let s(m) = -m**3 + 18*m**2 - 17*m - 9. Suppose -2*r + t - 7 = -36, -2*r + 59 = 5*t. Let w be s(r). Let h = -13 - -6. Which is bigger: w or h?
h
Let u(d) = -d**3 + 9*d**2 - 4*d - 14. Let g be u(9). Let a be ((-5)/(g/(-15)))/(122/48). Let t = a - -1339/305. Is t equal to 5?
False
Suppose -128*n = 171*n - 18*n + 65*n. Which is smaller: 22/175 or n?
n
Suppose 2*a = 20*l - 92, -5*l - 4*a + a = -37. Which is greater: 4 or l?
l
Let l = 1013/36893 + -1/467. Let d(p) = -16*p + 132. Let o be d(8). Suppose u + 5*s = 6, -4*s + 10 = o*u + 2. Is u bigger than l?
True
Let s = -5/25679 + -58214268/128395. Is -454 greater than s?
False
Let h be 12/15 - 16842/(-35). Let z = h - 226. Is z < 255?
False
Let k = -21686 - -21709. Are k and -2.34 equal?
False
Let c = -4760 - -4959.1. Let b = c - 199. Do 22 and b have the same value?
False
Let i = -143 - -189. Suppose a = -4*h + 34, -4*a - h + 3*h + i = 0. Is a smaller than -1?
False
Suppose 61*l = -l - 24*l + 40764. Is l at most as big as 2?
False
Let p = 7806 - 7806. Which is smaller: p or 1/10724?
p
Let a = -23/40 + 3/8. Let v = -102.02 - -103. Let m = 1.02 + v. Which is smaller: m or a?
a
Let z(v) be the first derivative of -v**3/3 + 9*v**2/2 - 11*v - 14. Let d be z(5). Suppose 10*m = 7*m - d. Which is bigger: m or -12?
m
Let a = -704.9 - -747. Let l = 15.13 - a. Let f = l - -27. Is f greater than or equal to 0.2?
False
Let s(d) = -d**3 + 19*d + 20. Let x be s(-5). Suppose x = -2*f + 58. Which is smaller: 7 or f?
f
Let l be 12/60 - (569/(-55) + 1). Let s = -7298 + 7307. Is l greater than or equal to s?
True
Suppose g - 1145 = 132. Suppose 4417 = 13*w - g. Let q be w/1320 + -1*(-6)/(-33). Is q smaller than -1?
False
Let x = -55 - 42.9. Let a = x - -98. Let t = 10.5 + -2.5. Which is smaller: t or a?
a
Let j = -161/15 + 55057/5130. Which is greater: 0 or j?
0
Let r(q) = -2*q**3 + 163*q**2 + 92*q + 4. Let h be r(82). Is 2471/3 > h?
False
Let a(x) = 1 + 4*x - 5*x + 0*x + 62*x**2. Let v be a(1). Let d = v - 42. Is d greater than or equal to 20?
True
Suppose 32*s = -80561 + 360113. Is 8735 >= s?
False
Let y = -1555 + 1566. Let s = 0.07 - 0.27. Which is greater: s or y?
y
Let c be (57/(-12) + 6/(-24))/(43/38141). Which is smaller: -1 or c?
c
Let j be (-1)/(1/(-36)*-4). Let x(y) = -y**3 - 8*y**2 + 9*y + 2. Let k be x(j). Let i be (k/6)/(1/18). Is i at 