c. Let m be (-1 + 0)*(2 - (-100)/(-44)). Which is greater: c or m?
m
Let b(p) = -p**3 + 7*p**2 - 8*p + 1. Let h be b(6). Let l = 7 + -20. Let g be l/(-2)*(-2 - 0). Which is smaller: h or g?
g
Let r be (((-351)/(-6))/13)/(-39). Is r equal to -0.8?
False
Let c = 32 - 48. Let g be -1090*-4*2/c. Let k = g - -3809/7. Which is greater: k or 0?
0
Suppose 0 = -5*u - 9 - 581. Let j be u/8 + 2/(-8). Let a = j + 14. Is 1/14 < a?
False
Let x be -35*(-3 - (-84)/35). Is 20 < x?
True
Let m be 16/200*5/(-1). Let n(z) = z - 12. Let a be n(12). Suppose -b - 2*b - 30 = a. Which is bigger: b or m?
m
Let l(x) = -3*x**3 + 2*x**2 + 2*x. Let d be l(2). Let y = 84 + -81. Suppose 0 = y*m + 11 + 22. Which is smaller: m or d?
d
Let i be 6 + 1 + -2 + (-12)/(-4). Suppose s + 135 = 4*s. Suppose -6*v + s = -v. Which is greater: i or v?
v
Let k = 1050 - 16795/16. Suppose 111*d - 107*d - 28 = 0. Suppose v - d = -2*c, v + 4*v - 28 = -3*c. Does c = k?
False
Suppose -4*u - 4*l = -8*l - 1420, 5*l - 355 = -u. Do 356 and u have different values?
True
Let q = -1 - -1.3. Let s(t) = -t - 8. Let z be s(-8). Suppose -2 = x - z. Which is smaller: x or q?
x
Suppose 4*g = 3*g - 3*z - 2, -10 = 5*g + 2*z. Let l be (g/(-4))/((-2)/(-4)). Is l < 3?
True
Let j = 50 + -48. Let z be j/(-14) + (-133)/(-1617). Let q = -0.2 - -0.3. Is q > z?
True
Let i be (-1)/(3/3) + -3. Let a be (-4 + 0 - i)/(-3). Suppose 2*m = 6*m. Is a > m?
False
Suppose 0 = -2*i + 4*r + 178, i + 0*i + 5*r - 124 = 0. Suppose 3 = 3*k - 5*p + 72, 2*k = -5*p - 21. Let v be (-4)/(-22) + k/i. Which is smaller: v or 5/4?
v
Let p be (160/(-6))/(-4) + 100 + -106. Is -1/1114 at most as big as p?
True
Suppose 2*q = -3*r - 1, r = 4*q - 2*r + 11. Let t be 30/(-50) + q/5. Let b = 21853/31 + -705. Which is smaller: b or t?
t
Suppose 0*q - 2*y = 4*q - 78, 4*q = -4*y + 88. Suppose 4*s = 3*r + q, -3*s = -3*r + 2*r - 14. Is -5 at most r?
True
Let d(q) = -3*q + 220. Let n be d(8). Which is smaller: 197 or n?
n
Let o = -7244/9 - -36869/36. Which is bigger: 218 or o?
o
Let h = -29 + 4. Let x be ((-2)/(-8))/(h/50). Is x < -1?
False
Let f be 4/(-6) - 110/(-30). Suppose 0 = -4*z - f*b + 5, -4*z + 3 = 5*b - 0. Do z and 2 have different values?
False
Let r(c) = 5*c - 6*c**2 + 2*c**2 - c**3 + 3 + 11*c**2 - 2*c**2. Let v be r(6). Let p(b) = -b**3 - 7*b**2 - 8*b - 14. Let n be p(-6). Is v at least n?
False
Let b = 578 + -577. Let z be -1 + -1 + 82/44. Is b > z?
True
Let z be 2/(-9) + -8 + 2270/90. Is z greater than or equal to 23?
False
Let a = 23 + -21. Let m be 6 - (a*-2)/(-2 + 0). Which is smaller: m or 19/6?
19/6
Let d be (-8)/18*(-436)/(-112). Let j = d - -31/9. Is 2 equal to j?
False
Suppose -t - 7 = -3*t - 3*q, 5*q + 1 = 3*t. Suppose -179 = 4*m - 3*p, 128 = -m - t*m + p. Let x = m + 122/3. Which is smaller: x or 3?
x
Suppose -q - 4 = 5*t, q + 8 = 5*t - q. Is t not equal to 2/365?
True
Let t(c) = -42*c - 39. Let m be t(-5). Which is greater: m or 0.4?
m
Let f be 5 + (-4 - -2 - 1). Suppose f*d = 4*d + 26. Let j = d + 15. Are j and 5/2 nonequal?
True
Let d = 293 - -159. Is 454 <= d?
False
Let y be (-2)/7 - 59/(-84). Let p = 438 + -437. Is p <= y?
False
Suppose -72*j + 317*j - 1225 = 0. Suppose 0 = 2*t - 0 - 6. Which is smaller: j or t?
t
Let f be ((-22)/64)/(25/4 - 6). Which is smaller: -1 or f?
f
Let y = -4379/120 + -107/40. Let o = y + 713/18. Which is greater: 1 or o?
1
Let k = -33 - -36. Which is bigger: 2/49 or k?
k
Let g = 90/7 + -478/35. Which is smaller: -1 or g?
-1
Let v(y) = -y**3 - 6*y**2 + 22*y + 5. Let b be v(-8). Let o(d) = -5*d + 12. Let j be o(11). Is b >= j?
True
Suppose -5 = u - 1. Let s be (-23)/48 - u/6. Let q = s - 63/80. Do -1 and q have different values?
True
Let n be -2 + ((-6)/(-15))/(4/20). Is -15/23 less than or equal to n?
True
Let w = -0.04 - 1.96. Let v = 3613 + -3611.9. Is w bigger than v?
False
Let v(y) = y**3 - 15*y**2 + 2*y - 27. Let c = -34 + 49. Let a be v(c). Let p = -9 - -13. Which is bigger: p or a?
p
Let s be ((-106)/(-8))/((-5)/(-80)). Let q be (s/16)/(1/4). Is q greater than 53?
False
Let k = -269/693 + -4/99. Let f be 26/12 - (-2)/(-12). Is k > f?
False
Let g = 17/4 + -349/84. Suppose -3*n + 12 = -3*b, 3*n - 13 = 6*n + 2*b. Is g > n?
True
Let l = -489/3127 + 7/59. Let h(y) = 5*y - 5. Let x(q) = -9*q + 9. Let g(k) = -11*h(k) - 6*x(k). Let i be g(2). Which is bigger: l or i?
l
Let x be (-552)/(-138) - 1/(4/22). Which is smaller: x or 3/5?
x
Let u = -1.18 - 15.82. Let d = u + 16.9. Is -1 > d?
False
Suppose 0 = 5*j - 2*j + 15. Let l be (-5 - -10) + (j - -1). Which is greater: l or 2/67?
l
Let u(z) = z**3 - 6*z**2 + 5*z + 1. Suppose -6*s + 5 = -5*s. Let k be u(s). Which is smaller: k or 17/5?
k
Suppose -1685 = 102*j - 97*j. Which is smaller: -1013/3 or j?
-1013/3
Let a be ((-8)/112*-7)/(10/(-16)). Which is smaller: 0.7 or a?
a
Let f(c) = c - 7. Let r be f(7). Is r at most as big as 15/22?
True
Suppose 2*v - 108 = -5*x, -2*v - 3*v = -3*x + 71. Let f = x - -16. Is f greater than 36?
True
Let f(n) = n - 7. Let h be f(-5). Let y(g) = -6*g + 11. Let r be 2/(-9) + 304/72*1. Let x be y(r). Which is greater: h or x?
h
Let s = 25 - 23. Suppose s*m + m = -21. Which is bigger: 2/5 or m?
2/5
Let d = -45 - -51. Let v be ((-45)/18)/(3/d). Is -6 less than v?
True
Let o = 46 - 46.67. Let m = o - -0.17. Suppose -4 = n - 5*d - 0, 5*n - 2 = 3*d. Which is greater: m or n?
n
Suppose 0 = -4*a + 2*l - 25 - 7, 0 = a + 5*l - 14. Is -9 at least as big as a?
False
Suppose 0 = -2*y - 5432 + 5270. Which is greater: -1.1 or y?
-1.1
Let b be 4/22 - 191/1111. Which is greater: 0 or b?
b
Let k = -306.05 - 1.95. Is 2 < k?
False
Let t be -1*(-2 - (-3 - -3)). Suppose 5*b + t = -33. Do b and -25/3 have the same value?
False
Let s = -11.8 - -11. Let i = -539/1235 + 9/247. Which is greater: i or s?
i
Let j(f) = 48*f + 249. Let v be j(-5). Suppose -5*s = 6*x - 2*x - 80, 5*s = x + 5. Which is smaller: v or x?
v
Let i be ((-38)/(-95))/((-587)/(-5)). Which is smaller: 1 or i?
i
Let r = -0.1091 + 0.2581. Is r >= -0.2?
True
Let p be (2*-1 - -2)/(-2). Let o be ((-3)/(-9))/((-4)/12). Let a be (o/2*3)/(-6). Which is bigger: p or a?
a
Suppose 35 = 4*n - 3*h, 3*n - 4*h + 36 = 8*n. Let u be (4 - (-22 - -13))/(1*2). Are n and u equal?
False
Let v be (-30946)/30 + (2 - (-3 + 1)). Let b = 1028 + v. Which is smaller: -1 or b?
-1
Let i(g) = 2*g + 39. Let r be i(-18). Suppose -b = -3*z + 9, 4*b - 13 = -z + r. Which is greater: -5 or b?
b
Suppose 5*a + 6*t = t + 20, -12 = -4*t. Let r be (a - -1)/(3/(-9)). Let x = r - -5. Is x at least as big as 2/11?
False
Let u be -4 + 7 + (34/5)/(-2). Which is smaller: u or 2.44?
u
Let w be ((-105)/(-10))/(21/(-238)). Do -120 and w have the same value?
False
Suppose 2*n = -3*n + 700. Let z be (3/6)/((-15)/n). Which is bigger: -6 or z?
z
Let h be (-228)/1862*(156/9)/(-2). Do 1 and h have the same value?
False
Let d = 0.5 + -0.52. Let v = d - 0.08. Let p = 14.1 + v. Is 0 >= p?
False
Let b = -136 + 136.306. Is b >= 1?
False
Let h(q) = -q + 17. Let z be h(14). Let n = -2 + z. Let t be ((-2)/(-64))/(1/6). Is n at least as big as t?
True
Let v be 1/(-4) - (-25)/68. Let y = 127 + -127. Which is smaller: y or v?
y
Suppose t = 2*t - 5. Suppose 0*s + s + 17 = 4*y, -2*y - t = -5*s. Which is smaller: s or 15/7?
15/7
Suppose 2*l = -2*i + 46, 4*l + 6*i - i = 91. Let a be ((-21)/(-14))/(l/34). Which is smaller: a or 2?
2
Let s be (-4 + -128)/((-2)/5). Let u = -191 + s. Let b = u - 697/5. Which is smaller: -0.3 or b?
b
Let m(l) = l**2 + 4*l + 4. Suppose -2*f - 5*p + 16 = 0, -5*f = -f + 5*p - 32. Let r = -11 + f. Let g be m(r). Is g not equal to -2/11?
True
Suppose -h + 2 = h + 4*v, 4*v = h - 1. Suppose -8 + 0 = 4*j. Let z(g) = g**3 + g**2 - 2*g - 3. Let a be z(j). Is h > a?
True
Let v = 38 + -31.4. Let d = -6.1 + v. Are d and -2/5 equal?
False
Let s(q) = -2*q**2 + 2*q - 4. Let l be s(3). Let t be (-32)/l*22/(-36). Is -1 smaller than t?
False
Suppose c = 10*c + 891. Which is greater: -1 or c?
-1
Let x = 4 - 8. Let r be x/(-6) - (-4)/(-6). Let b = 266/155 - 16/31. Do b and r have the same value?
False
Let g(m) = -3*m + 109. Let x be g(16). Suppose -35 = 2*r - 155. Is x bigger than r?
True
Let a(c) = -c**2 - 4*c - 7. Let t be a(-5). Let x = -110 + 98. Is t != x?
False
Let r be (0/(1 + 1))/1. Let k be r - (-4 + 276/3). Let j be -4*(0 + 4/k). Is -1 smalle