 t(q) = -14*q - 22. Let b be t(-2). Let l be 2 + (1 + 0)*-2. Suppose o + 9 = 5*j - 2*j, 4*o + 2*j - b = l. Does -5/7 = o?
False
Let z be (-556)/112 - -1*2. Let b = -574 - -3999/7. Let j = b - z. Which is bigger: 1 or j?
1
Let c = -3 - -2. Let s = c + 100. Let x = s + -2279/23. Which is smaller: x or 2/9?
x
Let w(f) = f**2 + 6*f - 5. Let d be w(-7). Suppose -z = z - d*c + 10, 2*z - 3*c = -12. Let v be (-2)/(-8) + (-147)/60. Which is smaller: v or z?
z
Suppose 2*w - 5*y + 9 = 0, 3*w - 4*y - 94 = -90. Suppose 5*s + 4*b = 15, 3*s - 3*b - 7 - 29 = 0. Which is bigger: w or s?
w
Suppose -b = -3*b + 10. Suppose -2 = -5*o + 18. Suppose -o = r - 7. Which is smaller: b or r?
r
Suppose k + 11 = 5*v, 3*v + 5 = 2. Let z be 4 - 6 - (-2 - k/(-6)). Are 2 and z equal?
False
Let b = -359 + 369. Let v(q) = q**3 + 7*q**2 + 4*q - 5. Let j be v(-6). Suppose -3*r = -2*n + r - b, -n + j = 4*r. Is -2 at most as big as n?
True
Suppose -9*b + 5*b = -n + 29, 0 = 3*b + 4*n + 36. Is -25/3 smaller than b?
True
Let z = 1/15 - -3/5. Suppose j + 17 = -3*d + 4, -25 = -5*j + 3*d. Suppose -i = -0 - j. Do z and i have different values?
True
Let u be (2 + 2)*-16 - -2. Which is smaller: u or -61?
u
Let h = 112 - 171. Is -1 less than h?
False
Let f = 2/2807217 + 693381809/1108850715. Let h = f + -2/79. Are 2 and h equal?
False
Let j = -0.04 + -0.04. Let u = 234 - 122. Let k = -110 + u. Which is smaller: k or j?
j
Let m = 0.206 - 0.306. Which is smaller: 26 or m?
m
Let w(u) = u**3 + u**2 + 14*u. Let d be w(0). Which is greater: d or -2/1169?
d
Let c(r) = 9*r + 2. Let i = 7 - 10. Let z = i + 1. Let j be c(z). Which is bigger: j or -15?
-15
Let r(i) = -i**2 + i + 5. Let h be r(4). Let t(u) be the second derivative of -u**4/12 - u**3/6 - 7*u**2/2 + 11*u. Let z be t(0). Is h at least as big as z?
True
Suppose -3*m - 4*v + 55 = 0, 2 + 27 = 2*m - 5*v. Let d = m - 15. Suppose 2*w + 4*y = 8, -5 = d*w + y - 4. Is 0 greater than or equal to w?
True
Let p = -4349 + 1326444/305. Let x = p + 3358/915. Is x < 4?
True
Let c(o) = o**3 + o**2 + 4*o + 36. Let l be c(0). Is l bigger than 38?
False
Suppose -2*x - 154 = -172. Suppose 0*o = -3*o + 4*t - 2, 4*o - t - 6 = 0. Suppose -2*f + 8 = -0, -o*w + 2*f = -8. Is w <= x?
True
Suppose 0 = t - 5*f - 10, 4*f - 8*f = t + 8. Suppose 0*p = 2*p. Let z = p + t. Is -2/59 equal to z?
False
Let x = 1.142 + -1.23. Let u = 7/11 - 57/55. Which is smaller: u or x?
u
Let i = 66 - 66. Let h be (-4)/(-16)*4/90. Let x = -43/180 - h. Is i less than or equal to x?
False
Suppose -5*s + 2*s = -3, 2*y - 11 = 3*s. Suppose 0 = -4*a + 2*x + 38, -2*x = -0*x - 10. Let p be 3/a - 46/(-8). Is y at most as big as p?
False
Let b(j) be the second derivative of -j**3/6 + 3*j**2/2 - 2*j. Let c be b(9). Let d = 0 - 7. Is c bigger than d?
True
Let f = -904 - -904. Which is smaller: f or -87?
-87
Let y = -2/69 + 1/2415. Suppose -5*b - 4*c = 2 - 13, 18 = 2*b + 5*c. Is b at least y?
False
Let q be 6/9*66/4. Let o = q - 1. Let x be (6/(-52))/(5/o). Is x greater than -1?
True
Let d = 581 + -6376/11. Is 2 at most as big as d?
False
Let g(c) = -7*c**3 + c**2 + c + 1. Let d be g(-1). Let n(s) = -s**3 + 10*s**2 - 17*s + 7. Let i be n(d). Let w be (-8)/(-10)*12/72. Is i smaller than w?
True
Let d = 1110 + -21087/19. Which is smaller: -3/2 or d?
-3/2
Let o = 1429/7195 + 2/1439. Which is bigger: 15/8 or o?
15/8
Suppose -x + 4*j = -31, -3*x + 6*x = -5*j + 76. Let q = -19 + 48. Is x smaller than q?
True
Let v = 195 - 150. Is v smaller than 44?
False
Suppose 3*u + 5*u = 32. Suppose -12*k + u*p = -15*k - 20, 5*p + 14 = -k. Which is greater: 4 or k?
4
Let x = 15.7 - -224.3. Is 5 < x?
True
Let b(j) = -1 + 0 + j**2 + 2 + j**3 - 2. Let z be b(-1). Which is greater: 1/13 or z?
1/13
Let n = -25 + -3. Let b be (-6)/4*n/(-21). Which is greater: b or 1.1?
1.1
Let c be -1 + (7 - 5)*1*-1. Let h be (-6)/(-9) - (c + 94/6). Which is greater: h or -13?
h
Let y = -587 - -587.09. Do -1/5 and y have the same value?
False
Suppose -61*y = -57*y - 40. Let a be y/(-4)*(-1 - (-9)/10). Is a at least as big as 6?
False
Let w = -0.009 + 2.009. Which is smaller: w or -1/7?
-1/7
Let g be (-3994)/3080 + (-2)/11. Let j = -1/20 - g. Suppose 3*p + 0 = x + 1, -2 = 2*x + 5*p. Is j < x?
False
Let n = 1411 - 1401. Are n and 68 unequal?
True
Let i = 97 + -105.2. Let u = -11.48 - i. Let t = 0.28 + u. Which is smaller: -1/5 or t?
t
Let u(w) = 5*w - 12. Let h(f) = 6*f - 13. Let b(i) = -4*h(i) + 5*u(i). Let z be b(9). Suppose 0 = -2*r + z + 7. Is r greater than 5?
False
Suppose 2*z = 2*l - 28, 4*z - z - l = -46. Let f be (4/z)/(22/40). Which is smaller: 1 or f?
f
Let y = -1/5 - 8/35. Which is smaller: -6/11 or y?
-6/11
Let n = -2 + 1.79. Let r = 0.15 - -2.64. Let k = n - r. Which is greater: -1 or k?
-1
Let o(w) = 546*w**2 + w + 1. Let r be o(1). Is r >= 547?
True
Suppose 13*x = -8260 + 2293. Which is smaller: -457 or x?
x
Let y be 27954/(-195) - 14/(-91). Let b = -144 - y. Is b > -0.1?
False
Let l(m) = 105*m + 645. Let p be l(-6). Let i(w) = -w**3 - 4*w**2 - 4*w. Let c be i(-4). Which is smaller: p or c?
p
Let m = 5 + -5.6. Let s = -0.7 - m. Is s <= -9?
False
Suppose -2 = z - 5. Suppose -z*b = -6 - 9. Suppose g + b = -0*g. Which is bigger: g or 0?
0
Let r = 0.2717 - -2.7283. Let s = -0.2 + 1.2. Let d = s - 1.05. Is d <= r?
True
Let d be (-584)/438*6/(-22060). Is d >= 0?
True
Let u be -97*(-9)/((-72)/(-8)). Is 94 equal to u?
False
Suppose c = -5*y + 49, 3*y = 2*c - 0*y - 33. Suppose -3*d = -9*d - c. Is d <= -6?
False
Let u = 14119/6 + -63551/30. Let v = -236 + u. Let c(b) = 2*b**3 + b**2 - b - 1. Let p be c(-1). Is v less than p?
True
Let a(n) = -17*n**2 + 28*n. Let i be a(6). Which is greater: -445 or i?
i
Let x(s) = s**2 - 4*s - 5*s + 10 - s. Let l be x(9). Let g(b) = -b + 2. Let n be g(0). Which is bigger: l or n?
n
Let j = -333 + 334. Do -37.8 and j have the same value?
False
Let y = -7.05 + 7. Let m = y - -22.05. Let i = m - 21. Is -0.1 not equal to i?
True
Let b = -2.824 + -0.176. Which is bigger: 13 or b?
13
Let f(n) = -n**3 + 27*n**2 - 24*n - 52. Let b be f(26). Are 1 and b unequal?
True
Let g(y) = y**3 - 6*y**2 + 4*y + 9. Let m be g(5). Which is greater: m or 13?
13
Suppose 3*n - 12 = 18. Suppose -5*t - n + 30 = 0. Let w be (-114)/(-30) - t*1. Which is bigger: 0 or w?
0
Suppose 0 = -g - 5*q - 14, 3*g = -0*q + 2*q + 9. Let z be (g/(-2))/((-3)/10). Suppose 0*t - 3*t + 16 = k, k + 4 = t. Is k greater than or equal to z?
False
Let l be 6/4 + 16 + (-735)/(-14). Are l and 67 equal?
False
Let o = -152994119/728 - 243504/91. Let x = -212402 - o. Let j = -430 + x. Is j > 2?
False
Let a(c) = -2*c**3 - 6*c**2 - 5*c + 38. Let l be a(6). Is l at least -640?
True
Let g = -21 + -11. Let v = -19.5 - g. Let j = v + -1.5. Which is smaller: 1 or j?
1
Let o = 1.09 - -3.91. Is -27/7 at most o?
True
Let y be 2/19*78/(-52). Which is smaller: 1 or y?
y
Let f = 21 + -20. Let l be -1*(-3)/(-3)*f. Let v = -1399/20 + 70. Which is smaller: v or l?
l
Let i = 75.039 + -0.039. Let b = i - 77.56. Let v = b + 2.5. Is v at least as big as 2/3?
False
Let x(u) = 31*u - 1. Let m be x(-2). Let p = -59 - m. Suppose 2*y + 2 - 6 = 0. Is y smaller than p?
True
Let c = -2/3613 + -14418/61421. Are 6 and c non-equal?
True
Let b = 7.99 + -8. Let v = -0.09 + b. Let i = v + 1.1. Is 4 > i?
True
Let z = 310 + -296. Is z equal to 8?
False
Let a be 64/(-10) - (-6)/15. Let h be ((-90)/28)/(a/156). Let p = 83 - h. Which is bigger: 0 or p?
0
Let i = -26 + 15. Let o = -9 - -29. Let m = -19 + o. Which is smaller: m or i?
i
Let a be (-74)/185 - 3/(-20). Is -3.2 < a?
True
Let f = -197/83 - 89879/249. Let l = -3949/12 - f. Let i = l + -34. Is -1 <= i?
True
Let z = -65 - -64. Is z > 168?
False
Let o = 14 - 4. Let z = o - 18. Let y be (2/4)/(2/z). Which is smaller: -2/9 or y?
y
Let l(v) = -2*v**2 + 20*v - 44. Let x be l(2). Is -105/8 greater than or equal to x?
False
Let p(n) be the first derivative of n**4/4 + 13*n**3/3 + 6*n**2 + 15*n + 6. Let g be p(-12). Suppose 1 + g = -4*f. Is f < -2?
True
Suppose 3*s - 7 = -4. Let q = s + 100. Which is greater: q or 2/5?
q
Let r be (-3)/12*(13 - 2). Suppose -2800*m + 2795*m = 20. Is m <= r?
True
Let g = -65.21 + 4.21. Is 0.2 less than or equal to g?
False
Let c(p) = -6*p**2 - 79*p + 10. Let s(i) = 4*i**2 + 53*i - 7. Let l(m) = -5*c(m) - 7*s(m). Let u be l(