026 + -0.026. Does -30 = o?
False
Let l be (-8)/(-6)*(-6)/4. Suppose -4*s + 0*s + 48 = 0. Suppose 5*t = -3 - s. Is t at most l?
True
Suppose 5*d = 12 - 2. Let v be (-38)/(-10) + d + -6. Which is smaller: -1 or v?
-1
Let j = -129 - -128.7. Which is smaller: j or 2/5?
j
Let z = 0.91 - 0.91. Which is smaller: z or -18?
-18
Suppose -6 = -l - 3. Suppose 5*y - a - 2*a - 3 = 0, 4*y + 3 = -l*a. Is y less than or equal to 0?
True
Let m = 10 - 9. Is 7/6 >= m?
True
Let h = 9 + -1. Do 6 and h have the same value?
False
Suppose -3*s = -8*s + 20. Let u = -2 + s. Which is smaller: u or 5?
u
Let u be (-3)/33*(0 + 4). Which is smaller: 1 or u?
u
Suppose 0 = -3*n + h - 20, n + 2*h + 2 = -0*h. Let q = 38 - 44. Are n and q unequal?
False
Let a = -0.02 + -0.18. Let q be 9/(-6)*((-4)/12)/1. Are a and q non-equal?
True
Let j = -76 - -98. Which is smaller: j or 20?
20
Let v = 666/23 - 19461/460. Let c = 55/4 + v. Suppose 0 = -x - 2*u + 3, 3*x - 3*u + 9 = -0*x. Do x and c have the same value?
False
Let o be -6*(-1)/((-1)/(-2)). Suppose p - 5*p = o. Which is smaller: -2 or p?
p
Let j = 13 - 8. Let i(x) = -x**3 + 6*x**2 - 4*x - 5. Let t be i(j). Let z be ((-2)/4 + 1)/(-1). Is t < z?
False
Suppose -o = -2*t + 6*t + 7, 3*o + 5 = 4*t. Let j be (0/(-8))/(t - -2). Is -1/2 at least j?
False
Suppose 2*p + 12 = 124. Let y = -394/7 + p. Which is smaller: 1 or y?
y
Let u be (0 - (-4)/8)*1*38. Is u != 18?
True
Let u be (-2)/9 - (-114)/27. Suppose -3*l + 45 = -i + 6*i, 55 = 5*i + 5*l. Which is bigger: u or i?
i
Let y = -75 - -107. Is 33 < y?
False
Suppose 2*y + 0*y + 4*r = 12, y + 5*r - 21 = 0. Let m be 6/y*(1 + 1). Let f be (2/(-24))/(m/(-4)). Is -1 at least f?
False
Suppose -106 - 154 = -5*l. Let x be l/(-80) + 1/4. Which is smaller: x or 3/5?
x
Let i(x) = x**3 - 5*x**2. Let o be i(5). Let y(k) = -k**2 + 4*k - 1. Let a be y(3). Suppose 0 = -0*b - 2*b + a. Which is smaller: b or o?
o
Suppose -4*p + 8 = -2*p, 4*p - 20 = b. Let w be 0/(-2)*(-2)/2. Is b less than w?
True
Suppose 0 = 3*a - 0*s - 2*s - 6, -4*a + 3*s + 9 = 0. Let y be (-15)/9 - (a - 1). Are 2/9 and y unequal?
True
Suppose 9*b + 5 = 10*b. Suppose -1 = b*j - 6*j. Which is bigger: j or 6/17?
j
Suppose -4*a + 5*b + 54 = 0, -a + b = -0*b - 13. Suppose -2*f = -3*k - k + 16, -4*f = -k + a. Does f = -2?
True
Let l be 3*(-2)/3 + 43. Let c = 122/3 - l. Which is smaller: 2 or c?
c
Suppose -8 = n + 3*n. Let w be (-2)/n - 6/5. Let f be 2 + -5 - (-2 - 1). Which is smaller: w or f?
w
Let v = 13 - 17. Which is greater: -5 or v?
v
Let q be 3/(1 + (-57)/12 + 3). Which is bigger: -3 or q?
-3
Let f = 1 - -3. Suppose -2*b = -2*k - 0*b + f, 2*k - 13 = 5*b. Let y = 2 - 4. Which is bigger: y or k?
k
Let i(x) = x + 7. Let f be i(8). Let r = -18 + f. Suppose -3*b = -0*b + 9. Is b at least as big as r?
True
Let o = -0.36 + 0.2. Let d = 0.28 + o. Which is greater: -2/5 or d?
d
Let l(c) = c**3 - 2*c**2 - 4*c + 7. Let y be l(3). Which is bigger: 0 or y?
y
Suppose -3*k - 4*i = -0*k + 13, -5*i = 5. Let w = k + 6. Suppose -j = -w*j - 2. Is j not equal to 1?
True
Let s = 19 + -3. Is s < 15?
False
Let z(n) = -n**2 + n. Let q be z(1). Let c = -0.1 - 0. Let f = c - 0.1. Is f less than q?
True
Let y(v) = v**3 + 9*v**2 - 8*v - 12. Let k be y(-9). Let w = 301/5 - k. Which is smaller: w or 0?
0
Let o be 8/16 - (-34)/4. Let b = -9 + o. Which is smaller: -0.5 or b?
-0.5
Suppose -2*z - 16 = -4*b + b, -2*z + 5*b = 24. Is -1/2 > z?
True
Let h be (-5)/170*-2*2. Let g = 3 + -3. Is g greater than or equal to h?
False
Let x(l) = -l - 9. Suppose 0 = -3*p + s - 29, s + 14 = -5*p - 37. Let q be x(p). Which is smaller: q or 2/21?
2/21
Let t = -0.6 + 0.45. Is 2/3 at most t?
False
Suppose 3*f = 1 - 4. Let w = -3/8255 - -56801/18161. Let k = w + -30/11. Which is bigger: f or k?
k
Let v = 10 + -1. Let t = v - 11. Which is bigger: t or -0.2?
-0.2
Suppose 4*q - 5 = -q. Let x be ((-2)/4)/((-14)/12). Which is smaller: q or x?
x
Let t = 0.2 - 0.1. Let y = 0.1 - t. Let s = 14 - 10. Which is smaller: s or y?
y
Let t be 8/30*(-3)/8. Suppose -3*s + 15 = 0, -9 = -0*v + v - 2*s. Is v <= t?
False
Let r = -20 - -15. Which is smaller: -9/2 or r?
r
Let g = 2 - 3. Let t = 2.2 + -2.2. Let w = t + g. Which is smaller: 2/13 or w?
w
Let q = 0.03 - 0.13. Is q > -6/11?
True
Let g(i) = i + 7. Let s be g(-6). Let t be (-3)/(-6)*2/5. Is s at least t?
True
Suppose -11*s + 2 = -9*s. Let z = -4/35 - 1/35. Is z at most as big as s?
True
Let g = 13/70 - -1/10. Let l = -7 - -7. Which is bigger: l or g?
g
Let n be 5/((-10)/(-12)) + 3. Let j = 6 - n. Which is smaller: j or -2?
j
Let y(u) = u**2 + 10*u + 7. Let z be y(-8). Let s = z - -6. Are s and -3/2 equal?
False
Suppose -v + 5 = -6*v. Suppose 2*j = 3*j - 4. Let b be 5/(-15) + j/6. Is b at most as big as v?
False
Let i(q) be the second derivative of -q**3/2 - 13*q**2/2 - 2*q. Let z(a) = -2*a - 7. Let d(g) = 3*i(g) - 5*z(g). Let f be d(5). Which is smaller: 2 or f?
f
Let d(h) = -h**3 + 5*h**2 - 4*h - 1. Let s be d(4). Let a be ((-24)/18)/((-2)/6). Let o be (a + -3)*(-2 - -1). Is s >= o?
True
Let s be (-17)/(-3) - (-3)/9. Is s bigger than 22/3?
False
Let t = -319019/7 + 45655. Let b = -81 + t. Let l(m) = m**3 - 4*m**2 - 4*m - 5. Let v be l(5). Which is greater: b or v?
v
Let k = -6 + 28. Let a be (-2)/(-4)*(-4)/k. Which is smaller: a or 1?
a
Let y = 19.3 - 7.3. Which is greater: y or 0.4?
y
Let l = 11 - 11.5. Let f = 0.61 + l. Let x = f - -0.89. Is 1 at least as big as x?
True
Suppose -4*s + 1 - 2 = -3*p, 3*s - 21 = -5*p. Suppose -10 = -4*u - 2*c, u - 5*c + 13 = -u. Is p greater than u?
True
Suppose -4*g + 11 = 2*x - 3*g, -g = -5*x + 10. Suppose -3*k = 4*c - 6, -2*c + 6 = x*c + 3*k. Let z be 8/(-70) + (-2)/(-5). Which is greater: z or c?
z
Let q be (-2)/((-3)/(-36)*3). Let g = -13 - q. Let x = g - -7. Which is smaller: x or 4?
x
Let a = 123 + -122. Which is smaller: 5 or a?
a
Let x be (-76)/16 + (-1)/4. Let u be ((-2)/x)/((-21)/(-35)). Which is smaller: -1 or u?
-1
Let g be 4 + (-2 - 42) + 1. Which is greater: g or -40?
g
Suppose 5*k = 7 + 3. Let v be (1 + 0)/(0 + 6/18). Which is smaller: k or v?
k
Suppose 0 = -3*b + 1 + 5. Let s = -32 + 34.9. Let n = s - 3. Which is smaller: n or b?
n
Let p = 14 + -8. Let n = -5 + p. Let a = -35 - -35.4. Is n at most as big as a?
False
Let g(p) = -5*p**3 + 5*p**2 + 2*p + 6*p**3 + 2*p + 4 + 0*p. Let a be g(-3). Let f = a - 9. Which is greater: 3/2 or f?
3/2
Let c = 11.8 - 0.8. Let w = -10 + 9.9. Is w at least as big as c?
False
Suppose -17 = 7*r + 39. Which is smaller: -7 or r?
r
Suppose 0 = -4*p + 2 + 2. Suppose 2*r = -1 - p. Is -2/77 < r?
False
Let r be (-10)/(-4)*(-12)/(-105). Let b = 15 - 8. Let s = 7.2 - b. Which is greater: r or s?
r
Suppose 0*m + 5*q = -m + 21, -q = -4*m. Suppose 5*p = -4 - m. Which is bigger: 2/5 or p?
2/5
Let t(f) = 3*f + 5. Let d be t(-4). Which is smaller: d or -8?
-8
Let y = 0.14 - 0.04. Let f = y - 0.6. Let w = f + 0.4. Which is smaller: 1/2 or w?
w
Let u be 468/(-270) - 8/(-6). Is u greater than or equal to 14?
False
Suppose 2*o - 5*x = 1, 3*x + 2 + 4 = 3*o. Let n = -2 + o. Which is smaller: 0 or n?
0
Let c = -319 + 635/2. Let x = 2.9 - 3. Which is smaller: c or x?
c
Let l = 1 + 2. Suppose 3*y - 13 = -4*g, -10 = -3*g + 2*g - 3*y. Which is bigger: g or l?
l
Let m = 35 + -29. Which is greater: m or 5?
m
Let t = -23 + 26. Let c be 21 + (-3)/t + -3. Is c at most as big as 16?
False
Let c be (-2 - 2 - 0)/1. Let f = c + 3. Is f < -1?
False
Let p be -1 - -2*(-53)/(-168). Let h be (-12)/21*((-10)/(-32))/(-5). Let q = p + h. Are 2 and q non-equal?
True
Let t be -1*9 + 1 + 2. Let c be (3 + t)/((-18)/4). Is 0 smaller than c?
True
Let y = -1 + 1. Let b = -140/3 + 47. Which is bigger: b or y?
b
Let u = -203 - -1829/9. Is u not equal to 0?
True
Let x = 1.4 - -0.6. Which is bigger: x or -1?
x
Suppose 0 = -2*u + 115 - 41. Let n = -112/3 + u. Suppose 5*j + 5 = -0. Are j and n nonequal?
True
Let r be ((-6)/(-9))/((-4)/42). Which is bigger: r or -6?
-6
Let q = 1.9 - 2. Let h(r) = r**3 + 5*r**2 - 2. Let y be h(-5). Is y less than or equal to q?
True
Let d = 3249/7 + -462. Which is smaller: 2 or d?
2
Let n = 3590 + -1874. Let b be 4/(-26) + (-48)/n. Which is bigger: b or 1?
1
Let l = 13 - 13. Let d = -2.8 + 3. Is l > d?
False
Let k = 18 + -8. Let m be 5/k*1/(-3). Is 2 != m?
True
Let v = -0.7 + 0.5. Let a be (6/