 m - -562. Suppose -3 = -y - 2. Which is greater: y or u?
y
Let n(j) = j**3 + 3*j**2 + j - 2. Let a be n(-2). Suppose -4*h + a*h = 8. Let q = -18 + 15. Which is greater: h or q?
h
Let i = -1/303 + -232/21513. Which is smaller: 0 or i?
i
Suppose -5*s - 200 = 5*r + 65, 3*r + 138 = 4*s. Let l = 40 + r. Which is smaller: -9 or l?
l
Let a be (-260)/(-574) - 3/7. Let s = -26/615 - a. Suppose 0 = 3*n + 3*t + 3, 0*n - 5*n - 5 = t. Which is greater: n or s?
s
Let w be ((-476)/612)/((-9)/4). Is 0 at least w?
False
Let v be 8/(-32) + 17/4. Suppose r - 4*z = -25, 4*z - 16 = v. Let y(p) = -p - 3. Let x be y(r). Which is greater: x or 30/11?
30/11
Suppose -64 = -5*l - 5*u - 269, 5*u - 165 = 5*l. Does l = -36?
False
Let i = -14 - -11. Let a = -4 - i. Which is bigger: a or 3/14?
3/14
Suppose 11*y - 4 = 13*y. Let f be y/3 + 3/(180/64). Is -1 bigger than f?
False
Let n(k) = k**3 + 7*k**2 - 95*k + 17. Let g be n(7). Is 38 not equal to g?
False
Suppose 0 = 7*d + 827 + 559. Let y be (-580)/d + (-16)/(-88) - 2. Which is bigger: 1 or y?
y
Suppose -5*j + 10*j + 5*m = -45, 0 = 3*j - 2*m + 7. Let r be -1 + 15 + j + 3. Suppose 3*k = -0*k - r. Is -4 less than or equal to k?
True
Let i = 0.1 + 14.9. Let x = 13 - i. Is 1 > x?
True
Let p = 32/41 - 1483/902. Which is greater: p or 0?
0
Let q = 35 + -20. Let n = -15.15 + q. Let s = -0.22 - n. Which is smaller: s or 0?
s
Let d = -26.9548 + -0.0452. Which is bigger: d or -0.12?
-0.12
Let b = -2.42 + 7.42. Is b smaller than 14?
True
Let z = 0.7 + -2.84. Let k = -11 - -11.14. Let h = k + z. Which is smaller: -0.5 or h?
h
Let x be (5 - 4)*11/(-2354). Is x smaller than 1?
True
Let t be (-27522)/24 + 4 + -1. Let g = t + 31793/28. Which is greater: -9 or g?
g
Suppose 4*v - f = 2*v - 394, 2*v = -3*f - 386. Let r be ((-388)/v + -2)*-2. Is 0 greater than r?
False
Let w be (-13)/26*(-12)/2. Suppose -25 = w*s - 97. Suppose -s = -2*o + 6*o. Do o and -2/5 have the same value?
False
Let p(d) = d**2 + 8*d - 184. Let h be p(-28). Is h < 373?
False
Let y = 1594/7 + -228. Are y and -4/147 unequal?
True
Let r = -26.5 - 2.7. Let f = -29 - r. Is -0.06 greater than or equal to f?
False
Let w be -28*2*(-4 + 3). Let n = w + -104. Which is greater: n or -47?
-47
Let g be -11 - (119/(-28) - (-1)/4). Let o = -35 - -37.1. Let d = 2 - o. Which is smaller: g or d?
g
Let u = -50.975 + -0.025. Let q = u + 51. Is q equal to -1?
False
Let t = -57497554/3249 - -17697. Which is smaller: t or 0?
t
Let t = -244 + 244.4. Which is bigger: -16 or t?
t
Let p(j) = 5*j**2 + 11*j + 19. Let g(f) = f**2 - f + 1. Let w(r) = -4*g(r) + p(r). Let a be w(-13). Suppose x - 18 = 3*x. Which is greater: x or a?
x
Let t = 57/20 + -13/4. Let s = -352 - -593. Let k = 1925/8 - s. Is k greater than or equal to t?
True
Suppose -42*s + 28 = 28. Are 2/539 and s non-equal?
True
Suppose -b = -3*g - 0 - 6, -4*b + 4 = -2*g. Suppose b = 8*p + 2*p + 80. Which is smaller: p or -7?
p
Suppose -4*g = -430 - 78. Let j = g - 128. Which is smaller: j or -7/16?
j
Let g be 1210/(-6468) + 1/6. Do 0 and g have the same value?
False
Suppose 56 = -9*m + 17*m. Suppose -12 = 3*r - 5*s, -3*s = 2*r - m*r - 4. Do r and -2/163 have different values?
True
Suppose -47*v + 52*v = 30. Suppose 68 = v*o - 2*o. Which is bigger: 18 or o?
18
Let w = -5.227 + 5.4. Let c = 0.027 + w. Are 0.02 and c equal?
False
Let w be (9/(-1))/(3/(-2)). Let b(j) = j**2 + 14*j + 38. Let v be b(-10). Let a be v + 1 + w + -3. Is a > 12/7?
True
Let j be ((-9)/4)/(9/(-6)). Let k be 1/(((-1)/4)/(-1)). Suppose -k*a + 6 + 6 = 0. Is j equal to a?
False
Suppose -80 = -383*x + 378*x. Which is smaller: 14 or x?
14
Let v = -3 + 4. Let u be (49 - 6)*(v + 0). Is u != 43?
False
Let m = -589 + 588. Which is smaller: -17/43 or m?
m
Suppose 3*j = -4*v + 67, -v + 0*j + j + 22 = 0. Suppose -5*m - 47 = -3*f, 2*m + 44 = 2*f + 5*m. Are v and f equal?
True
Let s be (-66)/9*3/(-4). Let r(k) = 7*k**2 + 2*k + 1. Let t(v) = 2*v + 13. Let o be t(-7). Let l be r(o). Which is smaller: s or l?
s
Suppose -4*j + 7*v = 5*v + 22, 2 = j + 2*v. Is j != -3?
True
Let x(j) = j**2 + 44*j - 1. Let r be x(-44). Is -5/11 greater than r?
True
Let p be ((-20)/12)/((-3)/18). Suppose -5*m + 14 + 56 = 0. Let q = p - m. Which is smaller: q or -1?
q
Let i be (5 + -6)/((-2)/14). Let d = -4 + i. Suppose 3*c + 0*c + y - d = 0, 0 = c + 2*y + 4. Do c and -0.4 have different values?
True
Let c = 24 + -20. Suppose -3*f = -3*v - 5*f - 3, c*f = -v + 9. Let q be 2 - 4 - (1 + 1). Which is greater: v or q?
v
Let i(n) = 6*n**2 + n + 2. Suppose h + 5 = 3. Let y be i(h). Suppose -2*f = -u + 13, y = 3*u - 2*f - f. Which is greater: 2 or u?
u
Suppose -6*d + 192 - 60 = 0. Which is smaller: d or 23?
d
Let x be (1*-1)/((-5)/40). Let y be (-3)/3 + (-5)/(-3)*21. Let s be 4 + -8 + y/x. Is s greater than or equal to -1?
True
Let d be 7/(3 - (3 + 1)). Let t be (d + 3)*(-18)/456. Which is smaller: -1 or t?
-1
Let u = -30 + 32. Suppose -u*s - 1 = 9. Let p be ((-6)/s)/(20/25). Which is bigger: p or 1?
p
Let q = -45/14 + -191/7. Let h = q + 29. Let a = -1 - -1. Is h equal to a?
False
Suppose -8*n = 4*p - 4*n, -5*p + 3*n = -16. Let o(y) = 2*y**3 - 1. Let k be o(p). Is k bigger than 14?
True
Let j(x) = -12*x + 15. Let i be j(1). Is i > 0.26?
True
Let h be (3/(27/(-6)))/((-2)/9). Let k be (-1)/(6*h/1674). Is k < -92?
True
Let r be ((-14)/(-35))/(-1*(-1)/65). Is 25 less than or equal to r?
True
Suppose -8*j + 20*j - 6*j = 0. Is j bigger than -1/119?
True
Suppose 5*y = 2*x - 225, y + 0*x = -3*x - 45. Let n(v) = 2*v**2 + 83*v - 175. Let c be n(-43). Which is greater: y or c?
y
Suppose -9*u = 4*f - 10*u - 4, -2*u = 4*f + 8. Is f bigger than -6/179?
True
Suppose 0 = -2*u - 2*u - 5*m - 21, 0 = -m - 1. Let i be -106*u/(-88) + 1. Which is smaller: i or -5?
-5
Let a = -1.04 - -2.94. Let x = -21 + 20.1. Let u = x + a. Is -2 less than or equal to u?
True
Let d be (1*-2)/(3/(-6)). Suppose -v + 2*v - d*k = -15, -3*v + 20 = k. Let o be (-2)/v - 2/(-5). Which is smaller: -2/11 or o?
-2/11
Let m = 18.8313 - 0.4413. Let i = m - 0.39. Which is smaller: 1 or i?
1
Suppose 337 = 7*d + 1765. Is -204 < d?
False
Let m be 4/(-42) - (5131/(-147))/(-1). Which is smaller: -244/7 or m?
m
Let f(a) = -a**3 - 4*a**2 + a + 3. Let r be f(-4). Let g = r + 6. Suppose g = 3*o + 14. Are 0.1 and o unequal?
True
Suppose -95*n + 66 = -101*n. Do n and -3 have the same value?
False
Let y(g) = -g - 5. Let r be y(-8). Suppose 0 = -r*c - c. Let v = -0.24 + 2.24. Which is smaller: v or c?
c
Suppose 3*r = -0 + 6. Let b = 2122 + -180367/85. Let q = 361/595 - b. Is q at most as big as r?
True
Suppose 5*i + 6 - 16 = 0. Let j = -8 - -9. Suppose j = -2*t + 3. Does i = t?
False
Suppose -2*t - 2*g + 848 = 0, -76*g + 10 = -81*g. Is t != 426?
False
Let q = -1 + 9/8. Let a be ((-2)/(-2))/(1/10). Suppose 9*k = a*k. Are k and q unequal?
True
Let w be (2698/(-8))/(1*2/5). Let i = -842 - w. Which is smaller: 2 or i?
i
Let v = 16 - 14.8. Let s = v - 2.3. Let p = s - -1.1. Which is bigger: p or 0.09?
0.09
Let r = -480 - -1418/3. Is 0 not equal to r?
True
Suppose 4*i = -i - 50. Let b be 4/i - (66/(-15) - -5). Is 4/41 greater than b?
True
Let r be ((-9)/6)/((-9)/(-24)). Suppose -36 = 6*j + 12. Which is bigger: j or r?
r
Let o = 0.42 + -0.12. Is o <= -4?
False
Suppose -4*w = -9*w + 5. Let c be (w/4)/((-168)/64 - -2). Let l be (-6)/27 - 13/9. Are c and l equal?
False
Suppose 0 = 6*r - 2*r - i - 845, 2*r = -5*i + 417. Is r smaller than 634/3?
True
Suppose -2*f - 36 = 2*f + 2*l, -2*l - 20 = 2*f. Suppose 0 = -2*n + 8*n + 36. Which is bigger: f or n?
n
Let r = 2.935 - 0.335. Is r at least -0.3?
True
Let v be (0 - 4/(-26)) + 1720/988. Is 3 bigger than v?
True
Let q be (-16)/(-11) + 1 + -3. Let m(u) = -4*u**3 + 3*u**2 + 2*u. Let x be m(-1). Suppose 6 = -x*w + 1. Is q equal to w?
False
Let b(w) = 10*w + 15. Let i(t) = 7*t + 10. Suppose 5*k + 3*a = 23, 2*k + 1 = 5*k + 5*a. Let d(c) = k*i(c) - 5*b(c). Let u be d(-9). Is 2 > u?
False
Let v(y) = 563*y**2 + 9*y - 9. Let r be v(1). Is 0 greater than or equal to r?
False
Let l(r) = -r - 3. Suppose 0*m - 65 = -5*m. Let x be (-54)/m + (-4)/(-26). Let i be l(x). Is -1/3 bigger than i?
False
Let t be 684/(-2128)*26/(-3). Is t at most as big as 4?
True
Let i(p) = -p**2 + 14*p + 26. Let b be i(11). Suppose 0 = -5*w - t + 286, -3*w - t + 3*t = -182. Is b a