 p be ((-4)/(-10))/(2/k). Let u be (p/(-14))/(3/(-7)). Which is smaller: 0 or u?
0
Let g be ((-21)/(-63))/(1/(-3)). Is g equal to -1?
True
Let v be ((-3)/2)/((-15)/20). Let g be (1 + -9)/4 + v. Which is smaller: -1/32 or g?
-1/32
Suppose -6*m = -8*m + 6. Which is smaller: 10 or m?
m
Suppose -h + 13 = 12. Which is greater: -13 or h?
h
Let r be (0/(9/3))/(-2). Let o be (1 + -10)*2/(-6). Let z be ((-2)/o)/(4/6). Which is greater: z or r?
r
Let o be 1323/(-45)*(-26)/(-6). Let b = o - -127. Does b = 0.1?
False
Let n = 9 - 8. Suppose l + 7 = -4*o, -4*l - 3*o = 3 + 12. Let y = l - -4. Is n < y?
False
Suppose z + 2 = -3*h + 11, 5*z - 25 = -5*h. Which is bigger: 5/3 or h?
h
Let f be (19/6 - 3)/(-3). Is f at least as big as -1?
True
Let j = 14 + -10. Suppose 3*w - 5*k + 3 = w, k = 5*w - j. Which is bigger: 2/3 or w?
w
Let p be 1/36*24/(-16). Which is bigger: 0 or p?
0
Suppose 5*n - 4 = 4*n. Suppose 5*i = x + 5, -n*x = 3*i - 4*i + 20. Let q be 2/4*20/x. Is q > 0?
False
Suppose 0 = -9*g + 4*g - 75. Let r = 43/3 + g. Is -2 greater than r?
False
Suppose i + 4*m + 21 = -0*i, 3*m = 5*i - 10. Let s be (-12)/3 + i + 2. Which is smaller: -2 or s?
s
Let m be (-11)/(-77)*4*1/2. Which is smaller: m or 1/84?
1/84
Let s = 59 + -31. Suppose -4*l + 40 = -s. Which is greater: 18 or l?
18
Let s = 6 - 0. Let w = 5 - s. Which is smaller: w or -5?
-5
Suppose -5*b - 30 = -5. Which is greater: -4 or b?
-4
Suppose 0 = 5*f + 25, 4*f = n - 19 - 2. Suppose -5*c - n + 6 = -5*q, -3*q = -4*c + 8. Let x be (3/(-6))/(2/q). Which is greater: x or -1/3?
-1/3
Let b = -0.8 + 0.74. Let p = 0.04 - b. Is -2 not equal to p?
True
Let w be ((-3 - 0)*1)/(-1). Suppose -5*g + 25 = -5*l, -5*g + 16 = 5*l - 9. Let i = g - 4. Is w < i?
False
Let x be 2/9 + (-7)/(-9). Suppose -3 = -2*a - x, -a + 16 = 5*w. Suppose w*z + 3*m = 6, 2*z + 3*m + 8 = 6*z. Which is greater: z or 1?
z
Let m = -4621/8 - -579. Which is smaller: 2 or m?
m
Let h = -3 - -8. Let l = -3 + h. Let q be (l/5)/(4/(-20)). Which is smaller: -1 or q?
q
Suppose 2*s - 3*f - 1 = 0, -6 = 4*s - 0*s + 2*f. Is 0.08 bigger than s?
True
Let p(b) be the first derivative of b**3/3 + 4*b**2 + 2*b - 2. Let q be p(-8). Let l be ((-5)/25)/((-2)/q). Which is greater: 1 or l?
1
Let f = 48 - 143/3. Suppose -5*g + 0*g + 375 = 0. Let m be 30/g - 4/10. Is f at most m?
False
Let t be -1 + 0 + 7/7. Let a be 119/(-56) - (t + -2). Is 1 >= a?
True
Let r = 27 + -25. Suppose -r*s + 30 = 4*s. Which is greater: s or 0.1?
s
Let k(j) = -j**3 + 4*j**2 + 5*j + 7. Let o be k(5). Is o != 8?
True
Suppose h + 5*y - 5 = -h, -h + 3 = 3*y. Let f be (h + -4)*(-2)/(-4). Let g = -2 + f. Is g equal to -1?
False
Suppose -5*v + 102 + 33 = 0. Let j be 3/5*30/v. Let n = -1.96 - 0.04. Which is smaller: n or j?
n
Suppose 2*g = g - 2. Let i = g + 1. Is -1/6 bigger than i?
True
Let n(z) = -z**3 + 6*z**2 + 3*z - 19. Let h be n(6). Which is smaller: h or 3?
h
Let l be (138/(-66) - -2)/(-1 - -2). Which is bigger: 0 or l?
0
Suppose -5*h + 5*p + 350 = 0, 2*h + 2*p = 3*p + 136. Let o be (-2)/6 - (-28)/h. Which is smaller: -1 or o?
-1
Let l(v) = v**2 - 8*v - 4. Let x be l(4). Let y be x/35 + (-244)/14. Does -18 = y?
True
Suppose -3*w + 5*q + 25 = 2*w, -5*w - q = -13. Which is smaller: 4 or w?
w
Let b = -0.047 + 0.147. Suppose 3*d - d = -6. Are b and d non-equal?
True
Let l = -32 - -16. Is -44/3 not equal to l?
True
Let u(j) be the first derivative of j**4/4 + 2*j**3 - 3. Let o be u(-6). Suppose o = m - 3*m. Is m bigger than 1?
False
Let x(d) = d**3 + 2. Let m be x(0). Suppose -3*q = m*q - 3*l - 32, -2*q + 19 = 5*l. Let n = -10 + q. Is n at most as big as -2?
True
Suppose -6*k = 7 - 1. Let q = 55/3 - 19. Which is greater: k or q?
q
Let g be (2/(-14))/(((-8)/6)/(-4)). Do 1 and g have the same value?
False
Let j = 5 + -9. Let n = -6 - j. Let v = -13.4 + 13.3. Is v at least as big as n?
True
Let i = -5 + -3. Let f = i - -15. Let v = f + -7.1. Which is greater: v or 1?
1
Let j be (2/(-1))/((-4)/(-18)). Let k = -3 - j. Suppose 0*c - 5*o = -2*c + 15, 0 = -2*o - k. Which is smaller: 1 or c?
c
Let w = 0.1 - 0.1. Let b be (1/(-4))/((-1)/(-118)). Let j = -28 - b. Are w and j equal?
False
Let q = 0.3 + -0.26. Let g = -87 - -87. Which is greater: q or g?
q
Let o = 1 + 3. Suppose 2*w = -3*k + 7, 5*w - w = -4*k + 12. Is k > o?
False
Let w = -1 - -2. Let p be -3 - (-124)/(-40)*-1. Are w and p nonequal?
True
Let n be (87 - -1)/(-4) + 2. Let u = n - -18. Is u greater than -2?
False
Suppose 0 = f + 2*f + 12. Let m be (-27)/(-42)*f/6. Let t = 0 + 1. Which is smaller: m or t?
m
Let w be (1 - 0) + (-3)/6. Let f = 1 + -2. Let s = 1 + f. Which is smaller: s or w?
s
Let q = 3 + 0. Is 24/11 != q?
True
Let d be (1/(-1 - 0))/1. Which is bigger: d or -4?
d
Suppose -2*l + 4*w + 134 = l, 4*l - 176 = 4*w. Let c be 12/l + (-2)/7. Suppose -7 = -4*y - 3. Is y >= c?
True
Let j be 68/18 - 2/(-9). Suppose 5*s = j + 6. Suppose 0*y - 3*y = -6. Are s and y unequal?
False
Suppose -120 = -6*g + 2*g. Suppose -5 = 4*p - q - 6, 0 = -5*p - 5*q - g. Which is smaller: p or -7/5?
-7/5
Let a = 10 - 12. Is -2 > a?
False
Let p = -3 - -2. Let l = p - -1. Let m = 0.1 + l. Which is bigger: 1 or m?
1
Suppose 0*c + 5 = 5*c. Which is bigger: c or 0?
c
Suppose -2*f + 8 = -6*f. Let p = 6 - f. Suppose -1 = -3*b + p. Which is smaller: b or 2?
2
Let v = -1 - -0.2. Let g = -1.4 - v. Let b = g - -0.4. Which is smaller: b or 1?
b
Let s be (-2)/11 - 996/(-33). Let j be 292/s + (-2)/1. Let g = 37/5 - j. Are 0 and g equal?
False
Suppose 5*i - m = -1 - 13, -i = 4*m - 14. Let c be 2*-1*1/1. Is i less than or equal to c?
True
Let m(i) = -i**3 - 8*i**2 + i + 7. Let b be m(-8). Which is smaller: 2/71 or b?
b
Suppose -s + c + 6 = 0, -2*s - 7 = 5*c + 2. Suppose 4*w - 4*u = 3*w + 16, -s*w + 76 = 2*u. Let x be -4*(-3)/w*-6. Does x = -2?
False
Let r = -33 + 61. Suppose q + 4*p = -1 + 2, -2*q + 5*p + r = 0. Is 9 at most as big as q?
True
Let w = 0.18 - 1.28. Let k = -2.2 - -3.2. Let m = w + k. Which is bigger: m or 1/4?
1/4
Let n be (-6)/4*(7 - -11). Are n and -28 equal?
False
Let j = 2 + 4. Suppose -2*p - p - j = 0. Let d(i) = -i**2 - i. Let s be d(-2). Is s < p?
False
Let m = -16 - -8. Let j be 6 - (1*m)/(-4). Suppose 0 = i + 5, -4*y + 2*i + 31 = -i. Is y bigger than j?
False
Let a(s) = 6*s - 19. Let k be a(3). Is -3 not equal to k?
True
Let u be 709/(-237) + (11 - 8). Let g = 164/711 - u. Which is greater: g or 0?
g
Let h = 5 + -7. Which is bigger: h or -1?
-1
Let q = -20.93 + 21. Which is smaller: 0.1 or q?
q
Suppose 0 = 5*i - 160 - 190. Let r be (-1)/(i/4)*-15. Is 0 < r?
True
Let a(g) = -3*g - 11. Let b be a(-3). Let l(w) = w**3 - 6*w**2 - w + 4. Let j be l(6). Is j at most b?
True
Suppose -g - g - a = 0, 4*g + 3*a = -4. Is g less than 0?
False
Let o be 7/(-3) - (-4)/6. Let r = -2 - -1. Is r > o?
True
Let x = 2 - 8. Which is bigger: -5 or x?
-5
Suppose -20*h = -18*h - 16. Which is smaller: h or 7?
7
Suppose 30*c = 31*c - 1. Is c >= -2/35?
True
Let u = -14 + 15. Is 3/4 smaller than u?
True
Let x = 5 - -4. Suppose -n - x = -0. Let q be 0 + (1 - 6/n). Which is smaller: 3 or q?
q
Let z(o) = 4*o + 3. Let q(g) = g. Let v(t) = -3*q(t) + z(t). Let f be v(-4). Let u be (-1)/(-2)*f/(-2). Is u greater than -1?
True
Suppose j + 3*k + 2 = 0, k = -4*j + 3*j. Let p(o) = -4*o - 59. Let a(i) = -2*i - 29. Let x(g) = 5*a(g) - 2*p(g). Let b be x(-14). Is b smaller than j?
False
Let r(t) = -t**3 + 11*t**2 + t. Let g be r(11). Is 12 > g?
True
Suppose 3*t + 2*t = -5. Let b = -735028 + 15442285/21. Let g = 319 - b. Is t >= g?
False
Suppose 2 - 20 = 6*x. Let p = -1 - 1. Let c = p + 0. Is c less than x?
False
Let z be 0/(-2) + (-2)/(-4). Let p = -7.1 + 7. Is p at least as big as z?
False
Suppose m + p - 3*p = 0, 0 = -5*m - 3*p + 65. Is m at least as big as 11?
False
Let i be (-3)/10*6/(-9). Is 1 > i?
True
Let c = 1 + -3. Which is smaller: c or 0.2?
c
Suppose 0 = 4*c - 2*v + 22, 5*c - 4*c + 5*v = -11. Is c <= -70/11?
False
Let f = -3.1 + 3. Let o = 19.9 - 18. Let n = f - o. Which is bigger: -0.2 or n?
-0.2
Let a = -9/5 - -13/10. Suppose 0*z = 3*z - 3*g - 30, 2*z - 25 = 3*g. Let t = z - 5. Which is smaller: t or a?
a
Let d = 0.04 + 8.26. Let c = 0.9 + d. Let a = c - 9. Which is smaller: a or -0.1?
-0.1
Let w = 0.4 + -0.2. Let u be (6/22)/((-18)/(-12)). Is w bigger than u?
True
Let q(m) = 1 + m**3 