 = 2*j - 16. Suppose -2*c - 5*k + 3 = -28, 5*c - 5*k = -10. Suppose 1 = c*n - z + 2*z, -5*n + 2*z + 20 = 0. Is n greater than j?
False
Suppose 0 = 4*l - 7*l - 87. Let t = l + 30. Which is bigger: -0.3 or t?
t
Let x = 33 - 24. Suppose -x*i + 3 = -6*i. Which is greater: 12/7 or i?
12/7
Suppose 2*l - 15 = -3*l. Let k be (250/15)/(-5) + l. Let b = 2 + -3. Which is smaller: k or b?
b
Let i be 315/28 + -11 + (-150)/(-8). Is i less than 3/10?
False
Let d be ((-104)/6)/(12/(-9)). Which is bigger: 22 or d?
22
Let y(v) = -57*v - 55. Let l be y(-3). Which is bigger: 115 or l?
l
Let n(y) = y**3 - 16*y**2 - 8*y - 158. Let z be n(17). Is z != -24?
True
Let j = -6 + -1. Let r(y) = -7*y**2 + 116*y + 46. Let t be r(17). Is t smaller than j?
False
Let o be (-4)/6 + 16/(-12). Let x be 3/(-6) - (-7)/o. Let a be 6/(-4) - 6/4. Is a bigger than x?
True
Suppose t = 4*t + 78. Let w be 2 + (-125)/65 + (-4)/t. Let r(h) = -2*h - 3. Let b be r(-2). Which is smaller: w or b?
w
Let c be (-11)/(-27) + (-1)/3. Suppose 2*q - q = 3, 4*q + 156 = 4*t. Let k = t + -43. Which is greater: c or k?
c
Let u = 3322144151/7109115 + -2/546855. Let f = 467 - u. Which is bigger: -1 or f?
f
Suppose 32*a + 1677 = 429. Which is smaller: 4/7 or a?
a
Let c be 14*(1 - 7010/70). Is -1387 bigger than c?
True
Let x = 864.94 - 865. Does 21 = x?
False
Let s be (-32)/(-1)*((-6)/(-3) + -1). Let r be 0/2*2/4. Suppose -4*z - 6*q = -q - s, r = 2*z + 3*q - 18. Are z and 5 nonequal?
True
Let h = -0.07 - -3.07. Let n = -0.8 - -0.9. Let z = n + 0.2. Is z >= h?
False
Suppose 8*w - 4*r - 3 = 7*w, 0 = 3*w + 2*r - 23. Which is smaller: w or 0.21?
0.21
Suppose 2 = w - 4*m, 0 = 2*w - 0*m - 3*m - 24. Let y = 11 - w. Let j = 5 + -12. Is j >= y?
True
Let l(x) = -x**2 + 17*x + 32. Let p(a) = -3*a - 31. Let f be p(-16). Let k be l(f). Which is smaller: 31 or k?
31
Let l be (2/2 - -1)*-11. Let z be -10*3/(-12)*2. Suppose -4*m = -z*m - 23. Is m equal to l?
False
Suppose -140*c + 528 = -138*c. Are 265 and c equal?
False
Suppose 3*h - 4*h = 0. Suppose 0 = -h*w - 2*w + 4. Let p = 0.31 - -6.69. Which is greater: p or w?
p
Let x = -50 - -50. Let v = -23/6 + 25/6. Is v at most x?
False
Let k be (-4)/10 + (-117)/45. Let c(o) = o**2 - 7*o - 10. Let g be c(-2). Which is greater: k or g?
g
Suppose j + 4 = k, 0 = 5*k - 2*j + j - 16. Suppose -1 - 5 = k*z. Which is smaller: -5 or z?
-5
Suppose l - 3*l - h = 33, 3*h - 51 = 4*l. Suppose -17 = -3*v + 13. Let r be (-8)/v + 3/l. Are r and 0 non-equal?
True
Let x be ((-12)/378*-18)/((-4)/(-14)). Is 4/3 at most as big as x?
True
Let c = 1734.3 + -1734. Which is smaller: -11/4 or c?
-11/4
Suppose -1011*m + 224 = -1010*m. Is m less than or equal to 223?
False
Let u be (-4059)/18 - (-1)/2. Let h be (-2)/(-5) - 160/u. Suppose -11 + 5 = -4*l - 2*f, -4*l = -4*f + 12. Is l bigger than h?
False
Suppose -5*k = -3*q - 2*q + 180, 3*k = -4*q - 143. Which is greater: -35 or k?
-35
Suppose 5*p - 2 = 4*f + 9, -2*p + 2*f = -6. Let j(y) = y**3 + 11*y**2 + 25*y + 7. Let r be j(-8). Are p and r equal?
True
Suppose 0 = i - 37 + 10. Suppose -6*s + 29 = 5*c - 4*s, 3*c = 2*s + i. Let o = -54 - -61. Is o smaller than c?
False
Let y be ((-1)/((-10)/(-2)))/1. Suppose -3*l - 2*l + 25 = 5*d, 5*d + 3*l - 23 = 0. Suppose 5*w - d*v = 7 + 4, w - 5*v - 19 = 0. Are w and y non-equal?
True
Let j = -83 + 2577/31. Is j greater than -1?
True
Let y = -494 + 493.434. Which is bigger: 1 or y?
1
Suppose -4*w = -181 - 155. Let f be (-1)/7 + 96/w. Let p be f - (0 - 24/20). Does 3 = p?
False
Let a = -6 - -22. Is a at most -12?
False
Let u = -274527/52 + -93332/13. Let c = 12528 + u. Let g = -137/2 + c. Which is greater: 1 or g?
1
Suppose -7*j = 8*j. Let v(x) = -x. Let g be v(-1). Let n be g/(-12)*8/(-3). Is j != n?
True
Suppose -4*y = -3 + 7. Let d be y/(-12)*(-2 - -4). Suppose -2*u + 0*u - 5*p - 7 = 0, 4*u + 2*p = -6. Which is smaller: u or d?
u
Let s(l) = 2*l**2 - 10*l - 2. Let p be s(6). Suppose p = -4*w - 2*y, -4*w + 5 = -3*w - y. Suppose -6 = 3*x - 5*o, w*o = -3*x + o + 6. Which is greater: x or 2?
x
Let b(a) = -a - 3. Let q be b(-3). Is q < 3?
True
Let z(a) = -a - 8. Let n be z(-8). Suppose -2*p - 2*p = 2*r + 42, n = 4*p + r + 39. Which is bigger: p or -7?
-7
Let g = -95.8 - -99.78. Which is smaller: g or 0?
0
Suppose -34 = -3*x - 7. Suppose -2 = -x*y + 7*y. Which is bigger: 0 or y?
y
Let u = 37.974 - -0.026. Let o = 38.02 - u. Is 2 equal to o?
False
Let k be ((-20)/(-140))/(60/21). Is k bigger than 2/5?
False
Suppose -4*s = -2*s. Let q be 1 - -2*66/(-140) - 0. Which is greater: s or q?
q
Let l = -1373.1 - -1373. Let i(c) = 3*c + 4. Let k(r) = -r + 1. Let u(q) = i(q) + 4*k(q). Let v be u(5). Is l greater than v?
False
Suppose 10*k = -2*a + 12*k + 38, -2*a = 4*k - 44. Which is smaller: 25 or a?
a
Let g = 1 - 3. Let t be 3/(1/g - -2). Suppose -4*f = 3*a - a - 8, -t*f + 5*a - 8 = 0. Which is smaller: 2/15 or f?
2/15
Let v = 1607/1190 + -111/70. Suppose -o + 5*g = 4*o + 20, -4*o + 3*g = 12. Which is bigger: o or v?
o
Let m be (-4)/40*765/6. Is -14 != m?
True
Let t be 6/(-9) + 10/6. Let u = 6481/60 + -108. Which is bigger: t or u?
t
Let q = 231 - 260. Does -86/3 = q?
False
Let p = -12.7 + 12.8. Is p smaller than -129?
False
Suppose k - 2*m = -1 + 9, 5*k - 4*m - 34 = 0. Let a be (-12)/10 + 1 + (-3)/k. Is -2 not equal to a?
True
Let t(r) = 2*r**2 + 13*r - 24. Suppose -3*z + 22 = -2*f, 2*f + 5*z + 6 = -0*z. Let y be t(f). Which is bigger: 3/41 or y?
3/41
Suppose 4905*r - 2 = 4907*r. Suppose -5*l - 9 + 4 = 0. Is r >= l?
True
Suppose 24 = 4*b + 8. Suppose -2*v + 31 = -7*k + 2*k, -2*v - 4*k = -b. Let t(f) = -2*f - 6. Let i be t(-7). Is i at most v?
True
Let a = -1.07 - -2.07. Which is smaller: a or -53?
-53
Let j be 545/(-654)*2/(-10). Is j at least as big as -50?
True
Let h(z) be the third derivative of -z**4/24 - 2*z**3/3 - 2*z**2. Let j be h(-4). Let a be (j - 1)*(-5 + 4). Is 1/3 at least as big as a?
False
Let v be 18/(-5)*(-20)/3. Suppose 3*i - v = 12. Let l be ((-12)/(-8))/(3/i). Are l and 5 equal?
False
Suppose 38*d = 7*d - 3968. Is d less than or equal to -383/3?
True
Let m be 4 + 244/(-36) + 3. Suppose -4*l = -4 - 12. Let o = 3 - l. Which is smaller: o or m?
o
Let r = -3 - -2. Let m = -2.9 - -48.9. Let g = 46.02 - m. Which is smaller: r or g?
r
Let t be (-4 + 27 + 0)*7/14. Let k = 10 - -1. Which is smaller: t or k?
k
Let r = -13 - -12.2. Let y = 13.8 - 0.8. Let l = y - 13. Is r bigger than l?
False
Let o be (22/(-4) + 3)*9/(-27660). Let z = 110589/62696 + o. Which is smaller: 2 or z?
z
Let w = 154 - 143. Let u(g) = -2*g**2 + 23*g - 23. Let l be u(w). Does l = -49/4?
False
Let k be (2 - 0) + -2 + -3. Let d be (-2)/(-3)*(-9)/2. Let c be 42/(-15) - d*1. Is c at least k?
True
Let f be (11/198)/(71/(-3824)) - -3. Which is smaller: f or -1?
-1
Let n be 3 + (298/8)/1. Let f = -40 + n. Which is smaller: 1 or f?
f
Let a(g) = 2*g**3 - 9*g**2 - 4*g - 5. Let x be a(5). Suppose -7*m + m - 114 = x. Which is greater: m or -20?
m
Let h(v) = 1 - 4*v + 2 - 5 + 5. Let l(w) = w**2 + w - 1. Let k(d) = -h(d) - 2*l(d). Let a be k(1). Is 1 smaller than a?
False
Let h(o) = -2*o. Let f(v) = 12*v - 3. Let m(q) = -2*f(q) - 6*h(q). Let a be m(7). Let d = -544/7 - a. Is d > 1?
False
Suppose 56*m = 53*m + 6. Suppose c + 4*x - 16 = -0*x, -c = -3*x - m. Is 10 equal to c?
False
Let f(m) = -4*m**3 - 3*m**2 - 3*m. Let g(o) = -o**3 - o**2 - o. Let c(b) = -f(b) + 3*g(b). Let n be c(1). Suppose 3*u - n = 2. Is 4 > u?
True
Let k = -1976 - -1976.3. Let a = -1 + 1.05. Which is smaller: k or a?
a
Let l = 28.1 - 3.1. Let k = 25.1 - l. Which is smaller: k or -0.062?
-0.062
Let i = -1 - 3. Let l = 1 - 5. Let t = l - i. Which is greater: t or 2/23?
2/23
Let x(o) = -o**2 - 5*o. Let f be x(-4). Suppose 5*y - 8*m = -3*m, 4*m = -f*y + 8. Let i = 4 - 2. Which is bigger: i or y?
i
Let w be (75/(-10))/((-5)/10). Suppose -w = -u - 13. Which is smaller: u or 18/11?
18/11
Suppose -f + 5*d + 4 = 3*d, -f - d = -16. Is 51/4 <= f?
False
Suppose 0 = 4*r - 4*l - 16, 0 = -r - 4*l + 3*l - 4. Suppose -y + 16 = -2*w, -4*y + 5*w - w + 44 = r. Is y at least 4?
True
Let h(m) = 3*m - 41. Let v = 8 - -7. Let o be h(v). Let g be 18/5 - (-2)/5. Are g and o equal?
True
Suppose 0 = -3*f + x + 14, -3*f + 5*x = -5*f - 19. Suppose f*k - 18 = -c, 3*c + 2 = 5*k - 0. Let u be 4/(-216)*-2*c. Does u = -4?
Fals