 - -10408. Is a less than or equal to q?
True
Suppose -q + a + 30 = -6*q, 5*q = 3*a - 30. Let o(b) = b + 11. Let x be o(-8). Let p be x/9 - q/(-27). Which is greater: p or 0?
p
Let w = 160/43 - 249206/66951. Is 1 greater than w?
True
Let n = -465 + 610. Suppose 3*i = -3, -4*k = -2*k + 3*i + n. Let g = -64 + -7. Is g greater than k?
False
Let h(n) = 2*n**3 - 30*n**2 + 24*n - 3. Let o be h(14). Is o <= -12?
True
Let u be (-105512)/363*51/(-2)*1. Which is greater: 7413 or u?
7413
Let d = 250 - 373. Let x = d + 120. Which is smaller: x or 3?
x
Suppose 105*u - 104*u = 11. Which is smaller: u or 132?
u
Suppose -352*p - 385 - 119 = 1608. Which is smaller: p or -215/31?
-215/31
Let f be (-13)/(-143) - 6748/3080. Let b(k) = k**3 - 4*k**2 - k + 3. Let i be b(4). Does i = f?
False
Let o(g) = g**2 + g + 9. Let m be o(3). Let k be (-14)/((-98)/m) + (-1 - 2). Are -3/14 and k non-equal?
True
Suppose -2*p + 27*h = 26*h + 21816, -p = -10*h + 10965. Are -10906 and p non-equal?
True
Let r = -25.09 - -26.1. Let z = 0.91 - r. Is 0.135 at least z?
True
Let w = 62 - 38. Let l(u) = u**2 - 16*u + 33. Let m be l(13). Let i = m + w. Which is smaller: 52/3 or i?
52/3
Let w = -7086 - -7713. Is 625 equal to w?
False
Let u(r) = -r - 1. Let f be u(-5). Suppose -f*d + 4*g - 16 = 0, -d - 2*g + 8 = -0*d. Suppose -4*s + 9 + 11 = d, -2*p + s = 5. Which is greater: 2/129 or p?
2/129
Let w = 37.935 - 39.6. Let o = w + -0.335. Is -3.4 equal to o?
False
Suppose 4*y = -0*y + 92. Suppose y*z + 45 = 26*z. Is 18 less than or equal to z?
False
Let y be 3/6*(13/11 + -1). Let n = 24 - 19. Suppose 3*t = n*d - t + 25, -14 = 4*d - 2*t. Is y at least as big as d?
True
Suppose -q - 2730 + 1679 = 0. Which is greater: q or -1052?
q
Let s be ((-108)/2700*6/(-41))/((-1)/5). Is s greater than -0.1?
True
Let t = 477.619 - 478. Let r = 1.051 + t. Which is smaller: -3/4 or r?
-3/4
Let s = -1800 - -1762.05. Let y = 7.6 + 30.4. Let r = y + s. Are -3 and r unequal?
True
Suppose -4*o = 5*v + 33 + 12, 4*o - 5 = 5*v. Let t be (-3*v/(-2))/((-3)/6). Suppose -w = -2 - t. Which is smaller: 18 or w?
w
Let j be (-6)/(-1)*(-152)/228. Which is bigger: j or -869?
j
Let n = -1987 + 1987.1462. Which is smaller: 0.2 or n?
n
Suppose 0 = 2*x - z + 648, 3*x - 198 + 1163 = -2*z. Which is bigger: -324 or x?
x
Let y(b) = 966*b - 15442. Let u be y(16). Let i(l) = -l - 9. Let t be i(-7). Which is bigger: u or t?
u
Let g be 5 - 292/60 - (-51)/(-45). Let c be 227 - (2 - (2 + (-4 - g))). Is c greater than 225?
False
Let s be (0 + 2190/16)/(12/(-16)). Let v = s + 181. Which is smaller: -3 or v?
-3
Suppose 0 = -2*s + 2, 2*s = -3*j + 7*s + 16. Let i be (-21)/3 - (j + -10). Let p(h) = -h**2 + 3*h + 14. Let k be p(6). Do k and i have the same value?
True
Let n = 373 + 60. Let d = -433 + n. Let y = -51/2 + 769/30. Which is bigger: d or y?
y
Suppose 2*z = 5*i + 10, 3*i + 6 = -0*z + 3*z. Let y be i*(-2 - 2016/(-1015)). Which is smaller: y or 1?
y
Let v = -42 - -36. Let q be (-332)/6*v/4. Let y = q + -82. Is -4/9 smaller than y?
True
Suppose 0 = -l - 0*l + 3, -2*x = -4*l + 158. Let t = x + 70. Which is smaller: t or -12?
-12
Let z be -1*(-2 + 11*-1). Suppose 0 = -y + 2*y - z. Suppose 525*s - 3665 = 3160. Is s equal to y?
True
Let i be ((-2)/9 - 62/279) + 556/2061. Which is smaller: 0 or i?
i
Suppose -d = -7*f + 5*f + 53, 3*f - 4*d - 92 = 0. Let k be 1/3 + (-14)/f. Let j be -3*(-2)/(-3) + 5 + 26. Which is greater: k or j?
j
Let g = -751 - -1242. Let b = 494 - g. Are b and 0.1 equal?
False
Suppose -3*g + 2*x + 31645 = 0, 57*g - 3*x - 10560 = 56*g. Which is bigger: -2 or g?
g
Let q = 2/115861 + -58162236/811027. Let n = 54 + -126. Let s = q - n. Which is bigger: 1 or s?
1
Suppose -5*r - 302 = 2*c, 46 = -2*c + 54. Is r <= -621/10?
False
Let v(s) = -26*s**3 - 12*s**2 - s + 1. Let o be v(-1). Which is smaller: 121/7 or o?
o
Let c = 3.406 + -3.506. Is -566 < c?
True
Let q(l) = 2*l**2 + 82*l - 1822. Let i be q(-57). Let a(b) = -b**3 + 3*b**2 - b. Let c be a(2). Let u be (2/3)/(c/(-3)). Which is bigger: i or u?
i
Let b = -105 - -107. Suppose -5*y + 8 = -4*d - 9*y, -b = 5*d - 3*y. Which is bigger: -11/7 or d?
d
Let t be 1/(-4 - (0 - 3)). Let v be -4 + (t*2 - (-75)/3). Are v and 19 equal?
True
Let n(x) = x**2 - 28*x + 70. Let l be n(25). Let b be 42/189*l/(-2). Is b >= 0?
True
Let d(b) = b**3 + 6*b**2 + 6*b + 9. Let q be d(-5). Suppose -2*t + q*t = 0. Let f = -163168/245 + 666. Which is bigger: f or t?
f
Suppose 6866 = 11*x - 834. Is 701 >= x?
True
Let c be -10*((-4)/(-10) + 2). Suppose -5*l + 2*j + 10 = 0, l + l - 3*j + 7 = 0. Suppose -l = 7*r + 157. Is r less than c?
False
Let n(o) be the first derivative of -o**4/2 - 13*o**3/3 - o**2 + 24*o + 118. Let h be n(-6). Which is bigger: h or -7/24?
h
Let l(v) = -v**3 + 5*v**2 + 8*v - 22. Let g be l(6). Let y be 4/g - 10064/2590. Is 0 bigger than y?
True
Let m(b) = 2*b**3 - 5*b**2 - b + 3. Let y(d) = -d**3 + d**2 - d - 1. Let v(q) = -m(q) - y(q). Let z be v(-2). Suppose -20 = -2*g - z. Which is smaller: -5 or g?
-5
Let l(t) = -3*t + 16. Let u be l(5). Let c(a) = a**3 - 4*a**2 - 9*a - 10. Let g be c(-5). Let v be g/(-85) + (-2 - 0). Which is smaller: v or u?
v
Suppose 0 = 2*x + 2 + 6. Let r = -1762.95 - -1812. Let c = r + -49. Is x less than or equal to c?
True
Let l be (-2)/(-7) + 348/154. Suppose 5*o + 3 = -2, -292 = -2*w + 4*o. Suppose 12 = 78*k - w. Which is bigger: k or l?
l
Let u be (1184/(-308) + 4)/((132/42)/11). Is 63 at most as big as u?
False
Let h be ((-1)/(-10))/(4*(-7)/60592). Let l = 217 + h. Is -7/4 less than or equal to l?
True
Let c be (135/6)/1 - (-22)/(-44). Let x(d) = -8*d - 211. Let y be x(c). Which is smaller: y or -385?
y
Let h be (-177)/885 - (-11292)/10. Which is bigger: 1128 or h?
h
Suppose -j - 21 = 5*r, 4*j = r - j + 25. Let a be r/((-4)/(-156)*3). Let q = 63 + a. Is -4 equal to q?
False
Suppose -5*x - 25 = -p, -142*p = -2*x - 143*p - 3. Which is smaller: x or 248?
x
Let g(b) = 2*b**2 - 2*b + 19. Let w(c) = -c**2 + 2*c - 9. Let z(y) = -3*g(y) - 7*w(y). Let j be z(7). Which is greater: j or 2/69?
2/69
Let h = -16.24 - -134.24. Let n = 49 - 195/4. Are n and h equal?
False
Let c be (-127 - -7)/((-6)/(-8)). Let v = c - -193. Which is smaller: v or 1/4?
1/4
Let j(m) = -36*m - 106. Let d be j(-7). Let k be 726/d - (10 - 5). Which is bigger: -3 or k?
k
Let v = -1.58826 - 0.41174. Is 1356 equal to v?
False
Let s be -106 + (4 - (-5 + 6)). Let t = -120 - s. Is -21 not equal to t?
True
Let x(g) = -211*g - 733. Let o be x(-10). Which is smaller: o or 1378?
o
Let q = -27/28 + 267/364. Suppose -5*p + 4*c = 5, -3*p = 2*c - 10 - 9. Suppose w = 4*n - 17, 4*n - 21 = p*w + 2*w. Is w at most q?
True
Let k = 87563/15 - 5838. Which is smaller: -1 or k?
-1
Suppose 45 = -3*s - 3*r, 10 = 6*r - 4*r. Suppose 3*m + 2*u + 15 = -46, -m - 3*u - 18 = 0. Let x = s - m. Which is smaller: 4/13 or x?
4/13
Let j(c) = -32*c + c**2 + 228 - 4*c**2 - 175. Let z be j(-12). Suppose -28 = -4*k - 2*b, -3*b = 5*k - 9 - 25. Is z greater than k?
False
Let z = 5991 - 3816268/637. Which is greater: z or -1?
z
Let v = -0.07299 + -0.02701. Let x = 274 - 57. Which is smaller: v or x?
v
Let i(n) = -2*n**2 - 35*n - 124. Let u be i(-8). Which is bigger: u or 46?
46
Let w(c) = c**3 + 4*c**2 - 8*c + 7. Let s be w(-8). Suppose -428 = 15*i + 2362. Is s at most as big as i?
False
Let t = 117 - 245. Let w = -89 - t. Let c be (w/(-9) - -4)*-14*12. Is c at most as big as 57?
True
Let r = 736.41 + -753. Let q = 16.4 + r. Which is smaller: q or 17/2?
q
Let t = 0.053 - 0.353. Let p = 0.4 + t. Is p < 125?
True
Suppose 2*j = -2*y + 8, 4*j - 185 = -y - 172. Which is bigger: y or 5/416?
y
Let d(v) = 4*v**2 - v + 2. Let s be d(0). Suppose 5*t + 50 = -3*r, r + 18 = -s*t + t. Is r bigger than -16?
False
Let l be (-2)/(-3) - 649/132. Suppose y = 15*w - 12*w + 5, -7 = w + y. Is l greater than w?
False
Let r be 9 - 555975/92652 - 3. Is 1 at least r?
True
Let t(h) = h**3 + 6*h**2 - 5*h - 7. Suppose 0 = 4*i - 0*i + 20. Let g be t(i). Suppose 19*d - 6*d - 12*d - 44 = 0. Which is greater: g or d?
d
Let z = -19 + 18. Let g = -1.852 + 2.952. Is z greater than or equal to g?
False
Let m = 776 + -775.8. Let k = 0.21 - m. Which is bigger: -71 or k?
k
Suppose 576 = 15*j - 47*j. Let d be 15/j*(-9)/30. Let a = 41 - 122/3. Is d less than a?
True
Let q(b) = b**3 