 + 3*q - 20. Is -16 <= a?
True
Let u(s) = -117*s + 698. Let x be u(6). Which is greater: 94 or x?
94
Suppose 0 = 15*y - 13*y. Let p be -1 - (-2 - (0 - 3)). Let s be p + 3 - 2/(-10). Which is smaller: y or s?
y
Let x = 22.4 + -15.4. Which is greater: 10 or x?
10
Let h be 37738/(-7) - 1*-2. Let c = h - -5370. Let r = 1488/77 + c. Which is smaller: r or 1?
r
Let a = 577 + -656. Is -233/3 at least a?
True
Let n(w) = w**2 + 8*w - 2. Let d be n(-8). Is -1.1 bigger than d?
True
Let l be (-6 + 4 - 32)/2. Let h = l + 40. Let n = h - 21. Which is smaller: 8/3 or n?
n
Let p be 340/16 + (-133)/(-76). Is p < 14?
False
Suppose 72 = -0*i + 9*i. Suppose -12*w = -i*w. Is 0 > w?
False
Let h = -254.6 - -251.5. Is -1/11 less than h?
False
Let q = 0.9 - -0.1. Let j(h) = -2*h**2 + 39*h - 15. Let r be j(19). Is q at least r?
False
Let h(m) = m**2 + 10*m - 7. Let g be h(8). Do g and 134 have the same value?
False
Suppose 56*d - 22 = 78*d. Which is greater: d or -39/2?
d
Suppose -2*p - 8 = 5*r, 4*p = 3*p - 2*r - 3. Suppose 0 = -10*u + 11*u + p. Let y = -11 - -11.7. Do u and y have the same value?
False
Let m be 5*(-12)/(-280)*544/72. Is 3 less than or equal to m?
False
Let q = -87.4 + 88. Is -10/7 equal to q?
False
Let i(o) = o**3 + 27*o**2 + 24*o - 55. Let z be i(-26). Do z and 7 have the same value?
False
Suppose -4*m + 32 = -8. Let i be (-4)/m - 4/(-10). Let d = 317/2 - 159. Does i = d?
False
Suppose -196*v - 19*v - 6410 - 470 = 0. Let j = -0.1 - -1.1. Is v greater than j?
False
Suppose -i - 684 = -7*i. Let u be (0 + -3)*(6 + -3). Let h be 12/(-9)*u/i. Is h < 1?
True
Let p(t) = -t**3 - 4*t**2 - t - 2. Let d be p(-4). Suppose -2*f + 3*f + d = 0. Let r = 0 - f. Which is smaller: r or -7/2?
-7/2
Suppose o = -6*o + 70. Is o greater than or equal to 20?
False
Let q = 34 + -15. Let b = q - 17. Let v be (12/52)/(3/2). Which is bigger: b or v?
b
Let k be 1 + (-572)/(-517) + (-2)/1. Is -1 equal to k?
False
Suppose 20 = 5*o - 5*u, o + 522*u - 519*u = -8. Let s = 54800/53 - 1034. Which is smaller: s or o?
s
Let v = 27 - 22. Suppose 5 = v*h - 10*h. Which is smaller: h or -1/9?
h
Let j be 478 + 8 - -1*2. Let d be j/32 - (-1)/(-4). Let l be (-5)/d + (-28)/(-3). Which is greater: 23/3 or l?
l
Suppose -4*z + 16 = 0, -3*s + 22*z = 20*z + 317. Is s <= -98?
True
Let h be 83/(-5) + (-4)/10. Let m be (-32)/h - (-3 - -5). Suppose 0 = -5*x + 2*u - 5*u - 10, -20 = 4*u. Which is smaller: m or x?
m
Suppose 5*p - 6 = -4*n, n = -2*n + 3*p + 18. Let z be 2*(0 - 2/n). Let d be (((-70)/425)/(-7) - 0)*5. Are z and d nonequal?
True
Let f = -985 + 815. Is f at least as big as -170?
True
Let g(x) = x**2 - 3*x + 7. Let l be g(3). Suppose -60 = -2*v + l*v. Is -12 at most as big as v?
True
Let f = 111441/14 + -7954. Which is smaller: f or 5?
5
Suppose -2*o + s + 28 = -3*s, -4*s = 5*o. Suppose o*j = -19 - 53. Let n be j/63 - 33/7. Which is smaller: n or -4?
n
Suppose -2*g - r = 4*r + 5, -4*g - 4*r = -8. Suppose -g*x + x - 3*i = -17, -x - 1 = -i. Let a be x/5 + -3 + 3. Which is smaller: a or 3/10?
3/10
Let d(l) = -l**2 - 8*l - 5. Let a be d(-6). Suppose -5*i + 30 = 4*t, 4*i - 58 = -t - 67. Which is bigger: t or a?
t
Suppose 3*f + 230 = -2*f. Let l = -66 - f. Which is bigger: -37/2 or l?
-37/2
Let p = -29.6 + 3.4. Let o = -26 - p. Is -2 less than o?
True
Suppose 2*q + 62 = z + 3*z, 50 = 3*z + 2*q. Suppose -4*c - z = 0, -2*c + 4 = 3*k - 48. Are 21 and k equal?
False
Let t = 832 - 804. Let r = -34 + 8. Let l = r + t. Which is bigger: l or -0.3?
l
Let j = 684 + -697. Suppose 41 = -6*w + 2*w + 5*r, 4*w + 5*r = -71. Do w and j have the same value?
False
Let v = 279.9202 + 0.0798. Which is bigger: v or 0?
v
Suppose 32*o - 14 = 18. Is -11/52 < o?
True
Let a be (-4)/10 - (-54)/(-15). Let m be (a/12)/((-4)/(-12)). Suppose 3*w + 2 = 2*w. Is m smaller than w?
False
Let n = -0.749 - -0.7358. Is n bigger than 1?
False
Let f(c) = 34*c + 161. Let o be f(-7). Is -82 at most as big as o?
True
Let s be 3/(-56)*4*(-20)/6. Is 0.06 > s?
False
Suppose -5*z = 6 - 1. Let q = 1115 - 44597/40. Let b = q + -79/520. Which is smaller: b or z?
z
Suppose 24*k - 1086 - 1338 = 0. Do 103 and k have the same value?
False
Let w be 1 - (1 + -2 + (-246)/(-138)). Which is greater: w or 0?
w
Let h be (8/6)/((64/30)/8). Suppose 3*n - 5*x = 1 - 6, 4*n = h*x - 15. Which is smaller: -11 or n?
-11
Let r = 1393 + -1393.5. Do r and -0.016 have the same value?
False
Let z(n) be the third derivative of -n**6/120 + n**5/12 + n**4/4 + n**3/2 + 8*n**2. Suppose -2*u + 0 = -12. Let m be z(u). Do 3 and m have different values?
False
Let v = 47/95 + 2/19. Let c = 6.09 - 0.09. Let x = 7 - c. Is v >= x?
False
Suppose 5*j - 36 = -4*q, -3*q + j + 4 = -q. Suppose q*y + 26 = 2*g, -g + 12 = -0*y - 3*y. Which is smaller: 31/2 or g?
g
Suppose -4*c + 294 = -7*c. Are -98 and c non-equal?
False
Let g = -124 - -129. Suppose -24 - 6 = 2*i + g*p, 3*i + 2*p = -23. Is -21/5 greater than or equal to i?
True
Let w be (-18)/(-2) + (-1908)/106. Let n(t) = -t**2 - 5*t - 1. Let v be n(-6). Is v less than w?
False
Suppose 39 = -4*z + 15. Suppose 3*x - 2 = 4*r + 6, 8 = -4*r - 4*x. Let f be (-39)/65*r/(-3). Which is smaller: f or z?
z
Let r be (102/(-9))/(-2 + 20/9). Let m be (r/3)/(1 - (-4)/(-3)). Which is smaller: m or 52?
m
Suppose -4*v + 4*s - 11 + 59 = 0, v = -2*s + 12. Let l(g) = 2*g**2 - 2*g**2 - g**2 + 15*g - 10 - 8. Let d be l(v). Is d >= 18?
True
Let i be ((-3829)/(-126))/(3/(-9)). Let z = -271/3 - i. Which is smaller: 2 or z?
z
Suppose -3*q = 9, q = -c - 0*q - 9. Let i be -1 + -1 + (0 - c). Let a be i + 27/(-7) + 3. Which is bigger: 4 or a?
4
Let s = -51944 + 570448/11. Let d = 85 + s. Let a = 4 - 3. Is d smaller than a?
True
Let d(s) = -s**3 - 8*s**2 + 8*s. Let a be d(-9). Suppose -6*g - a = -3*g. Is g greater than -1?
False
Suppose -2034 = -20*w + 4106. Which is smaller: w or 1227/4?
1227/4
Suppose -31*v = -t - 25*v + 25, 3*v = 4*t + 5. Let u = 453373/93165 - -2/6211. Let n = -26/5 + u. Is n greater than t?
True
Let j = -1671 - -1742. Which is greater: 73 or j?
73
Let l = 8 + -13. Let r be (-4)/l - (-2760)/(-700). Is r > -3?
False
Let a = 9 + -13. Let c be (-274)/18 + a/(-18). Which is smaller: -16 or c?
-16
Let w = -620 - -615. Are w and -4 unequal?
True
Let b be (8/((-8160)/115))/((-2)/8). Which is smaller: b or 1?
b
Let z be (2323/30)/((168/243)/(-7)). Let f = z + 784. Which is bigger: f or -1?
f
Let w be (-14)/(-21) + 11/(-12). Let k = 238 - 254. Which is greater: k or w?
w
Let m = 5949 - 35867/6. Let v = m + 29. Does v = -0.05?
False
Let l be (48/(-2))/(6/(-33)). Is 130 less than l?
True
Let h = -17 + 17.08. Let b = h - 0.18. Let q = 0.03 - -0.05. Are b and q non-equal?
True
Let y = 417 + -159. Which is smaller: 259 or y?
y
Let d = 7457/5880 - 51/40. Let b = 15 - 15. Which is smaller: b or d?
d
Let a be (50 - (-3 + 6))*4/(-132). Let z = 12/11 + a. Is -5.7 >= z?
False
Let b = -2.083 + 3.164. Let j = b - 0.081. Which is greater: j or 42?
42
Suppose c + 2*c = u + 32, -4*u + 4*c = 152. Let k be -187 + 139 - (33/(-3) + 2). Is k less than u?
False
Let m be (-1778)/24 - (1 + (-20)/16). Let b = -74 - m. Is b equal to -10?
False
Let s be 8/(-7)*(-52)/16. Let l be ((-2)/(-3))/((-28)/(-126)). Which is greater: s or l?
s
Let s be (12/(-1503))/(76/(-342)). Which is greater: 1 or s?
1
Let a be (-3)/(-5) - (-322)/(-70). Let r(o) = 5*o + 1. Let t(f) = 5*f + 1. Let y(c) = 5*r(c) - 4*t(c). Let w be y(-1). Is a < w?
False
Suppose -13*o + 858 = 2574. Is -130 less than or equal to o?
False
Let x = -389 - -390. Which is greater: 3/7 or x?
x
Let m = -398 - -471. Which is bigger: m or 77?
77
Suppose 2*n = -3*x, 0*n + n + 2*x = 0. Let y = n + 3. Let d(l) = -l**3 + 4*l**2 - 4*l - 1. Let f be d(y). Which is smaller: f or -6?
-6
Let w = 0.023 - 0.073. Let h = -1.05 - w. Is 2/49 <= h?
False
Let q be (-2)/(-3)*54/18. Let y be (q + -7 - -4)/(-1). Is y greater than 2?
False
Suppose 0 = 4*b + 5 - 25, 0 = 2*z - b + 97. Let u be 2336/18 + z/(-207). Let w be (-20)/u*(-6)/4. Which is greater: 0 or w?
w
Let x(n) = -14*n + 9*n**2 - 2*n**2 + 3 - 5*n**2 + 4. Let c be x(8). Is 21 at least as big as c?
False
Suppose 765 = 4*n - 3*k, 2*n + 3*k = -k + 388. Suppose -2*q = 139 + 69. Let t be -3 + 1 - n/q. Which is greater: t or -1?
t
Let d be 1 + 10/78 + 2. Let s = -7/13 - d. Suppose 10 = 5*t, 0 = 3*v + t + 1