/(-1) - 3/3. Let q be (l/5)/((-3)/(-15)). Let a be 1*q*0/(-3). Is 2/11 bigger than a?
True
Suppose 2*q + 3 = -3*h + 6*q, 4*q = -4*h - 4. Which is greater: h or 1?
1
Suppose 0*z - 3*z + 17 = -2*f, 4*z + 5*f + 8 = 0. Suppose z*m = -m + 16. Suppose -m*l = -2*j + 4*j - 10, 4*j + 4 = 0. Is l not equal to 1?
True
Suppose 3*w + 6 = 6*w. Suppose 3*p = w*p + 3. Let c(i) = -2*i - 5. Let o be c(-4). Are o and p unequal?
False
Suppose 2*a + 3*f = 0, -8*a + 3*a + 2*f = -19. Suppose a*j - 26 = 3*v + v, 0 = j - 4*v - 22. Is 3 < j?
False
Let z be (-1)/(-3) - (-8)/3. Let s = -8 - -8. Suppose s*q + z*q = -12. Is q greater than -5?
True
Let j = 16.5 - 11.6. Let y = 63 + -58. Let u = y - j. Is u >= 0.1?
True
Let w(g) = -10*g**2 + 9*g + 1. Let s(n) = 3*n**2 - 3*n. Let h(x) = -7*s(x) - 2*w(x). Let c be h(1). Does 2/13 = c?
False
Let i(p) = -p**2 - 4*p + 2. Let c be i(-4). Suppose 0 = -5*g + 4*d - 17, 0 = -4*g - d + c*d - 7. Let s be (-5 - -7)*(-2)/14. Are g and s unequal?
True
Let l = -121/114 - -7/6. Is l < 4?
True
Let u be 3 + (-40)/(8 + -3). Which is smaller: -2 or u?
u
Suppose -5*c + 3 = -4*j, 3*j = -4*c + 6 + 15. Suppose 4*p = u + 2*u - 3, -p = c. Let v be u + (-7 + 0)/(-1). Is v != 4?
False
Let q(o) = o - 16. Let u be q(16). Which is greater: u or 3/5?
3/5
Let f = 2 - 1. Let z be -1 - (-2 - 2/(-2)). Suppose z = y - 3*y - 2. Which is bigger: y or f?
f
Suppose 3*f + 29 = 4*y, 4*f + 6*y + 80 = y. Suppose 8*l + 10 = v + 5*l, 7 = -5*v - 4*l. Is f greater than or equal to v?
False
Let m = 11 - 11. Is 0 bigger than m?
False
Let q = 125/3 - 42. Which is smaller: -7 or q?
-7
Let i(y) = -y + 1. Let s be i(-3). Suppose 0 = -3*o - o - s. Let c = -64 - -317/5. Are c and o unequal?
True
Let x = -7 - -7. Suppose 17 + 3 = -4*a - 4*q, x = a - 4*q - 10. Is a smaller than 0?
True
Suppose 7 = 4*f - 0*q + 3*q, 3*f + 4*q = 7. Let l be 1/(2 + -3) - f. Let z be 3*((-4)/(-6))/(-2). Which is bigger: l or z?
z
Suppose 3*g - 3 = -2*u, -3*u + 6*g - 4 = 2*g. Which is smaller: 3 or u?
u
Let g = 0.26 + -0.33. Which is bigger: 0 or g?
0
Suppose 0 = 3*d + 3, 0*f + 5*f + d + 186 = 0. Which is greater: -38 or f?
f
Let r be 14/21*(-51)/(-2). Suppose 56 = -4*j + 4*l, r = -j + l + l. Which is smaller: -9 or j?
j
Let j be (-3 + -4)*(-30)/21. Are 11 and j equal?
False
Suppose -5*a + 18 - 3 = 4*u, -3*u = 5*a - 15. Let d = -8 - -8. Does d = u?
True
Let i be 3/9 + 2 + -3. Which is greater: i or 2/27?
2/27
Let t = -5/14 + 11/70. Is 0 > t?
True
Let k be ((-2)/4)/((-1)/12). Let q = k - 6. Is q less than 3/4?
True
Let d = -11 + 18. Suppose 4*v - d*v - 30 = 0. Is -10 greater than v?
False
Let i be 3 + 9/(-12)*-4. Suppose 0*r = 2*r + i. Is 3 >= r?
True
Let i = 31 + -21. Let w(r) = r - 14. Let h be w(i). Is h >= -4?
True
Let b = 8 + -9. Let n = b - 0. Is n greater than 3?
False
Let s be (8/(-36))/((-10)/(-15)). Which is greater: s or -7?
s
Let l = 50 - 107. Let x = -397/7 - l. Which is greater: x or -3?
x
Let t = -0.01 - 2.99. Let n = t - 2. Let d = 3 + n. Which is greater: 2 or d?
2
Let a = 2941/1614 - -3/269. Which is bigger: a or 1?
a
Let w = -17 + 6. Let v = 10 + w. Which is bigger: -0.3 or v?
-0.3
Let i(v) = -v**2 - 8*v - 15. Let h be i(-6). Let x be (-16)/(-28)*h/(-24). Are -1 and x non-equal?
True
Suppose 3*y + 2 = y. Suppose 0*d = -3*d - 60. Let p be -2 + 5/(d/(-8)). Which is bigger: y or p?
p
Suppose -4*q = 7 + 1. Let z = q - 1. Which is greater: -2 or z?
-2
Let l(z) = 2*z + 1. Let r be l(0). Which is greater: r or 3?
3
Let k(f) = f**3 - f - 2. Let o be k(2). Let c = o + -3. Let p(n) = n + 6. Let d be p(-7). Is c >= d?
True
Let p be 749/35 - 4/10. Let s = p - 9. Suppose 0 = -4*f - 5*k - 29 - 0, -2*f = 2*k + s. Is f smaller than -5/3?
False
Let q be (2/2)/(1/4). Let l be q*1*1/(-2). Let b(j) = j**2 + 6*j - 28. Let p be b(-9). Which is greater: l or p?
p
Let l = 101 + -55. Which is bigger: -2 or l?
l
Let o = 81 + -78. Which is smaller: 4 or o?
o
Let c(v) = v - 1. Let t be c(-9). Let w(j) = j + 12. Let d be w(t). Is -2/5 at least d?
False
Suppose -q + 0 = -2*h + 1, 5*h - q - 7 = 0. Let c be h/(-12)*(-10 - -1). Which is smaller: 1 or c?
1
Let o(b) = b + 1. Let t be o(3). Let g = t + -2. Suppose 0 = -g*y + 8, 2*i = 6*i - 4*y + 12. Is i bigger than 3/5?
True
Suppose -5*g = -2*z + 15, 0 = -5*z - 5*g - 8 - 7. Let y = -2 - z. Let n be 2/(-2) - 1/y. Which is bigger: n or -1?
n
Let i be 26/10 + 12/30. Let l be (-5 + i - 53) + 3. Let m = l - -886/17. Which is bigger: m or 0?
m
Let n = -0.002 + -1.998. Which is smaller: n or 12?
n
Let j = 40 + -36. Let o = -0.3 + 0.4. Which is bigger: j or o?
j
Let u = 2.33 + -0.33. Which is smaller: u or 0.7?
0.7
Let w(l) = 3*l - 8. Let y be w(4). Let r(x) be the third derivative of x**5/20 + x**4/24 - x**3/6 + x**2. Let j be r(1). Is j at most as big as y?
True
Let x = 26.51 + 0.49. Let f = x + -25.96. Let g = -0.04 + f. Is -0.2 != g?
True
Suppose v - y + 1 = 0, 5*v + 0*y - y + 13 = 0. Which is smaller: v or -1/2?
v
Let y(q) = -3*q**3 + 11*q**2 + 9*q - 5. Let b(c) = 4*c**3 - 17*c**2 - 14*c + 7. Let l(j) = -5*b(j) - 7*y(j). Let n be l(-7). Which is smaller: n or -2?
-2
Let l = 2/1105 + -5543/9945. Are l and -2 equal?
False
Suppose -3*f + 19 = 5*m, -4*f + 10 = m - 2*m. Let p be f + 0 - (-1 + 3). Is 1/5 at most p?
True
Suppose 2*z + 232 = -2*z. Let a = 113/2 + z. Is a less than -3?
False
Let r be 4 - (0 + 4 - 3). Which is smaller: r or 0?
0
Suppose 5*m + 38 = 4*z, 0 = z - m + 2*m - 5. Let h be 33/4 - (-7)/(-28). Is h less than z?
False
Let z = 0.05 - -0.85. Which is smaller: -0.1 or z?
-0.1
Let p = -65.14 - -65. Which is greater: p or -0.2?
p
Suppose 0 = -5*h - 0*y - 2*y - 6, h + y + 3 = 0. Suppose h = -2*i + u, -3*i + 2*u = -u + 3. Is 5 not equal to i?
True
Let k be 0 - (-3)/(6/4). Let o be (3 + -3)/(-2) - k. Are o and -3 non-equal?
True
Let x be (-2)/11 + 18/(-22). Let p = -2371/5 + 472. Is x greater than p?
True
Let t be (80/9)/(-8)*3/(-5). Are t and -47 non-equal?
True
Suppose q - 4 = -2. Suppose 3*d + 8 = 2*d - 2*j, 0 = -4*d + 4*j + 28. Suppose -l = -q*l - d. Which is bigger: 0 or l?
0
Let m(j) = -4*j - 19. Let c be m(-6). Is -0.03 bigger than c?
False
Let h = -7 - -22. Suppose 0*k - 3*k - h = 0. Is -6 greater than or equal to k?
False
Let h = -4 + 7. Is 3 at most h?
True
Let n(t) = 16*t**3 + t**2 + t + 1. Let m be n(-1). Let d be m/25*2/3. Which is smaller: 1 or d?
d
Let i = 51 - 61. Are i and -10 equal?
True
Suppose -4*u = -o + 5*o + 16, -2*u = -2*o. Let j be 12*o/(-8)*2. Suppose -8*h = -j*h. Is h > 1/8?
False
Let r = -1 + 9. Let c = r - 11. Which is bigger: c or 1?
1
Let q = 5/18 + -4/9. Let f = -2 + 3. Which is smaller: f or q?
q
Suppose -3*f = -i - 4*f + 5, 30 = 3*i - 2*f. Suppose -u + 3*u = i. Let v be 0 - 8/12*27/(-6). Is v >= u?
False
Suppose -5*v = 4*v + 6*v. Which is smaller: v or -2/37?
-2/37
Let d(y) = y + 8. Let v be d(-9). Let h be v/3 + (-6)/(-54). Suppose -1 = -2*x + x. Is h at most x?
True
Suppose -2*h - 6 = -0*h. Let t = 1 - 1. Suppose 3*m + 0*m + 9 = t. Is m at most as big as h?
True
Let s be ((-12)/(2/1))/(-10). Is 0 < s?
True
Let s be 2/4 + (-4)/8. Which is smaller: 2/9 or s?
s
Suppose 5*g - 6*q = -q, -2*q = 5*g. Suppose g = -5*u + u + 60. Suppose 3*z + 2*z = -u. Are -3 and z nonequal?
False
Let o = 689/154 - 31/7. Which is smaller: o or 0?
0
Let s = 0.3 + -0.1. Let x be (-4)/2*1/2. Let v be (x + (-1)/(-3))*-3. Is s < v?
True
Let d = -219/4 + 55. Let t be 2 - 2*8/6. Is t greater than or equal to d?
False
Let v = -21/52 - -1/4. Let u = -1 - -7/5. Which is smaller: u or v?
v
Let k(d) = 2*d**2 + 2*d - 7. Let q be k(-3). Suppose -9*t = -q*t. Is t greater than 4/11?
False
Let m = -337/6 + 56. Let d = 179/12 - 15. Let g = m + d. Which is greater: 0 or g?
0
Let n = -16 + 15. Is -1/22 at least as big as n?
True
Let p(s) = -4*s**2 + 6*s - 6. Let i be p(2). Suppose 0 = -5*k + 4*z - 70, -4*k + k - z = 25. Do k and i have different values?
False
Let x = 146 + -1020/7. Is 47 less than x?
False
Let j = 53 + -92. Let k = 67 + j. Suppose 2*p - k = -2*p. Are 7 and p unequal?
False
Suppose -2*u - 3*l + 1 = -1, -4*l = 4*u - 4. Are u and 1 nonequal?
False
Suppose 4*t + 12 = -5*i, -5*t = 6*i - 2*i + 15. Let f be (-6)/12*4/t. Suppose -10 = -5*m, -2*s + 0*s + 2 = m. Is f equal to s?
False
Let c be (-4)/16*-4 - 28/20. Let d = -1559/15 + 104. Which is greater: c or d?
d
Let 