ater: c or p?
p
Let k be -1*3/(-6)*10. Let p be 2*(4 - 3)*1. Suppose -p*h + 8 = -2. Do h and k have different values?
False
Suppose -y - 10 = 5. Let z be (0 - 2)/((-10)/y). Is -2 > z?
True
Suppose -5*l - 17 = 2*h + h, h - 1 = 5*l. Which is bigger: -3 or h?
-3
Suppose -7*g + 2*g + 5 = 0. Let b(v) = v**2 - 4*v - 4. Suppose -3*k + 5 = k - 5*c, -3*c + 9 = 0. Let f be b(k). Are g and f nonequal?
False
Suppose -3*h + 0*g + 4*g = 0, -16 = -h - 4*g. Let b(n) = 4*n**3 - n**2 + n. Let m be b(1). Is h less than m?
False
Let y be (-74)/(-8) + (-6)/(-8). Let x be ((-4)/y)/(1/(-5)). Let r(v) = v**2 - 2*v. Let f be r(x). Is -1/4 >= f?
False
Suppose k + 0 = -13. Let g = 10 + k. Does g = -3?
True
Let t be 1/(6/(18/(-13))). Does t = 1/2?
False
Suppose -4 = m - 1. Let l = 19 + m. Suppose 0*h - h = 4*a - 8, -4*h = -l. Is a less than 1?
False
Let i be 5/5*5/(-4). Which is smaller: 5 or i?
i
Suppose 6 = 4*f + 2. Let l be ((-4)/16)/(20/24). Is f at least as big as l?
True
Let p(d) = d**3 - 4*d**2 + 6*d - 2. Let t be p(4). Let a be (-2)/(-10) + t/(-10). Which is bigger: a or -6/5?
-6/5
Let w = 0 + -2. Let r be 49/(-84) + (-4)/24. Which is greater: w or r?
r
Let c = -9 - -5. Let j(v) = v. Let l be j(-2). Which is bigger: l or c?
l
Suppose 42 = 4*t - 50. Which is smaller: t or 25?
t
Let k = 2 - 5. Suppose 6*j + 2*c = 4*j - 8, 0 = 5*j - c + 8. Which is smaller: j or k?
k
Let v = 9 + -3. Let s be ((-5)/15)/(v/4). Do s and 1 have the same value?
False
Suppose 3*d - 5*g - 12 = 0, 5 + 5 = -d - 3*g. Which is greater: 1/5 or d?
1/5
Suppose 0 = -5*w + 4 + 6. Is -5 less than w?
True
Suppose 2*i = -2*n + 4, -3*i = i + 5*n - 4. Let d be (0 + 3)/((-15)/(-25)). Which is greater: i or d?
i
Suppose v + 14 = 3*b + 4, -3*b = 5*v + 14. Suppose -b*s - 15 = -1. Is s < -8?
False
Suppose 3 + 1 = 2*h. Let q be 0/(3*h/(-3)). Which is bigger: q or 1?
1
Let s be (1/(-2))/(4/8). Which is smaller: -3/35 or s?
s
Let y = 2.93 + -92.23. Let j = y + 97. Let q = j - 8. Which is smaller: q or -1?
-1
Let n = 3716.3 + -3567. Let d = 143 - n. Let m = d + 6. Is m > 1/3?
False
Let s = 12 + -8. Let d = -4 + 3.9. Which is greater: d or s?
s
Let v be (-15)/3 + 1 - -1. Which is greater: v or -7/3?
-7/3
Suppose t = 3*t + 2. Let v = t - 0. Let m = -2 - v. Is m at most -1/4?
True
Let z(s) = s**3 - 3*s**2 + s - 5. Let g be z(4). Suppose -5*c + 0*c + g = 0. Let j = -22 + 89/4. Which is bigger: j or c?
c
Let f(s) = s**3 - 2*s**2 - 8. Let o(t) = -t**3 + t**2 + 9. Let n(k) = -4*f(k) - 3*o(k). Let l be n(5). Suppose -l*m = -m. Which is bigger: 3/8 or m?
3/8
Suppose -2*s = -6*s - 4. Is s at most as big as 0?
True
Let j be 3 + -2*(-3 + -9). Which is smaller: j or 26?
26
Let b = 7 + 0. Is 7 bigger than b?
False
Let f = -4 - -1. Let t = f - -3.1. Let j = 0 - t. Are 2/5 and j non-equal?
True
Let f = -2 + 5. Suppose -f*y + 15 = -0*y. Suppose -t = y*l - 23, -t + l = -5*t + 16. Which is smaller: t or 2?
2
Let g be -3 - (3/3 + -2). Let o be -5 - -5 - g/3. Which is greater: -2 or o?
o
Let y(v) = -43*v**3 - 4*v**2 + 5*v - 3. Let u be y(1). Is u at most as big as -45?
True
Let x be (18/(2 + 1))/(-2). Which is smaller: -1 or x?
x
Let w = 1 + -1. Let s = -264 + 1845/7. Is w bigger than s?
True
Let i = 687/5 + -138. Are -5 and i non-equal?
True
Suppose 0 = -5*a + 4*z - 2*z + 11, 2*z - 1 = a. Suppose -12 = a*q, 2*q - 10 = 2*w + 4*q. Which is smaller: 2/29 or w?
w
Let l = -0.17 - -0.37. Is -1/4 equal to l?
False
Suppose -i - 3*n + 27 = -4*i, 21 = -3*i + n. Let b be 20/i*(-6)/(-4). Which is smaller: -6 or b?
-6
Let v = -3 + 12. Let l = v + -9. Which is smaller: l or 0.07?
l
Let v be (6/4)/((-14)/(-4)). Let p(q) = -q**3 - 10*q**2 - q - 11. Let d = -24 + 14. Let n be p(d). Which is greater: n or v?
v
Let q(i) be the third derivative of i**6/120 - i**5/6 + i**4/2 - 2*i**3 - 2*i**2. Let u be q(9). Suppose -u = 5*c - p, 0*c + 2*c + 6 = -p. Is -4 greater than c?
False
Suppose 0 = -6*y + y + 175. Let q = -177/5 + y. Which is smaller: q or -0.2?
q
Let j = 4 - 4. Which is greater: 1/23 or j?
1/23
Let q = -24 - -58. Let d be q/104 - (-5)/(-20). Which is greater: 1 or d?
1
Suppose 0 = -3*j + j. Suppose 3*z - 5*g = -14, j*z - 3*g = 2*z + 22. Is -7 > z?
True
Let m(q) = q**3 - 10*q**2 + 9*q. Let w be m(9). Let p = 5 + -4.7. Let v = -0.1 + p. Is v bigger than w?
True
Let n = 2 - 6. Let h = -0.8 - 0.2. Which is greater: h or n?
h
Let c be 2/(10 + 0) + 2/(-10). Let n = 3.7 - 0.7. Which is bigger: c or n?
n
Let i(c) = -14*c**3 + 2*c**2 - 8. Let w(l) = 5*l**3 - l**2 + 3. Let m(p) = 4*i(p) + 11*w(p). Let h be m(-3). Which is bigger: h or 3/7?
h
Let f be 1*(0 + 0 + 1). Suppose -3*i + f = -2. Let v be 0/((3 - i) + 0). Which is smaller: v or -2/13?
-2/13
Let a(d) = 2*d**2 + 11*d + 8. Let u be a(4). Is 85 at least u?
True
Suppose 5 = r - 5. Let a be (-74)/r + (-4)/(-10). Let j(v) = -v**3 - 7*v**2 - v - 7. Let k be j(a). Which is smaller: -3/4 or k?
-3/4
Let t = -62.7 + 62. Which is bigger: t or -0.2?
-0.2
Let x = 6.7 + -0.7. Let d = x + -4. Let z = -1.9 + d. Which is bigger: z or 1?
1
Let g be 0 - 2 - -20 - (4 + -7). Is 39/2 > g?
False
Let w be 20/14 - 21/49. Is 17/7 <= w?
False
Let o(q) = -3*q**2 - q + 1. Let i be o(1). Let u be (0 + -1)/(i/6). Is u greater than or equal to 5/7?
True
Let g = 0.1 + -2.1. Let v = -55 - -383/7. Which is bigger: v or g?
v
Let f be 5/(-3) + (-2)/(-3). Let z = -137 + 682/5. Is z less than f?
False
Let o = 4 - 20/3. Let y = o - -2. Let j = -851.1 + 851. Which is smaller: j or y?
y
Let u(k) = -k**3 - 3*k**2 - k + 3. Let o be u(-3). Let h = 7 - o. Suppose 2*n = -n. Is n at most as big as h?
True
Suppose 2*l - 18 = -0*l - 5*b, -5*l = 5*b - 30. Suppose 4*h + l*n - 12 = 0, 2*h - n - 9 = 6. Let r = h - 4. Is 2 greater than or equal to r?
True
Suppose 5*j = -5*c - 135, -4*c + 204 - 24 = -5*j. Let y = j + 20. Let h(f) = -f**2 - 12*f + 4. Let t be h(y). Is 5/2 not equal to t?
True
Let z(f) = -f**3 - 4*f**2 + 4*f - 1. Let t be z(-5). Let w(i) = i**2 - 8 - t*i + 7 + 2*i. Let m be w(3). Which is bigger: 1 or m?
m
Let o = -46 - -50. Let v = -8 - -14. Which is smaller: o or v?
o
Let m be 0 - (-4 + 5) - (-1)/(-3). Which is smaller: 0 or m?
m
Let d(r) = r - 12. Let i be d(9). Which is smaller: i or -1/4?
i
Let o be (-3 - -1)*(-1)/(-2). Let z be ((-6)/2)/(-3*18/4). Is o at most z?
True
Let u = 13 + -21. Which is bigger: -9 or u?
u
Let j be (4/(-6))/((-1)/(-6)). Let n(f) = -f**2 - 16*f - 61. Let d be n(-6). Which is bigger: j or d?
d
Let n be -2 - (-2)/(4/2). Let b(o) = -3*o**2 - 23*o - 14. Let y be b(-7). Does n = y?
False
Let m(f) = f - 9. Let t = -8 + 13. Let v be m(t). Let k be (2/((-4)/(-1)))/((-73)/584). Is v less than k?
False
Suppose -13 = 2*m - 5. Let u(c) = c**2 + 7*c + 9. Let v be u(-6). Let b = v + m. Which is greater: b or -1/2?
-1/2
Suppose -4*y + 0 = -8. Suppose -s + 12 = y*s. Let j = s + -4. Is j >= 0?
True
Let i be -2 - (3/(-1) + (-2)/(-2)). Which is bigger: 2/9 or i?
2/9
Suppose -g + 2 = b, g = -5*b - 0*g + 2. Let q = -473/18 + 12911/504. Let n = q - -3/8. Is b > n?
True
Let x = -0.03 - -0.08. Let h = -0.05 + x. Which is greater: h or 0.1?
0.1
Suppose 3 = h + o - 2, -4*o = 5*h - 24. Suppose j - h = -3. Is j bigger than -1/5?
True
Let i = -4/21 + 155/42. Are i and 4 equal?
False
Let m = -38 - -37.8. Does 1/3 = m?
False
Let l(f) = -2*f + 6. Let d be l(5). Is -3 greater than or equal to d?
True
Suppose 0 = -4*z - 4 - 24. Let q = -5 - z. Which is smaller: q or 3?
q
Let f = 22 + -21. Is f >= -0.39?
True
Let x be 2/8*(-16)/18. Let y = x + -1/36. Let s = -56.4 + 56. Which is bigger: y or s?
y
Let s(v) = -2*v**2 - v + 2. Let a be s(1). Are 1/33 and a equal?
False
Let l = 13 + -15. Which is smaller: l or -1?
l
Let v(h) = h**2 - 8*h + 11. Let y be v(6). Is y smaller than -1/32?
True
Let u(m) = m**3 + 12*m**2 + 14*m + 13. Let c = 12 + -23. Let k be u(c). Let i be 6/15 - 17/k. Which is smaller: i or 2?
i
Let k = 3.747 + -0.147. Is -0.2 greater than k?
False
Suppose 0 = 4*h + h + 25. Is -7 <= h?
True
Suppose -6 = -3*z + 3*g, 2*z + 0*g + 2*g = -4. Let f = 65 - 21. Let k be -3 - (2 - f/12). Which is smaller: k or z?
k
Suppose 0 = 4*h + 2 - 18. Let u = 4 - h. Are u and 1/3 equal?
False
Let b(w) = w**3 - 8*w**2 + 2*w - 4. Let x be b(4). Suppose -m + 4*p = -14, -3*m + p = -3*p - 10. Let h be (-35)/x - m/(-8). Is 0 at least as big as h?
False
Let 