)/3. Let y = o + -121/4. Which is bigger: 1 or y?
1
Let z = -51/172 - -2/43. Let q = 26 - 17. Suppose -2 + 29 = -q*c. Do z and c have the same value?
False
Suppose 0 = -2*u + 5*u - 15. Suppose 9 = -3*a + 3*t, -3*a + 2*t - t - u = 0. Let n be ((-3)/(-24))/((-2)/4). Which is smaller: n or a?
a
Let m be 2/(-5) + (-9)/15. Which is greater: m or -3/5?
-3/5
Let z(l) = l. Let t be z(0). Suppose t = -5*k + 9 + 6, -2*v - 3*k = -19. Is v <= 4?
False
Suppose 2*l - 3*j = 1 + 3, 3*l = 2*j - 4. Are l and -17/5 nonequal?
True
Let r be (-1)/2 + (-52)/(-8). Is 24/5 >= r?
False
Let y = 0.11 - 0.02. Is y greater than 0?
True
Let v = -139/195 - -3/65. Does -6 = v?
False
Suppose -6 = 11*d + 115. Which is smaller: -4 or d?
d
Let h be -13 + 2*1/2. Let m = 989 + -1002. Which is smaller: m or h?
m
Let d = 9 + -7. Let s be (1 - (-3 + d))*4. Is s > 8?
False
Let d = 13.2 - 2.3. Let s = d + -11. Is 0.03 greater than s?
True
Suppose 2 + 8 = 2*a. Which is bigger: 4 or a?
a
Let t = 2 - -6. Let o be 34/(-4) - t/4. Let x = o + 10. Is 0 not equal to x?
True
Let i(j) = -j**3 - 5*j**2 - 5*j - 1. Let m be i(-4). Suppose -4*b = m*v - 3, v + 6 = -0*b + b. Is 3 at most b?
True
Let i(q) = -2*q - 12. Let s(a) = -a**3 + 4*a**2 - a - 2. Let v be s(4). Let j be i(v). Are j and -1 non-equal?
True
Let z = -2.966 + 0.006. Let d = z + 3. Let l = -0.24 + d. Are l and 1 unequal?
True
Let g = 14 + -16. Let a be (-1 + g)/1 + 17. Is a less than or equal to 15?
True
Let i = 16 + -10. Let a = -5 + i. Let h = -1.2 + a. Is h >= -0.2?
True
Let g be (-1)/(-1 + (-192)/(-196)). Is g greater than 51?
False
Let w(h) be the first derivative of -h**3/3 - h**2/2 + h - 2. Suppose 2*r - 2*o = -0*o + 10, 0 = 3*o + 12. Let c be w(r). Which is smaller: c or -3?
-3
Let v = 46 - 26. Is 20 <= v?
True
Suppose -3 = -3*d - 0. Let u(p) = -10*p**3 + 2*p - 1. Let f be u(d). Is f smaller than -10?
False
Let s = 37 + 10. Suppose 5*g - 53 = s. Let w be 1/(-1) + 25/g. Is -1 equal to w?
False
Let g = 0.03 - -3.97. Let c = -78.9 + 79. Is c <= g?
True
Suppose 9*h + 90 = -54. Which is smaller: 0 or h?
h
Let v be (-3)/2*(-20)/(-75). Which is bigger: 1 or v?
1
Let t be 2/6 + 3/(-9). Suppose -2*x - 3*i + t + 12 = 0, 4*x + 20 = 5*i. Suppose -12*j + 11*j = 0. Is j equal to x?
True
Let u = -176/3 + 58. Let x = -0.05 + 2.05. Is x >= u?
True
Let y = 19 + -16. Suppose y*d + 0*d - 3 = 0. Let a(v) = -v**3 - 7*v**2 + v + 9. Let i be a(-7). Is i < d?
False
Let q = -0.05 + 0.03. Let g = q + 0.02. Which is bigger: g or -4?
g
Let a = -13 + 13. Suppose -1 = 2*c - 3*t - a, -3*t = c - 4. Let j be (-1)/2 + (-21)/(-18). Which is smaller: j or c?
j
Suppose 0 = -j + 3*j - 14. Which is smaller: j or 3?
3
Let s = -5 + 8. Suppose s*t = -2*a + 2 + 12, 0 = -4*t - 4*a + 20. Let b = -5 - -10. Is b not equal to t?
True
Let s = 11 - 21. Let d be s/(-25)*(-5)/(-14). Which is bigger: -1 or d?
d
Suppose -5*o - 3 = 2. Let c = -3 - o. Are 0 and c unequal?
True
Let b be (-12)/(-5) + (-2)/5. Suppose -3*w + 1 = -8. Suppose s = -b*s - w. Is s not equal to 1/6?
True
Suppose 2*k + 4*t + 2 = 4, -2*t = 4*k - 10. Which is smaller: k or 2?
2
Let r = 19 - 15. Let s = 9 - r. Which is greater: 0.2 or s?
s
Let c = -8 - -7.7. Let s = 1.6 - 2.3. Let m = c + s. Which is greater: -2/5 or m?
-2/5
Let f be (-2)/3 + (-112)/12. Let x be ((-36)/(-45))/(2/f). Is x greater than or equal to -2?
False
Let m = -6.7 - -6.9. Which is smaller: 5/4 or m?
m
Suppose -v = -2*v + 7. Let c(q) = -q - 1. Let f(o) = o**2 - 10*o - 4. Let a(b) = 3*c(b) - f(b). Let z be a(v). Is z bigger than 0.1?
True
Let b = 10 - 5. Suppose -16 = -4*z, -4*h + 2*h + b*z = 8. Let c be -1 - (-3 - h/3). Is 5 less than or equal to c?
False
Let h = -10 + 15. Suppose -4*c = -r - 11, -h*r - 5*c + 20 = -0*r. Let s = 43/33 - 18/11. Are r and s nonequal?
True
Suppose 7*s - 3*s = -40. Is s bigger than -17/2?
False
Let l be (-4)/(-14) - (-1082)/(-14). Let x = -55 - l. Let i be x/30 - (-2)/(-6). Which is bigger: -1 or i?
i
Let v = 0.3 + -0.1. Let q be (8/10)/((-7)/(-90)). Let f = -10 + q. Which is bigger: f or v?
f
Let b = 2.8 - 3. Let a = b - -0.4. Let l = 0.4 - a. Which is greater: -0.1 or l?
l
Let v = -13 - -19. Which is greater: v or -2/9?
v
Suppose 0 = -2*p + 3*u + 7, -p + 11 = -5*u - 10. Let v(t) = t + 3. Let s be v(p). Does s = -1/9?
False
Suppose 0 = -4*m + 3*j + 44, 0 = 5*m - 4*m + 5*j - 11. Let w(a) = a**2 - 10*a - 12. Let f be w(m). Is f not equal to -1/7?
True
Let f = -75 + 372/5. Let m be (-4)/5*1*-5. Suppose -d = 3*d - m. Which is smaller: d or f?
f
Suppose 2*i = -0*i - 8. Let r = i - -2. Let g(y) = -2*y**2 - 2*y + 1. Let n be g(1). Are n and r non-equal?
True
Suppose -4*p = p + 35. Which is greater: -6 or p?
-6
Let q = 0 + 1. Let m be (1*0/q)/2. Let x = 1/45 - 28/45. Do m and x have the same value?
False
Let l be 1 - 0 - 9/4. Which is bigger: l or 0.1?
0.1
Let d be (-2)/5 + (-78)/30. Let b be 2 - (d/2 + 2). Let c be 2*(1 - 3/(-6)). Is b at most c?
True
Let w = 106 - 103. Is 4/3 greater than or equal to w?
False
Suppose 0*g - p + 15 = 3*g, 0 = g - 4*p + 8. Let a be (-2)/7 + g/7. Is 0 >= a?
False
Suppose 3 - 1 = -2*w. Let f = -711 - -5479/9. Let i = 102 + f. Is i < w?
False
Suppose -2*j + 4*y - 4 = 2, 4*y = -3*j + 11. Which is bigger: -1/22 or j?
j
Let j(p) = -61*p + 2. Let c be j(-4). Let u be 2203/9 - (-1 + 0). Let a = c - u. Is a smaller than -1?
False
Let c = 1 + 0.5. Let y = -4.5 - c. Let i = -11 - y. Which is greater: -0.1 or i?
-0.1
Suppose 0*x + 16 = -4*x. Is x at most as big as -3?
True
Suppose -3*j = 5*o - 9, -19 = 3*j + 2*j - 3*o. Let a be -3*j*(-2)/4. Let m = 1 + a. Is m at most 0?
True
Let z = 4 + -2. Let w be (z - (-3 - -6))*-5. Let p be w/45*(-1 - 0). Which is smaller: 0 or p?
p
Let y = -78.8 - -72. Let g = -0.8 - y. Is -1 smaller than g?
True
Let m = 27 - 47. Let q = -22 - m. Which is smaller: q or 3?
q
Suppose 3*f - 2*f = 5*w - 25, -f = -w + 5. Let y(n) = n**2 + 3*n + 3. Let o be y(-2). Let h be 1/o + (-2)/(-6). Which is greater: h or f?
h
Let l = 9 + -5. Let g = -1 + l. Do g and 1 have the same value?
False
Let u = -8 - -9. Let i be 2/(-4) - (-5 + 3). Which is greater: u or i?
i
Let f be (8/(-20))/((-4)/5). Does 2 = f?
False
Let r = -4 + 6. Let p = 17 - 16.8. Are r and p unequal?
True
Suppose -8 = -g - 3*s - 38, -4*g - 102 = 3*s. Let f be (-27)/g*-2 + 2. Is f > 0?
False
Let b(f) = f**3 + 5*f**2 - f - 1. Let i be b(-3). Suppose 0 = -4*h - h + i. Suppose 3 = u + h. Which is smaller: 1 or u?
u
Suppose 0 = -2*u - 2, 2*u + 12 = -3*n + 5*n. Suppose g + 2*g - 12 = 0. Is n smaller than g?
False
Let b = -0.31 + 0.3. Let n = 2/29 - -52/87. Which is smaller: n or b?
b
Let c = -27/46 + 2/23. Suppose -8*j - 2 = -7*j. Which is bigger: c or j?
c
Let o = -0.12 + -6.88. Let v = o - -6. Which is greater: v or 0.4?
0.4
Let m be -1 - -23 - (6 + -8). Is 24 != m?
False
Suppose -4*z = -2*z + 6. Does z = -4?
False
Let q be (3 - (-2 + 8)) + 4. Which is smaller: q or -3?
-3
Let f = 0.27 + 0.03. Let w = -2/17 + 40/51. Which is greater: f or w?
w
Let l be (144/(-1302))/(6/(-21)). Is -1 > l?
False
Suppose -5*q - 5 = f, q + 3*f = f - 10. Suppose 0 = 5*j + 6 - 21. Suppose 0 = 2*p + j*p. Is q >= p?
True
Let v = 3 - -1. Suppose -v*b + 21 = -d - 9, -4*d = -b. Suppose -5*y - 35 = -5*i, 3*i = 5*i - b. Is y equal to -3?
True
Let k = -7.2 - 1.8. Let v = 9.1 + k. Do v and 0.1 have the same value?
True
Let j = 46 + -53. Do -40/7 and j have different values?
True
Suppose x - 12 = -3*x. Let a = x + -1. Let h be 1 - ((-3)/a)/3. Is h greater than 1?
True
Let w = -3/5 - -1. Let c = 123 + -127. Is c less than or equal to w?
True
Suppose -5 = 3*b + 2*b. Suppose 2*y + 1 = -0*g - 3*g, 3*y - 3 = 0. Is b greater than or equal to g?
True
Let x = -0.21 - -0.01. Let k = x + -0.9. Let y = k + 1. Which is bigger: y or -2?
y
Suppose -5*j - f + 22 = 0, -2*j + 3*f + 6 = 2*f. Let a(z) = 3*z**2. Let u be a(-1). Let n = j - u. Do n and 1 have the same value?
True
Let c(f) = -f**3 - f**2 + 2*f - 3. Let z be c(2). Let h be (-20)/15 + 2 + 24/(-9). Which is smaller: z or h?
z
Let a = -1/31 - 28/93. Let s(v) = -v**3 - 5*v**2 - 5*v + 2. Let i be s(-4). Let p = -6 + i. Are p and a non-equal?
True
Let j(y) = -2*y**2 - 25*y + 23. Let d be j(-14). Is -22 bigger than d?
False
Let z = -2 - -4. Let s = 0.9 + -1.3. Which is bigger: s or z?
z
Let z = -35 - -36. Which is bigger: 