False
Let z be 9 - 3 - 9 - -2. Is z at least as big as -19/8?
True
Let f(l) = -5*l + 1. Let y be f(-1). Let p be (20/(-14))/(y/14). Is -3 != p?
True
Let s be 4/(-2) + 26/10. Suppose -11*p + 6*p = -10. Is s at most p?
True
Let o be (0/(-1))/(-2 + 4). Suppose o*y + 1 = y. Let x = -911/4 - -228. Which is smaller: y or x?
x
Let n = -22.9 - -23. Is n >= 1.1?
False
Let j be 3/10*2/3. Suppose -12 = -4*d - 4*l, -5*l + 15 = -d - 6. Do j and d have the same value?
False
Let i = -25.54 - 0.46. Let c = i - -26.1. Which is greater: c or -1?
c
Let l = -1 + 2. Let z be 3/5 + (-4)/(-10). Let g be z + 0 + 2/(-4). Which is smaller: l or g?
g
Let d be (-16)/12*(10 + -1). Is -13 bigger than d?
False
Suppose -2*a = -2*t + 2, -4*a + 21 = -t + 2*t. Let v(s) = s - 1. Let h be v(t). Suppose 0 = -n - 3*n + h. Which is greater: n or 2/3?
n
Let w be 2 + (5 + -3 - 1). Suppose -w*m + 1 = -2. Let d be (2 - 88/42) + 0. Is m greater than d?
True
Let j = 854/3 + -289. Let g = j - -14/3. Which is smaller: g or -1?
-1
Let y = 0.04 + -0.04. Let z = y - 0. Is -1/4 at most z?
True
Let i be 20/(-44) - 0 - -1. Is 2 not equal to i?
True
Let p be 4/5*5/(-1). Which is smaller: -5 or p?
-5
Suppose 0 = 2*s - 6*s - 8. Are -3 and s non-equal?
True
Let w = 3 - 2. Suppose 3*j + 12 = 0, -4*j - 12 = 3*b + w. Is 1 >= b?
True
Let g = -0.48 + 0.08. Let p = g - -0.12. Let d = p - -0.08. Is d at most as big as -3?
False
Let z be (-85)/45 + (-1)/9. Let y(b) = 2*b + 3. Let i be y(-3). Let o be z + (i - -2 - -2). Do o and 0 have the same value?
False
Suppose 5 + 19 = 4*p. Is p greater than 5?
True
Let n = -27 + 22. Let m = -11 + 7. Is n at most as big as m?
True
Suppose r + 4*r + 125 = 4*u, 4*r = 3*u - 94. Let w = -2 - 1. Let a be (-8)/u*w - 1. Which is bigger: 0 or a?
0
Let q = -1 - -3. Let u = q + -2. Let l be (5/((-75)/(-6)))/((-36)/20). Is l less than u?
True
Let z = -3.8 + 4. Let i = z + 0.3. Which is smaller: i or -1?
-1
Let z = -14 + -37. Which is smaller: 0.1 or z?
z
Let i(o) = -o - 1. Let b be 2/5 - (-22)/(-5). Let d be i(b). Is 2 smaller than d?
True
Suppose -387 + 67 = -5*y. Let f be 36/y*(-6)/(-9). Do f and 1 have the same value?
False
Let z(o) = 2*o**3 + 4*o**2 + 3*o. Let i be z(-2). Let a be (-2 - 16/i)*-3. Let f = 3 + a. Are f and 1 unequal?
False
Let t be (3 - -1)/(4 + -2). Let u be (-2)/4*-8 - t. Which is smaller: 2/3 or u?
2/3
Let i be ((-26)/(-16))/1 + -2. Is 1 less than or equal to i?
False
Let z = 8 + -3. Suppose 2*p - z*p = 18. Let t = p - -10. Are 5 and t nonequal?
True
Let l be -3 - 2/4*-4. Let r be l + (1 - -1) + -9. Let w(k) = k**3 + 7*k**2 - 7*k + 10. Let b be w(r). Is b bigger than 3?
False
Let m(v) = v**3 + 4*v**2 - 4*v - 5. Let j(h) = -h**3 - 5*h**2 + 5*h + 6. Let r(b) = 2*j(b) + 3*m(b). Let d be r(-2). Are 4/13 and d non-equal?
True
Let j be 1/(3/(-3)*-1). Do 1 and j have different values?
False
Suppose 3*d - 2 = 7. Is d < 3?
False
Let b be -10 + 12 - (-109)/(-42). Let t = b - -3/7. Which is bigger: t or 1?
1
Let i = -23 + 53. Suppose -5*o - 5*k = -i, -4*k + 10 + 10 = 0. Let b = -2917/9 - -324. Which is greater: o or b?
o
Let s = -4 + 6. Let y = -1 + s. Which is greater: y or 1/4?
y
Let q = 2.4 - 2.6. Which is greater: q or 2?
2
Let l be 512/20 - 6/10. Which is smaller: 49/2 or l?
49/2
Let a = -19 + 22. Is a at most 2?
False
Suppose 0 = -4*f + 14 + 6. Let t be (4/(-6))/(f/7). Let l = -3/5 - t. Which is greater: 0 or l?
l
Let w(f) = -f**2 + 2*f + 2. Let u be w(2). Let l = u + -1. Which is smaller: l or 2?
l
Let c = 5 - 2. Suppose 0 = 3*r - 2*b + 11, b + c*b = 5*r + 19. Which is smaller: r or -4?
-4
Suppose 2*m + 6 = 4*m. Suppose m*v - 2*v = 4*i, 0 = -2*i - v. Do i and 2 have different values?
True
Suppose 4*l + 12 = 0, 5*c - 221 = -3*l - 0*l. Is c greater than 47?
False
Suppose 6*g - 5 = 3*g + q, 2*q = 2. Let b be g/6*(2 - -1). Let l = -229/7 + 33. Which is smaller: b or l?
l
Let a(z) = 7 - z**3 - 1 + z**2 + 3*z**2 - 6*z. Let d be a(3). Suppose 2*b = 7*b. Which is greater: b or d?
b
Suppose 43*q = 47*q + 28. Are q and -6 unequal?
True
Suppose 4*c - 8 - 20 = 0. Are -2 and c unequal?
True
Suppose a = 3*a + 2. Let n be (-272)/6*(-76)/(-24). Let l = n + 144. Which is smaller: l or a?
a
Let g = 2 + -1. Let c = -7052/312585 + 2/3435. Let z = c + 4/13. Is g greater than or equal to z?
True
Let t be (-6)/14*10/15. Do 0.09 and t have different values?
True
Suppose 4 = t - 2*t. Let u be 26/9 + (-7 - t). Is 0 less than u?
False
Suppose r = -3*n + 5 + 7, -60 = -5*r - 5*n. Let w = 14 - r. Which is smaller: w or 12/5?
w
Suppose 3*t = t + 4. Suppose -l = -t*q - 8, -q + 2*l - l = 6. Let n be (-1)/(1*1/q). Are n and 0 equal?
False
Let d(w) = -w + 6. Let g be d(8). Which is smaller: g or -3?
-3
Let c = -89.6 + 91. Is c at most 5?
True
Suppose -6*i = -0*i. Which is smaller: 1/79 or i?
i
Let r = 16.92 - 17. Let t = -0.11 - r. Is -2/5 greater than or equal to t?
False
Suppose 2*t - 4*u = 5*t - 117, 5*t + 4*u - 203 = 0. Suppose -x + 0 + 2 = 0, -4*x = -5*p - t. Let y be ((-1)/p)/1*2. Do y and 0 have the same value?
False
Let o = 5 + -9. Which is smaller: -10/3 or o?
o
Let j = 149/40 + -33/8. Let v = -9153/8 + 411967/360. Let h = v - -1/45. Is h > j?
True
Let n(t) = -10*t - 5. Let x be n(-1). Which is greater: 33/7 or x?
x
Let p be 1 + -1 - 2/20. Suppose 0 = 4*u - 6*u - 36. Let n = u + 17. Which is greater: n or p?
p
Let f = 66 + -66. Is f equal to 1/8?
False
Let t = -17 + 2. Let k be (-9)/t + 1/(-5). Is 0 at least as big as k?
False
Suppose 2*j = -5*v - 42, j - 2 = 2*v - 5. Let g = -7 - j. Do g and 4 have different values?
False
Suppose -5*a + 20 = -a. Suppose 1 - 6 = a*w. Let s = -132 - -1186/9. Is s at least as big as w?
True
Let j = -1.7 - -1.9. Which is smaller: 10 or j?
j
Let g be -3 - (-3 + 44/4). Is -11 at least g?
True
Let z = 25 - 41. Which is bigger: z or -15?
-15
Suppose -n - 3*n = -12. Suppose -n*v + 15 = -t - 2*t, 4 = v. Let m(l) = l**3 + 4*l**2 - 4*l + 1. Let r be m(-5). Is t less than or equal to r?
False
Let b = 9 + -6. Suppose p - 2*p - 5*l = -14, b*p = -4*l + 20. Suppose p*k + 4 + 8 = 0, k = -d - 1. Is d at most as big as -2/7?
False
Let i be 13/3 - 8/(-12). Suppose x = i*x + 12. Is x > -4?
True
Let z be 9/3 + (-3)/3. Suppose l - z = -l - 2*p, 2*l - 20 = 4*p. Which is smaller: l or 7?
l
Let x(k) = k**2 - 2*k - 6. Let r(m) = m. Let a(y) = 6*r(y) + x(y). Let f be a(-5). Let z be (-3)/(-3) - 5/9. Which is smaller: z or f?
f
Let s = -701/8326 - 1/362. Which is smaller: 0 or s?
s
Let b be (-10)/6 - (-3)/(-9). Let r(m) = m**2 - 3*m - 1. Let j(p) = -5*p**2 + 15*p + 5. Let t(u) = 2*j(u) + 11*r(u). Let s be t(3). Which is smaller: b or s?
b
Let j = -42 - -75. Which is greater: 0.1 or j?
j
Let k be (-2)/(-4)*(2 + -2). Let q be k + (-10)/(-6) - 2. Which is smaller: 0 or q?
q
Suppose 4*g - 19 = -3. Let f be ((-2)/g*-10)/1. Is f at most 5?
True
Let j = -209 - -209. Is j smaller than -160?
False
Let o = 11 - 3. Let x = -10 + o. Which is smaller: x or -1?
x
Let w = 0.064 - -0.036. Let b = -0.1 - -0.2. Is w equal to b?
True
Suppose 0 = f - 0*f + 1. Is 1/6 greater than f?
True
Let o = -84 + 80.9. Which is bigger: -1 or o?
-1
Let p = 7 - 6.4. Let r = p + -1. Let c = r - 0.6. Which is greater: 3/4 or c?
3/4
Let d = 11.7 - -2.3. Do -1 and d have different values?
True
Let a be 4/(-12) + (-110)/(-42). Let i = a - 450/203. Which is smaller: 1 or i?
i
Let m be (-3)/22*(-2)/12. Let u = m + 1/4. Is u at most as big as 1?
True
Let o be (-57)/9 + 2 - (-2)/6. Let v = -7 + 3. Is v < o?
False
Let i = -55 + 59. Is i bigger than -0.5?
True
Let b be (-16)/10 - 12/(-20). Which is smaller: b or -1/80?
b
Let d(m) = -m**2 + 8*m + 8. Let n be d(9). Which is smaller: n or -3/13?
n
Let s = 16 - -1. Suppose -5*o + 8 + s = 0. Which is smaller: 4 or o?
4
Suppose -6*a + 8*a = -32. Is a bigger than -16?
False
Suppose -20 = -5*v - 0*v. Which is greater: v or 2?
v
Let g(y) = -4*y**3 - y**2 - y. Let u be g(-1). Let t(l) = 5*l**2 - 1. Let f be t(-1). Suppose f*h = 5*h - 4. Is u at most h?
True
Suppose -6*k = k - 7. Is k bigger than 3/28?
True
Let m = 174 + -169. Which is smaller: 49/8 or m?
m
Let s be 5/(-25) - 98/10. Is s < -8?
True
Let b(a) be the third derivative of -a**5/60 - a**4/6 - a**3/6 - 3*a**2. Let v be b(-3). Which is smaller: v or -0.1?
-0.1
Let h = 0 - 0. Suppose -5*n = -h*n. Suppose 0 = 5*d - 2*y + 9, -3*d