e v*(-2 - (-2 + 0)). Suppose -t + 0*t = u. Which is greater: t or 1?
1
Let m(v) = 5*v**2 - 5 - v**2 + 6. Let w be m(-1). Suppose y + w*h = 3, -4*y - y = -4*h - 15. Is 2 at least as big as y?
False
Let k = 43 - 44. Which is smaller: k or 2?
k
Let g(m) be the first derivative of m**2/2 + 4*m + 1. Let b be g(-6). Let o be ((-3)/(-9))/(b/(-18)). Which is smaller: 0 or o?
0
Let g = -2/163 + -316/815. Let x be -2 + 5/1 - 2. Are g and x equal?
False
Let r(t) = t**2 + 6*t - 5. Let i be r(-7). Let c(q) = q**2 - 2*q. Let z be c(i). Which is bigger: 1 or z?
1
Let c be 1 + (-7)/(-2) - 3. Is -4/5 at least as big as c?
False
Let l be 162/(1*(-3)/9). Let r be ((-3)/(-12))/(158/l). Let a = r - -3/158. Which is smaller: -2 or a?
-2
Suppose -2*l + 2 = -3*g, -3*g + 3*l - 6 = -0*g. Let i be 1/4 - (-1)/(-4). Suppose 0 = -i*r - 4*r + 8. Are g and r nonequal?
False
Let y = -7.3 + 7. Is 2/13 equal to y?
False
Let c be 12/(-8) - (-39)/6. Suppose i = c, -3*f - f - 5*i + 25 = 0. Which is greater: f or -3?
f
Suppose 3 + 1 = 4*q. Suppose 2*v = 6*v - 5*h + 24, 0 = -3*v - h + q. Which is greater: v or -9/5?
v
Let a(c) = -c**3 - 3*c**2 - c - 3. Let o be a(-3). Suppose -4*k - 7 = -2*s - 3*k, 3*s - 13 = 4*k. Suppose o = 4*g + 8, -4*f + 3*f + s*g = -7. Is f at most 2/3?
False
Suppose 0 = 3*c + 2*c - 40. Suppose -9 - 2 = -5*i - 3*f, 5*f = 2*i + c. Is i at least 1/3?
True
Let t = -2.942 - 0.058. Which is smaller: 0.06 or t?
t
Let k(d) = d**2 - 18*d - 17. Let z be k(19). Which is bigger: z or 6/7?
z
Let d = 14.054 - 0.054. Which is smaller: d or -0.2?
-0.2
Let q be (18 + -19)/((-2)/(-42)). Which is bigger: q or -18?
-18
Let p(i) = i**2 + i - 1. Let v be p(-2). Is -0.1 at most as big as v?
True
Let n = -4 + 6. Suppose q - 2 = 2. Suppose -q = -n*b + 4*b. Is -1 > b?
True
Let y = -14 - -351/25. Which is smaller: -1 or y?
-1
Let u = -27 - -191. Is 164 > u?
False
Let q(w) = -w**2 + 6*w + 6. Let a be q(7). Let h(n) = n**3 + 4*n**2 + n - 2. Let c be h(-3). Suppose -2*o = 3*o + 2*x + 3, -x = -3*o - c. Is a < o?
False
Let u be (-5105)/75 - 1/3. Let i = 68 + u. Is i at most as big as -2/3?
False
Let h = -0.16 - 0.84. Let s = -1 - -1.2. Which is smaller: h or s?
h
Suppose 4*y - 3 - 5 = 0. Does y = 2?
True
Suppose 2*j - j = 2. Suppose 0 = -j*x - 2*x - 48. Let y = -11 - x. Is y greater than 1/2?
True
Suppose 5*p - 4*a - 1 + 6 = 0, -4 = 4*p + a. Does -2 = p?
False
Let l = -5 - -1. Let s be ((-2)/(-12))/(l/1784). Let a = s - -73. Is -2 less than a?
True
Let t = -3.7 - -0.7. Let b be 9/(-6)*(-16)/(-34). Let w = 2/51 + b. Is t <= w?
True
Suppose 0 = 4*c - 4*a - 2 - 2, 4*c + a - 14 = 0. Suppose -2*w + 5*l - 14 = -3*w, c*l = -3*w + 6. Let o be -1 + 2 + 13/(-15). Is w <= o?
True
Suppose -u = u + 56. Which is smaller: -82/3 or u?
u
Suppose -5*k = -11 + 6. Which is greater: k or -1?
k
Let m be -2 - ((-2)/2 + -3). Suppose 5*o + 45 = m*o. Let i be (-25)/o - (-2)/(-3). Is 1/3 < i?
True
Let u be (-3)/(-15) - (-12)/(-10). Which is smaller: 3 or u?
u
Suppose -4*f + 2*z = f + 5, 3*f - z = -2. Let u = -4/13 + 21/26. Is f > u?
True
Suppose 0*b = 2*r + 4*b + 8, 3*r - b + 12 = 0. Which is greater: r or -13/4?
-13/4
Suppose -2*p + 8 = -2. Suppose 2*b + 7 = p. Let z = -1 + 1. Which is smaller: z or b?
b
Suppose 5*m - 15 = -5*d, 1 = -3*m - 4*d + 9. Let a = 28 - 26. Is a > m?
False
Let z be -1 - (-4 + 4/2). Let x be -1*((1 - z) + 1). Let s = 1 + x. Which is smaller: s or 1/2?
s
Suppose 11*a - 44 = 12*a. Let o = -85/2 - a. Which is bigger: -2/5 or o?
o
Suppose -f + 1 = -2*f. Is 0 <= f?
False
Let n = 5 - 12. Let a be 10/(-5) - 22/n. Which is greater: a or 0?
a
Let w(u) = -5*u**2 + u - 5. Let g(z) = -14*z**2 + 4*z - 14. Let t(i) = 6*g(i) - 17*w(i). Let l be t(-7). Is 1/14 greater than l?
False
Let i be (-555)/(-9) - 1/(-3). Let o be (-4)/(-10) - i/80. Is o <= 1?
True
Suppose i - 15 = -5*z + 15, 35 = 5*z + 2*i. Which is smaller: 6 or z?
z
Let b(v) = v**2 - 1. Let q be b(-1). Let c = 10 + -8. Which is bigger: c or q?
c
Let j = 3015 - 45208/15. Let b = j - 4/5. Which is greater: 0.1 or b?
b
Let f be (-3*(-8)/(-120))/(4/110). Is f < -7?
False
Let y = 580/183 + 10/61. Are y and 2 equal?
False
Let t(i) = -2*i + 10. Let d be t(3). Is 5 at least as big as d?
True
Let r be ((-4)/(-8))/((-2)/(-8)). Which is bigger: 20/11 or r?
r
Let o = 1296 - 37588/29. Is o > 0?
False
Let q be (-24)/((-1)/3*-3). Let n be (-30)/q*2/5. Is n < 2?
True
Let b be (8/6 - 2)/((-20)/(-114)). Which is smaller: b or -3?
b
Let b = 7 - 5. Suppose 0 = -h + b*h + 3. Let w = -1 - 1. Which is greater: w or h?
w
Let p be ((-4)/(-21))/((-2)/(-7)). Let b = 7 - 3. Let t = b - 2. Do t and p have the same value?
False
Suppose 8 = 2*j, 5*y = -j + 15 - 6. Does y = 1?
True
Let r be ((-20)/(-25))/((-38)/10). Which is smaller: 1 or r?
r
Let i = 11 - 5. Let l(w) = -w + 6. Let z be l(i). Let u be z - (2 + -1 - 1). Is u > 1?
False
Let h be -1 + 3 - (-9)/(-5). Is h <= 0?
False
Suppose 0 = -10*d + 6*d + 8. Suppose d = 2*o - 4. Which is bigger: o or 2?
o
Suppose 3*i + 7904 = -4*h, -751 - 1225 = h - i. Let n be (-9)/(-30)*h/402. Let a = n + 5/67. Is a less than -1?
True
Let z be ((-3)/(-2))/(-3)*10. Let k = -10 - z. Which is smaller: k or -4?
k
Let i be 2/7 - 20/21. Let o(q) = q**3 + 3*q**2 - 2*q - 1. Let z be o(-3). Suppose -z = 4*y + y. Is i at least y?
True
Let b(d) = 2*d**2 - 3*d + 1. Let y(j) = 3*j**3 - 2*j**2 + 1. Let u be y(1). Let x be b(u). Let c be 5/x + 3 + -4. Which is greater: 1 or c?
1
Let o = 1 - -1. Suppose -19 = -4*t - 0*s + 3*s, 5*t - 21 = s. Suppose t*n + 6 = 3*g + n, -n - 2 = -4*g. Which is greater: g or o?
o
Let q = -50 - -70. Let z be q/(-8)*8/(-10). Let u = 1 + -1. Which is greater: z or u?
z
Let u = 0.08 + -0.28. Is u at most -1?
False
Let y(z) = z**3 - 12*z**2 - 11*z - 26. Let i be y(13). Which is greater: i or -67?
i
Let x(u) = u**2 - u - 1. Let v be x(-1). Let j be -4*(v - 1/2). Suppose k + 1 = n, 3*n + 5 = -k - 0. Is j equal to k?
True
Suppose 4 + 2 = -p. Let c be ((-4)/5)/(12/p). Do c and 0 have different values?
True
Let k = -22 - -108/5. Let w be 0 + 15/27 - 1. Which is smaller: w or k?
w
Let w(s) = -3*s**2 + 4 - 2*s - 2*s + 2*s + 2*s**2. Let o be w(-3). Do o and 1 have the same value?
True
Let t = -48 + 46. Is -10/3 not equal to t?
True
Suppose -4*f - 7 = p, 3*p - 1 - 8 = 3*f. Let h = -85/3 - -28. Is h bigger than p?
False
Let s be -3 + (-21)/15 + 4. Which is greater: s or 0?
0
Let u(y) be the first derivative of y**3/3 - 2*y - 3. Let q be u(0). Which is smaller: -1/2 or q?
q
Suppose 3*g + 25 = -2*u, 4*g + 19 = 4*u - 1. Which is greater: -6 or g?
-6
Let t = -6 + 7. Let g be (15/9*-1)/t. Which is smaller: -1 or g?
g
Let o = -4 + 8. Suppose -2*v = -5*v - c - 6, 3*v + 21 = o*c. Let t(f) = -f. Let k be t(3). Is v at least k?
True
Suppose 5*y = -b + 1, -3*b = -5*y - 2 - 1. Let a be 4/6 - y/(-8). Which is smaller: a or 1?
a
Suppose 0 = -0*p + 5*p - 5*r, -p + 3*r + 6 = 0. Which is bigger: -5 or p?
p
Let q(r) = -r**2 - 7*r + 2. Let h be q(-7). Let i = h + -5. Is i < -5?
False
Let a(p) = p - 4. Let v be a(5). Suppose 2*g = v + 3. Let h be (-32)/(-20) + g/5. Which is smaller: h or 1?
1
Let n be (-3 - -2)*0/2. Let g = 733/10 - 73. Is g greater than or equal to n?
True
Suppose -4*m - 5 = -2*g + g, 5*g = -5*m. Which is smaller: g or 2/57?
2/57
Suppose z - 20 = -3*z. Suppose 5*j + 19 + 6 = z*i, 0 = -j - 2. Suppose 5*r + i = 8. Which is smaller: 2 or r?
r
Let l(n) = -2*n - 10. Let s(i) = -2*i - 11. Let b(y) = -7*l(y) + 6*s(y). Let f be b(-6). Let j be (-2)/6 - f/6. Which is smaller: j or 2/5?
2/5
Suppose 3*b + 20 = -b. Suppose 7*y - 2*y + 5 = 0. Let z = b + y. Which is smaller: z or -5?
z
Let u = 33 + -101/3. Suppose 0 = -0*q - 2*q + 4*n, -3*q = 2*n. Is u at least as big as q?
False
Let a = 6.82 + -0.82. Which is smaller: a or -2?
-2
Let v be 8/(-20) - (-112)/(-20). Which is smaller: -40/7 or v?
v
Suppose -2*d - d = -4*r + 7, -2*r = -3*d - 5. Let o be (1/3)/((-12)/9). Is o less than d?
False
Suppose -2*l + 3*l = 4. Let h(r) = -r + 8. Let s(b) = -1. Let d(f) = h(f) + 3*s(f). Let v be d(l). Which is bigger: -2/13 or v?
v
Let t(s) = -s**2 - 4*s + 5. Let c(a) = -a**2 + 8*a + 4. Let k be c(9). Let y be t(k). Which is greater: -4/3 or y?
y
Let o = 8.96 - -0.04. Is o at least 0.2?
True
Let u(j) = j**2 + 13*j + 12. Let r be u(-10). Let v be (-86)/r - (-4)/18. Let l(q