 is smaller: g or -10?
-10
Let v be 0 + -2 + (-3)/1. Which is smaller: v or -6?
-6
Let q = -4 - -6. Let z = 10 - 7. Is z not equal to q?
True
Suppose -7 = -4*b - 31. Let r be -4 + (-5)/(10/b). Is r at most as big as 1/7?
True
Let h be (-10)/(-6) + 4/12. Let v = -13 + 19. Let a be (h/v)/((-4)/6). Which is smaller: a or -2?
-2
Let t be (-14)/8*(0 + -8). Let o = t - 10. Suppose 0 = -4*i + 3*q + q - 24, -o*i - q + 1 = 0. Is i >= -3?
True
Let g = 1 + 0. Let l = -37/8 + 25/8. Let h = l + g. Which is bigger: h or -1?
h
Let j = -3.8 + 6.8. Which is smaller: -4 or j?
-4
Suppose -y = 2*c + 4, -3*c - 2*y - 8 = -0*c. Let u be (0/(-1) - 1) + 0. Which is smaller: c or u?
u
Let b be -6 + (3 - 3)/(-1). Let j be 3 + 0 + b - -7. Is j smaller than 4?
False
Let l = -88/5 + 18. Which is greater: l or -9?
l
Suppose -3*c = 2*c - 10. Let i(u) = -u**3 - 14*u**2 + 16*u + 17. Let d be i(-15). Is c < d?
False
Let q = 2 + 0. Let i = 15 + -14.7. Let v = 0.6 - i. Does q = v?
False
Let o = -0.3 - -0.3. Let d = o + -3. Let v = -2 + d. Is v less than 2/5?
True
Let f = -108 - -107. Let k be (2/30)/((-10)/25). Which is smaller: k or f?
f
Let i = -0.8 - 0.2. Let x = 0.2 + -0.09. Let j = x + -0.01. Which is greater: i or j?
j
Let v(y) = -y + 2. Let b be v(4). Let a be (2 - 0) + b*8. Are a and -14 equal?
True
Let b = -32.2 - -32. Which is smaller: -0.5 or b?
-0.5
Let r = 0.06 - -0.54. Which is smaller: r or 3?
r
Let y = 28 - 31. Which is greater: y or -16/7?
-16/7
Let n be 2/(-12) - (-75)/18. Suppose -n*p + w = 0, 9*p + 21 = 4*p - 4*w. Which is bigger: p or -1/30?
-1/30
Suppose -1 = -3*t + 2. Let r be ((-4)/6)/(1/t). Suppose 0 = 2*x - 1 + 3. Which is smaller: x or r?
x
Suppose -3*o - 2*p - 45 = 0, -o + 5*p + 2 = -0*o. Let n = o - -18. Is 4 < n?
True
Let y be (-1 - 3)*(3 + -2). Let h = y - -7. Suppose h + 1 = 4*b. Is b at least 0.1?
True
Let c = -5 - -5. Let p(i) = 4 - i**3 + 0*i**2 + 7*i**2 - 7*i + c*i**2. Let a be p(6). Do -2 and a have the same value?
True
Let i be 694/(-84) - (-9)/21. Let b = -317/42 - i. Is -4 bigger than b?
False
Let o = -2 - -3. Let q be (-40)/315*3/4. Do o and q have different values?
True
Suppose b - 2*y = -7 + 1, -b = -4*y + 12. Suppose b*t + 12 = t. Suppose -t = -6*n + 2*n. Is 2 <= n?
True
Let i = -0.05 - -0.09. Let b = -1.3 + 1.44. Let d = b - i. Is 0.1 bigger than d?
False
Let f = 44 - 43.9. Which is smaller: 1.5 or f?
f
Let a be (3 - (5 - 2))*(0 - 1). Which is bigger: a or -36?
a
Let q be (-11)/30 - (-5 - -4). Let m = q - 3/10. Is -1 at most m?
True
Suppose 5*t = 5 + 10. Suppose -4*q = 3*g + 17, 0*g - g = t*q + 14. Let d = 853/8284 - -1/436. Which is greater: d or g?
g
Let w be -6 + 8 + 34/(-10). Is 0 smaller than w?
False
Let z be 135/(-70)*(-14)/20. Let y = 8/5 - z. Which is smaller: y or 1?
y
Let f = 9.12 + -0.12. Let y = -8.9 + f. Which is bigger: -8 or y?
y
Let c = 6 + -4. Let h = -22 + 23. Is h bigger than c?
False
Let b = -7.7 + 8. Let j = -0.2 + b. Let l = 0.45 + -0.48. Which is smaller: j or l?
l
Let x = 4 + -4.03. Let z = -0.07 + x. Which is bigger: z or 0.1?
0.1
Let r(y) = 18*y**3 + 2*y**2 + y. Let p be r(-1). Let w(c) = -c - 25. Let z be w(-7). Which is smaller: z or p?
z
Let v = 14/15 + -8/5. Which is greater: v or 4?
4
Let r = 2 - 1. Let n = r - 0.8. Let k = 2 - 0. Which is greater: n or k?
k
Let n = -51 + 51.1. Is 8 != n?
True
Let c = 1/12 + 7/12. Is c at least 0.1?
True
Let o = 0.05 - 0.85. Let m = -0.9 - o. Does m = 0?
False
Let z = 2/129 + -272/903. Are 1.8 and z equal?
False
Let k = -34 - -101/3. Let z = -1.15 - -1.15. Which is bigger: z or k?
z
Suppose -4*d = -45 - 83. Suppose -d = -4*l - 4. Which is smaller: 1 or l?
1
Let k(n) = 1 - 4*n - n**2 - 2*n**2 + 4*n**2. Let t be k(4). Which is smaller: t or -1/5?
-1/5
Let o = 2 - 1. Suppose -4*j + 16 = -2*u, -3*j = u + 2*j - 27. Suppose -6*q - 15 = -3*t - u*q, 2*q = -2*t - 4. Is o < t?
False
Let a(j) = -j + 12. Let g be a(4). Which is greater: g or 2?
g
Let u = 1415/59 - 24. Is u less than or equal to -1?
False
Let a = -67 - -68. Which is smaller: a or -1?
-1
Let w = -3/33934 + -71413/305406. Let z = 2/171 + w. Which is greater: z or -0.1?
-0.1
Let f = 78 - 71. Which is greater: f or -0.4?
f
Let n = 78 + -71. Are n and -6 equal?
False
Let h = -16/17 + 113/102. Suppose 0 = -8*c + 3*c - 10. Let s = -2 - c. Which is smaller: s or h?
s
Let h be (-7)/(-35) + (-64)/(-5). Is h >= 12?
True
Suppose 3*o - m = -4*m + 9, -4*o = -5*m + 15. Let j(d) be the third derivative of d**6/120 - d**5/60 + d**2. Let g be j(1). Is o less than g?
False
Suppose -8*i = -5*i - 270. Suppose 5*h = -4*c + 2*h + 95, 4*c - i = -2*h. Is c not equal to 21?
True
Suppose -6*u = -4*u - 10. Suppose -9 + 3 = -3*k - o, 0 = u*k - 5*o + 10. Let c = k + 1. Which is smaller: c or 1?
1
Let r(k) = k**2 - 7*k + 5. Let l be 3 + 3/6*4. Let t be r(l). Is t <= 0?
True
Suppose -6*v + 10*v = -144. Let d be v/192 - 6/(-16). Which is smaller: d or 1?
d
Let f be (-18)/(-15)*10/8. Which is smaller: 1 or f?
1
Let x(y) = -5*y**3 + y + 1. Let t be x(-1). Suppose -t*o + 32 = -o. Suppose 4*b + 14 = 5*f - o, -4*f - 4*b - 4 = 0. Which is bigger: 3 or f?
3
Let o be 4/(-394) + 0/(-4). Let q = -8/42301 - 8665401/33333188. Let r = o - q. Are r and -1 unequal?
True
Let q(v) = -2*v**2 + 1. Let m be q(-1). Let f be (-3 + 8/2)*m. Is f greater than or equal to 0?
False
Let r = -27.96 - -28. Let j = -8.04 + r. Is j < 1?
True
Let f = -6.7 - -6. Let s = -5.7 - -6. Let m = f - s. Is m <= 0?
True
Let z(r) = -2*r**3 - 31*r**2 - 27*r + 27. Let n(h) = -h**3 - 15*h**2 - 13*h + 13. Let d(b) = -9*n(b) + 4*z(b). Let a be d(-10). Is a not equal to -2/9?
True
Suppose 14*r + 5*r - 1482 = 0. Which is bigger: r or 79?
79
Let f be (-6 - 0)*(-3)/(18/16). Which is smaller: 15 or f?
15
Let n(l) = 3*l**2 - 2*l - 1. Let s(r) = -r - 8. Let z be s(-7). Let j be n(z). Is 3 greater than j?
False
Let l = 140 - 143. Is -6 smaller than l?
True
Let i = -4 + 8. Let l be 7/(126/i)*-3. Which is greater: 1/7 or l?
1/7
Let o(s) = -2*s - 11. Let d be o(-11). Is d greater than or equal to 5?
True
Suppose -o + 3*u = 15, 2*o = 5*u - 7 - 18. Let q be (-1 + 2 - 1) + -1. Which is smaller: q or o?
q
Let o = -1 + 2. Let j(m) = -m - 6. Let l be j(-7). Let i = l + o. Which is greater: 1 or i?
i
Let t(q) = q**3 + 9*q**2 - 1. Let m be t(-9). Let s be (4/(-30))/((-20)/15). Which is smaller: s or m?
m
Let u = -0.2 - -0.1. Let c = 364 + -353. Which is smaller: u or c?
u
Let l = 383 + -53. Let d be 24/l*(-10)/(-4). Let v = 0.05 - -0.15. Is d at most as big as v?
True
Let y(p) = -p**2 + p + 1. Let q = -2 + 2. Let g be y(q). Is g >= 5/4?
False
Let b = -0.29 + 0.09. Which is smaller: b or 0.7?
b
Let o = -1 - 7. Let d be (2/(-4))/(10/o). Which is bigger: 0 or d?
d
Let m be (0/(0 + -3))/1. Suppose m = -3*w - 9, 0 = d + w + 3*w + 10. Is -2 bigger than d?
False
Let w be (-1)/(-7) - 274/56. Are -4 and w non-equal?
True
Let o = -24 - -25. Which is smaller: o or -6/13?
-6/13
Let c(z) = -2*z - 25. Let k be c(-9). Which is greater: k or -25/3?
k
Let f = -1685 + 58979/35. Which is bigger: 0 or f?
f
Suppose -3*y + 29 = 143. Is -37 <= y?
False
Let n = 2.09 - 0.09. Let t = -2.01 + n. Which is greater: 0.1 or t?
0.1
Let i = -10 - -1. Let x = -5 - 3. Let l = x - i. Which is greater: 0.6 or l?
l
Let q(j) = -j**3 + 14*j**2 - 14*j + 5. Let u be q(13). Is -10 at most u?
True
Let y = -0.14 + -0.06. Which is smaller: y or 1/4?
y
Suppose 92 = 5*p - 73. Which is bigger: 34 or p?
34
Suppose 11 + 7 = 3*k. Let u be 6/4*8/k. Is u smaller than 2?
False
Let g be -6 - -10 - 213/12. Is g at most as big as -15?
False
Let p = -4 - 0. Is p smaller than 0.18?
True
Let v be (-1)/(-2)*((-290)/55 + 5). Is 0 less than v?
False
Let r = 4 + -4.2. Is r at most as big as 1/2?
True
Let k = 2 + 0. Suppose 5*t + 3 = 2*z, -t + k - 1 = -2*z. Let w be (-1)/((-3)/(-3)) - z. Are -2/3 and w unequal?
True
Let h(g) = -g**3 + 6*g**2 + 4*g - 10. Let b be h(6). Is 14 less than or equal to b?
True
Let s be 39/60 - (2/8 - 0). Let t = 1 - -1. Is t not equal to s?
True
Let a = 7 + -8.4. Let l = -0.02 - -0.42. Let m = l + a. Which is bigger: -0.1 or m?
-0.1
Let n(f) be the first derivative of -f**3/3 + f**2/2 + 5*f + 2. Let b be n(0). Suppose -2*q + b = -7*q. Which is greater: 2/9 or q?
2/9
Suppose 6*u + 184 = 4*u. Is -93 at most u?
True
Let v be 2 + 1 - (-16)/(-4). Which i