d - 1. Let n be x(-5). Is n less than or equal to j?
True
Let w be (-6)/10 - (-4)/(-10). Let k be ((-1)/((-620)/45))/((-3)/(-8)). Which is smaller: w or k?
w
Let p = 250 - 237. Is -0.043 less than p?
True
Let m = -3087/26 + -764/13. Let g = -172 - m. Let r = 5 - g. Is -1 != r?
True
Suppose -16*g + 10 = -14*g. Let w be g/14*10/(-50). Is w less than 1?
True
Suppose -2*r - 3 = r. Let d be (2/48)/(r/(-2)). Let x(l) = -3*l**2 + 4*l - 2. Let u be x(1). Which is smaller: d or u?
u
Let x = 1 + -1. Let i = -42 - -41. Let h be 4*i/(-80) - (-2)/10. Which is bigger: x or h?
h
Let v = -360895/3303 + 178/367. Let q = v - -109. Let k be (1 + -1)*(-4)/(-32)*4. Is k greater than q?
False
Let u be 2/10 + (8 - 363377/44310). Is u > -1?
True
Let z(j) be the third derivative of -j**6/120 + 7*j**5/60 - j**4/24 - j**3/3 - 8*j**2. Let a be z(7). Which is smaller: a or -2?
a
Let v = -19607 + 2843001/145. Let s = 724/4495 + v. Which is greater: s or -1?
s
Let t = 31.6 + -36.6. Is t != -1/15?
True
Suppose 3*x = 2*p - 29, -p + 0*x = 3*x - 28. Let z = 182 + -162. Which is smaller: z or p?
p
Let o = -2325 - -2325.37. Is o < -0.2?
False
Let f = 0.16 - 8.16. Let j = f - -2. Let n = -7 - j. Are n and -3 nonequal?
True
Suppose -2*b + 28 = 2*k, 4*b - 2*k = 3*k + 38. Let x(v) = -v + v**3 + 7*v**2 - 4 - 1 - b. Let i be x(-7). Is -11 smaller than i?
True
Let r be (150/4)/15 + 6/(-4). Which is bigger: 15/38 or r?
r
Let b be -2 - (3 + -7 - 28). Let t be (15/(-25))/((-9)/b). Is t < 13/7?
False
Let d = -0.102 - -0.182. Which is smaller: d or -20?
-20
Suppose 2*d - 4 = -5*n, -4*n - 3 = 13. Suppose 3*l + 2*l - d = i, 37 = -5*i + 2*l. Let k(y) = -y + 7. Let s be k(13). Which is bigger: i or s?
s
Let p(i) = i**2 + 12*i + 2. Let u be p(-12). Let x be -4*1 - (-54)/u. Are x and 22 nonequal?
True
Suppose -w = -6*w - y + 386, 5*w - 388 = -3*y. Is 77 smaller than w?
False
Let i(u) be the third derivative of u**6/120 + 3*u**5/20 + 3*u**4/8 + 4*u**3/3 + 6*u**2. Let a be i(-8). Are 10/11 and a equal?
False
Let w = 1 + -1. Suppose 0 + 2 = 2*g. Let r be 6 + g + (0 - 3). Are r and w equal?
False
Let j(o) = 2*o**2 + 2*o - 17. Suppose 3*p + 79 - 64 = 0. Let m be j(p). Is 24 less than m?
False
Let h(k) = -3*k + 6*k + 9*k - 5*k. Let m be h(2). Let g = m - 15. Is g at most 1/9?
True
Let i = 2 + -2. Let v be 1 + -2 - (-10 + (-396)/(-30)). Which is greater: i or v?
i
Suppose -71 = 4*i + 605. Let x = i + 683/4. Let m = -10 + 13. Do x and m have different values?
True
Let x = 7/55 + -2/5. Let w = -1/77 + x. Is 1 less than or equal to w?
False
Let o(x) = x**2 + 18*x - 317. Let q be o(11). Let c = 1 - -1. Let t be (c/(-6))/((-2)/6). Which is smaller: q or t?
t
Let p be (-65)/10*(2 - 0). Let l = p + 6. Let u = l + 11. Is u at least 1?
True
Let c(p) be the first derivative of -p**4/4 - p**3 + 2*p**2 - p - 1. Let u be c(-4). Let a = 3/226 - -211/1130. Which is greater: a or u?
a
Suppose 1 - 6 = -a. Suppose a - 2 = k. Let b be (-12)/(-3) + (-2)/3. Do b and k have the same value?
False
Let y(l) = -l + 16. Let r be y(13). Suppose -r*v = -3*m - 39, v + 4*m + 7 = -5. Is 6 at least as big as v?
False
Let s(c) = -c**2 + 16*c - 61. Let g be s(10). Is g >= -1/202?
False
Let q be (-1)/(-27)*(-84)/56. Let p(u) = u**3 - 5*u**2 - 5*u - 7. Suppose -3*y + 5*y - 12 = 0. Let c be p(y). Is q less than c?
False
Let s = 16.86 + -16. Let a = -1 + s. Let o = 4.14 + a. Which is smaller: 2 or o?
2
Let u(d) = 13*d + 51. Let q be u(-4). Does q = 9/25?
False
Suppose -4*z = m - 111, 5*z = -2*m - 0*m + 141. Let j = -30 + z. Which is smaller: j or -7?
-7
Let t be 4/8*(4 - 14) + 4. Is t <= -9/44?
True
Suppose a - 124 = -3*a. Let d = -39 + a. Is d less than -26/3?
False
Let t be -333*(70/(-15))/(-7). Let o be (-4)/18 - t/270. Does 0.1 = o?
False
Let j(g) = -g - 7. Suppose 5*h = h. Suppose h = -4*i - 19 - 5. Let d be j(i). Which is bigger: 3 or d?
3
Let j be (-2)/(-3) + 1/3. Let u = -2 - j. Let g = 1 + u. Is -3 greater than or equal to g?
False
Let m be -1*(4*-1 + -2). Let u be m/(4 - 2)*1. Let c be u/(-6) + 1/2. Is -1/4 at most as big as c?
True
Let y = -7 - -8. Let s = -3 + 3.5. Let t = 2.5 + s. Is y bigger than t?
False
Let c(p) be the third derivative of -p**5/60 + p**3/3 + 10*p**2. Let j be c(-1). Which is smaller: -2/15 or j?
-2/15
Let p = -0.205 - -0.205. Which is smaller: p or 11?
p
Suppose -10*w - 234 = -13*w. Let y = w + -71. Which is bigger: -0.06 or y?
y
Let n = 0.52 + -4.12. Let w = n - -3.634. Which is smaller: w or -1?
-1
Let b = -5390 - -1816428/337. Which is greater: b or 1?
1
Let g = -7008 - -7009. Let t = 22 + -8. Is g != t?
True
Suppose 4*g + 3*x = 118 + 20, -5*x + 26 = g. Suppose -4*s - 4*u = 48, -3*s - 2*s + 3*u = g. Let j be -535*2/110 - 12/44. Which is smaller: s or j?
j
Let k = -1.3 - -5.3. Let i = 60.9 + -61. Which is smaller: i or k?
i
Suppose -3*z - 20 = 2*l, -4 = -50*l + 49*l + 2*z. Let h = -4 + 5. Which is bigger: h or l?
h
Let p be (-93)/279 - 2/12. Let q = -0.01 + -5.99. Which is smaller: q or p?
q
Suppose -l + 0 + 4 = 0. Suppose 133 = 4*u + 4*s + 37, 0 = s - 4. Suppose -3*h + u = -l*p, -p - 7 - 7 = -3*h. Is -13/5 less than p?
True
Let d be (2/(-4))/((-82)/(-164)). Do d and -34 have different values?
True
Let p(f) = -f. Suppose 3*c = 6*c + 6. Let i be p(c). Let d be ((-5)/i)/(6/(-12)). Is d < 4?
False
Let v be 50/(-4)*(-12)/10. Let k be (-2)/((-1)/(-6)*v). Which is smaller: k or 0?
k
Let v be (-6 - -4) + 2*1. Suppose 5*w + 70 = -0*w. Let f be (-6)/w*(-20)/15. Which is bigger: v or f?
v
Let m(g) = -g**3 + 9*g**2 + 1. Let b be m(9). Let l = 3 - b. Is l less than 9/5?
False
Suppose -4 = 3*o - 46. Suppose -z = -2*z + 50. Let v = z - 35. Is v greater than or equal to o?
True
Let x be ((-354)/(-472))/(2/(-104)). Suppose 4*r - 90 = -246. Are r and x unequal?
False
Let u(n) = 1 - 3 - 8*n + 9*n. Let k be u(10). Is 9 bigger than k?
True
Let k = -326 + 294. Are -1 and k unequal?
True
Suppose r = 3*j + 9, 2*j - 3*j = -r + 3. Suppose 0*a + 2*a = r. Is 5 less than or equal to a?
False
Suppose -4*f = f. Let o be ((-2)/4)/(-5 + (-28)/(-8)). Which is smaller: o or f?
f
Suppose 2*a = o + 190 - 209, 5*o - 39 = 2*a. Suppose 3*v - 15 - 3 = 0. Which is smaller: v or o?
o
Let n be (-30)/(-3) + -5 + (-29)/5. Which is bigger: n or -14?
n
Let p be (-499)/((-8)/88*-11). Which is greater: p or -497?
-497
Let q be (2 - 2/(-2)) + -1. Let b(p) = 3*p**2 - p - 4. Let d be b(3). Let a be (-2)/d*4/((-80)/(-25)). Which is bigger: a or q?
q
Let i = -8168869/1099 + 7433. Is 1 at least i?
True
Let j = -2 - -8. Let q be j/(-4 + -4 + 9). Let y be (-3)/(12/10)*q. Which is smaller: y or -16?
-16
Suppose -23 = -3*i - 4*g, 3*i + g - 6 = 11. Is 1 less than i?
True
Suppose 5*c = -10, -4*c = -5*u + 46 - 18. Suppose -2*k = k - 3. Which is smaller: k or u?
k
Let n = 459 + -442. Is -9 greater than n?
False
Let l = -1667/5 - -333. Let h = -7 - 47. Is l not equal to h?
True
Suppose 0 = 5*x - j - 9, 5*j + 19 = -9*x + 8*x. Suppose 115 - 493 = -d. Let y = 1897/5 - d. Which is smaller: y or x?
x
Suppose 19 = 6*s - 35. Suppose -r + g - 10 = 0, 4*g + s = g. Which is smaller: r or -15?
-15
Let w = -10.0463 + 0.0463. Which is smaller: -7 or w?
w
Let b be (-4)/5*((-550)/(-12))/55. Let f = -17.32 - -0.32. Let o = 12 + f. Which is greater: b or o?
b
Let k be 74/40 - (-2 - 4/(-1)). Is 1 greater than k?
True
Let y = 27 + -7. Suppose y*k = 21*k + 2. Let s be 7/28 - k/(-40). Which is smaller: 0 or s?
0
Let q(g) = -11*g**2 - 3*g + 2. Let y be q(2). Let b = y - -68. Let f = -23 + b. Which is smaller: -5/2 or f?
f
Let d = 32 + -20. Let g be -35 - -36 - 5/(50/(-116)). Which is smaller: g or d?
d
Suppose -2*x - 3*q = 16 - 18, -2*x + q = -2. Is -6/65 equal to x?
False
Let a(p) = -p**3 - 3*p**2 + p - 1. Let i be a(-3). Let y(t) = t**2 + 3*t - 1. Let w be (-4)/(0 - 4)*-3. Let m be y(w). Which is smaller: m or i?
i
Let j = 9722 - 184676/19. Which is smaller: j or 1?
1
Let f(b) = 3 + 5*b + 3 - b**2 + b**2 + b**2. Let j be f(-2). Do -2/149 and j have different values?
True
Suppose 2*s - 2 = 2*n - 3*s, 8 = n + 2*s. Does 9 = n?
False
Suppose -8*p - 543 = -479. Let i = -14 - -7. Which is smaller: p or i?
p
Let a be 2/10 - 118/(-10). Suppose 0 = -3*z + 2*r - 7 - 1, 3*r = -3*z + a. Is z less than 3?
True
Let o = 27 - 19. Let v be ((-12)/(-18))/(1/(-6)). Let r = 3 - v. Which is smaller: o or r