+ -2020. Do 6405 and v have the same value?
True
Suppose 20*f - 12 - 8 = 0. Let x be 104/130*f/(-2). Which is smaller: x or 33?
x
Let l be (-21)/(735/10) + (-32)/(-14). Suppose 0 = -4*s - 2*c + 322, -5*c + 3*c - 170 = -l*s. Which is bigger: s or 84?
84
Let s = -35.81 + 36. Let w = 0.019 - 0.009. Let q = s + w. Is q bigger than -11?
True
Let h = 0.25 + -0.4. Let r = -22602 + 22608. Which is bigger: r or h?
r
Suppose 7 + 338 = 5*x. Let t be x/(-27) + (-4)/(-18). Suppose 10*w + 3*c = -12, 3*w - 69*c + 65*c = -33. Which is bigger: t or w?
t
Suppose -6*u = -45 + 3. Let t(l) = 2*l**3 - 9*l**2 - 2*l - 11. Let d be t(u). Suppose 4*g + d = -20. Which is smaller: -59 or g?
g
Suppose -5*p + 422 = 4*g - 3*p, 3*g - 299 = 2*p. Are -0.37 and g equal?
False
Let z(u) = 3*u**2 - 61*u - 381. Let x be z(-5). Which is greater: 2/2593 or x?
2/2593
Suppose -80 = 2*p - 480. Let d = -317152 - -317351. Is d equal to p?
False
Let g be -3 - 5/((-25)/60). Let y(c) = -c**3 + 9*c**2 + 2*c - 9. Let t be y(g). Let k be 32/(-12) + 15/t. Are 2/27 and k non-equal?
True
Suppose -10*d + 2618 = 24*d. Let p(c) = 19*c - 3. Let v(g) = -39*g + 6. Let r(u) = 7*p(u) + 3*v(u). Let b be r(5). Is b less than d?
False
Suppose -24 + 8 = -8*q. Suppose 2*h + 4*x - 2 = 0, -3*h - q = 5*x - 5. Let z be (1/6)/(14/9). Is z at least as big as h?
False
Let o = 379.343 - 124.419. Let g = 255 - o. Which is smaller: g or 0?
0
Let q = 47759/36 + -5455/4. Which is smaller: q or -37?
q
Let x be 4/(-22) - 8/(-44) - (-4)/(-32602). Do x and -1 have the same value?
False
Let f be (16/(96/105)*(-4)/5)/2. Let c = -5/169 - 7903/1352. Which is greater: c or f?
c
Let w(c) = c**2 - 8*c - 8. Let m be (-44)/5 + 92/115. Let x(g) = -g**2 - 7*g + 18. Let o be x(m). Let u be w(o). Which is greater: 5 or u?
u
Let d = -3423 + 1249397/365. Let v = 0.7016 - 0.9016. Is v not equal to d?
True
Let f be ((-54)/(-72))/((-6)/(-16)). Suppose f*p - 3*m = -3*p - 604, 4*m = -8. Do -122 and p have the same value?
True
Let u(o) = 13*o - 126. Let r = 143 - 134. Let s be u(r). Let z(l) = 2*l + 2. Let d be z(-5). Does d = s?
False
Suppose 2*w + 17 = 39. Let p(c) = c**2 - 10*c - 3. Let k be p(w). Suppose -k*f + 13 = -3*i - 6*f, 0 = -2*f + 10. Is i greater than 8/17?
False
Let m be 3/6 + 39/(-126). Let b(d) = -37*d - 10. Let l be b(-3). Let y = -101 + l. Does m = y?
False
Let x(n) = -72*n + 7. Let a be x(4). Let s = a - -307. Which is greater: s or 28?
28
Let i = 224 - 319. Let c be ((-8)/2 - -3) + (-8)/(-6). Which is bigger: c or i?
c
Suppose 403*b = 405*b - 20. Let d(u) = -u**2 + 20*u - 68. Let j be d(b). Is 33 at most j?
False
Let y be ((-40)/(-2))/(0 + 1). Let a(b) = -2*b**2 - 41*b - 66. Let n be a(-18). Let s be y/n*(-4)/6. Which is smaller: 0 or s?
s
Suppose 3*m = 5*x + 6276, -3*m + 7 - 1 = 0. Let q be -1*9 - 11297/x. Is q bigger than -1?
True
Let k = -3533 - -3512. Are k and -41 non-equal?
True
Let u be (-2)/(-3) - (-10)/(-24). Let g = -15.181 - -30.181. Is g bigger than u?
True
Let f = 204 + -220. Let j = 0.5 + -22.5. Let d = f - j. Which is greater: d or 0.09?
d
Let i = 7/10 - 1/5. Let s be ((-9)/6)/1*1/3*-44. Which is greater: i or s?
s
Let u(m) = m**3 - 15*m**2 + 23*m + 28. Let z be (28/(-56))/((-2)/40). Let y be u(z). Is y at least as big as -242?
True
Suppose -5*s - 10 = 0, 5*p - 3*s - 158 = -602. Let t = -76 - p. Suppose 32*c = 30*c + t. Which is greater: 57/7 or c?
57/7
Let n(k) = 16*k. Let d be n(-3). Suppose 44*g = -30339 + 107779. Let x = 1712 - g. Is x > d?
False
Let m = -363 - -427. Let p = -195 + m. Is 0.1 <= p?
False
Let b(x) = x**3 + 38*x**2 + 210*x - 11. Let l be b(-8). Is l at least 264?
False
Let v = -97 - -217. Let s = 119.1 - v. Which is smaller: -0.3 or s?
s
Let o be (-8)/(-9100)*6765/(-63). Let u = 3/487 + 239/119315. Let a = u - o. Do -1 and a have the same value?
False
Suppose 338*q + 4 = 339*q. Suppose q*i + 24 = 8. Let z be 30/i - 7/14. Is -28/3 greater than z?
False
Suppose -3*c = r - 15, -4*r - 16 = 4*c - 36. Suppose -l = -2*l + w + 5, c*l - w - 5 = 0. Is 9/70 at least l?
True
Let f = -457 - 271. Let o = 729.014 + f. Let g = o + -0.014. Which is greater: g or -0.05?
g
Suppose 180*p - 316*p + 11152 = 0. Let q(t) = 3*t**2 + t + 2. Let b be q(5). Is b less than p?
False
Let l be (-12837)/(-9)*24/(-16). Let x = l - -2098. Is x <= -43?
False
Let s = -576/35 - -4803/280. Which is smaller: 0 or s?
0
Suppose -i + x - 38 = 25, -333 = 5*i + 4*x. Let t be (-5)/(75/i) - 5. Which is greater: -76 or t?
t
Let d be (-435)/(-25)*4/(-12). Suppose -7*g = -26*g - 95. Which is smaller: g or d?
d
Let b = 68 - 72. Let u(a) = 11*a + 19. Let i be u(b). Which is bigger: -20 or i?
-20
Suppose 0 = -6452*g + 6471*g. Is g greater than -2/5617?
True
Suppose 57*w - 5*d = 53*w + 561, 0 = -5*w + 5*d + 700. Is 148 bigger than w?
True
Let d be -2*2*10/2300*15. Let b = -127.9 - -123. Let c = b + 5. Is c less than or equal to d?
False
Let d be ((-10)/(-12))/(25/80). Let o be 1 + (71/(-21) - 0). Let r = o + d. Is r bigger than -0.09?
True
Let h = -7878 - -20460. Let k = -465564/37 + h. Which is smaller: k or -2?
-2
Let q = -2615 + 2637. Are q and 46 equal?
False
Let s = 2663/77871079 + 1/6941. Which is smaller: 0 or s?
0
Let d = -1127 + 42829/38. Let n = 1099 - 20889/19. Let i = n - d. Are -7 and i equal?
False
Let h = 7073.514 - 7072. Is h < 2/9?
False
Let u be 58/1*(35/(-10) + 3). Let r = 19 - -1. Let i = u + r. Is -3/5 > i?
True
Let y = 45 - 48. Let k be (-5)/(15/6) - (y + 7). Let l be 62/210 - (k - 93/(-15)). Which is bigger: l or -2?
l
Let w = 0.12173 - 4.71173. Which is bigger: 3/5 or w?
3/5
Let j = 99.74 - 101. Let u = j + -37.74. Let k = u - -39. Do -9 and k have different values?
True
Suppose -3*r - 125 = -0*r + 4*l, -3*r + 3*l - 153 = 0. Suppose -259*j = -281*j + 506. Let n = r + j. Is -24 less than or equal to n?
True
Let c = -11594.639 + 11536. Let d = c + 53.69. Let n = d + -0.051. Is n <= 1?
True
Let c(l) = -l**2 + 279*l + 1413. Let x be c(-5). Do x and -5 have different values?
True
Let t = 17.801 - 17.901. Let s = 14 - 5. Which is smaller: s or t?
t
Let y(m) = -198*m**2 - 189*m + 367. Let v be y(2). Is -799 < v?
False
Let d = -514 - -511.55. Let k = 2.89 + d. Which is smaller: k or -2/7?
-2/7
Let r(y) = -y**3 - 6*y**2 + 11*y + 4. Let x be r(-7). Let b = x + 25. Let o = 2/99 - -956/1683. Which is greater: b or o?
b
Let j be 2946/528 + 3/(-1). Let g be (-740)/96 + 11 - (-2)/(-3). Let w = g - j. Which is smaller: w or 1?
w
Let m = -391 + 903. Suppose -1924 = 28*x + m. Which is smaller: -83 or x?
x
Let f(p) = -2*p**2 - 42*p - 61. Let v be f(-20). Which is smaller: -9 or v?
v
Suppose 3*f - 3*j - 39 = -9, 0 = f - 4*j - 22. Let z be (f/(-5))/(369/(-60) + 6). Is 8 at least z?
True
Let a be 192/(-224) + (-12)/(-21). Is a at least as big as 5/14?
False
Let i(c) = -2*c**2 - 20*c - 44. Let t be i(-11). Let y be 12/t - (-1)/11*2. Which is greater: y or 3/155?
3/155
Suppose 0 = -2*g - 869 + 893. Let i(k) = 8*k - 97. Let p be i(g). Is p equal to -3?
False
Let s = -149.84 - -159.84. Suppose 0 = -4*o, -3*v - 4 + 10 = 4*o. Suppose 0 = 5*c + v*l - 4*l + 3, 3 = c - 4*l. Is s at most as big as c?
False
Let q(m) = 2*m + 60. Let v be q(-29). Let z be (v/(-35))/((-78)/(-30)). Suppose -r = -3*r - 2. Is z >= r?
True
Let p = 5352 - 5338. Let i = 8 + 5. Let q = i + 1. Is q smaller than p?
False
Let w(g) = -6*g**2 + 4 - 9*g**2 - 7*g + 19*g**2 - 5*g**2. Let s be w(-7). Suppose 0 = 2*u + 5*x + 10 - 1, 0 = 2*u - x - 9. Which is greater: s or u?
s
Let p = 7165 - 12433. Is -5270 greater than p?
False
Let d = -1.89 + -20.11. Let o = 21.9 + d. Is -37 equal to o?
False
Let d = 4786 - 2525. Suppose -10*q = -2211 + d. Let h = -2.1 + 2. Is q != h?
True
Let a be (119 - 0)/(6 + 0). Let c be 1*(32 + -8) - (3 - 0). Are c and a nonequal?
True
Let h(r) = 2*r**2 - r - 4. Let w be h(-2). Suppose 5*t - w*i + 45 = -i, -2*t = -i + 14. Let o = t - 24. Which is smaller: -30 or o?
-30
Suppose -4*o - a - 3 = -5, 6 = 4*o - a. Let f be (6/(-10))/(-3)*(51 - (-265450)/(-5200)). Do f and o have the same value?
False
Let f(v) = 7*v**2 + 44*v - 14. Let h be f(-15). Is 902 at least as big as h?
True
Let l = 0 + 2. Suppose -l*p + 4*p - d - 35 = 0, p = 2*d + 10. Let s be (20/(-4) - -2*(-4 - -6)) + 22. Which is greater: p or s?
s
Suppose -11 = -g + 3*y, -3*g - y = -0*y - 63. Let t be (8/g)/