tive of -z**4/24 + 5*z**3/2 + 4*z**2. Let n be a(13). Are n and k equal?
False
Let i(s) = -s + 10 + 5*s + s - 4*s. Let p be i(0). Let g = p + -11. Which is smaller: 0 or g?
g
Let u be (-36)/(-66)*1/27. Which is greater: 0 or u?
u
Suppose -2*r - 5 = f - 8, f + 4*r - 1 = 0. Suppose 12 = -2*p + 50. Suppose p = 3*s + 7. Is f < s?
False
Let f = 209/5 + -4454/105. Let q be (4/21)/(6/(-9)). Let s = q - f. Which is smaller: s or -2?
-2
Suppose -12 = 2*u + 2. Is u less than or equal to -7?
True
Suppose 3*j + 2*t - 5 = 2, -5*t = -5*j - 5. Which is smaller: j or 2/17?
2/17
Let z be (-20)/(-15) + 8/12. Which is bigger: 7 or z?
7
Let u = -1/2592 - -118591/18144. Let j = u - 44/7. Which is smaller: 1 or j?
j
Let h be 74/(-26) + 10/(-65). Is h < -19/9?
True
Let l be 1/(-2) - 96/(-168). Are 0 and l equal?
False
Suppose -2*c + 23 = -w + 6, 5*c = 2*w + 42. Let n be c/(-6) - 1/(-3). Is 1/6 greater than or equal to n?
True
Let s = -27 - -7. Is 1 at most as big as s?
False
Suppose n - 360 = -3*n. Let g be (-102)/n + 0 + 1. Is g at most 0?
True
Let k = -4 + 7. Let s = 7/15 + 1/30. Which is bigger: k or s?
k
Suppose 4 = 4*z - 3*z. Is 4 at most as big as z?
True
Let y be (-4)/(-5)*(-75)/(-870). Is y >= 1?
False
Let a = -236.23 + 235. Let q = a + 1.2. Which is smaller: q or 0.1?
q
Suppose 4*a - 3*t + 5*t + 6 = 0, -2*a + 5*t = 33. Let b = -4 + -1. Which is greater: b or a?
a
Let w = -40 + 38.1. Let q = w - 0.1. Which is smaller: q or 1?
q
Let h(d) = -d**2 + 7*d + 7. Let c(k) = k**3 - k**2 + 8. Let j be c(0). Let f be h(j). Is f at most -2/7?
True
Suppose 7 = -2*t - 1. Is t >= -4?
True
Let q(i) = i**2 + 6*i + 5. Let k be q(-6). Suppose -2*f - 1 = -3*p - 5, -k*p = -f + 2. Is f bigger than 2?
False
Let a(w) = 2*w**2 - 2*w - 1. Let t(i) = i - 12. Let y be t(11). Let b be a(y). Which is smaller: 7 or b?
b
Let d = -2 - -3. Let x be (-6)/(-9)*(-1)/2. Is d smaller than x?
False
Let j(c) = -c**3 + 4*c**2 + 6*c - 6. Let v be j(4). Which is greater: 17 or v?
v
Let h(g) = -g - 1. Let n be h(-5). Suppose 3*l = n*b + 3 + 12, -20 = -5*l + 5*b. Which is bigger: l or -1/3?
l
Suppose 4 = 2*k + 2, -3*k = -2*o - 1. Is 7/3 smaller than o?
False
Suppose -5*k = -6*k - 2. Do -2 and k have the same value?
True
Let n(a) = 2*a - 1. Let f be n(1). Let y be 12/60 + 28/(-90). Is f less than or equal to y?
False
Let k be -3 - -2*(-27)/(-16). Let p be -1 - ((-39)/(-40) + -3). Let l = 5/8 - p. Is k at most l?
False
Let t = 3/85 + 1943/340. Which is bigger: t or 6?
6
Let r be 18/10 + 1/5. Let x be (r/(-6)*0)/(-1). Suppose 0 = -2*w - 3*h + 1 - 8, x = -3*w - 5*h - 12. Is w less than 1?
False
Suppose -5*j = -0 - 5. Let m be 15/10 + -1*3. Let p = j + m. Which is smaller: -2/5 or p?
p
Let b be -1 + (-120)/(-55) + -1. Is b <= 1?
True
Let s be (-64)/12 + 2/(-3). Is -4 >= s?
True
Let n = -162/475 + 8/19. Let r(q) = -2*q + 22. Let i be r(11). Is i <= n?
True
Let g be 6*(-8)/3*-2. Let a be (794/24)/(12/g). Let s = a - 88. Is s greater than -1/5?
True
Let f be (-1)/4 - 9/28. Let n = 89/1540 - -5/44. Let y = n + f. Which is bigger: y or -1?
y
Let x = -9 - -21. Let v = x - 12.1. Does -2/13 = v?
False
Let i be 2*(-4)/(-24)*-3. Let x be 10/(-24) - (-3)/12. Is i bigger than x?
False
Let i(h) = 5*h**2 - 6*h - 5. Let x be i(5). Let w be (5/(x/(-4)))/1. Let t = -1.2 - -0.2. Is w >= t?
True
Let c = -37 - -37. Which is greater: -1 or c?
c
Let b = 873/8 + -109. Is b less than -4?
False
Let v = 7 - 6. Let t be (4 + v)*14/10. Which is smaller: t or 8?
t
Let a = 10 - 4. Let f = a + -5.9. Is f <= -3?
False
Let x be ((-2)/(-4))/((-30)/(-1220)). Let r = 21 - x. Is -0.08 less than or equal to r?
True
Let o be 14 - (-4)/((-12)/(-3)). Suppose v + 2*v = o. Is v bigger than 3?
True
Suppose -w = w + 2. Let t be (0/w)/(1/1). Which is bigger: 5/7 or t?
5/7
Let g = -7 - -9. Suppose 0*r - 2*r - g*w + 6 = 0, -w = -2*r + 3. Suppose -z = -5*t + 6, 3*t = z - r*z + 10. Which is smaller: t or 0?
0
Suppose 3 + 66 = 3*d. Let l be d/(-5) - 8/20. Let h = -2 - 0. Is h less than l?
False
Let l be -29 - (3 + -3)/(-3). Let y be l/10 + 36/24. Which is smaller: 0 or y?
y
Let t be (2/4)/(5 - 4). Let l = 152779419/555929 - 2/50539. Let f = l - 275. Is f not equal to t?
True
Suppose -61 + 1 = -4*p. Is 14 greater than p?
False
Let w be (-2)/(-2)*(1 + -8). Suppose -2*c - 3*c = 4*k - 18, 0 = 4*k - 8. Let l be (0/c)/(w - -4). Which is smaller: l or 2?
l
Let n = -3 + 1. Let j = n - -2. Which is greater: -1 or j?
j
Let a = 1 - 1. Let b = -0.1 - a. Let z = 191/90 - 19/10. Which is smaller: z or b?
b
Let i = -2.3 - -1.6. Let v = -1.7 - -2. Let k = i - v. Which is smaller: k or 0.4?
k
Let c be ((-65)/(-10))/((-1)/(-2)). Suppose -2*k = -8, x = 5*k - 33 + c. Suppose -1 + 4 = 3*i + 3*m, x = m - 4. Which is bigger: i or -2?
-2
Suppose 12 = 5*r - r. Which is bigger: 13 or r?
13
Let a(g) be the first derivative of -g**2/2 - 4*g + 1. Let h be a(-5). Let t be (-1)/(1/1)*-2. Which is greater: t or h?
t
Let a(q) = 4*q**2 - q + 2. Let h(u) = 2*u**2 - u + 1. Let g(r) = -3*a(r) + 5*h(r). Let k be g(-1). Is 2/29 greater than k?
True
Let z be (5/(-130))/(1/(-82)) + -3. Which is bigger: 1 or z?
1
Suppose 0 = 3*a + 4 - 1. Let y be 1/(a/5*1). Is y bigger than 0?
False
Let t = -4 - -3. Suppose -2*n = n - 6. Let a be (n/30)/((-3)/(-6)). Is t not equal to a?
True
Let a = 71 + 17. Which is smaller: a or 87?
87
Let g = -0.01 - -2.01. Let n = 27 - 17. Let m = -9 + n. Do g and m have the same value?
False
Let f = 16.8 - 17. Let s(g) = -g**3 - 5*g**2 + 5*g - 2. Let r be s(-6). Let y = -3 + r. Which is smaller: f or y?
f
Let p be (-3 + 4)*7/1. Suppose 2*t = t - p. Let b = t + 8. Which is smaller: b or 3/4?
3/4
Suppose 0 = 25*u - 22*u - 51. Which is greater: u or 16?
u
Let h be -1 + 2 + 0 + 0 + 7. Let u(n) = -n**2 + 3*n - 1. Let r be u(2). Which is bigger: r or h?
h
Let n be 3/(7/(14/3)). Let y be 0 - -1 - (n - 8). Which is smaller: 8 or y?
y
Suppose -3*i - 4 - 2 = 0, 0 = -z - 4*i - 5. Suppose 0 = -3*v + 2*g - 34, z*v = 6*v - 3*g + 39. Let t be 5/(-12) + (-2)/v. Is t not equal to 1?
True
Let f = -21 - -24. Is 2/3 at least f?
False
Let v be ((-3)/(-4))/(45/8934). Let p = v + -149. Let z be (0/1)/(-4 - -1). Do p and z have the same value?
False
Let g be -4 - (46 + 2)/(-3). Is 11 less than g?
True
Let k = 0.5 - -1.5. Is k smaller than -2.2?
False
Let u = 1 + -6. Let z = 30 - 31. Which is smaller: u or z?
u
Let g(r) = -r - 2. Suppose 3*l - 4*b = -2*b - 10, -l = -4*b + 10. Let i be g(l). Is -1 <= i?
True
Suppose t = 2*t + 26. Let b = t + 32. Is 6 >= b?
True
Suppose 4*n - r - 4 = 3*r, -3*n + 2 = -4*r. Suppose -4*g + 5*g - 3 = 0. Are n and g non-equal?
True
Let v be (0 + 2)*(-8)/(-8). Let g = -1 + v. Let f be ((-9)/15)/((-16)/(-10)). Which is bigger: f or g?
g
Let z be -5 - 3/6*-2. Which is greater: -6 or z?
z
Suppose a - 6*a + 2*p - 42 = 0, 3*a = -3*p - 21. Is a at most -8?
True
Suppose -2*v + 23 = 5*d, 2*d = 3*v - 3*d + 28. Are v and -2 equal?
False
Let v be (-40)/30*(-42)/(-16). Which is smaller: -5 or v?
-5
Let m(x) = -2*x**3 + 2*x**2 - 5*x**2 + 4*x**2. Let a be m(-1). Suppose -a*w + 3 = -3. Are 1 and w unequal?
True
Suppose 0 = -y - 3*y - 5*p - 13, 4*p = -20. Suppose 5*k + y*a = -0*a + 18, -a = -3*k + 8. Let x be 6/9 + (-26)/k. Is x less than or equal to -7?
True
Suppose 0 = y - 0*y - 9. Let z = y - 10. Is z at least -1?
True
Suppose 0 = 3*w - 8*w + 160. Suppose 2*m - 14 = -0*m - 5*v, 0 = 4*m - 5*v + w. Is -3 >= m?
True
Let u = -3/91 + -113/2093. Is 0.1 equal to u?
False
Suppose -3*n + 15 = -0*n, 2*n + 10 = 4*f. Are f and 2 non-equal?
True
Suppose 0 = 4*p - 3*p + 6. Let s be ((-2)/(-68))/(p/24). Which is greater: s or 0?
0
Suppose s = 2*q - 13, -q + 5 = -s - 2. Suppose q*u = 3*u. Is -1/8 less than or equal to u?
True
Let c = 19.3 + -20.3. Which is smaller: c or -1/6?
c
Let o be (1 - -1) + (-2 - -1). Let n(m) = 7*m**2 - 19*m + 2. Let f(s) = -10*s**2 + 28*s - 3. Let p(t) = -5*f(t) - 7*n(t). Let y be p(7). Is y greater than o?
False
Let x(q) = q**3 + 13*q**2 + 12*q - 1. Let s be x(-12). Which is bigger: s or 2/45?
2/45
Let h = 0.72 - 0.72. Which is smaller: h or -7/4?
-7/4
Suppose 3*n = -4*g - 10, 0 = 4*n + g - 3*g - 16. Suppose n*i - 14 = -4. Suppose -4*t - 36 = -i*p, 3*p - t = -3 + 19. Is 4 at least as big as p?
True
Let m(h) = 8*h**3 - h**2 - 2*h - 1. Let l be m(-1). Which is greater: -9 or 