g + 2*g. Do s and g have the same value?
False
Suppose 41 = 3*n - 28. Suppose -n = -4*j - 3. Is 5 >= j?
True
Let d = -1/2 + 1/4. Are 6 and d unequal?
True
Let a be 3*6 + -8 + 11. Is a greater than 21?
False
Let d(c) = c - 3. Let w be d(-7). Let i be ((-4)/w)/(2/(-10)). Let o be ((-3)/(-1))/(i - -7). Is o <= 0?
False
Let o be (4/10)/((-4)/140). Let c = 11 + o. Which is smaller: c or 0?
c
Let g = -2271 + 15865/7. Is -4 greater than g?
True
Let y = -0.7 - 0.3. Suppose 0 = -r + 39 + 81. Let d = 1078/9 - r. Is d <= y?
False
Let b = -24 - -71/3. Suppose 2*s - 5*a + 20 = -3*s, 2*s = -2*a + 8. Is b bigger than s?
False
Let f be (-315)/14*(-8)/(-6). Let z be ((-6)/(-10))/((-6)/f). Which is smaller: z or 1?
1
Let f(i) = -i**2 + 8*i. Let u be f(6). Is 12 >= u?
True
Suppose 2*x - 1 = -f - 0*f, -x - 4*f + 4 = 0. Let v = 16 + -10. Let d = -5 + v. Are d and x unequal?
True
Let m = 14 + -10. Is m < 3?
False
Suppose -r = 22 - 0. Let a be (r/(-33))/((-4)/30). Is a >= -4?
False
Let n be (1 + -4 - -2)/((-11)/(-44)). Is -23/5 at most n?
True
Let q be (-5 - -2) + 2 + -2. Let s be 6/(-2)*(-1)/(-3). Is q greater than s?
False
Suppose -2*v - 6 = -5*v + 2*s, 3*s = -9. Suppose l = -t - v - 1, 4*l - 2*t - 14 = 0. Suppose 0 = -4*j + 4, -l*j = -w + j - 9. Is -6 less than or equal to w?
True
Let a(t) = -8*t - 25. Let y be a(-4). Which is smaller: 9 or y?
y
Let d be (-1)/(-1)*(3 - 4). Suppose -1 = s - c, 0*s - s = -2*c + 4. Let z = s + d. Which is smaller: z or -0.1?
-0.1
Let v be (-30)/(-8) - (-2)/8. Let r(o) = -2*o**2 - 1 + 0 - v*o + o**2. Let w be r(-3). Is w greater than 1/2?
True
Let b = -3 + 2.9. Is b != -1/3?
True
Let z be 3/(-9) + 7/3. Let v(q) = q**2 - q. Let u be v(z). Let t be 2 + (0 + u)/(-2). Which is smaller: -3/8 or t?
-3/8
Let b = 504/65 + -54/13. Which is greater: 4 or b?
4
Let b be (-3 - 1/(-1)) + 5. Suppose 5*p = -15, b*x - 11 = -2*x - 3*p. Suppose -3*c - x - 5 = 0. Is c smaller than -4?
False
Let l be ((-1)/(-3))/(2/6). Let r = 3 + l. Suppose z - 3 = r*z. Which is smaller: z or -4?
-4
Let t = 6 + -5.7. Let y = -44.8 + 45. Which is smaller: y or t?
y
Let d(n) = -n**2 + 12*n - 11. Let f be d(10). Are 11 and f non-equal?
True
Suppose 0 = -4*g - 4 - 28. Suppose 5*l = -2*d - 36, -4*l + 3*d - 4*d = 27. Is g at least as big as l?
False
Let u = -481/15 - -32. Which is bigger: u or -1?
u
Let l = 1 - 1. Suppose -4*p - 4 = -5*p. Suppose p*z = 3 + 1. Which is greater: z or l?
z
Let k = -29 + 88/3. Let g(r) = 11*r + 9. Let p(i) = 5*i + 4. Let u(q) = 6*g(q) - 13*p(q). Let y be u(-3). Which is smaller: y or k?
y
Let q be 348/(-123) + 1 + 2. Let i = -19/369 - q. Which is bigger: -1 or i?
i
Let w be 153/189 - (-1)/3. Which is smaller: w or 0?
0
Let z(a) = a**2 + 5*a + 2. Let n be z(-5). Is n > 2?
False
Let j = 1 + 1. Let f = j - 7/4. Let q = -2 + 1. Is f <= q?
False
Let u be (-563)/14 - 4/14. Let r = u - -39. Which is smaller: r or -3?
-3
Let z = 85/3 + -28. Which is smaller: z or -36?
-36
Let t be 3 + -2 + -2 + -2. Suppose -3*y - 12 = y. Is t less than y?
False
Let b = -0.02 - 0.08. Let y = 1.1 + b. Which is smaller: -2 or y?
-2
Let d = -48 + 0. Which is smaller: -46 or d?
d
Let o be (-345)/20 - ((-6)/(-8) - 1). Suppose -3*b - 72 = 2*b - 4*p, 2*b + 3*p = -38. Which is bigger: o or b?
b
Let k = 0.65 + 2.35. Is -8 != k?
True
Let z(i) = -i**3 - 2*i**2 + 1. Let q be (-3)/6*1*2. Let m be z(q). Which is bigger: 1 or m?
1
Suppose 4*d + 2*s + 5 + 5 = 0, 3*d - 3*s = 15. Suppose 4*l - 34 = -3*o - 6, 2*l - 8 = d. Suppose -2*i + 8 = o. Which is bigger: 3/4 or i?
i
Suppose -5*c - 2*n + 20 = 0, -2*n + 3*n = 5. Let a be (0/((-2)/(-1)))/(-1). Suppose -3*t + 6 = -a*t. Is c bigger than t?
False
Let u be 7/(-2) + 6/4. Which is smaller: 3 or u?
u
Suppose -4*a - 50 = -9*a. Suppose 0 = -4*l - 2*h + a, 4*l - 10 = l + h. Which is smaller: l or -3?
-3
Let i be 3/4*4/9. Which is smaller: i or 1?
i
Let p(d) = -d**3 - d**2 - d + 1. Let c(u) = -5*u**3 - 10*u**2 - 10*u + 7. Let g(q) = -c(q) + 6*p(q). Let j be g(5). Which is bigger: j or -5?
-5
Let m be 12/(-48) + (-58)/(-8). Let o be (-2)/m - (-288)/861. Which is smaller: 2/7 or o?
o
Let p(h) = 2*h + 21. Let w be p(-9). Which is bigger: w or 8/5?
w
Let i = 141 - 142. Is i less than 4/79?
True
Suppose 2*c = 3*k + c + 10, 4*k - 2*c + 16 = 0. Let b(v) = -3*v + 3. Let a be b(2). Do a and k have the same value?
False
Let r = -3 + 3.2. Let o = 1.9 - -0.1. Let j = o + -4. Which is bigger: r or j?
r
Let p = 5 + -3. Let k be 0 + 1 + (p - 5). Let g be (4 - (-39)/(-15)) + -2. Which is smaller: g or k?
k
Let h = 230/7 - 33. Let r be (1 - 0)*0/(-1). Let n = r - -1. Which is bigger: h or n?
n
Let x(k) = -k**3 + 9*k**2 - k - 12. Let b be x(6). Let d be 1/3 - 57/b. Which is smaller: 0 or d?
d
Suppose 4*x = 4*b - x - 10, -4*b - 6 = 3*x. Let m(w) = w**2 + w - 9*w + 7 + b*w**2 + 0*w. Let j be m(6). Do -4 and j have different values?
True
Let f = -1 + 4. Is 0.4 smaller than f?
True
Let w be ((-8)/2)/(1*-3). Let j(o) = o**2 + 4*o - 1. Let a be j(-5). Suppose 12 = 5*h + 4*g, a = 2*h + 4*g - 8. Is h at least as big as w?
False
Suppose 0*p - 5*p = 4*f - 4, -3*f = -2*p + 20. Is -6 less than or equal to f?
True
Let q = -4 + 2. Let k = -1.6 - q. Is k > 0.1?
True
Let k = 6 + -3. Suppose -k*l - 1 = 5. Let d(v) = v**3 - 9*v**2 - 11*v + 7. Let z be d(10). Which is bigger: z or l?
l
Suppose 3*o + 1 = 4*o. Is o smaller than -6/17?
False
Let l be (105/(-25) - -3)*-5. Which is bigger: 10 or l?
10
Let m be (-36)/(-17) - (1 - -1). Which is greater: m or 1?
1
Let j(i) = -i**3 + 2*i**2 + 2*i + 2. Let x be j(3). Let d be 12/(-21) + 24/42. Is d < x?
False
Suppose 0 = 5*q + 4*h + 78, 5*q - 7*h = -2*h - 60. Let g be 18/q - (-2)/7. Let z be (-6)/(-2) - (-17)/(-6). Is z smaller than g?
False
Suppose -3*l - 2*l - 3*o = 0, -3*o = -4*l. Let c be (l + (-6)/33)*-1. Suppose -z = -5*z + 4. Is c <= z?
True
Let k be (9 - 8)/((-2)/2). Let a be -1 + (39/(-30))/k. Which is greater: 1 or a?
1
Let x(n) = n**2 + 2*n. Let b be x(-5). Suppose j = -0*j - b. Are j and -15 non-equal?
False
Let p = -6 - -5.6. Let r = p + 0.33. Which is smaller: r or -1/2?
-1/2
Let b be 6/(-8) + (-20)/16. Is 4 > b?
True
Let g = -47 + 40. Is -1 smaller than g?
False
Let z be 2 - (-3 + -1 + 14). Which is smaller: -7 or z?
z
Suppose 2*j + 7 = 5*p, p + 4 = 4*j - 3*p. Let q(u) = u**2 - 2*u - 2. Let r be q(3). Suppose r = -c + j. Which is greater: c or 2?
c
Let f(n) be the second derivative of -n**3/6 + n**2 + 3*n. Let k be f(1). Is 3 at least as big as k?
True
Let s = -1.1 + 1.2. Is 0.13 at least as big as s?
True
Let w = -12 - -12. Let x = -15 + w. Which is greater: x or -14?
-14
Let g = -8 + 12. Which is smaller: 6 or g?
g
Let v = 347/42 + -52/7. Suppose 0 = -5*h - 5*f - 5, -f + 0 = -2*h + 1. Which is smaller: h or v?
h
Let l(f) = -6*f**2 - f + 1. Let g be l(1). Let u = g + 8. Which is bigger: 6/7 or u?
u
Let y = 3 - 1. Let k be 7/(-2) + y/4. Which is smaller: k or -1?
k
Let v(n) = n**3 - 9*n**2 - 11*n + 6. Let r be v(10). Let k be 42/3 + (-1 - -1). Let o be 0 - (-1)/(k/r). Is -1/2 at most as big as o?
True
Let l(y) = y**3 + 10*y**2 + 6*y - 16. Let n be l(-9). Is 10 less than or equal to n?
True
Let t = 0.2 - 3.2. Let m = -1.4 - -7.4. Let i = -5.9 + m. Which is bigger: t or i?
i
Let y = 216 + -213. Let t = -4 - -6. Let r = t - 4. Is r at most y?
True
Let d(m) = -m**2 - 14*m - 5. Let w be d(-5). Which is smaller: 41 or w?
w
Let o = -0.14 + 0.24. Suppose -5*q - 5*c - 475 = 0, -515 = -q + 6*q - 3*c. Let a = -701/7 - q. Is a greater than o?
False
Let l be 75/12 + 2/(-8). Let f = l - 7. Which is smaller: 0 or f?
f
Let b = -15 + 15. Suppose b = -l - 2*l. Is l > 1?
False
Let x = -15 + 151/10. Is -1 < x?
True
Let s = 648 - 18790/29. Suppose 5 + 10 = 2*i + a, 4*i - 3*a = 15. Let v = 5 - i. Which is smaller: s or v?
v
Let y = 9 + -4. Let z = -1 - y. Let p = -5 - z. Is 0.1 less than or equal to p?
True
Let f(b) = b**2 - 3*b - 3. Suppose d + 6 = -2*t, -t + 0*d = -4*d - 6. Let r(v) = -4*v**2 + 8*v + 10. Let z(a) = t*r(a) - 7*f(a). Let w be z(-5). Is w > 1/8?
True
Let a = 0.078 + -0.608. Let j = 0.5 + a. Which is smaller: 1 or j?
j
Let m be (-2)/10 - (2 + (-333)/15). Which is greater: m or 18?
m
Let z = -9 + 2.6. Which is bigger: z or -1/4?
-1/4
Let c = 3 - 1. Suppose 0 = -c*w - 2. Suppose 3*p - 2*g + 10 = 0, g - 9 = 4*p + 1. Which is smaller: 