 -p = -2*i + 3. Does 2 = i?
False
Let u = 36 - 1009/28. Which is smaller: 1 or u?
u
Let a(f) = -f**3 + 13*f**2 - 15*f + 15. Let m be a(12). Which is smaller: m or -20?
m
Let v be (4 - (3 + 7)) + (-35)/(-6). Suppose -5*y + 5 - 10 = 0. Which is smaller: v or y?
y
Let o be 1 - 0 - (-1 + -2). Let k = 5 - o. Let r = 2/459 + -956/8721. Is k bigger than r?
True
Let x(l) = 2*l**2 - 2*l - 2. Let w be x(-2). Suppose 0 = -5*p + i + w, -9 - 1 = -5*p + 2*i. Suppose -1 = -a + p*a. Is 2 smaller than a?
False
Suppose 0 = 2*v + p - 5, 3*p + 3 = -3*v + 6. Let j = -2 + v. Is 3 > j?
True
Let d be 8/126 - 4/14. Suppose -2*n - 13 = 17. Let b = -16 - n. Is b at least d?
False
Let l = -310/7 + 224. Let v = 180 - l. Let c(b) = b**2 - 6*b + 6. Let y be c(5). Are v and y non-equal?
True
Suppose 35 = 6*u - u. Suppose u*c - 4 = 3*c. Let y be -3 + 1/((-2)/(-4)). Which is greater: c or y?
c
Let b = -0.32 - -0.12. Which is greater: -3.6 or b?
b
Let h = 8 - -5. Suppose 0 = n + 3*n + 2*v - 2, 0 = 2*n + 5*v - h. Which is smaller: -1/5 or n?
n
Let j = 26 - 13. Let v(q) = -q**2 + 12*q + 13. Let k be v(j). Is 2/51 equal to k?
False
Let c = 0 + 0. Suppose j - 20 = -4*j. Let d = 5 - j. Is c <= d?
True
Let o(w) = -4*w + 4. Let m be o(3). Let r = 4 + m. Are r and -3 non-equal?
True
Suppose -5*x = -3*x. Let p be 12/66 + x + 0. Let m(v) = v**3 + 2*v**2 - 2*v - 3. Let d be m(-2). Is d <= p?
False
Let b = 116/265 - 2/53. Which is smaller: 0 or b?
0
Let l be 0 + -1 - (-6)/2. Suppose -l*n - 2 = -6. Let u = -14 - -15. Is u <= n?
True
Let a(c) = -c**2 + 7*c + 2. Let k(j) = -j**2 + 6*j + 2. Let u(n) = -6*a(n) + 7*k(n). Let o be u(-2). Which is greater: o or -2/3?
-2/3
Let i be (-172)/20 + (8/5)/(-4). Is -10 greater than or equal to i?
False
Let v(p) = p**2 + 7*p - 7. Let r be v(-6). Is r greater than -12?
False
Let t(x) = x**2 + 9*x + 9. Let h be t(-8). Is -3/11 != h?
True
Let s(m) = m**3 + 9*m**2 + 6*m + 17. Let x be s(-8). Is x < 32?
False
Let c be ((-4)/(-14))/((-45)/(-35)). Let v = 16.9 - 19. Let j = 2 + v. Is j > c?
False
Suppose -5*p + 4*p - 4 = 0. Are -6 and p nonequal?
True
Let d = 3 + 2. Let o = -6 + 10. Which is smaller: o or d?
o
Let y = -2 + -8. Let b = 0.6 - 0.6. Which is smaller: y or b?
y
Let n = -9 - -12. Let o be -1 - (n + 90/(-21)). Which is smaller: o or 1?
o
Let x be (-34)/3*(-38)/(-6). Let i = x + 72. Is i less than or equal to -0.1?
False
Let z be 1/(-3) + (-7)/(-3). Let r(q) = q**2 + 2*q - 4. Let h be r(-4). Suppose -4*l = -5*l + h. Which is smaller: l or z?
z
Let s = -1 + 4. Suppose -3 = -2*l + 5. Which is greater: l or s?
l
Suppose -5*l = -132 - 268. Suppose -4*r - 70 = -m, 5*m - 18 + 46 = -r. Let t be l/(-198) + (-4)/r. Is 1 at most as big as t?
False
Let d = 22 - 11. Which is bigger: d or 12?
12
Suppose 2*c = -4 - 2. Is c at most as big as -4?
False
Let c = 1/45 + 37/360. Is c at least as big as 2/7?
False
Let b = 7 - 1. Let g be 1/(1*(-1)/2). Which is smaller: g or b?
g
Let u(h) = -h - 6. Let f be u(-5). Let p be 1 + 1 + (-2 - f). Let n = -22 - -112/5. Which is smaller: n or p?
n
Let n = -54.1 + 55. Let x = -0.3 + 0.4. Let f = n + x. Is 2 != f?
True
Suppose 3*z = -y + 3 - 2, 0 = -5*y - 3*z + 17. Let s be (-13)/65 + y/(-5). Let m = -251/10 + 51/2. Is s smaller than m?
True
Let b = -1581/13 + 122. Is b less than 0?
False
Let w = -146 - -5112/35. Which is bigger: w or 0.1?
0.1
Let j be (-7)/(-35) - (-4)/(-70). Let o be (6/(-4))/3*2. Which is smaller: o or j?
o
Suppose -3*r - 5 = l, 5*l - 2 = 3*r - 9. Let u be l*((-76)/(-20) + -4). Which is smaller: u or 1?
u
Let z = 17 - 17. Which is bigger: -2/3 or z?
z
Let l be -2 + (-18)/(-8) - 0. Let g = 24 + -42. Let z = -20 - g. Which is greater: l or z?
l
Suppose -4*t - 5*b + 0*b + 38 = 0, -10 = -5*b. Do t and -2 have the same value?
False
Suppose 2 = 5*k - 3. Let w(r) = r**2 + 4*r - 2. Let y be w(-4). Is y < k?
True
Let c = 7 + -6. Is 2/21 smaller than c?
True
Let j = 13 + 0. Which is bigger: 9 or j?
j
Let d = 41 - 41. Let c = 3/28 - 11/364. Are d and c nonequal?
True
Suppose -s - 2*s = 0. Suppose -j - 2*v - 1 = -8, s = 3*v - 3. Suppose h + j*o = 0, -2*o = o. Which is greater: h or 1/2?
1/2
Let n = 1 - 6. Is -3 greater than n?
True
Suppose -6*a - 192 = -2*a. Is a greater than -47?
False
Let j(g) = -g**2 + 2*g - 2. Let k be j(3). Let s be (-1)/k - 168/90. Which is greater: -1 or s?
-1
Let v(l) = -l + 47. Let m be v(17). Is m at most as big as 30?
True
Let n be 39/6 + 2/4. Is 8 greater than or equal to n?
True
Suppose -4*d + 2*l = 4, -3*d - 7*l + 6*l = -7. Which is smaller: d or -8/31?
-8/31
Suppose 17 = 4*y - 3. Suppose 0 = -y*b + 26 + 29. Which is smaller: -1 or b?
-1
Suppose -17 = 5*c - 87. Does c = 16?
False
Let j be ((-68)/8)/(2/(-4)). Let x = j - 19. Let y be 1/(-4) + (-10)/24. Are y and x non-equal?
True
Let l be -5*(5 - 72/20). Is -52/9 at most l?
False
Suppose -5*v - 3*h + 27 = 0, -2*h + 5 = -3. Suppose v*f + 4 = 1. Which is smaller: -3/4 or f?
f
Let c = 44 - 97/2. Let d = -5 - c. Is d <= 0.3?
True
Let y be (-1)/(-4) - (-926)/8. Suppose t + 2*c = -y, -8*t - 2*c = -3*t + 620. Let v be 4/14 + 8/t. Is v less than -1?
False
Suppose 5 = -o + 20. Which is smaller: o or 14?
14
Let u = 0.9 + -0.9. Which is smaller: 2/43 or u?
u
Suppose 0 = -5*b + 2*h + h + 14, -3*b + 12 = -3*h. Let m be 18/b - 2/(-1). Suppose 0 = 2*i - 7*i + m. Are i and 2 unequal?
True
Let q be (135/(-30))/(1 - (-1)/(-2)). Let i(t) be the second derivative of -t**3/6 - 4*t**2 + t. Let d be i(q). Is d < -2/3?
False
Suppose -2*f = 2*r - 8, -4 = 4*f - 0*f - r. Suppose -3 = -3*v - f*v. Suppose -v = -w - 0. Is 1 != w?
False
Let z = 14 - 9. Suppose -3*y = 3 - 0, z = -4*j - y. Are j and -2/41 non-equal?
True
Let i(x) = -3*x + 21. Let g be i(10). Let q = 8 - 16. Is g at least q?
False
Suppose -18 = -5*j - 0*v - v, 2*v - 9 = -j. Let f be 0 + (6 - j) + 0. Suppose -f*z + 3*c = -0*z - 9, 0 = -z - c - 5. Which is smaller: z or -3/2?
-3/2
Let b(z) = -z**3 + 4*z**2 - 4*z + 3. Let n be b(2). Suppose -1 = -a - n. Is -2/5 at most as big as a?
False
Let x = 1 + 0. Let g = x + -2. Which is greater: -0.5 or g?
-0.5
Suppose -3*y = 2*q - 50, -4*q - 5 = -2*y + 23. Is y less than or equal to 18?
True
Suppose 4 = 5*x - x - 3*k, -3*x + k + 3 = 0. Which is bigger: -2/65 or x?
x
Let w = -50 + 52. Is w greater than 1?
True
Suppose 5*w - 54 = 6. Which is smaller: w or 0.2?
0.2
Let g be ((-2545)/(-15))/((-21)/9). Let f = 249 - 176. Let v = f + g. Which is greater: 0 or v?
v
Let m = 0.17 - -0.03. Let z = 0.02 + 1.98. Let y = 2.1 - z. Which is smaller: y or m?
y
Let r = 14 - 11. Let i be 3 + r/1*-1. Is 1/14 > i?
True
Let y be (-288)/21 - 2/7. Let m = -26 - y. Let j = 7 + m. Is -5 at most as big as j?
True
Let z = 28.24 + -21.4. Let m = -7 + z. Let l = m + -0.04. Which is smaller: l or 1?
l
Let b = 3 + -7. Let l be (2/6)/((-2)/b). Suppose -4*p = -19 + 11. Is l less than or equal to p?
True
Let p(a) = -a**2 - 3*a - 3. Let k be p(-3). Let i be k/(81/(-33)) - 1. Do i and 3 have the same value?
False
Let g = 4 - 4. Suppose 3*k + 5*r = -5 + 36, g = k + 4*r - 1. Suppose -8 = b + 2*t, 0 = b - 4*t + 1 - k. Which is smaller: b or 2/13?
b
Suppose 3*c - 2 = -14. Let p be (1/(-10))/(c/(-10)). Which is smaller: p or -4?
-4
Let z = -14 + 10. Suppose 0 = 5*j - 12 + 2. Suppose 4*b + 8 = -3*r, -2 = r - 0*b + j*b. Is r greater than z?
False
Let r = -0.13 - -0.05. Let z = -40 + 40.2. Is z bigger than r?
True
Suppose 2*x - 7*z = -3*z - 4, -5*z + 5 = 4*x. Is -2/5 at least x?
False
Suppose 4*p + 5 = 41. Suppose 0 = -4*u - 3 - p. Let g = 0.3 + -0.2. Which is smaller: u or g?
u
Let y(p) be the third derivative of -p**5/60 - p**4/6 - p**3/6 + p**2. Let x be y(-3). Let m be -1*(1 + -2 + x). Which is greater: 0 or m?
0
Let l(j) = -j**3 - 10*j**2 - 10*j - 7. Let i be l(-9). Suppose i*y + 4 = -2*m, 5*m - 4*y - 9 - 8 = 0. Let g be 2 - (-1)/(m + -3). Is 1 smaller than g?
True
Let r be (2/(-6))/((-6)/72). Suppose r*a = 12 - 76. Is a less than -15?
True
Let d = 0.058 + 0.942. Which is bigger: d or -50?
d
Let c be -2*3/6*-5. Suppose -i + c = 0, -4*x - 3*i + 5 = -2*i. Suppose t = -x*t. Which is smaller: t or 1?
t
Suppose 0 = -d - 3*d - 16. Let h be (2/3)/((-6)/27). Let b be 0*h/(-9) + -2. Is b < d?
False
Let w be 2 + (-2)/((-3)/3). Let x be w/6*(-15)/(-95). Is x > 0?
True
Let t = -427 - -1697/4. Do -3 and t have different va