a = c + -92. Is a at most -8?
False
Let j(t) = -t**2 + 3869*t - 76983. Let y be j(20). Let i(o) = -o - 6. Let v be i(-3). Is v < y?
False
Let w(k) = -2*k - 27. Let x be w(-18). Suppose 0 = -3*q + 5*q. Suppose q = -3*f - 0*f + x. Is f >= 3?
True
Let b = 14440.86 - 14797. Let w = 357 + b. Is -0.1 at least as big as w?
False
Let p = -11319 - -11291. Let i = 0.0262 - -28.0738. Let y = i + p. Which is bigger: -26 or y?
y
Let w be (0 - -9) + 0/3. Let c(x) = -43*x + 250. Let i be c(6). Let s be (22/i)/((-1)/24*6). Which is smaller: s or w?
w
Suppose 658*y = 663*y - 4*p - 462, 5*y - 464 = 3*p. Which is smaller: y or 474/5?
y
Let l be 330/(-150) - (-47552)/(-140). Which is greater: -343 or l?
l
Suppose -210 = -25*q + 32*q. Let r be 6 + (-85)/q - (-1 - -1). Which is smaller: r or 9?
r
Let h = 59 + -125/2. Suppose 4*z + 3*u + 11 = 0, 2*z + 2*z - 4*u + 32 = 0. Let k(x) = x. Let p be k(z). Which is smaller: p or h?
p
Let p = -70209 + 70210. Let j be (2/4)/(2*-1). Which is bigger: j or p?
p
Let m(z) = 3*z**2 + 10*z - 5. Let o be m(4). Let r = o + -74. Suppose -5*y + r*y + 4 = 0. Which is smaller: y or 27?
y
Let j(m) = -141*m**2 - m + 1. Let f be j(1). Let i(d) = -54*d + 5800. Let y be i(110). Do y and f have the same value?
False
Let m = 9139 - 9154.676. Let n = m + -0.324. Which is smaller: -9 or n?
n
Let x = -21 + 75. Let m = -53 + x. Let v be ((42/8)/(-3) + m)/(-6). Is v at most as big as 1?
True
Let f be 2*5 - (-544)/(-56). Let l = -2313 - -48586/21. Let b = l - f. Is 0 less than b?
True
Let f(p) = p. Let t be f(-9). Let l be (-2)/(1 - 3)*176/(-20). Is l less than or equal to t?
False
Suppose 16 = -5*v + 3*b + 53, -2*v + b = -15. Suppose 174 = v*n - 26. Which is smaller: 23 or n?
23
Let a(g) = -3*g + 8. Let f be a(1). Suppose w + f*n = 4, w - 128 = -4*w + 2*n. Is w at least 18?
True
Suppose 4*m = x + 8*m - 16, 5*x - 4*m - 56 = 0. Suppose -j + 156 = x*j. Are 16 and j non-equal?
True
Suppose 0 = 4*c - c - f - 4, -5*c + 4 = f. Suppose t + 5*l + 1 = -3, -5*t + 60 = 5*l. Suppose 2*i + 4*o = -20, 9*o - 4*o + t = 2*i. Is i bigger than c?
False
Suppose g - 471 = -345*w + 346*w, -5*g = -5. Is -468 != w?
True
Let w be (-453)/(-3) + 2 + -33 + 30. Which is smaller: w or 454/3?
w
Suppose -12*l = -7*l - 20. Let i be (-510)/(-40)*l/18. Is i greater than -1?
True
Suppose -309 = 44*x - 41*x. Let q = 100 + x. Which is greater: q or -2?
-2
Let m be 9/12*29 - 3. Let b = 19 - m. Let d(t) = -t**2 + 1. Let c be d(-1). Which is smaller: c or b?
c
Suppose -4*v = v + 10. Let j be 0*(0 + v + 1). Let x be 6 + 2*(-1 + 228/(-56)) + 4. Is x <= j?
True
Let o be (-16)/28 + -1 - 3/7. Let y(c) = 17*c**2 + c - 1. Let h be y(o). Let f = 89 - h. Is f <= 22?
False
Let m be 2*(10/4 - -2). Let u(b) be the first derivative of 2*b**3/3 - 10*b**2 + 10*b + 114. Let f be u(m). Is -7 bigger than f?
True
Suppose r + 2 = 7, 4*p - 22 = -2*r. Suppose -6*j = p*j - 288. Let t = 6 - j. Is -26 bigger than t?
False
Suppose 281*y + 23599 = 143867. Is y <= -0.7?
False
Let h be (-11 - -3)*-1 - (-54)/(-9). Is 0 > h?
False
Let w = -518 + 689. Are -3 and w unequal?
True
Let x be 1 + -2 - (-6 - -1*6522/150). Which is smaller: -38 or x?
x
Let n = -0.58249 + 0.58249. Let q = -7.4 - -1.4. Is n greater than q?
True
Let r = 32.46 + -29.279. Let z = r + -0.181. Is 51 <= z?
False
Suppose 3*i = 4*u - 56, u + 0*u + 3*i - 14 = 0. Suppose 2*g = -y + 19, -4*g + 6 = -g - 3*y. Suppose 0 = g*t - u*t - 574. Is t at most -82?
True
Let t be ((-21)/42)/((-2)/4)*(-1 - -1). Which is smaller: 108/281 or t?
t
Suppose 0 = -3*b + 2*y - 8, -4*y = -5*b - 5*y + 4. Let t be (-51)/3 + b + -3. Let o be 2/4 + (-50)/t. Do o and 14/9 have the same value?
False
Let l be (-1 - -2) + (3 - 2). Let h(w) = -w**3 + 25*w**2 - 13*w - 82. Let u be h(24). Let i be u/(-364) - -7*(-2)/(-4). Is i <= l?
False
Let u be (70/8)/((-4)/16). Suppose 5*z - 7 = -3*k + 5, -k = -z - 4. Let m be (-1 - (1 - k)) + u/25. Is 1 at least as big as m?
True
Let h be -2 + -6 - (-71 - -51). Is 19 != h?
True
Let j be 6/(-16)*1/3. Let r = 701/791 - 84/113. Which is bigger: r or j?
r
Let r be 11/(69685/(-1140)) - 15/(-70)*2. Which is smaller: 0 or r?
0
Let j be ((-8)/(-6))/((-4)/(-30)). Suppose 5*q + 285 = 4*b, 4*b + 5*q - 288 = -13. Suppose b = -20*a + j*a. Which is bigger: a or -3?
-3
Let f = 15.91 - 15.26. Which is smaller: 4 or f?
f
Let h be ((-3)/1 + 1)/2. Let b be (-88)/(-2387)*-108 - (-5 - h). Is 0 greater than or equal to b?
False
Let v(q) = -q**3 + 23*q**2 + 53*q - 1. Let u be v(24). Let p = u - 3476/5. Which is greater: p or 11?
11
Let m be -165*(-50)/(-50)*(-278)/(-6). Is -7645 at most m?
True
Suppose -26058 = -236*v + 363*v - 7008. Which is smaller: 3 or v?
v
Let g = -7.6 - -7. Let w be ((-250)/200)/((-6)/(-15) - (-13)/(-20)). Which is greater: w or g?
w
Let t = -584932/145 - -4034. Which is smaller: -31 or t?
-31
Let u be (-16)/(-12) - 4/(-6). Suppose -645 = -4*t + y, -2*t + 0*t + u*y = -330. Suppose 0 = o + 2*a - 18 + 47, -t = 4*o - 3*a. Which is bigger: o or -38?
o
Let c be ((-15)/(-25) - 0) + 371/(-7685). Let x = -9 - -8.9. Is c less than or equal to x?
False
Suppose -3*k + 0*k = d - 10, -3*k + 5*d - 14 = 0. Let q = k + 8. Let y be -3*1/(-3)*q/(-1). Which is smaller: -7 or y?
y
Let i = 8840 + -8841. Which is smaller: i or -87/115?
i
Let d(r) = 7*r**2 - 730*r - 411. Let b be d(108). Which is greater: b or 2398?
2398
Let s = 11 - 10. Let k(v) = -v**2 - 1. Let a(z) = z**2 - 14*z - 12. Let n(w) = s*a(w) + 2*k(w). Let y be n(-6). Which is greater: y or 35?
35
Suppose -5*u = -2*g + 17, -14 - 2 = -4*g + 4*u. Let z = -5690 + 62587/11. Which is smaller: g or z?
z
Let z(b) = -7*b + 100. Let o be z(14). Suppose 0 = w - 4, o*a = -3*w - w + 20. Let r = -99 + 70. Is r at least a?
False
Let j = -0.0167 + -13.9993. Let z = j + 0.016. Let v = 13 + z. Which is smaller: -4/7 or v?
v
Let k = -177789 + 2144490919/12062. Which is greater: k or 1?
1
Suppose -5*u - 5 = -c - 30, -10 = -7*c - 2*u. Do c and -36/473 have the same value?
False
Let x = 98635937/347106 - -3/57851. Is 284 at least x?
False
Let f = -1653 - -1662. Let d = 8 - 1. Which is greater: f or d?
f
Let c be -3*(16/80 - 2846/14130). Suppose -3*r = 4 - 1. Is r >= c?
False
Suppose -2*l = 4*z - 20, -4*z - 16 = -7*z - 2*l. Let y(x) = x**2 - 11*x - 14. Let i be y(z). Is -41 bigger than i?
True
Let t = -15998 + 15996. Let r be ((-2)/(-244))/((-6)/12). Which is greater: t or r?
r
Suppose -4*c + 2*x = 0, 5*c - 2 = 2*c + x. Let j = -1.41 - 16.99. Let l = -12.4 - j. Is c <= l?
True
Let l be ((-6)/12)/((-1341)/(-27)). Let c = l - -1657/134994. Which is smaller: 1 or c?
c
Let p = 18229 + -20368. Is p less than or equal to -2140?
False
Suppose 3 = -22*p + 531. Suppose -p + 192 = -8*z. Which is smaller: z or -22?
-22
Let b be (-90)/(-12)*(-20)/6*33074/(-46). Does b = 17976?
False
Let m = -18 - -3. Suppose 3*v + 22 + 27 = 2*f, 6 = 3*f. Are v and m nonequal?
False
Let w be (2 - -6)*6/8. Let m(j) = -13*j - 203. Let l be m(-15). Let k be (-8)/(-45)*w/l. Which is smaller: k or 1?
k
Let n = -33.7 + 213.7. Let d = 185 - n. Which is bigger: d or 1/12?
d
Let g = -0.787 - -7.757. Let c = 0.03 + g. Which is smaller: c or 2?
2
Let f = 107 - 63. Suppose -29 = -s - f. Which is smaller: -10 or s?
s
Suppose 3*b = -4*d + 36, -d + 12 = -4*b - 16. Suppose -3*u = 3*j - 33, -5*u + 5 = -4*j - 41. Which is smaller: u or d?
u
Suppose -2*i + 12 = 0, 240*t - 5*i - 268 = 242*t. Is t < -149?
False
Let b = 438 + -495. Let g = -57 - b. Which is smaller: g or -281?
-281
Suppose 2*l = 2*t + 36, -14*l - 46 = -17*l - t. Let w be -3*(5/(-1) + l/3). Is w equal to -400?
False
Let a = 1814 - 1814.0262. Which is bigger: -0.2 or a?
a
Let t = -1582 + 1591. Which is greater: t or 2/45?
t
Let j = -35 - -43. Suppose -5*s = 2*r - 4 - 3, j = 5*r + 3*s. Let t be 0 - (-1 - -2 - (4 - r)). Is 2 < t?
False
Let c(n) = -7*n**2 - 91*n - 179. Let p be c(-2). Let g(i) = 3*i - 7. Let h be g(-6). Is p less than h?
False
Let a = 89.55 - 88.55. Which is smaller: -3.493 or a?
-3.493
Let s be -1*((-5)/2 + (-1300)/8). Let r = -191 + s. Is r != -26?
False
Let c = -8760 + 8809. Is -34 at most c?
True
Suppose -23*z - 13468 = -z - 85936. Which is greater: -1 or z?
z
Let d be (44/(-10))/((7 - -18)/(-375)). Are d and 0.034 unequal?
True
Let c(r) = r**2 + 215*r + 1253. Let a be c(-6). Which is bigger: 14939 