 p = 0 - 0. Suppose p*a = -a - 1. Which is bigger: a or y?
y
Let g = -4346/21 - -1248/7. Let a = 29 + g. Which is smaller: 5 or a?
a
Let g = 4 + -5. Let i be 52/(-16) - (g + -2). Which is greater: -1 or i?
i
Let k = 0.8 - 0.83. Let z = 170 + -169.03. Let h = z - k. Which is smaller: h or 1/4?
1/4
Suppose -5*r = 5*i - 65, -i + 3*r + 23 = 6*r. Is 7 greater than i?
False
Let y be 2 - 1*(-11)/(-4). Suppose 0 = 5*u, 4*f + 8 = -0*f - 2*u. Which is bigger: f or y?
y
Let o be 1/(-1)*1*-7. Let t(k) be the first derivative of -k**2/2 + 8*k + 1. Let a be t(o). Which is smaller: a or 2?
a
Let d(i) = -i**2 + 7*i**3 - 4 + i**2 + i**2. Let s(x) = -11*x**3 - 2*x**2 + 6. Let b(p) = -8*d(p) - 5*s(p). Let o be b(2). Which is greater: 3 or o?
3
Suppose 0 = -2*j + 10, -k = -4*k + j - 17. Which is smaller: k or -2?
k
Suppose i - 2 = 2*l, -2*i + 6 = 4*l + i. Which is smaller: -4/5 or l?
-4/5
Let b = -6.06 - -0.06. Let a = -6 - b. Let u = -2.1 + 2. Is u >= a?
False
Suppose 0 = 2*h + h + 21. Let c = h + 7. Which is greater: c or -8/7?
c
Let h = 0.37 - 0.17. Let f = -0.02 - 0.04. Which is greater: h or f?
h
Suppose -4*r + 3*r = 0. Suppose 3*k = -15, -2*k + r*k - 10 = -4*c. Which is smaller: c or 1/6?
c
Let a be 0 + 1 + (-6)/(-462)*11. Suppose 3*t + 12 = -5*n - 0*t, 5*n - 8 = 2*t. Which is smaller: n or a?
n
Let v be (-129)/216 + (-3)/(-8). Is v bigger than -1?
True
Suppose -3 = 3*v - 0. Is v >= 3/11?
False
Let k = -13 - -12. Let d(y) = -y**3 + y**2 + 3*y - 3. Let i be d(2). Is i >= k?
True
Let i(a) = a**2 + a - 2. Let w be i(-3). Suppose y - 2*y + 5*g + 4 = 0, 2*y - 2*g = 8. Is y at least w?
True
Suppose 0 = 4*d - 4*g - 36, -14 = 4*d - 5*g - 50. Suppose -5*x - 3*u = -d - 4, 0 = x - 2*u. Suppose -2*h + 0*h = x. Is 0 less than or equal to h?
False
Let a be ((-52)/(-10))/(2/5). Let l(m) = m - 15. Let z be l(a). Which is smaller: -3/5 or z?
z
Let r = 0.1245 - -60.5755. Let d = r - 58. Let g = -0.7 + d. Which is bigger: 1/4 or g?
g
Let w(t) = -t**2 + 1. Let h be w(-2). Let v(k) = -k**3 + 3*k**2 - 3*k. Suppose -5*p - 1 = -11. Let y be v(p). Which is smaller: h or y?
h
Let n be (2/4)/((-18)/(-72)). Is 4 smaller than n?
False
Let j = 4/61 - -110/183. Suppose 3*z = 5*c - 14, 2 = 6*z - z - 2*c. Is z at least as big as j?
True
Suppose 12 = 4*f + 3*a, -5*f - 2*a = -0*f - 8. Let n(p) = -p**2 + 8*p - 8. Let c be n(6). Suppose g + s - 1 = 2, c*s = 3*g + 12. Is f at least g?
True
Let d be 4 + (-56)/12*3. Are d and -10 nonequal?
False
Let o(f) = f**3 + f**2 + f - 1. Let r(t) = -6*t**3 - 10*t**2 + t + 9. Let p(x) = 5*o(x) + r(x). Let k be p(-6). Are k and 3 equal?
False
Let g(y) = y**2 - 11*y. Let n be g(11). Suppose -f - 9 - 2 = 4*z, n = -5*z + f - 16. Let m = -1 + 0. Which is bigger: m or z?
m
Let y be 5/(-20) + (-42)/(-8). Suppose 5*j - y = -5*v, 0*v + 2 = 2*j - 4*v. Let c = 0.2 + -0.3. Does c = j?
False
Suppose 2*k + 4 = -2*s, 3*s = 2*k + k + 18. Let c be k + 2 + 20/9. Which is smaller: -1 or c?
-1
Let l be 2/8 + (-81)/4. Is -20 at most l?
True
Let w = 99 - 115. Does w = -16?
True
Let d = -1 - 1. Let g = -4 + d. Is g <= -6?
True
Let u(v) = v**2 + 3*v + 2. Let o be u(-2). Suppose 4*y + o*y - 4 = 0. Do y and 2/5 have different values?
True
Let i(f) = 4*f + 5 - 2*f - f. Let p be i(-5). Let h be 0 + -2 - (-3 + 3 - 2). Is h <= p?
True
Suppose -4*t + 0*t = -8. Suppose -t = -4*k + 2. Let z = -7 + 7. Is k < z?
False
Let y = -1.92 - 0.08. Which is smaller: 0.1 or y?
y
Let w(o) = 2*o + 6. Let v be w(-3). Which is smaller: 7/3 or v?
v
Let d = 1017/7 - 145. Is d less than or equal to 52?
True
Let c(g) be the first derivative of -g**4/2 - g**3 - g**2/2 - 2*g - 10. Let z be c(-2). Do z and 5 have the same value?
False
Let m = 5 + -4. Which is smaller: m or -0.16?
-0.16
Let c(t) = t**2 + t + 47. Let h be c(0). Suppose w + 50 = 5*w + 2*q, h = 4*w + q. Which is smaller: 10 or w?
10
Let p = -0.1 - 0.1. Let w = p + 0.1. Let o = -0.3 - w. Is o bigger than -2/7?
True
Let u(k) = -k**3 - 3*k**2. Let f be u(-3). Let x be f + -1 - 8/(-14). Let r = -5 - -6. Is r greater than or equal to x?
True
Let i be 7/(1540/(-1752)) + 8. Let c = 1 - 2. Which is smaller: c or i?
c
Suppose -k + 15 = -6*k. Is -11/6 at most k?
False
Let l be (2/8)/(2/(-4)). Which is bigger: 21 or l?
21
Suppose b - 1017 = -8*b. Which is greater: b or 114?
114
Let v = 11 - 7. Suppose -4*p = 4*p - 32. Is v at least as big as p?
True
Let f be 3*2/6*2. Suppose 0 = -5*y - f*w - 8, 0 = 4*y + 2*w + 14 - 6. Is -3/10 at least y?
False
Let t = 2.5 - 2.5. Which is smaller: -12 or t?
-12
Let l(n) = n. Let m be ((-30)/(-9) - 2)*6. Let b = 6 - m. Let s be l(b). Which is bigger: s or -3?
s
Suppose 3*n + 1 = 2*j, 4*n - 3*j = -8*j + 14. Let c = -4.05 - -3.9. Are c and n nonequal?
True
Let f = -1 - -3. Suppose 5*w = 5*p - 45, 8 = -w + f*p - 6. Is -5 >= w?
False
Let k = -0.3 - -0.34. Let j = 15.96 - 16. Let s = j + k. Is s less than 0?
False
Let p(h) = 2*h. Let s be p(2). Suppose -s*v + 18 = -v. Is v greater than 5?
True
Let v(n) = n + 355. Let a be v(0). Suppose 4*p + a = -665. Let y = p - -2043/8. Is 0 greater than y?
False
Let k be (-12)/72 + (-37)/(-6). Suppose 0 = 3*w - k. Is 2 > w?
False
Suppose -2*k + 3*v + 7 = -0, -2*k = v - 3. Suppose 5 - k = 3*w. Let m = 55/236 + 1/59. Which is bigger: m or w?
w
Let z = 0.06 - -0.14. Let c = 0.06 - 0. Let i = -0.06 + c. Is z at least i?
True
Suppose -2*k + 3 = -1. Is -1 smaller than k?
True
Let p(b) = -6*b + 1 + 2*b**2 - b**3 - 3*b**2 - 6*b**2. Let g be 1/((-44)/(-24) - 2). Let x be p(g). Is 2/13 < x?
True
Let p = 8 + -10. Let m be 3/(1/(1/p)). Is m smaller than -2?
False
Let v = -13.86 + 14. Let g = 0.06 + v. Is 2/11 <= g?
True
Let w(y) = -2*y - 1. Let s be w(-3). Let u = -4 + s. Which is greater: u or -2/11?
u
Suppose c - 14 = -6*c. Is c > 3?
False
Let z = 170 + -134. Are z and -2/11 equal?
False
Let m = 0.4 - 0.3. Let p be (4/2)/(-10 + 2). Is m greater than or equal to p?
True
Suppose 4*k = 10 + 6, 4*k = 5*c + 21. Let m = -32135/4 + 8323225/1036. Let d = 4/37 - m. Which is bigger: d or c?
d
Let g(v) = v - 2. Suppose -4*o + 3*o = -4. Let j be g(o). Which is smaller: 1 or j?
1
Let z be 2/2*9/39. Are -1 and z equal?
False
Suppose -5*l - 10 + 5 = 0. Which is greater: l or -2/5?
-2/5
Let k be 1*-33*2/(-39). Which is bigger: k or 1?
k
Let f = 17 - -33. Is 51 at most f?
False
Suppose 0 = j - 5*h + 1 + 12, 0 = 2*h - 8. Let g(k) = k**3 - 6*k**2 + 5*k - 4. Let n be g(5). Let i = j + n. Which is bigger: 2 or i?
i
Let a be ((-18)/15)/(2/5). Let n = -6 - a. Which is smaller: n or -8/5?
n
Let a be (-1)/(-4) - (-205)/(-660). Is 1/4 at least a?
True
Let l(h) = -h**2 + 4*h - 1. Let n be l(2). Suppose 2*w = -3*w + k - 10, n*k - 10 = 5*w. Is w > -3?
True
Let s(c) = -c**2 + 5*c. Let h be s(5). Is -3 at most as big as h?
True
Suppose -x = 36 - 31. Is -4 < x?
False
Suppose 38 = 5*x + 3*p - 2, -3*x - 4*p + 24 = 0. Suppose -16 = 4*f + 2*a, a = -a - x. Is -3 <= f?
True
Let t be (-48)/(-944)*(-2)/3. Which is smaller: 1 or t?
t
Let i = -40 + 39.9. Do -0.1 and i have the same value?
True
Let m = 0.116 - -40.884. Which is bigger: m or 0?
m
Let b(m) = m**3 + 2*m**2 + 2*m + 1. Let o be b(-1). Which is smaller: -3/20 or o?
-3/20
Let o be 10/(-6) - (-2)/(-6). Let n be (1/2)/(o/4). Let l be ((-6)/(-20))/(9/12). Is n at most l?
True
Suppose 1 = 4*l - 15. Let s be 2/l + 14/(-4). Is s greater than or equal to -2?
False
Let n be ((-1)/(-2))/(2/20). Let v be n/(-2) - 2/(-4). Let d be -1*((2 - 2) + 3). Is d equal to v?
False
Let x = 592 - 238. Let f = 2474/7 - x. Which is greater: f or 0?
0
Let v(o) = 5*o**3 - 6*o**2 - 7*o + 3. Let n be v(-2). Is n > -46?
False
Let s be 6/28*(-16)/240. Does s = 1?
False
Let p be (-2 - (-9)/6)*14. Let c = -8 - p. Which is bigger: c or -2/27?
-2/27
Let g = 62/3 - 20. Let u = 0 - 0.1. Which is smaller: g or u?
u
Suppose -5*g = 5*b - 185, 2*g + g - b - 127 = 0. Do g and 42 have the same value?
False
Let c = 3.7 + -3.5. Is c greater than or equal to -3?
True
Let v = -0.03 - -0.03. Let n = -1.08 - -0.2. Let z = n - 0.12. Are z and v unequal?
True
Let d be 7 - (1 - 2)*1. Let w be (-32)/6 + (d - 5). Is w equal to -1?
False
Suppose -j - 2 = -0*k - 3*k, -7 = -2*j - 5*k. Which is greater: j or -1/63?
j
Suppose -m - n - 9 = 3*n, 4*m - 5*n = 6. Which is smaller: m or -4/51?
m
Let d = 0.99 + -1. Let x = 3.01 + d. Let i = x - 3.1.