i = -20 + 11. Suppose -8*l - 230 = 15*l. Is l > i?
False
Let w = -151 - -154. Which is smaller: w or -2?
-2
Let j(w) = -11*w - 65. Let s be j(-6). Which is greater: s or 1/295?
s
Suppose -6 + 18 = -3*l. Do l and -42/13 have different values?
True
Let y = 775 + -763. Is 1 less than y?
True
Let s = 1939 - 1252. Which is smaller: -0.1 or s?
-0.1
Let k be 17/12 - (-4)/(-6). Suppose 3*j = 3*j - j. Suppose -12*f + 20 - 8 = j. Is f equal to k?
False
Suppose 74 = -2*l + 3*r + 8, l + 32 = 2*r. Is -1 >= l?
True
Let k = 51 - -244. Suppose 5*d = 5*j + k, -4*j = 3*d + 27 - 239. Let h be -4 + (-4)/(d/(-74)). Is -2/7 less than or equal to h?
True
Let z = -4/557 + -1046/9469. Is z at most as big as -0.04?
True
Let u(q) = q**3 + 9*q**2 - q - 6. Suppose -3*j - 30 = 4*o, -5*j = 2*o - 3*o - 19. Let x be u(o). Is x <= -2/9?
False
Let l be 1 - 4 - 1 - -9. Suppose -2*n + l*a - 14 = 0, 2*a + 0 - 4 = 0. Let d be (10/(-220))/(n/(-8)). Which is smaller: d or -0.1?
d
Let t = 1.31 + 61.69. Let d = t + -62.9. Which is smaller: d or 48?
d
Let n = -485/11 + 44. Let w = -4 + 6. Suppose -2*d - 6 = -w*v, 1 = -3*d - 0*v + v. Is n equal to d?
False
Let j(m) = -m**2 - 8*m + 2. Let h(g) = -g**3 - 6*g**2 - 4*g - 3. Let r be h(-5). Let f be j(r). Let y be (f/52)/(9/36). Are 0 and y unequal?
True
Let i = -306 + 539. Suppose 5*j + 2*o + 103 = -i, -4*j - 2*o - 268 = 0. Let x be 5/10*j/6. Is x greater than or equal to -7?
True
Suppose 5*o - 3*o - 2 = 0. Let f(b) = 3*b. Let u be f(o). Suppose 0 = -q - q - 2*l + 10, 5*l - 5 = 5*q. Is u less than or equal to q?
False
Let h = 99 - 63. Let i = h - -26. Which is greater: 0 or i?
i
Let k be ((-2)/20)/(((-12)/6)/20). Let y = 3 + 1. Let g(z) = -z**3 + 4*z**2 + 2. Let l be g(y). Which is bigger: l or k?
l
Suppose -4*n - 261 = 15. Let y = n + 77. Which is greater: 10 or y?
10
Let f be 32/4 - ((0 - -4) + 0). Let y be 2 + (-7)/f + 2 + -1. Is 2/3 less than or equal to y?
True
Let h(v) be the second derivative of 7*v**4/12 - 32*v**3/3 + 9*v**2/2 - 7*v - 4. Let k be h(9). Which is smaller: k or 18/7?
k
Let a = -8.97 + 22.07. Which is bigger: a or -4?
a
Suppose 2*o + 12 = 4*m - 2*o, 0 = -5*m + 2*o + 6. Let x = 167 - 6. Let t = x + -1124/7. Is m <= t?
True
Let x = 48 + 15. Suppose -6*k - 39 - x = 0. Is -17 < k?
False
Let a(x) = 11*x**2 + 4*x**3 - 13*x + 31 - 5*x**3 + 1. Let o be a(10). Let p be 7/(-5) - 2/(-5). Is o != p?
True
Let q be -1 + -4 + 5 + -1. Are q and 0 nonequal?
True
Let y = 163 + -192. Is -31 greater than or equal to y?
False
Let p be (-4)/(-6) - (-28)/21. Suppose -p*a - a = -63. Suppose -4*z = 8, 0 = 2*k - 7*z + 3*z - 50. Is a less than k?
False
Let y = -15682/3 + 5165. Is y > -63?
True
Let k = -426 - -426. Does 1/110 = k?
False
Let s(a) = a**2 + 21*a + 4. Let l be s(-15). Which is smaller: l or -87?
-87
Suppose 4*w = -2*p + 100, 6*w - 120 = w - 5*p. Which is bigger: 18 or w?
w
Suppose 3 = -6*u + 3*u. Let a be ((0/(-5))/2)/u. Is 1/67 greater than a?
True
Let b = -2 + -1. Let g be (-14)/b*(-42)/(-49). Suppose q = -3*f - 0*f - 13, g*q - f = 0. Which is bigger: 1 or q?
1
Let b = 189 - 188.9. Is 64 < b?
False
Let a = 1486 + -1485.9. Let h = 0.061 - -46.939. Is h < a?
False
Let g be 2/((3/(-15))/((-5)/50)). Which is greater: g or -1/734?
g
Let u(x) = -x**3 + 11*x**2 + 12*x - 6. Let o be (-14)/63 - (-220)/18. Let s be u(o). Which is smaller: -9/2 or s?
s
Let r(i) = -i**3 + 4*i**2 + 12*i. Let b be r(6). Which is smaller: 5/13 or b?
b
Let q(a) = 5*a. Let g be q(-1). Let w = 227 - 209. Let o be (-3)/w - g/(-6). Which is greater: o or 0?
0
Suppose 3*r + 0*r + 414 = -4*z, 0 = 5*r - 10. Let j = z - -103. Is -11/9 greater than j?
True
Let j = -438 + 5728/13. Is j less than or equal to 2?
False
Let r(i) = 79*i + 1. Let u be r(0). Is -42/13 >= u?
False
Let h = 0.145 - -0.725. Let l = h - -0.07. Let f = 0.06 + l. Do f and -0.03 have different values?
True
Let q = 29 + 8. Let v = 36 - q. Is v smaller than 0.22?
True
Suppose -5*g - 24 = 21. Let v be 2/((15/g)/5). Let k be 14/(-5) + v/30. Are k and -1 equal?
False
Let f be (-147)/(-35) + 2/(-10). Let g be f/10*(-75)/20. Let o = -4 - -3. Which is bigger: g or o?
o
Let g be (-15 + 13)*(-16)/(-5). Let q = g + 379/60. Is -4 at most as big as q?
True
Let k(o) = -o. Let f be k(-2). Suppose -f*v = -3*m - 4, -4*v + 8*v - 22 = -m. Suppose -3*y + 2*t + 25 = 0, -5*t + m*t = -3*y + 30. Is 5 < y?
False
Let q(c) = 197*c - 4. Let y be q(-9). Let k = y - -3705/2. Let u = 79 - k. Are 4 and u unequal?
True
Let x = -95.66 - -97. Let b = x + -0.34. Is b equal to -23?
False
Let u be (-1015)/(-980) + 3*(-2)/8. Is u at least as big as 2/3?
False
Let c be (4/85)/(12/30 + 0). Let x be ((-4)/6)/((-64)/24). Which is smaller: x or c?
c
Suppose -4*t - 1 = -5*g, -6*t + 5*g + 3 = -3*t. Let u be 5/20 - 3/t. Does u = -76?
False
Let k(b) = 251*b - 402. Let h be k(-3). Is -1154 < h?
False
Let s = 0.036 + 0.764. Let l = -1.8 + s. Which is bigger: l or 9?
9
Suppose 0*d = -3*d + 12. Suppose -o = -6*o + 35. Let k = 13 - o. Which is bigger: k or d?
k
Let i = -277/21 - 71/7. Let m = -24 - i. Which is smaller: m or 3/7?
m
Let k = 2.21 + 40.79. Which is smaller: k or -1/3?
-1/3
Let j be (5/((-20)/(-8)))/((-4)/(-34)). Suppose -18*d = -j*d - 7. Suppose 0 + 10 = 2*r. Is r > d?
False
Let f = -31 - -21. Let y be ((-6)/(-4)*1)/(6/(-28)). Which is smaller: f or y?
f
Suppose -2*p + 3*v + 67 = -66, -v = 5. Let m = 131 - p. Is 73 at most as big as m?
False
Let r be (-93)/30*-16 - (-4)/10. Which is bigger: r or -3?
r
Let y(h) = 61*h**3 + 4*h**2 - 4*h - 2. Let n be y(-6). Let m = n + 1248941/96. Let s = m - -1/32. Which is smaller: 1 or s?
s
Suppose -9*w - 39 = -3. Let v = 10 + -22. Let t be (v/(-8) + -2)*10. Which is smaller: t or w?
t
Suppose 3*c - 3 - 18 = -3*r, 3*c - 13 = -r. Let v be 0 + 2/c - (-50)/(-30). Which is smaller: -2/57 or v?
v
Let d = -55 - -54. Let z be (d/(-2))/(4/8). Which is smaller: 1/46 or z?
1/46
Let j(b) be the second derivative of b**3/6 - 2*b**2 - 5*b. Let a be j(-19). Which is smaller: a or -1/2?
a
Let q = -414400298 - -45676444040570/110223. Let u be (-2)/5 - (-5948)/14895. Let n = q + u. Is 1 at least as big as n?
True
Let n be 0 + 3 - 1 - -2. Let u = -38 + 58. Let c = u - 20. Is c greater than or equal to n?
False
Suppose 0 = -4*y - 3 - 5. Let g be y + 5 - -3*1. Let k be ((-2)/(-185))/(g/(-30)). Which is bigger: -1 or k?
k
Let a = -204.8 + 204.9. Let i be (-28)/3*3/18. Which is bigger: a or i?
a
Let w = -1005/19 + 53. Let m be (3/(-4) - (-36)/16)*2. Suppose 11*x = 14*x + m. Is w greater than or equal to x?
True
Let r(q) = q**3 + 12*q**2 - q + 3. Let o be r(-11). Suppose 0 = -4*i + 5*v - 185, 2*v + 3*v + o = -4*i. Let p be (-12)/(-16) + 14/i. Is 3/5 at most p?
False
Let p = 2.03 - 1.922. Are 0.2 and p unequal?
True
Let o be (-4)/((-2 - 0)/4). Let j(h) = h**3 + 6*h**2 - 6*h + 1. Let z be j(-7). Let r be (2 - 20/6)*z. Are o and r equal?
True
Let h(x) = 0*x**2 + 8 + x**2 - 2*x**2 + 3*x. Let b be h(6). Suppose -5*d - 8 = 5*y + 22, 3*d - 37 = 2*y. Is y < b?
True
Let s be (2664/909 - 1) + -2 + 0. Let k = 1613/1414 + s. Is 0 less than or equal to k?
True
Suppose -4*b = 2*g + 3*g + 322, 0 = 3*g + 5*b + 201. Let z = g - -63. Which is greater: -2/41 or z?
z
Let a(i) = -i**3 + 6*i**2 - 5*i - 4. Let c be a(4). Which is bigger: 7 or c?
c
Suppose -4*w - g = 15 - 42, 4*g = 2*w. Suppose 4*h - 3 = n, 2*h + 4*n - w = -0*h. Which is bigger: 0.97 or h?
h
Let j(g) = 2*g + 27. Let k be -22 + 13 - (-1 + 4). Let s be j(k). Which is bigger: 5/2 or s?
s
Suppose 0 = 6*s + 212 + 292. Do -86 and s have different values?
True
Let o = 60.6 - 60.46. Is -12 > o?
False
Let y be (-1)/(-14) - (-20)/(-280). Which is bigger: y or -6/49?
y
Let u = 11 + -11.58. Let l = -24.42 + u. Which is smaller: l or 1?
l
Suppose -3*l + n - 247 = 0, 2*l = -5*n - 199 + 23. Is l smaller than -580/7?
True
Let u be (-1 + 5)/2 + -11 + 95. Is 86 greater than u?
False
Let h = -1.15 - -1.2. Let y = 0.57 + -0.07. Let p = y - -0.5. Which is bigger: p or h?
p
Let t(k) = 3*k**3 - 4*k**2 + 3*k - 1. Let f be t(1). Is f smaller than 9/247?
False
Suppose 3*c = -5*g - 9, -5*g + 2*g + 4*c + 12 = 0. Are -91.3 and g non-equal?
True
Let u be (24/12)/((-4)/10). Let x be 6*u/(-15) - 2. Which is bigger: -2/25 or x?
x
Let y = 2013 - 2019. Suppose 24 = 5*k - 6. Let j be -1 - (-2)/(4/k). Are j and y non-equal