 = 0. Which is bigger: 2 or q?
2
Suppose 5*m - 5 = 0, 0*m - m - 15 = -4*u. Is 2 at least u?
False
Let h = -13.8 - -13.9. Which is bigger: 88 or h?
88
Suppose 0 = -3*n + 2*x + 8, -2*x - 2 = -0. Let s be 0 + (1 - (0 - 0)). Which is smaller: s or n?
s
Let s = -10.6 - -1.6. Do -2 and s have different values?
True
Let b = -8/2179 + -53731/202647. Let o = 2/31 - b. Is o greater than or equal to 1?
False
Let d = -275 - -3569/13. Do d and 1 have the same value?
False
Let x be (-195)/(-240) - (4 + -3). Let f = -1 + 2. Is f less than or equal to x?
False
Let h = -2 + 2. Let d = -77/1605 - 2/107. Which is smaller: h or d?
d
Suppose -6*y + 11*y = 0. Is y at least as big as -2?
True
Let l(p) = -3*p - 1. Let w be l(2). Let k(j) = j**3 + 6*j**2 - 8*j - 1. Let n be k(w). Suppose n = -4*i - 2. Which is greater: i or -3?
i
Suppose -2*u + 55 + 119 = 0. Let o be 2/(-5) + u/180. Let q = -18 - -18. Which is smaller: q or o?
q
Let u be (-2)/(-4) + 642/12. Let f be u/7 + 2/7. Which is smaller: f or 7?
7
Suppose 3*z = -2*c + 6, 0*c + 9 = -3*c. Let j(u) = u**3 + 4*u**2 + u - 2. Let i be j(-3). Is i at least as big as z?
True
Suppose o - 3 = -8. Suppose 12 = -r - r. Is r at least as big as o?
False
Suppose 0 = -2*v + 2*w, 2*v - 4*w = -3 + 5. Suppose h - 1 = -2. Is h less than v?
False
Let o = 12.8 - 13. Is o smaller than 25?
True
Let m be (-13)/21 - 2/(-6). Which is bigger: m or -1?
m
Suppose 0 + 12 = 4*b. Is 0 greater than b?
False
Let x(f) = f**2 + 26*f - 64. Let a be x(-24). Is a greater than or equal to -112?
True
Suppose -4*z = -2*z - 8. Suppose 5*u = -z*i + 11, -4*i - 4*u = -0*i - 8. Are i and -1/5 non-equal?
True
Let y = -0.1 + 0.05. Let w = y - 1.95. Let p = w + 1. Is p at least as big as -2?
True
Let n = -391 - -408.1. Let k = -17 + n. Let a = 11/39 + 2/39. Are a and k equal?
False
Let n = 21 - 20.87. Let k = 0.03 - n. Which is greater: k or 7?
7
Let s(w) = -w**2 - 8*w - 2. Let p be s(-5). Let l = p + -11. Is 3/5 at most as big as l?
True
Suppose g + 6 = 4*g. Let q be g/(-5) - (-14)/10. Which is greater: q or -2/5?
q
Let g be 5/(-15)*(-27)/708. Let m = -2109/1180 - g. Which is greater: m or -1?
-1
Suppose v = 5*a + 2 + 1, -4*a = 2*v + 8. Let i = v - -3. Is i smaller than 0?
False
Let w = -4 - -9. Let p = w + -5. Let q be (-48)/(-70) - 4/14. Which is smaller: p or q?
p
Let m = -1 + 2. Let u = m - 2. Let g(h) = -2*h. Let t be g(1). Is t at most u?
True
Suppose -6*o = -q - o + 39, 0 = q - o - 27. Let b be q/36 + 26/6. Is b not equal to 3?
True
Suppose w = -3*w + 24. Suppose -2*h - w = -5*h. Which is smaller: h or 9/5?
9/5
Let v be (4 - (1 + -2)) + 1. Suppose -2*s = -v*s. Let j = -17 - -16. Which is smaller: s or j?
j
Let s = -19 + 18. Is 8/3 greater than s?
True
Let k be (-8*(-5)/(-1))/(-17). Let o be (-7)/(-21) - (-1609)/(-561). Let p = o + k. Is 0 greater than or equal to p?
True
Let x be (-4)/6 - (-4)/(-3). Let f = -3 - x. Is -2 <= f?
True
Suppose 5*w + 2 = 4*k, -3*k + 10 = -w + k. Let r(m) = 2*m + 9. Let x be r(-6). Let p = x - -5. Is p equal to w?
True
Let d(s) = s + 8. Let t be d(-5). Let h = 17 - 9. Suppose -5*p - h = -t. Which is bigger: -1/3 or p?
-1/3
Let l(i) = -i**3 - 6*i**2 - i - 4. Let d be l(-6). Suppose d*s = 3*s. Let c = 0.98 + 0.02. Is c bigger than s?
True
Let q be (-1 + 6)/(2/(-4)). Which is smaller: -8 or q?
q
Let s = 61/12 + -19/4. Suppose -2*g = 3*g - 5. Let r = g + 0. Which is smaller: s or r?
s
Let x = 178 + -894/5. Let z(m) = -m**2 + 4*m - 3. Let r be z(2). Suppose 0*n + n - r = -i, 4*n = i + 4. Is i bigger than x?
True
Let i be (-4)/14 + (-44)/42. Suppose -4*g + 24 - 32 = 0. Which is bigger: i or g?
i
Let j = 74 + -812/11. Which is smaller: j or -1?
-1
Let l = -0.133 - -12.133. Is -0.2 at most l?
True
Suppose 6 = 3*a - 0. Suppose -12 = 2*l + a*l. Let m be 0 - 2/l - 1. Which is bigger: m or -1?
m
Let i(t) = t**3 + 9*t**2 + 8*t + 5. Let y be i(-7). Let q = y - 331/7. Which is bigger: q or 0?
0
Let x = -19 - -38. Which is smaller: x or 18?
18
Suppose j + 9 = 2*o + 31, -4*j - 5*o + 23 = 0. Let l be (-1)/(-2) - 22/j. Suppose 3*k = -3 - 0. Is k less than or equal to l?
False
Let w = 694/1141 - 6/163. Which is greater: 2 or w?
2
Suppose 2 - 7 = 5*u. Let x be (0 + 0)/(u + 3). Which is smaller: x or 1?
x
Let y = 368/1239 - 2/177. Let l(u) = 5*u - 3. Let t be l(2). Let w(h) = -h**3 + 6*h**2 + 7*h. Let a be w(t). Are y and a equal?
False
Suppose 5*t - 3*p + 16 = 0, -p + 5 - 3 = 0. Suppose 0 = -0*x - 2*x - 4. Is x > t?
False
Let k be 12/(-8)*4/(-6). Suppose -s = 2*s + 840. Let j be 4/18 - s/(-693). Is k less than j?
False
Let j be 10/25 + (-128)/170. Which is smaller: j or -1?
-1
Let u be ((-2)/92)/(3/(-18)). Is 0 at most u?
True
Let o = -20 + 18. Let u(k) be the first derivative of k**3/3 + 2*k**2 + 3*k - 2. Let w be u(o). Is 1 at most as big as w?
False
Let d be -2 - 3/5 - -2. Which is greater: d or -1?
d
Let v = -9.716 - 0.184. Let q = 10 + v. Which is bigger: -8 or q?
q
Let v = 1 - 0.9. Is v less than -119?
False
Suppose 0 = x + r - 7, 5*x = 4*r + r + 55. Let j = x - 6. Is 4 >= j?
True
Let b = -11 - -52/5. Let d(a) be the third derivative of -a**5/60 - a**4/6 - 2*a**3/3 + 3*a**2. Let m be d(-3). Is b < m?
False
Let p = 325 - 2603/8. Is p greater than or equal to 1?
False
Let t be ((-3)/(-4) - 1)/1. Suppose 5*d = 3*w - 10, d + 18 = 4*d + 3*w. Which is smaller: d or t?
t
Suppose -4*x = -2*x. Which is greater: x or -1?
x
Let z = 46 - 36. Is 0.1 smaller than z?
True
Let h be (284/(-8))/(10/(-4)). Let x = h + -14. Let s = -2 + 1.8. Which is smaller: x or s?
s
Suppose 4*j + 3*a - 22 = 0, -5*j = a - 4 - 18. Suppose 3*h = -j + 1. Does -7/3 = h?
False
Let i be 0 + -2 - 39/(-18). Let p(c) = -c**2 - 4*c - 1. Let x(t) = t**3 - 3*t**2 + t - 7. Let w be x(3). Let b be p(w). Is b greater than i?
False
Suppose 4*k = -0*k - 5*u + 16, 5*k = 2*u - 13. Let b be k - -3 - 24/10. Which is bigger: 2/3 or b?
2/3
Let r = 23 - 20. Which is smaller: r or 10?
r
Let i = -77 + 76.9. Which is bigger: i or 80?
80
Suppose -3*o - m = 5, o + m - 15 = 4*m. Suppose o = -3*a + 4*k + 29, 2*a = 3*a - 3*k - 13. Let f = 4 - a. Is -3 greater than f?
False
Let g be 1 - (1 + 0/1). Suppose u = -g*u + o + 1, 3*u - 9 = o. Suppose -t + 16 = -3*l, 3*l = l - 3*t + u. Is l at most -4?
True
Let r = -0.6 + 0.7. Let w = 0.08 - r. Let i = -0.02 - w. Which is greater: 1/3 or i?
1/3
Let t = -1509/7 + 213. Is -2 less than t?
False
Let z(n) = -5*n + 43. Let o be z(9). Let a be 44/(-24) + 2/(-4). Which is bigger: a or o?
o
Let x be 0/((0 + -1)*2). Suppose -q + 14 - 40 = x. Let c be 6/(-30) - q/5. Which is greater: c or 3?
c
Let c(l) = l**3 - 15*l**2 + 15*l + 15. Let i be c(14). Let z = 38 - i. Which is smaller: z or 10?
z
Let t(o) = o + 8. Suppose 2*z = 5*p + 22, 3*p = z - 3*z - 10. Let w be t(p). Which is greater: w or 5?
5
Let t = -28 - -28. Suppose 0 - 1 = a. Is a less than t?
True
Let m = 14 + -13.7. Let o = 2.04 + -2. Let r = o + -0.04. Is m less than or equal to r?
False
Let v be 33/5 + (-10)/(-25). Suppose -48 = 3*d - v*d. Suppose 0 = -s + 3*x - 14, -5*x + 36 - d = -s. Is 0.05 greater than s?
False
Let n = 1.7 + -6.7. Let w = 4.9 + n. Is w <= -1?
False
Let d = -46/21 - -20/7. Which is greater: d or 14?
14
Suppose v - 2*v = -3. Let z be -3 + 2 + 6*-1. Let d = v + z. Are d and -3 equal?
False
Let r be (-2)/(-3) - 1/15. Is r at most 2?
True
Suppose 0 = 2*i - 7*i + 35. Let r = i + -5. Is 2 greater than r?
False
Let d be (18/(-35) + 2/(-7))/(-2). Is d smaller than -0.3?
False
Let f be 18/3 + -2 + 1. Suppose -15 + f = -d + 3*x, -d - 18 = 4*x. Let o be 2/(-2) - (3 + 0). Which is bigger: o or d?
d
Let w be 1*-2*(-15)/(-2). Let d be (-27)/(-6)*(-2)/w. Let n = 3 - 3.1. Which is smaller: n or d?
n
Let l = 4 - 1. Suppose 24*f - 64 + 16 = 0. Which is bigger: f or l?
l
Let n = 1 - 5/2. Let u = 6 + -8. Let b = 1 + u. Which is greater: n or b?
b
Let f = -3.5 + 4.5. Let h = -0.2 - -0.7. Let g = 0.4 - h. Which is smaller: g or f?
g
Let n be (-2 - (-2 + -1)) + 19/(-13). Is 1 >= n?
True
Let z be 99/4 + -7 + (-87)/(-12). Is 27 greater than or equal to z?
True
Let u = -6.1 + 1.1. Let o = 4 + u. Is o < 3/7?
True
Let d be ((-25)/26 - -1)*4. Is -1 smaller than d?
True
Let r = -6 + 12. Let t(q) = -q**3 - 10*q**2 - q - 10. Let m be t(-10). Suppose m = -y + r*y. Is y less than or equal to -1?
False
Let g = -7 + 12. Let j(