 b = l?
False
Let r = -9757 - -9697. Suppose g = -5*s - 306, -3*g + 0*g = 2*s + 112. Are s and r unequal?
True
Let h = 4705 + -1029. Which is bigger: h or 3678?
3678
Let p = -903851489/510 + 1772257. Let r be 1*2 + (-2052)/1020. Let h = p + r. Is h >= 0?
False
Let i(u) = u**3 + 14*u**2 + 2*u + 71. Let d be i(-15). Let j = -190 - d. Which is smaller: -58/11 or j?
j
Let j(h) = 33*h - 857. Let w be j(27). Which is bigger: w or -0.002?
w
Let x = 9852 - 10020. Which is greater: -146 or x?
-146
Let i = -0.6 - 2.4. Let k = 3.08 + i. Let g = 3.592 + -4.592. Is k < g?
False
Let u = -0.3 - -2.3. Let x = 15.82 - 14.9. Let k = -0.32 + x. Is k greater than or equal to u?
False
Let j = 421 - 203. Let i = j - 437/2. Is 93 bigger than i?
True
Let m be 106/6 - 16/24. Let u = 619/5 - 9871/70. Let d = m + u. Is d less than or equal to -1?
False
Suppose 5*h + 2 = 7*h. Let t be 6/(h - 3/(-3)). Suppose 5*r = 4*d - 27, -4*r = -4*d - 0*d + 28. Which is smaller: d or t?
t
Let d be (24/36)/(2/12). Suppose p - c = d, -p - 2*c = -c - 10. Suppose -8*j = 14*j + 66. Is j > p?
False
Let h = -34 - -42. Suppose -h*w = -w - 224. Suppose 0 = 2*d - 15 - 49. Is w at most as big as d?
True
Let t = -178 + 244. Let j be 12/t + (72/(-33) - -2). Which is greater: -181 or j?
j
Let o be ((-6)/8)/(9/(-24)). Suppose 12 = 6*q - o*q - 3*f, 0 = -2*q - 3*f + 6. Suppose q*d = 4*d + 2*d. Which is bigger: -3/19 or d?
d
Let f = -0.1147 - -71.7747. Let z = f + 1.34. Which is smaller: z or 2?
2
Let g = -2544 - -389233/153. Do g and 1 have different values?
True
Suppose q + 5 = 42*p - 45*p, 2*p + 15 = -3*q. Let d be (-6)/33 - (p - 1072/88). Suppose -2*f + 12 = -10. Do f and d have the same value?
False
Suppose 16 = 5*g + m, 0*g = 3*g + m - 10. Suppose 0*u + g*u = -4*h + 2, 3*u = 2*h - 10. Let x be (-10 + 200/15)*-3 + (-11 - -17). Is u smaller than x?
False
Suppose -6*m + 6 + 12 = 0. Suppose 4*y - 25 = m*b, 0*b = -5*y - 2*b + 14. Suppose -4*x + 20 = -y*h + x, 2*x - 8 = h. Which is smaller: 1/6 or h?
h
Let y be (-2)/3 - (261184/24675)/(-16). Let n = y - -81123/9400. Is 8 bigger than n?
False
Let m(g) = 2*g**3 - g**2 - 3*g + 1. Let y be m(3). Let l = -33 + y. Suppose -2*t - 5*r = 37, -3*t = -3*r + l + 20. Which is bigger: 2/3 or t?
2/3
Let l = -4764.9 - -4471. Which is smaller: l or 2/3?
l
Let n = -341464 + 341464. Let m be 2*((-2)/4 - -1). Let f be 104/51 - 1 - m. Which is greater: n or f?
f
Let x = -167 + 98. Let q = -69.24 - x. Which is smaller: q or -0.2?
q
Let b be ((-1485)/2052 + 6/8)*(-1 + -5). Which is smaller: -0.221 or b?
-0.221
Let a(m) = 4*m + 129. Let w be a(-26). Let j be (-255)/w + (-54)/(-45). Which is greater: j or 0?
0
Let v be (-13)/2*2/3. Let g = 563 + -560. Suppose 74 - 65 = -g*o. Which is greater: o or v?
o
Let n = -31611 - -31438. Do -166 and n have different values?
True
Suppose 2*h = -2*p + 35*p - 16, 0 = p + 4*h + 32. Let w = 589/174788 - -4/1181. Do w and p have the same value?
False
Let k(o) = 2*o**2 - 29*o + 11. Suppose 2*l - 10*l = -112. Let q be k(l). Let t be (2/(-2) + 5/20)/q. Which is smaller: t or -40/7?
-40/7
Let u(g) be the third derivative of g**7/630 - g**6/36 - g**5/20 + 8*g**2. Let j(h) be the third derivative of u(h). Let p be j(4). Are 14 and p unequal?
True
Let b be (4 - 0) + 0/2. Suppose 6 = s - 5*x - b, 4*x + 17 = -s. Let y = -1940 + 1930. Which is smaller: y or s?
y
Suppose 0 = 5*g + 4*k + 4831, 4*g - 5*k + 621 = -3293. Which is smaller: g or -2911/3?
g
Let c = 41 + -12. Let y be (32/(-72))/(4/(-18)). Suppose -p = 4*p + i + 130, -y*p - c = 5*i. Which is bigger: -26 or p?
-26
Let m = 214 + -3206/15. Let o = m - 68/5. Let l = 169/12 + o. Do 8 and l have different values?
True
Suppose -11*b = -0*b - 28*b + 17. Is b not equal to 5/82?
True
Let u(o) = -12*o - 20. Let i be u(-2). Let w be -54*(-3)/(-6) - i. Which is greater: w or -32?
w
Let v(q) = -q**3 - 10*q**2 - 9*q + 15. Let d be v(-9). Suppose 16*t = d*t - 13. Is t less than or equal to -13?
True
Let k(j) = j**3 - 3*j**2 + 2*j + 4. Suppose -4*q + 1 = -11. Let t be k(q). Suppose -52 = -5*r - 8*u + 10*u, -4*u + 6 = r. Is r less than or equal to t?
True
Let t = -116 - 70. Let y = t - -218. Is 0.3 at most as big as y?
True
Let r(m) = -m**2 - 18*m - 79. Let h be r(-9). Suppose h*j + 2*k = 110, -4*j - 2*k = -j - 160. Is j < 48?
False
Let u(s) = -s**3 + 62*s**2 - 245*s + 95. Let c be u(58). Are c and -656 equal?
False
Suppose 0*m - 22 = -w - m, 19 = 2*w - 3*m. Let j(o) = o + 7. Let z be j(6). Suppose -17*d + z*d = -64. Which is greater: d or w?
w
Let m be ((-11102)/(-65))/(7/35). Is 855 smaller than m?
False
Suppose 48*s + 291 - 3363 = 0. Is s < 64?
False
Suppose -15*o + 6*o + 18 = 0. Suppose 3*p - o*z + 16 = p, 4*z + 24 = -4*p. Is p at most -2/9?
True
Let g = -9/20 + 1/20. Let c be (-36)/(-15)*(640/144)/(-20). Which is bigger: g or c?
g
Let d(n) = 3*n**2 + 10*n + 2. Let x = 333 - 336. Let w be d(x). Are w and 9 equal?
False
Let z = -53 + 101/2. Let o = 3 - -1. Suppose -3 = o*i + 9. Which is bigger: i or z?
z
Let i = 92.6 + -102. Let k = -4926.9 + 4927. Are i and k nonequal?
True
Let u = -8286 - -9637. Which is bigger: u or 4051/3?
u
Let z = 30117.98 - 30041. Which is bigger: z or 0?
z
Let u(j) = -3*j**2 - 58*j - 139. Let t be u(16). Which is smaller: -1836 or t?
-1836
Let i = -2427 + 2974. Which is smaller: i or 0?
0
Let f(l) = 2*l - 10. Let o = -15 - -34. Suppose o*t - 31*t = -60. Let v be f(t). Is v less than or equal to -4/13?
False
Let i = -4.53 - -4.53. Let q = -37 - -27. Is i less than or equal to q?
False
Let c = -92 + 100. Suppose 0 = -4*n + 8*n - c. Which is smaller: -3 or n?
-3
Let i = -31.9 - 3.1. Let t = i - -61. Let k = t + -26.2. Is k less than 16?
True
Let c = 1083/5 + -218. Let y = -62935 - -62935. Is c < y?
True
Let w(c) = c**3 + 34*c**2 + 139*c - 20. Let p be w(-19). Which is smaller: p or 2753?
2753
Let f = -3.163 - 208.837. Let o = 638/5 + -128. Which is smaller: f or o?
f
Let u = -3268 - -3272. Let v = 15 + -14. Let w be v/(0 - -1 - -2). Which is smaller: w or u?
w
Suppose -8*d + 82*d - 189514 = 0. Which is greater: d or 2563?
2563
Let t = -0.35 - 3.65. Let r = 3.99 + t. Let m = -2.01 - r. Which is smaller: -16 or m?
-16
Suppose 0*s - 4*o + 141 = -s, -252 = 2*s - 2*o. Let f = 60999 - 61119. Is s smaller than f?
True
Let c(n) = -10*n**3 - n**2 + 3*n - 2. Let v be c(1). Let o be v*(-205)/10*1. Suppose 0 = 11*t - 6*t + o. Is -40 greater than or equal to t?
True
Let l be (2 - 36/922*52)*(-109)/(-218). Do l and -1 have the same value?
False
Let y = 15.139 - 15.819. Which is smaller: -16 or y?
-16
Let t(q) = 4*q + 19. Let u(m) = 5*m + 20. Let w(k) = 6*t(k) - 5*u(k). Let s be w(13). Suppose l = j - 1, 4*l - 2*j + 9 - s = 0. Which is greater: -5 or l?
l
Let b(p) = -455*p + 3091. Let c be b(-24). Which is smaller: 14010 or c?
14010
Suppose 0 = 4*t + 76 - 36. Let u be -7 + 39/33 + t/55. Let s be ((-10)/(-8))/(-4 + (-39)/u). Which is smaller: -104 or s?
-104
Suppose 8 - 8 = -117*n. Is n at least -18/377?
True
Let v = 2829 + -1970. Let u = -976.4 + v. Let t = 117 + u. Which is smaller: -3/11 or t?
t
Suppose 3*h + 67 - 751 = 0. Let w = h - 229. Which is smaller: -1/23 or w?
w
Suppose -4*y - y + 75 = 0. Suppose -46*o + 43*o = y. Which is bigger: o or 3?
3
Suppose 0 = 110*z - 331*z + 5064 + 12616. Do 26 and z have the same value?
False
Let w be (-5 - -1)*1599/1968*-2*6. Which is smaller: 69 or w?
w
Let p = 4518 + -4537. Is p at most -81?
False
Let a be (-440)/(-1035) + ((-154)/21)/11. Which is smaller: -1 or a?
-1
Let t be -60*((-2202)/(-24) + -6). Which is greater: t or 0.1?
0.1
Let v be (9/65172)/((-105)/(-280)). Is -1 equal to v?
False
Suppose 3*t - 2520 = -9*t. Let o be ((-2)/6 - 0) + 47782/t. Let s = 221 - o. Which is bigger: -6 or s?
-6
Let r(v) = -6*v**3 - v**2 + 3*v + 6. Let z be r(-2). Let y be (2/z)/(2/18). Let f = -1/11 - y. Which is smaller: f or 1/6?
f
Suppose -2*q + 2*k = -914, -6*k + 8*k - 10 = 0. Let y be (-4)/(-14) - 114/q*3. Suppose 3*x = -g + x + 8, -3*g - 5*x + 20 = 0. Which is bigger: y or g?
g
Suppose 4*d + 6 - 13 = t, 0 = -d + 5*t - 3. Suppose -3*y - d*y + 5*r = 230, -3*y - 117 = 4*r. Let i = y + 23. Is -20 < i?
False
Let a = -45.23 - -11.23. Let o = -5 - -4.8. Which is smaller: o or a?
a
Suppose 0 = -8*h + 5*h + 3510. Suppose 0 = 10*b - h - 570. Which is smaller: 173 or b?
173
Le