2 + 12*i - 6. Let o be s(11). Suppose 7 - 22 = -o*a. Let n(j) = j**3 + 7*j**2 + 5*j - 6. Let b be n(-6). Is b <= a?
True
Let l be -6 + 36/4 - (-368 + 7). Is 362 < l?
True
Let c = -17.4 + 166.4. Let s = c - 148. Which is smaller: 32 or s?
s
Let j = 16 - 6. Let u = -65 + 53. Let h = j + u. Is h < -0.1?
True
Let n be ((-2)/(-12))/((-5060)/3468 - -2). Let m = 3/134 - n. Are 1 and m nonequal?
True
Let n = -8 - -8.5. Let c = 11 - 14. Let z = -4 - c. Is z at most n?
True
Let l be 1368/114 - 5965/497. Which is smaller: 1 or l?
l
Let w = 510/7 - 81607/1120. Is -1 > w?
False
Let c(n) = 10 + 19*n - 10*n**2 - 9 - 17*n. Let w be c(-1). Is w > -13?
True
Let p be (-30)/(-4)*(-8)/(-10). Let a = 45 - 18. Suppose 15 = 5*s, d + a = 4*d + 2*s. Which is bigger: d or p?
d
Let s = -302 - -908/3. Let c(h) = -h**3 + 3*h**2 + 2*h - 4. Let u be c(3). Suppose j - 3 = -u. Is j smaller than s?
False
Let c = 503 + -440. Is 64 equal to c?
False
Let u(d) = d - 1. Let k be u(7). Suppose -3*l + k*l + 5*j = -43, -4*l - 14 = -2*j. Let v = -3.6 + 1.6. Which is smaller: l or v?
l
Let w = -2.06 + 2. Let t = w + -0.08. Let m = 0.07 - 0.17. Is m less than t?
False
Let i = 8 + -10. Let m be (-12)/(-6 - i) + (5 - 3). Let p(z) = z**3 - z + 4. Let l be p(0). Are m and l unequal?
True
Suppose 4*l = -5*g - 33, 5*l + 21 = 2*l - 3*g. Let r be (2 - 0)/(6/15)*(-12)/10. Which is greater: l or r?
l
Let r = -109 - -111. Let d be 1/1*(2 + (-3 - r)). Do d and -2 have the same value?
False
Suppose 2*i = 3*a - 11, 3*a = -0*a - i + 8. Suppose 2*h = -a*l - 194 - 394, -999 = 5*l - 3*h. Let k be (-3)/(-6) + 95/l. Which is bigger: 0.1 or k?
0.1
Suppose 1614 = -36*y - 1590. Does y = -94?
False
Let v be (-6)/(-45)*(-9 + (-107)/(-13)). Which is smaller: 1 or v?
v
Let f = 662 - 659. Let g be 1/(-4)*(-1)/(-2). Which is smaller: f or g?
g
Suppose 5*i + 2*v + 14 = 0, -5*i + 0*v = -5*v. Let u be 0 - (i + -1)*(-2)/6. Let h be 2/(-8) + (-62)/(-152). Which is smaller: h or u?
u
Let k = 193/7 - 6067/217. Is k greater than or equal to -2?
True
Suppose 7*o - 180 = 3*o. Suppose -8*z = -5*z + o. Is -13 not equal to z?
True
Let u = -35938/297 + -3775/27. Let n be (6/1)/((-10)/(-435)). Let g = u + n. Is g < -0.2?
False
Let r = 835.03 + -835. Is 0.07 smaller than r?
False
Let h be 1394/234 - (3 - 2). Let k be ((-93)/81 + 2)/((-4)/(-24)). Let l = k - h. Which is bigger: -2 or l?
l
Let v = 27 + -80/3. Let s(d) = -2*d - 18. Let q be s(-9). Do q and v have the same value?
False
Let m(p) = p + 19. Let u be m(-15). Suppose -u*t + t = 9. Is t at least 1?
False
Let j be 14/(-4)*(7 - (-4805)/(-685)). Let r = -538/2877 - j. Is r smaller than 0.1?
True
Let f = 9 + -7. Suppose 7*i - 3*i - 20 = 0. Suppose -f*s + i*s = -45. Is -15 at most as big as s?
True
Let x be 3/(-2)*(16 - 10). Let o(z) = z**2 + 10*z - 12. Let i be o(x). Let r = i + 13. Are r and -8 equal?
True
Let y = 74 - 62. Suppose -y*s = -11*s - 2. Which is greater: 44 or s?
44
Let j be (1 + 4 - (-348)/(-69))*-2. Which is smaller: -3 or j?
-3
Let f = -16 - -19. Let q(a) = a**2 - 3*a - 1. Let p be q(f). Let g be 3/p + -4 + 3. Is -6 <= g?
True
Let q be (-2 + -1)*264910/(-40). Let s = q - 13907503/700. Let l = s + 2/175. Is l >= -0.3?
True
Let q(l) = l + 7. Let r = 87 + -55. Suppose 0 = -2*d - 2*d - r. Let n be q(d). Do -7/6 and n have the same value?
False
Let w = -16/11 + 97/44. Suppose 0 = j - 8*j + 35. Suppose -9 = -4*k - 4*f - f, -j*f = -5. Is k at most w?
False
Let f be 4 - 8/1 - -3. Let y = -60 + 34. Let u = 18 + y. Do f and u have the same value?
False
Let c = -2.1 + 2.8. Let v = -2.74 - 0.26. Which is smaller: v or c?
v
Let u be (-7 + 276/36)*27/(-6). Is -2/667 > u?
True
Suppose l + 3 = 4. Suppose 5*x + 2 = -3*k + l, 5*k + 14 = 4*x. Let d be (-18)/4 + (-36)/24. Which is bigger: k or d?
k
Let u = 45/4 - 941/84. Let s(m) = 2*m**2 - 25*m - 74. Let x be s(15). Is x equal to u?
False
Suppose -5*u = 4*h - 1 - 14, -u = 3*h - 14. Suppose 5 = -6*q + h*q + w, 4*q + 5*w - 25 = 0. Which is bigger: 3/8 or q?
3/8
Let g be 2 + 7/((-189)/30). Let r = -4402/11 - -400. Is g at most as big as r?
False
Suppose -4*m = 1 - 5. Let y be (-2 + m)*5/15. Are y and 0.07 equal?
False
Let o = 7 - 6. Suppose 0 = 2*x - 5*h - o - 8, 3*x = h + 7. Let s be ((-1)/x)/(5/10). Is s at most as big as -20?
False
Let v = 3 - 0. Let n be (v - 306/(-8))/(2 - -1). Which is bigger: n or 14?
14
Suppose 5*h - 3*h = -2*q - 908, -4 = q. Let r be (h/(-36))/(2/(-4)). Is r greater than -25?
False
Suppose 0 = 8*u - 7*u + 4. Let s be 0/(u - -2) + -2. Let x be 30/22 - (1 + 0). Which is greater: x or s?
x
Suppose -3 = 4*q - 7. Let f = -13177/18 - -732. Is q greater than or equal to f?
True
Suppose 9*o = 4*o. Which is greater: -2/175 or o?
o
Let s(b) be the first derivative of -2*b**3/3 - 7*b**2/2 - 8*b - 1. Suppose -2 - 22 = 5*z - 4*d, 0 = 5*z - 3*d + 23. Let j be s(z). Are j and -12 unequal?
False
Let h(i) = -i**3 - 57*i**2 - 50*i + 399. Let m be h(-56). Which is bigger: 73 or m?
73
Suppose -2*b - 42 - 6 = 0. Let m = -102 + 144. Suppose 0 = -5*c - 78 - m. Does c = b?
True
Let h = -2 + 2. Let r = 24 - 21. Let t be (-4)/(-8)*(r - -1). Which is bigger: t or h?
t
Suppose 4*g + 0*g + 230 = 2*x, g = -4*x - 44. Which is bigger: -57 or g?
g
Let p be (-15)/9 - (-1)/(-3). Let c be p*1/4*2. Let d = 6 - c. Is 6 not equal to d?
True
Let w be -9 + (-17754)/(-3553) + 4. Is 1 greater than or equal to w?
True
Suppose -3*t + 7 - 19 = 0, 5*h = 3*t + 7. Suppose 2690 = -6*k - 10042. Let y = k - -163392/77. Are y and h nonequal?
True
Suppose k - 8 = h, -k - 32 = -2*k - 5*h. Let z be k/24*(1/3 + -1). Suppose 5*j + n = -3, -4*j = 4*n - 3 - 1. Is z > j?
True
Suppose -3*a - 36 = -2*a. Let q be 2/(-8) + 103/a. Let r = -12 + 10. Which is smaller: q or r?
q
Suppose 6*f - 462 - 48 = 0. Is f > 84?
True
Let p(b) = -5*b + 46. Let l be p(21). Is -54 less than or equal to l?
False
Let j(o) = -o - 3. Let x be j(9). Let w be 3/6*(-8)/x. Let k = -6 - -1. Which is bigger: k or w?
w
Let z = -598 + 660. Which is greater: z or 57?
z
Let t be (220/15)/(2/3). Let h be (-4)/((-16)/12) - t. Which is smaller: h or -17?
h
Let j be (-2)/7 + 60/(-7). Let v = 359/35 + j. Which is bigger: 0 or v?
v
Suppose -2*m - 4*j = -1204, -m = -5*m + 5*j + 2473. Which is greater: m or 613?
613
Let d(q) = 3 - 2*q - 4 + 13. Suppose 10 = -2*i - 0*i, 4*i + 11 = -f. Let g be d(f). Which is smaller: g or -7?
-7
Let o = 30 + -26. Let b be ((-2)/(-150))/(o/36). Which is smaller: 0 or b?
0
Let p be ((-304)/(-528))/((-8)/3). Are -1 and p equal?
False
Let k(n) be the first derivative of n**3/3 + 2*n**2 + 2*n + 2. Let p be k(-4). Suppose 4*t = -3*c - c + 32, 0 = p*c - 5*t + 12. Are 3 and c equal?
False
Let k = -73.4 + 72.4. Which is greater: k or 57?
57
Let x = 186 + -739/4. Which is greater: x or -2.9?
x
Let u = -2.4 + 1.5. Let w = u - -0.8. Suppose 1 = -k - 4. Are w and k equal?
False
Let h = 7 + -7.176. Let f = h + -0.104. Is 0.3 bigger than f?
True
Let l(a) = 2*a**2 - 23*a + 48. Let g be l(9). Which is bigger: g or 27/11?
g
Let t = 1969 + -1968. Is 4/387 > t?
False
Let y = -247603996 + 2254434370241/9105. Let o = y - 1/607. Which is greater: -2 or o?
o
Let v(t) = -t**2 + 7*t - 10. Suppose -w + 0 + 5 = -n, 4*n = 0. Let z be v(w). Let f be 104/(-63) - 4/(-18). Is z less than f?
False
Let x = -142/5 + 291/10. Which is smaller: x or -2?
-2
Let z = -4.0758 + 0.0858. Let h = -3.8 - z. Let r = -0.41 - h. Which is bigger: 0.1 or r?
0.1
Let a(w) = w**3 + 3*w**2 - w - 4. Let m be a(-3). Let q be ((-7)/42)/((-1)/(-9)). Which is greater: m or q?
m
Let d = -645423/214 + 3016. Which is smaller: 0 or d?
0
Suppose 69 = -3*x + 69. Suppose -8 + 2 = 2*h. Let f be h - (2 - (-141)/(-27)). Which is smaller: f or x?
x
Let b = -253.1 + 253. Which is smaller: b or 98?
b
Let l = 4430/43 - 103. Let t = l - 47/172. Which is smaller: -0.7 or t?
-0.7
Let z = 0.92 + -1.53. Let p = 65.39 - z. Which is bigger: -0.1 or p?
p
Suppose -4*l + 38 + 22 = 4*o, 2*o + 40 = 5*l. Is l less than or equal to 114/11?
True
Let g = -3482 - -222855/64. Which is greater: 1 or g?
1
Let v be -12 + (-344)/(-28) + 232/(-1302). Are -1 and v nonequal?
True
Suppose -38*y + 2*y = 0. Is y at least -2/65?
True
Suppose -v - 12 = d, 60 = -4*d - 0*v - v. Let c = 221 + -229. Let a = c - d. Is a at least 8?
True
Let n be 160/14 - 220/(-385). Let t = 115/428 - 