b). Which is greater: z or -36?
-36
Let w = -19950 - -19982. Which is greater: -15/7 or w?
w
Let a be (2/(-9) - (-126)/(-162))*-12. Let b(z) = -4*z + 52. Let n be b(a). Let f = 0.02 - -0.18. Is n greater than f?
True
Let n = -2789 + 1582. Which is bigger: 0.1 or n?
0.1
Suppose j + 2707 = y, -2722 = j - 4*y - 0*y. Which is greater: j or -2704?
j
Let n = 1472 - 956. Let y = n + -512. Is 25 bigger than y?
True
Suppose 0 = -2*s + 5*b + 105, 180*b - 179*b + 85 = 2*s. Which is smaller: 32 or s?
32
Let v = -31054 + 31300. Which is greater: 260 or v?
260
Suppose 26*d = -4*d + 12*d - 18324. Is d >= -1020?
True
Suppose 0 = -50*k + 93*k + 516. Which is bigger: 780 or k?
780
Let y = -2853.9 + 2853.7. Is y less than 186?
True
Let v be (-5 - 70/(-15))*((11 - 7) + -1). Which is greater: v or 2/5325?
2/5325
Let c be 13*2/((-38)/(-1083)). Which is greater: 732 or c?
c
Let p = -2.035765 - -0.015065. Let z = p - -0.0207. Is -1 equal to z?
False
Let a = -1083 - -1095.34. Let f = 1174.66 - 1174. Let j = f + a. Is -2/3 less than j?
True
Let g(h) = -h**3 - 41*h**2 - 344*h - 154. Let j be g(-11). Is j smaller than -4/2903?
False
Let y = 0.0038 + -2.8958. Let z = -0.108 + y. Let m = -9.3 + 8.5. Is m at most z?
False
Suppose 175*c = -168*c - 5329 - 56068. Is c greater than -51?
False
Suppose -35*x + 87 = -53*x - 11*x. Is -284/91 at most x?
True
Let j(o) = 3*o**2 + 9*o + 11. Let k be j(9). Let y = k + -776. Let l be -7*(-3)/y*18/(-7). Which is smaller: 1 or l?
l
Let j = -20549 - -20564.7. Is 0.054 >= j?
False
Let o = 516.23 - 51.43. Let z = o + -27.8. Does z = -0.1?
False
Let z = -2705/27664 - -8/91. Is z < 1?
True
Let t be -1*(-2 + 7) + -1 + 0. Let m(y) = -6*y - 36. Let l be m(t). Do -3/271 and l have the same value?
False
Let b = -220 - -136. Let m = 87 + b. Let k be (-12)/(-100)*(22/(-6) + m). Which is bigger: 1 or k?
1
Suppose -2*d = -66*p + 63*p - 1029, -2*p - 686 = d. Is 0.1 at least p?
True
Let u = -15314.08 + 15314. Which is bigger: 705 or u?
705
Let x = -1568 - -1618. Does 4 = x?
False
Let i be (0 - (-16)/(-4)) + 3012/750. Let x be (-26)/18 + (-48)/(-108). Which is smaller: x or i?
x
Let j(i) = i**2 - 2*i - 1. Let m be j(3). Suppose -m*k + 4*s + 10 = 0, 9 = k + 2*k - 3*s. Suppose -2*w + 7*w = -15. Which is bigger: k or w?
k
Let h be 2*4/(-8) + (3 - 162). Let t = h - -94. Are t and -66 nonequal?
False
Suppose d + 0*d = 0. Let c be 2 - (8372/(-1395) + 6)*-1392. Let v = c + -3287/7440. Which is smaller: d or v?
v
Let h(t) = 907*t - 1167. Let u be h(1). Let p = -0.07 + -0.93. Which is greater: p or u?
p
Let j be -1 - (-104)/(-18) - (-114)/(-513). Let s = -107/6 + 31/3. Is j smaller than s?
False
Suppose 59815 = 16798*l - 16793*l. Which is smaller: l or 11964?
l
Let y = 0.07 + 1.33. Let h = -0.4 + y. Let z = 28.928 - 16.928. Are h and z nonequal?
True
Let m(g) = g**3 - 26*g**2 + g - 17. Let z be m(26). Suppose -3*c - 3 = -z. Suppose s - 6 = c*s. Is -2/7 less than or equal to s?
False
Let r(t) = t**2 - 5*t - 6. Let g be r(5). Let l = 0.417047 + 29.582953. Is l equal to g?
False
Let x = 3201 - 3202. Which is smaller: 38/153 or x?
x
Let c = 1289 + -976. Are 315 and c non-equal?
True
Suppose -88 = -5*s - 78. Suppose 3*l - s*m + 2 - 33 = 0, -5*l = 4*m - 37. Which is bigger: l or 11?
11
Suppose -5*d + 0*d = -10, -4*w = d - 14. Suppose 4*m = w*o + 27, -3*o + 2*m - m - 18 = 0. Which is smaller: o or -4?
o
Let d(x) = x**3 + 24*x**2 - 51*x + 28. Let b be d(-26). Suppose 3*z = b*m - 39, -11*z + 43 = -16*z - 4*m. Suppose -26 = j + j. Which is greater: z or j?
z
Let g = 112 + -23. Let r be (-2)/(4/(-86))*(5 + -3). Is g greater than r?
True
Let o = -531 + 5858/11. Suppose -403*j - 18 = -406*j + 3*s, j - 18 = 5*s. Is o less than j?
True
Let g be (8/(-1) + 3)/(5/(-10)). Let w be (-5)/((-75)/6) - (-6)/g. Let o be 164/(-1080) - w/(-6). Is 0 bigger than o?
False
Let i(l) = l**3 - 2*l**2 - 6*l - 15. Suppose -26*g = 28*g. Let t be i(g). Which is smaller: -14 or t?
t
Let q = 8.7129 + -8.73. Let o = 0.4171 + q. Is -2/3 at most as big as o?
True
Let w(a) = -a**3 - 10*a**2 - 17*a - 4. Let y be w(-8). Let m(k) = -2*k - 17. Let p be m(-10). Is p bigger than y?
False
Let h be ((-2)/129)/(-6*30/135). Let v = -13 - -13. Which is smaller: v or h?
v
Let y be (-4)/(-14) - (-18)/35. Let v(q) = q**2 + 2*q - 22. Let k(i) = 5*i - 36. Let h be k(6). Let a be v(h). Is y at least as big as a?
False
Let m = 13 - 13.05. Let v = -0.0427 + 0.0927. Which is greater: v or m?
v
Let u be 4/(12037 - (10 + -1)). Are u and 1 equal?
False
Let d be ((-7)/(11/748*17))/(2/1). Suppose 40 = -3*t + 4*c, -c + 49 = -7*t + 3*t. Is t equal to d?
False
Suppose 0 = -9*t - 448 - 101. Let n = -170 - t. Is n equal to -111?
False
Suppose 0 = c + 2 - 3, 3*f + 239 = 5*c. Let y = f - -16. Let w = y + 61. Is w >= 2/155?
False
Let f = 106.2 - 8.2. Let k = 97.94 - f. Are k and 1 nonequal?
True
Suppose -2*g + 17 = -x + 10, 0 = -4*x - 5*g - 15. Is -156/25 equal to x?
False
Let u = -4210.345 - 2.655. Which is bigger: u or 0?
0
Let i be (-6)/(-15)*10 - 120. Let l = -93 - i. Is l > -2/3?
True
Suppose -4*k + 6872 = -12*k + 16*k. Is 854 smaller than k?
True
Let f be 1/(-3) + (-41)/(-129). Let z(x) be the first derivative of -3*x**2/2 + 14*x + 41. Let k be z(5). Which is bigger: f or k?
f
Let y be (7 - 1) + 1*-3. Suppose y*v + 4*b + 260 = 0, 5*v + b = -99 - 306. Let m = 79 + v. Is -1/64 greater than m?
True
Let i be (-44)/(-1) - (1 + -1). Suppose 11859*p - 11855*p - 164 = 0. Suppose -p*m = -i*m - 3. Is 2/47 less than m?
False
Let m = 8.41 + -8.21. Which is smaller: 4401 or m?
m
Let n(k) = -k**3 + 5*k**2 + k - 19. Let c be n(3). Let r be (c - (-2 - -9)) + 2037/407. Which is greater: 0 or r?
r
Let g(z) = z**3 - 37*z**2 + 130*z + 885. Let c be g(32). Suppose 0*w = -3*w - 3*n - 351, 5*n - 565 = 5*w. Let s = -189 - w. Which is greater: s or c?
s
Let g = 29272 - 13738. Is -2 at least g?
False
Let n = -21215 - -21345. Which is bigger: n or 108?
n
Let x = -16 - -21. Let o = -1 - x. Let n = -12/11 + 13/22. Which is bigger: o or n?
n
Let x = -40 - -25. Let r be 3/((-36)/4)*x. Suppose 3 = -r*a - 47. Is a less than -11?
False
Let v be ((-1)/((-4)/354))/((-369)/(-492)). Let o = 12 - 100. Let d = v + o. Do d and -1 have different values?
True
Suppose -f + 5*f - 60 = 0. Suppose -12*n + 453 = 405. Let p be ((-16)/20)/(n*(-3)/240). Is f at most as big as p?
True
Suppose q - 16 = -4*r, 0*r + 10 = 5*r. Let w be q + (-12)/3 - 3. Let n be 2/(-6)*(-162)/576. Which is greater: w or n?
w
Let o = -563 - -562. Which is smaller: o or 4/2563?
o
Let i = -125.7 - -45. Which is bigger: i or 0.4?
0.4
Let x(y) = -6*y - 41. Let m be x(-7). Let z = 2923 + -73063/25. Which is smaller: z or m?
z
Let d = 4167/220 + -210/11. Is d less than or equal to 0.09?
True
Suppose 231 = -93*g + 96*g. Suppose -7*f - g = -14*f. Suppose 0 = -2*c + f*c + 27. Which is bigger: c or -2/15?
-2/15
Let w be (-178)/152 - (-1)/4*-1. Suppose -13 = 3*k + 2*o, 18 = 80*k - 83*k - 3*o. Which is smaller: k or w?
w
Suppose 31*c - 15*c + b - 12977 = 0, -4*c = 5*b - 3249. Is -2 at least as big as c?
False
Let a = -307427495/184097 - 315550/811. Let h = a - -2059. Is -1 at least h?
False
Suppose 1395 = -t + 3*p, -p = -37*t + 35*t - 2760. Which is greater: -1378 or t?
t
Let l = 120 + -70. Let o be ((-49)/(-5))/(4/200*10). Which is greater: o or l?
l
Let m be (-6)/8*332/581. Which is greater: 135 or m?
135
Suppose 0 = -f + 2*i + 334, f = -4*f - 4*i + 1684. Suppose 7*d + f = -0. Let k be (1 - -1)*8/d. Which is greater: 13 or k?
13
Let c be 0/(4 - 2) - -56. Let o be (3 + -9 + (-10)/(-2))*16066/(-290). Which is smaller: o or c?
o
Suppose -21*x + 14 = -28*x. Let f be x + 244/126 + 20/70. Let m be (-2)/90*-3*3. Which is greater: f or m?
f
Let v be (-1)/(-3) - (-25819)/(-21). Let o = -1232 - v. Let l = -0.1133 - -0.0133. Which is bigger: o or l?
l
Let o be (-1225)/14*7*6/5. Which is smaller: -732 or o?
o
Suppose 0 = -o - 3, 0 = 5*v - o - 3. Suppose -2*s - 5*p + 1 = -v*s, p + 4 = s. Which is smaller: s or -5?
-5
Let c = -398 + 419. Suppose 0 = -38*n + c*n - 17. Is 6/17 < n?
False
Suppose -8316 = 14*k + 12572. Which is smaller: k or -1495?
-1495
Let m(n) = n**3 + 8*n**2 + 10*n - 13. Suppose -5*i = 15*i + 120. Let f be m(i). Which is smaller: f or 2/247?
f
Suppose -322*n = -108*n - 7918. Are n and 24 unequal?
True
Let k = 