Let a = 55542 - 331949/6. Which is smaller: 216 or a?
216
Let f = -4.539 + -0.461. Is -1.1 less than or equal to f?
False
Let n be (774 + -10)*(-2)/(-88) - 1. Which is greater: 3/13 or n?
n
Let s = 10325 - 10315. Which is greater: s or -2/635?
s
Let b(r) = -15*r + 88. Let x(z) = -49*z + 265. Let u(i) = -21*b(i) + 6*x(i). Let d be u(12). Is -13 at most d?
True
Suppose -75*s + 38 + 37 = 0. Is 42/247 less than s?
True
Let g = -1/20373 + -577202/672309. Let q = 954 + -10501/11. Let c = g - q. Which is smaller: c or 1?
c
Let m = -54612/5 + 52049/5. Let i = -513 - m. Which is bigger: 24.2 or i?
24.2
Suppose -130*p - 762080 = -60340. Are -5398 and p equal?
True
Let y be (4251/1962)/(-1 - 115/(-114)). Which is bigger: 248 or y?
248
Let m(k) = -3*k - 16. Let i(o) = 1. Let r(b) = -3. Let l(y) = -2*i(y) - r(y). Let t(h) = 6*l(h) - m(h). Let q be t(-7). Which is smaller: q or -3/44?
-3/44
Let p be (-1797)/(-5) - (-3)/5. Let v = 1624335/4484 - 3/2242. Let w = v - p. Is 3 not equal to w?
True
Let w(g) = -36*g**2 - 2*g + 1. Let h be w(1). Let o(z) = z**2 + 71*z + 761. Let v be o(-14). Is h equal to v?
True
Let g = 1/44500 - -2987/25498500. Are 1 and g unequal?
True
Let z(s) = s**2 + 13*s - 9. Let b be z(-14). Suppose b*n - 3 = -3*c + 22, 0 = 2*c - 10. Suppose 2 = v - 1, -3*v + 11 = -n*h. Is 3/49 >= h?
True
Suppose 0 = -m + 2*p + 1, 3*m + p = 2*m - 2. Let k = 236410493/56 - 4221806. Let s = k - -190. Is s equal to m?
False
Suppose -548 = -18*f + 118. Let k(p) = -6*p**3 - 3*p**2 + p + 2. Let u be k(-2). Is u >= f?
False
Let z(c) = -4*c - 17. Let k be 4/(-12)*(-34 - -4). Suppose -k*a - 13 = 3*i - 11*a, 13 = 2*i - 5*a. Let v be z(i). Which is bigger: 2 or v?
v
Let b = 176 + -236. Let l = b - -63. Which is bigger: l or 9?
9
Let t be (-32)/24 + (-44)/12. Are -93/23 and t equal?
False
Let u be (-9)/(-2)*-1*(-14)/(-21). Let b be -3 - u - (3 + 26 + -2). Let x = -20 + -9. Which is greater: x or b?
b
Let g = 108 + -759/7. Suppose 0 = -4*q - 4*q + 8. Let f(p) = -5*p + 6. Let x be f(q). Which is smaller: x or g?
g
Let c = -119 + 126. Suppose 25 = -3*w - 5*a, -4*w - 5*a = -c*w + 25. Which is smaller: 2/45 or w?
w
Let g = -52 + -8. Let s = g + 96. Let m be (-106)/(-12) - (-6)/s. Which is smaller: 8 or m?
8
Let z = 30157 - 30156. Are -9/4118 and z equal?
False
Let z = -14568 - -13491. Is -1079 greater than or equal to z?
False
Let w(v) = -989*v**3 + 5*v**2 - 7*v + 1. Let z be w(1). Which is smaller: -991 or z?
-991
Let l(a) = 41*a**2 + 167*a + 308. Let r be l(-16). Is r < 8131?
False
Let k(g) = g**3 + 11*g**2 - 12*g + 4. Let i be k(-12). Suppose y - 11 = -2*j, 3*y - i*y = -3*j + 4. Is y >= -20?
True
Let u = -0.20836 + 0.27236. Which is greater: -14/13 or u?
u
Let d(j) = 119*j + 1548. Let b be d(-13). Which is bigger: b or -4/391?
b
Let u = 60186151/17 + -3542632. Let a = u + 2269. Suppose -974 = 225*n + 262*n. Which is greater: a or n?
a
Let k be 5 - ((-14142)/(-234))/(1 - 11/(-1)). Is k greater than -1?
True
Suppose -r = -2*i - 27, -2*r + 42 = -16*i + 15*i. Suppose -v + 5 = 0, 0 = -2*z + 2*v + 182 - 12. Suppose -4*b = b - z. Which is bigger: r or b?
r
Let n be (18/8)/(-4 + 506/128). Let a(w) = -7*w**2 + 4*w. Let s be a(4). Let b = n - s. Is 47 != b?
True
Suppose 650 = 6*m + 20*m. Suppose m = -23*r - 2*r. Which is greater: r or -17/13?
r
Let i(w) = 36*w + 586. Let s be i(-14). Is s smaller than 89?
True
Let t be ((-12)/(-69))/(-152 - -9 - 3). Which is smaller: 1 or t?
t
Let z = -4169.86 - -4170. Which is smaller: -0.0331 or z?
-0.0331
Let r be 7/(-14)*(-12)/(-2). Let w be 1350/25*5/r. Let l = -1540 + 1450. Is w < l?
False
Let g = -0.3007 + 0.2318. Which is greater: g or 2/15?
2/15
Suppose -125*o - 6142 = -20*o + 61*o. Is o greater than or equal to 10?
False
Let i = -2/43519 + -114846637/87038. Is -1321 bigger than i?
False
Suppose -2*a - 3*i + 9 = -2*i, -4*i + 12 = 0. Suppose 0 = a*q + 57 - 63. Is q <= -2/9?
False
Let t(c) = 3*c**3 - 39*c**2 + 5*c - 308. Let h be t(18). Is 4642 greater than h?
False
Let c be (-68)/(-476) + (-5204)/(-28). Is 187 >= c?
True
Let x be (-1 - 15)/(52/1594). Let w = -3715 - -3225. Let y = x - w. Do -0.1 and y have the same value?
False
Let s(b) = b**2 + 5*b + 5. Let l be s(-4). Let z be (-2)/(3/(-1690)*188) - (-6)/(-1). Which is greater: l or z?
l
Let w(h) = h**3 - 62*h**2 - 58*h - 311. Let d be w(63). Are d and -445 equal?
False
Let q(d) = -4*d**2 - 29*d - 223. Let w be q(-7). Let m be -1*543/(-1098) + 36/w. Which is bigger: m or -1?
m
Suppose 641 = -11*g + 6603. Is g less than or equal to 542?
True
Let g = -50 - -18. Let j = g + 58. Let n = 106 - 82. Which is greater: n or j?
j
Let z = -6987 - -6987. Do 3/3401 and z have the same value?
False
Let p be ((5 - -4)/(-12159))/((-48)/(-14)). Which is smaller: 0 or p?
p
Let a(r) = -7*r - 124. Let y(f) = 3*f. Let m(c) = -a(c) + y(c). Let l be m(-17). Is l != -45?
True
Let s = -263 - -266. Let n be (2/s)/((-6)/747). Is n not equal to -83?
False
Suppose 11232 = -74*m - 312. Which is smaller: -167 or m?
-167
Let k = 1285 - 1817. Let q be k/49 - (-16)/2. Which is smaller: -0.2 or q?
q
Let c = 6651 + -232782/35. Which is greater: c or -1?
c
Let c = 20 - 18. Suppose 38 = -3*s + 5*v + 16, -c*v - 38 = 4*s. Let o(k) = -k - 10. Let q be o(s). Is q bigger than 2?
False
Let r(x) = 870*x**3 - 37*x**2 + 4*x - 3. Let f be r(2). Which is bigger: f or 6818?
6818
Let u = 2.656 - 3.29. Let o = -0.066 + u. Which is smaller: -1 or o?
-1
Let p(t) = -t**3 - 16*t**2 + 15*t + 16. Let a be p(-17). Let o be -1*(-1)/(-5) + 35/a. Which is bigger: -36 or o?
o
Let x(f) be the first derivative of 10*f**2 + 71*f - 106. Let c be x(8). Is 231 <= c?
True
Let c be (-6)/4 - (-2)/4. Let u(z) = -81*z**2 - 60*z - 171. Let o be u(-3). Let m be 12*(-6)/o - 506/260. Which is greater: m or c?
c
Let a(l) = 350 - 69 - 10 - 43 + 13*l. Let u be a(-15). Does u = -0.04?
False
Let z be 1/2 + (-81)/164. Let b be (-174 + 19)/31 + (-81)/(-15). Which is bigger: z or b?
b
Let u be -2*(-2)/(-12)*-1520. Let i = -1849 - -1328. Let k = i + u. Which is smaller: -13 or k?
k
Let o = 56 - 30. Let p be (-2)/11 + o/22. Let a = -7801/37 + 211. Which is greater: a or p?
p
Let d = -8.8 - -7. Suppose 0 = w - 3*w + 10. Suppose w*n - 9*n + 25 = 5*t, 0 = -3*n + t - 5. Are n and d nonequal?
True
Let h = 0.374 + -220.374. Let b = 199 + h. Is 1 not equal to b?
True
Let d be (-16)/72 - 5872/(-99). Let w = -8560/143 + d. Which is greater: -1 or w?
w
Let a be (1 + -4 + 2810650/445)*-1. Let k = 6313 + a. Which is smaller: k or 0?
k
Let o(c) be the first derivative of c**4 - c**3 + c - 4. Let u be (-3 + -3 + 8)*(-63 - -64). Let r be o(u). Is r <= 22?
True
Suppose 213*y + 5259 = -4967 - 14695. Are -100 and y non-equal?
True
Let v = -1444 - -2264. Which is smaller: v or 828?
v
Let f(n) = -n**3 + 9*n**2 + 12*n - 16. Let d be (-5)/((-2)/2) - 60/(-12). Let j be f(d). Let x be (-4)/14 + (-136)/(-35). Which is bigger: x or j?
j
Suppose 9*n - 968 = 31*n. Is -112 at least n?
False
Let q = -19007 - -19204. Which is bigger: 34 or q?
q
Let c(i) = 8*i + 10. Let w be c(0). Suppose w*k = -154 - 196. Let z be (k/15 - -2)*(0 + 3). Which is greater: z or -6?
z
Let s = 624 - 515. Suppose u = -n + 39, -s = -2*n - 4*u - 41. Is n at most as big as 45?
True
Let w = -283 - -283. Suppose -z = w, -3*u - 4*z - 298 = -55. Are u and -82 unequal?
True
Let q be (-3)/(-2)*(0 - -2). Let c be 2*q/(-39) + (-8583)/234. Is c smaller than -36?
True
Let f be 2 + 4*((-27)/6 - -4). Let d be 9*(-3)/(-13) + 3/(-3). Which is smaller: d or f?
f
Let z(k) = -72*k - 791. Let b be z(-11). Is 2/36453 at most b?
True
Let u = -564.2 + 566.363. Which is smaller: 0 or u?
0
Suppose -69*x - 149 = 80*x. Does x = 1/14989?
False
Let v(t) = -1 - 3 + 11 - 3 + t. Let b = 50 - 54. Let c be v(b). Which is bigger: -1/20 or c?
c
Suppose 6*b - 9 = 3*b + 2*w, 5*w - 20 = -b. Suppose i - 7 = 4*y, -5*i = -b*y - 4*i - 10. Let l be (4/y)/(12/24). Is l less than -0.2?
True
Suppose 0 = -5*i - 25, -a + 0*i + 3*i + 16 = 0. Which is bigger: a or 3/881?
a
Let k(d) = 8*d - 1. Let t be k(1). Suppose 0 = -t*w + 6*w + 52. Let y be 9/6*w/(-6). Is y at most as big as -15?
False
Let o = 1522.6 - 859.6. Which is greater: -1 or o?
o
Let g = -130 - -146. Let a = 33 + g. Which is bigger: a or -2?
a
Let m = 91 - 89. Let o = m - -94. Let i be (4 + -1 + -9)*o/9. Is i le