- 4. Let x = t - -8. Which is bigger: x or 1/4?
x
Let v = -0.04 + -0.06. Which is bigger: 4/3 or v?
4/3
Let g(r) = r**2 + 3*r + 2. Let a be g(-2). Let v be (-2)/(-7)*112/160. Which is bigger: v or a?
v
Let l = 47 - 46. Which is greater: 2 or l?
2
Let r(u) = -u - 5. Let a be r(-7). Let t be a*(1 + 2)/3. Let k be -3 - (t - (2 - 0)). Which is greater: -2 or k?
-2
Let u = -0.7 - 0.7. Let v = 0.4 + u. Is -0.2 bigger than v?
True
Suppose 3*z + 6*d - 21 = d, z = 2*d - 4. Which is smaller: z or 4?
z
Let b be (-1 + -1)*472/16. Is -60 greater than or equal to b?
False
Let z = -1.4 - -1.3. Let p = z - -4.1. Is p not equal to -1?
True
Suppose -2*n - 3*s = -0*s + 4, -10 = -2*n + 4*s. Let y = -82/5 - -167/10. Is n bigger than y?
True
Let y be (-1)/(-2)*(2 + -2). Suppose 3*c - 4 = 11, -4*d + 4*c - 32 = y. Let a be -2 - (-3)/(d/(-2)). Is 1 < a?
False
Suppose -4*m - 3*z = -32, 2*z = -5*m + z + 40. Suppose i + m = 3*i. Is 2 < i?
True
Suppose -d = b + 5, -1 = -2*b + 2*d - 11. Let k be (0 + -2)/(-3 - b). Is -1 at most as big as k?
True
Let z be (-2)/((-10)/(-4) + -3). Suppose -z*w - 4 = 4*c - 0, 0 = 4*c - w - 16. Which is smaller: 0 or c?
0
Suppose 2*g + 5*b = 19, 5*b - 5 = 4*g + g. Suppose 5*x + 4*n - 15 = -0*x, -3*x - n = -g. Which is smaller: 1 or x?
x
Let q = 0 + 3. Is 7/2 greater than q?
True
Suppose 4*i + 4*q + 12 = 0, 2*i - 3*q - 3 = -i. Let x(h) = -h + 1. Let a be x(3). Let y be 9/(-15) - a/(-5). Is i bigger than y?
False
Let k = -3.035 + 0.035. Which is bigger: k or -0.3?
-0.3
Let q = 42 + -41. Are q and -15 unequal?
True
Suppose 0 = s - 0*s + 2. Let h be (-2 + 25/12)/((-3)/30). Which is greater: h or s?
h
Let t = -113/6 + 19. Is 0.2 >= t?
True
Let r = -2 + 3. Let o = 11 - r. Is 11 != o?
True
Let f = -36 - -20. Is f < -16?
False
Let n = 14.05 + -0.05. Let y = 16 - n. Is y not equal to 2/3?
True
Let g be (-5)/4 - (-5)/20. Suppose 4*i = 5*c - 23, 4*c - 4*i = -4 + 24. Let y be 3/((3*g)/c). Which is greater: -5 or y?
y
Let h(t) = 2*t. Let s be h(0). Which is smaller: s or -1/44?
-1/44
Let f(s) = -4*s - 3. Let y(b) = b. Let g(v) = f(v) + 6*y(v). Let d be g(4). Suppose d = -5*l - 0. Which is smaller: l or 1?
l
Suppose 24 = -4*b - 0*b. Let f be b/(-33) + 20/11. Suppose -2*a + 18 = f*o, -4*a - 5*o + 32 = -8. Do 5 and a have the same value?
True
Let n(r) = r**3 + 8*r**2 + 5*r - 3. Let k be n(-7). Which is smaller: 9 or k?
9
Let u = -36 + 35. Suppose 0 = 4*g - g + 3*r, 0 = 3*r - 3. Is g at most u?
True
Let q be (14/4 - 1)/((-12)/(-32)). Which is bigger: 6 or q?
q
Let s = -175 + 177. Let i = -89/35 - -22/7. Is s equal to i?
False
Let q be (-2)/((-12)/5 - -2). Which is smaller: 2 or q?
2
Let l = 14 - 9. Let s = l - 4. Is s not equal to -1/3?
True
Let g = -0.1 - 0.1. Let b = 0.3 + -0.2. Let v = b + g. Are v and 1/3 unequal?
True
Let v = 4465/18 - 248. Which is bigger: v or 0?
v
Let f(u) = u**3 - 7*u**2 - 9*u + 7. Let r be f(8). Let l = r - -1. Let j = 157/4 + -39. Which is greater: l or j?
j
Let o be (-2)/6 - (-340)/(-6). Let k be 3/3 + o/54. Which is greater: k or -1?
k
Let n be (8/(-30))/(4/(-6)). Suppose 0 = -k + 3*z - z - 9, -3*k - z = -1. Is k smaller than n?
True
Suppose -2*v = -4*p + 584, -78 + 227 = p + v. Let s be (-7610)/52 + (-1)/2. Let a = s + p. Is a less than 0?
False
Let v be (-4)/(-6)*(-15)/(-10). Let l = v + -2. Which is greater: 0 or l?
0
Let v = 17 - 14.1. Let c = 4.8 - v. Let n = -2 + c. Which is greater: n or 3?
3
Let o(w) = w**2 + 3*w + 3. Suppose -f = 5*t + 5 + 9, 4*f = -2*t - 20. Let x be o(t). Is -0.1 greater than x?
False
Let d(t) = -2*t + 7. Suppose -2*j + 3 = -9. Let r be d(j). Which is bigger: -19/5 or r?
-19/5
Let b = 2 + 0. Suppose 5*t + b = -3. Let n be (-8)/(-12) - 1/3. Are t and n nonequal?
True
Suppose -2*l - 14 = 4*g, 4*l - 2*l + 5 = -g. Which is smaller: g or 1?
g
Let m(q) = 2*q**3 - 2*q**2 - 2*q - 1. Suppose 0 = 3*z - 0*z + 3. Let j = z - 0. Let t be m(j). Which is bigger: t or -4?
t
Let f be (-4)/(-42) + 4/12. Suppose -3*v + 1 = -4*z, -5*v = 5*z - 6*v + 4. Which is bigger: z or f?
f
Let y(l) be the second derivative of -1/2*l**3 + 0 + 1/12*l**4 + 3*l + 1/2*l**2. Let x be y(3). Is -1 != x?
True
Let z = -209 - -391. Let h = z + -1276/7. Is h at most as big as -2?
False
Suppose -14*g = -12*g - 10. Is g at least 7?
False
Let h = 11/16 - 257/304. Is h bigger than -1?
True
Let z = 2 + 2. Let i = 0.1 + 0.1. Which is bigger: i or z?
z
Let v be 1 + 3/3 - -3. Suppose 4*w + 23 = -0*w - v*z, w - 2*z - 4 = 0. Let f be -4 - (1 + w) - -2. Which is smaller: 3 or f?
f
Suppose -q + 2 = 3*g, -2*q + 3 = 3*g + 2. Suppose -27 - 45 = 2*c. Let u be c/14 - (-2 + 0). Which is greater: q or u?
u
Suppose -3*w + 4*w + 2 = 0. Let c(d) = -8 + 3 - d + 4 - 7. Let s be c(-6). Is s bigger than w?
False
Suppose -2*q = 8 + 20. Is -14 bigger than q?
False
Let l = -33 - -57. Let c be (-2)/(-4)*l/(-30). Let d = -13 - -8. Which is smaller: d or c?
d
Let p = 0.01 - 2.01. Let h = -3.2 - -1.2. Let y = p - h. Are 1/3 and y unequal?
True
Let n = -2 + 2. Are n and -1/2 equal?
False
Let w = 31.6 - 32. Is 2/7 > w?
True
Suppose s = 3*s - 8. Let f(g) = -g**2 + 6*g - 7. Let h be f(s). Let u(i) = -i**3 - i. Let y be u(1). Are h and y non-equal?
True
Let j = -28 - -13. Is -15 smaller than j?
False
Suppose -3*q + 18 = -0*q. Let h = -4 + q. Which is greater: 7/5 or h?
h
Let n(u) = 3*u**3 - 9*u**2 + 11*u - 4. Let r(a) = -4*a**3 + 9*a**2 - 12*a + 4. Let l(q) = -3*n(q) - 2*r(q). Let z be l(8). Let d be 2*(2/z - 0). Is 0 > d?
True
Suppose -70 = 4*z + z. Let j = 6 - 3. Let b be z/(-21) - 11/j. Which is bigger: b or -2?
-2
Let v = -25 + 30. Let h be ((-10)/6)/((-1)/3). Is h < v?
False
Suppose 2 = 5*r + 17. Let k = 8/9 - 23/9. Are k and r unequal?
True
Suppose 4*m - 12 = 2*k, 3*k + k - 9 = -3*m. Which is smaller: -3/11 or k?
-3/11
Let g be 11*1/(-4)*-16. Suppose -2*b + 4*b - g = 0. Let z be 8/(-20)*10/b. Which is greater: z or 1?
1
Let n = -15.6 - 5.1. Let x = 21 + n. Which is greater: x or -2?
x
Let i(l) = -l**3 + 4*l**2 + 5*l + 5. Let w be i(5). Suppose -w*u + 10 = -5. Is u < 4?
True
Let f(t) = -t**3 + 5*t**2 - 3*t + 4. Let l be f(4). Let s(d) = d - 6. Let q be s(l). Suppose 3*g - q = -2*j + 4*j, 0 = -g + 2. Is j < 3?
True
Suppose -9*g + 28 = -7*g. Is 13 smaller than g?
True
Suppose 0 = 2*o + 23 - 13. Is 0 at least as big as o?
True
Let w = 6.2 - 6. Let t(y) = -2*y - 26. Let f be t(-12). Is f at least w?
False
Let h(y) = y**3 + 4*y**2 - 1. Let a be (-2)/(3*1/6). Let z be h(a). Which is smaller: 1/19 or z?
z
Let m(q) = 2*q**2 - 3*q + 2. Suppose 5*n = -5*i + 5, 0*n + n = 5*i + 7. Let f be m(n). Is -0.1 at least f?
False
Suppose 6*g - 2*g + 60 = 0. Let x = g + 17. Which is bigger: x or 3?
3
Let u = 0 + 3. Let p be (-2)/(-2) - 5*-1. Suppose -u*k + 3 = p. Which is smaller: k or -1/2?
k
Let n = 73/2 + -155/4. Is -1 greater than or equal to n?
True
Let l = 1 - 4. Suppose 0*i + 2*i + 4*q - 12 = 0, 0 = -4*i - 2*q - 6. Is l at most i?
False
Let q be (0 + (-2)/30)*-14. Is 2 > q?
True
Let h = -855037/6 - -542737/3. Let w = h - 38321. Let t = w - 86. Which is greater: -1 or t?
t
Let g be (8/(-108))/(1/3). Let v = -7 - -8. Is v less than or equal to g?
False
Suppose 20 = 2*s + 18. Which is greater: 1/29 or s?
s
Suppose 0*v = 5*v + 5*t - 30, 14 = 5*v - 3*t. Suppose 0 = -0*i + v*i. Is -2 > i?
False
Let f be 25/(-6) - (-7)/42. Let d = f - -3. Let j be (d - -2)*(-3 - -3). Is 1/2 < j?
False
Let v = -56 - -32. Let z = 47/2 + v. Suppose -2*d - 17 = u - 6*u, 4 = -d + u. Which is smaller: d or z?
d
Let j be (5/2 - 2)/1. Let r be (-6)/(-4)*(0 + 2). Let c = -3 + r. Is c not equal to j?
True
Let y be (-1 + 3)*12/8. Suppose -r + 2 = -y*r. Which is greater: r or 0?
0
Suppose -3*y + 2*z + 3 = 0, 2*z = 2 + 4. Let c be ((-1)/1)/(y/27). Which is smaller: -10 or c?
-10
Let p be (0/(1 + 1))/1. Let i(g) = -g**2 + g + 1. Let m be i(p). Let k be -1 + m - (4 + -4). Which is smaller: 2 or k?
k
Suppose -4 = 4*y - 8. Let m be 9/(-4) - -1*2. Is y bigger than m?
True
Let z(i) = -i**2 + 9*i - 7. Let f be (-32)/6*18/(-12). Let o be z(f). Let d be 2 + 0 - (0 - -1). Is d <= o?
True
Let s = -0.02 + -1.98. Is -1/5 at most as big as s?
False
Let s be (-64)/31 + (1 - -1). Let q = s + -52/155. Is -1 at least q?
False
Suppose -2*u = -10*u + 24. Which is smaller: u or -6?
-6
Suppose 11*x = -5*x + 96. Which is smaller: x or 5?
5
Let h be