t m be -26*(6 - 2)/120. Which is greater: m or -2?
m
Suppose -6 = -3*a + 9*a. Let i(o) = 5*o**2 - 3*o - 1. Let k(s) = -11*s**2 + 6*s + 2. Let l(n) = 9*i(n) + 4*k(n). Let f be l(3). Are f and a equal?
True
Suppose -5*q = 5*d, -3*q + 5*d = 2*d - 6. Let r = 101576/85 + -1195. Let u = r + -53/170. Which is bigger: u or q?
q
Let r = -15 - -9. Let u = r - -13/2. Is -0.1 at most u?
True
Suppose 4*q + 0 = 4. Let s be (q/(-2))/(1/(-2)). Let y be ((-10)/(-8) - 2) + 1. Which is bigger: s or y?
s
Let c(u) = -u + 2. Let m be c(3). Let f be (-14)/(-36) + m/6. Are -1 and f non-equal?
True
Let s = -6 - 0. Let v = -7 - s. Let b be (6/4 - 0)/(-3). Is v smaller than b?
True
Let f = 0.2 - 0.18. Let y = 104 - 104.04. Let h = y + f. Which is smaller: -1 or h?
-1
Let h = 2559/68 - 151/4. Are h and -0.1 equal?
False
Let a be (5 - -7)*(-1)/(-2). Suppose -18 - a = -4*k. Is k greater than or equal to 6?
True
Let z(w) = 2*w + 4 + 0*w + w**2 + 3*w**2 - 3*w**2. Let d(m) = -m**2 - m - 3. Let t(y) = 3*d(y) + 2*z(y). Let b be t(0). Is b < -2?
False
Suppose 3*t = -5*n + 4*n + 11, t = -4*n. Let v = -14.9 + 15. Is t at least as big as v?
True
Let m be ((2/12)/(-1))/(35/56). Does -1 = m?
False
Let n = -60 + 59.9. Suppose 0 = -2*u - 4*w - w + 7, 0 = 3*u - 4*w + 1. Let a be 0/(u + (-1 - -1)). Is n at most a?
True
Let t be -1 - 9/(18/(-4)). Which is greater: -1/43 or t?
t
Let c(n) = -n**2 - 7*n + 30. Let g be c(3). Which is smaller: -4/135 or g?
-4/135
Suppose -10 = 2*z + 16. Are z and -38/3 non-equal?
True
Let f be 2*6/(-16)*4. Let z(t) = -t**2 - 4*t - 4. Let w be z(-4). Which is smaller: w or f?
w
Let t(x) = x - 1. Let y be t(8). Suppose 3*r = y*r + 16. Is r less than -5?
False
Let g = -141/2 - -1007/14. Let l(p) = -p**2 - 4*p + 6. Let h be l(-5). Is g less than h?
False
Let n = -100.85 + 101. Is 2 less than n?
False
Let u = 3.7 + -4. Which is smaller: 3 or u?
u
Let v be 3/12 - 26/40. Which is smaller: v or 1?
v
Let h be (9/12 - 1)*(-24)/7. Let y = -5 - -3. Let o = 2 + y. Which is smaller: o or h?
o
Let y = 5 - 3. Suppose 0*x - y*x + 16 = 0. Suppose -12 = 3*m + 2*d - 5*d, 2*d - x = -3*m. Is 0 <= m?
True
Let p = 0 + -22. Which is greater: -23 or p?
p
Let v = -34/33 + 4/11. Is v less than -1.5?
False
Let m = 0 + 0. Suppose m = 4*r + r - 350. Let p be 4/(-10) - (-8)/r. Is p at least as big as 1?
False
Let c be 302/42 + -4 + -3. Which is bigger: c or 0?
c
Let m be (-5)/(2 - (0 - -1)). Suppose -i = n + 7 - 5, -4*n = 5*i + 13. Is i at least m?
True
Suppose k - 5*k = 40. Let w be (-4)/k - (-3)/(-20). Suppose 2*z = -4*l + 2, 3*z + 1 - 4 = 4*l. Is l at least w?
False
Let j be -1 + (-75)/(-20) + -3. Is j less than 25?
True
Suppose y + 4 = 2. Let g be (6/12)/(2/(-16)). Let v be (g/(-6))/(1/(-3)). Is y at least as big as v?
True
Let b be (-148)/5*8 + -1. Let a = b + 237. Is a less than 0?
True
Let o = -439597/7 + 63014. Let d = -214 + o. Is d equal to 2/7?
False
Let h = 4.01 + -4. Let q = -4.01 + h. Let t = -3.9 - q. Which is smaller: t or 2/5?
t
Let d = -0.3 + -0.1. Let q = -0.2 - d. Let c(g) = g - 3. Let k be c(2). Which is bigger: k or q?
q
Let x(r) = -r + 10. Let g be x(6). Let s be (0 + g)*6/32. Is 1/3 != s?
True
Let k = -35 - -49. Let y be (-132)/k + (-39)/(-91). Which is bigger: 0.1 or y?
0.1
Let y(x) = 17*x. Let h be y(-1). Are -18 and h non-equal?
True
Let s = -0.9 + -0.1. Let w = -12.2 - -23.2. Is w greater than or equal to s?
True
Let r = -0.4 - -0.3. Let f(h) = h**2 + 3*h - 2. Let z be f(-4). Let q = z + 1. Which is greater: q or r?
q
Let t = 22/963 - -58469/96300. Let b = 3/25 + t. Which is smaller: b or 2?
b
Suppose 30*t = 43*t + 182. Which is greater: t or -17?
t
Let a be -6*((-20)/54)/5. Is 0 greater than a?
False
Suppose 0 = 2*w - 2*o + 4, -o - 13 = 2*w - 0*o. Is w equal to -5?
True
Let g = 2 + -2.8. Let o = 0.9 + g. Let b be (((-4)/7)/(-2))/(-2). Is b > o?
False
Let j(d) = d**3 + 22*d**2 - 22*d + 19. Let x be j(-23). Which is greater: -7 or x?
x
Let t = 17/26 + -2/13. Suppose -d = -0*d + 3, d + 13 = 5*z. Which is smaller: z or t?
t
Let h(z) = z**2 - 10*z. Suppose 0*i - 5 = -i, -p - 2*i + 6 = 0. Let u be (6/(-4) - 1)*p. Let w be h(u). Is w smaller than -3/4?
False
Let s(x) = 11*x + 15. Let q(p) = -6*p - 7. Let l(v) = 5*q(v) + 3*s(v). Let w be l(-4). Is 0 >= w?
True
Suppose 5*v = 2*v + 18. Suppose v*t + 3 = 3*t. Let l be (0 + 1)/((-15)/(-6)). Which is greater: t or l?
l
Let l = -180 - -1258/7. Which is greater: l or -44?
l
Let d be -2 - (-303)/9 - 0. Let c = 656/21 - d. Is c bigger than 1?
False
Let o = 18 - 9. Let q = 9.8 - o. Which is bigger: -1/5 or q?
q
Let u = -72 - -71.96. Which is greater: u or 2/3?
2/3
Let r be -1 - 1 - 5/(-5). Let z be 38/(-30) - (-2)/10. Let p = z + 7/5. Which is smaller: r or p?
r
Let l = -8/15 + 2/15. Is l >= -1?
True
Let c = -1 + 1. Let s be -2*1 + (c - -5). Is 2 smaller than s?
True
Let m = 3.1 - 3. Let z = 51 - 267. Let q = 1509/7 + z. Which is smaller: q or m?
q
Suppose 2*q = j - 0*q + 2, j - 3*q + 5 = 0. Let w(u) = -u + 0*u + 6*u + 4*u**3 - 3*u**3 - 6 - 5*u**2. Let a be w(j). Is -2 >= a?
True
Let r(u) = -3*u**2 - 2*u + 3. Let o be r(2). Let w = 31 + o. Do 18 and w have different values?
False
Let a(n) = -n - 6. Let b be 4/6 - 86/(-6). Suppose 0 = -c + 4*r - b, -2*c + 0 = 3*r + 8. Let f be a(c). Does f = 1/2?
False
Let v = -17 - -19. Let t = 6 - 4. Let z = t + -1. Is v smaller than z?
False
Let a(h) be the second derivative of 3*h**5/20 - h**4/12 - h**3/2 + h**2 + 8*h. Let i be a(2). Is 16 less than i?
False
Let k = 7 - 5. Let c = 137/35 - 21/5. Is k less than c?
False
Suppose 6*v + 0*v - 60 = 0. Which is greater: 9 or v?
v
Suppose -11*b = -7*b + 12. Is 6 not equal to b?
True
Let u = 5.7 - 6. Let w = -27.3 - -26. Let z = -0.3 - w. Which is bigger: z or u?
z
Let t = -0.242 + 0.042. Which is bigger: t or 0.06?
0.06
Let y = 92 + -52. Does -0.1 = y?
False
Suppose -6*k + 40 = -k. Let x = k + -5. Let s be (x + -1)/((-3)/(-3)). Is s < 0?
False
Let k = -0.9 - -7.9. Is k smaller than -1?
False
Let u = 3 - 3. Suppose u = -4*n - 16. Let z be (2/6)/(n/6). Which is smaller: z or -2?
-2
Let s be 39/(-7) - (-42)/(-98). Which is greater: s or -4?
-4
Let t(c) = 3*c + 1. Let p be t(-1). Suppose -5 = -5*y - 0*y. Let o = y + p. Is o at most -1/7?
True
Let k = 125/2 - 64. Suppose -3*r - 5*z = 18, -r = -4*z + 2 - 13. Which is bigger: k or r?
r
Let n = -1523 - -22858/15. Let c be 1/2 + (-68)/40. Let o = c + n. Is o bigger than 0?
False
Let r(j) = -2*j**2 + 25*j + 12. Let b be r(13). Is 1/30 less than b?
False
Let k = 13 + -8. Suppose j = 3*j - k*t + 12, -12 = -3*t. Suppose j*l + 16 = -0*l. Is l less than -3?
True
Let s = -44/85 + 2/17. Is 5/2 at most s?
False
Let v(i) = -i**2 + 8*i - 9. Let t be v(7). Let x = 3 + t. Let q be 2 + (-4 + 3 - -1). Which is bigger: x or q?
q
Let h = 8.7 + -1.7. Which is greater: -4 or h?
h
Suppose -3*n + 17 = 4*u, -u = 3*n + n - 14. Suppose 4*g - 10 = -g + p, -n*g + 29 = 4*p. Is 3 != g?
False
Let b be 4/(-30)*9/6. Let m(o) = o**3 - o**2 + 1. Let h be m(-1). Do b and h have the same value?
False
Let q = -26811 - -188043/7. Let m = 52 - q. Which is bigger: 2 or m?
2
Let m(z) = 43*z**3 - 3*z**2 - 2*z. Let u be m(-1). Is -42 at most u?
False
Let r be 16/(-670)*(-8 - (-33)/4). Which is bigger: r or -2/3?
r
Suppose -5*n = 23 + 27. Let d = n - -6. Which is greater: -3 or d?
-3
Suppose -2*y - 37 + 3 = 0. Let l = 17 + y. Which is greater: 3/11 or l?
3/11
Let i = -83568743 - -825408473415/9877. Let a = -2/581 - i. Which is smaller: a or 1?
a
Suppose -5*j = -2*k + 35, 3*k + 2 = 2*j - k. Is -7 < j?
False
Suppose -b = -5*b - 3*y + 15, 5*b - 5*y + 25 = 0. Suppose 4*z + 0*z = 0. Is z at most as big as b?
True
Let m be 33/(-153) + 3/9. Which is smaller: m or 0?
0
Let u = -39 - -48. Let o = 9 - 2. Which is smaller: o or u?
o
Let x be 3/15 + 168/(-15). Is x < -10?
True
Let q be (-4 - -6) + 1 - (-4 - 0). Is 8 at least as big as q?
True
Let l be -4 - -5 - (-3 + 0). Suppose -3*c + 4*c = -2*v - 3, l = -3*v - 2*c. Is v equal to -3?
False
Let h = 0.88 + -0.18. Let m = h + 0.3. Which is greater: 0 or m?
m
Let a be 2/(40/788) - -2. Let x = a - 83/2. Let s(m) = -m**2 + 5*m. Let y be s(5). Is x < y?
True
Suppose 4*r - 94 = -242. Is r > -38?
True
Let v(l) = -l**3 + l**2 + 3*l + 3. Let m be v(3). Let x be 0*3/m - 0. Let h be x/(-2 + (-1 - -4)). Is h greater than 