n. Are p and -1/19 equal?
False
Suppose 5*y - 3*g + 0*g + 9 = 0, -3 = 3*y - g. Let x = 48/265 - -1/53. Which is greater: x or y?
x
Suppose -3*d - 4*n - 35 = -0*d, -4*d = 2*n + 30. Let p(t) = -t + 6. Let y be p(0). Let l = y + d. Which is greater: l or 3/5?
l
Suppose 3*k + 160 = 19*k. Let t(o) = -2*o + 2. Let j be t(-3). Let n = j - k. Are -4 and n non-equal?
True
Let y = 0 + 2. Let f(m) = m**3 - 4*m**2 - 5*m + 4. Let x be f(5). Suppose -16 = k - x*l, l - 3 = -2*k + 1. Are k and y unequal?
True
Let b = -4.3 - -4.5. Which is smaller: b or 3/7?
b
Let y = -66/7 - -170/21. Is y at most as big as -1/3?
True
Let s = 32 - 9. Let l = s + -183/8. Which is bigger: 0 or l?
l
Let r = -4 - -5. Let m be 36/8*(-2)/(-6). Is m bigger than r?
True
Let j = -2 + 5. Which is smaller: -2 or j?
-2
Let p(t) = t**2 + 8*t - 9. Let k be p(-9). Suppose k = -3*q - 9, -2*m - 5*q = -q + 8. Let s be 7/4 - (-3)/(-3). Which is smaller: s or m?
s
Suppose 2 = -3*h - 1. Let w be ((-3)/30*-4)/(-6). Which is smaller: h or w?
h
Suppose -4*i - i + 5 = 0. Suppose 3*g + 0*g - 9 = 0. Let x be g + 2/24*-35. Which is greater: i or x?
i
Let y = 0 + 2. Suppose 4*f = -4*j - 12 + 4, 4 = -3*f - y*j. Which is bigger: f or 6/5?
6/5
Let b(t) = t**2 - 3*t - 1. Let x be b(4). Suppose 5*w + 0*w = -x*f + 195, -f + 5 = 0. Let m be 6/(-4)*16/w. Are -2 and m equal?
False
Let y be (-601067)/330*68/(-1566). Let t = y - -1/11745. Let j = -79 + t. Are 1 and j unequal?
True
Let u(r) = -r**3 - 4*r**2 + 5*r + 2. Let t be u(-5). Let g(s) = -3*s + 2*s - t*s**2 + s**2. Let v be g(1). Which is greater: -3 or v?
v
Let c be (-2)/4 + 3/2. Let o = c - 0. Suppose -2*v = 5*n + 4 - 2, -2 = n + 2*v. Which is bigger: o or n?
o
Let p be ((-36)/60)/(2/10). Which is smaller: -0.18 or p?
p
Suppose -6*r + 4*d = -2*r - 52, -4*r - d = -32. Is 9 < r?
False
Let n(a) = -a**2 + 2*a - 1. Let o be n(3). Let j(k) = -k + 4. Let x be j(0). Suppose 2*v + 3*m = x, 2 = 5*v + 5*m - 3. Which is smaller: v or o?
o
Let k(o) = -3*o + 3. Let h = -8 - -2. Let a(s) = -s**3 - 7*s**2 - 7*s - 4. Let w be a(h). Let x be k(w). Is -3 >= x?
True
Let q(r) = 17*r**2 - r - 1. Let a be q(-1). Suppose g + 3 = o - 2, 0 = -g + 4*o - a. Suppose 4*n - 4*y + 5 = -n, 3*n + 3 = 5*y. Is g at least n?
True
Let n be (-12)/(-30) + 918/(-70). Let v = 13 + n. Which is smaller: v or 1?
v
Let x be (0 - 1)*(4 - 3). Let o be (1 + -1)*x/2. Which is smaller: 2/5 or o?
o
Suppose -4 = y + 2*q, y - 5*q - 5 - 5 = 0. Let v = y + 1. Suppose 0 = 5*t - 1 - 9. Does v = t?
False
Let g = 3374439 + -307077620/91. Let w = 284/7 + g. Are 1 and w equal?
False
Let m(p) = -p**2 - 8*p + 1. Let i be m(-7). Let h be 66/(-4)*i/(-12). Which is smaller: 10 or h?
10
Suppose 2*g - 3 = 1. Suppose 4*j = -4*c - 28 - 0, g*j = 5*c + 28. Let p be c/(-8)*10/(-3). Which is bigger: -2 or p?
-2
Let s = -70 + 557/8. Let p be 0 + 0 + 0 + -1. Is p at most as big as s?
True
Suppose 0 = -5*r + 4*k, 0*r + 4*r - 4 = 4*k. Suppose a - 4*u = -8, -3*a = -u - 4*u - 11. Let g = -17 + a. Is r greater than or equal to g?
True
Suppose -1 + 6 = -5*d. Let z = d + 3. Suppose -z*k + 7 = y, 5*y + k + 0 = -1. Is -4 equal to y?
False
Let q = -93 - -93. Do q and -4 have the same value?
False
Suppose 4*q = 3*q. Let w = q + -2. Let u = -95/116 + 2/29. Are u and w non-equal?
True
Let c be 1 + 2/(-3)*242. Let b = 159 + c. Which is smaller: -2/3 or b?
b
Let p(b) = b**2 + 4*b - 3. Let o be p(-5). Suppose 0 = -0*r + o*r - 6. Suppose -4*f + 5*v = -7, v - 2 = -1. Is r bigger than f?
False
Let t = -1465 + 11759/8. Which is bigger: 4 or t?
t
Let j = -44 + 136/3. Is 2 less than j?
False
Let f be (5/15)/(3/27) + -1. Let a = -3 + 3.1. Is a > f?
False
Suppose 4*u - 16 + 4 = 0. Suppose -20 = -4*r + z + u*z, 5*r = -5*z + 65. Is 9 greater than r?
False
Suppose n + 10 = 3*n. Suppose 2*h = -2*b + 3 + 3, 2*h - n*b = -15. Which is bigger: -10/7 or h?
h
Suppose -2*p - 49 = 63. Is -55 bigger than p?
True
Let x be (-2)/(20/(-6) - 2). Suppose -6*h = -4*h. Which is smaller: h or x?
h
Let z be (0 + 1)*-1 + 3. Let o(r) = r**2 - 16*r + 18. Let j be 1/(-1 - 64/(-60)). Let x be o(j). Which is smaller: x or z?
z
Let z = -16 - -31/2. Let a = 29 - 73. Let u = a - -133/3. Which is smaller: u or z?
z
Let o be -6*(-1 - (0 + -2)). Is -9 greater than o?
False
Let u be -1*(-10)/(-345)*-3. Let l = -2 - -3. Which is smaller: u or l?
u
Let r be (-10)/(-5) + (-16)/(-6). Let s = 47/12 - r. Is s >= 0?
False
Let f = -1.2 + 6.1. Let d = 5 - f. Is 1/4 less than or equal to d?
False
Let u = -1.3 - 6.7. Let m = u - -5. Which is smaller: -1 or m?
m
Let r = 44.2 - 44. Let b = 5 + -2. Let k = -2 + b. Which is greater: k or r?
k
Suppose -2*g = -3*q - 9, q = -5*g - 4*q - 15. Which is smaller: g or 1/6?
g
Suppose 2*w + 7 = 1. Let d be (-92)/20 - (-6)/10. Which is smaller: w or d?
d
Suppose -x + 2*x = 2. Let j = -8 + 20. Suppose -2*f = x*f + j. Is -5 less than or equal to f?
True
Suppose 5*r + 4*z = 20, 0 = 4*r - 4*z + 2*z + 10. Let x be r/3 - (-4)/18. Let h = -0.2 - -0.2. Is x less than or equal to h?
False
Let c = -0.07 + -6.93. Let h = c - -4. Which is smaller: h or 1/2?
h
Let f = 2 - 1.9. Let b be 4/(-10) + 1038/45. Let l = b - 23. Which is bigger: f or l?
f
Let q = -0.07 + 0.14. Let a = q - 0.07. Is a not equal to -4?
True
Suppose -3*j + 5*j = -4*v + 32, -2*v = -3*j. Let u be 8/16*2*v. Are 4 and u non-equal?
True
Let r = 3 + -4. Let b = 0.05 - 1.05. Is r > b?
False
Let m(o) = -5*o**3 + 4*o - 12. Let r(z) = z**3 + z**2 + 1. Let i(y) = -m(y) - 6*r(y). Let s be i(-5). Let c be 2*1/(-6)*1. Do s and c have different values?
True
Let t be (5/(-2))/(1/2). Let r = t + 4. Let v = r - -1. Are 0 and v unequal?
False
Suppose 4*y = -2*f, -y - 4*f + 3*f = -1. Is y at least as big as 2/9?
False
Suppose -24 = 8*g - 10*g. Let r be ((-9)/g)/((-9)/16). Is 1 < r?
True
Let k be 6/12 - (-1)/(-18). Suppose 0*z - z = 0. Which is smaller: k or z?
z
Let r be (-7 - -6)*2/(-6). Is 0 less than r?
True
Let a be (-7)/2*(-40)/(-22). Let v = a - -313/44. Which is smaller: v or 2?
v
Let j be 9/4*16/6. Let d be ((-2)/j)/((-1)/3). Let z be ((-2)/(-26))/(8 + -9). Is z > d?
False
Let y(n) be the second derivative of n**5/20 + n**4/3 + n**3/6 - 5*n**2/2 - 4*n. Let c be y(-4). Which is bigger: c or -10?
c
Let r(l) = -l**2 + l. Let u be r(0). Suppose w + 2*w + 6 = u, 2*n + w - 6 = 0. Let f = n - 4. Is -3/5 at most f?
True
Let c be 5 - (-4 + 4)/4. Let i be 1*(-4 + c)/(-1). Which is smaller: i or -3/7?
i
Let z(x) = -x**2 - 6*x - 6. Let v be (-6)/(-8)*(-3 - 5). Let g be z(v). Do -7 and g have different values?
True
Let v = 0.8 + -8.8. Let p = 53 - 52. Is v equal to p?
False
Suppose 0 = -5*z + 16 - 51. Is -6 at least as big as z?
True
Let p be 0/3 + -1 + 3. Suppose 22 = 2*t + p. Suppose t - 3 = c - 3*s, -c = 5*s + 17. Is 0 != c?
True
Let l be (5 - 6) + (-2)/(-2). Suppose 1 + l = d. Suppose -4*a - 2*f - 6 = -a, 2*a = 2*f + 6. Is a less than d?
True
Suppose -4*v - 4*h - 6 = -2, 0 = 5*v + 4*h + 2. Suppose -f = -v*f. Which is greater: -1/12 or f?
f
Suppose -c = 3 - 2. Let w be 1/((0 - -5)*1). Let v = w + 1/20. Are v and c equal?
False
Suppose 3*n + p = -18, -3*n - 2*p - 21 = -0*p. Let o(s) = -2*s**2 + 2*s + 1. Let u be o(-1). Which is smaller: n or u?
n
Suppose -10*f + 14*f + 8 = 0. Which is smaller: -1 or f?
f
Let w(p) = 4*p + 28. Let h(z) = z + 9. Let j(r) = 7*h(r) - 2*w(r). Let d be j(6). Is 1 at most as big as d?
True
Let g be (-4)/38 + 32/304. Which is greater: g or -4?
g
Let w(v) = v**3 - 2*v**2 - 2*v - 2. Suppose 7*h - l - 6 = 4*h, 3*l - 12 = -h. Let i be w(h). Is -2 less than i?
True
Let c(s) = s - 1. Let a be c(-8). Let f be (2/(-3))/(6/a). Which is smaller: -1 or f?
-1
Let o = -33 + 58. Is 25 <= o?
True
Let j(m) = 3*m**2 - 2*m + 1. Let k be j(1). Let p be ((-1)/2)/(k/(-4)). Let t(i) = -i**2 - 4*i - 3. Let z be t(-2). Is z < p?
False
Let s be (432/(-15))/((-14)/(-580)). Let w = s - -1188. Let d = 34/7 + w. Is d <= -1?
False
Suppose -2*j - 15 = 3*j. Let y = 2 + j. Let d = -3107/8328 + -2/1041. Is y greater than d?
False
Let q = -17 + 15. Is q smaller than -2?
False
Let q = -7 + 7. Let y(z) = -z**2 - 6. Let b be y(q). Let j be (6/(-8))/(9/b). Is j <= 1/3?
False
Let n be (-6)/(-15) + 132/(-30). Let p be -2 + -1 + (-10)/n. Is p less than 0.04?
True
Let h = 6 + -3.6. Let n = -2.6 + h. Is n smaller than 3?
True
Suppose 0 = -3*g - 9