False
Suppose 8*m - 6*m = 4. Let o be (2 - (-39)/(-24))*m. Which is bigger: 2 or o?
2
Let q = -24535/6 - -4325. Let i = 235 - q. Are 0 and i equal?
False
Let b be 2/(-12) - 13/(-6). Let t be (b/(-10))/((-6)/(-10)). Is t != -1?
True
Suppose -2*j = -2, 0 = 4*v + 5*j + 13 + 54. Let n be ((-1)/v)/(5/(-20)). Let k be (8/6)/(1 - -1). Is n at least as big as k?
False
Let k = -2/757 + 2293/8327. Let a(z) = 4*z + 115. Let c be a(-29). Which is smaller: c or k?
c
Let v = -153.6 - -153. Is v at least -4?
True
Suppose -3*r = h - 15 + 4, -8 = -3*r - 4*h. Suppose 2*o = 15 - 5. Let l be 12/5 + (-2)/o. Are r and l nonequal?
True
Let b = -0.9 - 0.1. Let i = 9 - b. Let s = i + -9.9. Is 0.2 >= s?
True
Let t(p) = -2*p - 1 + 0*p + p. Let u be t(-3). Let n be (-60)/(-35) - u/(-7). Are 3 and n unequal?
True
Let r(l) = -l**2 - 13*l - 9. Let c be r(-13). Is -8 bigger than c?
True
Let n = 0 + 0. Suppose 0 = 2*a - 4*a - 6. Let l be (1/(-8))/((-3)/a). Which is greater: n or l?
n
Suppose -2*q - 5*f - 10 = 3*q, 4 = -2*q + 4*f. Let c = q + 4. Let w be 1/(9/15) - c. Which is smaller: 0 or w?
w
Let b(r) = 3*r**3 - 10*r**2 - 8*r - 11. Let k(g) = -g**3 + 5*g**2 + 4*g + 5. Let p(n) = -2*b(n) - 5*k(n). Let d be p(-4). Is d less than -3?
False
Let m(i) = i**3 - 17*i**2 + 30*i + 1. Let y be m(15). Are y and 1/100 equal?
False
Let c be 1*-1 - (-392)/(-14). Which is smaller: c or -30?
-30
Suppose 2*w + 36 = 6*w. Suppose 0*a = 3*a + w. Let t be 4/18 - (-29)/(-9). Are t and a unequal?
False
Suppose -2*y - 2*y = -23232. Let t = y + -23033/4. Let f = 50 - t. Is f smaller than 0.1?
False
Let r = 5/7 - 3/7. Let g = -6.9 - -7. Which is smaller: r or g?
g
Let f be 4/8*4/(-19). Suppose -4*l - 5*p + 24 = 0, 4*l = 5*p - 9 - 7. Which is smaller: l or f?
f
Let n be ((-991)/6)/(9/12). Let s = n - -220. Which is smaller: 1 or s?
s
Let f(w) = 3 - 3*w**2 + 4*w**2 + 7*w + 1. Suppose -3*z + 4 = 22. Let t be f(z). Is 0.1 <= t?
False
Suppose -3*z + 2*a = 2*z + 6, 0 = 2*z + 2*a + 8. Suppose -2*t = 2*t + 4. Is z less than or equal to t?
True
Suppose -a - 16 = -5*a. Suppose 4*g - 8 = 2*w, -a*g + 7*g - 4*w - 1 = 0. Suppose g = b + 2. Which is smaller: b or -1?
-1
Let o(g) = g**3 + 6*g**2 + 7*g + 5. Let q be o(-5). Let h = 5 + -9. Is h not equal to q?
True
Suppose -2*q = -0*q. Suppose q = 3*m + 16 - 7. Is m <= -3?
True
Let b(j) = -j**3 - 4*j**2 - 2*j + 5. Let z be b(-2). Are 1/7 and z non-equal?
True
Let j be (-10)/(-40) - 18/8. Is j smaller than -2?
False
Suppose -5*k = -3*k. Let n be 10/(-16) + 1 + 0. Is k greater than n?
False
Suppose -15 = -4*y - n, -7*y + 2*n = -2*y - 9. Let z be (y/1)/((-15)/(-10)). Let d be ((-4)/(-6))/(4/18). Which is smaller: d or z?
z
Let p = -24.1 + 19. Let s = p - -5. Let y = 2 + -1.7. Which is greater: y or s?
y
Let n(g) = -g + 9. Let m be n(10). Let d be m/4 - (-5)/4. Which is smaller: 0 or d?
0
Let n = -83/85 - -4829/7905. Let s = 1/31 + n. Let x = -12 + 15. Which is smaller: x or s?
s
Suppose 985 = 14*v - 653. Which is smaller: 1/4 or v?
1/4
Let t = -10 + 12. Suppose y = 2*y + t. Which is greater: -1 or y?
-1
Let i = -12.1 + 18. Let w = i + -6. Is w >= 4?
False
Let t(s) = s**2 - 8*s. Let z be 3/(0 - 6/(-16)). Let i be t(z). Suppose 0 = -4*u + 3*u + h, -5 = 4*u + h. Are u and i unequal?
True
Suppose -s - v + 17 = -5*s, -2*v + 14 = -3*s. Let p(i) = i**3 + 11*i**2 + 11*i + 6. Let j be p(-10). Is j <= s?
True
Let p be 2/(-3) + 17/3. Let g = -31/24 - 35/8. Let x = p + g. Which is smaller: -2 or x?
-2
Suppose 0 = 4*p - 2*w - 17 - 11, p = 4*w + 14. Let i = p - 6. Suppose -4*l = -i*l + 4. Are -1 and l equal?
True
Let m = 170 - 1192/7. Is 3 not equal to m?
True
Suppose -3*p - 2*b + 40 = -0*p, -4*b - 16 = -2*p. Let c be (-2503)/4*p/45. Let z = -167 - c. Is 0 >= z?
True
Let t = 3 - 1. Suppose 3*v = 8 - t. Is v equal to -2/5?
False
Let n be (30/10 + -4)*(-1 + 17). Which is smaller: -18 or n?
-18
Let n be 0 + -1*(-1)/(-42). Let h(u) = -u**3 + 13*u**2 - 16*u + 48. Let k be h(12). Is n > k?
False
Let m = 5 + -4. Suppose 0 = c - 3*c + 4. Let z be c/(-7) - 80/(-84). Which is smaller: z or m?
z
Let x be 8/21 - (-10)/35. Let k(n) = 4*n**2 - n**3 + 9*n - 5 - 2*n + n**2. Let y be k(6). Does x = y?
False
Let b(k) = k**3 - 7*k**2 - 10*k + 12. Let g be b(8). Suppose -h - 8 = -2*l + 4*l, l = h - 7. Let o = l + 3. Which is smaller: o or g?
g
Let d = 525 - 9987/19. Which is smaller: 1/2 or d?
d
Let k(f) = f**2 + 5*f + 3. Let o be k(-5). Let u be (2/3)/(o - -2). Let j = 2 + -2. Which is greater: u or j?
u
Let s be 3/15 - 2/10. Suppose 0 = -5*d + 5*u + 10, 5*d + 2*u - 1 - 9 = s. Which is smaller: 4/5 or d?
4/5
Let y = -25.8 + 26. Which is smaller: -20 or y?
-20
Let s be 2*(0 - (-3)/12). Let l = -0.5 - 0.5. Let x = 3 + l. Is s equal to x?
False
Let p be (2 + 2)/(1/(-2)). Which is smaller: p or -9?
-9
Let f be 15/(-24) + (-1)/8. Which is greater: -1 or f?
f
Let t = -73/5 - -15. Which is greater: t or 12/11?
12/11
Suppose 3*s - 9 = -15. Is -3 at least s?
False
Let a(q) = -8*q - 13*q**2 + 17*q**2 - q**3 - 13 - 11*q**2. Let y be a(-6). Do y and 2/19 have the same value?
False
Let r(o) = -2*o - 5. Let q be r(-4). Suppose 5*i - 4 = 2*c, -2*i + c + 2 = -q*i. Suppose i = 5*m - m + 4. Which is greater: m or -4?
m
Let u = -26 - -73/3. Which is smaller: 0.1 or u?
u
Suppose 0 = -5*h + x + 18, 0 = -h - 4*x + 2 - 11. Suppose z + 0*z = -h. Let k be 3/(-7)*z/(-9). Which is smaller: -1 or k?
-1
Let h = -931 - -29795/32. Is 1 != h?
True
Let d = -18 - -12. Let s = -5 - d. Does -3 = s?
False
Let q(j) = -3*j - 3 + 5*j - j - 5. Let h be q(7). Suppose -5*b - 13 = v, 3*v = 3*b - v - 6. Which is bigger: h or b?
h
Let d be -2*(7 - (-1 - -3)). Which is bigger: d or -9?
-9
Let v(z) = -2*z**3 + z**2 - z + 1 - 2 + 2*z. Let i = 4 - 3. Let y be v(i). Is y equal to 2/17?
False
Suppose 5*a + 0*b - 5*b + 10 = 0, 2*a + 5*b + 4 = 0. Let q = -58 - -56. Is q smaller than a?
False
Let b = -1 + 15. Let v = -14 + b. Which is greater: v or -3/11?
v
Suppose -7 = 4*k + 9. Let j be k/(-12) - 6/(-9). Is 1/6 at most as big as j?
True
Let m be 209/86*(-1302)/(-7). Let s = m - 452. Let v = 95/387 - s. Is v less than 1?
True
Let y = 1606 + -14468/9. Which is bigger: -3 or y?
y
Let s be -4*((-7)/(-6) - (-8)/(-12)). Which is bigger: -10/9 or s?
-10/9
Let m(n) = 5*n**2 + n - 1. Suppose s + 3*s + 7 = -5*z, -3*s = -2*z + 11. Let t be m(z). Let a be ((-20)/25)/((-2)/t). Is 1 at least as big as a?
False
Let g = -790 - -2345/3. Which is bigger: -7 or g?
-7
Let y = -4.6 - -0.6. Let g = -24 - -15. Let n = g + 9. Which is smaller: n or y?
y
Let w = 10 + -8. Is w greater than 2?
False
Let u = 2999/30 - 100. Are u and -1 unequal?
True
Suppose t - 10 = 3*s, t - 4*s = -2*s + 8. Let g be (-2)/((-108)/51 - -2). Suppose 4*j - 4*y = -1 + g, -3*j = -y - 10. Do t and j have different values?
True
Let m(k) = -6 - 5 - 1 + 2*k + 0. Let a be m(6). Which is greater: -2/15 or a?
a
Let x = -3 - -2. Which is bigger: 1/4 or x?
1/4
Let m = 4.07 - 0.07. Let r = m - 0. Let u = r - 4. Which is bigger: u or -2?
u
Let z = -37/16 + 17/16. Let r be (4/(-2) + 2)/2. Are r and z unequal?
True
Suppose 0 = 6*r - 14*r - 8. Suppose -5*n + 19 = 3*o, 0 = -8*o + 5*o + 3*n + 3. Is o <= r?
False
Let a = 56/3 + -18. Let o be (-2)/10 + (-429)/55. Let c be 3/(-6) + (-12)/o. Do a and c have different values?
True
Let k = -16 - -16. Which is smaller: k or -8?
-8
Let u be (-496)/(-120) + (-2)/6 - 3. Let h = -3 + 4. Is h at least as big as u?
True
Suppose 3*r + 6*r + 18 = 0. Is -10/13 less than or equal to r?
False
Let t(j) = 4*j**3 + 13*j**2 + 13*j + 10. Let i(l) = 9*l**3 + 27*l**2 + 27*l + 20. Let n(y) = -3*i(y) + 7*t(y). Let r be n(-9). Which is smaller: r or -2/11?
-2/11
Let y = -2.02 + 0.99. Let w = 0.03 + y. Which is greater: w or 2/5?
2/5
Suppose z + 4*z - 4*h = 6, -1 = z - 3*h. Suppose 0 = -2*s - 4*t - 14, 2*s + 0*t + 8 = -z*t. Let x be (2*(-1)/14)/((-2)/(-4)). Which is greater: x or s?
x
Let q = 701 + -34351/49. Which is smaller: 0 or q?
q
Let t = 8 + -3. Is t <= 4?
False
Let x = 23 - 18. Is x != 5?
False
Let t be (2/(-1))/(6 - 5). Let k(c) = c**3 + 3*c**2 - 2*c + 5. Let v be k(-4). Which is greater: v or t?
t
Let y = -41.2 - -60.3. Let m = y - 20. Let x = 0.1 - m. Is x bigger than 3?
False
Suppose 356 = -2*b + 3*j, -5*b - 3*j - 761 - 129 = 0. Let x = b + 1249/7. Let l = x + -13/14. Are -2 and l un