e
Let n be (-10)/4*6/(-15). Let g be 268/66 + n + -5. Is 0 equal to g?
False
Let s = 1354 - 759. Which is bigger: 597 or s?
597
Let q = 1.9 - 2. Let b = -2518 - -2471. Which is smaller: q or b?
b
Let h(r) = 7*r - 219. Let i be h(31). Let t be 27/(-36) + 21/12 + i. Let x = -1/9 - -1/6. Is t at most as big as x?
True
Let x = 5944/79807 + 15/6139. Let y be -1 + (1/(-1))/(-1). Which is greater: x or y?
x
Let w(q) = q**2 + 6*q + 6. Let l be w(-4). Let j be 3/(-1) + (-14)/(-2). Let h = -9 + j. Is l equal to h?
False
Suppose -10*i + 7*i - 168 = 0. Let w = -47 - i. Let g = 22 + -15. Is w less than or equal to g?
False
Let r(u) = -u**3 - 5*u**2 + 6*u + 3. Let v be r(-6). Let d(c) = -3*c - 121. Let y be d(-5). Is v at most y?
False
Let z be 848/(-106)*2/(-24). Which is smaller: -1413 or z?
-1413
Let d = 1284.7 - 1366.83. Let b = d + 82. Let y(v) = -v**2 + 7*v - 6. Let z be y(6). Which is greater: z or b?
z
Let j be (-29 - -30)/(9/3). Is j equal to 2803?
False
Suppose -8*s = 13772 - 13900. Is s bigger than 122?
False
Let u = -25676/165 + -3/55. Let h = 156 + u. Are -0.7 and h equal?
False
Let i be (-20625)/(-77847) + (-20)/70. Is i >= -1?
True
Let u = -17370.3 + 17370. Is u at most as big as 875?
True
Let d = -32 - -32.17. Let i = -4.1173 - -2.1173. Is d bigger than i?
True
Let a(x) = x**3 - 7*x**2 + 2*x - 9. Let y be a(7). Let d = -105.22 + 5.62. Let z = d + 99. Which is bigger: z or y?
y
Let s be (15/(-2))/(72/(-48)). Suppose -5*g + 620 = 39*n - 34*n, -3*n + s*g = -404. Is n bigger than 128?
False
Let h = -3.34 - 1.66. Is h at least 1/111?
False
Let q = 603235/50504919 - 46/3827. Which is bigger: q or 0.1?
0.1
Let l be (-2)/6 + (-70)/(-180)*6. Suppose l*j + 64 = 38. Is j greater than -11?
False
Let y = -101/544 + 6939/16864. Let d = -3 + 2. Does d = y?
False
Let y = -1987401367/115 + 17281396. Let h = y - -355. Are 0 and h non-equal?
True
Let t(j) = 2*j**3 - 4*j**2 + j + 2. Let o be t(2). Suppose 2*u = -0*u + o, 5*b = -2*u - 6. Let l(w) = -45*w - 138. Let s be l(-3). Which is greater: s or b?
b
Let o = -103 - -105. Suppose o*h - 3*a = -h - 192, 2*h = 5*a - 140. Let i be h/41 + 12/8. Which is smaller: 1 or i?
i
Suppose -82*b + 278*b = 892 + 1460. Which is smaller: 28 or b?
b
Suppose -2*u - 3 = m, 4*u + 13*m = 17*m. Which is bigger: 1116 or u?
1116
Suppose 5744 = 8*p + 2912. Which is smaller: p or 356?
p
Let g(s) = -s**3 + 20*s**2 - 60*s + 14. Let a be g(14). Let c = -325 + a. Which is greater: 26 or c?
26
Let d = 6038071/470 + -12847. Which is bigger: -1 or d?
d
Let o(q) = -q**3 + 24*q**2 - 140*q + 75. Let b be o(15). Which is bigger: b or -112/149?
b
Let y(t) = t - 15. Let z be y(7). Let v(r) = 5*r + 6. Let k be v(z). Let p(g) = g**2 - 12*g - 14. Let c be p(10). Are k and c nonequal?
False
Let r be (3 + -1 - 5)*(-2372)/60. Let f = -13599/115 + r. Which is smaller: -1 or f?
-1
Suppose -i - 63 + 77 = 0. Suppose -2*o = 5*r - 17, -7*r = -o - 2*r - i. Which is smaller: -2/143 or o?
-2/143
Let i be 480/(-9) - -3 - (-7 + (-221)/(-39)). Suppose -4*p + 9 - 1 = 0. Suppose 248 = -5*g - 0*d + 2*d, p*g = 3*d - 108. Which is smaller: i or g?
i
Suppose 0 = -2*f + 5*g + 273 - 293, 5*f - 2*g = -8. Let n be 9/(-15) - (-206)/60. Let h = -115/42 + n. Which is bigger: h or f?
h
Let n be 2 - (8 - (((-28)/2)/(-7) - -3)). Are 2/7287 and n non-equal?
True
Let r = 0.0214 + -0.3214. Is r bigger than 2856?
False
Let h = -3.27 + -0.43. Let c = -3.7 - h. Suppose 328 = 5*n + 3*n. Which is bigger: c or n?
n
Let l be (0 - (-5)/(15/6))/(-1). Let s be (1*l)/(12/(-48)). Let n be 2*s + (-11 - -14). Which is greater: n or 22?
22
Let l be (-8)/(-20) - 8/(-30). Let h = 57.3 + -20.3. Let g = -17 + h. Is l at least g?
False
Let b = -1844.9 + 1947. Let r = -13.88 - -115.88. Let g = b - r. Which is greater: 1/3 or g?
1/3
Let c = 126737/5196 - -11/433. Which is bigger: 25 or c?
25
Suppose 0*r = 4*r - r. Suppose 15 = -3*f + 5*g, -6*f + 9 = -f + 3*g. Suppose r = -f*z + 7*z - 91. Is 11 at most as big as z?
True
Suppose 0 = -3*t + 4*n - 32, 4*t - 4*n + 26 = -2*n. Suppose -2*i = 2*i - 48. Let w be (i/18)/(t/258). Which is smaller: -42 or w?
w
Suppose -20*b = -1426 + 1366. Which is greater: b or 189/47?
189/47
Let c = 42 + -13. Suppose -3*u - 43 = c. Which is smaller: u or -25?
-25
Let z = 2.3 + 8. Let p = 10.1 - z. Which is greater: p or -16/7?
p
Let y be (-96)/(-288) - ((-3166)/6 + 0). Do y and 531 have the same value?
False
Suppose -5*g = 5*b - 185, -192 = -5*g - 96*b + 98*b. Suppose 0 = -g*j + 45*j - 336. Is 48 smaller than j?
False
Let z(i) = i**2 - 11*i + 36. Suppose -7*k + 15 = -34. Let b be z(k). Is b equal to 6?
False
Let t = 149 + -146. Suppose -q - 4*q - 45 = t*u, 3*u - 5*q = -15. Is u > -7?
False
Let v = -10487 + 10177. Which is smaller: -311 or v?
-311
Suppose 31*c - 28*c = -1701. Let v be (c/(-108))/(1/(-56)). Is v smaller than -295?
False
Let v(i) be the second derivative of -i**5/20 + 7*i**4/4 - 10*i**3/3 - 3*i**2/2 + 32*i. Let y be v(20). Let n be y*-1*((-40)/(-12) - 3). Does -4/83 = n?
False
Let f = 7342 + -7342.3. Which is greater: f or -1091/4?
f
Suppose 0 = -13*k - 12*k + 325. Suppose 0 = k*z - 0*z - 0*z. Is -3/140 < z?
True
Let v be -2 - 4 - 16/((-144)/45). Let w = -2549/7 - -507223/1393. Is w <= v?
False
Suppose -2*t + 458 + 260 = 0. Which is greater: 360 or t?
360
Let u(i) = -i**2 + 21*i - 6. Let j be u(16). Let a be -1 + 844/(-14) + j/259. Which is smaller: a or -62?
-62
Let h = -7/47 + 1465/10152. Let q(n) = n + 27. Let o be q(-11). Suppose 9 = 7*z + o. Is h greater than z?
True
Let q = -1315 + 1314.383. Is 3 equal to q?
False
Suppose -53*r + 14155 = -124*r + 52*r. Which is smaller: -730 or r?
r
Let d = 9004.4 + -9010. Which is greater: -60 or d?
d
Let d(v) = 10*v**3 + 60*v**2 + v + 4. Suppose 24 = -2*f + 12. Let z be d(f). Is -9/13 less than z?
False
Suppose 0 = -4*a - 292 + 308, -a - 16 = 2*k. Is 35 bigger than k?
True
Let b = 94 + -90. Suppose 18 + 42 = -b*s. Is -14 at most s?
False
Let j = 4025 - 4168. Is j at least as big as -9?
False
Let x = -1.1 + 1. Let m = -2.7783 + 2.7483. Which is smaller: x or m?
x
Let y be (-30)/9*-10*(-5)/200. Let c = 0 - 3. Let i be c*-2*(-2)/6. Is y smaller than i?
False
Let k = -2/36464509 - -22462142926/98125993719. Let s = 2/299 - k. Is s at least 47?
False
Let m be 22 - -1462 - -12 - -1*1. Which is greater: m or 1495?
m
Suppose -3*f = 4*m + 417, 3*m + 314 = -7*f + 5*f. Let j(v) = 15*v**3 + 24*v**2 + 42*v - 3. Let r be j(-2). Is m bigger than r?
True
Let x = -17934 - -11786. Is x <= -6149?
False
Let a be 0 + 4/11 + 1374988/3058. Is a <= 447?
False
Suppose -3*m = 106 + 125. Suppose -302 = 4*j - 5*z, -339*z = j - 343*z + 70. Is j greater than or equal to m?
False
Let f = 225.3 + -225.9. Which is smaller: -2/47 or f?
f
Let o = 80 + 9. Let a be ((-2703)/(-3604))/(3/348). Is a <= o?
True
Let f = -46.5 - 224.5. Let n = f + 271.095. Which is greater: 2/3 or n?
2/3
Let y be (-742)/5488 + 4/32. Which is smaller: 0.23 or y?
y
Let f(k) = k**3 + 2*k**2 + k + 3. Let t be f(0). Let o(y) = y. Let s be o(3). Suppose -t*m = 15 + s. Which is smaller: m or -7?
-7
Let i(z) = -2 + 2 - 226*z + 224*z. Let k be i(7). Is -14 smaller than k?
False
Suppose 0 = 5*p + x - 528, 2*p - 2*x - 13 = 203. Suppose -3*v = -2*m - 1151, v + p = -m + 483. Let t = v - 15620/41. Which is greater: t or 1?
1
Let y = 4783/40 + -1197/10. Let w be 3/(-6) + 6/(-20). Which is smaller: y or w?
w
Suppose -4*v = 2*f + 1154, 2*v - 118 = -126. Is -1135/2 < f?
False
Let i be 2*(4/(-28)*1)/((-12)/2562). Which is greater: -5 or i?
i
Let m be (3 - 33/9)/337. Let q be (-8)/7 - 8/(-7). Which is greater: q or m?
q
Let f(v) = 16 + 272*v**2 + 6*v - 271*v**2 + 2*v. Let t be f(-5). Which is smaller: t or 55.3?
t
Suppose 2*c + 4*y = -3658, -2*y - 2*y = -3*c - 5417. Are 4 and c non-equal?
True
Let r(h) = 7*h + 3*h**2 + 2*h - 2*h - 4 + 12. Let a be r(-3). Is a bigger than 7?
True
Let f be (-117161)/36355 + 1 - 77/(-35). Which is greater: f or 1?
1
Let g(l) = 71*l - 2298. Let j be g(-61). Are j and -6628 equal?
False
Let c be 3 - (1 - -6) - -8. Suppose -2 = -3*s + 2*s, c*z = -5*s + 22. Suppose 2*b + 4*y + 2 = -4, 2*y = z*b - 7. Are -1/13 and b non-equal?
True
Suppose -o = 2*n - 5004, -4*n - 10*o - 5513 + 15569 = 0. Is n less than or equal to 2499?
True
Let d(j) = -j**2 + 90*j - 1242. Let t be d(17). Which