 - 75. Let o = -11.9 - -13.5. Which is smaller: o or j?
o
Let b(i) = -i**2 + 11*i - 18. Let p be b(12). Let y = -15 - p. Which is greater: y or 13?
y
Let u = 1/542 + 135/271. Which is bigger: -24 or u?
u
Let z be (-13)/((-208)/(-12))*-128. Is z greater than or equal to 476/5?
True
Let u(j) be the first derivative of j**4/4 - 2*j**3 - j + 8. Let d be u(5). Does -24 = d?
False
Let a = -385 + 13861/36. Let n = -660 - -661. Is a equal to n?
False
Let z be ((-128)/(-60))/(20/330). Is z < -2/5?
False
Let o = 48.3 + 5.7. Let i = o + -53.9. Is i at least as big as -0.17?
True
Let r = 836 - 837. Is 8/55 bigger than r?
True
Let v(s) = -s**2 + 13*s - 31. Let l be v(6). Suppose 5*t - 6*t + l = 0. Is t equal to 1?
False
Suppose 5*w - 167 = 163. Let k be ((-20)/w)/((-2)/9). Do k and 1 have the same value?
False
Let m(w) = 2*w + 4. Let g be m(-4). Let u = g + 9. Let a be u/1*(-2)/(-10). Which is greater: a or 2?
2
Let j be (0 + 147)*(-40)/(-30). Suppose -j - 196 = 7*n. Is -56 less than or equal to n?
True
Let s = 511 + -506. Suppose n + 20 = 5*n. Is n at least as big as s?
True
Let m = 332762/47 - 7080. Let o be 1 + 1*1*-1. Is m at least as big as o?
True
Let x be (5 - 4)*2/5. Which is bigger: 98 or x?
98
Let f be ((-42)/3 - 1) + 3. Let a = f + 14. Let i be 10/(-6) + (3 - a). Which is smaller: 3 or i?
i
Let c be (0 - 2)*11/(-2). Let a = c - 9. Let k(q) = q - 2. Let f be k(a). Are f and -2/17 equal?
False
Let n = 11 + -9. Let v = 12.2 + -3.2. Let r = v + 1. Is n at most r?
True
Suppose -5*r - 164 = -2*m, -7*r + m - 162 = -2*r. Suppose -57 = 2*y + 5*d, -d - 20 + 83 = -2*y. Is r at least y?
False
Let v = -2478 + 4847/2. Let k = v - -56. Are 0 and k unequal?
True
Let q(c) = c + 3. Let z be q(4). Suppose -3*l - z = -2*m, 2*l + 0*l = -m + 7. Let w = 37 - 38. Which is bigger: w or l?
l
Suppose -44*u + 91*u = 40*u. Which is smaller: 5/347 or u?
u
Let o = 16.4 + -14.9. Let j = -0.3 - -2. Let y = o - j. Which is bigger: y or -1?
y
Suppose -2*v + 4*s = -s - 1, 3*v - 2*s - 18 = 0. Let b(r) = r**2 - 8*r - 7. Let f be b(v). Let k be 7*(-1)/4*4. Is k smaller than f?
False
Let b = -320/2679 + 2/141. Let m = -7/114 + b. Suppose 5*y - 4*k - 4 = 0, -y + 3 - 2 = -k. Which is smaller: y or m?
m
Suppose -r - 3 = 0, -2*r + 0*r = -4*p + 2. Let y be ((-125)/110 - -1)*10. Is p less than or equal to y?
False
Let a = 3 + -5. Let b = -2 - a. Let y be (240/(-3080))/((-3)/(-21)). Is y >= b?
False
Let a = -16 - -16. Let m = 100 - 100.07. Which is bigger: a or m?
a
Let i = 21557 + -24079167/1117. Is 1 less than or equal to i?
False
Let y = -7 - -6.58. Let m = 10 + -9.88. Let q = m + y. Do q and -3 have the same value?
False
Suppose 14*g + 1569 + 5375 = 0. Which is greater: -498 or g?
g
Let i = 2.853 - -0.047. Let z = i - 1.6. Is -2/5 at most as big as z?
True
Let f = -2.37 - -6.37. Which is greater: f or 0?
f
Suppose -9*k = -2*k - 224. Is k smaller than 31?
False
Let r = 1112 + -1136. Is -74/3 at most r?
True
Suppose -3*m - 2*o + 10 = -0*m, -4*m + o = 5. Suppose m = -q + 2 + 7. Suppose q*f = -253 - 98. Is -39 != f?
False
Let p(g) = -2*g**3 + 9*g**2 - 36*g - 11. Let b be p(6). Which is smaller: -669/2 or b?
b
Let b(v) be the first derivative of -v**4/4 + 8*v**3/3 + 4*v**2 + 10*v - 4. Let g be b(9). Let f = 13883/26 + -534. Which is smaller: f or g?
f
Let w(d) = -d**2 - 10*d. Let z be w(-10). Suppose 5*o - 60 = -z*o. Let k = o + -11. Is 1/2 <= k?
True
Let g = -223 + 88. Let u = g - -144. Which is smaller: 2 or u?
2
Let v = -0.26 - 18.74. Let d = v - -21.1. Let l be 5 + -2 + -5 + 8/6. Is l > d?
False
Let y be -6 - 4 - (1 + -3). Suppose t - 5*m - 12 = 0, -17 = 5*t + 4*m + 39. Is t equal to y?
True
Let x = -520 + 527. Which is bigger: 2/5 or x?
x
Suppose -110*a - 8 = -114*a. Is a <= 26/33?
False
Let l be 87 + 1 + 0 + -5 + 0. Is 83 less than l?
False
Suppose 0 = -4*k - 0*k + 20. Suppose -k*r + 0*r = -15. Suppose r*g - g = 0. Which is smaller: g or -9/7?
-9/7
Let v = -28 + 29. Is v > 1/304?
True
Let c(x) = -4*x + 10. Let t be c(3). Let j be 4 + t + 54/(-24). Which is greater: j or 0.4?
0.4
Let g(r) = -r**3 - 13*r**2 + 13*r - 16. Let m be g(-14). Suppose 0 = 2*y - 2*d - 34, -3*y - 2*d + 27 = 3*d. Which is greater: m or y?
y
Let w = 2 - 3. Let k = 24/101 + -355/1919. Which is smaller: w or k?
w
Let k be (-47)/(-2115) - 2/9. Which is greater: -350 or k?
k
Suppose -185 = 2*i + 3*i. Let w = i - -35. Is -2 equal to w?
True
Suppose -7*x + 834 + 342 = 0. Do 168 and x have different values?
False
Suppose 0 = -20*i + 20. Let d = 10225/52669 + -1/1699. Which is bigger: d or i?
i
Let j = -1.6 - -7.6. Let q = -43 + 65. Let b = q - 22.1. Which is smaller: b or j?
b
Let x be 2/(-2)*(-2)/2. Let m(n) = 4*n**2 - 3*n. Let i(l) = -20*l**2 + 16*l. Let j(w) = -2*i(w) - 11*m(w). Let h be j(x). Is -3 bigger than h?
False
Let d(x) be the first derivative of -x**2/2 - 25*x + 28. Let l be d(-14). Is l less than or equal to -10?
True
Let s(z) = -z**3 - 20*z**2 - 17*z + 11. Let o be s(-19). Let w be (-9)/o*-3 + (-197)/(-199). Is -1 > w?
False
Suppose 1 = -2*q - 1. Suppose -3*z = -2*z + 14. Let t be ((-2)/4)/(z/(-4) - 0). Which is smaller: t or q?
q
Suppose 4*p = 2*t - 50 - 54, 4*t - 5*p - 193 = 0. Is t < 247/6?
False
Let t(d) = -5*d**2 - d - 4. Let x(g) = 4*g**2 + 3. Let h(s) = -5*t(s) - 6*x(s). Let a be h(-4). Let q be 1/(-6) + 3/(-6). Which is smaller: q or a?
a
Suppose 3953 = -48*u - 11*u. Which is greater: -66 or u?
-66
Suppose 0*f + 8*f + 184 = 0. Let b be f/(-115)*(-2 + -1). Are b and -1 unequal?
True
Suppose -4*g - 5*h + 37 = -4*h, -5*g = -h - 35. Suppose a = -z + 3 + 2, -4*a + 3*z - g = 0. Is a != -1/10?
True
Suppose -448 = -14*i + 98. Is 39 less than or equal to i?
True
Let r = -150 + 151. Which is smaller: -5/44 or r?
-5/44
Let d = -2/803 - 5429/77088. Which is smaller: 1 or d?
d
Let u = 6.63 + -3.63. Is u equal to -0.014?
False
Suppose 0*i = 4*i. Let c(g) = -g**3 - 9*g**2 - 10*g - 11. Let a be c(-8). Suppose 6 = a*q + 4*b, -3 = -2*q - 4*b + 3*b. Is q greater than i?
True
Let i(s) = 3*s - 5. Let p(w) = w. Let h(n) = -i(n) + 4*p(n). Let a be 15*(1/(-3) + 0). Let b be h(a). Is b smaller than 0.6?
True
Let c be (-4 - -14 - 5) + 156/(-25). Which is bigger: c or -2?
c
Let c = 6.01 - 6.01. Is -84.6 <= c?
True
Suppose -4*d = -d - 9, -4*d + 96 = n. Let c be (1/(-7))/(72/n). Which is smaller: 10 or c?
c
Let l(w) be the first derivative of -w**2/2 - 10*w + 4. Let s be l(-12). Which is smaller: s or -0.3?
-0.3
Let f = -780 + 795. Which is bigger: f or 27?
27
Suppose 19*g + 220 = 49. Let i be (2*1)/((-14)/91). Which is bigger: g or i?
g
Let l = 50422/3 - 16807. Let g(i) = i - 5. Let c be g(0). Let d(x) = -x - 4. Let j be d(c). Is l smaller than j?
True
Let l(j) = j - 1. Let k be l(3). Suppose 0 = k*w - 0*y + 3*y + 1, 0 = -5*w + 5*y + 10. Which is greater: w or 20/9?
20/9
Let b = 7.9 - 8. Let s = -151 - -601/4. Is s > b?
False
Suppose -g - 2*g - 44 = l, -2*l - 2*g = 92. Which is greater: l or -46?
-46
Let c be (-2)/(-91)*-4*(-5)/60. Let d = c + -881/8463. Is -1 smaller than d?
True
Suppose 2*z - 8 = u + 16, -20 = u - 3*z. Let j = u - -37. Suppose -2*h - h = -6. Which is bigger: j or h?
j
Let m = 10 - 8. Suppose -5*x = -m*q - 7 - 8, -10 = 2*q. Let l be (-3)/(-12)*6 - 0. Is l at most as big as x?
False
Let v(j) = j**3 + 6*j**2 - 8*j - 2. Let a be v(-7). Suppose a*s - 8*s = -9. Let d be 1*s*1/1. Is d > 0?
True
Let u be 3*(428/12 + 5 + -5). Is 107 at least u?
True
Let j = 331 + -305. Is -2/7 > j?
False
Let k = -25 + 17. Let m = 9 - k. Let s = m - 7. Which is greater: 11 or s?
11
Let m be (2 - 0) + 19/(-10). Let q(o) = 7*o - 63. Let a be q(9). Is a bigger than m?
False
Let s(u) = 3*u**3 + u**2 + 9*u + 5. Let y be s(-2). Let t be 85*((-6)/(-10) - 1). Is y greater than t?
True
Let c = 447 - 445.5. Let d = 0.4 + 0.1. Let s = d - c. Is 0.1 >= s?
True
Let g(n) = -3*n - 14. Let v be g(-5). Let c = -123203/585 + -362/585. Let d = c + 211. Which is bigger: d or v?
v
Let j be -7 - (-1 + 1) - (-17172)/891. Which is bigger: 11 or j?
j
Let a = 0.15 + -4.15. Let h = a - -7. Do -2 and h have the same value?
False
Let n(h) = -40*h + 639. Let r be n(16). Is -5/179 <= r?
False
Let s be -1 - 9/(-6)*2. Let l be -30 + (-9 - 1)/s. Does l = -35?
True
Let k be ((-50)/4)/((-31)/(-372)). Which is bigger: k or -149?
-149
Let y = 29/106 + 23021/318. Let a