6)/w)/((-3)/15). Let u = -38 + k. Is u less than -1/6?
False
Let j be (-2)/((-1)/12*-3). Let o be -7 - (-7 - (-1 - 9)). Which is smaller: o or j?
o
Let y(q) = -q**3 + 26*q**2 - 2*q + 45. Let x be y(26). Which is smaller: x or 18?
x
Let p(g) be the third derivative of -g**6/40 - g**5/15 - g**4/6 - g**3/2 + 19*g**2. Let q be p(-2). Which is smaller: 14 or q?
q
Let x be (-126)/352 + -15 + 14. Let l = 13/16 + x. Which is bigger: l or -1?
l
Let l(w) = -w**2 + 3*w + 82. Let g be l(10). Are g and 2 equal?
False
Let f = -242 + 239.5. Is f smaller than 1?
True
Let p be 1*(-1 - 0) - 138/(-150). Let a be (-1*2 - -3) + 1. Suppose -3*x + a = -x. Which is greater: x or p?
x
Let c be ((-825)/(-273) - 3)/((-48)/72). Which is smaller: 0.2 or c?
c
Let y be (8/280)/((-3)/(-10)). Let r = 4 - 5. Which is bigger: y or r?
y
Let q = -83 + 106. Are 27 and q unequal?
True
Let b = -1447 - -94052/65. Is b greater than or equal to 1?
False
Suppose 0 = k + 146 - 267. Does k = 121?
True
Suppose 8 = 3*z - 4*z + 2*l, -4*l = -4*z - 20. Let b be (-3)/4 + z/8 + 2. Which is smaller: -1/64 or b?
-1/64
Let b = -1364 + 1266. Which is greater: b or -104?
b
Suppose 0*k = -5*k - 3*k. Is -1/93 greater than k?
False
Let y = 78 - 77.9. Let j = 0 - -0.23. Let k = j + -0.06. Which is smaller: y or k?
y
Let n be -1 + 10 - (2 - 3). Let h be ((-16)/(-20))/(4/n) + -6. Which is smaller: h or -3?
h
Suppose 0 = 2*o - r + 1133, 4*o + 1986 + 265 = 5*r. Is -570 not equal to o?
True
Let r be (-34)/(-72) - (-2)/(-8). Suppose -19*w - 42 = -16*w. Let a(d) = d**2 + 12*d - 27. Let i be a(w). Which is greater: r or i?
i
Let r = 1458/5 + -292. Which is bigger: r or 1?
1
Suppose -3*c = -3*z + 591, -5*c - 4*z - 1015 = z. Which is bigger: c or -204?
c
Let h(d) = -d**3 - 5*d**2 + 5*d + 4. Let a be h(-8). Is a greater than 156?
False
Let f = 12244 - 404092/33. Which is smaller: -1 or f?
f
Let f(v) = -v**3 - 3*v**2 + 3*v - 2. Let x be f(-4). Suppose 51 = x*o + o - 3*b, -b - 53 = -4*o. Let q = o + -9. Is 0 < q?
True
Let p = 35 + -7. Let v(q) = -6*q + 3. Let h be v(7). Let n = p + h. Which is greater: n or -12?
n
Suppose 4*c - 2*g - 9*g + 5003 = 0, 0 = 2*c + 4*g + 2492. Which is bigger: c or -1250?
c
Let c = 1598 - 1601. Is 45 at most c?
False
Let v(f) = f - 11. Let g(y) = 3*y - 4*y - 1 + 2*y. Let l be g(7). Let o be v(l). Which is bigger: -4 or o?
-4
Let p = 219 + -219. Which is greater: p or 22/23?
22/23
Let l = 3/590 + 1033/28910. Let c = 157/245 - l. Which is bigger: 0 or c?
c
Let r = 18 + -17. Is 4.7 < r?
False
Let c = -572 + 564. Is c bigger than -1?
False
Let b(r) = -54 + r + 56 + 25. Let h be b(-4). Do h and 23 have different values?
False
Suppose 3*p + 223 = -53. Let x be (16/p*-1)/(-2). Suppose -5*t + 10 = -5*f, 3*t - 5*f - 10 + 2 = 0. Which is greater: t or x?
t
Suppose n - 2*j - 268 = -3*n, 0 = -2*j + 4. Which is bigger: 61 or n?
n
Suppose 1463*v + 492 = 1451*v. Let a be -4*2/(12/63). Are a and v nonequal?
True
Let v = 5.223 + -0.093. Let r = 0.13 - v. Let j = r - -5.2. Is 0.1 equal to j?
False
Suppose 0 = 5*i - 4*m - 76, 0*m = 2*i - 5*m - 44. Suppose g - 4*v = -12, v = 4*g + 3*v - 6. Suppose -4*d + g*d = -48. Do d and i have different values?
False
Let w be ((-2)/(-4))/(44/(-16)). Suppose 0*r + 3 = 3*r. Suppose -3*k = -v - r - 1, -3*v + 4 = k. Is w >= k?
False
Let c = -43 + 55. Suppose -c*n = n + 598. Which is smaller: -45 or n?
n
Suppose -316*h - 664 = -314*h. Which is bigger: -334 or h?
h
Let r = 347/57 + -14407/57. Which is smaller: r or -246?
r
Suppose -6*m - 4 = -x - 2*m, 4*x - 3*m = 3. Let g(u) = u**3 + 2*u - 8*u**2 + 4*u - 3 + 9 + x*u. Let z be g(7). Is z less than or equal to -2?
False
Let b(z) = -28*z - 5. Let h be b(-1). Let q = -6 + h. Suppose 2*r + 0 + 6 = 0, -i - 4*r = -4. Is i bigger than q?
False
Let g be 2 - (2/(-10))/(25/(-250)). Do g and -15/17 have different values?
True
Let h(j) = 2*j**3 + 3*j**2 + 3*j. Let w be h(-1). Suppose -3*m = -0*m - 105. Let p be (w/(-5))/(7/m). Is p greater than or equal to 3/5?
True
Let j(v) = -v + 12. Let d be j(7). Let r be (2 + 18/(-15))/(8/20). Suppose r*q = -q - d*l - 43, -4*q - 9 = -3*l. Is -5 <= q?
False
Suppose -20 = 4*a - 2*a. Let y(p) = -2*p - 20. Let i be y(a). Let n be ((-8)/(-180))/(1/10). Which is bigger: i or n?
n
Let r(j) = j**3 - 8*j**2 + j - 7. Let b be r(8). Let p be (30/880)/(b/(-4)). Which is smaller: 1 or p?
p
Let n be -3 + (-4)/((-84)/(-1941)). Let d = 96 + n. Let o(q) = -2*q**2 - 27*q - 11. Let w be o(-13). Is w < d?
False
Suppose 3*n - 5*y + 9 = 44, -4*n = -4*y - 44. Let f = n - 20. Let c be 69/15 + (-4)/f. Is c smaller than 7/2?
False
Let d be (-22)/(-66) - (-47)/3. Suppose 5*l + d = -2*r + l, -12 = 3*l. Which is greater: -1 or r?
r
Let l(y) = -2*y + 45. Let o be l(23). Let a = -201/7 - -29. Is a at least o?
True
Suppose 6*q = 3 + 3. Let n = -4 + 2. Let w be n*((-196)/104 - -2). Which is smaller: w or q?
w
Let f(a) be the third derivative of a**4/24 - 5*a**3/6 - 19*a**2. Let j be f(6). Is j bigger than -1/4?
True
Let x = 8.02 + -7.8. Let y = x - 0.46. Is 0 smaller than y?
False
Let r be ((-9)/(-18))/((-1)/6). Let b = r - 3. Let p be (-9)/b*4/(-6). Is 3 != p?
True
Let x(m) = -m + 18. Let p be x(14). Let y be (-12803)/9156 + (-1)/p. Let z = 2/109 - y. Is 2 less than z?
False
Suppose 3*w + 4*h = 20, 4*h + 28 = 5*w - 2*w. Suppose 20 = -w*c - 2*c. Let d = -95 - -278/3. Is c at least as big as d?
True
Let q = 22 - 228. Let d = -10093/49 - q. Is 0 bigger than d?
False
Let s(u) = -u**3 - 22*u**2 - 24*u + 15. Let j be s(-21). Is j >= 78?
True
Suppose 0 = 8*o - 12*o + 508. Let x = o - 632/5. Let p be 1/1*1 + 0. Is x <= p?
True
Let z be (22/8 + -3)/((-6)/1383). Let n = z - 58. Suppose s + 0*s = 0. Are n and s unequal?
True
Let c = 121/210 - 3/5. Suppose 4*u = 7*u. Is c at least as big as u?
False
Suppose 0 = 5*q - 27 - 23. Let l be ((-14)/(-140))/(6/q). Let j be ((-17)/51)/((-2)/(-6)). Which is smaller: l or j?
j
Let p(a) = a**2 - a - 2. Let f(n) = 2*n**2 - 2*n - 4. Let d(l) = 3*f(l) - 7*p(l). Let y be d(2). Let i be 50/(-15) + 3 + 1. Is i <= y?
False
Let y be (-9939)/(-2)*(-1 + (-11)/(-15)). Let h = -1320 - y. Are 5 and h equal?
False
Let g(k) = -k**2 - 2*k + 2. Let p be g(4). Let m = 17 + p. Let z = -4/145 - 2449/580. Which is smaller: m or z?
m
Let v = 166/15 - 157/30. Is v > 7?
False
Suppose 4*x - 3*j + 5 = 84, -4*j + 56 = 2*x. Do 20 and x have different values?
True
Let a = 2833/8 + -1397/4. Which is bigger: 0 or a?
a
Let g be (140/25)/((-2)/10). Let z = 91/3 + g. Let h = 1 - -1. Which is smaller: h or z?
h
Suppose -3*x - 371 = -293. Suppose -n + 16 = -s - 12, 3*s = 2*n - 80. Which is smaller: s or x?
x
Let n = -7 - -7. Let f = 29/1683 - 1/33. Is f greater than n?
False
Suppose -58*o - 12 = -55*o. Suppose 3*q - 1 = -10. Which is greater: q or o?
q
Suppose 10*k + 205 + 115 = 0. Is k < -35?
False
Suppose 0 = z + 5*z. Is 1/380 at most as big as z?
False
Let c = 2 + 3. Suppose 7 + 13 = c*g, -g = -2*x + 6. Let k be (8/(-10))/((-1)/x). Is k not equal to 4?
False
Suppose 24 = 10*n + 4. Is n less than 61?
True
Suppose 5*m + 5 = -5*q, -4*m + 7 = -q - 7*m. Suppose -6 = q*g, -5*g = -2*a + 3*a + 31. Is a greater than or equal to -8?
False
Let m = -4760214/482053 - -474/3371. Let b = m - -102/11. Is -1 greater than b?
False
Let j = 2.6 + -0.6. Let n = 82 + -67.8. Let z = -14 + n. Is z at least j?
False
Let s(t) be the second derivative of -5*t**4/6 - t**2 - 22*t. Let l be s(1). Which is smaller: -8 or l?
l
Let v(f) = -f**3 - 8*f**2 + 7*f - 16. Let u be (-23)/(-5) - 6/(-15). Suppose t = -u*j - 4*t - 45, -4*t = 0. Let m be v(j). Is m at least as big as 11?
False
Let z(h) = 3*h + 55. Let u be z(-18). Is u < 2/35?
False
Let b(u) = -u**2 + u + 10. Let k be b(5). Let j be (k/25)/((-21)/5). Is j smaller than -2/5?
False
Let f = -1 + -2. Suppose 9*g - 10*g - 2*k - 1 = 0, 0 = -5*g - 3*k + 2. Is g greater than or equal to f?
True
Let z(j) = -j + 20. Let q be z(20). Which is greater: q or -39?
q
Let q be 1 - 2 - 49/(-47). Let r = 8.84 - 9. Let y = r - -0.26. Are q and y equal?
False
Suppose 3*p + 39 = 6*p. Let i = -115 - -38. Let c = -63 - i. Is p <= c?
True
Suppose -3*a = 5*z - 608, 0*z + 487 = 4*z + 3*a. Suppose 4*v + 5*x = 203, -2*v + z = -5*x + 42. Is v < 48?
True
Let l(w) = -3*w - 1. Let v be l(-1). Let d be (v/(-6))/((-2)/6). Let f = -54 - -272/5. Is