y bigger than 0?
False
Suppose -4*s - f = -0*f + 385, -5*f = s + 101. Let v be -6*s/(-990) - (-2)/5. Which is smaller: 0.21 or v?
v
Let s be 118/18 + (-2)/(-6). Let z = -43596 - -43602. Which is greater: z or s?
s
Suppose 14*h - 10*h = -100. Let a = -2 + 2. Suppose 10*u - 6*u + 100 = a. Is h less than or equal to u?
True
Suppose -33*a = -4671 + 150. Is a bigger than -1?
True
Let c be 11/(-33) - 67/(-129). Let t be 23 + -18 - (-1 - -9 - 3). Which is bigger: c or t?
c
Suppose 5*o = 3*f + 8, -23*o + 20*o - f = -16. Suppose 2*n = o*s - s + 4, 2*n - 18 = -4*s. Let j be 9/(-2)*8/(-6). Which is greater: j or s?
j
Let h = -13 + 12. Let r = -72 - -69. Let q be (r/4)/((-63)/(-2)). Which is bigger: q or h?
q
Let m be (-1)/(-3) - (-3)/(54/300). Suppose m*n - 15 = 16*n. Let g be (-44)/110 + ((-2)/n - 0). Which is bigger: -1 or g?
g
Let t be ((-56 - 0) + -3)/((-8)/368 - 0). Is 2713 at least as big as t?
False
Suppose 3*d - 4*m = 332, -2*d = m - 22 - 214. Let t = d + -61. Is 55 equal to t?
True
Let v be ((-90)/28 - 0)*-6*8/40. Which is bigger: 3 or v?
v
Let a(l) = 14*l**2 + l - 4. Let x be a(-4). Let t be ((-18)/24)/(39/x). Are -5 and t unequal?
True
Let u(r) = 3*r**2 - 440*r + 10439. Let t be u(27). Is t at most as big as 749?
True
Suppose -4*k + 91 = 4*t - 5*t, -87 = -3*k - 3*t. Let p(n) = n**2 - 26*n - 232. Let l be p(33). Which is smaller: k or l?
l
Let s = -39 - -20. Let x(j) = 53*j + 651. Let p be x(-13). Let m = s - p. Which is bigger: 18 or m?
m
Let s = 93429/23 - 4066. Which is smaller: -3 or s?
s
Let t(a) = -586*a - 1170. Let u be t(-2). Let d be 1 + (0 - (-21)/12). Which is smaller: u or d?
u
Let a be (-50)/(-20)*36/15. Suppose -20*d = -14*d + a. Is d >= 7?
False
Let u = 8495 - 98. Let c be (-2)/(24/u) + 75/100. Which is smaller: c or -700?
-700
Let m = 3.6 - -1.5. Let z = 14.9 - 19.9. Let s = m + z. Is -17 greater than s?
False
Suppose -5*m = -5*i + 15, -2*m - 12 = -7*i + 3*i. Suppose 0 = 4*v - m*v + a - 1, 0 = 2*a - 2. Is -4/11 < v?
True
Let w = 886/85 + -53/5. Suppose -3*k - 11 + 37 = 4*u, 0 = -u - 4*k. Suppose -5 = u*j - 3*j. Which is smaller: w or j?
j
Suppose 4*b + 7*b = 110. Let y = b - 74. Let n = y + 66. Is n < 8/3?
True
Let y be 6/10 + 48/20 - -3. Suppose -y*t - 2512 = -22*t. Is 156 >= t?
False
Let l be 597138/440 + (-3)/(-12) - 1042/5731. Is 1356 greater than or equal to l?
False
Let r(n) = 7*n**2 + 5*n**2 - 15*n**2 + 9*n**2 - 14 + 10*n**2 - n. Let y be r(-6). Is 568 less than y?
False
Suppose -588 = -94*g - 870. Let c = -4/15 - 2/5. Are c and g unequal?
True
Suppose 4*v + 4*c + 8 = 0, 31 + 24 = -5*v + 4*c. Let s(b) = -6 - 13*b + b - 34*b**2 - 3*b + 32*b**2. Let t be s(v). Which is smaller: t or 22/9?
t
Let f(i) = 42*i - 6. Let l be f(1). Suppose -2*w - 52 = l. Let t be (11/w)/((-50)/8). Are t and 0 equal?
False
Let n = 56173.5 + -56174. Let r = -0.12 + 0.08. Which is bigger: n or r?
r
Let o = -10.76 - 452.24. Is o > -3?
False
Let d = -85.89 - -85. Let p = 5492 - 5491.01. Let j = d + p. Is j smaller than -1/29?
False
Suppose 0 = -10*l + 15 - 285. Let m(z) = z**3 - 9*z**2 - 17*z + 45. Let h be m(10). Which is greater: h or l?
h
Suppose 8091 = -217*a + 130*a. Which is bigger: a or -101?
a
Suppose 0 = -3*k - 3*i + 5*i - 29, -k - 5*i - 4 = 0. Let p be (84/k)/((-7)/21). Let d be (-2)/8 + 226/8. Is d smaller than p?
False
Let v be (-8)/(-28) - (-122)/14. Suppose -5*d - 5*q + 50 = 0, -2*d + 4*q = -113 + 93. Do d and v have the same value?
False
Let u be 1 + (-7)/7 + 0. Suppose -o - 12 = -3*d, 3*o - 3*d + 17 - 5 = u. Which is smaller: 2/1219 or o?
o
Let y = -45.9598 + -0.0402. Let n = -50/9 + 73/18. Which is greater: y or n?
n
Let h(n) = 2*n**3 - 3*n**2 + 24. Let s be h(0). Let t(x) = x**3 - 24*x**2 + 4*x - 98. Let w be t(s). Is -19/20 at least as big as w?
True
Let g = -157 + 155.2. Let q = -7 + 5.4. Let f = q - g. Which is smaller: f or -1/2?
-1/2
Let z be 4465/6270 + (-2)/3. Let g(n) = -3*n - n + 3*n + 6 + 0*n. Let l be g(6). Is l at least z?
False
Let b be (-985)/25 + 19/(57/24). Which is smaller: -0.4 or b?
b
Let r be 1/(6/15)*-26. Suppose -5*a = -2*b - 141, -2*b + 5*a = 11*a + 108. Is b greater than r?
True
Suppose 0 = 2*g - 4*s - 74, 2*g = 3*s + 101 - 27. Suppose -40*d + g*d = 93. Which is greater: -30 or d?
-30
Let m = 1092 + -1092.1294. Let z = -0.0706 + m. Which is greater: z or 200?
200
Let g = 6 + -5.6. Let u = -268 + 272. Let k be 380/(-40) - (-2)/u. Which is bigger: k or g?
g
Suppose 4*v - 5*s = -9, -83*s = 4*v - 82*s + 3. Let q be 2 + 4/63*-31. Which is greater: q or v?
q
Let y = -16.955 + -0.045. Let c = -17 - y. Let m = 38 - c. Is m greater than -0.1?
True
Let s = -1266/7 + 2525/14. Is s bigger than 971?
False
Let n = -1.4 - -1.49. Let f be ((-2)/13)/(381/(-1651)). Is n != f?
True
Let w be (12/38)/3 + 38464832/181792. Is w < 213?
True
Let w = 1021715474/43863 - 69880/3. Which is smaller: 0 or w?
w
Let x(c) = -6*c - 12. Let b(m) = -m. Let l(p) = -6*b(p) + 2*x(p). Let s be l(-11). Let f be (-3 - (-16)/6)*s. Is f < -1?
True
Suppose 23 = 2*d - 3*q, -2*q + 28 = 2*d + d. Let r = -2791.1 - -2791. Which is greater: d or r?
d
Suppose 4*u = -136*h + 134*h + 1104, 0 = -4*u - h + 1104. Suppose 0 = 5*t - 0*y + 3*y - 1383, -1 = -y. Is t greater than or equal to u?
True
Let m be 8/14 + 80/(-70) - 3606/(-14). Is m at most 6?
False
Let o = 62768/13 - 4826. Suppose 0 = y + 2, -61*m + 66*m = 13*y + 26. Are m and o equal?
False
Let m be 0/(-1) - (-3)/1. Suppose -m*o + 460 = 1414. Let s be (-27)/36 - o/392. Is s equal to -1?
False
Let i = 1780 - 6606. Is i bigger than -4827?
True
Let o = 4855 + -4856. Which is bigger: 2703 or o?
2703
Suppose 0 = 3*t + 2*a - 6, 0 = 3*t + 2*t - 2*a + 6. Suppose t = 7*u + 21 - 28. Which is bigger: u or -6/67?
u
Suppose 0 = -4*v + k + 96 - 6, v - 33 = -5*k. Let t(d) = 9*d + 135. Let x be t(v). Is 343 > x?
True
Let d be 3*(43 + -2) - 27/3. Which is bigger: d or 146?
146
Let z = -0.06 - -2.06. Let d = -141.647 + -0.353. Let k = -158 - d. Which is smaller: z or k?
k
Let g = -313.82 + -23.48. Let c = -329 - g. Is -0.2 != c?
True
Let r = 41.5 + -48.445. Let q = r + -0.055. Which is smaller: q or -2?
q
Let k be (-2*(-3)/(-7))/(-1). Let s be (-10)/(-8) + 13/(-59 - -7). Let p be 6 - (s + -2 + 5). Which is smaller: p or k?
k
Let y(d) = 2*d + 4. Let r(q) = 6*q**2 - 2*q - 2. Let z be r(-1). Let k(s) = s**2 - 9*s + 15. Let g be k(z). Let v be y(g). Is v less than -1?
True
Let z = -141497/449341 - -177/701. Which is smaller: z or -1?
-1
Suppose 35 - 35 = -127*d. Which is smaller: 2/36075 or d?
d
Suppose 78 = 381*x - 303*x. Which is greater: x or 137/61?
137/61
Let c = 70.265 - -674.705. Let w = -745 + c. Let v be -2*(0 + 2 + -3). Is w bigger than v?
False
Let m = 279/2 + -555/4. Are m and 378 nonequal?
True
Suppose 4 = 4*t - 4. Let q = -17484 - -332219/19. Which is greater: q or t?
t
Let r be 7/(-3*(-5)/(-15)). Let v be (24/21 - 4) + 1/r. Which is smaller: -9 or v?
-9
Let j(q) = -12 - 13 + 2*q + 22 + q**2 + q. Let z be j(-2). Is -37/7 not equal to z?
True
Let x be (-2 - -1)/(1/58). Let h = 5 + 70. Suppose 3*t = -t - 12, -y - h = 5*t. Are x and y non-equal?
True
Let w(c) = -5*c - 10. Let u be w(-4). Let x be ((-12)/u)/(8/(-10)). Let r be 6 - (-1 - 0 - -5). Which is greater: r or x?
r
Suppose 20*k + 0*k - 4820 = 0. Let a = k - 483/2. Let j = -0.03 - -0.11. Do j and a have the same value?
False
Let b = -928/13 + 260781/3653. Which is smaller: b or -1?
-1
Let g(o) = 2*o**3 + 7*o**2 - 15*o - 43. Let y be g(-4). Which is greater: y or 39/29?
39/29
Let x be 3/(-7) - (-25380)/224. Let d = 113 - x. Suppose 3*f = 3*k, 0 = 2*k - 4*f + f. Which is smaller: d or k?
k
Suppose 217 - 215 = n. Suppose -2*c - 8 = 2*k + 3*k, 4*c = n*k - 16. Which is smaller: k or -6?
-6
Let n(j) = 2*j - 19. Suppose 0 = -2*p - m - 25, -2*m = m - 15. Let d be p/(-30) + 21/2. Let f be n(d). Is f bigger than 24/13?
True
Let g be -1*((-1)/16*-10 + (-510)/(-1360)). Let u = -3.57 - -0.17. Is g greater than or equal to u?
True
Let i be (4/(-10) - 0)/(3 + (-1326)/510). Which is smaller: -78/127 or i?
i
Suppose 0 = -6*q + 2*q - 2*o - 12, -3*o = -4*q - 22. Let x(r) = -r - 6. Let t be x(q). Let p be t/(-3)*(-42)/322. Is 1 less than or equal to p?
False
Suppose 5*z = 3*z - 5*g + 1021, 0 = g - 5. Let q = -336 + z. Suppose -4*l = 5*x + q, x - l = 3*x + 63. Does x = -28?
False
