- 28, -4*n + 1 = -5*u. Let f be (9/(-6))/(u/(-14)). Let i = -8 + f. Which is greater: 1 or i?
1
Suppose -3*s - 6 - 5 = 4*t, t - 1 = 3*s. Let u = 21/88 - 4/11. Are u and s equal?
False
Suppose -3*v + 2*f + f = 0, -5*v = -2*f + 3. Which is bigger: -23 or v?
v
Let b = 227/7 + -33. Is -2 >= b?
False
Let u = 8 + -9. Let b = -1 - u. Let w = 0 - b. Which is greater: -0.3 or w?
w
Let g be ((-1)/4)/((-35)/40). Do g and 0 have different values?
True
Suppose -2*c + 4*i = 16, 2*i - 8 = c - 6*c. Are c and -3/4 non-equal?
True
Let p = -1 - -1.2. Suppose -5*z = -2*j - 14, -j - 3*z = 3*j + 2. Let b be 2*(5/j - -2). Which is greater: b or p?
p
Let i = 31 + -21. Do i and 10 have the same value?
True
Let i = -19 - -21. Which is smaller: i or 7?
i
Let n = 48 - 31. Which is bigger: 1 or n?
n
Suppose t = 8 - 3. Suppose -2*w = 4*f - 4*w + 4, t*w + 16 = -3*f. Let b(u) = u**3 - 4*u**2 - u + 3. Let o be b(4). Does f = o?
False
Suppose 3*f = 5*t + 3, f - 2*f + 1 = -t. Are -1/56 and t equal?
False
Let j(p) = -p**3 + 2*p**2 + 4*p - 2. Let q be j(3). Let d(i) = -3*i**3 + i**2. Let h be d(q). Let l be -1*((-6)/15)/h. Which is bigger: l or 1?
1
Let q(p) = -p**3 - 11*p**2 - 9*p + 12. Let a be q(-10). Let n = 20/9 - 26/9. Which is smaller: a or n?
n
Suppose 0 = -3*u + 7*j - 4*j + 3, -3*u + 2*j = -5. Suppose 2*n + x - 9 = 0, 0*x + 10 = u*n - 2*x. Is 6 at most as big as n?
False
Let v = 1 + -1.2. Which is greater: v or -6?
v
Suppose 5*z + 22 = 2*t, 0*z + 2*z = -t - 7. Is 8/5 at most t?
False
Let m = 7 - 6.4. Let q = -0.7 + m. Let n = 13 - 6. Is n > q?
True
Let o = -6 + 4. Let c = 0.05 + 0.03. Let t = c - 0.18. Is o smaller than t?
True
Let z be 6/(-4)*4/12. Let j be 6/(-33) + (-6)/(-33). Does z = j?
False
Suppose 0 = -4*m - 0*m + 100. Let v = -13 + m. Suppose -2*a = 2*a - v. Is 2 at least as big as a?
False
Let d = -26 + 27. Do 9/8 and d have different values?
True
Let s(l) = l**3 - l**2 - 21*l + 6. Let h be s(5). Let z = -333 - -213. Let c = z + 1079/9. Is c >= h?
False
Let z be (-24)/32*4/5. Is z smaller than -2?
False
Let r = 26.3 + -26. Let n = -1/2 + 3/4. Is r smaller than n?
False
Let w = 2.92 + 0.08. Let m = w - 8. Let p = m + 6. Are -2 and p unequal?
True
Let q = -36.7 - -34. Let p = -0.17 + 0.47. Let b = q - p. Is 2/3 > b?
True
Let t = -0.15 - 0.05. Does t = -3?
False
Let r be 1*(-2 - (-111)/57). Is r less than or equal to 1?
True
Let o = 114/7 + -16. Is o != -1?
True
Let v = -0.36 + 0.36. Let f = 0.9 + 0.1. Which is bigger: f or v?
f
Suppose 3*q - 17 - 7 = 0. Let y(a) = -q - 6*a + 5*a + 2. Let t be y(-9). Is t greater than or equal to 0.1?
True
Let r(p) = 6*p**2 - 3*p - 4. Let k(x) = 5*x**2 - 3*x - 3. Let o(m) = -5*k(m) + 4*r(m). Suppose j = -4*j + 15. Let h be o(j). Are -1 and h unequal?
False
Let h be ((-2)/3)/((-1)/12). Let y be (1/(-4))/(3/h). Which is smaller: -8/3 or y?
-8/3
Let q be 6/9 - (-116)/(-12). Which is smaller: q or -10?
-10
Let r be (-25)/10*(-1)/175. Let w = r - 83/910. Is 1 >= w?
True
Let n = 20 - 5. Suppose -4*g + 3*g = 3*z, 5*g = -n. Are z and 0 nonequal?
True
Suppose -7*f + 2*f = 110. Do -22 and f have the same value?
True
Let w = 30 - 28. Which is smaller: w or 12/7?
12/7
Let t be (-130)/504 + (-8)/(-28). Which is greater: t or 0?
t
Let y be 0 + (2 - 38/20). Let v = 14 + -13. Suppose 0*s = -s - v. Which is smaller: y or s?
s
Suppose 21 = 4*n + 5. Let h be (14/4)/(2/n). Is 8 equal to h?
False
Suppose -2 = i - b, i - 3*b - 13 = -7*b. Suppose 5*m + i = 6. Which is smaller: 1/6 or m?
1/6
Let r = 1.108 - 0.008. Is 0.06 bigger than r?
False
Suppose -90*b = -97*b + 105. Is b smaller than 14?
False
Let t = -543 - -12487/23. Is t smaller than 0?
True
Let l be (-22)/(-99) - (-4)/(-99). Are 1 and l nonequal?
True
Let z = 7 - 9. Let q = 3 + z. Which is smaller: q or -1?
-1
Suppose -4*m + 8 + 12 = 0. Suppose -m*n - q + 6*q + 35 = 0, -n = q - 11. Which is smaller: n or 8?
8
Let v(m) = -3*m - 3. Let s = 9 - 11. Let q be v(s). Do 3 and q have different values?
False
Suppose -3*q - 20 = -5*m - 8*q, 2*q - 5 = -5*m. Suppose 4*v = t + 1, 0*v - 4*v = 3*t + 19. Let o be 0 - (v - -2 - m). Is -2/3 >= o?
True
Let w(d) = d**2 + 7*d - 1. Let o(y) = -8*y + 1. Let a be o(1). Let x be w(a). Which is smaller: -2/11 or x?
x
Let x(c) = c**2 + 6*c + 7. Let j be x(-5). Let k(s) = 2*s**3 - 4*s**2 + 3*s - 1. Let u be k(j). Suppose u*o = -5*z - 15, o + 3*z + 5 + 4 = 0. Is -2 > o?
False
Suppose -6*k = -k + 10. Let w be 8 - -1*(-5 - k). Is w > 0?
True
Suppose 25 = -5*g + 5*x, 4*g - 4*x + 6*x + 44 = 0. Is g bigger than -10?
True
Let y(a) = -4*a + 1. Suppose -5*f - m = -2 + 1, 0 = f + 5*m + 19. Let x be y(f). Do -2 and x have the same value?
False
Suppose 2*q + 2*l = -14, 8*q = 3*q - 4*l - 31. Which is greater: q or 38?
38
Let b = -0.59 + -0.11. Let a = 0.5 + b. Which is greater: a or 4/7?
4/7
Let n be (-1 - (-5)/(-2))*-2. Let r = 9 - n. Which is greater: 3 or r?
3
Let g = -11 + 8. Suppose f - 5*f = 2*b - 50, -5*b - 40 = -5*f. Suppose -5*n - 15 = c + 14, 4*c - n + f = 0. Which is smaller: g or c?
c
Let c = -126 - -213. Does c = 86?
False
Let k = -532/3 + 170. Which is greater: -6 or k?
-6
Let c(v) = v + 4. Suppose -9*x + 6*x = 9. Let h be c(x). Are h and 2/5 equal?
False
Let j = 7 - 11. Let a be 96/40 - j/(-10). Is 2 at least a?
True
Let s be (-27)/7 - 104/(-26). Which is bigger: s or 1?
1
Let c = -7.02 - -7. Let n = 0.78 - c. Let b = n - 0.9. Which is smaller: -1/3 or b?
-1/3
Let k(b) = -b**2 + 4*b. Let u be k(8). Which is smaller: -30 or u?
u
Let c = 0.13 + -0.03. Let v = 1 - 1. Let l = c - v. Is l less than 1/3?
True
Suppose u + 0*m = m + 6, 0 = -3*m - 3. Suppose -4*q + 12 = -0*q, f + 4 = -u*q. Let g = f + 37/2. Does g = -0.6?
False
Let g(m) = 2 + 5*m**2 - m**2 - m**3 - 3*m**2 - m. Let d be g(2). Let a(w) = w**3 - 10*w**2 - 11*w - 4. Let y be a(11). Do d and y have different values?
False
Let p = -18 - -19. Is p greater than -3?
True
Let d = 89/3 + -30. Is -1/6 < d?
False
Suppose -z + 5 = 2*s + 4, 5*z + 5 = -5*s. Let d be s - 4 - (-5)/1. Is 3 >= d?
True
Let j be (-102)/90 + (-1)/(-3). Let i be 2 - 5/2*1. Is j smaller than i?
True
Let t(q) = q**3 - q**2 - 5*q + 4. Let s be t(3). Suppose 1 = 3*u + s. Which is smaller: -1 or u?
u
Let a be 1146/(-27) + 4/18. Let u = a - -42. Let z = 2 + -2. Which is greater: z or u?
z
Let w = -3 - -3.1. Let n = -0.3 + w. Let o be 3/15 - 2/(-15). Is n < o?
True
Let c = -2107/6 + 350. Which is smaller: c or -2?
-2
Let l(v) = v**2 - v - 2. Let w be l(-2). Let z(m) = m**2 - 6*m + 3. Let k be z(w). Which is bigger: 2/5 or k?
2/5
Let f(u) = -u**3 + 4*u**2 + 4*u + 6. Let l be f(5). Are l and 3 equal?
False
Let h(i) = 3*i + 10. Let s be h(-5). Suppose -3*r = 2 + 16. Let a = s - r. Which is smaller: a or 2?
a
Let v(c) = -c**3 + c**2 + 1. Suppose -16 = -4*n + 5*i - 2*i, 5*n = i + 9. Let h be v(n). Are h and 6/11 equal?
False
Suppose -13 = -2*r + 25. Suppose 3*l + 10 = -4*q, 2*l - 4*q - r = 1. Do l and 2 have the same value?
True
Let s = -7.1 + 6.9. Is s less than 2/51?
True
Let u be (6 - 132/57) + -3 + 1. Which is smaller: u or 3?
u
Let o be (4/(-5))/((-12)/(-90)). Let k be 2/(-16)*o/(-3). Is k at most -1?
False
Let w(z) = -z**3 - 8*z**2. Suppose 0 = 4*t + u + 45 - 18, 5*t + 15 = -5*u. Let p be w(t). Which is greater: 3/16 or p?
3/16
Let z(o) = o**2 - 4. Let b be z(3). Suppose -b*f = -5*c + 24 - 4, -5*c = 3*f + 12. Do c and 1/7 have the same value?
False
Let k be -2*15/(-12)*-2. Do -6 and k have different values?
True
Let n = -26 + 19. Is -8 at least n?
False
Let b = -75 + 76. Which is greater: b or 0.5?
b
Suppose 0*s - 4*s = -s. Which is greater: s or 1/32?
1/32
Let u = -2450 - -7469/3. Let f = 39 - u. Is 0 smaller than f?
False
Suppose 2*r - 18 = w, 2*r = -3*w - r - 9. Are w and -8 nonequal?
False
Let b(n) = -n**3 + 5*n**2 + 5*n + 6. Let x be b(6). Suppose 5*l + 10 = 0, x = -4*k + 4*l + 8 + 12. Suppose 3*s + 4*p = -k + 7, -2*s + 2*p = 2. Is 0 != s?
False
Suppose b - 3 - 12 = 4*k, -15 = -3*b + 2*k. Suppose h = b*h + 6. Let w be h + 1 - (-3 + 2). Is w at most -1/4?
True
Let v = -4 - -2. Let x = -7 - v. Let n = -21 - -15. Is n greater than or equal to x?
False
Let n = -3.981 + -0.019. Which is bigger: -3 or n?
-3
Let f = -105 - -102. Is f less than or equal to -2?
True
Let h = -7 + 7. Let i be (-1 - h) + (2 - 1). Which is smaller: i or 2?
i
Let o = -29 - -48. W