 y = 181/4 + -45. Let u = -1 + 0.7. Is u less than y?
True
Suppose -2*a - 8 = -2. Suppose -5*w = -15 - 5. Suppose 2*u + 2*o = -u, -w*u + 4*o = 20. Does a = u?
False
Suppose 0 = -4*k + g + 12, -k - 7 - 7 = 4*g. Suppose u = k*t + 3, 3*t - 2 = -0*t - 5*u. Let o be (-1)/(-4) + (-1)/4. Which is smaller: o or t?
t
Suppose 24 = 3*n - 3*w, -2*w - 8 = -n + 2. Is 3 != n?
True
Suppose -2*x = -7*x + 30. Let y be (-3)/(-6)*(-8)/x. Is y at most -1?
False
Let y = 3 - 2. Let p = -10 + 20. Let a be (-5)/20 + p/8. Are y and a non-equal?
False
Suppose -6*w + 24 = 126. Which is smaller: 3 or w?
w
Let a be (20 - 8)*(-2)/(-4). Is 6 less than a?
False
Let d = 3 + -4. Let m = -5 + 4. Let b = m + d. Which is smaller: b or -1?
b
Let b be (18 + -18)/(-1 + 3). Is b bigger than -1?
True
Let q = -0.054 + 0.034. Which is smaller: 0 or q?
q
Let k(m) = m**2 - 8*m - 7. Let l(x) be the first derivative of x**2 + 2. Let q be l(4). Let r be k(q). Which is bigger: -1/3 or r?
-1/3
Let k = 0.15 - -0.05. Is k >= 0.07?
True
Let o = -142.9 - -149. Let d = -6 + o. Which is smaller: 2/9 or d?
d
Let x = -44 - -61. Which is smaller: 1/2 or x?
1/2
Let b(a) = a + 4. Let i be b(-6). Let h be -166 + -1 + 2/i. Let z be 90/h + (-2)/(-7). Is 0 at least as big as z?
True
Let w be (-49)/46 + (-4 - (-5 - 0)). Is -0.1 less than or equal to w?
True
Let h = 2 + -3. Let x be (-45)/(-20) + -4 - -2. Which is greater: x or h?
x
Let q be (15/9)/((-1)/3). Let n = -18 - -13. Is q at most n?
True
Let q = -2 + 1. Suppose 5*n - 35 = w, w - 2*n - 71 = 4*w. Let a be (-2)/3 + w/(-24). Is q smaller than a?
True
Let g = -6 - -12. Which is greater: g or 2?
g
Suppose 3*b + 0*b = 18. Let i(u) = -u**2 + u. Let a be i(0). Suppose a = 2*n - b*n + 4. Is n smaller than 0?
False
Suppose -9 = 2*b - 5*b. Is 5 greater than or equal to b?
True
Suppose -5*d = -10*d + 20. Suppose 24 = d*t + 4*q + 4, 5*t + q = 5. Are t and 1.1 equal?
False
Let s = -7 - -6. Let q be (-2 - s)/(4 - 3). Do 1/5 and q have different values?
True
Let j be ((-3)/6)/(3/6). Let a = -2/45 + 17/45. Is a <= j?
False
Let s be 2/(-5) - (-1728)/20. Which is smaller: 85 or s?
85
Let f(u) = -u**3 - 5*u**2 - 3*u - 2. Let d be f(-5). Let w = d - 17. Is -10/3 != w?
True
Let q be 6/(-4)*118/(-9). Let p = -20 + q. Which is smaller: 1 or p?
p
Let c = -19.8 - -20. Let z = -3 - -5. Which is smaller: c or z?
c
Let v(t) = 2*t + 9. Let c be v(-6). Let u(z) = -z - 1. Let w be u(c). Is w less than or equal to 2?
True
Let h be 3/12 - (-226)/(-8). Let x = 18 + h. Let r be ((-2)/10)/(2/x). Which is bigger: r or 1/8?
r
Let u(j) = -j**3 - 7*j**2 - 6*j - 2. Let g be (-280)/45 + 4/18. Let s be u(g). Let m = 2 + s. Is m less than -4?
False
Let z = 16664/35 + -3568/7. Let l = -33 - z. Which is smaller: 0 or l?
0
Let c(w) = -2*w + 5. Let o(f) = -4*f + 11. Let t(r) = 5*c(r) - 3*o(r). Let b be t(4). Which is smaller: -3/11 or b?
-3/11
Let n = 84 - 22. Is n greater than or equal to 62?
True
Suppose -y = y. Let p be y - 2/(-30)*-6. Is -1 greater than or equal to p?
False
Let a(o) = o**2 - 4*o. Let j be a(5). Which is smaller: j or 6?
j
Let a(t) = 4*t**3 + 10*t**2 + 9*t + 12. Let p(r) = -3*r**3 - 9*r**2 - 8*r - 11. Let n(j) = -2*a(j) - 3*p(j). Let s be n(-6). Is 9 at most as big as s?
True
Let q = 1 + -0.4. Let j = -3 + 2.5. Let g = j + q. Which is greater: g or 4?
4
Let s = 7 - 5. Suppose 4*h = -3 + 11. Let n be (0 + s)*h/4. Does n = -3?
False
Suppose -5*o - 170 = -5*r, 125 = 5*r - 0*o + 4*o. Is 29 less than or equal to r?
True
Let l = 6 + -4. Which is greater: l or 1.3?
l
Let u = 0.82 + 4.08. Let z = u - 5. Let q(r) = r + 2. Let k be q(-4). Is z at least as big as k?
True
Let f(u) = u + 0*u - 2 - 1. Let j be (49/(-14))/(1/(-2)). Let y be f(j). Is y not equal to 3?
True
Suppose -14*d + 5*d = 0. Suppose -9 = 5*z - 4. Which is greater: z or d?
d
Suppose 2*b = -1 - 9. Is -5 bigger than b?
False
Suppose g - 3 = -p, 0*p - 4*p - 3*g + 13 = 0. Let y be (0 - 1)*(0 - 4). Is p at most as big as y?
True
Let y be 0 + -2 + 2 + -9. Let k be y - -2 - 0/(-2). Is k less than -7?
False
Suppose 3*q + 40 = -20. Let z be 11/35 - (-12)/q. Which is bigger: z or -1?
z
Let x = -1.92 - -2. Let c = 0.02 + x. Is -2/21 at least as big as c?
False
Let u = 1 + -2. Let g = -17 - -24. Let a = -7 + g. Which is bigger: u or a?
a
Suppose -5*r + 29 - 9 = 0. Suppose 3*b + 70 = r*t, -5*t + 51 = b - 27. Is 16 != t?
False
Let z be (-10)/15*6*1. Which is smaller: -2 or z?
z
Let v(b) = -b**3 - b**2 + 2*b. Let q be v(-2). Let c be (0 - q)*(-8)/24. Suppose 2*g - i + 0 - 1 = c, -2*i - 11 = 5*g. Which is smaller: g or 2/5?
g
Suppose 2*p = 4, 0*p + 2*p = -2*g + 8. Suppose 0*b = g*b - 6. Let k = 9/14 - -6/7. Which is bigger: k or b?
b
Let n = 0.28 + -0.35. Is -0.1 equal to n?
False
Suppose l = 6*l. Let q = -8 + 8.4. Is q < l?
False
Let g = -27 - -26. Which is bigger: g or 2?
2
Suppose -2 + 17 = 3*h. Let z = h + -4. Suppose 0 = 2*p - z - 3. Which is bigger: 1 or p?
p
Let b = 40 - 40. Is 8/23 != b?
True
Suppose 2*k - 3*l + 2 = 0, 4 = k - 3*l + 5. Are k and 1 non-equal?
True
Let s = 10 + -6. Suppose 5 = -3*h - s. Let t be h/6*(-1 + 1). Is t at least 0?
True
Let g = -0.3 + -3.7. Let f = -0.26 - -0.36. Which is greater: f or g?
f
Let h = -5 + -5. Let w(j) = -2*j**2 + j + 4. Let y be w(3). Which is greater: y or h?
h
Suppose 0*w - 19 = -3*g - 4*w, -5*g = 5*w - 25. Let k be (-88)/(-120) - g/3. Which is bigger: k or 0.2?
k
Let c(r) = r - 3. Let w(j) = -j. Let d(i) = -c(i) - 2*w(i). Let h be d(-3). Suppose t - 1 = 4*g, -g + 1 = -2*t + 3. Which is greater: h or t?
t
Let b be -4 - 6/(2/(-1)). Is -6/37 < b?
False
Suppose 0 = -9*t + 5*t + 8. Let j be t*2/(-4)*0. Which is smaller: 1/4 or j?
j
Let l(r) = r**2 - 6*r + 1. Let u be l(6). Let z(p) = p**2 - 2*p - 2. Let h be z(-2). Let n be h/9 - (-1)/1. Which is bigger: u or n?
n
Let x = 511/3 + -169. Which is smaller: x or 3?
x
Let w = -9 + 14. Which is smaller: w or 4?
4
Suppose 4*q - 2*l = 4, 3*l + 12 = -4*q + l. Let v = -12 + 8. Let r be (v/5)/(-2 - 0). Is q equal to r?
False
Suppose -87 = -3*b - 0*b. Is 29 at least as big as b?
True
Let z = 11.2 + -11.5. Is z < 0.09?
True
Let a = -16.2 - -13. Let h = 0.2 + a. Which is smaller: h or 0.1?
h
Let x be ((-2)/7)/(2/1). Let q be (1/(-5))/((-5)/25). Which is smaller: q or x?
x
Suppose -j = -2 - 2. Suppose 0 = j*n + 3*u - 3, -5*n + 4*n - 5*u = -5. Let v be ((6 - 2) + -2)/2. Which is smaller: n or v?
n
Let q(r) = -r**2 + r + 7. Let l(v) = v. Let x(g) = 4*l(g) + q(g). Let z be x(6). Let c be z - 0 - (-6)/(-3). Is 2/9 >= c?
True
Let j = -7.2 - -7.4. Which is smaller: 21 or j?
j
Let z = 356/1837 - 2/167. Which is bigger: -1 or z?
z
Let q be 1/4 - (-6)/(-40). Let c = -22 - -23. Is c at least q?
True
Let r = -61/8 - -35/8. Is r bigger than -0.1?
False
Let m(l) = -l**3 + 9*l**2 - 8*l + 12. Let o be m(8). Let h = o - 8. Suppose 5*s + 2*w - h = 0, -3*s + 5*w = s + 10. Are s and -2/21 unequal?
True
Let s(j) = 5*j**3 + 2*j - 1. Let i be (-4)/(-12) + 2/3. Let z be s(i). Let a be (z - 6) + (0 - -1). Which is greater: a or 2/7?
a
Suppose -3*t = q - 24 + 7, t - 15 = -5*q. Suppose c + 16 = t*c. Suppose -1 = c*b + 3. Which is greater: b or -2?
b
Suppose 0 = 2*c - 4, 3*p = -5*c - 0*c + 19. Suppose -4*y - l + 115 = 0, -p*y + 3*l = -67 - 8. Let h be y/12*(-4)/14. Which is greater: h or -1?
h
Let m = 0.02 - -1.98. Let a = -3 - -4. Which is smaller: a or m?
a
Let f = -51/10 - -887/170. Which is smaller: f or 0.1?
0.1
Let i = 1 + 3. Suppose 2*o = -2*o + i. Which is bigger: o or 0?
o
Suppose 3*s + 11 = 4*s + 3*v, -5*v - 19 = -3*s. Is 8 bigger than s?
False
Suppose 0 = -5*i - 5*r + 205, 2*i = -2*r + 6*r + 82. Is 43 at most as big as i?
False
Let m be (-4572)/(-63) - (-2)/(-3). Let q = m + -72. Which is smaller: q or -1?
-1
Let w(f) = -f**3 - 11*f**2 - 9*f + 5. Let b be w(-10). Let y(z) = 6 + 2*z + 4*z + z**2 + 0*z**2. Let l be y(b). Is l at most as big as -1?
False
Let w be 4/12 + -4 + 3. Does 7 = w?
False
Suppose 5 = -t - 5*i, 2*i + 1 = -t - 1. Suppose -p - 1 + 3 = t. Let c = -10 - -10. Is p at least as big as c?
True
Suppose -x - 3*x + 120 = 0. Is x less than 29?
False
Let w = -0.07 - -0.06. Let i = -0.11 - w. Is 0.1 at least i?
True
Let m be (-2)/3*(-15)/2. Let o(a) = a**2 + 4*a + 1. Let i be 14/(-63) + (-43)/9. Let t be o(i). Which is smaller: t or m?
m
Let k be 12/10*20/54. Let 