 = -0.261 - -0.441. Let c = s - -5.82. Suppose 3*u + 2*b + 4 = 0, u - 5*b - 4 = 6. Is u at least c?
False
Let u(g) = -2*g + 172. Let h be u(86). Is h at most 782?
True
Suppose 79 = 2*i - 21*h + 16*h, -4*i - h = -125. Which is smaller: i or 62?
i
Suppose -21 = 5*y - 156. Suppose -5*f = 5*o - 670, 3*f + 26*o - y*o = 382. Which is smaller: 128 or f?
128
Suppose 0 = t - 7, 0 = 5*q - 4*t + 88 - 65. Do -1973 and q have different values?
True
Let j = 0.22 + -0.16. Let n = j + -0.04. Let f = n - -0.98. Which is greater: f or -0.11?
f
Let s(b) = 3*b**3 - 3*b**2 + 8*b + 41. Let l be s(-4). Let g = -682 - -450. Which is bigger: l or g?
l
Let h = -62 - -36. Let s = 0.655 - -0.39. Let g = s - 0.045. Which is greater: g or h?
g
Let l = 403 - 110. Let k = l + -293.1. Is 134 less than k?
False
Let w = -238/3 + 80. Let b = 694 + -706. Let z be (-1060)/35 - b/42. Is z greater than w?
False
Let g = -4.1333 - -4.1833. Let j = -4 + 3. Let x be -1 - ((-3)/j)/1. Which is smaller: g or x?
x
Suppose -3*a + 36 = 3*o, -12 + 0 = 4*o. Is a at least as big as -3?
True
Suppose n - 6 = 2*p + 5, -n + 7 = -p. Suppose 2*j - n*t + 88 = 0, 5*j - 2*t = t - 211. Suppose 268 = -3*g + 148. Is g != j?
True
Suppose 17 - 76 = -o. Suppose -2*w + 314 = -14. Let r = w + -104. Which is smaller: o or r?
o
Suppose 0 = -53*y + 138 + 233. Is 105/16 >= y?
False
Let v = -1492 - -1471. Let a = -15 + -1. Which is smaller: a or v?
v
Suppose -2*x + 6*x = -3*p, -4*p = 5*x. Suppose 60*l - 1184 - 4111 = -675. Which is smaller: l or x?
x
Suppose -245*y - 11431 = 40754. Is y greater than -139?
False
Let y = -1192 + 1192. Let f be (-5)/(-10) - 162/322. Which is bigger: f or y?
y
Let p(c) = c**2 - 8*c - 10. Let l be p(9). Let n be 6*l/((-2)/(-2)). Suppose -273 - 182 = 63*o - 77. Is n not equal to o?
False
Let f be (3/(-9))/(141/(-2115)). Let m = 21 + -15. Let i = 4 - m. Which is greater: f or i?
f
Let i = -601 + 626. Let f = -11.5 - -11. Is i at least f?
True
Suppose x - 16 = -62. Let a = x + 9. Suppose -6 = 3*q, -783*b + 780*b = -5*q + 104. Which is smaller: b or a?
b
Let l = 8122 - 7937. Which is smaller: 1652/9 or l?
1652/9
Suppose -5*g - 50 = -5*z, 64 = g + 2*z + 47. Is -3/3920 greater than g?
True
Suppose o = 0, -3388 = 11*u - 7*u + 4*o. Let z be u/55 - (0 + 2/(-5)). Suppose -f = 5*p + 27, 0 = -4*f - 2*p + 7*p - 58. Does z = f?
False
Let i(r) = 2*r**3 - 31*r**2 - 20*r + 31. Let h be i(16). Let f be (90/(-25) - -4)*h/3. Which is bigger: -4 or f?
-4
Let z be 230/(-4) - (-1)/(-2) - 2. Let a = -28 - z. Let k(s) = 4*s**2 + s. Let c be k(-3). Is a equal to c?
False
Suppose 232*w - 32 - 17 = 183. Let r(v) = -326*v**2 + v - 1. Let j be r(1). Let n = -4886/15 - j. Which is smaller: w or n?
n
Suppose 0*c - 2*c + 8229 = 3*t, -3*t = -5*c + 20520. Let m = c + -16609/4. Does -45 = m?
False
Suppose -y + 4 = 5. Let j = -51 - -51. Suppose j = -12*t + t - 11. Is y greater than or equal to t?
True
Let b(g) = -g**3 - 8*g**2 - 3*g - 5. Let n(r) = r**2 + r. Let y(m) = -2*b(m) - 4*n(m). Let c be y(-7). Let a be (-226)/c + (-44)/33. Which is smaller: 0 or a?
0
Let c = -220 - -141. Let q = -118 - c. Let d = q + 39.6. Which is smaller: 0 or d?
0
Let n(i) = i**2 - 37*i - 66. Let s be n(40). Let l be (56/12)/((-3)/s) + 1. Which is greater: -84 or l?
l
Let n(o) = 2*o**3 + 187*o**2 - 87*o - 9. Let t be n(-94). Is -663 equal to t?
False
Let i = -234 - -329. Let g = 889 - 865. Suppose -94*m = -i*m + g. Which is smaller: 25 or m?
m
Let d be 13/(-26)*(5 + (-11459)/2226). Which is greater: d or 1?
1
Let g = -315 + 335. Let u = -266507/13 - -20521. Which is bigger: u or g?
u
Suppose 74 + 225 = -4*a - 5*z, 226 = -3*a - 2*z. Let j be (-28 + 2)*-2*15/20. Let k be (-6)/j + (-8757)/117. Which is greater: k or a?
k
Let n = -1088066/271 - -4015. Which is smaller: 1 or n?
n
Let o be (417/(-1251))/(1/237). Which is smaller: o or -481/6?
-481/6
Let u(h) = -h**2 - 10*h + 168. Let y be u(17). Is -273 at least as big as y?
True
Let q = 3068 + -2281. Which is smaller: q or 785?
785
Suppose 0 = 74*j - 70*j - 20. Let q be (-2)/(-10) + ((-62)/10 - j). Which is smaller: -10 or q?
q
Suppose 0 = -2*v - 2*b - 23 - 139, 0 = b + 4. Which is smaller: -70 or v?
v
Let h(w) = w**3 + 10*w**2 + 4*w - 26. Suppose 0 = -11*z + 6*z - 50. Let r be h(z). Which is greater: -65 or r?
-65
Let p = -41/16 + 2075/816. Let a = -53224 - -53223. Which is smaller: a or p?
a
Let g = 24873 - 24926. Which is smaller: -46 or g?
g
Let a be (-193)/2028 + (-9)/(-324)*3. Which is greater: -0.53 or a?
a
Let m = 2828/5 + -104381/185. Which is greater: m or -3?
m
Let d be ((-100)/2445)/((14/(-189))/((-12)/9)). Which is smaller: d or 0?
d
Let m(w) = -19*w - 82. Let j be m(-14). Let i be (-18)/(-3)*j/(-16). Is i != -68?
True
Let z be 129/516*(0 + (3 - -1 - -2)). Which is bigger: z or -13?
z
Let j = -104.76 - -181. Let v = 76 - j. Let d = v + 59.24. Is d bigger than -0.1?
True
Suppose -6*b + 11*b - 5*n = 0, -3*n - 7 = 4*b. Which is smaller: 6/1849 or b?
b
Let b be -4*(6 - 1106/(-35)). Which is smaller: b or -149?
b
Suppose -13*k + k + 3*x = -234, -5*x = 4*k - 42. Are -245 and k non-equal?
True
Suppose u + 63 = -4*k, -3*u - 61 = 319*k - 315*k. Let h = -0.1 - -8.1. Let b = h + -9. Which is smaller: k or b?
k
Let x = -23111 + 23120. Is x <= 537/64?
False
Let q = 353 + -351. Suppose -q*j - 15*b - 174 = -19*b, -5*j + b = 471. Do j and -93 have the same value?
False
Let n = -2899 + 2906. Is n < -11/3?
False
Let t = 25 + -172/7. Let o = -5444.7 - -5445. Is t <= o?
False
Let j = 387081/5 - 77763. Are -346 and j unequal?
True
Let c = -337 - -436. Let w = c - 695/7. Is -45/8 <= w?
True
Suppose 631 = -6*q - 719. Let l be 3 + (5 - (3 + q/(-20))). Is 0.2 at most l?
False
Let j be -1*(-2)/(-3)*108. Let g be 32/j - 638/(-18). Suppose -32*m = -g*m - 426. Is m != -143?
True
Let k(f) = 1. Let l(z) = 3*z**2 + 13*z - 14. Let r(p) = 6*k(p) - l(p). Let x be r(8). Let t = 7998/29 + x. Is t less than 0?
True
Let u(f) = f**2 - 5*f - 7. Let a(c) = -2*c - 2. Let l be a(-4). Let m be u(l). Let k = -3192/43 - -303283/4085. Is k <= m?
False
Let m be (-3 + (-1)/(-2))*(-36742)/(-936). Let l = 915/8 + m. Let d = l + -160/9. Is -2 <= d?
True
Let f = -10919 + 17962. Is 7044 smaller than f?
False
Suppose -5*g = 0, 10*m - 3*g - 1866 = 12*m - 8*g. Which is bigger: -931 or m?
-931
Let g be 476/(-10) + (3 - 34/10). Let w = 50 + g. Let o be 15/(-4) - (-6 + w). Is o <= -1?
False
Let a(p) = -p**3 - p**2 + 5*p + 2. Let v be a(-3). Let z = -6941 + 6934. Let c be (v/2)/(z/(-98)). Is c greater than 35?
False
Let m be 122/(-18) + 48/(-216). Which is greater: m or -59/9?
-59/9
Let r = 2 - 3. Let c = 9982067507/22037496 - 2/918229. Let h = -453 + c. Which is greater: r or h?
h
Let c(f) be the third derivative of -f**6/120 + f**5/6 + f**4 + 3*f**2 + 24*f. Suppose -a + 12 = -0*a. Let y be c(a). Which is smaller: y or -6/7?
-6/7
Suppose -16*b = 4*b - 100. Suppose -77 = -b*h - 287. Is -45 greater than h?
False
Suppose 0 = -4*i + 4*h + 48, i - 2*i + 9 = -2*h. Suppose -5*o + 380 = -i. Let y be 1/(-2) - o/(-166). Is 1 at most y?
False
Let j = -10106/203 + 348/7. Let m(r) = -r - 4. Let v be m(-7). Suppose -f = -v*f - 5*b + 8, -6 = -2*f - 4*b. Which is bigger: f or j?
j
Let p be (-3 - 0)/3*-8. Suppose -3*b = -5*j - 42, -b + j + 48 = 36. Which is greater: b or p?
b
Let n = 2788 - 3249. Is -5 != n?
True
Let z be 4*(-4 - (1 + -3)) - 108/(-12). Are -2/11471 and z nonequal?
True
Let r be (-21)/(12789/(-10626)) + -18. Which is smaller: 3/5 or r?
r
Let u be (-8 - (-15)/2)/(1/(-4)). Suppose r - 3*a = 74, r + 3*r + 3*a - 356 = 0. Let j be r/(-11) - u/11. Which is bigger: -7 or j?
-7
Let z be 60/8*8/6. Let o = 13 - z. Let s(q) = -2*q + 7. Let b be s(o). Is -2/83 <= b?
True
Let u be (8/(-5))/((-10)/((-500)/510)). Let r = 19 - 19. Which is greater: r or u?
r
Let x = -3482 + 3755. Is -0.5 < x?
True
Let h = -3.736 - 0.264. Is -1960 < h?
True
Suppose 605*q - 742004 = -4877784. Which is greater: -1 or q?
-1
Let y be (-22)/(-33)*-2*309. Let i = y + 9480/23. Is i at most 1?
True
Let f be (-3)/18 + (-18402)/(-36). Suppose f = -6*l - 125. Let i = l - -104. Is -4/7 at most as big as i?
False
Let h = 332943 + -332943.5. Let q = 0.2 + -0.15. Is q equal to h?
False
Let k be ((-4)/(-12)*12)/20 + 1/(-5). Are 3/532 and k non-equal?
True
Let w = -8860.05 + 8860. Is w less tha