ifferent values?
True
Suppose 2*w - 6*w + 16 = 0. Let y(k) = k**2 - 5*k + 4. Let a be y(5). Let m be 12/a - (w - -1). Is -4/7 greater than m?
True
Let d = 3 + 1. Let y be ((-6)/d)/((-3)/8). Which is bigger: 5 or y?
5
Suppose f + 11 = 2*f + 3*h, 4*f - 3*h = -1. Which is smaller: f or 7?
f
Suppose 0 = 4*f - 10 - 6. Suppose 5*m - v = -87 - 36, -5*v = f*m + 110. Let d be (2/m)/((-1)/5). Which is smaller: d or 1?
d
Let u(a) = 7*a + 14. Let x(f) = 13*f + 27. Let v(c) = 11*u(c) - 6*x(c). Let g be v(-9). Which is bigger: 2/3 or g?
g
Let a = -0.35 + -2.65. Let s(y) = -3*y**2 - y + 1. Let b be s(1). Is a bigger than b?
False
Let q be (-1)/(-1) - 3/1*1. Suppose -3*u + 0*u = 9. Is q <= u?
False
Suppose 0 = -4*x - 2*k - 12, 2*x + 4*k = 0. Let p be (-3)/27 - x/(-18). Is p less than or equal to 2?
True
Suppose 4*p = -3*s + 35, -40 = 3*s - 7*s - 4*p. Is s less than or equal to 7?
True
Let w = 0 + 1. Let c be 0 + (-2 + 1 - w). Let o = 3 - 5. Is o at most as big as c?
True
Let w(g) = -g**3 + 5*g**2 + g - 7. Let z be w(5). Let v = 4 + -2. Let m = v + -1. Is m greater than or equal to z?
True
Suppose 3*r = -t + 16, -5*t - 11 = 4*r - 36. Is t not equal to 6/7?
True
Let w be ((-6)/(-8))/((-2)/8). Let u be w*(-2 - (-6)/9). Suppose 0*v + v = 2*p + u, 0 = 3*v + 4*p + 18. Which is greater: -3 or v?
v
Let d be (5*1/90)/(1/4). Which is smaller: d or 5?
d
Let q(v) = -v**3 - 16*v**2 - 9. Let f be q(-16). Is -9 greater than f?
False
Let u = -0.1 - -0.1. Let m = 1.2 + -0.2. Which is smaller: m or u?
u
Suppose 3*a + w - 30 = 0, -2*a = 3*w - 1 - 19. Let h(m) = -m**3 + 9*m**2 + 11*m - 9. Let n be h(a). Do n and -2/17 have the same value?
False
Let u = -3 - -3.5. Let n = u - 0.1. Let y be ((-14)/(-15) - 1)*-6. Is y < n?
False
Let z(m) be the second derivative of -m**5/20 - 5*m**4/12 - m**3/6 - 7*m**2/2 + m. Let d be z(-5). Is -6 greater than d?
False
Suppose -2*c + 2 = 4. Let x = 3 + -2. Which is smaller: x or c?
c
Suppose 0 = -4*x - 20 - 12. Which is smaller: -10 or x?
-10
Let o(r) = -4*r. Let a be o(3). Let y = 21757/1920 + 1/640. Let w = a + y. Which is bigger: 1 or w?
1
Let k = 0.829 - -0.111. Let c = k + -1. Let g = c + -0.04. Is g not equal to -0.1?
False
Let j = -355/2 - -181. Which is greater: 3 or j?
j
Let k = -257/34 - -15/2. Which is bigger: 1 or k?
1
Suppose -163 = -5*u + 207. Do u and 75 have the same value?
False
Let k = 0.079 + 1.881. Let c = k + 0.04. Is c greater than 1?
True
Suppose -d - 2*d + 11 = -4*k, d - 1 = 2*k. Suppose -t - 2*t = -d. Do 4 and t have different values?
True
Let n = 4/3 - 5/6. Suppose -2*b + 0*b + 32 = -w, -3*b = -3*w - 51. Let i = 16 - b. Is i less than n?
False
Let i = 40 + -1401/35. Which is bigger: i or -1?
i
Let m(i) = -4*i + 15. Let u(s) = -2*s + 7. Let h(k) = -4*m(k) + 9*u(k). Let o be h(2). Let c = -91 + 91. Is o < c?
True
Let n = -66/23 + 944/345. Suppose -2*q = q - 6. Let d be q*((-1)/2 - -1). Which is bigger: n or d?
d
Let h be (-2)/(-7) + (-64)/28. Is -4/7 less than h?
False
Let g be (18/(-48))/((-6)/(-4)). Which is smaller: g or 0.08?
g
Let z = -45/4 - -63/4. Let u = 31/6 - z. Is u less than 1?
True
Let b(z) = z**3 + 5*z**2 - 2*z - 3. Let p be b(-3). Is p less than 23?
True
Suppose -2*n + 4*c - 18 = n, -7 = -4*n - 5*c. Is n < -8/15?
True
Let z be (0/(-3))/(-2 + 0). Let t be 26/4 - (-3)/6. Let o be (-4)/t*(-7)/18. Which is bigger: o or z?
o
Let d = 42/17 + -307/255. Let r = -2/5 - d. Which is smaller: -2 or r?
-2
Let s = -9 + 8. Let d = -0.04 - -0.06. Which is smaller: d or s?
s
Let b = -64793/1639 + 435/11. Do 1 and b have the same value?
False
Suppose -q = -3*q + 8. Let v be q/6*18/(-12). Is v at least -2?
True
Suppose 4 = -3*d + 4*f - 10, 4*d + 6 = -f. Let t = 0 - d. Let j be t/9 - 150/(-54). Is j at least as big as 1?
True
Let h = 446 - 47720/107. Is -1 less than h?
True
Let o be 0 - (20/6)/(-5). Which is bigger: 2 or o?
2
Suppose w - 5*w + 3*q = -66, 5*w = 3*q + 81. Let d = w + -15. Which is bigger: 2 or d?
2
Let f be (4/(-1))/2 + 2. Let i be (-3)/2*-2*-1. Let u be (f - 1/i)*-3. Which is smaller: u or 0?
u
Let p(l) = -l - 2. Let y be p(-2). Suppose -2*q + y*q = 2. Let t = 28 + -83/3. Is t greater than or equal to q?
True
Let p = -15 + 15. Is 10 != p?
True
Let d = -2/91 - -188/273. Which is smaller: 2 or d?
d
Let r = -29 + 20. Let j = r + 6. Is j > -2?
False
Suppose -44 = -z + 4*z + 2*w, -z + 4*w - 10 = 0. Which is smaller: 2/5 or z?
z
Suppose 4*n - 74 = -2*a - n, 3*a - 111 = -3*n. Suppose -3*w + 19 = 2*f, -3*w + 0*w = -5*f + a. Let j be ((-1)/(-1))/(-2)*f. Is -1 at most as big as j?
False
Let n = 21 + -6. Let j be (1 - (-4)/(-6))*n. Let t be (-68)/(-11) - 22/121. Are j and t non-equal?
True
Let o = -395 - -10667/27. Which is bigger: o or 1?
1
Let z = -2 - -4. Let y = 216 - 212. Is z > y?
False
Let z be (6/45)/((-170)/(-591)). Let h = z - 16/25. Which is smaller: 0 or h?
h
Let u = 0.52 + -0.42. Is u bigger than -0.36?
True
Let z(u) = -2*u - 5. Let q be z(-4). Suppose -2 = 5*h - q*h. Let s be 16/32 + (-2)/8. Do s and h have the same value?
False
Let r = 1.16 - -11.14. Let o = r - 12. Is o equal to -2/7?
False
Let b be 157*(14/(-12))/7. Let z = b - -26. Do z and 1 have different values?
True
Let r(q) be the third derivative of q**6/120 - q**5/15 - q**4/12 + q**3 + 10*q**2. Let o be r(4). Which is bigger: -3/5 or o?
-3/5
Let b = -38 + 43. Let d be ((-12)/(-10))/(9/30). Are d and b nonequal?
True
Let f(m) = -m**3 - 7*m**2 + m + 8. Let s be f(-7). Let o be s - (1 - -1 - 1). Let y be -1 + 4 + (-132)/42. Is y >= o?
False
Suppose o + 4*d - 3 + 11 = 0, 4*d + 16 = 0. Let s = 9 - o. Are s and -4/9 nonequal?
True
Let a = -12 + 11. Let k be (2/(-3))/(2/(-3)). Which is bigger: a or k?
k
Let s = 0.4 + -1.4. Is -13 at most s?
True
Let z = 11 - 4. Let w = 6 - z. Let j be (-16)/(-4)*w/6. Which is bigger: -1 or j?
j
Let r be (-16)/(-20) + (-1)/(-5). Suppose -v - v + 6 = 0, -v + r = p. Let x be 1 - (-1 - 0)*p. Which is bigger: x or -3?
x
Let l = 296/189 - 12/7. Is 0 > l?
True
Let i = -5 + 5.07. Which is smaller: i or 0?
0
Suppose 2 = -3*k - n - 0, 0 = -3*n + 3. Let b = k - -1. Which is smaller: -4 or b?
-4
Let g be (-3)/9 - 20/(-51). Which is greater: g or -1?
g
Suppose g + 6 - 19 = 0. Suppose 0 = -5*p - 0*l - 4*l - 55, -3*l = -4*p - g. Let v = -48 + 47. Which is greater: p or v?
v
Let y = 49 - 44. Which is greater: 27/5 or y?
27/5
Let s be ((-3)/30)/(2/(-8)). Let f = 6 + -5. Let j = -4 + f. Which is greater: s or j?
s
Suppose 4*j + 10 = -14. Which is greater: j or -0.1?
-0.1
Let a = -1 - -21. Suppose 5*y + 4*u + 2 = 0, 2*y = 5*u - a + 6. Let h be (-2 - y)/(4 + -1). Is h smaller than -1/5?
False
Let l = 125 - 124. Which is smaller: 0.1 or l?
0.1
Let s(z) = -z**3 + 5*z**2 - 4*z - 4. Let d be s(3). Which is bigger: 3 or d?
3
Let x = -24 + 52. Suppose 2*a + x = -2*a - 4*i, i - 7 = a. Is a < -7?
False
Let h be -1*3 - (-10 + 3). Let j be 2 + -6 + h*4. Is j not equal to 12?
False
Let n be (-22)/(-5) + (-7 - -4). Suppose -2*k - 2*k = 0. Which is greater: k or n?
n
Suppose -4*k + 14 + 42 = 0. Which is smaller: k or 15?
k
Let q be 1 + (-1)/(28/40). Is -1 bigger than q?
False
Suppose 5*y = 3*y - 154. Let a be 14/y + (-4)/(-22). Suppose -4*c - 8 = -3*q, -5*q + 5 + 1 = -3*c. Which is bigger: a or c?
a
Suppose -20 = -6*b + 10. Which is smaller: 0 or b?
0
Let l be ((-12)/5)/(9/60). Which is smaller: l or 0.2?
l
Let f = -2 - -3. Let y = 324 - 321. Which is smaller: y or f?
f
Suppose 5 = -j + 5. Which is bigger: 1/92 or j?
1/92
Let i(t) = t. Let l be i(1). Let h(w) = w**2 + 5*w - 2. Let k be h(-6). Let d be k/(-6)*(3 + -6). Which is smaller: l or d?
l
Let s(l) = -4*l - 32. Let c be s(-8). Which is smaller: c or 6/17?
c
Suppose 28 = 4*u - 2*u. Is 13 greater than u?
False
Let r = -2/45 - 119/360. Which is smaller: r or 0?
r
Let b(k) = -4*k. Let z be b(-6). Suppose 3*p + 0*a - z = -3*a, 2*p - 5*a - 44 = 0. Suppose 0 = 2*q + 2*q - p. Is q at most as big as 3?
True
Let u = 0.57 + -8.57. Is u > -6?
False
Let m be (-4 - -2) + -1 + 3. Suppose -2*r - 2*o + 3 - 11 = m, 2*r + 4*o + 16 = 0. Which is greater: r or -2/7?
r
Suppose 4*m = -0 - 72. Let a = m + 30. Which is bigger: a or 11?
a
Suppose -3*o + 24 + 15 = 0. Is o at most 11?
False
Let o(r) = -r**3 + 6*r**2 - 5*r. Let d be o(5). Suppose 2*g + g = -3. Which is greater: d or g?
d
Let k be 14 - 0/(6/(-3)). Let f be 