et b(s) = -s**3 + 2*s**2 + s - 1. Let l be b(a). Suppose -4*k = 3 + l. Is -5/7 at most as big as k?
False
Let c be ((-16)/(-72))/((-16)/22). Which is greater: c or 0?
0
Let h = 34.4 + -34.36. Which is smaller: 0.14 or h?
h
Let i = -841945/18 + 379712723/8118. Let g be (-12)/(-369)*(-2)/(-12). Let s = i + g. Do s and -1 have different values?
True
Let o = 0.07 - 6.07. Is o not equal to 3?
True
Let m be (-6 - 250/(-35))*14. Let d(l) = 2*l**2 - 2*l - 4. Let p be d(3). Suppose 4*x + 4*y - 76 = 0, 5*x = -3*y + p + 79. Which is greater: x or m?
m
Let s be -11*((-4)/(-18) + (-49)/(-63)). Is -149/12 smaller than s?
True
Let q(c) = c**2 - 7*c - 61. Let a be q(-5). Which is smaller: a or -8/101?
a
Let h = 681 + -10867/16. Which is smaller: h or 3?
h
Let z = 966 + -968. Is 604 greater than or equal to z?
True
Let w be (-18393)/27 + 4/18. Let r = -287 - w. Let k = 5116/13 - r. Is k at least as big as -1?
True
Let n be (-3 - -5)/(40/499). Let b = 19776/5 + -3928. Let s = b - n. Which is smaller: 2 or s?
2
Let u be 559/(-1118) + (-1 - 55/(-36)). Suppose 0 = -5*z - 5 - 0. Is z greater than or equal to u?
False
Let h be (-114793)/207328 + (-6)/(-11). Is h less than 1?
True
Let s be 358/18 + (-2)/(-18). Let o be 40/6*(11 - 8). Is o at most as big as s?
True
Let q be ((-54)/12 - -5)*0. Suppose q*h - 5*h + 5 = 0. Which is bigger: -2/115 or h?
h
Let q be -3*2/21 - 40/7. Let z = 19 - q. Is z not equal to 25?
False
Let x be 126/(-161) + (-6)/(-3). Let d = x + -58/161. Which is smaller: 1 or d?
d
Let x(h) = -h**3 - 30*h**2 + 76*h + 100. Let t be x(-32). Does t = -284?
True
Let l = -4.9 - -4. Let f = 0.1 - l. Let q = -18 - -17.84. Which is bigger: f or q?
f
Let x be 0 + 3 + -4 - 1. Let n be 4 - 1*(-29)/(-11). Let h = n - 219/88. Is x smaller than h?
True
Let z = 1.7 + -1.8. Are z and -187 unequal?
True
Let s be (6/4 + -4)/((-6)/(-12)). Suppose -32 = -0*k - 2*k. Suppose -k = 2*g + 2*g. Which is bigger: g or s?
g
Let r be ((-2)/(-192))/(-8 + 200/24). Let c = r + 23/32. Does c = -8?
False
Suppose -2*g - 3*u = 2*u + 24, 0 = 5*g - 3*u + 29. Let y be (g/(-2) - 3)/4. Suppose -9*n - 1 = -8*n. Is n at least as big as y?
False
Let k = -107/148 + -1/37. Which is greater: k or 12/19?
12/19
Let p be ((-20)/8)/(1295/148). Which is greater: p or 108?
108
Let y(a) = -15*a - 3. Let h be y(-2). Let p = h + 1. Let t be (-6)/p - 5/(-10). Is -1 < t?
True
Let t be 35/110*3524/(-2). Let k = t - -561. Which is smaller: k or 0.2?
0.2
Let n be (-406812)/(-435)*(-4)/(-14). Which is greater: n or 267?
n
Suppose o - 317 = -3*o + 3*d, -2*d = 3*o - 242. Suppose -5*y + 2*l + 118 = l, -4*y + o = 4*l. Does y = 23?
True
Let u = 475 - 9507/20. Which is smaller: 1 or u?
u
Suppose 34 + 6 = -4*r. Let d be (r - -5) + -2 + 2. Let p(j) = j**3 + 8*j**2 + 10*j - 3. Let a be p(d). Is 22 >= a?
True
Let n be (-1824)/132 + (-4)/22. Let z be (-46)/(-4) - (-21)/n. Let u = z - 9. Which is smaller: u or 0?
0
Let k be 2/12 + 742/84. Let a be 3*((-6)/k - 3). Let z = 11 + a. Is 2/23 at least z?
True
Let u = -11 + 9. Let f be (u*1)/(14/21). Let t = f - -3. Is t > 0?
False
Let a be 2*2 - (-10 + 9). Suppose -a*d = -10*d - 20. Let o be ((-4)/16)/(d/(-2)). Is 0.1 at most as big as o?
False
Suppose -3*x = -250 + 28. Is x less than 75?
True
Let g be (-1 + (-10)/(-8))*4. Let c be 1 + (-33)/22 - 13/(-34). Which is smaller: g or c?
c
Let o(m) = 9*m**2 + 22*m. Let l be o(-4). Is 57 bigger than l?
True
Suppose 3*t + 4200 = -3*l, -5*l = -2*t + 4993 + 1986. Is -1396 at most l?
False
Suppose -5*t - 254 = -3*t + 3*p, 137 = -t + p. Let v = t - -933/7. Let j = 0.1 - 0.3. Which is bigger: v or j?
v
Suppose -11 = -4*m - 23. Let k = 6 + -17/3. Is k at most m?
False
Suppose 20*b - 99 = 9*b. Let w(v) = -v**2 - 4*v + 5. Let i be w(-4). Does i = b?
False
Suppose -3*u - 5*a = -4*u - 6, 4*u + 70 = -3*a. Suppose 190*y - 2*m = 194*y + 72, -3*y - 5*m - 75 = 0. Is y < u?
False
Suppose 2*h + 18 = 3*q, 0*h = h + 2*q + 9. Let w(y) = y - 1. Suppose 0 = -b - 0*b - 8. Let x be w(b). Are h and x equal?
True
Let h be ((-400)/45)/(-4) + -2. Let d be 2 - 1/(-3 + 2). Suppose 0 = -d*k - 0*k. Which is smaller: k or h?
k
Let c be -7 - 7/((-7)/(-2)). Let n be (c/6)/(2 + 70/(-32)). Let t(z) = -11*z - 1. Let m be t(-1). Is m at most as big as n?
False
Let z be (-21341237823)/94536225 + (-4)/(-6). Let p = -2/1260483 - z. Let x = -225 + p. Are 1 and x nonequal?
True
Let u be 20/90 + (-43)/(-9). Let y be 1 + -2 - (-15 - -3). Suppose 2*r + 10 = -2*v + u*r, -3*r = -v - y. Which is smaller: v or -1/5?
-1/5
Let x = 25 - 5. Let q be 19 - 2 - (0 + -2). Which is bigger: x or q?
x
Suppose 57*a + 210 = 22*a. Are 10/11 and a equal?
False
Suppose -q - 10*q - 11*q = 0. Which is smaller: q or 1/295?
q
Suppose 0 = -l - 4*o, 3*o = l + 1 - 29. Which is smaller: 67/4 or l?
l
Let w = 1126 - 2157. Is -1031 <= w?
True
Let h(t) = -2*t - 27. Let z be (3/2)/((-5)/(-210)). Suppose 3*y - 9 = 0, 3*a - y = 2*y - z. Let r be h(a). Is 10 at most as big as r?
False
Suppose -4*b + 190 + 506 = 0. Let d = -4001/23 + b. Which is smaller: d or 1?
d
Let x(w) = -w**2 - 10*w - 18. Let p be x(-9). Let r be 3 + 1/(-1 - 6/p). Which is bigger: r or -4/11?
r
Let h = 0.442 + -0.342. Let u = -2.8 + 3. Let b = u - h. Is 17/3 at most b?
False
Suppose 5*j + 8 = 23. Let k be (1*5/(-5))/(j/276). Is -92 at most as big as k?
True
Let z be ((-2)/(-30))/(-6*(-11)/(-3366)). Is -4 greater than z?
False
Let c be (-1)/(-3) + 7*(-23)/(-69). Let a be 2/(-7) - 23/(-7). Is c < a?
True
Suppose -4*y - t - 8 = 0, -y - 21 = 18*t - 13*t. Which is bigger: y or -16/275?
-16/275
Let j be -1*(0 - -1)/1. Let b be (j/(-2) + 0)*28. Is b not equal to 14?
False
Let z be (9450/(-5))/(-2) - 6/2. Let h be (z/(-13))/3 - (-12)/78. Which is smaller: h or -23?
h
Let w be (-6)/(-3) - -1 - 1. Suppose 2*c - c + 2*y = 13, 2*c = -5*y + 30. Let u be ((-1)/w)/(c - 7). Is u >= -1?
True
Let o be (((-70)/(-189))/2)/((-10)/(-12)). Is o at most 19?
True
Let i = -1/6150 + -4003/596550. Which is smaller: i or 1?
i
Let x = -233.01 + 233. Which is smaller: -17 or x?
-17
Let n = 6 + -26. Let a be 2/10 - 6/n. Is 0 less than a?
True
Let g(c) = -32 + 8 - 8*c + 4*c - 10. Let q be g(-8). Which is smaller: -28 or q?
-28
Let j(f) be the first derivative of 2*f**3/3 + f**2/2 - 9*f + 11. Let d be j(-5). Is d > 35?
True
Let q = 295.2 + -295. Let x = 3 + -25. Which is bigger: x or q?
q
Let x be 60/20 + -61 + 2. Which is smaller: -55 or x?
x
Let c(f) be the second derivative of 13/6*f**3 + 0 - 1/12*f**4 - f - 6*f**2. Let q be c(12). Which is bigger: q or -4/3?
q
Suppose -5*y + 5 + 5 = 0. Let t(n) = 2 - n - 1 - y + 4. Let b be t(3). Which is bigger: 1 or b?
1
Let d be (-4 - -19)*(2 - (-10)/(-6)). Suppose 0 = d*n - 6 - 9. Which is smaller: 4 or n?
n
Let j = 0.8 + -5.8. Suppose 0 = -x - 4*x + 135. Let f = 26 - x. Which is bigger: j or f?
f
Let l be ((-110)/8)/(68/16 - 4). Which is smaller: l or -57?
-57
Suppose 14 - 4 = -5*r. Let q be (r/(-3))/((-17)/(-51)). Do q and 4 have the same value?
False
Let v = 254 + -254.2. Which is greater: 8/105 or v?
8/105
Let q = -96353/221 + 436. Is q <= 0?
False
Suppose 12*g - 3870 = 498. Which is greater: 725/2 or g?
g
Suppose 12 = 5*c - 3*k, -28*k - 16 = -5*c - 24*k. Is c at most 2/25?
True
Suppose 2*h + 3*h = -3*z + 12, -4*h = -3*z + 12. Let w = -1403 - -21044/15. Is w not equal to h?
True
Let b(u) = u**3 + 8*u**2 + 7*u. Let j be b(-6). Suppose -j = 5*x - 2*d, x + 2*x = d - 17. Let g be (x/16)/((-4)/16). Which is greater: g or 1/2?
g
Let q(l) = l**3 - 2*l**2 - 3*l. Let c(a) = -2*a - 14. Let b be c(-6). Let p be ((-36)/30)/(b/5). Let k be q(p). Which is bigger: k or -2/17?
k
Let b be ((-352)/(-24))/2 - 0. Which is smaller: 6 or b?
6
Suppose 0 = 25*j - 24*j - 1, 2*a + 3*j + 2487 = 0. Is -1244 at most as big as a?
False
Let j be 3 + ((-110)/(-105) - 6) + 2. Which is greater: -11 or j?
j
Suppose 0 = 4*a - a + 33. Let d(o) = -2*o - 10. Let w(t) = t. Let l(y) = d(y) + 3*w(y). Let s be l(0). Is a less than or equal to s?
True
Suppose 522 = -6*i + 15*i. Is i <= 4/7?
False
Let t = -58 + 58. Let f = t + -35. Is f at most -36?
False
Let n = -1149 + -666. Is n at least -1816?
True
Let i = 93 - 173. Let p be (-10)/(-45) + i*(-2)/9. Are 19 and p non-equal?
True
Let u = -907 + 906. Which is bigger: u or 1/277?
1/277
Let c = 677 - 683.82. Let k = -0.18 + c. I