/869 + f. Does t = 0?
False
Suppose -3*j + 90 = -3*m, -2*j + 66 = -5*m + 6*m. Are j and 30 unequal?
True
Let x be -2 + 1/((-2)/(-6)). Let u be 4 + x + 1 + -2. Is 4 at most u?
True
Suppose 0*o + 3*v = -4*o + 39, 4*o = -4*v + 36. Is 12 >= o?
True
Let g be (2/(-4) - 0)*0. Let v be 1*(-2 - (2 + -2)). Let k be (g + 6/3)/v. Is -1 at least k?
True
Let g be (-1)/(3/9) - (-1 - 9). Is 8 bigger than g?
True
Let c = 25 + -17. Which is smaller: c or 9?
c
Let i = 68 - 64. Which is smaller: 3 or i?
3
Suppose -3*v = -v - 10. Suppose -v*j = 4*g - 2 + 31, -g + 4 = -j. Are -1 and g nonequal?
False
Let g = -8 + 4. Let h be (9/(-12))/((-1)/g). Let t be (12/9)/((-1)/h). Which is bigger: 3 or t?
t
Let m(v) = -6*v**2 + 3*v + 5. Let a be m(3). Are -41 and a non-equal?
True
Suppose 0 = 32*u - 27*u - 100. Does u = 64/3?
False
Let h = -79 - -151. Let m be (-4)/18 - (-160)/h. Which is greater: m or 7?
7
Let i(r) = -r - 6. Let h be i(-5). Let t(y) = -y**3 + 2*y**2 + y - 2. Let d be t(-2). Let z be d/(-7) - 2/7. Which is bigger: z or h?
h
Let t = 0.39 + 0.01. Let p = 7.7 - 7. Let j = t - p. Which is smaller: -0.1 or j?
j
Suppose 8 = -5*x + 4*x. Let q be (-30)/8 - (-2)/x. Is -3 equal to q?
False
Let s = -21 - -21.6. Which is smaller: 0 or s?
0
Suppose -3*q + 0 = -2*y + 7, -2*y + 10 = 0. Which is greater: -1/28 or q?
q
Let o(v) = -v + 1. Let f(p) = -p**2 - p + 5. Let w(l) = f(l) - 5*o(l). Let r be w(5). Is -3 equal to r?
False
Let n be (-10)/(-14) - (3 + -2). Let m = 10 + -10. Are m and n equal?
False
Suppose -5*j + 8*j = 0. Which is smaller: j or 2/43?
j
Let v = 11 - 20. Is v less than -10?
False
Let c be 8/16*(1 + -1). Which is bigger: 4/3 or c?
4/3
Let z be 12/(-2)*5/(-10). Suppose -4*l = 0, 3 = z*a - l + 4*l. Which is smaller: 0.1 or a?
0.1
Suppose 3*l = 2*y + 8*l - 17, -l = -5*y - 25. Let m be (-2)/6*(4 + y). Let q = 1 + -2. Are q and m non-equal?
True
Let g be 1/(-90)*-1509 - 2. Let w = g - 74/5. Is w less than -1?
False
Suppose d - 4*d = -4*l - 300, -d - 212 = 3*l. Let g be (-4)/(-22) - l/(-33). Which is smaller: 0 or g?
g
Let t(l) = l**3 + 2*l**2 - 3*l - 3. Let i be t(-2). Suppose 2*z = 2*q - 0*q, 4*q - 5*z = -1. Is i greater than q?
True
Let y(g) = g**2 + 9*g + 11. Suppose 0 = -4*a + 4*b - 4, 0*b + 5*b + 7 = a. Let o be 30/a + (2 - 0). Let f be y(o). Which is greater: f or 5/3?
f
Let t = -1.2 + 1.29. Let k = 0 + t. Let v = -4.09 + k. Which is smaller: 1/4 or v?
v
Let d = 17 - 10. Let x = 18 + -25. Let o = d + x. Is o greater than or equal to 2/11?
False
Let d = 0 - -4. Let n be 176/12*(-3)/(-2). Suppose 3*x + 6 = 18, 3*u - n = -d*x. Is 4/3 less than or equal to u?
True
Let o = 0.2 - 0.17. Let x = -0.03 + o. Which is bigger: x or 0.4?
0.4
Let t = 1.7 + -2. Let a = -0.3 - t. Let f = 0.8 - -0.2. Which is smaller: a or f?
a
Let l(v) = v**3 + 5*v**2 - 3*v + 8. Let a be l(-6). Let g = a + 5. Which is smaller: g or -6?
-6
Let u = -22 + 9. Let q = u + 8. Are -0.2 and q non-equal?
True
Let w = 91/240 + 1/48. Let p be (-7)/(-5) - (-6)/(-15). Which is smaller: w or p?
w
Suppose -7 = 2*f - 9. Let k = 533/7 - 76. Which is greater: f or k?
f
Let l = 1 + -1. Suppose -1 = -4*c + 3. Are l and c equal?
False
Let a(r) = r**3 + r**2 + 2. Let z be a(0). Let q be (2/68)/(z/8). Suppose -2*g - t = 2*t + 6, -t = 3*g + 2. Which is smaller: q or g?
g
Let c be ((-9)/(-12))/(3/1). Suppose -3*v - 2*d + 11 = 0, -v + 5 = 2*d - 0. Suppose v = -0*f - 3*f. Is c < f?
False
Suppose 0 = -4*u - 20 - 32. Let p = u + 16. Which is smaller: -5 or p?
-5
Let o be (-2)/(-9) - (-411)/(-27). Let y be (3 - o/(-12)) + -2. Which is greater: y or -1?
y
Suppose 0 = -i + 4*w - 2 + 1, w = -2*i - 2. Let l be 0*(i + (-9)/(-6)). Is l >= -1?
True
Suppose 9*x - 2*t - 4 = 4*x, 4*x + 10 = -5*t. Which is smaller: 4/3 or x?
x
Let y be ((-10)/8)/(4/16). Let s(q) = 5*q**3 - 1. Let x be s(-1). Is y <= x?
False
Suppose -i + 1 = i + 3*g, -3*i - 5*g = -3. Let m(l) = -3*l - 3. Let j be m(-2). Let t = j - 7. Is i at least as big as t?
True
Let i = 4 - 4. Which is smaller: -1 or i?
-1
Suppose 2 = -6*u + 8*u. Let x be ((-9)/24)/(3/(-10)). Which is smaller: x or u?
u
Suppose -5 = -q, 0 = -5*y + q + q - 15. Let i be (-1010)/(-15)*y/2. Let a = -34 - i. Which is bigger: a or -1?
a
Let c be (-22)/(-3)*(-1)/(-16)*-4. Is -3 > c?
False
Let n be (4 + -5)*(6 - 1). Which is smaller: n or -6?
-6
Let x be (4 + -1)*(2 + -1). Suppose -5*q - 10 = 0, 4*q + 5 = -0*y + x*y. Is y bigger than -2?
True
Suppose -5*v + 29 = 4*j, 2*v - 6 = 2*j - 5*j. Let o be ((-3)/v)/((-3)/72). Which is bigger: 6 or o?
o
Suppose 139 = -3*c + 1. Is c <= -47?
False
Let t be (-2)/5 - (-6)/(-10). Is 0 <= t?
False
Let r = -6 + 2. Let s = r - -5. Let i = 3/19 - 40/133. Which is bigger: s or i?
s
Let r = 6 + -9. Let p be (-3)/(-2)*2/r. Let d be (-4)/(-6) - p/(-2). Which is smaller: 0 or d?
0
Let c = -5 + 8. Suppose 2*z + c = 1. Which is greater: 0 or z?
0
Suppose -4*a + 18 = -5*p, -8 = a - 2*a + 3*p. Suppose -a*k + 24 = -6*k. Which is bigger: -2 or k?
-2
Suppose -1 = -2*c + 5. Let t = c + -4. Which is greater: t or 2/9?
2/9
Let q = 0 + 3. Suppose 0 = -2*l + q + 1. Suppose -5*o + 3 = -l*o. Are o and 1/2 non-equal?
True
Let r be ((-4)/(-2))/(128/20 - 4). Which is smaller: 2 or r?
r
Let g = -18 - -18. Is 10/31 bigger than g?
True
Let l = -4 + 7. Let t be (-1)/2*(l + -4). Suppose 5*n = 5*d - 35, -2*d + n = -2*n - 19. Which is greater: d or t?
d
Let c = 1/71 - -281/213. Is c bigger than 0?
True
Suppose 0 = -o - 5 + 3. Let m = 0.1 + -0.1. Which is smaller: o or m?
o
Let h = 122 + -141. Which is smaller: h or -18?
h
Let j = -100 - -218. Suppose 156 = 5*c - 3*m + 33, -2*m = 5*c - j. Let k be ((-1)/(-4))/((-27)/c). Which is smaller: 1 or k?
k
Let k(n) be the third derivative of n**6/120 + n**4/24 + n**3/6 - 2*n**2. Let z(i) = i**2 + 4*i + 3. Let c be z(-2). Let p be k(c). Is p at most -2/9?
True
Let n = -171/8 + 21. Suppose 0 = 4*s - s. Which is smaller: n or s?
n
Let j = -13479/10 - -1350. Which is smaller: j or 1?
1
Suppose 5*w - 3*b - 6 - 67 = 0, 47 = 3*w - b. Suppose -3*j + 1 + w = 0. Is 6 smaller than j?
False
Let z be 2/((3/(-1))/(-6)). Let f be (72 + 3)*z/(-6). Let i = f - -299/6. Which is smaller: i or 0?
i
Suppose 4*m = 3*m. Let u = 1761/8 - 220. Are m and u equal?
False
Let y be 1 - 1 - (-5 - -5). Suppose 0*q + 14 = -2*q - 4*c, -2*q + 5*c + 31 = y. Let a = 17/4 - q. Do 2 and a have the same value?
False
Let h(a) = 0*a + a**3 + 12*a**2 + 6 + 0*a + a. Let i be h(-12). Which is greater: -5 or i?
-5
Let w(z) = -z**3 + 8*z**2 - 3. Let p be w(8). Is p smaller than -12/5?
True
Let t be (-26)/36 + 4/(-8). Which is smaller: t or 0?
t
Let k = -8 + 11. Is 3 smaller than k?
False
Suppose 0 = 3*y - 12 - 12. Suppose 0 = i + 3*u - u + y, -2*i + 4*u + 24 = 0. Let n be i*(-2)/(-2) - 4. Which is bigger: n or -3/4?
-3/4
Let z = -15 - -14.4. Let h be (2/6)/((-21)/18). Which is smaller: z or h?
z
Let k be (3104/(-778))/(-2) - 2. Let q be (-274940)/513480 + (-2)/(-12). Let s = q - k. Is 1 greater than s?
True
Let p(m) = m + 3. Let o be p(-3). Let x be (1/(-54))/(o + -1). Let q = 29/108 - x. Which is smaller: 1 or q?
q
Let i = 18 + -10. Suppose 3*m = m + i. Let w(q) = q - 4. Let r be w(m). Which is smaller: r or 2/13?
r
Let o be ((-330)/(-16))/(-5) - -4. Does 0.2 = o?
False
Let y be 5/(-2)*7/(-5). Let z = y + -5. Let n = -1 - z. Do 0 and n have the same value?
False
Let w(z) = z**3 + 4*z**2 - 1. Let o be w(-6). Is -73 bigger than o?
False
Let a = 384.3 + -367. Let r = 17 - a. Which is smaller: -0.1 or r?
r
Let c = -285 + 1705/6. Let z be (-1 + 2)*2*-1. Which is greater: c or z?
c
Let q(r) = -2 + 2 - 5*r**2 + 4*r**2. Let o be q(0). Let s be (4/12)/(-1 + o). Is s greater than 0?
False
Let i(w) = 2*w**3 + 0*w - 7*w**2 + w + 10 - 3*w**3. Let t be i(-7). Let k = t - 5. Which is greater: k or 0.1?
0.1
Let g = 0.2 + 0. Is 17 greater than g?
True
Let n = 26 + -54. Let i be 6/(-21) - 36/n. Suppose 0 = 3*g - 7*g. Which is greater: i or g?
i
Suppose 0 = 2*p - p + 45. Let g be (-7)/(21/p)*1. Which is bigger: g or 14?
g
Let y = -1.1 + 1. Let r(v) = v**2 + 5*v - 4. Let k be r(-5). Which is smaller: k or y?
k
Let f = -35 - -36. Is 0 equal to f?
False
Suppose 0 = f - 2. Suppose -f*p - 2*p = 48. Let l be 10/p - (-2)/6. Which is smaller: -2 or l?
-2
Let u = 128/23 - 23632/345. Let m = 63 + u. Is 0 < m?
True
Suppose 0*b +