 = 10 - 27. Let u = a + 17.3. Which is smaller: u or -0.6?
-0.6
Let r be (-6)/4*2 + -3. Let k be r/(-33) - (-84)/(-99). Is 1/3 != k?
True
Let t = -2.02 + 1.89. Is 0 greater than t?
True
Suppose 0 = -6*k + 8*k + 8. Let m = k + 5. Suppose m = s + 2. Which is greater: 2/7 or s?
2/7
Suppose i - 15 = 2*w, w + 2*i - 1 = 4. Let d(j) = -j**2 - 3*j + 7. Let y be d(w). Which is smaller: y or -1?
y
Let l = -40 - -39. Is l less than or equal to 3?
True
Suppose 2 = 2*j - j. Suppose 20 = 2*y + 5*v, 5*y - v - j = -6. Which is smaller: -2 or y?
-2
Let s be 4/10 + 2/(-5). Suppose s = 3*p, -2*c + 12 = -5*p + 2. Suppose -c*n - 1 + 6 = 5*j, 2*n + j = 0. Is n at least -5/4?
True
Let u = -2 - -2.2. Let g = -0.8 - -0.5. Let z = g + -0.7. Is u less than z?
False
Let u(q) = -q**3 + 5*q**2 + 8*q - 9. Let c be u(6). Suppose -2 = -v + c*v. Are v and 3/8 unequal?
True
Suppose 0 = -6*t + 2*t + 5*o + 1, 0 = -3*t + 5*o - 3. Suppose 38 = 3*f + 29. Which is smaller: f or t?
f
Let f(k) = k - 7. Let y be f(9). Let s be (1/y)/((-4)/(-8)). Let h be 4/(-40) + s/(-2). Which is smaller: 0.1 or h?
h
Let l = -271/2910 + -2/291. Let f = -2 - -1. Which is greater: l or f?
l
Let d = 3 - 2. Suppose 0 = 2*n + 2 - 6. Let z = n - 1. Does d = z?
True
Let i = 4.9 - -0.1. Let s = i - 4.8. Is s greater than 1?
False
Let k = 0.18 + -0.08. Which is bigger: 64 or k?
64
Let v be 1 - (63/4)/(-9). Is v less than 3?
True
Suppose -w = -3*a + 16, -3*a - 2*w - w = 0. Let y = a - 3. Do y and 1/2 have the same value?
False
Suppose -5*a = -5 - 10. Suppose a + 2 = -5*t. Is t > 2/9?
False
Suppose 13*f = 27*f + 84. Which is smaller: f or 2?
f
Suppose -3*s - 3*c + 74 = 17, -5*c = -4*s + 112. Suppose -g - f = 2*f - s, 5*f - 9 = g. Which is smaller: 10 or g?
10
Let t = 11 + -9. Let s be ((-81)/(-22) - t)*-1. Let u = s + 3/2. Is u greater than -1?
True
Suppose 6 = 3*k - 9, 3*d + 8 = k. Let g = 0 - 0. Suppose 0*v - v = g. Which is greater: d or v?
v
Suppose 2*w + 5*n + 10 = 0, 0 = 3*w - n - 2*n - 6. Let c be 2/8 - (-1)/(-2). Is w < c?
False
Let c = 50 + -57. Which is bigger: c or -0.5?
-0.5
Let g = 1.44 - 5.54. Which is smaller: -0.1 or g?
g
Let s(f) = f**2 + 3*f - 7. Let q be s(-5). Let l be q*(-2)/4*-4. Let j(y) = 3*y - 2. Let r be j(3). Which is bigger: r or l?
r
Let i = 5 + -2. Suppose 3*p + i*o = 21, 4*p - 4*o + 9 = -3. Which is smaller: 1/3 or p?
1/3
Suppose 4*q - q = 12. Suppose u = -4*p - 13, 5*u - q*p = 47 + 8. Suppose -2*c + 4*f - 8 = 0, -3*c + f + 0 - u = 0. Which is smaller: -1 or c?
c
Let j(v) be the third derivative of -v**5/60 + 3*v**2. Let p be j(2). Which is smaller: p or -3?
p
Suppose 0 = -2*c - 4*t + 22, 2*c - 25 = -3*t - 7. Let p(r) be the first derivative of 2*r**3/3 - 3*r**2/2 + 4. Let w be p(2). Which is smaller: c or w?
w
Let w = -6.4 - -0.4. Let d = 7 + w. Does -0.2 = d?
False
Suppose -5*t = -14*t + 144. Is 16 < t?
False
Let m be ((-18)/(-4) + -3)*2. Which is bigger: 2 or m?
m
Let i = -19.9 + 11. Let f = 9 + i. Do f and -6 have the same value?
False
Let k(a) = 3*a + 2. Let v be k(-2). Let o(u) = -u**3 - 3*u**2 + 5*u - 2. Let h be o(v). Suppose 5*t + 3*n = 2*n - 28, -2*n = -2*t - 16. Is h < t?
False
Let j(c) = -c + 22. Let u be j(0). Let z = u + -16. Is 6 not equal to z?
False
Let l = -0.37 + 0.47. Which is bigger: -5 or l?
l
Let v(m) = -2*m**2 - 15*m + 32. Let z be v(-10). Does -122/7 = z?
False
Suppose 6 = 2*f, 3*u - f = 3 - 198. Let g be ((-3)/6)/((-4)/u). Is -7 greater than g?
True
Let u be 6*7/((-21)/6). Is u smaller than -12?
False
Let g = 31 + -30. Is g at least as big as -4/31?
True
Let o be (-12)/8 - 1 - 4/(-8). Which is greater: -10 or o?
o
Let k be (1/2)/((-10)/(-20)). Let t be 18/21*(1 + 1). Which is greater: k or t?
t
Let j = -10 + 10.1. Is -2/11 at least as big as j?
False
Let z = -3/56 + 121/168. Suppose 4*u = 3*a - 2*a + 9, -12 = -5*u + 2*a. Are u and z unequal?
True
Suppose -s + 4*v = 2*v - 5, s - 5*v - 14 = 0. Suppose -2*r = 3*r - 20. Suppose 0*l = -r*l. Is s smaller than l?
True
Let g = -3/23 - 63/46. Which is smaller: -3 or g?
-3
Let y = 26 + -26.2. Is 4 at least y?
True
Suppose -4*f = -6*f + 16. Is 9 != f?
True
Let d(l) = l**3 - 5*l**2 + 3*l - 6. Let o be d(5). Let p(k) = k**3 - 10*k**2 + 9*k - 1. Let h be p(o). Let x = 2/47 + -108/329. Which is smaller: x or h?
h
Let g(a) = a**2 + a. Let c be g(-3). Let s be 5/(-2) - (-3)/c. Is s at least as big as -2?
True
Let a(i) = i + 6. Let b be a(-10). Let x(r) = r**2 + 2*r - 5. Let j be x(b). Which is greater: 8/5 or j?
j
Let t = 37 + 1. Which is smaller: t or 37?
37
Suppose -2*r - 3*r - 125 = 0. Let u be 40/r - (-1 + -1). Which is smaller: -0.4 or u?
-0.4
Suppose -4*m + 10 = n, -m - 9 = -n - 6*m. Let o be 4/(-14) + 46/n. Suppose o*i - 14 = 5*i + 4*s, 3*i - 4*s - 19 = 0. Does i = 1?
True
Let z = -3 - -2.9. Let o = -1 - 0. Does o = z?
False
Suppose -2*i + 7*i + 5*j + 15 = 0, 0 = 4*i - 3*j - 23. Suppose -2*p = -p + i. Which is smaller: p or -3?
-3
Let n(a) = a. Let t be n(4). Suppose 5*s + 2*v = -0*s + 14, -t*s - 4*v = -16. Suppose -3*g = -s*y + 2*g + 8, -g + 3 = -5*y. Is y != -1/4?
True
Suppose 4*r - 3*c + 6 = 0, -c - 11 = 2*r - 3. Is r bigger than -34/9?
True
Let w(b) = 0*b**3 + 6*b**2 + b**3 + b - 3*b**2. Let o be w(-2). Suppose -o = f - 2*f. Which is smaller: f or 1?
1
Let v(s) be the second derivative of -s**4/12 + 11*s**3/6 - 6*s**2 - 5*s. Let u be v(10). Is u greater than or equal to -2?
True
Suppose -4*t = 5*i + 12, i - 3*i = -4*t + 16. Is -4 greater than i?
False
Let j = -1.95 + -0.05. Let h = -3.2 - -1.4. Let s = h - j. Which is bigger: s or -1/4?
s
Let n(a) = a - 3 - 2 + 3. Suppose -3*x + 5*d = -8*x + 25, -20 = 4*x - 4*d. Let b be n(x). Do -2 and b have different values?
False
Let c(a) = -4*a - 7. Let o be c(-2). Is -21 smaller than o?
True
Let z be 1/(-1) - (-1 + 1). Let s = 10.6 - 11. Do s and z have the same value?
False
Let b(k) = k**3 + k**2 + k + 2. Let o be b(0). Let a be (-1 - (o + -2))*-2. Which is greater: a or 2/3?
a
Let u = -2080 - -10361/5. Let k = -2 + -6. Let s = u - k. Which is greater: -1 or s?
s
Let k(s) = s**3 + 7*s**2 - 7*s + 2. Let w be k(-8). Let x(j) = j + 6. Let u be x(w). Are u and 0 unequal?
False
Let m be (108/6)/(-3)*8/6. Which is greater: -7 or m?
-7
Let p = 1 + -2. Let v = p + 2. Let c = -86 + 86. Is c greater than v?
False
Let n = -43 + 58.1. Let j = 15 - n. Is 0 <= j?
False
Let y be (-18)/(-3) + (1 - 4). Let k be (y/(-4))/(5/40). Are k and -5 equal?
False
Let y = -21 - -53. Which is smaller: 31 or y?
31
Let r = -0.84 + -0.06. Let a = 0.8 + r. Which is bigger: a or -1/4?
a
Let z = -21 + 13. Let c = -8 - z. Are c and 1/3 equal?
False
Let y = -23.1 - -21. Let j = y - -2. Is 0 >= j?
True
Suppose 3*s + 13 - 4 = 0. Let v be 22/(s + 3 + -2). Which is smaller: v or -12?
-12
Let k be (4/24)/((-6)/(-6292)). Let j = k + -175. Let q = -3 + 2. Which is smaller: q or j?
q
Suppose 3*f + 2*f = 0. Suppose 2*z - 4 = -2*z + 2*l, f = 3*z - 2*l - 1. Let w = 10 - 6. Is z smaller than w?
True
Let z be (-2164)/(-80) + 2/(-8). Let p = z + -27. Which is greater: p or 0?
0
Suppose 34 - 574 = 12*c. Is c > -45?
False
Let t = 0.09 + -0.09. Which is smaller: t or 0.08?
t
Suppose 3*y = 3 + 6. Suppose y*t = 16 + 32. Suppose -4*q + t = -4*s, -2*q - 5 = s - 1. Is -2 != q?
True
Suppose 14*d = 7*d - 28. Let w = -9 - -6. Is d at most w?
True
Let c = -3.7 + 0.7. Let w = c + 3. Let v = -9 + 9.2. Which is greater: w or v?
v
Let g(l) = l**2 + 8*l - 21. Let w be g(-10). Which is smaller: w or -1/3?
w
Let p = 0 + 0. Let c = p + -0.4. Let f = c + -0.6. Do f and -1 have the same value?
True
Suppose -5*o + 0*u = u - 97, 3*o = 4*u + 49. Let k = -32 + o. Is k greater than or equal to -13?
True
Let y be -4*((-12)/(-9) - (-6)/(-9)). Let s = -11 + 8. Which is smaller: s or y?
s
Let g = 0.3 + -0.1. Let n = -0.1 + g. Let w = -6.7 - -7. Which is greater: w or n?
w
Let j(l) = -l + 6. Suppose -4*p = -2*f + 3*f + 2, 3*p = -4*f - 8. Let s(b) = 3*b**2 + b - 1. Let k be s(f). Let z be j(k). Is z smaller than -3?
False
Let i = -20 - -20. Is 1/5 less than or equal to i?
False
Suppose -5*d - 13 = -2*y + 6*y, d = y + 1. Let r(o) = 5*o**3 + 2*o**2 - 2*o + 1. Let h be r(1). Let m be 0/(-1) - 4/h. Is y at most m?
True
Let v = 6 + -2. Let k(m) = -m**2 - 3*m + 3. Let b be k(-3). Which is greater: b or v?
v
Let a = 12 - 12. Let j be (759/(-12))/(18/(-8)). 