9 = 41, 4*l = 2*j - 32. Let z be j/33*6/12. Is 0 >= z?
False
Let v(k) be the second derivative of k**5/20 - 5*k**4/12 + 3*k**2/2 - k. Let x be v(5). Let a(p) = -p**2 + 3*p + 1. Let f be a(2). Are x and f nonequal?
False
Let q be (-6528)/40*30/52. Let n = q - -94. Do n and 1 have different values?
True
Suppose 4*x + 4 = 4*c, -1 = -4*x - 2*c + 1. Suppose v - 5*v - 4 = x. Is -2 greater than or equal to v?
False
Let d = -0.073 - -0.313. Do 1/3 and d have different values?
True
Suppose 4*f = 0, 0 = 4*s + 5*f - 65 - 75. Which is bigger: s or 34?
s
Let k(b) = 2*b + 6. Let i be k(-3). Suppose i = 3*r - 12, 0*r + 2*r = -4*t + 12. Which is smaller: t or 2?
t
Let g = -0.17 + 0.07. Which is smaller: -16 or g?
-16
Let f = -32 - -21. Which is smaller: -9 or f?
f
Let v be 1*(1 - 2)*(-1 + 2). Suppose -3 = 4*l + 1. Do v and l have the same value?
True
Suppose -4 = -h - 1. Suppose -20 = -4*f, -f = -h*a + 2*f - 27. Which is smaller: a or -3?
a
Let o = 19 - 22.1. Let d = 0.1 + o. Suppose 0 = -3*x + 2*x + 1. Which is smaller: d or x?
d
Let c = 0.09 + 3.91. Let j = c - 3. Let b = 39 - 40. Is j <= b?
False
Let p = -36 + 36.3. Let j = 2 + -1.8. Let n = j - 0.2. Which is greater: p or n?
p
Suppose -4*o - 6 = -2. Which is smaller: 2/37 or o?
o
Let z = 65 - 64. Are z and -20/9 nonequal?
True
Let v be (-2 + 5)*6/(-81). Let b be ((-9)/6)/((-40)/(-16)). Is b at least v?
False
Let d(z) = z**2 - 6. Let k be d(3). Which is smaller: k or 5?
k
Suppose -j + 6*j - 235 = 5*s, 2*s + 99 = j. Let b be 0/(-1) - (-4)/s. Which is smaller: b or 0?
b
Suppose -5*g + g = -2*g. Let s = -3.8 - -0.8. Let y = s + 3.1. Is g equal to y?
False
Let c = -67/1209 + -2/93. Suppose -1 = 4*q - 3*j, 0*q + 2*q + 2 = 2*j. Which is smaller: q or c?
c
Suppose 5*l - 2 = l - 3*t, 4*t - 8 = 0. Are l and 4/57 equal?
False
Suppose -10*u - 329 = -3*u. Which is bigger: 0 or u?
0
Let y = -0.037 + 0.237. Which is smaller: 8 or y?
y
Let n = 0.05 - -0.05. Let w = 0 + 1. Which is greater: w or n?
w
Let c = -3 + 7. Let k be c/(-18) + 28/(-36). Let o be -1 + (3 - k - 1). Are o and 2 equal?
True
Let v = -20 + 5. Let w be v/(-36) + 2/8. Let j be -6*((-8)/3)/8. Which is smaller: j or w?
w
Let p = -35 + 55. Let v = p + -12. Let z be (1/(-18))/((-2)/v). Are 1 and z equal?
False
Suppose 0 = -2*h - 3*h + 25. Suppose -5*n - 5*g + 60 = 0, -3*g = -3*n - 0*g + 24. Suppose -5*k + h*a + n = 0, a - 6*a = 25. Which is smaller: -2 or k?
k
Suppose 0 = -4*p + 4*o - 20, 0 = -5*o + 3*o - 10. Let w(a) = a**3 + 10*a**2 - a - 10. Let h be w(p). Which is bigger: h or 1/16?
1/16
Suppose 3*l + y = -20, -2*l - 3*y - 24 = l. Let z = l - -10. Suppose z*v + 2*x = -x + 4, 4*v = -2*x. Is v not equal to -5/6?
True
Suppose -5*u - 2*w = -4*u - 9, 0 = u - 5*w + 19. Which is bigger: u or -5?
u
Let y(o) = -4*o**2 + 5*o - 5. Let z be y(1). Which is smaller: z or -12?
-12
Let k(r) = 5*r**3 - 13*r**2 + 7*r - 14. Let a(x) = 3*x**3 - 6*x**2 + 4*x - 7. Let o(l) = -7*a(l) + 4*k(l). Let z be o(-10). Is z >= -7?
True
Let t = -300/157 - -48555/24178. Let y = t + 1/22. Let i = 0 + 1. Is i bigger than y?
True
Let k be ((-4)/10)/((-5)/25). Is k >= 0?
True
Let n = 2/181 + -456/8507. Is 1 less than n?
False
Let m be 0 + 8 - -3*2/(-3). Does 28/5 = m?
False
Suppose -o - 8 = -3*f + 9, 5*f - 45 = 5*o. Which is bigger: -2 or o?
-2
Suppose -g = -2*q, -5*q - 1 = 2*g - 4*g. Suppose 38 - 2 = 2*p. Suppose -3*m = 2*y - 7, p = 2*m + 4*y - 0*y. Which is greater: g or m?
m
Let s be (-1 - -4) + (-956)/408. Let m be -2 - ((-814)/204 - -2). Let j = m - s. Which is smaller: -1 or j?
-1
Let i = -75458/5 + 30361/2. Let x = 89 - i. Which is greater: x or 1?
1
Let f = 7 - 4. Suppose f = -a + 4*a. Which is smaller: 2 or a?
a
Suppose -3*o = 3*x + 39, -2*x - 3*o - 23 = -2*o. Let v be (x/(-6))/(56/(-21)). Is -1 smaller than v?
True
Let o = -18 - 9. Which is smaller: o or -26?
o
Let y be (-33)/30 + (-5 - 65/(-10)). Is y at least -2.3?
True
Let i = 4323/14 - 309. Suppose -2*f = -3*f + 1. Do i and f have the same value?
False
Let k be (-1 + 9/6)*0. Let m = -3 - k. Is -13/4 equal to m?
False
Let i(l) = l**2 - 2*l + 1. Let f be i(1). Let a be (-1*(-2 - -1))/1. Let u be (2 + 0 + -3)*a. Is u > f?
False
Suppose f = -4*f. Let y be (-6)/(-20)*(f + 2). Let h = 3 + -5. Is h at least as big as y?
False
Let m be (-1)/(430/(-85) - -5). Is m >= 17?
True
Let u = 7 + -23. Let r be u/(-7) + (-4 - -2). Suppose 0*h + 4*h = -4. Which is greater: r or h?
r
Let c = 3 + -3.06. Let b = c + 8.06. Which is greater: -0.1 or b?
b
Suppose 4*t - 20 = -b, 2*b - 28 = 3*t - 8*t. Let z = -5 + b. Which is bigger: -2 or z?
z
Suppose -h - 5*y + 1 + 0 = 0, -2*h - 3*y + 2 = 0. Let t be (-2 + h)/(28/7). Which is bigger: t or -7?
t
Let i(d) = d**3 - 5*d**2 - 5*d - 1. Let u be i(6). Suppose 9 - 4 = u*n. Let j = 74/171 + -4/19. Is j greater than or equal to n?
False
Suppose o = -y, 3*o + 2 = -2*y - 3*y. Is -1/94 > o?
False
Suppose -8 = b + 5*h, 4*h = 4*b - 10 - 6. Suppose -b*p = -6*p + 4. Suppose 2*o = 3*o. Which is smaller: o or p?
o
Let k = -11 + 15. Suppose 5*j = k*j + 10. Let i be (-4)/j - (-7)/5. Are -3/11 and i nonequal?
True
Let m = -79 - -239/3. Let i be (-2 - 1) + 0 + 3. Is i at most m?
True
Let j be -5*(-1)/(-3) - -2. Let n be 1*4*(-9)/(-6). Suppose n*h = 11*h. Which is smaller: j or h?
h
Let o = -3.363 - -0.063. Is -1 smaller than o?
False
Let s be (2 - 90/22) + 2. Suppose 12*n - 17*n = 5. Do s and n have the same value?
False
Let t be (36/8)/(3/(-4)). Let i be (-4)/t*12/2. Which is smaller: i or 5?
i
Let r = -2.3 - 0. Is -1 != r?
True
Suppose -2*d = 2*z, -4*d + 3*z = -z + 24. Let q be -12*(-2)/((-16)/(-4)). Let i be 4/q - (-16)/(-6). Is d < i?
True
Let k = 227 + -2948/13. Which is bigger: -1 or k?
k
Let w = -1 + -14. Which is bigger: -14 or w?
-14
Suppose -b - b = -2*w - 6, 4*b - w - 3 = 0. Let i = 0.7 + -0.5. Is i >= b?
True
Let g = -1 - -0.9. Let y = 0 - g. Which is bigger: y or -0.2?
y
Let s be (3/(-4))/((-90)/48). Which is greater: s or -23?
s
Let c(m) = -3*m + 1. Let n be c(1). Let d be n/(-9) - (-33)/(-27). Is d greater than -1/2?
False
Let c be 6/(-9) + 2/(-6). Let y be (-3)/6*(1 + (1 - 0)). Do y and c have the same value?
True
Let y(j) = 1. Let r(u) = -3*u + 15. Let x(g) = -r(g) + 15*y(g). Let l be x(1). Suppose -w = -l*w. Which is smaller: 1/2 or w?
w
Let o be 9/(-6)*4/(-9). Suppose 5*x - 2*w + 37 = 5, 2*x = -w - 11. Let l = x - -8. Which is bigger: l or o?
l
Suppose 0 = 3*a + a - 24. Let p(d) = -d**2 + 6*d. Let q be p(a). Is q smaller than -3/5?
False
Suppose -m = -4*l + 16, -3*m + 52 = 4*l + 20. Let f = 6 - l. Let y = 6 + -5. Is f != y?
False
Let n = 34 + -37. Which is smaller: 0 or n?
n
Let h = -3 - -3. Let s(g) = -g - 2. Let w be s(-6). Suppose -w*p + h - 4 = 0. Is -2 != p?
True
Let p = -0.1 + 0.1. Let t = -0.1 + p. Let z = 1/14 + 19/28. Which is greater: z or t?
z
Let n = -1.1 + 1.26. Let b = 2.74 + n. Let y = b - 3. Is y at most 1/3?
True
Let i = 9 - 17. Let c = 12.73 + 0.27. Let m = i + c. Is 1 >= m?
False
Let r = 49 + -50. Is r < 11/3?
True
Let v = -22.2 + 4.2. Let b = v + 10. Does b = -2?
False
Suppose -g - 9*g = -50. Which is greater: 0.6 or g?
g
Let i be 2 - (2*-1 - -2). Suppose -3*s + 1 = -i*s. Let z be 3 - 0 - (-1 - -2). Is s greater than or equal to z?
False
Let y(b) = 2*b**2 + 2*b + 2. Let u be y(-3). Which is greater: u or 15?
15
Let c be (-4)/((-12)/(-3))*-1. Let h = 0.3 + -0.4. Is h bigger than c?
False
Let c = 6 + -3. Which is greater: 4 or c?
4
Suppose c + 16 - 5 = 2*b, 5*b = -2*c + 5. Suppose 3*l - r + 1 = r, b*r - 4 = 2*l. Which is smaller: -3 or l?
-3
Suppose -3*z - 6 - 6 = -3*r, -5*r = -4*z - 18. Suppose 0 = -n + 3*n + 42. Let f be (-14)/n*(-2)/1. Which is bigger: f or z?
f
Let o = -1 - -0.7. Let m = -2.1784 - -0.0484. Let r = -0.13 - m. Which is greater: r or o?
r
Suppose 5*d + 10 = 5*w, 0*w - w = -4. Which is smaller: d or 6?
d
Let t be 50/(-15)*3/1. Let f = t - -9. Does 2/13 = f?
False
Suppose 16 = 3*n + n. Suppose 0 = -n*r, 4*i + 3 = -r - 5. Are -1 and i equal?
False
Let n = -0.4 + 0.2. Let g be 0 - (-1 + (-16)/60*-3). Which is bigger: g or n?
g
Let a = -115 - -107. Suppose -5*w - 55 = -5. Let c be (-9)/w + 4/a. Is c at least as big as -1?
True
Let v = 111 - 125. Is v < -4?
True
Let y(k) = k - 4. Let q be y(5). Which is smaller: q or 2/21?
2/21
Suppose 2*w + 2*z = 5*w + 81, -3*z - 135 = 5*w