4*n - 142. Which is bigger: p or 1?
1
Let w = 523.9 - 501. Let f = w - 23. Let b = 87 - 521/6. Which is bigger: b or f?
b
Let d be -3 + 7*(10 - 3). Let q be (-8)/28 - d/(-14). Let l be 0 + q/(-15) + 1. Is l > 0?
True
Suppose 0 = 10*u + 5 + 5. Let l be ((-13)/21 + (-8)/(-12))/u. Are 2 and l equal?
False
Let l = 38964/19 + -2993692/1463. Let d = -30/7 + l. Is 0 equal to d?
False
Let y = 41 + -41.1. Let p = 305/2222 - 1/1111. Are p and y nonequal?
True
Let o = 2/1355 + -544/1355. Do o and 7.6 have the same value?
False
Let d(y) be the third derivative of -y**4/8 - 26*y**3/3 + 16*y**2. Let k be d(-18). Which is smaller: k or 20/13?
20/13
Suppose 2*y = y + 2. Suppose -1 = -5*p + 14. Suppose -p*q + 1 + y = 0. Which is smaller: q or 2?
q
Let g(t) = -8*t - 41. Let r be g(-6). Let f(p) = p**2 - 24. Let d be f(r). Which is smaller: d or 23?
23
Let a(w) = 2*w**2 + 7*w - 14. Let h be a(-6). Suppose -h*o - 18 = -18*o. Which is smaller: o or 12?
o
Let d be (350/56)/((-2)/8). Is d < -128/5?
False
Suppose 2*k - 3*w + w - 8 = 0, 0 = w - 1. Which is smaller: -22 or k?
-22
Let j = -1 + 6. Suppose z + j = 2*z. Suppose 0 = g + t + 1, -2*t - 25 = 3*t. Which is bigger: g or z?
z
Let p = 0 + 0. Let n be p*(-1 + (-4)/(-2)). Let z be 4/18 + -2*3/27. Is z at most as big as n?
True
Let a = -178.4 - -178. Which is smaller: -3/14 or a?
a
Let k(n) = 1 + 7*n**3 + 2*n + n + 0*n**3 + 6*n**3 - 14*n**3 - n**2. Let d = -5 + 3. Let m be k(d). Which is bigger: -1/6 or m?
-1/6
Let k(r) = r**2 - 6*r + 8. Let y be k(6). Let m(w) = -w**3 + 5*w**2 - 2*w. Let n be m(4). Is y != n?
False
Let s = 859 + -853. Which is smaller: s or 0?
0
Suppose 99*g = 5016 + 2112. Does -1 = g?
False
Let p = 20 - 17. Suppose -10 = 2*u, 0*f + p*f + 7 = u. Suppose 5*z = -t - 19, t = 2 - 1. Are f and z unequal?
False
Let u = 33.1 - 37.01. Let s = 1.99 - 1.9. Let q = u - s. Is -1 equal to q?
False
Suppose -o - 2*k = 16, 0 = 3*o + k - 4*k + 21. Let g be ((-16)/o)/((-6)/45). Are g and -6 unequal?
True
Let h = -6.82 + 6.9. Let o = -52 + 53. Is h not equal to o?
True
Let w(x) = 10*x**2 - 3*x - 10. Let u be w(-3). Which is greater: 0.2 or u?
u
Suppose 0*p + 2*u + 9 = -3*p, 4*p + 1 = u. Which is bigger: -5/67 or p?
-5/67
Let c be (8136/11)/9 + 2/(-11). Let x be -3*(-3)/(-18) - (-37)/c. Which is smaller: x or 0?
x
Let r = 795 - 795.1. Which is greater: 202 or r?
202
Let m be 4/14 + 13/(-21). Let u = 1.52 + -1.44. Which is bigger: u or m?
u
Suppose -10*q + 36*q + 390 = 0. Suppose 34 = -3*y + v + 3*v, -4*y = -v + 54. Is y at most as big as q?
False
Let r = 1 - 0. Let k be ((-2)/10)/(r/(-3)). Let g be ((-1)/(-5))/(((-56)/(-35))/8). Does k = g?
False
Let t be (-2 + 1)/(1/3). Let a be (-112)/31 - 12/9*t. Which is smaller: a or 0?
0
Let w be 4/(-18) - (-1284)/1161. Is w greater than or equal to 2?
False
Let x be (0 + 2/92)/(4/(-48)). Which is smaller: -1 or x?
-1
Let w = 3439/117467 + 2/1211. Which is smaller: 0 or w?
0
Suppose -632 = -5*h - 267. Suppose 16 = -n - h. Which is greater: n or -88?
-88
Let x be -5 - ((-8)/44)/((-10)/(-285)). Is -1/3 greater than x?
False
Suppose -101*y + 99*y + 10 = 0. Is y equal to 9?
False
Let h be (48/1424)/((-6)/(-4)). Let u = -18 + 19. Which is greater: h or u?
u
Let f(v) be the second derivative of v**3/6 - v**2/2 - 9*v. Let s be f(-1). Which is smaller: s or -24/7?
-24/7
Suppose 12 = -3*q - 4*d - 2, 5*q + d + 12 = 0. Let k be 1*(62/25 + q). Which is smaller: 1 or k?
k
Let h(x) = x**3 + 14*x**2 - 17*x - 2. Let k(j) = -j**3 + 15*j**2 - 15*j - 1. Let y be k(14). Let l be h(y). Let q be l/(-6)*42/224. Which is smaller: q or -2?
-2
Let t be (16/(-24))/(4/(-18)). Which is bigger: 22/5 or t?
22/5
Let b = -71 - -71. Suppose -2*s - 3*d + 35 = b, -3*s + d = -2*d - 45. Is s >= 17?
False
Suppose -5 = 4*m + 3. Let a be (-1)/5 - 120/25. Let g(x) = -x**3 - 6*x**2 - 6*x - 3. Let o be g(a). Which is smaller: m or o?
m
Let k(q) = -q + 3. Suppose o + 0*o = r - 4, -3*o - 4*r + 16 = 0. Let w be k(o). Suppose -g = -3, -w*g = 2*c - 6 - 3. Which is bigger: c or 2/15?
2/15
Let y = 82 - 82. Which is greater: y or -45?
y
Let t = 80 + -148. Let j = 38 + t. Is j less than -29?
True
Suppose 22*i = 1402 + 2140. Which is bigger: 164 or i?
164
Let k be -14 - (-3 - 2 - (-14 + 10)). Are k and -95/7 equal?
False
Suppose -2*y + 70 = 4*o, -5*o + y + 71 + 27 = 0. Let r = o + -14. Suppose 3*t - 17 = 5*f, r + 0 = -f + t. Is f > 2/7?
False
Let i = 499 + -498.56. Is 6 at most as big as i?
False
Let q = -0.26 - -0.16. Is -3.4 bigger than q?
False
Let z = -5 + -6. Let k = -6 + z. Let l = -9 - k. Which is smaller: 7 or l?
7
Let w be (-5)/(-2) + (-155)/50. Which is smaller: -11/4 or w?
-11/4
Let x(r) = 28*r + 194. Let j be x(-7). Which is bigger: 157 or j?
157
Suppose -5 - 5 = -2*m. Suppose -u - 5*z + 8 = -13, 12 = 3*u - 2*z. Are m and u unequal?
True
Let c = -2743599/7 - -24070735/63. Let d = -9857 - c. Let h = d - 31/3. Are -2/7 and h non-equal?
True
Suppose 0 = 3*o - 4*a, 3*o = -o - 2*a + 22. Suppose 2 = -3*m - 4, 0 = 5*k - o*m - 8. Let g = 313 + -300. Which is smaller: k or g?
k
Suppose -6*j = 13*j. Which is greater: 2/23 or j?
2/23
Let x = -95 - -151. Suppose -5*f + 9*f = -x. Which is smaller: f or -15?
-15
Let l(f) = 3*f. Let j be l(-3). Let n = j - -10. Suppose 2 - n = -g. Is g >= -1?
True
Suppose -5*v - 9*c = -14*c + 25, 4*v - 16 = -5*c. Which is bigger: -1/935 or v?
-1/935
Let b(j) = j + 3. Let n(k) = -2*k + 25. Let q be n(15). Let i be b(q). Suppose 4*s + 0 + 4 = 0, -1 = 2*g - s. Is g at least i?
True
Let q be (546/(-60) - -9)/(4/(-130)). Which is smaller: q or 3?
3
Let q = 961837 - 29821505/31. Let c = q + 147. Which is smaller: c or -1?
-1
Let r = -296 - -204. Is r at most as big as -94?
False
Suppose 5*r = -5*j - 30, r - 2*j + 0*j = -12. Let p be 4/r*(4 - -2). Is -4 less than or equal to p?
True
Let v = 57/182 + 3/26. Let w = 372 + -368. Is w at most as big as v?
False
Let u(f) = f**2 + 5*f + 2. Let q be u(-5). Let j = q + -1. Let g be 59/22*2 + (-145)/29. Which is smaller: j or g?
g
Let a be (2/4)/(7/(-18)). Let s(l) = -74*l**2 + 5*l - 5. Let t be s(2). Let g = t - -289. Which is greater: a or g?
a
Let s(p) = -p**2 - 3*p + 18. Let t be s(3). Let w(k) = -k**2 + 2*k - 1. Let i be w(1). Suppose i = 2*v - 5*g + 9, -4*g = 3*v - g - 18. Is t greater than v?
False
Let u = -229.8 + 230. Let i = 3.7 - -11.3. Let m = i + -5. Which is smaller: u or m?
u
Suppose 5*l - 5*f - 82 + 22 = 0, 2*f = 3*l - 37. Suppose q - l = p, 3*p + 28 = 4*q - 2*q. Let h = q + -2. Is h <= 10?
True
Let q(a) = -18*a**2 - 23*a + 65. Let x be q(4). Do -313 and x have the same value?
False
Let n(d) = d**3 + 8*d**2 - 5*d - 6. Let a be n(-8). Let t be a*3/(-6) - -2. Let h be t/126 - 3/18. Is 0.06 smaller than h?
False
Suppose 0 = -3*g - g + 112. Let o be (-1)/(-3 + g/8). Let j be o + -1 - (-70)/24. Which is smaller: 1 or j?
j
Let k be 5/(-4)*45/105. Which is greater: k or 0?
0
Let m(r) = -2*r - 19. Let v be m(-6). Let q be (-1)/v - 270/(-21). Suppose a + 2*a = 0, -5*a = -2*t + 24. Which is smaller: t or q?
t
Let f(l) = 2*l**3 + 2*l**2 + 12*l + 26. Let i be f(-3). Is i > -2/3?
False
Let l = 50.45 - 78.4. Let s = l - -28. Let z = -0.05 - s. Which is greater: z or -4/3?
z
Suppose -590 = -13*k + 307. Which is smaller: 67 or k?
67
Suppose 5*c = -5*i + 20, 2*i - 3*c - 12 = i. Let w be (10/i)/(8/3). Let p be (1*6)/(73 - 70). Are w and p equal?
False
Let c = 98 + -69. Let w = c + -45. Are w and -15 equal?
False
Suppose -65 = -12*m + 55. Do m and 16 have different values?
True
Let o(p) = -p**3 + 2*p**2 - p + 5. Let x be o(0). Suppose i - x*c = 10, 5*c = 2*c - 6. Is i > 1/75?
False
Let n be (-4 - -3) + (-2)/((-92)/1698). Let i = n - 36. Is -1 > i?
False
Let q = -0.825 + 0.015. Let t = -0.19 + q. Let n = -0.9 + -0.1. Do t and n have the same value?
True
Suppose -2*m = -3*a + 9, -a - a + 6 = 5*m. Is m != -12/31?
True
Let t = 0.1209 + 0.8791. Which is smaller: -3.64 or t?
-3.64
Let k(t) = -3*t**3 - 12*t**2 + 7*t - 25. Let n be k(-5). Is 13 != n?
True
Suppose -v + 0*v + 4 = 0. Let p be (((-63)/(-5))/3)/((-261)/(-290)). Are v and p equal?
False
Let p = 1679/66 + -190/11. Which is greater: p or -0.1?
p
Let x = -387 - -387.095. Which is smaller: x or 1?
x
Suppose -3*r - 16 = 4*w + r, -29 = -4*w + 5*r. Let p be 45/(-420) - (-6)/(-24). Is w equal to p?
False
Let g be -3*(56/(