 = 93.3 + -26.9. Let l = w - 66.7. Is l bigger than 1/18?
False
Let i = 5.92 + 0.08. Let j = 312 - 306.01. Let g = j - i. Is g greater than -1?
True
Let q be (-93 + (-21261)/(-228))/((-2)/54). Let t = 8 + -16. Which is smaller: q or t?
t
Let a = 18706 - 19031. Which is smaller: -341 or a?
-341
Let m be ((-4)/48 - 625/(-300))*8/410. Which is bigger: -1 or m?
m
Let j be ((-3)/(-2))/((-12)/(-16)). Let l be 37/j - (-9)/(-3). Which is smaller: -1/3 or l?
-1/3
Suppose 235 = 169*r + 66*r. Is 9/3526 not equal to r?
True
Let a = -105.1 - -115. Let x(s) = 3762*s - 105336. Let d be x(28). Which is smaller: a or d?
d
Let p = 6029 - 6421.9. Let l = p + 438. Let f = l - 45. Which is smaller: 57 or f?
f
Suppose -2*g + 936 = -2*m, -5*g + 15 = 40. Let j = 8044/17 + m. Let l(z) = z**2 + 5*z + 1. Let u be l(-5). Which is greater: j or u?
u
Let z be ((-464)/(-87))/(4/6 - 1). Let n be 33/5 + 2 - z/40. Let v be (3 - 4) + n/12. Is 4 <= v?
False
Suppose 5*z + o = 245, -3*z - 4*o - 33 + 197 = 0. Suppose -3*c + 5*m + z = -0*m, 4*c - 3*m - 75 = 0. Let s be (-470)/(-28) - 6/c. Which is greater: s or 18?
18
Let a = 248.0166 + -0.0166. Let x = -247 + a. Which is bigger: -155 or x?
x
Suppose q - 2 = 0, -v = -0*v + 4*q - 2. Let d be ((-3)/v)/((-2)/8). Suppose p - 3*p + 10 = 0, 0 = -2*r - 5*p + 37. Is d greater than r?
False
Let s = 19329839/1570 + -12312. Which is smaller: -1 or s?
-1
Let s(r) be the second derivative of r**5/20 - r**4 + 5*r**3/6 + 6*r**2 - 5*r. Let t be s(11). Let l = t - -54. Is l at most -2/3?
False
Let b = 14174 - 14182. Is b <= -8/11?
True
Suppose -5470*v + 10584 = -5488*v. Are -583 and v equal?
False
Let i = 6.6 - -1.4. Let x = 51.4 - -7.6. Let z = x - 58.7. Which is smaller: i or z?
z
Let i be 2 + 1 + (-971)/323. Let j = 18 + -19. Which is greater: i or j?
i
Let y = 386.81 - 388. Let j = y - -0.09. Which is bigger: -3 or j?
j
Suppose 111*v + 202 = -908. Let f = -6 - 0. Let h be -12 - (-1)/((-2)/f). Which is smaller: h or v?
v
Let d be 230/(-3685) - 2/(-11). Let s = 340/603 - d. Is 1 smaller than s?
False
Let t = 174 + -165. Suppose -8*x = -t*x + 7. Are x and 23/4 equal?
False
Suppose -3*u = -3*y + 135, -24*y + 26*y - 135 = 3*u. Is -0.13 not equal to u?
True
Suppose 0 = -2*o - 30*l + 28*l + 680, 1333 = 4*o - 5*l. Suppose -87 = 10*b - o. Which is smaller: 5 or b?
5
Let w = -112 - -272. Suppose 3*f = -2*f + w. Suppose 3 = 7*b - f. Is 8 at most b?
False
Let t be 8/(-52)*468/(-35451). Is -1 less than t?
True
Suppose -5 = 4*l - p, -l = p - 5*p + 5. Let w be l/(((-49)/14)/7). Are 13/5 and w equal?
False
Let v(r) = 3*r + 190. Let y be v(-11). Let i = 173 - 172. Which is smaller: i or y?
i
Let i be 1/((-35)/1340) + (-2)/(-7). Let r be (3/2)/(i/4). Which is greater: r or 1?
1
Let q = -26.7 + 21.3. Let v = 4.6 + q. Which is greater: -0.7 or v?
-0.7
Suppose 7 + 221 = 4*t. Let b = 57 - t. Let j be (-12)/(-3) + 50/(-13). Is b at least as big as j?
False
Let y = 60/89 + 4061/445. Let d = y + -11. Are -1 and d equal?
False
Suppose k + 5 = 0, 89*k - 90*k = 5*j - 550. Is 1440/13 <= j?
True
Let k = -10 + 15. Let b = k - 7. Let s = -4182 - -4195. Which is bigger: s or b?
s
Let z(n) = -27*n**2 + 329*n**3 - 12*n**2 - 331*n**3 + 11*n**2 + 33 + 6*n. Let u be z(-14). Which is greater: u or -50?
-50
Let d(g) = -g**3 + 9*g**2 + g + 45. Let z be d(9). Suppose -88 = 65*x - z*x. Let h(k) = -k**3 - k**2 + 2*k + 1. Let t be h(2). Is t greater than x?
True
Suppose 2*r - 17*c + 16*c + 8 = 0, 3*c = 2*r. Let u(d) = 59*d + 108. Let p be u(r). Which is greater: -245 or p?
-245
Let h = -6503 - -6502. Let m = -87/185 - 7/111. Let j = -11/30 - m. Is j greater than or equal to h?
True
Let f be 2/5 + 24/(-10). Let k be (-3 - 3/f)*-2. Let v be k/(0 + 1)*(-8)/116. Is -1 != v?
True
Let x = -2965 + 2787. Is x at least -182?
True
Suppose -5*a = 2*x - 536, 3*x = -2*a - 2*a + 426. Let u be 50/(-525) - (-2291)/21. Which is smaller: u or a?
a
Let t be (-3)/(-3 + 108/40). Let s = 26 - t. Let a be ((-4)/((-32)/(-12)))/((-3)/s). Is a at least 9?
False
Let h = -59 - -62. Suppose -h*j - 5539 = 4001. Let i = -664618/209 - j. Is i <= 0.1?
True
Let w be 3/(-4)*(50/(-15))/10. Suppose -28*i = -23*i + 10. Let v be 4/(-1) - i - (-300)/135. Which is bigger: v or w?
w
Let r = 0.062 - -34.938. Suppose 4*i + 1 = b, -5*b + 8 = -4*b + 3*i. Let v be -8 + b + ((-96)/10)/(-3). Do v and r have different values?
True
Let g = -416242746/3089 + 134750. Which is greater: g or 1?
1
Suppose 4*r - 10 = 2. Let t(f) = -2*f + 2. Let k be t(r). Let m = -251/80 + -1/16. Is k not equal to m?
True
Suppose 0 = 4*p - 5 - 7. Is 69/17 equal to p?
False
Suppose -137776 = 105*q + 4*q. Is q less than -1263?
True
Let i = 26268 - 8557. Is 17712 smaller than i?
False
Let h = 3.3 + -3.5. Let y = 147 - 305. Let d = y + 187. Which is smaller: d or h?
h
Let r = 5341 + -3170. Is 2171 < r?
False
Suppose 40040 + 18767 = 51*v - 17285. Is v smaller than 1492?
False
Let i be ((-4)/14)/((-36)/12180). Let s be ((-294)/(-9))/(24/72). Is i greater than s?
False
Let a = 116 + -118. Let g be (-61)/244 - a/8. Is 3/43 < g?
False
Let r = 435441383/5652 + -77042. Which is smaller: r or -1?
-1
Let c(p) = p**3 + 22*p**2 - 25*p - 46. Suppose o - 14 = -4*l - 57, -4*o - l - 97 = 0. Let q be c(o). Is -1/93 at most as big as q?
True
Suppose 423*v - 422*v + 672 = 0. Let p be ((-64)/v)/(4/(-18)). Which is smaller: p or 1/3?
p
Suppose -3*l + 28 = 1. Let h(c) = -c**3 + 8*c**2 + c - 48. Let b be h(7). Suppose b*d - l = -1. Which is bigger: 1/25 or d?
d
Let f(a) = -117*a**2 - 203*a + 56. Let u be f(-10). Which is bigger: u or -9616?
u
Let o(x) = x - 1. Let g(q) = 3*q - 7. Let f(y) = g(y) - 2*o(y). Let j be f(3). Which is bigger: 3.12 or j?
3.12
Let g(y) = y**2 - 13. Let k be (-92)/(-10) + (-4)/20. Suppose 3*w + 3 + k = 0. Let n be g(w). Which is bigger: n or -1?
n
Let b = 19 - 35. Let k = 16238 + -48764/3. Which is greater: k or b?
b
Let y(v) = 3*v**3 + 3*v**2 + 11*v + 23. Let f be y(-5). Let x = f + 6971/21. Is 0 less than x?
False
Suppose 84669 = 87*p + 82*p. Which is bigger: p or 502?
502
Let q = 0.2448974 - 848.2266974. Let s = 848 + q. Are s and -1 equal?
False
Suppose -3*x - 2 = -4*x. Suppose -k + x = 3. Let q = 5531/5 + -199111/180. Is k greater than q?
False
Let y(a) = -14*a - 24. Let r be y(-2). Suppose h = x - r, 2*h = -x - 2*h - 21. Let g be 2/(1 - 284/(-2)). Is g greater than x?
True
Let k(c) = 2*c + 6. Let x be k(-2). Let l be -2 - x/((-10)/15). Let i be 875/1001 + 2*(-1)/11. Which is bigger: i or l?
l
Let i = 486956/24123 + -10/2193. Let h be ((0/(-13))/13)/2 + (-19 - 1). Let t = h + i. Which is smaller: t or 3/11?
t
Let d(p) = 11*p - 115. Let a be d(8). Suppose g + 15 = 3*t - 17, -2*g - 60 = -2*t. Which is greater: a or g?
a
Let w = -18 - -226. Let m be ((-50)/15)/(w/24). Is -1 smaller than m?
True
Let p = -1467 + 1499. Let r be 7/((-3)/30*-2). Let b = r - p. Do 4 and b have the same value?
False
Suppose 0 = -2*b + 8, 6*k + 29 = 5*k - 4*b. Let a = k - -83. Is 38 at least a?
True
Let b be ((-45839)/165 - 834/(-1529)) + 6/10. Is -277 at most b?
True
Let p = 8812 - 8811.9. Is p equal to -8794?
False
Let m = 1998 - 1646. Which is greater: 2458/7 or m?
m
Let j(t) = 31*t - 42. Let i be j(6). Let y be (-16)/(((-12)/i)/(4/6)). Which is greater: y or 129?
129
Suppose 0 = -4*c + 4*x - 384 - 216, c - 5*x + 170 = 0. Let p be (-207)/(-2)*(-42)/(-30) - (12 + -12). Let u = p + c. Is u less than 2/9?
True
Let l = -131 + 129.512. Let r = 0.188 + l. Which is greater: -7 or r?
r
Let j(k) = -k**3 - 16*k**2 + 14*k - 52. Let y be j(-17). Which is smaller: 15/539 or y?
y
Let f be ((-96)/(-60))/((-21828)/30). Is -1 greater than f?
False
Let j = 42 - 43. Let v = -222473/11 + 20034. Let g = v - -191. Are j and g equal?
False
Let i = -38 + 8. Let q = i + 33. Suppose -5*z + q*s + 95 = -0*z, 5*z = 5*s + 95. Which is smaller: 18 or z?
18
Suppose 4*n - 9*n + 19 = 14*n. Which is bigger: 54/37 or n?
54/37
Let o(c) = -c + 5. Let d be o(-4). Suppose 5*a + 1 + d = 0. Let z(m) = 6*m + 30. Let q be z(-5). Is q >= a?
True
Let t be (-8)/(-36) + (-238)/(-144). Let n = -123 - -124. Let i be (4 + (-8)/2 - n)*-3. Is t smaller than i?
True
Let q(y) = -y**3 - 3*y**2 - y - 1. Let d be q(-3). Let u(l) = -6*l + 135. Let b(p) = 4*p - 85. Let v(f) = 8*b(f) + 5*u(f). Let i be v(d). Is i > 5/18?
False
Let f(o) =