 4 = 0. Which is bigger: y or -1/5?
y
Let m(z) = 4*z - 4*z + z + 8 + 0*z. Let g be m(-9). Is -0.1 not equal to g?
True
Let f be (39/(-12) + 3)*-3. Which is greater: f or -2?
f
Let m be (-9)/8*(60/(-18) + 4). Let j = -7 + 5. Is j greater than or equal to m?
False
Let d = -1 - -1. Let y(u) = -u + 11. Let f be y(11). Let z(o) = o**2 - o - 1. Let i be z(f). Which is bigger: d or i?
d
Suppose 0 = 32*x - 35*x - 30. Let h be ((-9)/(-6))/(6/(-40)). Is h less than or equal to x?
True
Suppose -70 + 819 = 7*h. Is 107 greater than h?
False
Let d be (-36)/(-5) - 4/20. Suppose -5*n = -d*n + 10. Is n smaller than 5?
False
Let j be (0/1)/(4/(-2)). Let y be (1*-2 + 2)/2. Let k = j - y. Which is greater: k or -3/7?
k
Let u be 2/(-16)*2*-4. Let p be 93/4*2/6. Let w = p + -25/4. Which is bigger: w or u?
w
Let o = 0.31 - 1.31. Which is greater: -3 or o?
o
Let j = 132 - 125. Suppose 0 = -3*q + 4*q + 4*n + 16, 0 = 3*q + 4*n + 8. Which is bigger: q or j?
j
Let s = 0.18 - 1.58. Which is smaller: -1 or s?
s
Let n = 14 - 12. Is -1 > n?
False
Let m be 0*(-2)/((-4)/1). Let g be -1*(2/2 - m). Do g and 1/4 have the same value?
False
Suppose -4*a = 3*p - 63, -7 = -0*a - a + p. Is 14 greater than or equal to a?
True
Suppose -m + 6 = w, 3*w = w + 4*m - 18. Is 3 not equal to w?
True
Suppose -t = -3*h - 15, -6 = -0*t + 2*t + 3*h. Let b be (7/4)/(t/(-4)). Which is smaller: -1 or b?
b
Let m = -0.7 - -5.7. Let i = m + -6. Let q = 8 - 8.3. Is i at most q?
True
Let c(g) = g**2 + g. Let j be c(0). Suppose -2*m + m + 1 = 0. Suppose m = a - 0*a. Which is bigger: j or a?
a
Let n = 18.7 + -18. Let y = n + -0.9. Which is bigger: 2 or y?
2
Let q be 31/(-2) - 7/(-14). Is q at most -15?
True
Let p = -40 + 32. Let g = -23 + 15. Is g equal to p?
True
Suppose 3*h - 9 = -0*h. Suppose 0 = p + 4*p. Suppose -v - h*v = p. Is -1 bigger than v?
False
Suppose 5*q + 24 = 4*u, 0*u - 3*q = -u + 6. Suppose -5*c + z - 8 = 5*z, -5*c = 3*z + u. Is 2/9 not equal to c?
True
Suppose 0 = 2*i + 2*f - 14, 4*i - 2*f + 7 = f. Suppose i*p + 42 = -p. Let b be (-4)/p - 18/112. Is b less than 0?
False
Let n(o) be the third derivative of -o**6/720 - o**5/12 + o**4/24 - 2*o**2. Let p(d) be the second derivative of n(d). Let g be p(-7). Is -2 bigger than g?
True
Suppose -5*a + 18 - 3 = 0. Suppose -a*w + 5 - 2 = 0. Which is smaller: w or -1/3?
-1/3
Suppose r = -2*r + 3. Is r less than 1?
False
Suppose 2*h - h = 1. Let x(q) = -q + 7. Let a be x(5). Suppose 4 = g + a. Which is greater: h or g?
g
Let p = -16 - -15. Does p = 18?
False
Let d = -134 - -936/7. Let g be (-3)/135 + (-2)/(-9). Which is smaller: g or d?
d
Let t be (-3)/2*(-2)/3. Which is smaller: t or -2/39?
-2/39
Let f(i) = -i**2 - 5*i - 3. Let z be f(-4). Let p be (-32)/36*(-6)/4. Do p and z have different values?
True
Let v(w) = -w**3 - w**2 + w + 2. Let s be v(0). Let a be 13 + (2 - (0 + s)). Let m be (2/5)/(a/5). Which is smaller: m or -1/2?
-1/2
Let s = -19 - -15. Let w be (3/(-2))/(s/24). Which is smaller: w or 8?
8
Let o be 2/9 + 10/(-45). Let f = o - -1. Is 3/7 greater than f?
False
Let v be 1/(-3*3/(-27)). Let o(a) = a - 4. Let q be o(6). Let z = 6 - q. Which is smaller: v or z?
v
Let x be 24/10 + -14 + 10. Which is smaller: x or -1?
x
Let u = 0.12 - 0.31. Let p = u + 0.19. Which is bigger: -1 or p?
p
Let w(n) = 15*n**2 - 5*n + 2. Let z(a) = -7*a**2 + 3*a - 1. Let k(i) = 4*w(i) + 7*z(i). Let u be k(-1). Is u at least 10?
True
Let n = -1.89 - -4.87. Let x = n - 3. Let v = -0.22 - x. Which is smaller: v or -1?
-1
Let z = 7 + -9. Let r = 11 + z. Is 9 at least r?
True
Let f = -4/45 - -14/45. Is f bigger than 0?
True
Let i(c) = c - 3. Let h be i(4). Is h greater than 2?
False
Suppose -2*b = -b. Suppose b + 9 = -3*k. Which is smaller: -4 or k?
-4
Let y be 6*3*(-1)/(-6). Suppose -2*l - 1 = y. Let c be (-1)/(l/(-12)*2). Which is smaller: -4 or c?
-4
Let t be (-704)/(-348) + 3 + -5. Which is smaller: t or 1?
t
Let x = -2.5 + 3. Let y = 0.5 + x. Which is bigger: 3/5 or y?
y
Let j = -15 + 16. Which is greater: -0.1 or j?
j
Suppose 0 = -2*p - 4*p + 6. Does p = -2/19?
False
Let j = -1.1 - 4.9. Let w = -10 - j. Let s = w - -4.2. Is -0.1 less than s?
True
Suppose 7 = v + 1. Which is greater: v or 0.5?
v
Suppose 4*t = 5*g + 3, 3*g - 5*t + 6 = -g. Is g equal to -2/105?
False
Suppose -u = 2*g - 1, 2*u = -3*u + 2*g + 5. Let t = -14 + u. Let k be (-10)/15*3/t. Which is smaller: 0 or k?
0
Let x(j) = -3*j + 8. Let a be x(3). Which is greater: -6 or a?
a
Suppose -9 = -5*m - t - 0*t, 3*m - 23 = -5*t. Do 2/23 and m have the same value?
False
Let l = 56/111 - -6/37. Suppose -3*s - 2 = -17. Let q be ((-2)/s)/(2/2). Is l > q?
True
Suppose -57 = -5*q + 7*j - 3*j, 0 = -2*q - j + 15. Let g = -6 + q. Let h be 5/g - 2/3. Which is smaller: h or 0?
0
Let w(o) = o**2 + 6*o - 7. Let f be w(-7). Let d be -1*1/(-10)*6. Which is greater: d or f?
d
Suppose -9*l = -2*l + 14. Which is smaller: -5 or l?
-5
Let i = -3 + -2. Let o = -17 - -12. Is i less than o?
False
Suppose 0*y = -2*y + 90. Let p = 19 - y. Let o be (-4)/16 + p/(-24). Is 2 bigger than o?
True
Let c = 53 + -582/11. Suppose 8*m + 5 = 37. Suppose m*p + 1 = 3*p. Is p greater than or equal to c?
False
Let p(j) = j**2 - j. Let g(f) = -5*f**2 + 9*f + 1. Let q(i) = g(i) + 4*p(i). Let w be q(4). Suppose -5*m = -10, -w*b + 3*b + 6 = m. Which is greater: b or 4?
4
Suppose 2*b = -9 + 15. Suppose 0 = -5*h + b*h + 16. Suppose -35 = -8*n + 3*n. Which is smaller: n or h?
n
Suppose -5*f = -1 + 11, -21 = 3*x + 3*f. Let d be ((-12)/(-8) - 4)*2. Is x at most d?
True
Let f(s) = s**2 - 7*s + 2. Let j be f(5). Let o be j/6*(-18)/12. Suppose -o*y - 20 = 2*y. Are -6 and y nonequal?
True
Let o(r) = -16*r**2 + 2*r - 1. Let j(f) = f + 4. Let u be j(-3). Let l be o(u). Let a be 1*(0 - (-3)/l). Are a and -1 equal?
False
Let j = 0.02 + -0.32. Suppose 0 = -i + 5*p - 5, -4*i + 4*p + 0*p = 4. Is i greater than or equal to j?
True
Suppose -4*z + 16 = -4. Which is greater: z or 4?
z
Suppose 2*v - k - 81 = 0, 5*v - 3*k - 180 = -5*k. Which is smaller: 37 or v?
37
Let a = -8 - -9. Is -2 bigger than a?
False
Suppose -33 = -5*n + 4*z, -2*n - z = 4*z. Suppose -n*q - 4*h - 7 = 0, -4*q - 2 = -9*q - h. Is -1/3 > q?
False
Let m = -16.1 + 16. Is 1/75 at least as big as m?
True
Let x = 0.04 - 0.04. Which is smaller: x or 0.2?
x
Let g be 8/(-24) - (-2)/3. Is -25 less than g?
True
Let y = -0.1 + -0.2. Let o(a) = -a + 3. Let z be o(6). Let i be -1 - 2*2/z. Is i at least as big as y?
True
Let t(k) = 2*k**3 - 4*k**2 + 3*k - 1. Let x = -10 - -12. Let l be t(x). Which is greater: 6 or l?
6
Let i(a) = a**3 + 14*a**2 + 12*a - 14. Let k be i(-13). Which is smaller: k or -2/3?
k
Let h = -301/66 - -9/2. Which is greater: h or 1?
1
Let a be 42/4*(-23)/(-69). Which is greater: 5 or a?
5
Let l = -11 - -11. Let g be (-5)/((-5)/(-2)) + 3. Are l and g unequal?
True
Let f = 1.2 - 1.5. Suppose -5*m = 3*l - 12, -5*m + 6 = -3*m. Is l smaller than f?
True
Suppose 5*n = n - 8. Which is greater: n or -2/3?
-2/3
Let r(h) = -3*h - 12. Let x be r(-6). Is 6 < x?
False
Suppose -16 = -2*f - 2*f. Let h be (3 - 1)*(1 - 1/(-2)). Is h at most as big as f?
True
Let c = -2.55 + 1.5. Let p = -0.05 - c. Is p at most 4?
True
Suppose -3*x - 4*g + 6*g + 9 = 0, 3*x - 9 = 3*g. Suppose -6*w = -4*w - 2*j - 4, 0 = -w - x*j + 6. Let n = w + -3. Is n not equal to -1/8?
True
Suppose 6*k = -9 - 3. Let h(w) = -w + 5. Let j be h(6). Let t be (j/2)/(6/20). Which is greater: t or k?
t
Suppose -2*w = 3*a - 1, 0 = 2*w - 0*a - 5*a - 9. Let d(m) = m**3 - 3*m**2 + 4*m - 2. Let p be d(w). Suppose -s = -3 + p. Are s and 1/4 unequal?
True
Let n = 78/7 + -277/28. Is n less than 2?
True
Let j = -0.2 - -0.1. Suppose -a + 26 = -3*f, 53 = -4*f + 2*a + 3*a. Let b be (1/1)/(f/(-2)). Is b less than or equal to j?
False
Suppose 4*u - 24 = 12. Let r be 152/(-36) - (-2)/u. Let k = 5 + r. Which is smaller: 0 or k?
0
Suppose -2*s - 10 = 4*c - 3*s, 0 = 5*c - 2*s + 14. Let v be c/9 + (-143)/(-198). Does v = 1?
False
Let i = -20 + 37. Which is greater: 2/3 or i?
i
Let s be -1*12*(-2 + 1). Suppose 2*a + a - s = y, 0 = -4*y + 5*a - 34. Is -4 equal to y?
False
Let r be (2/10)/(14/(-28)). Suppose 2*n = -b + 3 + 9, 4*n - 12 = 4*b. Suppose -4*o - o + b*x + 1 = 0, o - 4*x = 11. Is r >= o?
True
Let i(l) = -l**3 + 5*l**2 + 6*l - 1. Let d be i(6). Which is bigger: 2/5