t c = 11.877 - 0.077. Let j = -8.8 + c. Which is greater: -0.32 or j?
j
Let z = 232.62 + -232.5. Which is smaller: z or 0.017?
0.017
Suppose -57*p = -53*p + 68. Let c be p/(-5) + 6/10. Suppose c*a - 17 = -9. Is 8/9 at least a?
False
Let u = 43 - 102. Let z = -59.1 - u. Which is bigger: z or -0.06?
-0.06
Let m be 66/10 + 2/5. Suppose 2*v - 10 + 12 = 0. Let b be 3 + -6 - 10/v. Is b smaller than m?
False
Suppose -6*r + 5*r = -w + 12, -24 = -2*w - 2*r. Let k be w - (-3 + (2 - -5)). Is k <= 8?
True
Let x be (2/(-3))/(2/(-9)). Let k be (25 + -24)/((-1)/(-3)). Let s be k + -2 + x + -8. Which is smaller: s or -3?
s
Let m be (36 - 3)*(-1 - 0). Let c be (10 - (-6 + -1))/((-1)/2). Which is smaller: c or m?
c
Let o = 668 + -668. Which is smaller: -9/76 or o?
-9/76
Let u(o) = 3*o**2 + 5*o**2 - o + 9*o**2 - 34 + o**3. Let d be u(-17). Which is smaller: d or -55/3?
-55/3
Let v = -357 - -1055/3. Is -5 at most v?
False
Suppose -70 = -7*i - 0. Let j = 16 + -4. Is i < j?
True
Suppose 3828 + 2932 = -13*o. Is o smaller than -521?
False
Let v be (-18)/(-14) - (-34)/(-119). Which is greater: v or -18/205?
v
Let o(s) = s**2 - 4*s + 5. Let r be o(3). Let a be (-5)/(-10) - (-3)/r. Let g be (2/35)/(a/(-40)). Which is smaller: g or -2?
-2
Let o be (8/26)/(7/(-1484)*4). Which is greater: o or -16?
-16
Let p(j) = j**2 - 5*j - 5. Let o be p(-3). Is 17 > o?
False
Let d be (-2)/((16/8)/(-2 - 20)). Suppose -d + 66 = -11*i. Is -3 > i?
True
Let b be (2/3)/((-140)/(-43410)). Let j = -209 + b. Which is greater: j or -3?
j
Suppose -4*z - 119 = q - 1, 0 = -5*z - 5*q - 155. Is -29 at most as big as z?
True
Let b(r) = 2*r**2 - 3*r - 1. Let a be b(-2). Let w be (13 - 2)*(63/(-7) - -6 - -4). Which is smaller: w or a?
w
Let g = 0.1455 + -0.1455. Which is bigger: g or -281?
g
Let a be 1/(-2)*(7 + 3). Let c(m) = -18*m - 41. Let w be c(a). Which is greater: 48 or w?
w
Let c = 9 - 9. Suppose c*w = -w. Let p = -13/3 + 9/2. Which is bigger: p or w?
p
Suppose p = -u - 3 + 5, -3*p + 5 = 2*u. Let y be p*56/26 + -2. Let o = -449 + 449.04. Which is bigger: y or o?
y
Let u = 98/3 - 469/15. Is u greater than 1?
True
Let s = -25.5 - -35.9. Is s bigger than -3?
True
Let q = 68.02 - 68. Which is bigger: q or 2/9?
2/9
Let r be (-360)/225 - (2 + 592/(-170)). Let g = 39 - 24. Do r and g have the same value?
False
Suppose 0 = 7*n - 3*n + 44. Let s(p) = 3*p**2 + 93*p + 163. Let u be s(-29). Is u <= n?
True
Let s be -8*(-3)/24 - (-16 - 0). Let x be (-128)/(-7) + (-12)/42. Is x less than or equal to s?
False
Let q = -1712 - -1774. Which is smaller: 63 or q?
q
Let o = -1758 - -985. Is -776 >= o?
False
Let a = 7 - 73. Let s = -63 - a. Is s at least 1/4?
True
Let v(w) = -34*w + 27. Let q be v(28). Is q at most as big as -925?
True
Let g = -3770/7 + 207351/385. Which is greater: -0.1 or g?
g
Let t = 1199 - 2495. Which is smaller: t or -1295?
t
Suppose 3*l - c = 2*l + 30, -l = -4*c - 24. Let d be (3/(-2))/(12/l) + 2. Which is smaller: -2/5 or d?
d
Let h = -162 + 158. Are h and -5 equal?
False
Let b = -26 + -198. Is b > -225?
True
Let f(u) = 2*u + 13. Let z be f(-10). Let j be 60/(-9) + 0/(-1). Let v = z - j. Are v and -3 equal?
False
Let u be 395/6 - 1/(-2). Let m = 10936/165 - u. Let i = m + 82/495. Is -2/5 bigger than i?
False
Suppose 16 = 28*v - 12. Which is bigger: 5/127 or v?
v
Suppose 9 = 4*d + 21. Let m be d/(3 - (1 + 1)). Does m = -2?
False
Let n be (-210)/(-3*4/(-12)). Let u = n - -1255/6. Let a(g) = g**2 - 4*g - 6. Let q be a(5). Which is smaller: u or q?
q
Let r = 9002 - 261088/29. Let p = -366/319 + r. Which is smaller: p or -2/7?
p
Let q be (2/(-3))/(((-4186920)/72)/(-41)). Is q at least 0?
False
Let s = 3/7 + -95/238. Let r = -23/1530 - s. Which is bigger: 1 or r?
1
Let h(b) = -b - 2. Suppose 0*x + x = -2*w - 12, 0 = -w - 2*x - 9. Let y be h(w). Suppose 4 = -2*r - y*c - 3, c = -3*r. Which is greater: 8 or r?
8
Let g be -2*(3 + (-102)/36). Let z = -5.439 - -0.039. Let q = 5 + z. Which is smaller: g or q?
q
Suppose -22 = -3*g + 5*i, 2*g + 3*i + 2*i = 48. Are g and 158/11 non-equal?
True
Suppose 4*z = -0 + 8. Let n be (-1)/(0 + (-11)/z). Let r = -0.5 - -0.2. Is r at least as big as n?
False
Let l be 2*(-10)/((-60)/(-87)). Which is smaller: 33 or l?
l
Let l = 3.0675 - 0.0575. Let m = -78 + 77.99. Let t = l + m. Is 6 greater than or equal to t?
True
Suppose 0 = -8*b + 218 + 158. Suppose 0 = k + 5*r + 29, -4*k + 0*r + 3*r - b = 0. Is -14 > k?
False
Let u(o) be the first derivative of -o**3/3 - 5*o**2/2 - 5*o - 8. Let b be u(-5). Which is greater: b or -4?
-4
Let j(q) = 23*q - 12. Let d be j(3). Let n be (d/8)/(1 + (-3)/12). Do 11 and n have different values?
True
Let x = -259 - -290. Is 29 less than or equal to x?
True
Let n(l) = -l**3 + 8*l**2 - 8*l + 10. Let a be n(7). Let u be 2/(-11) - (-408)/66. Let x(z) = z - 2. Let b be x(u). Which is greater: b or a?
b
Let o = 7 - 10. Let b be (-16)/(-66)*o/(-4). Suppose -6*s + s = 4*y - 8, 4*y = -3*s. Is y less than b?
True
Let v = 6006290/77287 - -2/11041. Which is smaller: v or 78?
v
Let r = -0.0356 - -4.0356. Let b = -2/17 - 109/85. Are b and r nonequal?
True
Let b(p) = 2*p**2 + 17*p. Let y be b(-7). Are -23 and y unequal?
True
Suppose -16 = 4*q - 40*x + 36*x, -x + 1 = -4*q. Let p be (-1)/(1/(-4)*2). Let w be (p/105 + 0)*3. Is q > w?
True
Let f = -10093/57 + 177. Let a = -52068733/171 + 304497. Let r = a - f. Which is bigger: r or 3?
3
Let c = 0 - -3. Suppose 12*t - 79 = -43. Are c and t unequal?
False
Suppose 0*u + 4*k = -2*u + 22, -3*u = k - 28. Let d(b) = 18*b - 18. Let w be d(u). Let a = 1149/8 - w. Are a and 1 equal?
False
Let t(g) = g**2 - 2*g - 1. Let b(m) = m + 13. Let y be b(-10). Let w be t(y). Suppose -3 = w*p + 1. Which is smaller: p or -4/7?
p
Let z be (-25)/(-3)*6/4*-2. Let x be 1/((z/9 - -3)/2). Suppose a - 5*m = -8, -m = 4*a - a - 24. Which is smaller: x or a?
a
Let w be 0 + (-7)/((-462)/444). Which is bigger: w or 8?
8
Let b = -29.66 + 4.76. Let q = b - -36. Let f = q + -11. Is f greater than or equal to -0.2?
True
Suppose -9*y + 4*y - 140 = 0. Let a = y - -61. Is 31 > a?
False
Let q = 1 - 0. Let s = 97 + -96. Is s >= q?
True
Let l be (-8)/20*10/114. Suppose 3 = 2*x + x. Which is bigger: l or x?
x
Let q(r) = -r**2 - r - 32. Let w be q(0). Let c = -51 - w. Let m(g) = -6*g**2 + 4*g - 3. Let t be m(2). Do c and t have the same value?
True
Let g(v) = 2*v**3 + 31*v**2 + 16*v + 18. Let t be g(-15). Suppose 4*o - 2*b - 8 = 0, 8 = -3*o + 5*o - 3*b. Is o less than or equal to t?
True
Let z = 339 + -338. Let d = 3 + -7. Let t be d/(-2)*3/(-36). Which is smaller: t or z?
t
Let d(m) = 5*m**2. Let g be (-8)/(-20) - (-21)/(-15). Let f be d(g). Suppose -3*l = 1 + f. Is 0 smaller than l?
False
Let o = 1903.1 - 1903. Which is smaller: o or 2105?
o
Suppose -2*k + 3 = -k. Suppose -n = k*s + 10, -s - s - 6 = 0. Let c = -64/15 - -23/5. Which is smaller: n or c?
n
Let r = -13.66 - -5.66. Which is smaller: r or -31?
-31
Let a = -51 - -388. Which is bigger: a or 338?
338
Suppose 0 = 5*x + 2*j + 3, -j + 2*j - 1 = 0. Let n be (x/(-11))/((-1)/2). Let a be -1 + (-1)/1 - -1. Which is smaller: n or a?
a
Suppose 4*n + 0*n - 24 = 0. Suppose 0 = -4*t + 2*o - n, -o = -5*t + o - 5. Let b = 21/10 + -5/2. Is b greater than t?
False
Let m = -4 + 10. Suppose 10*g = 2*i + 5*g - 15, 4*g + 3 = i. Let f = 20 - i. Which is smaller: m or f?
f
Let z = 757 - 758. Is z less than or equal to 0.022?
True
Let f = 1 + -2. Suppose 0 = -5*w + 4*z + 4988, -4*w - z - 25 = -4007. Let r = w + -42830/43. Is f at least r?
False
Let f = -28 - -188/7. Suppose -4*n = -n + 3. Which is greater: f or n?
n
Let a be (-1 - 1) + 2 + 0. Suppose a = y + 4*y. Let b(z) = z**3 - 33*z**2 - 70*z - 1. Let r be b(35). Which is greater: r or y?
y
Let l(r) = 9*r - 13. Let w(s) = -s - 1. Let j(a) = l(a) + 4*w(a). Let b be j(6). Let k = -13 - -26. Is k at most as big as b?
True
Let g be (8/3 - 2)*18/420. Suppose -152*b - 1 = -151*b. Which is greater: b or g?
g
Let p(u) be the first derivative of -u**4/4 + 2*u**3 + u**2/2 - 13*u + 3. Let x be p(6). Does -39/5 = x?
False
Let l be 209/114 + 10/(-4). Is l greater than or equal to 0.045?
False
Let o be (-4)/((-6)/9*-83). Let w = o + 149/913. Is 0 bigger than w?
False
Let t = 37 + -58. Let w = -3/76 - 1479/76. Do t and w have the same value?
False
Let w = -0.51 + 57.51. Are w a