/21. Which is smaller: c or 49?
c
Let q be 3/(-5*3) - (-41)/5. Do 4 and q have the same value?
False
Let n be -5 + 3 + 4 + -2. Let x(j) = 5*j**2 + 3*j + 1. Let p be x(-2). Suppose b - p + 19 = n. Which is greater: b or -2?
-2
Let x be (-216)/(-14) - 16/(-28). Suppose c = 5*c + t - x, c + 7 = -3*t. Let w = -9 + 14. Is c at least w?
True
Let a(p) = -3*p - 10. Let g be a(0). Let k be -2*g*4/176. Is k <= 1?
True
Suppose -4*v - 38 + 42 = 0. Let j be (-2937)/(-3948) - (-3)/(-4). Which is bigger: j or v?
v
Let r = -49 + 48. Let z be (4/2)/(-1 + r). Is z greater than -2/7?
False
Let o be (-10)/(-35) + 24/14. Let v(b) = 1 + b - o + 4. Let y be v(-7). Is -6 equal to y?
False
Suppose -23*s + 34*s - 1584 = 0. Which is greater: s or 0?
s
Let a(d) = 4*d + 39 - 64 + 48. Let y be a(-7). Which is smaller: y or -4?
y
Suppose 3*u - 2*r = -6*r - 13, 3*r + 17 = 5*u. Does u = -2/7?
False
Let i(o) = -9*o**2 + 2*o. Let d be i(-1). Which is smaller: -10 or d?
d
Let r be ((-5)/(30/(-908)))/(260/75). Let n = r + -87/2. Which is smaller: n or -1?
-1
Let r = 21 - 13. Let u be 20072/(-320) + 1/r. Let v = 62 + u. Which is bigger: -1 or v?
v
Let a = -14 - -16. Let k(d) = -d**a + 9*d - 5*d - d**3 - 4 - 5*d. Let b be k(0). Which is greater: b or -3?
-3
Suppose 945 = 18*d + 3897. Is d equal to -164?
True
Suppose 3*s - 17 = -2. Suppose 2*p - 4*t = 7*p - 36, 2*p + t = 15. Suppose -m - 2*r + r = p, 0 = -s*m + 2*r - 26. Which is greater: -7 or m?
m
Let a = -34 - -33.77. Let i = -0.07 + a. Which is bigger: -6 or i?
i
Suppose -2*f = f - 39. Suppose n - f = -0*n. Let x = 12 - n. Which is smaller: x or -2/5?
x
Let b = -1301 + 1304. Is -108 at most as big as b?
True
Let t(l) = -l**2 - 6*l - 2. Let u be t(-5). Suppose 0 = -u*o - 69 - 6. Let b = o + 24. Which is greater: 2/43 or b?
2/43
Let p(i) = -26*i**2 - 1. Let n be p(1). Let g = -29 - n. Let a(w) = -w**3 + 3*w - 1. Let b be a(2). Is g not equal to b?
True
Let n(p) = p**2 - 7*p + 5. Let q be n(6). Let g = -69 + q. Let o be ((-4)/(-6))/(g/15). Which is greater: 1 or o?
1
Let r be 70/21*15/55. Let q = -1 + 1. Which is smaller: q or r?
q
Let y = -64 + 73. Suppose -5 = -y*f + 4. Which is bigger: f or 0.19?
f
Let h(d) = -d**3 + 7*d**2 + 16*d - 72. Let r be h(8). Which is bigger: r or -14?
r
Let q be -7 + 288/40 - 74/(-5). Suppose 5*h = 15, 2*w = w + 2*h + 10. Which is bigger: w or q?
w
Suppose -10*v - 516 = -476. Is 134 greater than v?
True
Let x = -1182 + 8258/7. Is x less than -1?
True
Suppose -114 = 4*n - s - 2*s, 2*n = 3*s - 54. Let y be (-4)/n + (4/(-30))/1. Is y greater than or equal to 2/21?
False
Let c be -2*20/(-8) + 0. Suppose -3 = -c*s + 8*s. Which is greater: s or -7?
s
Let r be (-2)/((-66)/(-45)) - -1. Suppose -2 = 19*y - 135. Let d(l) = 2*l**2 - 16*l + 14. Let a be d(y). Do a and r have different values?
True
Let b = 32.4 + -36.4. Let m(j) = j. Let t be m(1). Is b < t?
True
Suppose -2*t + 150 + 7 = h, 4*t - 640 = -4*h. Which is bigger: 161 or h?
h
Suppose -2*f - g - 138 = 0, 60 = -f - 5*g - 9. Is -68 at least as big as f?
True
Let m be (-10)/(399/81 - 5). Which is greater: m or 267/2?
m
Let c(t) = -t - 1. Let d(m) = 13*m + 2. Let h(n) = 22*c(n) + 2*d(n). Let u be h(4). Which is smaller: u or 5?
u
Let x = 59696515287/440 - 135673791. Let w = -1182/11 + x. Let l(r) = r**2 - 29*r + 1. Let q be l(29). Is q less than or equal to w?
False
Let h = 1/343 + -109/3773. Let y = 12 + -17. Let u = y - -5. Which is greater: u or h?
u
Let l be ((-2)/7)/(57/266). Is l at most as big as 0?
True
Let b(g) be the second derivative of -g**4/12 + g**3/2 + g**2/2 - 20*g. Let v be b(4). Which is smaller: v or -1/4?
v
Let x = 979 - 1041. Is -247/4 equal to x?
False
Let a = -0.092 - -2.092. Which is greater: -73 or a?
a
Suppose -2*w = -3*p - 6*w - 97, -5*w + 26 = -p. Which is smaller: -37 or p?
-37
Let c(s) = s**2 - 14*s - 37. Let h be c(16). Which is smaller: h or 13?
h
Let t = -1089/35 - -157/5. Let u(h) = -13*h + 15. Let w be u(10). Let j = 574/5 + w. Which is smaller: j or t?
j
Let i be (-213)/15 + (-4)/(-20). Let q be (-2)/(-5) - i/(-35). Which is greater: -1/45 or q?
q
Suppose 54 = -4*q + 74. Suppose b + 0 = 2. Suppose -b*x = -4*y + 12, -x - 1 = y - 4. Which is smaller: q or y?
y
Let q(p) = -p**2 - 4*p - 3. Let h be q(-3). Let w(s) = -s**3 - 10*s**2 + 11*s + 3. Let d be w(-11). Which is smaller: d or h?
h
Let c be 210/27 + -8 + (-184)/(-18). Let q = -4 + 8. Let t be (-30)/q*8/(-6). Is c > t?
False
Let a(j) = 39*j + 0 - 3 + 5. Let u be a(2). Let m be (-8)/u + 2/4. Is m at most 7/2?
True
Let a be ((-18)/(-21) + -2)/(12/(-42)). Suppose 5*c + 4*z + 3 = 2*z, a*c + 4*z + 12 = 0. Let b(f) = -f**3 - 6*f**2 + f + 6. Let m be b(-6). Is c < m?
False
Let d(i) = i**3 - i**2 + i - 7. Let c be d(0). Is c not equal to -55/8?
True
Let f(n) = -n**3 + n**2 + n + 3. Let t be f(0). Suppose 0*h = h - t. Let o = 117 - 346/3. Which is smaller: h or o?
o
Let s = 23843/183149 - -2/7963. Is s <= 1?
True
Let a = -144 + 1286. Which is smaller: a or 1141?
1141
Suppose 2*j + 3*j = -40. Let k be 0 - (j/12 + 3/(-9)). Is k != 3?
True
Let s be (12/(-9))/((-2)/3). Suppose 3*r = 34 + 17. Let z be 4/(-6)*(-34)/r. Which is bigger: s or z?
s
Let l = -0.06 - 2.94. Let y = 2.9 + l. Let r = 10 - 9.98. Which is greater: y or r?
r
Suppose -2*o - 9 = -o + 3*i, i - 49 = 4*o. Let u be ((-9)/(-9))/((-2)/o). Let x = 4 - u. Is x not equal to -5/3?
True
Let t be (-4 + 3)/(2/(-4)) - 10. Which is bigger: 7 or t?
7
Let q = -2 - 44. Let i = q + 20. Are -27 and i non-equal?
True
Suppose -5*m = -3*m. Suppose -6 + 46 = 4*p. Suppose m = -4*v - 2 + p. Is v at most as big as 7/6?
False
Let z(o) = o**2 + 1. Let f(i) = 2*i**2 + 7*i - 17. Let j(a) = f(a) + 6*z(a). Let g be j(5). Let d = g + -5821/26. Which is smaller: d or 0?
0
Suppose f + 7 = -4*k, 3*k - 13 + 70 = -3*f. Let m = 22 + f. Let n be (-2)/m + (-294)/182. Are n and -1 nonequal?
True
Let w(u) = 41*u**2 + 11*u + 27. Let d be w(-2). Is 171 at least d?
True
Let c(j) = 2*j**2 + 8*j + 5. Let f be c(-5). Suppose k = 4*q - 2*k - 12, -5*q = -5*k - f. Suppose -q*r - 2*b = -8*r - 64, 4*b - 44 = 4*r. Are -14 and r equal?
True
Let a be (-18)/72 - (38/8 + 1). Which is smaller: a or -10?
-10
Suppose 0*u - 11 = -u. Let m = -15 + u. Let t be m*(2 + 42/(-20)). Is -0.09 greater than or equal to t?
False
Suppose 5*k - 6 = 2*p + 11, 5 = -3*k + 5*p. Suppose 2*x - 7 = y, -2*x + 4*x = -k*y + 13. Which is bigger: 11 or y?
11
Suppose 4*z + 112 = -5*x, 0 = 2*x - 5*x + z - 74. Let r be (-2519)/99 + 8/18. Which is smaller: x or r?
r
Let c = 2 - 4. Let v = 7.4 - 7.37. Let k = 1.03 - v. Which is bigger: c or k?
k
Suppose -3*s - 27 = -q - 78, -2*s = -10. Which is bigger: q or -40?
q
Let n(p) = -p**3 + 17*p**2 - 3*p - 4. Let v be n(17). Which is smaller: v or -166/3?
-166/3
Suppose 0 = -4*m - g + 4, -4*m - 4*g = -2*g. Let p be (-139)/2*(-6)/(-465). Let n = 28/31 - p. Which is smaller: n or m?
n
Let j(w) = -w + 5. Let a be j(3). Suppose c - 4*c - 54 = 3*k, a*k + 6 = 4*c. Suppose -4*b + 4*r - 24 = 0, 3*r - 16 = -0*b + b. Which is smaller: k or b?
k
Let r = 0.062 + 26.938. Let h = -24.6 + r. Which is bigger: 1 or h?
h
Let p(a) = a + 2. Let y be p(-3). Is 0.545 smaller than y?
False
Let g be -3*((-4047)/4041 + 1). Let u = g - 912/3143. Let a be ((-30)/12 + -5)*(-1)/5. Is a at least u?
True
Let m be (-4)/(-14) - 282/7. Let f = 5557 - 5596. Are m and f equal?
False
Let v be (-16)/8 - (-2)/4. Suppose 4*t + 9 + 23 = 0. Let c = t + 6. Which is smaller: c or v?
c
Suppose m + 21 = -5*y, -16*m + 13*m = -4*y - 13. Is 1/638 at most m?
False
Let s = -591 + 1183/2. Let x = -1/12 - 17/12. Is x at least as big as s?
False
Let o = -12 - -11.8. Let d = 16 - 9. Is o at least d?
False
Suppose 2*r + 80 = -4*c, 0 = 3*c - c + 2*r + 38. Let d(g) = -g**2 + 3*g + 6. Let f be d(7). Which is greater: c or f?
c
Let q = -94 + 93. Are -4/133 and q non-equal?
True
Let l be 8/4*8/((-72)/(-981)). Is l equal to 218?
True
Let k be ((-2)/(-2))/(-197 + 175). Suppose -2 = -r, -4*y + 8 = -2*y + 3*r. Let b = 2 - y. Is k at least as big as b?
False
Let n be (9 + -11)*6/30. Are n and 0.12 nonequal?
True
Let a be (-4*17/2)/(-2). Let h be 4 - (-17 + 12/4). Which is smaller: h or a?
a
Let f = -10 + 13. Suppose -2 - 4 = -f*b. Suppose -3 - 9 = b*o. Is -6 bigger than o?
False
Let o(z) = -z**3 - 5*z - 4. Let v be o(0). Let r b