3 - 8*b**2 + 10*b + 9. Let v be c(-9). Let z be 2 + 303/(-120) + 0. Let p = z - -1/8. Is v smaller than p?
False
Suppose 9 = -13*i + 22. Let l(z) = z**2 - 8*z - 1. Let d be l(5). Let y = -76/5 - d. Which is greater: i or y?
i
Let z be ((-2)/(-372))/(11/(-154)). Are z and 0 equal?
False
Let b = 28 + -28. Suppose b = -2*d - 2*d + q + 8, -4*d = -3*q. Suppose 0 = -4*z + 2*l + 2, 4*z - 2 = -5*l - 7. Which is greater: d or z?
d
Suppose -1589 = 9*f + 508. Which is smaller: 1 or f?
f
Suppose -39 = 180*m - 177*m. Which is greater: -2 or m?
-2
Let f = 564.67 - 567. Is 1/3 <= f?
False
Let q(k) = 3*k**2 + 48*k - 34. Let d(s) = -s**2 - 16*s + 11. Let y(l) = -11*d(l) - 4*q(l). Let m be y(-17). Which is bigger: -1 or m?
-1
Let w(o) = o**2 - 5*o + 2. Let t be w(10). Let r be 216/t - (6 - 2). Let p = -23.9 - -24. Does r = p?
False
Let z be 275/(-99) - 6/27. Does z = -11/3?
False
Let h = -46.816 + 46.8. Which is smaller: -3 or h?
-3
Suppose 5*p - 270 = 5*o + 45, 0 = -2*o - 6. Let j be (-4)/2 - (-126)/p. Let z(b) = -b - 1. Let m be z(0). Is m > j?
False
Let c = -40 + 38.35. Let j = -0.35 + c. Is -2/15 smaller than j?
False
Let i be (84/210)/(1/(-656)). Do i and -262 have different values?
True
Let n be (-16)/20*(-15)/3. Suppose -n = d, d = -5*p - 18 - 1. Which is smaller: -5 or p?
-5
Let y(l) = -2*l**2 + 6*l - 1. Let t be y(3). Let c(n) = n + 14. Let s be c(-12). Let i(p) = p**2 + 2*p. Let w be i(s). Are t and w unequal?
True
Let s = 581 + -646. Do 7/5 and s have the same value?
False
Let a(s) = s - 9. Suppose 0 = -6*d - 17 - 7. Let c = 12 + d. Let i be a(c). Does -1/31 = i?
False
Let x = -47.97 - -49. Let y = -1 + x. Let j = 1.03 - y. Is j less than or equal to -13/2?
False
Let v = 0.12 - 2.22. Let i = -1.9 - v. Which is smaller: i or 2/5?
i
Let i = 0.16 + 0.04. Let j = i - 0.15. Let l = -0.15 + j. Which is greater: -1/5 or l?
l
Let j be 0/2 + (-1 - -3). Let r = -290 - -15369/53. Let n = r + 55/106. Is j bigger than n?
True
Let g be 9*(-2 + 1 - 0). Let x = g + 11. Suppose 0 = -x*z - z + 24. Is 9 less than z?
False
Let u = 3 - 3.3. Let d = u - -1.3. Suppose 3*b - 4*z - 1 = 0, 11*z + 12 = 2*b + 14*z. Is b greater than d?
True
Let q be (0 + 1)/(-4*(-1)/6). Which is bigger: q or -5?
q
Let u = -174.5 + 33.5. Let f = -140.9 - u. Is f less than or equal to 6?
True
Let s be (-686)/(-35) - -2*(-2)/(-10). Let h be 18 - (0 + 0 + -1). Which is greater: s or h?
s
Let z be 56/(-3) - (-6)/2. Let d(r) = -7*r + 382. Let v be d(57). Is v < z?
True
Let b = -39.2 + 31.2. Which is bigger: b or 8?
8
Let x be (6/(-4))/(-3)*4. Let b = -16 + 36. Suppose -w + 2*d = 4, 4*w - 3*d - b = -7*d. Is w less than or equal to x?
True
Let l = 24 + -23.92. Let a = 0.06 - l. Let c = 0.32 + a. Which is smaller: c or 0.4?
c
Let z be (-4)/28 - 181/56. Suppose 0 = -7*c - 4*c - 44. Which is greater: c or z?
z
Let j = -187 - -341. Which is smaller: j or 153?
153
Let x be 1/24*210/3. Let z = 13/4 - x. Let i be 2 + 1 - (-2 - 0). Which is smaller: i or z?
z
Let l = -0.428 - 0.062. Is l smaller than 0.7?
True
Let l(j) = 2*j**2 - 84*j - 8. Let p be l(42). Is -15 at least p?
False
Let u be ((-4)/2)/4*-2. Let k(o) = o**3 - 3*o**2 + 3*o - 4. Let y be k(3). Suppose -y*a = -10*a. Which is bigger: u or a?
u
Let j = -0.4 + 0.4. Let g = j - -3. Let b = 3 - g. Is 1 < b?
False
Let j(s) = s - 8. Let u be j(8). Let l = 0.32 + -0.02. Let b = l + -8.3. Which is greater: u or b?
u
Suppose 1701 = 4*f + 1729. Is -44 at most f?
True
Let g be (1/24)/(2/(-9)). Which is smaller: g or -1?
-1
Let q(s) be the first derivative of s**2 + 0*s**2 - 18 + 8 - 15*s - 2*s**2. Let n be q(-7). Which is greater: -18/11 or n?
n
Let n be 6/4*(-2)/3. Let q = 33.6 - 31.9. Which is smaller: q or n?
n
Let p be 66/165*(-1)/81. Which is smaller: -1 or p?
-1
Let a = -38 + 9. Let i = a - -29.06. Let q = -2946/11 - -268. Which is bigger: i or q?
q
Let v(z) = -z**3 + 25. Let q be v(0). Let f be ((-2)/q)/(0 + -1). Which is smaller: 0.1 or f?
f
Let v = -47 - -32. Let l = v - -27. Suppose 2*k + 4 + 6 = 0, x + 3*k + 3 = 0. Are x and l equal?
True
Suppose 2 = -3*l - 7. Let m be ((-2)/3)/((-2)/l). Let h be m + (10 - (3 - 5)). Which is greater: h or -0.1?
h
Let o(u) = -2*u**3 + 3*u**2 - 2*u + 1. Let l(s) = s + 1. Let y be l(1). Let t be o(y). Suppose -2*d + k - 12 = 0, 2*d - k + 26 = -2*d. Are d and t equal?
True
Let t(b) = b**3 + 29*b**2 + b + 89. Let n be t(-29). Which is greater: n or 58?
n
Let t(m) = -4*m + 87. Let s be t(12). Is s < 1?
False
Let p = -190 - -191. Is p less than or equal to -2/213?
False
Suppose -l + 5*k = -31, -95*l - 3*k - 15 = -92*l. Let g = 18 - 7. Is l > g?
False
Let s be ((-340)/(-238))/((-2)/14). Is s not equal to -22?
True
Let u = 1930 - 1963. Does -1.3 = u?
False
Let h = -4.811 - -0.011. Let y = h - -4.9. Is 2/79 < y?
True
Let y be 1/(-5) - 10/(-50). Suppose y = -3*u - 5 + 8. Which is greater: 0.8 or u?
u
Let g = 1656 + -1656.45. Is 7 != g?
True
Suppose -22 = 4*u - 2*u. Let l = 13 + u. Suppose k = p, -2*p + k = p - l. Which is bigger: p or 0.1?
p
Suppose -4*c - 2*a + 26 = 0, 3*a - 27 = 2*c - 6*c. Let q(m) = m**2 + 9*m - 3. Let t be q(-9). Is c at least t?
True
Let j(y) = -y**3 + 22*y**2 - 77*y + 12. Let q be j(17). Which is bigger: q or 147?
q
Let l = -22 + 3. Let d = 918 + -917.9. Is d < l?
False
Let v(t) = -t**2 - 4*t + 1. Let d be v(-3). Let c be -1 + d/6*333/(-12). Is -21 bigger than c?
False
Suppose 0 = -4*f - 20 - 12. Let g be 1/4 + 2/f. Let k be 129/42 + -3 + g. Which is smaller: k or 0?
0
Suppose 18 = 3*c + 6*c. Let u = -1 + c. Which is bigger: u or 7/4?
7/4
Let n be 5750/(-105) - (85/15 + -5). Are n and -55 equal?
False
Suppose 1 = 26*b - 30*b - 3*f, 4*f - 6 = 2*b. Which is smaller: -2/1447 or b?
b
Let z(a) = -a**2 - 7*a - 3. Let t be z(-6). Suppose -i = -2*l + 25 + 5, i - 55 = -t*l. Let n = 16 - l. Are -13 and n non-equal?
True
Let g(t) be the second derivative of -t**4/2 + 4*t**3/3 - 13*t**2/2 + 8*t. Let f be g(4). Which is bigger: -78 or f?
f
Suppose -4*t + 54 = v + 6, 4*v + 55 = 3*t. Suppose -44*r - 6 = -47*r + 2*l, 0 = 4*r + 4*l + 12. Suppose r = -15*z + t*z - 32. Is -16 smaller than z?
False
Let q be 2*-5 + 35 + -30. Is 10 not equal to q?
True
Let x be (-1 - (-10)/(-4))/((-20)/(-80)). Let z = 13 + x. Let n = 30 + -837/28. Is z < n?
True
Let t = -209 - -205. Which is smaller: t or -41?
-41
Suppose 30*m - 22 = 52*m. Which is greater: 5/13 or m?
5/13
Let b = 2.81 + -16.21. Is 0.1 greater than b?
True
Let p be 35/42 - (-53)/(-62). Is p at most as big as -1?
False
Let w = -1/68459785 - 45114981347/1161625631880. Let x = w + -2/707. Is 0 equal to x?
False
Suppose -31*g = -27*g + 64. Which is smaller: g or -26?
-26
Let p = -1725 - -112127/65. Which is greater: 0 or p?
p
Let g(c) = -4*c + 28. Let p be g(6). Suppose p*q - 3 = -3*i - 22, -q - 5 = i. Is i less than -5/31?
True
Suppose -5*d - 5 = -0*d. Let g be 1/d - (-10)/8. Suppose -s - 4 = o - 2*s, 5*o + 2*s - 15 = 0. Is g less than o?
True
Let b = -0.707 - 14.233. Let w = b - 0.06. Let j = 15.1 + w. Which is smaller: 5 or j?
j
Let p be ((-44)/8)/((-5)/15280*-8). Which is smaller: p or -2100?
p
Let h(a) = 3*a**2 + 9*a + 5. Let g be h(-2). Is g != -7/34?
True
Let i = -9/62 + 671/31. Let t = -211/10 + i. Is -2.7 at least as big as t?
False
Let d be 4/(-40) + 102/20. Suppose 5*x + 17 = -5*z + 7, d*z - 5*x = 0. Which is bigger: z or -1/3?
-1/3
Let v(t) = t**3 + 5*t**2 - 8*t + 17. Let z be v(7). Is 550 at least as big as z?
True
Let u = 2.2 - 0.2. Let y = -2 - -3. Let q = y - u. Which is smaller: q or 2?
q
Let x = 1263/133378 - -1/1361. Let y(k) = 2*k**3 - 134*k**2 - 14*k + 938. Let d be y(67). Is x >= d?
True
Let a = 89 + -83. Let u = 4 - a. Is 1 greater than or equal to u?
True
Let w = 0.015 - 0.013. Let r = w - 0.202. Which is bigger: r or -6/11?
r
Let p be 3/(-8) + (-10)/((-4320)/178). Let y = -2 - -2. Are p and y nonequal?
True
Let r = 2.712 - 0.012. Let o = r + -2.8. Which is greater: -0.3 or o?
o
Let r be (12/44)/(42/308). Suppose 4*i + 0 = -f + 5, -15 = 5*f. Is r less than or equal to i?
True
Suppose -5*h = -12*h + 203. Let x be 1 + (-5 - -1 - -33). Is h at most x?
True
Suppose 0 = -2*s - 0*s. Let h = 107/6 - 18. Let y = h + 1/8. Is s less than or equal to y?
False
Suppose 35*g = 31*g + 3*t + 12, 0 = -4*g - 5*t - 20. Which is smaller: -53 or g?
-53
Let i(q) = -14*q - 42*