a). Which is smaller: -19/2 or x?
x
Let t(x) = -x**2 - 8*x - 6. Let l be t(-6). Let i(m) = -m**3 + 6*m**2 - m + 7. Let q be i(l). Let p = -3393/1178 - -107/38. Which is smaller: p or q?
p
Let w be 8*(-2)/(-32)*(-108)/2. Which is greater: w or -25?
-25
Suppose 11*r - 126 = -5. Is 23 at least r?
True
Let u be (-14)/5640*(-4)/14. Are u and 0 non-equal?
True
Let t = 27 + -38. Let x(o) = -o**3 - 11*o**2. Let k be x(t). Suppose k = 4*v - v. Is 0 equal to v?
True
Let q be 3910*(-4)/2234 + 1225/175. Is q < -1?
False
Let m = 1717.251 + -1717. Which is smaller: 4 or m?
m
Let t = 455/4 - 114. Which is bigger: t or -0.13?
-0.13
Let u be ((-28)/(-3))/(-9 + 275/33). Let d be 13*-1*1*-1. Let x = d + u. Are x and -5/3 nonequal?
True
Suppose 0 = -x + 2*n - n + 21, 0 = 5*x - 3*n - 105. Let g be 2 - 36/21 - (-15)/x. Is 6/5 < g?
False
Let x = 394/7 + -57. Let j = x - -57/70. Suppose 27*b - 32*b = 0. Which is bigger: b or j?
j
Suppose 51*w + 5*z = 54*w + 22, 0 = -z + 5. Are 13/82 and w nonequal?
True
Let i = -3 + 6. Suppose i*r = 2*r + 19. Is 19 <= r?
True
Let l = -0.03 + 5.53. Let y = 2.5 - l. Let b = 3.4 - 2.9. Which is smaller: b or y?
y
Let c(i) = -i**2 + i - 2. Let s be c(2). Let w be (60/(-3) + -1)*-1. Let t be (w/36 - 4) + (-1)/(-6). Is s less than t?
True
Let x be (1 + -2)/(9/18). Let a be (-5)/(-10) + 31/x. Which is smaller: a or -6?
a
Let o be 38551/63 - (-16)/72. Let u = o + -21023/35. Let j = -56/5 + u. Is j not equal to -3?
True
Let a(f) = 0 - 2 + 0*f + 2*f. Let q be a(3). Let y be (-72)/(-15) - 2/(-10). Are y and q non-equal?
True
Let h(q) = -3*q - 82. Let k be h(-27). Do 1 and k have different values?
True
Suppose -a + 6 - 12 = 0. Let i be 3*(-3)/a*-2. Is i at least -20/7?
False
Let v(h) = h - 4. Let d be v(4). Let o(j) = j**2 - 7*j - 3. Let k be o(3). Let w be ((-3)/k)/((-10)/(-25)). Which is smaller: w or d?
d
Let z(v) = -2*v + 28. Let d be z(13). Suppose -5 = -3*q + d*q - b, 0 = -b + 5. Suppose 8 = 4*w + 2*k, q*w + 3*w = 2*k + 20. Do 2 and w have the same value?
False
Let h = -9 - -10. Let p(k) = 6*k - h + 22*k**2 - k - 23*k**2. Let g be p(5). Which is smaller: g or -2/7?
g
Let h = -1/1813 - 872048/9065. Which is greater: -95 or h?
-95
Let a = -25 - -15. Let t = 1.93976 - -0.06024. Is t smaller than a?
False
Let z = -15 + 52. Let k = 21 - z. Let s = k - -20. Which is smaller: 0.1 or s?
0.1
Let m = -496 + 6451/13. Which is smaller: m or 1?
m
Let o = 505 + -506. Which is bigger: o or -44?
o
Let n = 257 - 257. Let f = 3 - 2. Let k = -0.8 + f. Which is smaller: k or n?
n
Suppose -9*y + 5*y - 14*a + 46 = 0, 0 = -2*y - 5*a + 17. Let f = -2463 - -56659/23. Is y at most f?
False
Let l(k) = 2*k**2 + 9*k + 28. Let u be l(-3). Let p be (-3)/5 - 392/(-20). Is p smaller than u?
False
Let w(h) = 0*h**3 + 4*h**2 - 5 - 3*h**2 + h**3 - 6*h - 6*h**2. Let t be w(5). Which is bigger: -36 or t?
t
Let p = -1419 + 134806/95. Let s = 1989345 + -2078865916/1045. Let z = s + p. Which is smaller: -1 or z?
-1
Let b = -62 + -27. Let j = 84 + b. Let i = -4 - -2. Which is smaller: i or j?
j
Let o = -687 + 439. Is o greater than -249?
True
Let c(z) be the first derivative of -2*z**2 + 0*z + 1/3*z**3 - 6. Let k be c(4). Is k at most as big as 1/8?
True
Suppose z - 18 = -2*z. Suppose 2*f = -f + z. Let x be 3 + ((-34)/26 - f). Is x less than 1?
True
Let n be -1*(-2)/(-8)*2. Let a = -0.937 + -0.163. Is n at most as big as a?
False
Let s(r) = r**3 + 3*r**2 - 5*r - 1. Let p be s(-4). Suppose -2*t + 17 = -p*x, t - 4*t + 3*x = -18. Are t and 17 equal?
False
Let r be ((-1)/2)/(6/36*3). Which is smaller: -11/10 or r?
-11/10
Let c = 4 + 3. Let s be c + 3*(-4 + 3). Let z = -1 - s. Is -5 <= z?
True
Let p = -785 - -725. Which is greater: p or -0.14?
-0.14
Let j = 81 - 46. Let c = -36 + j. Let d = -3 + 2. Is c less than d?
False
Suppose -d + 3 = -4*d. Let s be (-4)/(-8)*(d - -1). Which is smaller: s or -6/17?
-6/17
Suppose -5*j + 3*c = -0*c + 586, -j - 131 = 4*c. Let r = -71 - j. Is 47 at most r?
True
Let p = 0 + 2. Suppose -p*f + 4 = -f. Suppose 3*r - 37 = 5*a, -2*r + 2*a + 0 = -18. Is r > f?
False
Let d = -773 - -771. Which is smaller: d or -1/18?
d
Let v = -14.3 + -1.7. Let s = v - -8. Let k = 652 - 653. Is s greater than k?
False
Let q be (262/(-14) + (-2)/7)/1. Let r(z) = -7*z - 81. Let p be r(q). Are 52 and p nonequal?
False
Let i = -2.69 + 2.29. Does i = -7.2?
False
Let z be 14/10 + 1653/(-1015). Is z equal to 1?
False
Let k be 1/2 + (-34)/4. Let l = -6 - k. Suppose 0 = -0*j - j - 2, 0 = 4*m - l*j + 32. Which is smaller: -10 or m?
-10
Let g be 15/(-10)*2 + 7. Suppose -105 = g*p - 21. Which is bigger: p or -22?
p
Let k be (-6)/15 + (-154)/(-10). Suppose 4*q = 6*d - 2*d + 20, -3*q = -k. Which is smaller: d or 0.01?
d
Let o be 939/(-942) - (16/4 + -5). Which is smaller: -1 or o?
-1
Let b = -63 - -191/3. Suppose -10 = -6*r + 4*r. Suppose 0*m + r*m = 0. Which is bigger: m or b?
b
Let d = 2.95 + -3. Let n = 0.217 - 0.167. Let p = n - d. Which is smaller: 1 or p?
p
Let j(c) = c**2 + 8*c - 4. Let p be j(-10). Suppose -5*r - p = -r. Let i be (6/(-9) - 0)/(14/63). Which is greater: r or i?
i
Suppose 58*c - 1 = 57*c. Let q(z) = z**2 - 2*z - 3. Let u be q(-2). Suppose 0 = 8*i - 3*i - g + u, 0 = i + g + c. Which is smaller: -10/11 or i?
i
Let i = -0.8 - -1. Let l = -10.3 - -22.6. Let w = l + -12. Which is greater: i or w?
w
Let h = 762 - 1351. Is 1/3 at most h?
False
Let n = 15 + -15.42. Let q = 0.5 + n. Is q greater than -2/5?
True
Suppose -1 = 3*r + q + 7, -5*q - 1 = 2*r. Suppose -4*a + 7 = 4*b - a, 2*a - 2 = -2*b. Let v be 102/(-40) + 3/b. Is v at most as big as r?
False
Let x be (-6)/8*(-16)/(-1). Let f(g) = 23*g + 11. Let c be f(x). Let w = 2117/8 + c. Are w and -1 unequal?
True
Suppose -1206 = 22*r - 4*r. Are -64 and r non-equal?
True
Suppose 0 = -3*c + 7*c + 3*u, 4*c - 3*u - 24 = 0. Suppose 8*p = 3*p - 10. Let r be 86*p/60 + c. Is r at least as big as 1/4?
False
Let i be -6 + 0 + 3 - (-3075)/1029. Is 1 at most as big as i?
False
Let y = -44933254/1387 + 32396. Which is smaller: -1 or y?
-1
Let i be 2*(-39)/4*(-6)/(-3). Suppose 19 = 2*b + 97. Is b smaller than i?
False
Suppose 2*f = 15 + 5. Let w = -44 - -47. Let c be (-2)/w*(1 + (-145)/10). Is c < f?
True
Let t be ((-6)/(-15))/(637/(-210) - -3). Is t at most 41?
True
Let w = 2.153 - 2.053. Let f(u) = 3*u**2 - 6*u + 4. Let v be f(4). Which is bigger: w or v?
v
Let u be 3375/(-468) - (-9)/12. Is -7 smaller than u?
True
Let r = -16.89 + 17. Let v = -1.89 - r. Let w(m) = m - 1. Let i be w(1). Which is bigger: i or v?
i
Let m = 462 - 475. Which is bigger: m or 15?
15
Let w = -56.056 + 0.056. Let o = 58.1 + w. Which is greater: o or -2?
o
Let z = -5 + 7. Suppose -4 = -4*w + z*w. Suppose 0 = 2*k - 2*b, -k - 2 = w*k - 5*b. Which is bigger: -5/11 or k?
k
Suppose -30 = 5*c + 2*t + 27, -3*c + t - 43 = 0. Which is greater: c or -15?
c
Let x = 45 + -40. Which is bigger: x or 51/11?
x
Let h = -778511/93 - -8371. Which is bigger: h or 1?
1
Suppose -i = -28 + 1. Let q = i + -13. Suppose 0 = j - 2*z + q, 0*j - 5*j = 2*z + 10. Do -4 and j have the same value?
True
Let z be (-2 - 8/(-5))/((-80)/200). Which is smaller: z or -2/551?
-2/551
Let s(o) = -o**3 + 6*o**2 - 3*o. Let i(k) = -k**2 - 6*k + 9. Let x be i(-7). Let h be s(x). Suppose -h = c - 2*c. Is c smaller than 11?
True
Suppose 0 = -2*a - 6, 2*t = 4*a - 7*a - 23. Is t != -8?
True
Suppose -4*c - 16 = 4*o + 4, -4*o = 3*c + 21. Let t be 2 + (-161)/(-28) - (-1)/4. Suppose p + 5*r = 2*p - 15, 2*r + t = 0. Which is greater: p or o?
p
Suppose -7*j + 327 - 439 = 0. Suppose 4*f - q + 2 = 3*f, -4*q - 34 = 3*f. Let c be 94/f + (-4)/(-6). Which is smaller: j or c?
j
Let a be -8 + ((-322)/315 - -8). Is -2 greater than a?
False
Suppose -3*w - 4*v + 76 = 0, 5*w + 3*v - 77 = 46. Is 22 equal to w?
False
Let t be (3 + 0 - 3) + -4. Let n be -1 + -3 - t - -100. Let v be 2/(-9) - n/(-315). Which is greater: v or 0?
v
Let q be 9/(-2)*8/(-6). Let z = -165 + 177. Suppose -3*l - 31 = -q*l + 5*h, -4*h = 4*l + z. Is 3/4 less than or equal to l?
True
Let v be (131 + 1)/(30/15). Let g = v + -66. Which is smaller: g or 2/9?
g
Suppose 0 = -2*c - 0*c. Suppose c = -o + 5, -3*x + 0*o + 86 = 4*o. Suppose 6 = 2*y + x. Which is greater: -9 or y?
y
Let n = -2/97 - -208/679. Is 70 >= n?
True
Let d = 27/4 - 3. Which is smaller: d or -0.3?