 b = 5*s + 5*c. Let o = 3 - 1. Is o > s?
False
Let o(k) = -6*k**2 + 123*k - 21. Let b be o(31). Is b at most as big as -1975?
False
Let f be (-132)/(-55) - 2/5. Suppose f*r = -2*r + 60. Let o = -0.18127 + -2.81873. Are o and r unequal?
True
Suppose -s = -h - 715, 5*h - 2*s + 4089 = 496. Which is greater: h or -716?
-716
Let o = -937152/5877655 - -408/2753. Is 1 >= o?
True
Suppose -34107 - 123141 = 32*m. Is -4914 > m?
False
Let c = -24297 - -12745. Let n = 69871/6 + c. Let v = -93 + n. Is 3/4 <= v?
False
Let x = -8/537 + -2341/23091. Let t = -33/86 + x. Suppose 0 = m + 4*v - 13, -m = -5*v + 2*v + 8. Which is smaller: t or m?
t
Suppose 336*m + 19409 = 46*m + 3459. Let p be (-2 + -1)/(2/38). Which is smaller: p or m?
p
Let a be (1400/(-98))/((-576)/(-210) - (1 - -2)). Which is greater: a or 55?
a
Let d be 2*(-12 - 3126145/(-260513)). Is -1 >= d?
False
Let r = -1 - -0.9. Let j = -143 - -175. Let m be ((-54)/(-45))/(j/(-30)). Is m at least as big as r?
False
Suppose 5*f = 2*l + 27, 54 = -5*l - 99*f + 98*f. Which is smaller: l or 94?
l
Let i = 12817 - 17561. Is -4745 != i?
True
Let w be (532/(-84))/((-1)/3). Suppose -w*o - 11*o = 9090. Which is smaller: o or -302?
o
Let k be (-3 - -6) + (-1 - 0). Suppose -11*t - f = -9*t - 6, 3*t = -3*f + 9. Suppose 0 = -g + t*o - 24, -54 = g + k*g - 3*o. Is -16 != g?
True
Let y(b) = -b**3 - 17*b**2 + 18*b + 10. Let k be y(-18). Let p = k + -9. Let z(g) = -6*g + 113. Let l be z(19). Which is greater: l or p?
p
Let p be 3996/2088 - 1/(-2). Let f = p + -577/203. Which is bigger: f or 2.8?
2.8
Suppose 13*m = -224 + 29. Let o be 5/m*21/(-7). Which is bigger: 4/113 or o?
o
Let c be -9 + 4 - 4 - 8654. Is c less than or equal to -8663?
True
Let b be 2/(2/3) - 7/(-84)*58. Which is greater: b or -24?
b
Suppose -5 = 2*b + 3*b. Let x(o) = o**2 - 11*o + 18. Let l be x(-11). Let a be l/(-132) - (-6)/18. Is b at least as big as a?
True
Let t(p) = -16*p + 4. Let m be t(-5). Suppose 11*v + m = 14*v. Suppose -5*a = -o + 16, -v = o - 5*o + 2*a. Which is smaller: 8 or o?
o
Suppose 3*i = -0 - 3. Let a(l) = l**3 + l + 2. Let p be a(-3). Let v be (31/i)/(-29 - p). Which is smaller: 32 or v?
v
Let v be (19/133 - (-13018)/210) + 2/3. Is 64 > v?
True
Let b = -5756 + 5690. Which is greater: b or -324/5?
-324/5
Let n be (-24641)/(-246) + 1/(-6). Let k(d) = -d**3 + 5*d**2 + 2*d - 8. Let q be k(6). Let g = 67 - q. Is g < n?
True
Let m(c) = -c**3 + 3*c**2 - 19*c + 85. Let a be m(9). Let s = a - -573. Which is smaller: s or -1/547?
-1/547
Let y be 17/((-170)/20) + (-747)/(-372). Does y = 0?
False
Let w = 14 - 11. Let u be (-18)/(-2)*(356/801 + (-4)/18). Which is greater: u or w?
w
Let h(i) = 69*i - 5728. Let d be h(83). Which is greater: -2/27451 or d?
-2/27451
Let m(r) = 26*r + 48. Suppose 0 = -7*l - 6 - 8. Let c be m(l). Which is smaller: 4 or c?
c
Let j = 6211 + -6878. Do -667 and j have the same value?
True
Let u = -1.2005 - -1.2505. Which is bigger: 308/9 or u?
308/9
Let p be (-15)/5*((-4)/1 + 3). Suppose -3*h = -2*h + 3*o, -p*h = -2*o - 33. Suppose 5 = 7*r - h. Is 3 equal to r?
False
Let c be (129/(-2))/((-18)/(-24)). Let a = -651 + 563. Which is smaller: a or c?
a
Suppose 3*r - 60 = 13*r. Let c be (-1)/(9/r)*-170. Do c and -112 have the same value?
False
Suppose -9*b = -42 + 69. Let i be b + (1104/(-56))/(-6). Let g(o) = 21*o + 1. Let c be g(1). Which is smaller: c or i?
i
Let u = 2 - 11/5. Let a = -4.0374 - -0.0374. Is a < u?
True
Let i = -1531.6 - -1530.6. Do 676 and i have different values?
True
Suppose 2*j - 10 = 5*b, -2*j + 4 = j - 2*b. Let y be 12/(-1198)*6/18. Let o = y + -1168/8985. Which is greater: j or o?
j
Let s be (-108)/(-144)*(-24)/567. Is s less than or equal to 254?
True
Let k = -3309/191395 + 14/1895. Let m = -2 - -2. Suppose m = -2*h - 2. Is k > h?
True
Let a = 6 + -2. Suppose -a*y - 10 = -2. Suppose 0 = 277*j - 279*j + 3*s - 10, 4*j - 2*s = -12. Is j at most as big as y?
True
Let c(x) = 2*x**2 - 15*x + 14. Let g be c(11). Let y = g + 34. Suppose -2*i + y = 87. Which is greater: 21 or i?
21
Suppose 24*w + 1992 = 3570 + 2670. Which is bigger: w or 184?
184
Let d = 12.5339 - -0.1661. Let g = -1.8 - 11.2. Let x = g + d. Which is smaller: x or 0.1?
x
Let v(f) be the first derivative of f**2/2 + 31*f + 6. Let t be v(0). Suppose 0 = 9*o - 4 + t. Is -8 less than o?
True
Let w be 60/34*162/(-405). Is w less than 3/11?
True
Let m = 41.95 + -39. Let i = m + -3.05. Which is smaller: i or 2.79?
i
Let h be (-11)/(132/(-56))*-3. Let a = h + 15. Suppose -6*w - a = 5. Is w < -2?
False
Let l(s) = 4*s**3 - 86*s**2 + 416*s + 8. Let j be l(5). Which is smaller: 434 or j?
434
Let o be (-2)/(-8)*(12 + -8). Let t be (0/2 + o + -2)*1. Which is bigger: -0.016 or t?
-0.016
Suppose -2*x - 25 = -5*x - 5*n, x + 5*n - 5 = 0. Let f(g) = 3*g - 26. Let k be f(x). Let h be (-2)/(-10) - ((-415)/50 - k). Is 12 smaller than h?
True
Suppose 0 = -4*v - 18*b + 17*b + 217, -5*v + 275 = 2*b. Let j be 49/v + -2*1/2. Are 0 and j equal?
False
Let k = 110688.1 - 110688. Let d = -51 - -111. Are k and d unequal?
True
Let o be ((-4)/(-70))/((-72)/168). Is o smaller than 2563?
True
Let o(p) = -p**2 + 19*p - 79. Let d be o(7). Let b(j) = -j - 4. Let s be b(-5). Let y be s*3 + -8 + 9. Is d less than y?
False
Let v = 3274169/9150 + -2147/6. Let z = v + 3141/138775. Which is bigger: z or 1?
1
Let v = 0.31 - 12.31. Let x = -1454.93 - -1443. Let n = x - v. Which is bigger: n or 2?
2
Let q = 15 - 12. Suppose -8 = 3*y - 17. Suppose y*z + r - 150 + 27 = 0, 209 = 5*z + q*r. Which is greater: 39 or z?
z
Let c be (-1)/2 + 106/208. Let y(w) = -15*w - 179. Suppose 321*s - 313*s + 96 = 0. Let z be y(s). Is z greater than c?
True
Suppose 5*q - 257*u + 258*u + 10 = 0, 3*u + 19 = -4*q. Which is smaller: 2/29165 or q?
q
Let f = -355801/9 + 39593. Which is smaller: f or 61?
f
Let t = -744 - -743. Which is bigger: 154/13 or t?
154/13
Let m = -188 - -197. Let s be (-6)/m*(-15)/(-20). Is 22 >= s?
True
Let h be 988/164 - 3 - 4. Let z = -161/123 - h. Suppose -4 = -5*b + b. Is b <= z?
False
Let b(q) = -5*q**2 - 192*q - 603. Let y be b(-42). Which is bigger: y or -1361?
y
Let t be (1 - 12/2) + 6. Suppose -i + 5*k + 2 = 0, -2*i - 17 = 5*k + 9. Let f be 10/10*i/(-30). Is f equal to t?
False
Suppose -10*u - 520 - 455 = 2155. Suppose 4*q = -3*i - 952, -i = i + 5*q + 644. Which is greater: i or u?
i
Suppose -2*h + 447 - 443 = 0. Suppose -31 + h = 29*a. Is a greater than or equal to -371?
True
Let f = 8198 - 16215. Is f less than -1?
True
Suppose 26*s - 11712 = 18*s. Let y be (-4)/s*-3*(-9)/(-6). Is y <= 1?
True
Suppose 0 = 2*l - 39*w + 36*w + 6495, 0 = 4*l + 5*w + 13023. Is l < -3252?
False
Let w = 160 - 151. Let x be (-282)/(-21) - -10*w/(-315). Which is smaller: 14 or x?
x
Let m(c) = 14*c**3 - 17*c**2 - 6*c - 86. Let o be m(-6). Is o > -25796/7?
False
Let o be (-3)/(-15)*(-1014)/(-12). Which is bigger: 17 or o?
17
Let z = -0.09 - -9.09. Let b(u) = 13*u + 43. Let g be b(-3). Let o(n) = -13*n + 51. Let y be o(g). Is z >= y?
True
Let b = 12 - 50. Let l = -37 - b. Suppose 5*h = 1 - l. Which is smaller: 3/11 or h?
h
Suppose -2*w - 24 = z, z = -4*w + 6*z - 20. Let y = -14 - w. Let u be (-129)/21 - 3 - y. Which is greater: -6 or u?
u
Let a be 18*((-1540)/132 - (-1 - 11)). Let u = 1679 + -8369/5. Is u bigger than a?
False
Suppose -4*c = l + 4, 5*c - 2*l = 2*c + 8. Suppose c = d + 174 - 38. Let u = d - -137. Which is smaller: u or 3?
u
Suppose -223372 + 33508 = -12*m. Let x be ((-14)/3 + 2)/(4/m). Let f = x - -115950/11. Which is greater: -6 or f?
-6
Suppose 17 = 3*m + 5. Let b be 3*(-4)/15 + m/10. Is -7/17 <= b?
True
Let s = -298 - -318. Let x be 2328/s - 6/(-10). Which is greater: 118 or x?
118
Let l(r) = r**3 + 5*r**2 + 2*r + 4. Let b be l(-5). Let s be 2/(-5)*(-5)/b. Let y be (-5 - -4)*((-40)/(-8) - 7). Is s not equal to y?
True
Let o = 441314/4021821 - 88/801. Which is greater: 1 or o?
1
Suppose 3*d + 5*y = -11 + 31, 5*d - y + 4 = 0. Let f(x) = -x**3 + 7*x**2 + 10*x - 12. Let n be f(8). Let j be (-34)/(-36) + (-2)/n. Which is bigger: d or j?
j
Let f(m) = -m**3 + 6*m**2 + 8*m + 14. Let l be f(7). Let x = -12 - l. Let k = -30 - x. Which is smaller: k or -2/3?
-2/3
Let w(h) = -77*h**3 + 12*h**2 - 9*h - 14. Let a be w(2). Which is smaller: -602 or a?
-602
Let p = -155220 - -8692035/56. Let d = p + 41/8