t c?
True
Suppose 13 = 3*i - 4*b + 101, -4*b = -5*i - 144. Let x be (16/i)/((-234)/105). Let q = x + -157/156. Is q equal to -2?
False
Let j = 13863/20 + -693. Let r(f) = f**3 - f + 9. Let u be r(0). Suppose 0 = 5*d - 5*w + 15, 0*d + u = 2*d + 3*w. Are d and j non-equal?
True
Let u = -273 + 333.5. Let a = u - 58. Is a less than or equal to 1?
False
Let x be (2 - 0)*(-2)/(-8). Let c = 584 + -591. Is x < c?
False
Let t(n) = 7*n**3 - 20*n**2 - 15*n - 10. Let h(z) = 13*z**3 - 40*z**2 - 31*z - 21. Let m(i) = 6*h(i) - 11*t(i). Let x be m(21). Is -17 at most x?
True
Let m = 68 + -56. Let v = -0.27 - -14.27. Let y = m - v. Which is bigger: y or 1?
1
Suppose -3*s = 4*w + 21, s + w = -2*s - 12. Let j(m) = 4*m - 9. Let z be j(4). Suppose -6*p - z = p. Which is greater: s or p?
p
Let w(s) = -s**2 - 5*s + 2. Let d be w(3). Let q = d + 29. Let v = q - 8. Are -2/23 and v equal?
False
Suppose -6*u + 12 = -0*u. Suppose -x + 2 = -5*x + m, 0 = -5*x - m + u. Let b = -3 - x. Which is smaller: b or -4?
-4
Let j = -67 + 66. Let p be (j + 3)*(-15)/60. Which is greater: -75 or p?
p
Let c(s) = -s + 4. Let a be c(4). Let o(n) = 6*n - 5*n - 4 - 2*n + a*n. Let t be o(-2). Which is bigger: t or -3/10?
-3/10
Let f be (-1236)/(-525) - ((-120)/(-21) - 6). Which is smaller: 2 or f?
2
Let r = -279 - -278.9. Which is greater: r or -1/27?
-1/27
Let n = 8.219 + -0.019. Let f = 14.2 - n. Which is greater: -9 or f?
f
Let s = 0.117 - 26.117. Are s and -1/3 equal?
False
Suppose -3*t + 2*t + 51 = 0. Let v = -71 + t. Let f be 10/(-25) + (-12)/v. Which is greater: f or 0?
f
Let s = 22.7 + -25.3. Which is bigger: 0 or s?
0
Let c = -33 - -34. Suppose -50 = -8*z + 3*z. Suppose z = -4*n + n - 4*v, 0 = 4*n + 2*v. Is c equal to n?
False
Suppose 0 = -j + 5*v + 108, 2*v + 3*v = 5. Which is smaller: j or 4?
4
Let o = 8/37 + -114/185. Are 3.3 and o unequal?
True
Let g be -1*4/(-5 + 4641)*1. Is g at least as big as 1?
False
Let k(v) = v**2 - 17*v - 17. Let t be k(18). Let s be ((-21)/(-6) - t)*-2. Let p(q) = -q**3 + 10*q**2 - 9*q - 5. Let i be p(9). Is i > s?
False
Let n = 1 - 5. Let v be 1/(1 - 1/2). Let z = v - n. Is z less than or equal to 5?
False
Suppose 0 = 3*s + 26 - 38. Suppose -3*f = -4*f. Let v = 3 - f. Is s bigger than v?
True
Suppose 206 + 368 = 2*d. Is 287 bigger than d?
False
Let s = -118/7 - -127/7. Which is smaller: s or 1?
1
Suppose 3*o = -5 + 11. Let c = -3 - o. Is -5 greater than or equal to c?
True
Let v(m) = -m**2 - 60*m - 424. Let u be v(-52). Let b(l) = -l**2 - 5*l + 1. Let s be b(-6). Which is greater: u or s?
s
Suppose 2*q - 6*q - 11 = 5*i, 5*i + 7 = -3*q. Which is smaller: -6 or q?
-6
Suppose -5*p = 41 + 84. Let z = p + 21. Which is smaller: z or -2?
z
Let u = -481 - -58. Are -422 and u non-equal?
True
Suppose 2*t - 2 = 2*y + 4, 2*y = -4*t + 12. Suppose 6*j - 3 - 3 = 0. Let r = j - y. Which is greater: r or 0?
r
Let x be (-50)/144 + (-4)/(-12). Let c = -1167 - -1168. Is c less than or equal to x?
False
Let x(g) = 84*g + 336. Let p be x(-4). Which is bigger: p or 2/169?
2/169
Suppose 23*t - 162 = 14*t. Is t smaller than -14?
False
Let y = -2602414/207 + 12572. Is 0 bigger than y?
True
Let z(q) = q**3 - 16*q**2 - 11*q + 22. Let t be z(17). Is t at most 125?
True
Let y be 16/24*9/(-2). Let s be (y + (-16)/(-12))*-3. Let t(i) = i - 11. Let h be t(s). Is -5 bigger than h?
True
Suppose -4*b + 2*d - 12 = 0, 10 = 2*b - 4*b + 2*d. Let r = -9 - -14. Suppose -2*n + 3*s = -6, -r*n + 2*s - 2 - 5 = 0. Which is greater: b or n?
b
Let z = -3.5 + 0.2. Let q = 4.3 + z. Are -16 and q nonequal?
True
Let c = 187/4 - 47. Let p = 0.0268 + 2.0032. Let h = p + -2. Is h < c?
False
Let q be (-1 + 6 + -2)/1. Suppose 0 = 2*y + 3*c + 13, 5*c = q - 28. Let a = -559/1628 - 3/148. Which is smaller: a or y?
a
Let i(j) = -5*j**3 + 4*j**3 - j + 44*j**2 + 3 - 40*j**2. Let l be i(4). Let x be (-1 - l)/(2/2). Are 2/57 and x equal?
False
Let f be 26*-3*(-4)/24. Let g = -5 + f. Suppose g*s - 6 = 2*s. Is s greater than -5?
True
Let c = -12 + 0. Let g(u) = 3*u**2 - 11*u - 1. Let s be g(6). Let p = 29 - s. Is p at most as big as c?
True
Let k be ((-9)/(-6))/(3/22). Suppose -2*l - k = 3*i, 32 = 5*l - 3*i + 7. Suppose l*n - 4 = t, 10 = -0*n - 5*n. Is -6 at most t?
False
Let b = 11.32 - 11.32. Let a = 2.81 - 0.51. Let l = -15.3 + a. Which is smaller: b or l?
l
Let p = -291877 - -500510. Let c = p + -2292809/11. Let t = c + -196. Is t less than -1?
False
Let o = -19 + 24.85. Let q = 0.15 + o. Let u = -5 + q. Is -0.2 < u?
True
Let c = 238171/2418 + 1/1209. Let y = c + -102. Let g be (30/(-24))/(2/8). Which is greater: g or y?
y
Let k be 26/(-140) - (-1)/(-4). Let c be 9/(-27)*6/56. Let n = c - k. Which is smaller: n or -1?
-1
Let x = -1264 - -1252. Is x equal to 2/9?
False
Let o = -157 + 173. Is 16 greater than or equal to o?
True
Suppose 0 = b - 6 - 4. Is 13 smaller than b?
False
Suppose -4*q = 4*y + 7436, 49*y + 5*q = 46*y - 5575. Is y at most as big as -1859?
True
Let k = 14 + -17. Let b = 5 + k. Suppose -b*h - 13 = 3*j, 13 = 2*j - 5*h - 10. Is -2 > j?
False
Let b(x) = -x**3 - 8*x**2 + 4*x - 3. Let a be b(-9). Let j be (24/a)/(3/42). Which is greater: 38/5 or j?
j
Let h be (-23 - -10) + (-3 - 0). Let a = 93 + -110. Is a at most as big as h?
True
Suppose 2*b + 2*h - 2 = 0, 3*h = -3*b + 4*h - 5. Let u be 397/(-262) + 8/(-16) - -2. Which is smaller: u or b?
b
Suppose -3*h + 920 = -n, 4*h + 123 = 4*n + 1347. Let j be -1 + 3 - 7364/24. Let b = h + j. Are 3 and b unequal?
True
Suppose -3*t - a = 2*a + 3, -2*t - 5 = 5*a. Suppose -4*f - 3 = -u, -2*u + 2*f + 7 = 1. Let y be u/(-4) + 9/6. Is t bigger than y?
False
Let l be (-26)/(-1)*((-350)/20 + 0). Is l at least as big as -1/2?
False
Suppose -20*r = -17*r - 876. Let n = r - 868/3. Which is smaller: 0 or n?
0
Let t = 17434/17 - 1025. Which is smaller: t or 0?
0
Let i = 10 + -67. Is i < -57?
False
Let u be 0 - (-156)/32 - (-5 + 7). Which is smaller: 4 or u?
u
Let l = -3139/55545 + -1/1587. Is l >= -25?
True
Let x = -118 + 178. Let w be 69/x + 12/(-16). Do -85 and w have the same value?
False
Let z = 211 - 3797/18. Is 0 < z?
True
Let h = -2.7 + 14.4. Let v = -12 + h. Let d = 0 - -0.1. Which is smaller: v or d?
v
Let j be 3250/362 - (33 + -24). Is 0 not equal to j?
True
Let x(r) = -r**3 - 4*r + 4. Let k be x(4). Is k bigger than -67?
False
Suppose -2*s + 26 = -0*h + 5*h, -4*h - 5*s = -14. Suppose -8*t + 10*t = h. Which is bigger: 2 or t?
t
Let r = 289 - 407. Let o = 117 + r. Is 2/9 less than or equal to o?
False
Suppose -2 = -b - 3*r - 5, 5*r = 4*b + 12. Let j be 0 + b/((-3)/(-1)). Let y be 35/20 - (3 + (-13)/4). Which is greater: j or y?
y
Let i = -2062 + 1857. Is -1 bigger than i?
True
Let c = -11/16 - -203/272. Let g = 29/85 + c. Is 1 less than or equal to g?
False
Let o = 2/1643 - 1665/18073. Does o = 7/5?
False
Let u be 16/24 + (-51)/(-99). Is u smaller than 1?
False
Let a = 111 + -111. Which is bigger: -1/40 or a?
a
Let q(v) = 2*v - 12. Let h be q(-8). Let a = h + 30. Suppose 2*j - a = -0*j. Does 1/10 = j?
False
Suppose 0 = -c - 2*s - 4, -4*c - 5*s - 6 - 4 = 0. Let u(x) = -14 - 2*x**2 + c*x + 8*x + 3*x**2 + 7*x. Let d be u(-15). Is -14 <= d?
True
Let h be -4 + 6 + (5 - 8). Suppose 5*x - 4 = 4*o, 3*o + 1 = -5*x + 2*o. Let z be 403/416 + x + h. Is 0 != z?
True
Suppose h = -3*i + 11 + 25, 5*i + h - 62 = 0. Suppose 2*v + 2*v - 28 = 0. Suppose -5 = -t + v. Is i >= t?
True
Let k(u) = -u**2 - 6*u + 3. Let y be k(-7). Which is bigger: -25/7 or y?
-25/7
Let u = 0 + -9. Is 1/3 >= u?
True
Let h(s) = 97*s - 25. Let y be h(11). Is y >= 1042?
True
Suppose -2*m = 5*b, 3*b + 3*m = 2*m + 1. Suppose -b*v + 8*v - 6 = 0. Which is smaller: 2.6 or v?
v
Suppose 45 = -5*x + 3*j - 6*j, -4*x - 73 = -5*j. Let q(m) = -m**3 - 7*m**2 - 12*m - 21. Let d be q(-5). Is d <= x?
False
Let s = -25 + 24. Let x be s*12*(-36)/(-24). Is -19 less than x?
True
Let o be 4 + 7/((-28)/8) - 41. Let h = -36 - o. Is 2 at least h?
False
Let r be (-1)/2 + 11/(-22). Let s be r/(-3) - 23/(-3). Let q(m) = m**3 - 9*m**2 + 9*m - 6. Let b be q(s). Is 5/4 less than or equal to b?
True
Let p be (-18)/3 - 1140/90. Is -20 <= p?
True
Suppose -12 = -2*p - 3*c + 5*c, -5*p = c - 42. Suppose -2*u = -2*r - 8, 8 = 4*u + 3*r - p. Suppose -4*x = -q + 1 + 12, 2*x + 2*q = 6. Which is smaller: x or u?
x
Let s be 4/18 + 0 - (-38626)/(-801). 