4*4. Suppose r*v - 12 = -2*v. Let a = -2 + 4. Which is greater: v or a?
v
Suppose 2*w + 31 = 5*j, -j = 5*w + 25 + 66. Let s be (-32)/(-30) + w/27. Which is greater: s or 1?
1
Let o(s) = -2*s**2 + 3*s - 2. Let h be o(2). Let g = h + -2. Let f = -16 + 10. Is f at most as big as g?
True
Let t(x) = x**2 + 14*x + 11. Let s be t(-13). Let v be s/(-10) - 45/(-25). Which is bigger: -2 or v?
v
Let w = 2.6 + 34.4. Do w and 1 have different values?
True
Suppose -5*n = -3*v - 41, -4*v + 4*n = n + 40. Let o(h) = -2*h**2 + 0*h**2 - 3 - 7*h + 0*h**2 + h**2. Let m be o(v). Which is greater: -4 or m?
m
Let v(y) = y**3 - 5*y**2 - 6*y - 5. Let w be v(6). Is -4 != w?
True
Let d = 67 + -75. Is d > -3?
False
Let o = 2 - -2. Suppose -v = 5 - 3, r - o = 5*v. Let j be (3/r)/(1/4). Is j smaller than -3/5?
True
Let d be (6/3)/((-4)/(-38)). Is 19 less than d?
False
Suppose y - 6*d = -d + 14, -20 = -3*y + 4*d. Let c be 1/(5 - 2 - y). Let a be (-2)/4 + (-2)/(-4). Which is smaller: c or a?
c
Let d be ((-22)/627)/(4/6). Are d and 1 nonequal?
True
Let x = -0.1 + 0.03. Is x greater than -3/2?
True
Let u = -3/62 - -4/403. Let v = u - 6/13. Is -1 at least v?
False
Let c(k) = k + 2. Let p be c(7). Suppose 4*z = -3*o - p - 16, -3*o = z + 13. Suppose 4*j + 16 = 0, -3 = -5*s + 5*j + 17. Which is bigger: o or s?
s
Let v be (-2523)/30 - (-4)/(-10). Let r = 83 + v. Which is greater: r or 0?
0
Let z be (-2)/4 - (-7)/22. Let d = 15/22 + z. Suppose -x - 2*x + 10 = 5*v, -3*v - 4*x = -6. Is d >= v?
False
Let j(s) = 10*s + 55. Let a be j(-6). Is a smaller than -6?
False
Let g = 13 - 8. Suppose -5*j + g*c + 80 = 0, j = -j + c + 28. Is j less than or equal to 12?
True
Let y = 0.02 + -0.07. Is -0.12 at least y?
False
Let s = -32 - -33. Let p = 15/8 + -41/24. Is p at least as big as s?
False
Suppose 5*w - 1446 = -206. Suppose -3*p + 673 + 580 = 5*x, w = x - 2*p. Let i = x + -4248/17. Which is smaller: 0 or i?
0
Let q = -26 - -26. Is q bigger than -1/9?
True
Let c be 79/(-5) - 3/15. Let k be (-6)/4*c/60. Which is bigger: 1 or k?
1
Let j = -22.08 + 0.08. Let w = -22.9 - j. Let f = -1 - w. Which is smaller: f or -1/3?
-1/3
Suppose 3*r = -r - 3*b + 9, -5*r + 6 = 2*b. Let v be (r/2)/(4 - 2). Suppose -3*f + v*s = -5*s - 4, 0 = f - 2*s. Which is smaller: 7 or f?
7
Let t(r) = 2*r + 7. Let m be t(-3). Which is bigger: 15/8 or m?
15/8
Let w = -2.1 + 2. Let k be (-4)/(-18) - 0 - 0. Which is bigger: w or k?
k
Let a = 0.1 - 0.3. Suppose 2*l - 5*l = 2*u - 6, -3*l = 3*u - 3. Let q(h) = h - 3. Let z be q(l). Which is bigger: z or a?
z
Let f be (4/3)/((-1)/3). Let c(r) = -r**2 - 5*r - 6. Let u be c(f). Let z(d) = -2*d + 4. Let l be z(3). Are u and l non-equal?
False
Let n be (2 - 1)*(1 - -2). Suppose -3*f + n*x + 5 = 2*f, 2 = 2*f - 2*x. Let c be -1*(1 - 4/6). Which is bigger: f or c?
f
Let u = -8 - -17. Let o(f) = -f + 10. Let c be o(6). Suppose -7*b + c*b + 5*n = -9, 3*n - 9 = 0. Which is smaller: b or u?
b
Let q = -27755701 - -250118249/9. Let n = q - 35175. Let h = n + -41. Which is smaller: h or 1?
h
Let g = -6 - -6. Let p = 33581/462 + -194/77. Let w = 70 - p. Which is bigger: g or w?
g
Suppose 4*k = 4*o + 24, 5*o - 5*k = 3*o - 3. Which is smaller: -15/2 or o?
o
Let g(t) be the first derivative of -2 - 5/3*t**3 + 4*t + 1/4*t**4 - 1/2*t**2. Let x be g(5). Which is smaller: x or 3/8?
x
Let b = -1859/7 + 265. Do -1 and b have the same value?
False
Suppose 0 = 5*u - 2*b + 6, -u - 2*b + 6 = -0. Let c(s) = -1 + u - s + 0*s. Let k be c(-2). Is 0 != k?
True
Let s(r) = -r**3 + 4*r**2 + 4*r. Suppose 0 = -5*h + 3*w - 29, h - 2*w - 1 + 4 = 0. Let n = -2 - h. Let m be s(n). Is m != -5?
False
Suppose a + 2*i + 5 = -0*i, -2*i = 3*a + 3. Let z = 12 + -4. Let n be ((-6)/z)/((-15)/5). Does a = n?
False
Let k(h) = h**3 + 4*h**2 - 3*h + 4. Let x be k(-5). Let r be x/(-8) + (-5)/10. Is 0.2 at most r?
True
Let b be 2 + (-2 - 6)/4. Suppose b = -2*r + 5*r. Is r < 3/4?
True
Suppose 2*v + 30 = 7*v. Let n be 8079/34 - 3/v. Let d = 237 - n. Is 2/3 at least d?
True
Suppose -6 = 4*s + 6. Let n be (2/6)/(2/s). Let j(h) = -h**3 - 8*h**2 - 7*h. Let m be j(-7). Is n bigger than m?
False
Let y = 1/45 - -14/45. Let q = 0.04 - -3.96. Let o = q + -6. Which is smaller: o or y?
o
Let d be (1/(-2))/(1/10). Let l be ((-4)/d)/((-5)/25). Let s = l + 4. Are s and 0 unequal?
False
Let c be -6*(-4)/(-8) - -3. Suppose c*o + o = 3. Does o = 6?
False
Let x(v) = -4*v**3 - v. Let q be x(-1). Suppose -4 - 6 = q*y. Let z = -6 + y. Is z at most as big as -7?
True
Suppose 0 = v - 5*b + 13, -2*b = 5*v - 5*b - 1. Let r be ((-9)/24)/(v/(-8)). Which is bigger: 2 or r?
2
Suppose -3*l = -6*l. Let c = 0 + l. Let p = -5/3 + 44/21. Which is smaller: c or p?
c
Let l = 1195 + -65712/55. Let r = 7/11 - l. Let w be ((-2)/(16/6))/(-3). Which is smaller: w or r?
w
Suppose 3*p + 5*m = -17, 0 = -2*p - 2*m - 4 - 2. Let t be (-1)/(-2)*(-1 + p). Which is greater: t or -3/5?
t
Let n(w) = -w**2 + 8*w + 10. Let g be n(9). Is 1/13 not equal to g?
True
Suppose -14 + 39 = 5*h. Let f(s) = -s**2 + 5*s + 3. Let l be f(h). Suppose 3*a - 21 = 3*n, 2*a = -n - l*a + 23. Is n equal to -2?
True
Let l = -24 - 3. Is l at least -27?
True
Let p = -11 - -12. Let y(f) = -f**3 - 9*f**2 - 9*f - 7. Let a be y(-8). Is p at most a?
True
Let f be (8/8)/((-2)/(-14)). Suppose 0 = f*s - 5*s + 2. Which is greater: s or -3?
s
Let h = -0.409 - 0.091. Which is smaller: -2 or h?
-2
Let r be (56/(-35))/4 + (-344)/(-910). Which is smaller: 0 or r?
r
Suppose 2*j + 20 = -3*j. Let a be 3/6 - (-10)/4. Let w = a + j. Which is smaller: w or -2/7?
w
Let w = -0.38 + 0.18. Which is smaller: w or 1/6?
w
Let t = -266/5 + 53. Are 0 and t equal?
False
Let g(i) = -i**2. Let d be g(-1). Let z = 0.5 + -0.6. Let t = 0.15 + z. Is d <= t?
True
Suppose 0 = -5*t + 3*t. Let b = -14/5 - -32/15. Which is greater: b or t?
t
Let p be ((-6)/(-24))/(0 - -1). Is p > 0.3?
False
Let u(x) = 2*x**2 + 2. Let p be u(0). Let r be 5 + -3 - (p + 0). Which is greater: 1 or r?
1
Let b = 0.09 + -1.19. Does b = -0.1?
False
Let z = 1 - 0. Let s = -17 + 12. Are s and z nonequal?
True
Let x = 27 - 22. Let w be -1 - 1*-4 - -2. Suppose -4*k + w*k = 6. Which is smaller: k or x?
x
Let b be (-24)/9*(4 + 2). Let j = 14 + b. Is -1 equal to j?
False
Let u(n) = -n**3 + 34*n**2 - 34*n + 9. Let y be u(33). Which is greater: y or -22?
-22
Suppose 3*d = 2*o + 15, 5*d + 3 = -o + 2*o. Let b = -6 - o. Which is smaller: 4 or b?
4
Suppose -11*f + 219 - 65 = 0. Is f less than or equal to 15?
True
Let n = -7 + 11. Let a be (3 + (-18)/n)/(-3). Let s = 7 + -5. Which is bigger: a or s?
s
Let k be (-26)/(1*(-2)/(-2)). Let w = 18 + k. Let d be 2/(-6) + 40/(-6). Which is greater: w or d?
d
Suppose 5*m - 1 = m - 3*n, -m = -4*n - 5. Suppose q = -2 + m. Which is smaller: 5 or q?
q
Let h(x) = -x - 14. Let s be h(-5). Suppose 0 = 3*n - 4*n + 2*w, 2*n + 32 = -4*w. Which is bigger: s or n?
n
Let i = 7 + -4. Suppose -i = 2*o - 11. Is o greater than 4?
False
Let c be 178*(-4)/352 + 2. Which is bigger: 1 or c?
1
Let d be (-2)/(22/(1 + 1)). Let k(j) = -j**2 - 8*j + 10. Let r(w) = -w**2 + 1. Let y(u) = k(u) - 2*r(u). Let v be y(7). Does v = d?
False
Let b be (-4)/(-8) + 18/(-12). Is -3/34 smaller than b?
False
Let k = 15 + -14. Which is greater: k or -2?
k
Let l = 0.2 + 0. Is l at least as big as -1?
True
Let v(r) = r**2 - 2*r - 1. Let w be v(-1). Let u be 10/(-2) + (-22)/(-11). Which is smaller: w or u?
u
Let d = -5 + 4. Let s be (d/3)/((-14)/(-12)). Which is greater: 3 or s?
3
Suppose u = -4*j - 21, -j - 6 = u - 0*j. Which is bigger: 1/14 or u?
1/14
Let l(v) be the first derivative of v**3/3 - 9*v**2/2 + 9*v + 2. Let h be l(8). Let t(m) = m**3 + m**2 - m + 2. Let y be t(-2). Which is greater: h or y?
h
Let a(g) = -3*g + 2 + 4*g**2 - 3*g**2 + g. Let j be a(2). Let f be j/(-3) - 22/(-24). Which is bigger: f or 1?
1
Suppose -6 = 2*t + t. Which is smaller: t or -3?
-3
Suppose -7 = 5*j - 3*j + 5*f, -4*j + f - 3 = 0. Let w = 2/173 + -372/2249. Which is smaller: j or w?
j
Let o = -7/583 - -15277/9911. Is 2 less than o?
False
Let a = -13 + 25. Let d = 0.11 - 17.11. Let i = d + a. Which is greater: i or -1?
-1
Let q(r) = -10*r**2. Let l be q(-1). Let a(d) be the first derivative of d**2/2 + 12*d + 1. Let b be a(l). Is b at most -2?
False
Let i(d) = d**2 + 10*d - 11. Let f be i(-11). Suppose -4 = 5*z -