ppose 2*a + 26 = -5*r - 0*a, x*r + 4*a = -28. Which is smaller: r or 0?
r
Let x = 4 - 1. Suppose -2*o - 19*o + 864 = 3*o. Which is bigger: o or x?
o
Suppose 0 = b + 362*y - 365*y + 18, -3*y + 18 = 3*b. Is -44/631 <= b?
True
Let s = -8681/70 - -124. Suppose -3*k = 2*t - 18, 3*t + 4 = k + 9. Suppose -k - 1 = 5*g. Which is smaller: s or g?
g
Let d = 39 - 51. Let c = 6 + d. Let m be (c/(-48)*-2)/(1/(-20)). Is 4 less than m?
True
Let m = -3 + -11. Let j be 13962/m - 2 - (4 + -6). Let u = 999 + j. Are u and 3 non-equal?
True
Let q = 149.2 - 1.2. Let u = 147 - q. Which is smaller: 40/7 or u?
u
Let q = -609 - -612.3. Let x = -3.4 + q. Is x not equal to 443?
True
Suppose 13*b - 136452 = 112*b - 11316. Do b and -1263 have the same value?
False
Let a = 16.07 - 0.07. Let u be ((-43450)/(-40) + 7)/(18/(-8)). Let b = u - -486. Is b >= a?
False
Suppose -42*t = -24*t - 187884. Which is smaller: t or 10439?
t
Let k = 2758 + -322. Suppose 17*n + 12*n - k = 0. Which is bigger: 82 or n?
n
Let y be (-6)/(-2 + 0 + -17). Suppose -3*x - 142 = 191. Let m = -111 - x. Which is smaller: y or m?
m
Let w(u) be the second derivative of -u**5/10 - 17*u**4/12 - 17*u**3/6 - 7*u**2/2 + 2*u + 18. Let x be w(-7). Which is greater: x or 3?
3
Suppose -n = -j + 13, 3*n + 6 + 9 = j. Suppose -v = o, -5*v + 3 = -4*o + j. Let z = -875/17249 + 3/367. Does z = o?
False
Let m be (1 - -124)*(-4)/(-10). Let g = 55 - m. Suppose 4*p - 5*k + 19 = 0, -3*p + 4*k = g*k. Which is smaller: p or 17?
p
Let o = -49/20 - -16/5. Suppose 1041*w - 839 = 797 - 595. Is o < w?
True
Let l be 36/(-28) + (-16)/(-14) - 6/7. Suppose -3*g - 2*g = -5. Let x be 12/(-63)*(g + -2). Which is smaller: x or l?
l
Let d(m) = m**2 - 5*m + 5. Suppose 5*c = -0 + 15. Let o be 26/8 - c/12. Let l be d(o). Are l and -3 equal?
False
Let n = 2573 - 2572. Which is smaller: n or 0.023?
0.023
Let f be 0/4 + 2/(-9). Let c(u) = -u**2 + u + 9. Suppose 0 = -5*x + 2*o + 15, -2*x = -3*o + 9 - 4. Let y be c(x). Is y less than or equal to f?
True
Let j = 3925 - 3830. Which is bigger: -8/7 or j?
j
Let q be 200/80 + (-9)/6. Which is greater: 1/261 or q?
q
Suppose -2*z - 4*m = 4 + 6, z - 10 = 3*m. Suppose -z = w + 1, -4*s + 2*w - 252 = 0. Which is smaller: -65 or s?
-65
Let x = 2235 + -2227. Let a be 85 - -2*(-1)/2. Suppose -x*i - a = -12*i. Is 19 greater than or equal to i?
False
Let y = -192.584 - -192.7. Which is smaller: y or 1/2?
y
Let q = -53.63 - 4.37. Are q and 14/9 nonequal?
True
Let a = 0.3 + 0.2. Let w = -573.59 + 6.59. Let x = 559 + w. Which is bigger: a or x?
a
Let g(s) = s**2 - 10. Let j be g(4). Let k be 71/j + (-23)/46. Is k >= 11?
True
Let z be (-3 - 5)/((-1)/3). Let v be (z/14)/(4 + 78/(-21)). Is v at least as big as -3/11?
True
Suppose -14*h + 12*h = 192. Let t be (45/2)/(-5)*h/9. Which is smaller: 189/4 or t?
189/4
Suppose -627 = -22*x - 2563. Let n = x - 17. Is n bigger than -105?
False
Let x = 739 - 812. Which is bigger: x or -74?
x
Suppose -2*j + 11*j + 20*j = -9*j. Is j bigger than -3/3658?
True
Suppose 2*r - 92 = -2*r. Let x be r/(-11) - -4 - 3. Is x equal to -0.1?
False
Suppose s = -f + 728, 18*s - 16*s - 3*f - 1426 = 0. Which is smaller: 723 or s?
s
Let y be 21/70*-1 + (-15582)/(-280). Which is smaller: y or 56?
y
Suppose -2*z - 3*z - 997120 = 0. Let q = -185065433/928 - z. Let a = 3/58 + q. Which is smaller: a or 0?
0
Suppose 3*h + 157 - 39 = 4*l, 0 = -4*h - 4*l - 232. Is h greater than or equal to -659/13?
True
Let n be (-2366)/12 - 7/(-42). Suppose 0 = -6*v - 20 - 1168. Is v smaller than n?
True
Let x be (-1424)/(-336) - (-3 - 22/(-7)). Are 4 and x unequal?
True
Let p be ((-72)/9 + 132/18)/((-4)/4328). Is 722 smaller than p?
False
Let u = 944135/11 - 85633. Which is bigger: 1/7 or u?
u
Let v = 0.23 + 0.77. Let z = 1.9 - v. Let t = -0.1 - z. Which is smaller: t or 40?
t
Suppose -28*d + 29*d = 4*g - 67, 4*g - 4*d - 52 = 0. Suppose 6 + g = c. Let p = -1 + 0.9. Which is smaller: c or p?
p
Let k(n) = n**3 - n**2 - 65. Let c be k(0). Suppose 93*f + 2808 = -2679. Is c greater than f?
False
Suppose 3*u = -18, 206*u = 3*h + 202*u - 47202. Which is bigger: 15725 or h?
h
Let i = 1214/3 + -67975/168. Suppose 0 = 58*k + 41 + 18 - 1. Which is bigger: i or k?
i
Let r = -102 - -101.946. Let a = -24.946 + r. Let n = -24.8 - a. Which is smaller: n or 9?
n
Let w be ((-191160)/50)/18*34/114. Let n = 531/19 + w. Do -0.1 and n have different values?
True
Let i = -246 + 40. Let n = i - -204. Which is smaller: 9 or n?
n
Let u be (6/52)/(1188/2574). Is u <= 1206?
True
Let k = -18066432 - -1987332819/110. Let a = k + -230. Is a equal to 1?
False
Let d = 114991/595 - 1353/7. Are d and -8/7 non-equal?
True
Suppose 0 = -5*h + 39 + 16. Suppose 4*r = -u - h, u = -r - 6 + 4. Is r not equal to -33/13?
True
Let u(i) = -82*i**3 - 5*i**2 + 3*i + 4. Let b be u(2). Let v = 665 + b. Which is bigger: -312/17 or v?
v
Let o(k) = 26*k**3 - k**2 - 2*k. Let s be o(2). Suppose 0 = -40*d + 44*d + s. Which is greater: d or -49?
-49
Let r be (-80)/24*12 - -4. Let q be 32/r + (-3)/27. Let k = -14 + 22. Which is smaller: k or q?
q
Let h = 171 + -169. Let v = -249 + 526. Is h smaller than v?
True
Suppose 179*q - 195 = 1774. Is q less than 328?
True
Let x = -2004 - -2004. Let q be ((-4)/(-258))/(4/(-90303)). Let o = 350 + q. Which is smaller: x or o?
o
Let p = 7.6716 + -0.6716. Are -223 and p non-equal?
True
Let d = 191 + -190. Let m be (3 - 2)*d/((-3)/6). Which is smaller: m or -34/15?
-34/15
Let n = 241.3 + -240. Let g = 1.285 - n. Which is smaller: 1/2 or g?
g
Suppose -j = -5*l + 18, 3*l - 19 + 1 = 3*j. Let q = -37 + 35. Is j greater than q?
False
Let w = -103 + 113. Let l be (-2)/((5/w)/(4/(-48))). Is -3/8 > l?
False
Let u = 1/4794 + -14389/33558. Which is smaller: u or 203?
u
Let z be -1 - ((-4)/(-12) + 2220/9). Is z != -257?
True
Let z(w) = -w**3 + 14*w**2 - 27*w + 37. Let h be -4 + -5 + 9 + 12. Let n be z(h). Which is smaller: n or -1/104?
-1/104
Suppose 0 = 18*h - 23*h - 5. Let u be h/((-4)/(-40)*5) - -3. Which is smaller: 1/38 or u?
1/38
Let o(b) be the first derivative of b**3/3 + 3*b**2/2 + 4*b - 46. Let g be o(-8). Let a = g - 45. Is a <= -2/57?
True
Let t(p) = 63*p - 6453. Let y be t(102). Is -3/5 equal to y?
False
Suppose -5*v - 3 = -3*x, v - 2 = x - 3*x. Let z(f) = -16*f - 65. Let n be z(-11). Let d = n - 447/4. Which is bigger: v or d?
v
Let l = -71442 - -71370.094. Let m = l - 0.094. Let x = -67 - m. Which is greater: -4 or x?
x
Let r(b) = 2*b**3 + 17*b**2 - 2*b - 11. Let q(u) = u**3 - u**2 - u - 1. Let x(s) = 3*q(s) - r(s). Let i be x(20). Is -16 not equal to i?
True
Suppose -a + 50 = -3*p, -2*p + 0*p - 4*a = 10. Let j(b) = -b**2 - 23*b + 32. Let u be j(p). Let z be 4 - 1 - (1 + u/52). Is z at least -2?
True
Suppose -25 + 312 = -25*y - 938. Is y greater than or equal to -54?
True
Let f be 6/74 - 0/(-1). Suppose 24 = o - 5*a - 1, -4*a = 5*o - 9. Suppose 0 = l - 0*l + 4*q - 1, o*q = -3*l + 3. Is l > f?
True
Suppose k - 14 + 13 = 0. Suppose 0 = 3*m - 2*m - k. Let t = -1879/14 - -134. Is m at most t?
False
Let y = -306567/4 + 77284. Which is smaller: 641 or y?
641
Let t = 408.85 - 408.8282. Which is smaller: -4/9 or t?
-4/9
Suppose -27 = -3*l - 3*a, 0 = -2*a - 2 - 4. Let n be ((-6)/4)/(3 + (6 - l)). Which is smaller: -2/41 or n?
-2/41
Let h(x) = x**2 - 3*x + 1. Suppose 5*v = m + 4 + 11, -3*v = 2*m - 22. Suppose -u - 3*y = 2, 0 = y - 2 + m. Let s be h(u). Is 29 > s?
False
Let d(n) be the first derivative of 4*n**2 - 40*n + 54. Let a be d(5). Is -3/31 greater than or equal to a?
False
Let i be 9 + (-7 - -2) + (2 - 2). Suppose 29 = i*j + 33. Does 1/384 = j?
False
Suppose -2*t + 5 + 27 = 0. Suppose 5*c + 3*c = -t. Let g be (-74)/73 + (-1 - c). Is g at least -1?
True
Suppose 7*o = 374 - 346. Suppose -7 + 47 = 5*g. Suppose -g*u = -4*u + v + 14, 5 = u - o*v. Is -1 less than or equal to u?
False
Suppose 3*g - 4*x = 1, g - 2*x = -2*g - 1. Let v = 19559/99687 + -10/2121. Which is smaller: g or v?
g
Suppose 0 = -5*i + 15*i - 0. Do i and -3/4759 have different values?
True
Let o = -22/509 + 5853/217852. Is o at most 0?
True
Suppose 1390 - 71824 = 86*l. Is -819 <= l?
True
Let j = 325 + -313. Suppose -j = c + 11*c. Is c at most as big as -20/39?
True
Let l = -0.045 - -0.005. Let s = -0.01565 - -24.01565. Which is greater: s or l?
s
Let k be 2/(4 - -6) + (-96)/280.