Let d be (-13500)/13340 + 1/(-2)*-2. Is -1 less than or equal to d?
True
Let o be (420/(-56))/((1/(-28))/(-1)). Let t(i) = 2*i - 240. Let j be t(15). Is o greater than j?
False
Let p = -0.809 - -11.809. Which is bigger: -0.1 or p?
p
Let o = -28/73 - 298/365. Let b be (-9)/(-3) - (5 + -2). Suppose b = i - 2*i. Is i less than or equal to o?
False
Let o = -26 - 40. Let n = o - -63. Suppose 0 = -3*i + 45 - 54. Is i > n?
False
Let i(n) = 5*n**3 + 6*n**2 + 19*n - 80. Let s be i(4). Is 417 at most s?
False
Let u(z) = z**2 - 2. Let m = 21 + -18. Let d be u(m). Let q be -2 - d/(21/24). Are -9 and q equal?
False
Let i = 16103/4 + -4026. Are 1/3426 and i nonequal?
True
Let l = -31 + 31. Suppose l = -0*q - 5*q, 3*q = 3*u - 3. Are u and -15/37 equal?
False
Let u(c) = -19*c**2 - 2*c - 5. Let s(k) = -12*k**2 - k - 3. Let f(d) = -8*s(d) + 5*u(d). Let t be f(0). Is t greater than -1?
False
Suppose -8*x + 2*c - 22 = -3*x, -3*x + c = 14. Let f be ((-10)/(-5) - -6)/(x + 4). Let t = 9.3 - 1.3. Is f not equal to t?
True
Let g(t) = 4*t - 86. Let i be g(17). Let y be 2*2/i + (-3190)/(-180). Which is smaller: -2/7 or y?
-2/7
Let b(q) = -12*q + 88. Let h be b(7). Suppose 0 = -a - 5*y - 151, -18 = h*a + 3*y + 603. Which is smaller: a or -157?
-157
Suppose -12*y + 21*y - 18 = 0. Suppose 5*f - 2*f - y*k = 25, f = 2*k + 15. Suppose u - 56 - 90 = f*a, -144 = 5*a + u. Is -29 <= a?
True
Let m = 9.082 + -0.422. Let d = m - -0.34. Which is smaller: 4 or d?
4
Let v be (-14)/(-132)*9/(-1). Suppose -3*b + 10 = 5*i, 5*b = 2*i + 17 - 21. Which is smaller: b or v?
v
Let i be (-16 - -15) + (-3158)/(-15) + 1/(-5). Which is smaller: i or 0?
0
Let z be 20/(-10) + -6 + (-35332)/(-4414). Is -1 at least as big as z?
False
Let u be (3165/(-15))/((-1)/(-2)). Are -422 and u unequal?
False
Suppose 2*z - 66 = -5*r, -2*z + z + 4*r + 59 = 0. Let u = -475 - -519. Which is smaller: u or z?
z
Let s(o) = 7*o + 7. Let w(m) = 2*m**2 - 20*m - 18. Let q be 13 + 3/((-12)/8 - 0). Let c be w(q). Let v be s(c). Is 35 at least v?
True
Let g(j) = j**2 + 3*j - 1. Let s(i) = -i**3 - 16*i**2 - 14*i + 13. Suppose -3*n - 77 = -32. Let z be s(n). Let l be g(z). Is 3 less than l?
False
Let d(b) = -b**3 + 20*b**2 + 2*b - 37. Suppose -2*y - 5*a = -46 + 6, -3*a = -y + 20. Let g be d(y). Is -6 smaller than g?
True
Let k = -111 + -148. Let v = k - -259.5. Let w = 22 + -20. Is v < w?
True
Let x be -4*((-5)/(-2))/(-1). Let n(s) be the second derivative of s**5/20 - s**4 + 7*s**3/3 + s**2 - 698*s. Let p be n(x). Which is smaller: p or -57?
p
Let b = 6 - 11. Let g = -71.1589 + 0.0589. Let i = g - -71.1. Is i <= b?
False
Let s = -8216 + 8211. Which is greater: 39 or s?
39
Let k(w) = w**3 + 2*w**2 - 1. Let z be k(1). Let l = -2391/7 - -341. Which is bigger: l or z?
z
Suppose 41*s + 1680 = -127*s. Let c be (0 - 11) + (-3)/(-12). Which is smaller: c or s?
c
Let m be (-2)/(8/(-18)*(-12)/(-8)). Let c be (m - 3)/((-42)/7). Which is smaller: -7/29 or c?
-7/29
Let v be (6/(-18))/((-5)/255). Let s = v - 29. Do s and 5 have different values?
True
Let d = 3449 + -3450. Which is greater: 277 or d?
277
Suppose -q - 29 = 7. Let v be 189/q*(-8)/3. Which is bigger: v or 17?
17
Let w be (-24)/20*55*4/(-6). Suppose 0 = 3*k - 2*k + 45. Let a = w + k. Which is bigger: 2/99 or a?
2/99
Suppose 4*l - 307 = -5*k, 2*k - 3*l = -4*l + 121. Let r be k/99 - 20/(-90). Suppose 24*t + 3*d + 3 = 21*t, 15 = -5*d. Is t greater than or equal to r?
True
Suppose 23304 + 33230 = 171*q + 2840. Which is smaller: 319 or q?
q
Let l = 9.9827 + -11.232. Is 1 greater than or equal to l?
True
Suppose -2*m + 25 = 3*r, -3*m + 8 = 2*r - 2. Suppose 21 = -r*y + 8*y. Let w = -1 + y. Are -10 and w equal?
False
Let j be ((-1)/((-315)/582))/2. Let g be 2 - -58*(-5)/150. Let l = g - j. Which is smaller: l or -2?
-2
Let w = -6796 + 3116. Are w and -1/4 non-equal?
True
Let k = -1.3 + 1.165. Let c = -0.865 + k. Is c less than 35?
True
Let s = 944.9 + -1089. Let h = -144 - s. Which is greater: h or -41?
h
Let f be (11 - -1355)*(-33)/22. Which is smaller: f or -2048?
f
Suppose 7*y - 90 - 904 = 0. Suppose 141*p - 141 = 140*p. Is p <= y?
True
Let h = -2764 + 2773. Let d = 1 + 30. Suppose -139 = -h*x - d. Which is smaller: 11 or x?
11
Suppose -x + 2*j - 15 = 0, -3*x + 22 = 4*j + 117. Let d be (-4)/8 - x/14. Suppose n - 2*b = -56 + 63, 8 = -n - 3*b. Is d at most n?
False
Let a = -18 + 4. Let c = a - -37. Let r = 33/820 + 59/164. Which is smaller: r or c?
r
Let f(b) = b**3 - 8*b**2 - b + 8. Let z = 86 - 78. Let q be f(z). Which is smaller: q or 2/49?
q
Suppose 0 = -8*t + 2*t + 30. Let l be (-3)/t + 664/40. Let h be 1*l/(-4) + 1. Is h smaller than -5?
False
Let y(o) = o**2 - o + 3. Let r be y(5). Let x = -189/71 + 709/213. Is r <= x?
False
Suppose 5*b = -817*l + 822*l - 5, -l - b = 1. Is l equal to -1/2587?
False
Let q be (-24356)/30 - (-8)/(-180)*3. Let y = q - -820. Let j be (-2)/5 + (-37)/(-5). Which is greater: y or j?
y
Suppose 0 = -84*p + 73012 + 15137 + 20127. Is p > 1290?
False
Let x be (-2)/(-2 + 1 + -3). Suppose 0 = 3*u - 2*u + 4*o - 23, -16 = 3*u - 5*o. Which is smaller: x or u?
x
Suppose 3*w = 7*w - z + 242, -5*w = -4*z + 297. Let y = w - -70. Do y and 7 have different values?
True
Let l = 47 + 76. Let x = 123 - l. Which is smaller: 4 or x?
x
Suppose 41 = -2*s + 145. Suppose s = r - 96. Is r at most -0.1?
False
Let k = -13266 + 12861.23. Let g = 405 + k. Are g and 3/5 equal?
False
Let m = 424 - 528.1. Let r = 33 + m. Let x = -71 - r. Is -0.06 not equal to x?
True
Suppose 268 = 3*c - 2*w + 220, -2*w = 2*c - 22. Is 2/161 greater than or equal to c?
False
Let i be ((-780)/975)/(28/(-4890)). Which is greater: i or 139?
i
Suppose -12*g = -342 + 114. Let x(q) = -5*q - 3. Let p be x(-2). Suppose -p*n + 2*n + 105 = 0. Is g >= n?
False
Let c = 2380/1359 - -4/151. Let l(h) = h**3 + 13*h**2 - 13*h + 16. Suppose 0 = -3*t + 2*g - 48, 0 = 2*t + g + 37 - 12. Let x be l(t). Which is smaller: x or c?
c
Let j(q) = q**2 + 9*q - 63. Let c be 2*(-2 - 7) - -3. Let a be j(c). Suppose i + 2*i = -4*g + 80, 0 = -3*i + 4*g + 88. Is a >= i?
False
Suppose 0 = -4*p - 4*a - a + 35255, -2*p = -5*a - 17635. Which is bigger: p or 8816?
8816
Let u = 53 + -11609/219. Let b be (22 - 20)*1/(-4)*2. Which is greater: u or b?
u
Suppose 14*w = 15*w + 2*c + 14845, 0 = -5*w - c - 74279. Is -14857 bigger than w?
False
Suppose -5*o + 7*o - 18 = 0. Let c be o/2*(8/6)/2. Let t(i) = -i**3 + 4*i**2 + 4. Let g be t(c). Do 13 and g have different values?
False
Let v = -15054/3097 + 278/57. Are -1 and v non-equal?
True
Let a = -1509/4 + 375. Let x(h) = h + 26. Let z(u) = -3*u - 77. Let f(g) = 11*x(g) + 4*z(g). Let w be f(-20). Which is greater: a or w?
w
Let c be 4/(-1136)*(20 + -28). Let h(g) = -g - 9. Let p be h(-9). Suppose -z = -2*z - 2*r - 6, p = z - 5*r - 15. Is c at least z?
True
Suppose 4*k = -4, -2*h + 129 = k + 130. Which is smaller: 21/586 or h?
h
Let u = 807 + -822. Let h be (-3)/180*(12 + u). Is -2 != h?
True
Suppose 4*y = 5*q, -22*q + y = -23*q. Let h be -47*(-9 - -25) + q + -2. Which is bigger: h or -755?
h
Let i = -172 - -130. Let p be i/9 - (6 - (6 - -4)). Let v = 2.9 + -3. Are v and p equal?
False
Suppose 237*v - 22 - 14 = 201. Which is smaller: v or 25/14?
v
Let i be 0 - -3 - (-99)/(-60)*4. Let h(z) = -z**3 - 6*z**2 - 5*z - 4. Suppose -5*c - 26 = -a, -4*c - c - 28 = -3*a. Let f be h(c). Is i greater than f?
True
Let z = -54 + 54. Suppose -6 = v - z. Let u be (-9)/v*(-2)/3. Which is smaller: u or -2/45?
u
Let a = 2415 - 2430. Let w(h) = h**2 - 10*h + 6. Let k be w(7). Are a and k equal?
True
Let t(w) = 4*w**3 - 107*w**2 - 25*w + 4. Let m be t(27). Does 514/9 = m?
False
Let o be (4/(-810))/(1/(-3)). Suppose 0 = 2*f + 4*l - 12, -3*l - l = -3*f - 2. Suppose f*q + c = -2, 3*c = 15*q - 11*q - 16. Which is bigger: o or q?
q
Suppose -2*z + 12 = -2*o, -2*o - 111 = 3*z - 94. Which is greater: -23/237 or z?
-23/237
Let d = 18487 + -20433. Is -1948 equal to d?
False
Suppose 23 - 7 = 4*b, 4*b - 16 = -3*w. Let f be (0 - (-3)/(-9))/((-21)/63). Let h be 1/2*(f/1 + 5). Which is bigger: w or h?
h
Let j be 593*4/(-48) + (11 - 2). Is -40 != j?
True
Let b be 10*(2 + (-50)/20) - (-2 + 0). Suppose 3*o - o - 6 = 0, -102 = -4*h + 2*o. Is h greater than b?
True
Let z = -29659135/2292496 - 2/143281. Which is bigger: z or -13?
z
Let m be 