-4*n + 2*z. Is n equal to 11?
False
Let s be (3/(-6))/(-3 + 1). Which is greater: s or 19?
19
Let t = -0.6 - -0.6. Let j = t + 0. Which is smaller: -7 or j?
-7
Suppose 2*h + 2*n + 14 = -3*n, 0 = -2*h - n + 2. Suppose h*r = -5 - 1. Let a(p) = p**3 + 12*p**2 + 51*p + 150. Let b be a(-8). Are b and r nonequal?
False
Suppose -d = -74 - 92. Let s = d + -1160/7. Let j = -76 + 76. Which is bigger: j or s?
s
Let c be (0*(-2)/(-10))/4. Is 2/255 less than c?
False
Let o = -57 + 87. Let x = -19 + o. Suppose 44 = 3*g + 2*y, -3*y = 4*g - 47 - 13. Which is smaller: x or g?
x
Let q = -1 - 5. Let m(j) be the third derivative of -j**6/60 + j**5/4 + 5*j**4/24 + 19*j**3/6 + 20*j**2. Let w be m(8). Which is smaller: q or w?
q
Let u = 30.9 - -0.1. Let a = -32 + u. Which is bigger: a or -3?
a
Let f be (-4)/14*-14 - 27/1. Is f at least -23?
True
Suppose 0 = 2*w + 5*f + 17, 3*w = -3*f + f - 20. Let q = w - 10. Let k be (-4)/q + 10/(-8). Is -1 at least as big as k?
True
Let i(k) = k**2 + 19*k + 106. Let o be i(-15). Is 47 at most o?
False
Let l = -2/579 - 1052/30687. Let i(q) = q**3 + 6*q**2 + 6*q + 4. Let d be i(-5). Is l less than or equal to d?
False
Let i be (-8)/10 - (-12)/15. Suppose -5*s + 4*s + 1 = i. Which is smaller: -3/19 or s?
-3/19
Let m = 909 + -909. Is m less than 67?
True
Suppose 4*y = 4*f - f + 4, -y = 3*f - 1. Let n = -0.8243 - -0.4243. Is n >= f?
False
Let y be -2 + (-24)/(-5) - 1. Let h be 14 + -9 - -1 - 5. Is h > y?
False
Suppose 0*j + 16 = j - 5*y, 4*y + 8 = 0. Suppose -3*v - j = 3*t, -4*v + 5*t + 33 = 5. Is v equal to -0.02?
False
Let g(b) = -b + 3. Let p be g(0). Let z be (p/((-12)/(-4)))/(-1). Which is bigger: z or 1/5?
1/5
Let c(m) = m**3 - 2*m**2 - 11*m - 3. Let z be c(4). Let a = -14 - z. Let d = -39/190 + 1/10. Which is smaller: a or d?
d
Let v be 48/(-12) + (-3)/((-12)/1456). Is v at most 359?
False
Let z be (6/18)/((-3)/(-81)). Suppose 0 = k + 2*f + 2*f - 8, -f = 0. Which is greater: k or z?
z
Let y be 6/8*2*(-318)/(-53). Which is greater: y or 1?
y
Let s = 1.499 - 143.299. Let c = s + 142. Does -2/11 = c?
False
Let o = -330 - -335. Suppose 2*m + 2*t + 2 = 0, -3*m + t = -4*t - 5. Suppose o*s + s = m. Which is greater: s or 4/3?
4/3
Suppose -7*y - 4*y = 14*y. Which is greater: 112 or y?
112
Let f(i) = -i**2 - 3*i + 6. Let q be f(-4). Suppose -5 - 10 = -3*g. Let t = g - q. Is 7/3 smaller than t?
True
Let m(k) = k**2 + 0*k**2 - 2 + 3 + 4*k + 2*k. Let a be m(-6). Suppose 5*c = -1 + 16. Which is smaller: a or c?
a
Let q be (-2 - -1)/(3/15). Let h(s) = s**3 + 5*s**2 - 2*s + 4. Let z be h(q). Let j = 0 - z. Are -14 and j equal?
True
Suppose -3*t = -4*t. Let g be -2 - 68/(-36) - t. Let l be 0/(-4*2/(-4)). Which is bigger: l or g?
l
Let q = 6978 - 6978. Let c = -256/69 + 1/23. Which is smaller: q or c?
c
Let b(l) = -3*l**2 + 5*l + 7. Let w(n) = 5*n**2 - 11*n - 13. Let g(q) = 7*b(q) + 4*w(q). Let s be g(-7). Which is smaller: s or 8?
8
Let o(k) = -2*k + 2. Let l be o(4). Let c(p) be the first derivative of -p**3/3 - 15*p**2/2 - 55*p - 23. Let q be c(-10). Which is greater: q or l?
q
Let d(x) = x**3 + 29*x**2 - 34*x - 126. Let j be d(-30). Is j > -64/13?
False
Suppose 0 = 2*i + 17*i - 19. Which is smaller: i or 1/104?
1/104
Let h be 12/20 + (-22)/(-5). Let v(t) = t**3 + 8*t**2 + 2*t + 25. Let q be v(-8). Is h equal to q?
False
Let l be (-28)/48 - (-6)/18. Is 0.98 > l?
True
Let s = -35457/16 - -2216. Is -0.7 less than s?
True
Suppose 8*c - 842 = 94. Is c greater than 2/9?
True
Let c be (-1148)/12054 - (-538)/5208. Let j = -3 + 4. Which is bigger: c or j?
j
Let n(i) = i**3 - 5*i**2 + 2. Let y be n(5). Let t be -65 + 3 + -9 + 3*1. Let f = t - -79. Are y and f equal?
False
Let o = 740/3 - 249. Suppose -5*j + 0*w + 15 = -5*w, 21 = -5*j - 4*w. Which is smaller: j or o?
o
Let p = 77.4 + -91. Let z = p - -13.8. Which is bigger: -6 or z?
z
Let q be ((-12)/(-8))/(2/(-20)). Let y be 2/2 - (-12)/q. Let i be 0*((-30)/(-12))/5. Which is bigger: i or y?
y
Suppose 2*v - 4*z - 1765 - 239 = 0, -2*v + 2*z = -2000. Let c = 6974/7 - v. Which is smaller: -3 or c?
-3
Suppose 4*o + 5*h - 276 - 68 = 0, -103 = -o + 3*h. Suppose -3*k = 4*k - o. Suppose -5*t + 3*f + 75 = 0, 5*t + 5*f = 3*f + 50. Are k and t nonequal?
True
Let h = -50 + 49. Let r be h - -3 - (-156)/(-65). Is 0.6 less than r?
False
Suppose 2*u + 2*u = -2*y - 14, 5*y = 3*u - 22. Let t = 26 - 17. Let s = t - 16. Is y at least s?
True
Let r be -10 - ((-3366)/837 - 6). Is -1 bigger than r?
False
Let l = -639 - -639. Are -11/69 and l nonequal?
True
Let a = 1 - -7. Let y = -7 - 6. Let n = y + a. Are 2 and n nonequal?
True
Let t = 62/11 - 60/11. Let c = -1371498132/805 - -1703724. Let w = c + -2/161. Is w at least as big as t?
False
Let r be (-3)/(3/2*-1). Let o = -75 - -75. Which is bigger: o or r?
r
Let q = 128 - 129.4. Is q >= 2/7?
False
Suppose -5*a - 226 = -u, -16*u + 17*u = -4*a - 188. Which is greater: a or -42?
-42
Let q = 62 - 69.1. Let d = 10.9 - q. Which is greater: d or 4/7?
d
Let n be (-6)/9*(6/20 - (-90)/75). Let w be 17/3 - (-1)/3. Let p be w/(-10) - 0/2. Is p < n?
False
Let s = -10 - -10. Let o be 8*(99/(-7416))/(-11). Is o < s?
False
Let a(b) = b**2 + b + 2. Let h be a(5). Let v be ((-1843)/(-57))/(-2 + 1). Let g = h + v. Which is smaller: g or 4?
g
Let y(d) = 3*d**2 - 26*d - 80. Let x be y(-3). Is 0.02 equal to x?
False
Let b(r) = r - 4. Let t be b(8). Let k be 184/56 + t/(-14). Suppose -d = -k*z - 5, -3*d - 2*d - 5*z - 15 = 0. Which is smaller: d or 2/5?
d
Let y(r) = 3*r - 57. Let f = 121 - 105. Let o be y(f). Which is smaller: -7 or o?
o
Let f = -51 + 28. Let q = f - -24. Which is smaller: q or 11/6?
q
Let c = 0.08 + -0.07. Let l = c + 0.06. Let o = l + -0.07. Is o less than 0?
False
Let k = 3 + -4. Let i = k - -2. Let y = 299/12 + -25. Is i != y?
True
Suppose 0 = -56*s + 25*s - 31. Are s and -14/19 equal?
False
Let h be (-5 - (-158)/30)/((-4)/(-10)). Which is bigger: h or 7?
7
Let r be (-630)/20*(-2)/(-6). Which is bigger: r or -0.2?
-0.2
Let r = 0.168 + -0.268. Which is greater: r or -742?
r
Let k = 29 - 61. Let z = k - -48. Which is greater: z or 15?
z
Let u = 12 - 18. Let q = 6 + u. Let x = -0.538 + 0.238. Do x and q have different values?
True
Suppose -m = -0*m - z + 72, 2*m = -2*z - 128. Let c be (-1)/(m/22 - -3). Suppose -30 = -4*l - 2*j, -2*l + 4 + 1 = 3*j. Which is smaller: l or c?
l
Let t(n) = -4*n + 26. Let r be t(6). Suppose 2*s + 2 = j, -r*j - 16 = 3*s + 1. Suppose -3*f = -2*p - 11, 2*f = -4*p - f - 13. Are j and p nonequal?
False
Let j be (8/(-6))/(10/15). Let n = -3 - j. Let z be (20/(-84))/((-30)/36). Is n greater than z?
False
Let z = 99 - 98. Let o be -4 + (-36)/(-8) - z/2. Which is smaller: -1/37 or o?
-1/37
Suppose 0 = 5*o - 345 - 10. Suppose 61 = 3*m - o. Suppose -3*w - m = w. Is -11 greater than or equal to w?
True
Let l = -3/127 + 293/1651. Let a(m) = -m**2 + 6*m + 5. Let r be a(6). Let j be (1 - (r + -3))*-1. Which is bigger: l or j?
j
Let b = -1.268 - -191.268. Which is bigger: -2/5 or b?
b
Suppose 988 = -14*c + 134. Let h = 58 + c. Suppose 5*j + 10 = -2*s, -3*j - 2*s + 6 = -2*j. Which is smaller: j or h?
j
Let g be (4 - 19/4)*44. Let n = g - -33. Suppose n = q + 5*f + 1 - 2, 2*q = -5*f - 8. Which is greater: -8 or q?
-8
Let w = 216 + -151. Let j = 66 - w. Is -27 at most j?
True
Let b = -12 - -12.1. Let d = 85.1 - 85. Is b < d?
False
Let h = -180 - -108. Is h at most as big as -72?
True
Let h = -28 - -35. Suppose -3*q - 54 = w, 3*w - 97 = 5*q + h*w. Is -18 at least q?
False
Let a = 10967.1 - 10967. Suppose -3*u = -7*u + 4. Let h be (-3 - -7)*u/6. Is h greater than a?
True
Let u be (0 - 4)/(3 - 5). Let g be ((-22)/55)/(u/(-10)). Suppose c = g + 6. Is c >= 8?
True
Let p be (-9)/18*2*32/(-7). Suppose 5*g + s = 23, -g + 0*g + 5*s + 15 = 0. Is p bigger than g?
False
Let j(q) = q**2 + 3*q + 1. Let n be j(-3). Let g be n + 1 + (-10)/25. Is 1 != g?
True
Let s(g) = -6*g**3 - g**2 - 13. Let j be s(-3). Which is greater: 139 or j?
j
Let r be 2/12 - (-75605558)/17052. Let c = r - 4434. Which is greater: 1 or c?
1
Let p(h) = h**3 + 2*h**2 - 18*h - 33. Let m be p(-4). Are m and 67/11 nonequal?
True
Let o(v) = v**2 - 5*v + 10. Suppose 2*d + 3*n = -57, 0 = -2*n - 0 + 2. Let a be (2/(-5))/(2/d). Let x be o(a). Is 15 != x?
True
Let i be (2/(-4)*40/(-4))/1. Suppose 0 = 9*g + i + 58. Whic