8*b + 12 = 4. Let v be (2/4 - 220/40) + b. Which is smaller: -15 or v?
-15
Let a = 12.28 - -510.72. Let w = a + -313. Is w smaller than 2/7?
False
Suppose 0 = 5*q + 9*f - 12*f - 7, -23 = 3*q + 5*f. Let p be ((-672)/(-4537) + (-14)/91)/q. Are p and 1 equal?
False
Let b = -14.98 - 635.02. Let k = b + 688.013. Let d = k - 38. Are 0.1 and d unequal?
True
Suppose 0 = 4*i + 3*i - 504. Suppose 4*u - i = -b - 5, -b - 5*u = -72. Let l = -86 + 133. Is b >= l?
True
Let r = 5.888 + -3.248. Which is bigger: r or -3?
r
Let u = -9.4 + 9.5. Let n = -0.2 + 24.8. Which is greater: u or n?
n
Let b(d) = 243*d - 4594. Let i be b(21). Is 511 at least as big as i?
True
Let r = -191445/812 - 441/116. Does r = -241?
False
Suppose 3*a - 12 = -3*f, 0 = -f + 11*a - 15*a + 16. Which is bigger: -2/1873 or f?
f
Suppose -4*l + 30 = -5*l. Let t = l - -23. Let n be (1/(-1)*-1)/t*13. Are n and 0 nonequal?
True
Let w be -110*((-47)/5 - -9). Suppose -w - 221 = -5*z. Which is bigger: z or 52?
z
Let w = -4.15 + -558.85. Let k = w - -563.1. Does k = -5/6?
False
Let q = -50 + 64. Suppose -q*f - 102 = 444. Let y be (f/(-455))/((-7)/(-5)). Are y and -1 nonequal?
True
Let b be (1 - 6 - -13)*2*(-153)/(-684). Is 3 > b?
False
Let j be 1*15/12 - 257040/576. Are j and -0.2 equal?
False
Let f = 198.8523 + 2.1477. Is f >= 0.7?
True
Let s = -1875889/233 - -8051. Is s greater than 0.04?
False
Let l be 3*(-68)/(-20) - 0. Let c = 107/10 - l. Let q = 18 + -16. Which is smaller: q or c?
c
Let u be (-2 + (-20517574)/(-8))/(3276/3378). Let x = 2644547 - u. Let z = x + 3/364. Which is greater: z or -2?
z
Let c = -5279 + 1261683/239. Which is greater: c or -0.07?
c
Suppose 5*s = 8*a - 981, 5*s - 70*a = -65*a - 1005. Which is smaller: -97 or s?
s
Let d be (-376)/94 - (4441 - 0). Is -4444 less than d?
False
Let x = 291 - 291. Suppose 2*t + s + 165 = 6*s, -5*t = 4*s + 363. Let q be (-40)/6*10/t. Which is bigger: x or q?
q
Let i = -613 - -614. Is -2/9321 at least as big as i?
False
Let w(f) = -f + 57. Suppose 0 = 5*m - 5*r - 75, 4*r = -4*m + 80 + 12. Let h be w(m). Which is smaller: h or 40?
h
Suppose -155 = -5*y + 5*k, -98 = -4*y - k + 11. Let l be 4*((-28)/(-49) - 149/y). Let a = l + 12. Is a equal to -6?
False
Let d = -0.03 - 0.036. Let f = 0.079 + d. Let x = f + -28.013. Which is bigger: x or -0.1?
-0.1
Let r = -1.02 - -0.02. Suppose 5*c = -5*g + 316 - 61, 203 = 4*c + 5*g. Which is smaller: c or r?
r
Let d = -0.0468 - -0.0888. Let i = -0.042 + d. Is i greater than or equal to 0.1?
False
Let h(l) = l**3 - 4*l**2 - 5*l + 3. Let u be h(5). Let j be (-3)/u + (-4)/12*3. Let q be (1 - j)/((198/24)/(-11)). Which is smaller: q or 4?
q
Let k = 164.786 + -165. Let x = k + 0.305. Let h = 0.491 - x. Which is greater: 1 or h?
1
Let q be 8/12 - 5/3. Let x = 303 - 333. Let w be (6/x)/(6/15). Which is greater: q or w?
w
Let o = 21 + -29.82. Let i = 2.18 - o. Which is smaller: -2/3 or i?
-2/3
Let g = 3288.94 + -3253. Let f = g - 36. Let p = -17.4 - -17.4. Which is smaller: p or f?
f
Let h be (-30)/(-285) - 42/38. Let q(f) = 50*f + 46. Let j be q(h). Is j bigger than -1?
False
Let a(v) = -v**3 + 3*v**2 + 24*v - 19. Let h be a(6). Suppose 5*r = 52 + 103. Let k = -12 + r. Which is bigger: h or k?
k
Let s be 2 + (-78)/8 + 6. Let r be (-15)/35 + 11/(-7). Which is bigger: s or r?
s
Let h = 583 - 822. Let f = 262 + h. Which is greater: 0.3 or f?
f
Let k = -477 + 329. Let f = k + 152. Which is smaller: f or -1/3?
-1/3
Let h be 4/((72/(-76))/(-9)). Let x = 576 - h. Which is smaller: 0 or x?
0
Let a = 4.6 - 68.6. Let v = 26 + 21. Let i = a + v. Which is smaller: i or 1?
i
Let d be (-5)/(-25) + (-39)/(-105) + (-5038)/(-77). Which is smaller: 34 or d?
34
Let p be -135006*5/(-675) + 7. Let q = p - 1007. Which is bigger: q or -2?
q
Let n = -4990 + 5001. Let l = -257 + 1549/6. Is n less than or equal to l?
False
Let z = 2879 + -2347. Which is smaller: 0.2 or z?
0.2
Suppose 21*f + 204 = 22*f. Let c be (-6)/f*-172 - 5. Is -0.2 bigger than c?
False
Let x be 1257/838 + ((-6)/(-44))/(3/236). Which is smaller: 0 or x?
0
Let o = -11859/4 + 207627/68. Is o less than 88?
False
Let z be ((-4)/(-10326))/(86/12 - 7). Which is smaller: -1 or z?
-1
Suppose 0 = -i - 4*k + 7, 0*k - 35 = -5*i + 4*k. Let z(s) be the first derivative of -2*s**2 - 6*s - 1. Let u be z(i). Is u less than or equal to -0.1?
True
Let m = -54 - 419. Let z be (-104)/m + 198/(-363). Are 2/5 and z equal?
False
Let a(i) = -i + 5. Let x be a(-16). Suppose x - 66 = -3*k. Suppose -z - 4*z = k. Is z greater than 3?
False
Let q = 5732 - 5732. Let i = -355356730/63 - -5640277. Let r = i + 306. Is q less than r?
False
Let i = -17759 + 14231. Are -3525 and i unequal?
True
Let y = 957.5 + -1245. Let l = y + 283. Does l = 3?
False
Let i be (-5*1)/1 - (0 + 2). Let m(h) = 0*h - 6 - 30*h + 27*h. Let l be m(i). Is l at most as big as 11?
False
Let i(d) = -d**3 - 6*d**2 - 5*d + 1. Let h be i(-5). Let f = 21544/139 - 155. Let n = 229/12510 + f. Do h and n have the same value?
False
Let o = -677 - -17. Let k be (55/o)/(22/12 - 2). Which is greater: 29.4 or k?
29.4
Let j be (396/(-22) - -8602) + -7. Which is bigger: -1/3 or j?
j
Suppose 0 = 21*t - 51 + 51. Which is smaller: t or 4/1813?
t
Let z be (-6*12/9)/(-3 - -5). Let c = -9 + 7. Let n be 3*(c + 3/6). Which is smaller: n or z?
n
Suppose 0 = -5*y + z + z + 2210, -2*y + 3*z = -873. Suppose 220 + y = -2*i. Let p be 18/(-81) + (i/(-18))/2. Which is smaller: 13 or p?
p
Let h(d) be the second derivative of d**4/12 - 17*d**3/3 + 66*d**2 + 2*d + 30. Let p be h(18). Which is smaller: p or -1?
p
Let y(k) = -k**2 - 9*k - 55. Let d = 225 + -232. Let t be y(d). Which is smaller: -40 or t?
t
Let r be (9/72*2)/337. Which is smaller: 0 or r?
0
Suppose -4*s - 20 = -14*s. Let b be 18 + (s + 3)/(-5). Let t(i) = -i**3 + 13*i**2 + 13*i + 33. Let v be t(14). Which is smaller: v or b?
b
Let u = 62095/2 + -31627. Is -580 at most u?
True
Let w = 401/33 + -130/11. Let m = 0.05 + 27.95. Do w and m have the same value?
False
Suppose -49*q + 89023 = 12*q + 945219. Which is smaller: q or -14037?
-14037
Let y be ((-1)/3)/((-165)/495). Is y not equal to 32/439?
True
Let h(v) = 19*v**2 + 967*v - 100. Let c be h(-51). Is c at most -129?
False
Let m be 1 - -47 - 4/2. Let g(n) = n**3 - 164*n**2 + 481*n + 366. Let f be g(161). Is f at most as big as m?
True
Let x(k) = 2*k**2 - 606*k - 3690. Let q be x(-6). Is 64 not equal to q?
True
Suppose 16*v - 5499 = 55*v. Let r = -112 - 28. Which is smaller: r or v?
v
Suppose 5*t = -3*d - 17, -2*t + t + d - 5 = 0. Let p be ((-14)/t)/(-2*(-3)/72). Let q be (12/p)/(2/574). Does q = 82?
True
Let w = 0.125 - 0.086. Which is smaller: -2/5 or w?
-2/5
Let w = 15/16022 + 75431501/80110. Are 943 and w unequal?
True
Let f = -3318/5 + 661. Let n(o) = -17 + 41 - 51 - o. Let w be n(-25). Is f not equal to w?
True
Suppose 3*h + 2*m - 29 = 68, 0 = 4*h - 3*m - 118. Suppose 38*n - h*n = 0. Which is smaller: n or 5/33?
n
Let x be ((-870)/1595 - 5822/(-66))*21. Is 1841 at least as big as x?
True
Let b be -2 - 6/(24/(-28)). Suppose b*o = -4*a - 417, -o - a = 3*a + 93. Let m be -6*60/o - 4. Is -1 >= m?
False
Let a = 1 + -1. Let p = a - -1.2. Suppose -20*n = -20*h + 22*h - 30, -4 = -3*h + 11. Are p and n equal?
False
Let c be (3 + 114/(-40))*52/(-6). Suppose -3*b - 6 = 11*h - 13*h, 12 = 3*b + 4*h. Is b greater than c?
True
Let x be (-9)/1 + 4/(12/33). Which is smaller: x or -49.1?
-49.1
Let q be (-6)/(-552)*4*(-3 + -3 - -54). Is q greater than or equal to -1/4?
True
Let l = -245.52 - -99.9. Which is smaller: l or 2/5?
l
Let q = 145 + -132. Suppose 5 = -q*s - 8. Suppose -3*r + 3*p - 8*p + 2 = 0, -5*p = -4*r - 9. Is s less than r?
False
Let a(w) be the third derivative of w**4/24 + w**3 - 2*w**2. Let y be a(-7). Let r = 5716/4505 - 66/53. Which is greater: y or r?
r
Let k be 56252544/8288 - (19/7 - 3). Let c = -6788 + k. Do 0 and c have different values?
True
Suppose -4 = -3*x - 1. Let c = x + -2. Let k = -14/97 - -100/2037. Which is smaller: c or k?
c
Let n = -11401 + 422275/37. Which is smaller: n or 13?
n
Let k = 13.845 + -10.845. Which is greater: k or 580?
580
Let x = 40.197 - 40.16. Is 0.049 greater than or equal to x?
True
Let p = -0.3 - -1.6. Let k = -1.42 + p. Let b = 890 + -888. Which is greater: k or b?
b
Let q = -220170/539 - -3743/49. Let k = -330 