> a?
False
Let x be 4/14*(53 + -25). Are x and 2/7 unequal?
True
Suppose 5*x + 11 = 36. Let q be x/(-4) + 1/4. Let c be q/(-2)*(-2 - 0). Do -4/7 and c have the same value?
False
Let b be (-3)/9*(5 + -2). Let n be b + 6 - (2 + -1). Suppose -3*d = -2*d + 2*j - 4, -3*d + 12 = -n*j. Are d and 0 non-equal?
True
Let y = 2/55 + 104/165. Let o(h) = -2*h - 1. Let n be o(-4). Let s be (-2)/(-7) - (-12)/n. Which is bigger: s or y?
s
Let z = 0.59 + -0.49. Which is smaller: z or 7/4?
z
Let w = 30 + -25. Is w at least as big as 5?
True
Let b(y) = y**3 + 6*y**2 - 8*y - 7. Let u be b(-7). Is 5/7 at most u?
False
Let u(k) = k + 5. Let w(c) = -9*c - 24. Let j(r) = r + 1. Let n(p) = 4*j(p) + w(p). Let g(m) = -2*n(m) - 9*u(m). Let l be g(5). Which is bigger: l or 1/4?
1/4
Let p be (2/2 - 2)*-2. Let b be (p/(-2))/((-1)/6). Let y = b - 10. Is -5 smaller than y?
True
Suppose -3*u + z + 21 = 0, -u + 21 = 4*u + 3*z. Let c = -2 - u. Is c bigger than -10?
True
Let c = -5 + 15. Let s be 4/c + 9/15. Let q = -1 - -3. Which is smaller: q or s?
s
Let v(n) = 2*n**2 - 26*n + 22. Let g be v(12). Is g >= 26?
False
Let d(q) = q**2 + 11*q + 6. Let i be d(-10). Let w = i - -6. Which is smaller: w or -1?
-1
Let r(f) = -2*f - 1. Let i be r(-3). Suppose b = -k + 3 - 6, 3*b - k = -i. Which is smaller: b or -4?
-4
Let u(r) = -238*r**2. Let g be u(-1). Let l = 2616/11 + g. Let c(t) = -t**3 + 2*t**2 - t + 1. Let m be c(2). Which is bigger: m or l?
l
Let i be 10*2/30*6. Which is smaller: i or 2?
2
Let h = -73 - -52. Let g = 20.9 + h. Which is smaller: g or 12?
g
Let w(z) = 2*z + 17. Let c be w(-11). Let x(v) = v**2 - 7*v + 5. Let j be x(5). Is j less than c?
False
Let f be 13/(-4) - (-3)/12. Let n = f - -4. Let b = n - 0. Which is smaller: -2/9 or b?
-2/9
Let f = -0.7 + -0.3. Let i = -169 - -164. Which is smaller: f or i?
i
Let m(l) = -l**3 + 6*l**2 + 2*l - 14. Let r be m(6). Let p be 4/16*11 + r. Which is smaller: p or 2?
p
Suppose -3*a - 6 = -3*v + 2*v, 4*a + 5*v + 27 = 0. Suppose 14 = y - 5*q, 2*q - 6 = 3*y + 3*q. Are y and a non-equal?
True
Let k = 27 + -49/2. Which is greater: 3 or k?
3
Let q = -2 - -5. Which is smaller: -2 or q?
-2
Let h = -7.4 - -1.4. Let t = 2 + h. Which is smaller: -1 or t?
t
Let p = -16/107 + -479312/321. Let u = -1474 - p. Let h = 20 - u. Is -0.4 smaller than h?
True
Suppose -2*t = -t + 2. Let d be (-3 - t)*(-6)/(-57). Which is smaller: d or 0?
d
Let a = -152 - -87. Let j be (4/a)/((-2)/(-10)). Which is smaller: -1 or j?
-1
Let w be -3 - (-24)/(3 - 0). Suppose 2*y = -4*h + 12, 3 = 3*y - y - w*h. Which is bigger: 5 or y?
5
Let f be 32/30 - (-8)/(-20). Let r = -2.9 - -0.9. Is r at least as big as f?
False
Let n = -10.94 + 11. Which is bigger: n or 0.1?
0.1
Let q = 27 + -30. Suppose -6 + 21 = -5*s. Is q at most as big as s?
True
Let h = -39 - -38. Is -5/7 at most h?
False
Let s(f) = 2*f**2 - 2*f. Let v be s(2). Suppose v*h = -2*l + 4, 0 = 5*h - 4*l + 2 + 6. Let k = -23 + 24. Which is smaller: k or h?
h
Let l(k) = 3*k - 1. Suppose g + 4 = 5*g. Let h be l(g). Suppose 2*m + h*m + 4 = 0. Which is smaller: 2/11 or m?
m
Let y be (2 + -2 - 0) + 0. Is y not equal to 1/20?
True
Let v = -0.19 - -0.06. Let c = v - -0.06. Which is smaller: c or -1/2?
-1/2
Let f = -0.4 + -0.4. Let w = 0.7 + f. Suppose 0 = m - 4*m - 3. Is w not equal to m?
True
Let o(n) be the first derivative of n**4/4 - 7*n**3/3 + 5*n**2/2 + 6*n - 4. Let a be o(6). Suppose 6*g - 2*g + 11 = c, -c - 2*g + 5 = a. Is c < 7?
False
Suppose -5*k + 3*k = 6, k = 4*x - 15. Let a(l) = -l + 3. Let i be a(x). Suppose -5*f + 2*r - 7 = 0, 10 = -4*f + 3*r + 3. Which is smaller: f or i?
f
Let c = -40 + 38. Is c < -2/5?
True
Let u be (-2)/(-6)*15*(-2 - -1). Which is smaller: -1 or u?
u
Let i = 4 - 9. Let f be (i/(-6))/(-5)*43. Let a = -26/3 - f. Is -1 > a?
True
Let h = 5.1 - 5. Which is greater: -0.5 or h?
h
Suppose -k - 10 = -4*g + 4, -5*g = -k - 18. Which is smaller: k or 1?
1
Suppose -b = -4, 2*d + 5 = 5*b - 5. Suppose 7*w + 5*u + 25 = 2*w, d*u = -25. Which is smaller: -1 or w?
-1
Let j = 5744/7 + -819. Which is greater: 1 or j?
j
Let j(t) = t + 1. Let f be j(1). Suppose 5*s + 197 = 3*v, -6*s + f*s - 128 = -2*v. Let u = v + -368/5. Is -1 less than or equal to u?
True
Let x = 8 - -1. Suppose -2*n = -g - 0*g + 4, -3*n = 0. Let q = x - g. Are q and 5 unequal?
False
Let a be 5 - (-1 + 1 + 0). Suppose -a - 3 = 4*v. Does v = -1?
False
Let l = 79.4 - 80. Which is smaller: l or 3?
l
Let n(k) = 1. Let l(h) = -h**2 + 3. Let o be (-21)/(-14) + (-14)/4. Let q(p) = o*n(p) + l(p). Let w be q(1). Which is smaller: 1 or w?
w
Let x = 5 + -1. Let v = -3.7 + x. Is 0.1 greater than or equal to v?
False
Let g be -9*((-21)/9 - -2). Suppose -g*q - q = 5*i - 19, 0 = 5*i + 2*q - 17. Is 3 at most as big as i?
True
Suppose h + 4 - 20 = 4*w, 2*w - 10 = -4*h. Let f(q) = -q**3 + 6*q**2 + 7*q + 3. Let o be f(7). Suppose o*d + 5 = -7. Is d less than w?
True
Let u = 59 - 107/2. Which is smaller: u or -1?
-1
Let v = 8/15 + -1/5. Which is smaller: v or -0.3?
-0.3
Let b = -15 - -14.9. Which is greater: b or -3?
b
Let z be ((-2)/6)/(15/45). Let a(s) = 9*s + 4. Let o(n) = -4*n - 2. Let h(i) = 3*a(i) + 7*o(i). Let k be h(0). Is z <= k?
False
Let v(d) = -3*d - 21. Let h be v(-9). Is h at most 5?
False
Let z = -2735/51 + 464/17. Let m = 27 + z. Which is bigger: 2 or m?
2
Let r(u) = -2*u - 10. Let b be r(-9). Which is smaller: b or 12?
b
Let p = 0.4 - 7.4. Let f = p - -9. Is f <= 0.2?
False
Suppose 20*o = 19*o + 3. Do o and 3 have the same value?
True
Suppose -16 = -r - 9. Which is smaller: r or 8?
r
Let k(w) = w - 1. Let h(t) = -2*t + 1. Let n(l) = -h(l) - k(l). Let i be n(-1). Is i equal to -3/10?
False
Let z = 0 + 1. Let a = -0.7 - -0.7. Is a smaller than z?
True
Suppose 0 = -2*z - z + 15. Suppose 2*i + 19 = z*i + 2*k, 5*i - 2*k - 21 = 0. Let q = i - 1. Are 7/2 and q equal?
False
Let c be (-3)/(-2) - 2*-1. Let s(h) = 5*h. Let j be s(1). Which is greater: j or c?
j
Let z = 1.8 - 0.8. Let f = -0.9 + z. Are f and -0.2 nonequal?
True
Let h = 332/99 - 2/99. Is h at least as big as 3?
True
Let m(q) = -q + 3. Let l be m(4). Let s be (15 + 0)/(1 - 2). Let k be (-10)/4*(-4)/s. Do k and l have the same value?
False
Suppose 0*v - 5*v = -5. Which is smaller: v or 1/31?
1/31
Let l = 0.01 + -2.01. Let b = -1 - l. Let i = 18 + -14. Which is bigger: b or i?
i
Suppose 0*j = -3*m - j - 4, -j = 4. Suppose 3*t + 8 = 4*g, 2*g + 5 = -3*t - 9. Is m > g?
True
Suppose -3*d + 25 = -3*s + 1, -19 = 2*s - d. Let m = -30 + 19. Is s at least m?
True
Let q = -154 - -460/3. Let a = -0.3 + 0.1. Is a > q?
True
Suppose 5*n + 9 - 4 = 0. Let u be 1*8/44*-1. Is u > n?
True
Let r(l) = -l + 4. Let w be r(-5). Suppose 0*o = 3*o - w. Which is bigger: o or 2?
o
Let o(i) = -10*i - 15. Let n be o(-12). Let b be (-56)/n + (-1)/(-5). Let z(a) = a**3 - a. Let l be z(1). Which is bigger: b or l?
l
Let d(r) = r + 7. Let u be d(-6). Let z = -123 + 1355/11. Is u >= z?
True
Let z be (3 + 4 + 40)*1. Suppose -2*g - z = 2*y - 13, -5 = -5*y. Is g less than or equal to -19?
False
Suppose 3*c - 13 = c + x, -12 = 2*c + 4*x. Suppose c*i + 28 = 4*f, 0*f - 3 = f + i. Let p be f - (-3 + (-19)/(-4)). Which is bigger: p or 0?
p
Let x(a) = -a**2 - 1. Let w(p) = p**3 - 7*p**2 - 7*p - 1. Let g(k) = w(k) - 2*x(k). Let m be g(6). Is m < -6?
False
Let i(k) = -3*k**2 - k. Let v(t) = -t**3 - 6*t**2 + 1. Let n be v(-6). Let g be i(n). Let o be 1*2 - (-8)/g. Is o less than or equal to -1?
False
Let g = -9 - -1. Let v = g - -5. Is -1 greater than v?
True
Let g(k) = k**2 - 1 + 3*k**2 - 4*k - 5*k**2. Let f be g(-2). Suppose 0 = 2*z - 4*z + 4*w + 18, -f*z = 4*w + 23. Is z > -2?
True
Let n be 37/7 + (-4)/14. Let a = n + -1. Let z be a/10 + 20/75. Which is greater: 0 or z?
z
Let k = 3 + 3. Let d = k - 4. Is d at least as big as 6?
False
Let o(q) = -q**3 - 5*q**2 - 3*q + 3. Let w be o(-4). Let n = -1/1700 - -24141/1700. Let r = 14 - n. Which is bigger: w or r?
r
Let f = 9.65 - 9.5. Which is smaller: -1/2 or f?
-1/2
Suppose -z = 3, 3*d + 3*z = 2*z. Let s be (1 - -13) + -2 + 2. Suppose -3*t = -n + t + 9, 4*n - 5*t = s. Is d greater than n?
False
Let u be 2/(-1 - -2 - -1). Let q be (-1)/(-1) - 5/7. Which is greater: u or q?
u
Suppose -2*k = 2*k + 3*r - 72, -2*k = 5*r - 50. Let q be (1/(-3))/((-1)/k). Suppose -5*w - q = -25, 2*a + 3*w = 10. Whi