 10.06. Which is bigger: n or -1?
n
Suppose 4*d + 5*g - 4 = -1, 4*d + 4*g - 4 = 0. Do 1 and d have the same value?
False
Let w be 4/6 + (-7)/(-3). Suppose 4*n = 5*n + w. Which is smaller: n or -4?
-4
Let h = 4.12 + -0.12. Let r = 1 - 0. Which is smaller: h or r?
r
Let j = -6 + 5.99. Let l = -0.01 - j. Which is greater: 2/5 or l?
2/5
Let x(o) = o**3 - 7*o**2 + 2*o - 7. Let y be x(7). Let q be 3 - y/(21/(-6)). Suppose 5 + 1 = m. Which is smaller: m or q?
q
Let p be 2*(-3)/(-12)*2. Let n be (-2)/(-3) + (-1)/p. Which is bigger: 0 or n?
0
Let i(f) = -14*f - 5. Let r be i(-2). Are r and 22 equal?
False
Let x(i) = -i**2 + 4*i + 8. Let k be x(6). Let f be ((-2)/4)/(6/k). Which is bigger: f or 1/5?
f
Let i be 0/(-2) + 3 + -3. Suppose 3*r - 3 - 3 = i. Let d be 1/(-2)*(4 - r). Which is smaller: -2/15 or d?
d
Let u be (-3*10/(-15))/(-29). Which is smaller: 0.1 or u?
u
Let n(i) be the first derivative of -i**3/3 - 3*i**2 + 2*i + 1. Suppose 3*c = -0 - 18. Let d be n(c). Which is smaller: d or 1?
1
Suppose 6 - 5 = -f. Let v be (-6)/9 - 5/6. Is v > f?
False
Let l be (2066/52)/((-3)/12). Suppose -2*o = -3*a - 475, 4*a + 3*o = 8*o - 631. Let k = l - a. Which is greater: k or 0?
k
Let t be (6/(-15))/(-1)*35. Suppose -3*p - 6 = 0, 3*b - p - t = 3*p. Let q be 3/((-21)/4*b). Which is smaller: -1 or q?
-1
Suppose 0 = g - n - 2, 7 = 4*g - 3*n - 2. Let j = 7 - 4. Suppose 6*x - j*x = -g. Is 0 smaller than x?
False
Let h(d) = -11*d**2 + d + 4. Let o be h(2). Is o less than -39?
False
Let g be (8/(-9))/(4/12). Are -4 and g unequal?
True
Let j(t) = t**3 - 5*t**2 - 4*t - 8. Let u be j(6). Let g be (-4)/(-35) - u/10. Which is greater: 1 or g?
1
Let d = -28 + 26. Is d smaller than -1/2?
True
Let b(x) be the third derivative of -x**5/60 + x**2. Suppose -4 = o - 5*o. Let y be b(o). Is y at most as big as 1/4?
True
Suppose -28 = 4*t + 8. Which is bigger: -8 or t?
-8
Let i = 0.07 + -2.07. Let p = 0.1 - -0.8. Let n = p - 1. Is i equal to n?
False
Let c be -1 + -1 + 993/504. Let d = 3839/840 - c. Let h = d - 51/10. Is h less than -2?
False
Let b be (-6)/(-21) + 348/105. Let w = b - 44/15. Which is smaller: w or 0.4?
0.4
Let f = -38.6 - -38. Is -2 < f?
True
Let o(v) = -2*v + 10. Let l be o(5). Which is bigger: l or 1/4?
1/4
Let m be (-14)/63 - (-286)/(-9). Is -32 at most m?
True
Suppose 5*f - 3 = 5*j - 13, 6 = 5*f + 3*j. Is -1/49 equal to f?
False
Suppose 4*c - 1 - 3 = 0. Let d(f) = f + 3. Suppose -x = 4*x + 4*y + 32, -4*y - 12 = 0. Let l be d(x). Are c and l non-equal?
True
Let u be 3 - (-2 - -3) - 1. Let g be u/9*6/8. Are g and 1 non-equal?
True
Let a(h) = h**2 - 7*h + 4. Let v be a(6). Let b(j) = 4*j**2. Let t be b(v). Let k be t/11 + (-5 - -3). Which is bigger: k or -1?
k
Let x(j) = j**2 + 16*j - 35. Let c be x(-18). Is -3/50 at least as big as c?
False
Let r be 24/9 + (-3)/(-9). Which is greater: 15/4 or r?
15/4
Suppose 2*m + 6 = -0*m, l + 3*m = -9. Is 4/15 less than l?
False
Suppose 0 = -b - 3*b + 4. Suppose -4*x = -c - 3*c + 28, 4*c = -3*x - 7. Which is smaller: c or b?
b
Suppose z + 2*y - 12 = 0, -5*z = -8*y + 3*y. Suppose z = 2*g - 0. Let r be (g/(-8))/((-25)/(-20)). Are 1 and r equal?
False
Let c = -36 + 37. Suppose 0 = i - 0 - 4. Which is greater: i or c?
i
Let w be 7/((-35)/(-22)) - 4. Is 2 equal to w?
False
Let o(h) = 13 + 3*h**2 + 5*h**2 - 7*h - 9*h**2. Let g be o(-9). Suppose -4*t - t = 20. Which is smaller: t or g?
g
Let j = -3 - -2. Suppose 0*a - a = 0. Suppose a*g = -2*g - 4. Is g not equal to j?
True
Let d be -2*(2/(-4) + 0). Let h = 13 + d. Suppose 2*r = -4*m - 18, -r + 2*m = 5*m + h. Is 1 at most as big as r?
True
Let l = -0.4 - 0.1. Is l equal to 0?
False
Let y = 13 + -5. Let v be (6/y)/((-12)/40). Suppose -2*x - 4 = -0. Is x <= v?
False
Suppose -6*i + 2*t - 26 = -2*i, 2*t = 3*i + 22. Is -4 at least as big as i?
True
Let l = -3.2 + -0.8. Let q = -3 - l. Let u = -1 + q. Which is bigger: 0.4 or u?
0.4
Let o(h) = h**2 - 8*h + 7. Let d be o(7). Let z = -2 - -4. Is d <= z?
True
Let z = 11/15 - 19/60. Which is greater: z or -1?
z
Let y(i) = 11*i**3 - 3*i**2 + i + 4. Let s be y(2). Which is bigger: 0.2 or s?
s
Let k = -0.4 + 0.3. Let v be 1/2*8/(-18). Which is bigger: k or v?
k
Let z = 80 + -29. Is z != 51?
False
Suppose g + 1 + 2 = 0. Let z be (6 - 2)*(-21)/21. Which is smaller: g or z?
z
Let c = -8.4 + 8. Let o = 0 - 0. Let y be (2 - (-5)/(-3)) + o. Which is bigger: c or y?
y
Let s be (0 + 1)*-3*-2. Suppose 2*a - 5*i = -4, 3*i - s*i = 0. Is 2 less than or equal to a?
False
Suppose 6*b + 30 = -24. Let a be b/(-5)*(-10)/60. Which is greater: 0 or a?
0
Let h(b) = b**2 + 5*b + 2. Let p be h(-5). Is p <= 2?
True
Let b be -1 + (-1 - (-16)/6). Let q = 4 - 6. Let w be (q - -4 - -2)/2. Is w <= b?
False
Suppose -p - 3*p + 20 = 0. Is 4 != p?
True
Let t = -2 + 6. Let w = t - -1. Is w greater than or equal to -2/7?
True
Let h = -1.2 - -2. Let t = 1.08 + -0.08. Let y = t - h. Is 0.2 at most y?
True
Let q(f) = f**3 + 10*f**2 - f - 11. Let h be q(-10). Let y be 4/(-8)*4/(-7). Which is smaller: h or y?
h
Suppose -h + 2*i - 1 = -0, 5*h + 5 = 3*i. Let b(n) = -n. Let p be b(0). Suppose -2*t - o = -p*o + 3, 15 = -4*t + o. Is t smaller than h?
True
Suppose 0 = 5*o - 2*m - 17, -1 = -m + 2*m. Suppose -2*u - u + 19 = -4*l, -1 = -u. Let d = o + l. Is -3 bigger than d?
False
Let j = -4 + 7. Let u = -1 + 1. Let a be 2 - u*2/(-6). Which is smaller: a or j?
a
Suppose 0 = -q + u + 2, 0 = 4*q + 3*u - 1. Let t be (0 - 0) + q + -1. Is 1 at most as big as t?
False
Let u be (-7 - -4) + (-86)/(-30). Which is bigger: 0.2 or u?
0.2
Let f be ((1170/(-24))/(-13))/(6/20). Is 12 < f?
True
Let p = -10 - -2. Let c = -6 - p. Let m be c/(-7) - (-8)/28. Is m at most 0?
True
Let v = 7/17 - -13/51. Is v at most as big as -25/8?
False
Suppose -w = -5*w - 12. Let n be (w/15)/((-1)/3). Is 2 <= n?
False
Let p = -2 + 2.1. Let j = p + 0. Let d = 0.2 - j. Which is bigger: 1/2 or d?
1/2
Let c be ((-10)/20*0/2)/3. Let n = 1/100 - -119/100. Is n at least as big as c?
True
Let z be (-1)/1*1 - 0. Is 2/375 <= z?
False
Let h = -13 - -15. Suppose 0 = h*m - 4*m. Which is smaller: m or -2?
-2
Let c = 20 - 18. Suppose 4 = -2*u + 3*u, 5*m - 2*u - c = 0. Let n(v) = v**3 + 6*v**2 - 7*v + 2. Let l be n(-7). Is m at most l?
True
Let a be -5 + 6 + -3 + 3. Let d be (-1 - (-20)/16)*4. Suppose -2 = o, -5*r = o + o - d. Is a < r?
False
Suppose -c + 12 = -5*c. Let g be (-7)/21 + (-1)/c. Let y be (12/11 - g)/(-2). Which is bigger: -1 or y?
y
Let l be (-4 - -8)*9/(-6). Which is greater: 0 or l?
0
Let w be (-197890)/(-9) - (-4)/18. Let m = w - 5211241/237. Let n = m - -2/79. Is 1 < n?
False
Let s = -52642/5 - -10473. Let a = s + 55. Is 1 greater than or equal to a?
True
Suppose 11 = -4*y + 2*h - 3, 0 = -2*y + 3*h - 13. Which is bigger: -16/9 or y?
-16/9
Suppose 4*v - 19 = 9. Suppose -v = -5*h + 8. Suppose i = -h*i. Is i < -2/5?
False
Let b(t) = -8*t - 6. Let i be b(-5). Let o = i - 240/7. Which is smaller: o or -2?
-2
Let g = -2 - -1. Let l = -0.33 - -0.03. Is l >= g?
True
Suppose 19 = 3*h - 2. Let o = h - 6. Which is smaller: o or 3/4?
3/4
Let a(c) = -c**2 - 2*c + 1. Let o be a(-2). Suppose 5*b - 7 = 13. Suppose b*q + q - 15 = 0. Which is smaller: o or q?
o
Let a(g) = -g**2 + 6*g - 1. Let c be a(5). Suppose -16 = -4*b - w, 12 + 7 = 5*b + w. Which is greater: c or b?
c
Let a = -397/34 + 13953/170. Let x = a - 70. Which is bigger: 0 or x?
x
Let m = 1.1 - 1.2. Which is greater: m or 0?
0
Let o = 313 + -8452/27. Which is smaller: 1 or o?
o
Let o = -19 - -10. Let g = -8 - o. Does 1/13 = g?
False
Let q = 36/169 - 5630/24843. Is 0 at least q?
True
Let a(y) = y**3 - 4*y**2 + 3*y + 2. Let j(b) = -b**2 + 3. Let v be j(0). Let c be a(v). Suppose -p = -3*p + r + 1, -c*p = -4*r - 10. Is p at least as big as -1?
True
Let u = -3699/7 - -522. Is -5 > u?
True
Let d(p) = -3*p + 32. Let x be d(10). Does x = 19?
False
Suppose -4 = -2*h, -2*h - 178 = -4*j - h. Let u be (-10)/j - (-16)/(-90). Is u less than 1/3?
True
Let x(n) = -n**2 + 3*n + 3. Let p(d) = -d + 1. Let g(v) = p(v) + x(v). Let z be g(3). Is -1/9 equal to z?
False
Let d = 20 + -26. Which is smaller: d or -1?
d
Let s be (5 - 1) + 544/(-144). Let d = 0.3 - 0.1. Which is smaller: s or d?
d
Let s = -197/4 - -1385/28. Which is greater: -1/3 or s?
s
Let z = -20 - -20. Are -4/11 and z unequal?
True
Let b(