et g = -37 + 60. Which is smaller: g or 0?
0
Let j = 12 - 16. Let p be 1/((2 + -6)/j). Which is greater: p or -1?
p
Let m = -6 - -10. Suppose -f - m*f = 10. Is f smaller than 0?
True
Let t = 228.98 + -227. Let g = -0.02 - t. Let n = g + 0. Which is greater: n or 2/7?
2/7
Suppose 5*s = -0*s + 450. Let a be 84/s + (-2)/6. Which is smaller: a or 0?
0
Let o = 26764 - 239651/9. Let f = o - 136. Let a be 1/1 - (0 - -2). Which is bigger: f or a?
f
Let i be -2*((-6)/3)/14. Is i <= -11?
False
Suppose 3*j = -2*d - 500, -1138 = 5*j + 2*d - 302. Let p be (-6)/27 - j/513. Which is smaller: p or 2?
p
Suppose -3*o = 2*v - 16, 13 = -o - 3*v + 6*v. Let m be 4 + 1 - 0 - 2. Let w = 4 - m. Is w > o?
False
Suppose 0 = t - 0*t + 6. Let u be 0 - (-2 - t/2). Are 1/6 and u equal?
False
Let i = -50.1 - -50. Is i != -5/13?
True
Let b = 12 + -13. Suppose -2*l + 187 = 2*l + 3*d, 208 = 4*l - 4*d. Let s = -439/9 + l. Which is bigger: b or s?
s
Let w(l) = -l**3 + 18*l**2 - 17*l - 1. Let u be w(17). Is -2/5 less than or equal to u?
False
Let i = -10 - -16. Let m = -78 - -74. Let d = i - m. Do d and 9 have the same value?
False
Let l = 10 + -142. Let b be (-21 + 1)*2/l. Let n = b + 1/33. Is -1 smaller than n?
True
Let k = 5 + -5. Suppose k = -5*j - 8 + 13. Is -1/17 less than or equal to j?
True
Let n = 11 + -10. Let a = -4 + 6. Let f(j) = j**2 - 2*j - 1. Let t be f(a). Which is smaller: t or n?
t
Let h be (-3)/(-11)*2/3. Suppose 5 = -3*j + 5. Which is smaller: h or j?
j
Suppose 4*z + 4 = -0*z. Which is smaller: z or -18/11?
-18/11
Suppose -4*v = 4*z - 4, -2*v - v + z - 1 = 0. Which is smaller: v or -3?
-3
Suppose 3*j - 2*q = 35, -31 = -3*j + 5*q - 4*q. Suppose 0 = -u - 4 + 7, 5*u = z + 6. Is z bigger than j?
False
Suppose -s + 2*s = 0. Let r = 12 + -14. Which is bigger: r or s?
s
Let o(d) = 3*d + 14. Let l be o(-6). Is l at least -4?
True
Let p = 0 - 1. Let j = 0 + p. Let a be 3/(2*(-1 - 0)). Which is smaller: j or a?
a
Suppose 0 = -3*i - 3 - 3. Is i greater than 0?
False
Let y = -9/7 - -61/42. Is y at least as big as 0?
True
Let x = -14 - -12.9. Let k = -0.1 - x. Let j = 11.1 + -11. Is k greater than or equal to j?
True
Let i = 21 + -20.9. Which is bigger: 9/2 or i?
9/2
Let z be 1/3*(-4)/6. Let g = 4/9 - z. Let m be (20/(-48))/5*(-12)/6. Is g at least m?
True
Let t be (-22)/(-112) - (-6)/(3 + -45). Is t != 1?
True
Let a = -223/3 - -74. Let s = 41 - 36.6. Let u = -4 + s. Is u at least a?
True
Let o be (-18)/3*1/2. Let n = 27 - o. Suppose -4*h - n = h. Is -7 at most as big as h?
True
Let j = 1.6 - -0.4. Let x = 0.04 + -0.04. Let q = j - x. Is q at most 2?
True
Suppose 0*c = -4*c + 16. Let g be (-3)/18 - c/(-6). Which is smaller: 1 or g?
g
Let y(o) = o - 7. Let i be y(7). Let p = i + -5. Is p <= -5?
True
Suppose -7*p - 2*t = -2*p - 30, 2*p - 3*t - 12 = 0. Are 6 and p nonequal?
False
Suppose 2*s = 7*s + 4*q + 10, 2*s = 4*q - 4. Let p be 9/(-6) - (-9 + 4). Let h = 23/10 - p. Is h smaller than s?
False
Let s = 0.6 + 5.4. Let p = -8 + s. Which is smaller: p or -1/4?
p
Let j = 0 - -3. Let s be (2/j)/((-5)/15). Let i(z) = -z**3 + 8*z**2 - 1. Let r be i(8). Which is smaller: s or r?
s
Let t = -51 + 51. Which is greater: t or 3?
3
Let z(g) = -g - 1. Let x be z(-3). Suppose 2 + 0 = x*d. Is d > 1?
False
Let t = 7 - 2. Which is smaller: t or 3?
3
Let c(v) = 2*v**3 - 4 - 10*v**2 - 3*v**3 - 6*v + 4*v**2 + 0. Let m be c(-5). Which is smaller: 4 or m?
m
Let i = 1 - 4. Let u be 3/2*(-32)/i. Suppose -2*t = 5*l - 8, 5*l + 5*t - u = t. Which is smaller: -1/8 or l?
-1/8
Suppose -3*y + 10 = p + y, 0 = -4*p - y - 5. Let l be 1/p*(-4)/6. Let q be (-3)/(-2) + 19/(-38). Is l at least as big as q?
False
Suppose -4*h + 92 = -2*u, -h + 8 = 4*u - 6. Is h greater than 22?
False
Let h = -3 - -3.2. Let x = 5809/1846 - 41/13. Let m = x - -289/710. Which is smaller: m or h?
h
Let n(u) = u**2 - 10*u - 14. Let k be n(10). Which is smaller: -15 or k?
-15
Let n(i) = i**3 - 5*i**2 + 4*i + 1. Let b be n(4). Suppose -4 = -x + 5*f, 0*x = x + 2*f - 4. Which is greater: x or b?
x
Suppose -6*w - 105 = -w. Which is smaller: -22 or w?
-22
Let m be 1 + 0 + 15/(-9). Let u = -0.05 + 0.08. Let a = -1.03 + u. Is m less than or equal to a?
False
Let q = -459/23 - -20. Is 0 at most q?
True
Let z be ((-6)/15)/((-36)/20). Let j(a) = a**3. Let y be j(-1). Which is greater: y or z?
z
Let c = 80 - 563/7. Does c = -0.1?
False
Let o = -14 + 12. Is 0 at most as big as o?
False
Suppose u = 6*u + 5. Suppose 214 = 8*c - 3*c - 4*o, -o + 167 = 4*c. Let g be c/38 - (2 + u). Which is smaller: 1 or g?
g
Let j(i) = i**3 - 8*i**2 + 6*i + 6. Let a(b) = 4*b - 3*b - 5 - 2*b**2 + 6*b**2 - 3*b**2. Let n be a(-4). Let v be j(n). Is v equal to 3?
False
Let z = -2 - -5. Let d = z - 2. Let a = 0 + d. Is a > 1?
False
Let y = 53 - 32. Let p be ((-4)/y)/(6/27). Which is greater: -2 or p?
p
Let x = -0.4 + 0.36. Let p = 1 - 0.9. Let y = 0 - p. Do y and x have different values?
True
Suppose x + 4 = -3*x, -x - 29 = -4*y. Let r be -2 + 1369/y + 0. Let i = r - 194. Are 0 and i equal?
False
Let c(i) = -5*i**3 + 3*i + 3. Let j be c(2). Is j at most as big as -33?
False
Let q = -5/48 - -419/336. Which is smaller: q or 0?
0
Suppose -6 = -3*j + 12. Suppose 0 = j*q - 2*q + 8. Let o be 7/14 - q/(-6). Which is bigger: 0 or o?
o
Let u = 8 - 3. Suppose -j + 2*j = l + 23, -u*l + j - 135 = 0. Let r be (-2)/(-8) + 15/l. Which is bigger: 0 or r?
0
Suppose 6*n - 63 = n - 2*g, 0 = -g - 1. Do n and 14 have different values?
True
Suppose -w = -6*w - 70. Which is smaller: -15 or w?
-15
Suppose 2*s - 5*n = -29, -19 = 2*s - 0*n - 3*n. Let u be (-5)/(-15)*(s + 2). Is -1 at most u?
True
Let n be 1/((-5)/((-30)/(-21)) - 0). Is n >= -2/19?
False
Suppose a - 7 = 4. Which is smaller: a or 12?
a
Let d(p) = -p**2 - 7. Let v be d(-6). Let o = v - -63. Is o at most 21?
True
Let o(p) = -2*p**2 + 3*p - 1. Let y(u) = 2*u**2 - 3*u + 1. Let q(x) = 3*o(x) + 4*y(x). Let v be q(2). Which is smaller: v or -0.2?
-0.2
Suppose 0 = -4*m + 7 + 1. Which is greater: m or 7?
7
Suppose 3*k - 7 = -2*v + 12, 20 = 5*v + 2*k. Is v less than 12?
True
Let w = -7 + 9. Let v be (2/25)/(w/10). Is v >= 1?
False
Let i = -8 + 13. Let y(t) = t + i*t + t**2 - 3*t - 7. Let h be y(-5). Which is bigger: 4 or h?
4
Let m(y) = y**2 - y - 23. Let f be m(7). Is 19 <= f?
True
Let w be ((-4)/(-6))/((-20)/12). Which is greater: -1 or w?
w
Let d be 0*4*(-1)/(-12). Let n be -2 + (0/(-2))/(-2). Let l be n + 2/4*5. Do l and d have different values?
True
Let o = -0.41 - -0.01. Let d = o - -0.3. Suppose 2*p - 1 = 2*v - 13, 2*p - 12 = -4*v. Which is smaller: d or p?
p
Let n = 1.8 - 2.8. Which is smaller: 0.2 or n?
n
Let d = 29 + -42. Are -13 and d equal?
True
Let g be 202/(-8) + 11/44. Is 1/2 bigger than g?
True
Let y be 0 - (3/(-5))/(5/25). Is 0.1 at most y?
True
Suppose 0*p + 8 = -4*p. Is p != -10/7?
True
Let a be 2 + -3 - 2 - (-436)/148. Let w(t) = t**2 - 3*t + 3. Let f be w(2). Which is smaller: a or f?
a
Let s be 3/3*(0 + 0). Suppose s = -5*k + 3*g + 1, -k = 4*k - 4*g + 2. Let m(r) = 2*r + 9. Let i be m(-3). Which is smaller: k or i?
k
Suppose -g + 2 = 0, 3*g - 3 - 1 = 2*a. Do -14/3 and a have the same value?
False
Suppose h = 3*p + 506, -4*p - h = -9*p - 844. Is -168 bigger than p?
True
Let x = 5 + -5.01. Let m = -53.49 + 53. Let l = x + m. Is l greater than -1?
True
Let d = -1 - -3. Let a(s) = s**3 - 2*s**2 - s - 2. Let r be a(d). Is -3 bigger than r?
True
Let r = 16 - 13. Suppose -4*q - 2*u = -8, 5 + r = 4*u. Is q greater than or equal to 2/11?
True
Suppose 9 = o - 4*o. Let i be (-63)/(-12) - 2/8. Suppose i*h = 3*h - 10. Which is smaller: o or h?
h
Let w be (1672/312)/11 - 4/26. Which is bigger: w or -0.69?
w
Suppose 0 = -v - 2*x + 2, 3*v = -v + x - 19. Let l be (-10)/3 - v/(-6). Let f = 1 + l. Which is smaller: -1 or f?
f
Let z = 37 + -35. Let a(o) = -o**3 - 2*o**2 + 2*o + 1. Let h be a(-3). Are h and z equal?
False
Let n(u) = -u**2 - 6*u + 1. Let w be n(-6). Which is bigger: 1/16 or w?
w
Let p = 242 - 135. Let y = p + -68. Let a = 155/4 - y. Is a <= 1?
True
Let u(a) = a**3 - 7*a**2 - 8*a + 3. Let v be u(8). Let j be 2/12*v/(-2). Which is greater: j or 0?
0
Let n(p) = p + 3. Let y be n(3). Let k be 0/((-4*1)/(-2)). Is y != k?
True
Suppose -5*i + 3*i + 6 = 0. Suppose 4*b - 5*v = -7 + 2, 5*v - 5 = -4*b. Which is bigger: b or i?
i
Supp