(x) = -x**2 + 3*x. Let t be f(z). Let o be (-1)/(3/((-6)/(-5))). Are o and t nonequal?
True
Let g(l) = l**2 - 21*l - 20. Let m be g(22). Let f be 80/14 + 4/14. Let v = f - 4. Do m and v have the same value?
True
Suppose 2*h + 48 = 4*l + 6*h, -l + 27 = -4*h. Is 17 not equal to l?
True
Let b be -3*(-4)/54*3. Is b at least as big as -4/7?
True
Suppose 2*k + 2*m = -3*k + 156, -4*k - 2*m = -124. Is k not equal to 32?
False
Let u = -1 - 0. Let z = 0 - u. Suppose z = -4*g - 3. Is g less than or equal to 0.2?
True
Let n = 89 - 89.2. Which is greater: n or -7/10?
n
Let o be (6/(-4))/(1/(-6)). Suppose -o - 7 = -4*m. Is m smaller than 6?
True
Let v = 1/16 + -21/80. Let a(h) = h**2 + 3*h + 2. Let f be a(-2). Which is smaller: v or f?
v
Let g = 319/819 - 10/63. Let i = 1/52 + g. Which is bigger: i or -2/5?
i
Let x = -0.95 + 0.75. Which is smaller: x or -3/5?
-3/5
Let l be ((-1)/(-3))/((-4)/(-478)). Let g = -40 + l. Is g at least as big as 1?
False
Let s(c) = -7*c**2 - 14*c + 20. Let u(a) = -11*a**2 - 21*a + 30. Let m(y) = 8*s(y) - 5*u(y). Let o be m(-8). Which is smaller: o or 3?
o
Let v = -0.99 + -6.01. Are 2/3 and v non-equal?
True
Suppose -g + z = 1, -3*z + 4*z = -3*g - 11. Let c be ((-8)/12)/(2/g). Is c > 8?
False
Let x = -1.6 + 1.7. Is x at most 0.2?
True
Let c = 4 + -2. Which is smaller: 2/5 or c?
2/5
Suppose m + 11 - 9 = 0. Is m > -1?
False
Let i be (-225)/(-10)*(-2)/12. Which is greater: -5 or i?
i
Let t be 9/5 - 2/(-10). Let x be (-30)/(-18)*6/t. Suppose z - 4*z = g + 2, 0 = -x*g + 3*z + 8. Does g = 7/4?
False
Let p be 8/12*(-3)/(-5). Let o(n) = n**2 + 7*n + 4. Let b be o(-8). Suppose -3*f + 0 + b = -5*y, 4*y + 12 = 0. Is p smaller than f?
False
Let l = 17 + -17.22. Let t = l + 0.02. Does t = 2?
False
Let w be 32/180 - 2/5. Suppose -2*a + 5*p - 28 = -5, -5*a = 5*p - 30. Is w at most a?
True
Suppose 6*u + 24 = -12. Is u at least 2?
False
Let r(m) = m**2 - 6*m + 3. Let w be (5/3)/(1/3). Let n be r(w). Let s be n/(-6)*0 - 1. Is s less than -1/3?
True
Suppose 4 + 0 = i. Which is greater: i or 0?
i
Let k = 8 - 4. Is k <= 2/3?
False
Suppose 4*w - 10 = 10. Let j be (1 + -3)/(6 - w). Which is greater: j or -4/3?
-4/3
Let l(j) = -117*j**3 - j - 1. Let y be l(-1). Let f be 45/20*24/y. Which is smaller: 1 or f?
f
Let u(a) = a + 4. Let j be u(-5). Let s be (1 + -2 + 1)/(-2). Let o be (-2)/(-15)*(s - -3). Is j > o?
False
Suppose -3 = -5*d + 7. Suppose 0 = -2*p - d*p + 24. Let v be (-9)/p*2/3. Does 1/11 = v?
False
Let b = -0.6 - -0.6. Is 0.24 < b?
False
Let f = -13 - -7. Which is greater: f or -1?
-1
Suppose 2*t = -0 - 4. Suppose 0 = -5*p - 15, f + p + 6 = 4*f. Let u be (3 + 1 - f) + -4. Is u > t?
True
Let c = 10 + -14. Let r = -5 - -9. Let s = r + c. Which is smaller: s or 3?
s
Let w = -62 + 57. Which is bigger: w or -15/4?
-15/4
Suppose 3*i - i + 116 = 0. Let b be i/12 + (-1)/6. Which is smaller: b or -6?
-6
Let o(p) = p**3 - 7*p**2 - 8*p - 4. Let g be o(8). Let h be 1/((-13)/(-3) + g). Is h at least 12/7?
True
Let w = 51.064 - 0.064. Let u = 46.6 - w. Let k = -4 - u. Is 0.1 not equal to k?
True
Let h be 17 + -1 + (2 - 4). Let o be (-12)/(-48) - 4/h. Is 0 at most o?
False
Let m = 1 + -2. Let j be (m/3)/(3/(-2)). Suppose 4*z = t, 8*z - 7*z - 2*t = -7. Which is greater: j or z?
z
Let t = -69 + 44. Is -24 less than or equal to t?
False
Let a = 14 + -16. Let q be a/24*-4 + 0. Which is greater: -5/7 or q?
q
Let h(t) = t**2 + 3*t - 12. Let s be h(-7). Which is smaller: 17 or s?
s
Suppose -5*l = -10*l. Let u = 1 - l. Is u < 2?
True
Let g = 1 + 2. Suppose l = -g*l - 20. Which is smaller: -1/4 or l?
l
Let a = 7/1206 - 815/555966. Let s = 948/5993 - a. Which is smaller: 0 or s?
0
Suppose -4*b = 5*x + 18, -6*b + 3*b + 4*x + 2 = 0. Which is bigger: b or -10/19?
-10/19
Let a be (1/(-4))/((-9)/(-36)). Suppose 4 - 14 = -2*i. Suppose -2*f + 4*n + 20 = 6, i*f - 4*n - 17 = 0. Are a and f equal?
False
Let s(d) = d - 4. Let l be s(6). Let v(b) be the first derivative of -b**4/4 + b**3/3 + b**2/2 + b + 2. Let h be v(l). Is h at most as big as -3/5?
True
Let a = -0.4 - 6.6. Let l = a + 8. Let x = 8 - 5. Is x >= l?
True
Let m be ((-12)/4)/(6/(-16)). Suppose -2*l = 3*l - w + 2, -4*l = -4*w + m. Are 1/3 and l equal?
False
Let z be -2 + -1 - 0 - (-755)/250. Which is greater: 1 or z?
1
Let n = -46 + 45. Which is smaller: n or 2/61?
n
Let g = 113 - 113. Which is smaller: 24/7 or g?
g
Let j = 25 - 25.01. Which is bigger: -1/3 or j?
j
Let c be 7/((-20)/(-12) - 2). Which is greater: c or -19?
-19
Let u(d) = -d**2 + 4*d + 4. Let q be u(4). Suppose q*i + 8 = 0, -5*j + 18 = -4*i - 15. Is j greater than or equal to 4?
True
Suppose 1 = 3*y + t + 11, -10 = 2*y - t. Let l be (y/(-10))/(4/5). Is l less than or equal to 0.02?
False
Let b be 2 - (3 - (-1)/1). Let x be (-1)/(3/(b + -1)). Suppose 2*z - 2 = z. Is x at most as big as z?
True
Let m be -2 + 7 - 3 - -4. Suppose -2*y = y + m. Which is greater: y or -4?
y
Let u = 13 - 16. Which is bigger: 3/2 or u?
3/2
Let d = -36 + 35. Do d and -20 have different values?
True
Let v(z) be the third derivative of 0 - 1/3*z**3 + 0*z - 2*z**2 - 1/4*z**4 - 1/60*z**5. Let b be v(-6). Which is greater: 3/4 or b?
3/4
Let q(j) = -j. Let f be q(-2). Suppose 2*z = -3*g - 13, -g = -f*g + 4*z - 9. Let d(v) = -v**3 - 5*v**2 - 1. Let l be d(g). Which is greater: l or -1/5?
-1/5
Suppose -5*k - 5*b + 40 = 0, -4*k + b + 22 - 5 = 0. Suppose 0 = 4*i + i + k. Which is bigger: -14/9 or i?
i
Let f = -67 + 60. Which is smaller: f or 6?
f
Let s be ((-80)/15)/((-2)/(-6)). Let q be 5/(-8) - 4/s. Let u be 2/6 + (-4)/(-6). Are u and q non-equal?
True
Let p be (-3)/(-3) + 1 + -87. Let b be 28/154 + p/44. Which is smaller: -3 or b?
-3
Suppose 2*q = -2*t + 2, -4*t - 5 = 5*q - 13. Let l = t + 1. Is l greater than or equal to -2?
True
Suppose j + j - 8 = 0. Suppose j*f = -0*n - 2*n, -5*f = 3*n + 2. Do 1/2 and f have the same value?
False
Suppose 0 = -3*n - 4 + 10. Suppose 5*m + 2*o - 4 = 3*m, 4*o = -5*m + 11. Suppose -n*g = -3*y - 16, 3*y + 0*g + m*g = 9. Is y at least -2?
True
Let u = -3034/741 - -53/13. Is -1 > u?
False
Suppose 0 = 3*d + 2*d - 75. Let f be 2/5 - (-24)/d. Suppose 0 = f*u - 3*m - 1, 0 = -2*u + u + m. Is -2/5 at most as big as u?
False
Suppose -4 = -5*q + 36. Which is smaller: q or 1?
1
Let m = 27 + -8. Which is greater: -0.2 or m?
m
Suppose -7*t = -2*t - 115. Let f be (t/28)/((-12)/(-7)). Let w = f + 3/16. Which is smaller: -0.1 or w?
-0.1
Suppose t + 4*l = 3, -61 = -6*t + t + 3*l. Let u = t - 6. Let m be (u/(-1) + 0)*-1. Which is smaller: m or 6?
m
Suppose -5*t + 11 = -j - 4, 2*t - 6 = -j. Are j and -1 unequal?
True
Let w = -2 - -2. Suppose u - 6*i + i = w, -2*u - 2*i = 0. Are -1 and u non-equal?
True
Let h = -4 - -3. Let q = -15.2 + 15. Is h smaller than q?
True
Suppose -21 = 5*q + 2*y, y = 5*q - 4*q. Is -2 equal to q?
False
Let f = -7 + 15. Suppose -4*n = -0 - f. Let k = -8 - -7. Is k at least as big as n?
False
Let h = 158 + -317/2. Which is smaller: h or 1?
h
Let c = -1 - 3. Let d be 2 - (1/1 - -4). Let j be d/(-12) - 17/4. Is j less than c?
False
Let b be 0 - (-2 - 7/1). Let z be (-1)/((-3)/b) - -2. Suppose z*k - 2 = 18. Is k < 4?
False
Let f = -19 - -17. Which is smaller: -7/4 or f?
f
Suppose 0*r - 219 = 4*c - r, -r + 111 = -2*c. Which is smaller: -53 or c?
c
Let f = 256 - 1795/7. Which is bigger: 0 or f?
0
Let v(q) be the second derivative of q**4/12 + 3*q**3/2 + 5*q**2 + 4*q. Let u be v(-8). Suppose -u*r - 2 = -0. Which is smaller: -2/9 or r?
r
Let i = -12 + 11. Let w = 19 - 18. Are i and w nonequal?
True
Let r(l) = 6*l**2 + 7*l + 3. Let g(u) = 5*u**2 + 7*u + 4. Let q(b) = 5*g(b) - 4*r(b). Let n be q(-7). Is 6 less than or equal to n?
True
Let w(c) = -c**3 - 9*c**2 - 9*c - 8. Let u be w(-8). Is u greater than 2/27?
False
Let l = -41 - -28. Which is smaller: l or -61/5?
l
Let l = -51.4 + 52. Do l and -4/3 have different values?
True
Suppose 2*w = -3*w. Are -6/5 and w equal?
False
Let h = 0.4 + -0.35. Let n = h + -0.01. Let i = n + -0.54. Which is greater: -2/5 or i?
-2/5
Let t = 15/8 - 29/24. Is 0 <= t?
True
Suppose 26 = 17*t + 9. Let h = 179/36 + -19/4. Which is greater: t or h?
t
Suppose -h + 3 = 2*k, -3*h - 5 = -5*k - 8*h. Which is bigger: 5 or k?
5
Let y be -1 - (-1)/(-3)*-2. Suppose -2*s + 1 + 3 = 2*i, -23 = -4*i - s. Suppose -x - 2 = -0, -q + 4*x + i = 0.