Suppose 28*l - 10*l = 666. Let s = l - 33. Suppose 0*p - 16 = s*p. Which is smaller: 2 or p?
p
Let x(o) = -7*o**2 + 9*o - 1444. Let g be x(0). Is -1445 != g?
True
Suppose -9*a + 540 = -135. Let l = a - 130. Is -55 <= l?
True
Let s = -3/20452 + 3338801/81808. Is 41 >= s?
True
Let i = -172533/286 + 1253/22. Which is smaller: i or -545?
i
Let h(t) = t**3 - 8*t**2 + t + 22. Let c be h(9). Suppose 0 = -5*l + 2*s + 78, 4*l + 5*s - c = -43. Let i = l - 64. Which is bigger: i or -1?
-1
Let c(t) = -t**3 - 24*t**2 - 47*t - 116. Let n be c(-22). Which is bigger: -51 or n?
n
Let f = -293 - -352. Let k = 98 - 40. Is f less than k?
False
Let y = -217 + 6724/31. Suppose 0 = q + 4*q + 15. Let i be (q + 0)*3/(-9). Is y < i?
True
Let u = -426 - -429. Let y(n) = -n**2 - 23*n + 75. Let r be y(u). Does -0.3 = r?
False
Let n = 5251 + -4523. Which is smaller: 1455/2 or n?
1455/2
Let c(h) = -2*h**2 - 5*h - 7. Let l(z) = 3*z**2 + 8*z + 11. Let q(a) = -8*c(a) - 5*l(a). Let f be q(-1). Let y be f - 8/((-2496)/(-621)). Is y > 0?
True
Let d = -396/7 + 16250/287. Let i(l) be the first derivative of l**2 - 10*l - 19. Let m be i(5). Is d greater than m?
True
Let l = 12964 + -12963. Is 2/30779 != l?
True
Let g = 3.0737 + -0.0737. Let r be 6 + -8 + 10/4. Is r less than or equal to g?
True
Let p = -12/19 - -187/266. Let t = -8500 + 8500.06. Is p bigger than t?
True
Let n = 2.59 - -483.41. Let k = -487 + n. Which is greater: k or 1/4?
1/4
Let f = -0.1 + 1.1. Let g = -96.222 - 0.278. Let n = 97 + g. Which is smaller: n or f?
n
Let u = 107 + -12. Let j = -92 + u. Does j = -4/7?
False
Suppose 41 + 1 = 7*p. Let j(o) = o - 5. Let l be j(p). Let n be 10 + -13 + ((-70)/(-18) - l). Which is bigger: -1 or n?
n
Let j = -320 + 488. Let a = 48 - 167. Let l = j + a. Which is smaller: l or 0.1?
0.1
Let p(y) = 3*y - 4 + 3 - 3. Let c = 212 + -212. Let s be p(c). Is s at most 0?
True
Let t = 24107 - 23909. Which is smaller: t or 1193/6?
t
Let h = -0.41 + 0.27. Let b = h + 0.14. Let z = 2.09 - 2.49. Which is smaller: z or b?
z
Let p be (-1720)/(-80)*(-16)/24. Let d = 0 - 15. Is d at least p?
False
Let w be (-2)/12 + 14/12. Let m be w/(-15)*50/(-15). Is -3 at most as big as m?
True
Let h(x) = x**2 + 29*x + 153. Let t(q) = -q**2 - 58*q - 307. Let d(l) = 5*h(l) + 2*t(l). Let n be d(-8). Is n >= 111?
True
Suppose -276*d + 4*q - 8304 = -281*d, 0 = -4*d + 2*q + 6690. Is d less than or equal to 1673?
True
Let c be (140/(-1))/(-2)*1. Let m be 1 + -3 + 21 + (-21 - -72) - 0. Does c = m?
True
Let l = 10 - 21. Let d be l*(-9 + (4 - 2)). Let m = -78 + d. Which is smaller: 1/4 or m?
m
Let r be 2*(-42)/(-24)*194. Let q be ((-9)/(-6) - 0) + r/14. Suppose 8*j = q + 6. Is j at least as big as -7?
True
Suppose -62 - 21 = -488*n + 405. Let l = -277/7 + 6392/161. Which is greater: n or l?
n
Suppose 0 = 29*c - 53*c - 1560. Which is bigger: -60 or c?
-60
Suppose -6 = -2*f + n, -5*n = -16*f + 20*f + 16. Let t be (-2 - 18/8)/((-39)/12). Which is smaller: f or t?
f
Suppose -2 = 2*l - 10. Let h be 450/825*((-9)/(-15) - 19/15). Is h at least as big as l?
False
Let k = -636329/63 - -10100. Let y = -607/1260 - k. Let u = y - 437/5740. Which is smaller: u or -1?
-1
Let n = 71 - 84. Let c be 2/(-2) + n/((-2262)/198). Which is smaller: c or -1?
-1
Let u be (-1)/(0 - (-1)/1). Let x = -84279/140567 - -2826/467. Let a = 38/7 - x. Which is bigger: u or a?
a
Let k = -13.366 + 20.366. Is -2/1371 >= k?
False
Let r be (-27)/4 - 2/(-8). Let l = 750 + -879. Let u be 2/(-3) - (-946)/l. Which is smaller: u or r?
u
Let d be 1 - -10*(-75)/(-18). Let k = d + -43. Suppose 152 = 34*s + 4*s. Which is smaller: s or k?
k
Let d(j) be the third derivative of -j**5/60 + 7*j**4/24 - 4*j**3/3 - 11*j**2. Let x be d(6). Let k(w) = 6*w + 6. Let m be k(x). Is -8 equal to m?
False
Suppose -5*q - 126 = -4*o, -o + 5*q + 0*q + 39 = 0. Let n be (3 + 1 - 6/2) + o. Let v be 66/(-74) + -5*(-6)/n. Which is smaller: v or 0?
0
Suppose 10*g - 360 = -5*g. Let c be (g/(-28))/(1098/28). Which is greater: 0 or c?
0
Let j be (27378/150)/(-13) + (-3 - 2). Is -20 greater than or equal to j?
False
Let w = 85347 + -85296.9645. Let p = 0.0355 - w. Let n = 0 + 1. Which is smaller: n or p?
p
Suppose -110 = -2*i + 3*k - 542, 0 = -2*i - 5*k - 448. Is i less than or equal to -226?
False
Let j = -3/1687 + -118081/5061. Let u = -83/6 - j. Does 11 = u?
False
Suppose -4*j = -15 - 41. Suppose -h + 5*u = 16, -2*u + 148 - 66 = 5*h. Is h at most as big as j?
True
Let l(f) = 108*f + 47. Let g be l(2). Do g and 266 have different values?
True
Let c = 0.31 - -14.69. Let u = -0.09197 + -0.00803. Which is smaller: u or c?
u
Let p be 211*3 + -19 + 12. Suppose -p = 6*u - 740. Is u greater than 18?
True
Let o(f) = -90*f - 118. Let k be o(-11). Which is smaller: 870 or k?
870
Let i = -46 - -271/6. Which is bigger: i or 44?
44
Suppose -3*b + 5*t + 4 = 22, 18 = -3*b - t. Let m = -81 - b. Let g = -80 - m. Is -56/9 greater than g?
False
Suppose -6*a = 8*a - 16*a - 36*a. Is a at least as big as 321?
False
Let f be (0 - (-168)/(-5)) + 6/(-15). Suppose 2*b = -4*b + 180. Let z = f + b. Is z smaller than -21/4?
False
Suppose -2 = -5*m + 3*m. Let c be m - (-4 + 15/5). Let n be 2/(-8)*3/c. Which is smaller: n or 0?
n
Let r be ((-52)/(-12))/(15/(-450)). Let a = 159 + r. Which is smaller: a or 0?
0
Suppose -9*g + 34 = -74. Suppose -g*l + 4*l + 8 = 0. Suppose 0 = -2*x - 7 + l. Is x at least -12/7?
False
Let i be (-1898)/(-5) + 2/5. Let z = -370 + i. Which is bigger: z or 2?
z
Let f be 16/4 - (12 - 8 - -1). Let k = 0.092 - 0.06. Which is greater: f or k?
k
Let u(y) = 4*y**2 + 4*y + 2. Let n be u(-2). Suppose 15*s - n - 5 = 0. Which is smaller: s or -3/127?
-3/127
Let i = 392 + -392.1. Which is bigger: -122 or i?
i
Suppose 4*w = w + 132. Let g = 898 - 855. Which is greater: w or g?
w
Let a(l) = -l**2 - 18*l - 5. Let r be a(-16). Let b = r + -28. Is b greater than -1/31?
False
Let p = -14.81 - -12.536. Which is bigger: 1/5 or p?
1/5
Let a(n) = -n**2 - 16*n - 13. Let s be a(-10). Let j be ((-12)/9)/(1 + (-37)/36). Which is smaller: j or s?
s
Let g be 1/(2/110 - 34/(-187)). Suppose g*s - 16*s - 979 = 0. Which is smaller: s or -88?
s
Let q be ((-8)/20)/((-4)/(-60)). Let m = q - -7. Let z be ((-18)/(-246)*2)/(-2). Is m > z?
True
Let j be (-150 - -160)/((-1)/(-2284)*10). Is 2283 less than or equal to j?
True
Let h = 501 - 501. Suppose 5*t - 20 = t. Let j(o) = -o**3 + 6*o**2 - 5*o - 5. Let u be j(t). Which is greater: u or h?
h
Let o be (-11)/(176/12) + (-6)/(-8). Let u(q) = -q**2 - 11*q + 35. Let b be u(o). Is b not equal to 38?
True
Let h = -103/60 - -22/15. Suppose 3*p = 3*l - 18 - 6, -3*l + 32 = -4*p. Let z be p/(-370)*(-40)/16. Is z not equal to h?
True
Suppose -47*y = -190 - 5518 + 538. Is y at most as big as 87?
False
Suppose -190*b + 5653 + 34812 = -11975. Is 6 equal to b?
False
Suppose f - 6*f - f = 0. Let u be (0 + f + 0)/2. Is u at least as big as -3?
True
Let w(a) = -a**2 + 9*a - 10. Let m be w(7). Let f be m/(-63) - (32/(-18) + 2). Let x = -6.1 + 4.9. Which is greater: x or f?
f
Let x = 11584 + -4747. Are x and 6838 nonequal?
True
Suppose 3*r - 5*r - 5*w = -15, 0 = -5*r + 4*w - 12. Suppose r = 11*v - 90 - 339. Let p = -22 - -61. Is v != p?
False
Let m be -74 + 0/3 + -7. Let z(h) = -20*h. Let q be z(-4). Let r = q + m. Is r > -2/93?
False
Let h(k) = k**3 + 6*k**2 + 2*k - 7. Let b be h(-5). Let z be (-75)/(-728) + (-1)/b. Let y be (6/2 - -1) + (7 - 10). Which is smaller: z or y?
z
Let v be (7622/(-12))/1 + 21/126. Let u = 636 + v. Is u at least 2/27?
True
Suppose -21*m = -24*m + 9. Let t(l) = l**2 + 12*l + 27. Let a be t(-9). Suppose a = -y + 5*j - 6*j + 6, 5*y - 60 = j. Do y and m have the same value?
False
Let o(k) = k + 2. Let j be o(-2). Let p be 5/(-10)*-7*(2 + j). Let u be (p + -6)*(-1 - -1) + 18. Which is greater: 20 or u?
20
Let r = -151/77 + 20/11. Let n(k) = k**2 + 5*k - 13. Let d(m) = m**3 - 12*m**2 + 11*m - 7. Let j be d(11). Let h be n(j). Which is smaller: h or r?
r
Let o = -195 - -220. Suppose -4*h + 1 = 21, 5*h = -3*a - o. Which is smaller: 30/31 or a?
a
Let v be 120 - (-1 + (1 - 2)). Let k be v + (-75)/(-15) + (-2 - 6). Which is smaller: 120 or k?
k
Let i = 1709371/18 - 563495/6. Let z = -1051 + i. Let q(j) = 44*j**2 - 280*j + 93. Let h be q(6). Which is bigger: h or z?
z
Let r = -1222 - -3