0. Which is bigger: s or 110?
s
Let w = 0.0341 + -55.2341. Let u = -59.2 - w. Which is smaller: u or 25?
u
Let b = 233 + -229. Let f(r) be the first derivative of r**4/2 - 8*r**3/3 - r**2 - 6*r + 3. Let i be f(b). Is i greater than -13?
False
Let s(g) = 158*g + 3199. Let m be s(-20). Which is greater: m or 1192/31?
m
Let s = -1.46 + -35.14. Let b = s + 36. Let i = b - -0.1. Are i and 1/5 equal?
False
Let k = -6770.6 - -6735. Are k and -3 equal?
False
Let o = -11497 + 11506. Suppose -c + 10 = 25. Are c and o unequal?
True
Let r = 56 - 51. Suppose 8*y = 5*y + r*i + 54, y = 5*i + 28. Suppose -3*g = 2*l - y, -4*g + 4*l + l - 21 = 0. Which is smaller: g or -2/11?
-2/11
Let a be -4 + (-1089)/(-21) - 3. Let w = -45 + a. Is w bigger than -0.13?
False
Let c = -2966 - -1600. Is -1368 not equal to c?
True
Let q(b) = -13*b - 2*b - 35 - 54 - 109 + 2. Let k be q(-6). Is -316/3 not equal to k?
True
Let q = 1513 + -1512.95. Which is greater: 1.8 or q?
1.8
Suppose -7*n - 1057 + 77 = 0. Is n <= -138?
True
Suppose 370 - 1271 = 3*l + 215. Which is smaller: l or -373?
-373
Suppose 0 = -38*d - 7236 - 10852. Which is greater: -472 or d?
-472
Suppose -2*t = f + 923 + 3465, f + 4*t = -4384. Is f smaller than 0.1?
True
Let x(q) = -1274*q + 14045. Let t be x(11). Let r = 0.3 - -9.7. Which is greater: r or t?
t
Let t be (-24)/(-10)*(1520/(-24))/(-38). Let j be (-353)/(-1428) + 2/(-8). Let u = j - -7505/2856. Is u greater than or equal to t?
False
Suppose 1218*b = 1221*b - 3. Which is bigger: b or 140?
140
Let g = -8659 - -25978/3. Do g and -35/6 have the same value?
False
Let y be 1*-2 + (-3)/(-3). Let l be 40/32*(-24)/(-45) - ((-690)/1125)/(-1). Is y less than l?
True
Let u = -342 - -67. Let q = u + 274. Is q != -0.41?
True
Let t = -308.371 - -16.371. Does t = -14?
False
Suppose 4*s = 2*z, 4*s + 10 = 3*s + 3*z. Suppose s*t = 2*y, 9*t - 6*t + 4*y = -14. Which is bigger: 0.37 or t?
0.37
Let y be ((-851352)/35472 + 24)/((-20)/8 + 0 - -2). Let x be 4/14 + (-2)/7. Is y <= x?
False
Let x = 2949.9 - 2951. Let d = -3 - -3.9. Which is greater: d or x?
d
Suppose 6*a - 284 = 10. Which is greater: 45 or a?
a
Suppose -149*b + 1347772 + 794288 = 136*b. Is b at most 7516?
True
Suppose -3*z = -4*z - 2, 4*d = -z + 6198. Suppose -17*r + d = -5726. Is r bigger than 427?
True
Let j(z) = 5*z + 49. Let p be j(-9). Suppose 5*a - 6*g = -4*g - 567, -p*g - 361 = 3*a. Which is smaller: -116 or a?
-116
Let o be 60/(-30)*(106 - -1). Are o and -214 equal?
True
Suppose -h + 4*w - 153 = 253, 0 = -5*h + 2*w - 2120. Which is smaller: -429 or h?
-429
Let z = -9651 + 2789. Is -6863 != z?
True
Let m be ((-6)/4)/(0 - 18/(-24)). Suppose 4*j + 11 = -69. Let s be ((-1)/(-6))/(j/90). Which is bigger: m or s?
s
Let f be 5 - (-8 - -38 - (-7)/(3 - 2)). Is -28 greater than or equal to f?
True
Let y be 2/(-12) + -3*1469/234. Is -21 at least y?
False
Let b be 3/27*(-504)/48*(-3784)/2. Is b less than or equal to -1?
False
Suppose -v + 0 = 2*h + 3, 9 = 3*v + 3*h. Let l(g) = -15 + 0*g + 2*g + 3*g. Let p be l(v). Which is smaller: p or 31?
p
Let p = 1 - 3. Let k(m) = 19*m**2 + 7*m - 2. Let j be k(6). Let g = j + -7247/10. Which is smaller: g or p?
p
Let u = 7.26 - 7.16. Do -7201 and u have the same value?
False
Let k = -6348 + 6723. Is -4/5 less than k?
True
Let g be (-102)/((-119)/7)*(-1)/(-6). Let c = -529/7 + 16511/217. Which is greater: c or g?
g
Let h = -3024 - -2995. Which is greater: -3 or h?
-3
Let k(o) = 16*o**2 + 5*o - 7. Let r be k(3). Let v = r + -152. Is -1 less than v?
True
Let d = 566 + -564.806. Let t = d - 0.194. Which is bigger: t or -4?
t
Suppose 19904 = 520*t - 209*t. Is t less than 63?
False
Suppose -4*r = -17 - 31. Suppose -n = 3*h - 6*h + 6, 4*n = -r. Let x = -81305 + 81300. Is x less than h?
True
Let a(q) = -6*q**2 + 3*q + 9. Let d be a(-2). Let c be 3 + 69/d - (-8784)/(-28). Are c and -315 equal?
False
Let b = 27271/6755100 + -13/3300. Which is smaller: b or 1?
b
Suppose 0 = -g - 3*z - 32002, 3*z - 2285 + 2297 = 0. Is g smaller than -31990?
False
Let j = 13891/10 - -6092/5. Is 2608 < j?
False
Suppose -6*d = 459521 - 607247. Which is smaller: d or 24620?
24620
Let k be 0*(0 + -1) + -1. Let l = -351896 + 138295124/393. Is l at most as big as k?
False
Let u = -11 - -4. Let f = u - 3. Suppose 4381*t = -1482*t - 95165 + 24809. Do f and t have the same value?
False
Let x(y) = -19*y - 768. Let q be x(-54). Which is bigger: q or 1/4?
q
Let p = -0.125 - 0.016. Let d = p + 0.241. Which is smaller: d or 2.3?
d
Suppose -x + 1 - 5 = 0, 0 = 2*j + 3*x + 30. Let l = 16 + j. Suppose l - 15 = 2*c. Which is greater: -10/3 or c?
-10/3
Let v be ((-32)/20)/(4/(-10)). Suppose -5*h + 23 = v*t, h = t + 5*h - 14. Suppose -t*w = 8*w + 20. Which is smaller: -9/8 or w?
w
Suppose -4*h - 2*h + h = 0. Let s = -2660 - -923023/347. Which is smaller: s or h?
h
Let t(m) = -m - 3. Let f be t(-4). Let z be 0*(-2)/4 - 86283/(-1215). Let h = z + -71. Which is bigger: f or h?
f
Let l(y) = 13*y**3 - 5*y**2 - 7*y + 9. Let a be l(2). Suppose -a = 3*k - 229. Which is greater: k or 52?
52
Suppose -3*m + 12 = 0, 2*m + 412 + 205 = -5*f. Suppose a = 8*i + 1013, 0 = -4*i - 478*a + 474*a - 484. Which is greater: i or f?
f
Let w be 18902/1 - (401 + -415). Are w and 18916 equal?
True
Let v be (-6)/(-15) + 8109/(-60). Let r(p) = 135*p**3 + 3*p**2 + 4*p. Let u be r(-1). Let d = v - u. Which is bigger: 0 or d?
d
Let o be 7 + -11 + 2*2. Suppose -m - m + 6*m = o. Which is smaller: 4/5 or m?
m
Let t = 95/46 - 7806/3841. Does 1 = t?
False
Let z = 26 - 14. Let m = 4360/3 + -1512. Let f = m - -59. Which is smaller: z or f?
f
Let t be 3/6 - 120/234. Let i = -878/39 - t. Let g = i - -23. Are g and 0.2 non-equal?
True
Let r be (-6)/(-15) + (-1008)/2570. Let t(j) be the second derivative of 5*j**3/6 + 151*j**2/2 + 3*j + 8. Let s be t(-30). Is s less than or equal to r?
False
Let u = 0.98 - -1.31. Let x = u + -2.09. Let m = -1 - -1.2. Is x less than m?
False
Let p be (-915441)/(-522) + (-10)/15 + 1. Let k = 1754 - p. Is k at least 0?
False
Let b be (-2)/(-6)*10*5/(-25). Which is smaller: b or 2/4951?
b
Let w be 24*((-30)/(-8) - 3). Let l be -2*(-3)/w*-3. Let b = 8/197 + 886/7289. Which is smaller: b or l?
l
Let x be 5/((-740)/(-18))*4. Let q be 2/21 + 1541/(-1407). Are x and q equal?
False
Let o = -8.36 + -0.34. Let q be 84/27*21/28 + -3. Which is bigger: q or o?
q
Suppose -7173 = -109*a + 25309. Is 293 not equal to a?
True
Let y(m) = 94*m + 103. Let o be y(2). Which is smaller: o or 297?
o
Let k = 200.65 - 203. Let v = 7.35 + k. Which is smaller: v or -1/39?
-1/39
Suppose 3*c + 762 + 201 = -3*s, 0 = 4*s + c + 1272. Is -322 at most s?
True
Let c = 0.0386 + -60.8386. Let n = c - -60.7. Is 174 <= n?
False
Let g = 110095 - 29175217/265. Which is smaller: 0 or g?
g
Let l = 14 - 78. Let m = l + 55. Let p = 8.95 + m. Is p bigger than 0.04?
False
Suppose 0 = -3*d + d - 3*k + 16, -5*k = -5*d - 10. Suppose d*r - 3*y - 23 = 0, 3*r + y - 3 = r. Let c be r/3*(-120)/16. Is c bigger than -7?
False
Suppose 4*a - 5160 = -17*u + 21*u, a = -5. Is u not equal to -1300?
True
Let m(h) = -37*h**2 - 53*h + 11. Let k(q) = q**3 + 76*q**2 + 106*q - 23. Let r(n) = -2*k(n) - 5*m(n). Let j be r(17). Is j != 604?
True
Let v = 41703 + -41702.71515. Do -0.1 and v have the same value?
False
Let g(t) = -t**3 - 18*t**2 + t + 20. Let o be g(-18). Let w(i) = -45*i**3 - 2*i**2 + 1. Let z be w(-1). Which is greater: o or z?
z
Let z = 940 - 940. Suppose 7 = -2*m - 99. Is z at least m?
True
Suppose -14*s + 2*s = -2240 - 4276. Is 542 > s?
False
Let k(f) = 11*f**3 - 12*f**2 + 40*f - 69. Let g be k(4). Is 5438/9 != g?
True
Suppose -3*s = -12, 3*s - 124 = -2*b - 112. Which is greater: 23/136 or b?
23/136
Let w be ((-1)/(-18))/(1/(-8)). Let m be 6/(-27) + 338/(-18) + 4. Let o = m - -14. Is w < o?
False
Suppose 9 = -3*c - 234. Suppose 2*n + 144 = -5*q, q = -2*n - 4 - 156. Which is bigger: c or n?
c
Let b(f) = 3*f - 2. Let x(j) = -34*j + 182. Let v(c) = b(c) + x(c). Let d be v(5). Which is greater: d or 4?
d
Suppose g + 2*z = 2*g + 16, 5*g = -5*z - 110. Let t be (54/(-60))/(4/10)*8/3. Let m be -2 + (-1 - t)*(-6)/g. Which is smaller: m or 8?
m
Suppose -9*c = -7*c - 6. Let y be c + -1*(-56)/(-20). Let r = -113 + 117. Is r bigger than y?
True
Let d = -1 + -34. Let m(x) = -9*x - 18. Let c be m(-4). Let u = d