w + -24. Is -6/13 greater than i?
False
Let g(x) = x**3 + 2*x**2 - 2*x + 7. Let m be g(-3). Is m less than or equal to -2?
False
Let b = 101 - 106. Are 4 and b non-equal?
True
Suppose 2*v + 19 = -3*d, 3*v + 3*d + 52 = -2*v. Are v and -10 non-equal?
True
Let u = 14 + -10. Let x be (4/(-6))/(u/6). Let o be x/(-10) + 1/(-2). Are -1 and o unequal?
True
Let k = 16/13 + -119/65. Let r = k - -17/20. Is r at least as big as 0?
True
Let g(y) = y**2 + 3*y + 3. Let s be g(-2). Let a(k) = 4*k - 1. Let o be a(s). Suppose -5*f + 3*w = 2 - 9, -f = 4*w - 6. Which is bigger: o or f?
o
Let t(v) = v**2 + v + 47. Let h be t(0). Is h > 47?
False
Let h = -1 + 2. Let m be (1 - 6) + 4/h. Is m <= -5/4?
False
Let s = -28 + 25. Which is greater: -14/5 or s?
-14/5
Let j(n) = 2*n**2 - 3*n - 4. Let o be j(3). Suppose 30 = -f - 5*a + 2, -4*a = o*f + 119. Let i = f - -16. Is -7 equal to i?
True
Let p be 0 + (-12 + 1)*-2. Suppose -p = -0*m - m. Suppose -m = -5*l - 2*c, 0*c - 16 = 4*c. Are l and 6 non-equal?
False
Let j(s) = s**3 - 8*s**2 - 6. Let n = 16 - 8. Let g be j(n). Are g and -5 unequal?
True
Let g = -3 - 0. Let x = g + 3.2. Let m be (3/(-6))/(3/(-2)). Which is greater: m or x?
m
Let s(z) = z**2 - z - 1. Let t be s(0). Let k be -1 - 0 - 1*t. Do -4/7 and k have the same value?
False
Suppose -4*f - 4 = -2*p - 0*f, -23 = 2*p + 5*f. Suppose 5 + 1 = -2*w. Which is smaller: p or w?
p
Let w = 9623/770 - -1/385. Is 12 equal to w?
False
Let v = 1 + 1. Suppose -5*c - v*u = -26 - 6, -3*u + 3 = 0. Suppose 0*a + c = -2*a. Is -3 not equal to a?
False
Let p = 1944/5 - 11519/30. Is p > 4?
True
Suppose -3*y + 2*y + 3 = -2*o, -3*y = -2*o + 3. Is y > -3?
False
Suppose -3*k + 7*k + 4*o = 8, 0 = 2*k - 3*o - 14. Suppose -7 = 4*d + 3*r, r + 2 + 3 = 0. Suppose d*s = 7 - 1. Which is smaller: s or k?
s
Let q = 14 - 43. Let g = q + 18. Let c = -8 - g. Which is bigger: c or -2/7?
c
Let k be (1/2)/(2/(-4)). Let g = -5 - -5. Let h = g - 0.3. Which is greater: k or h?
h
Let n = -10 - -7. Which is smaller: n or -2/9?
n
Let y(b) = b - 12. Let r be y(12). Suppose 0 = 4*u - r*u. Which is greater: u or -2?
u
Let d = -111 + 557/5. Let z be ((-4)/6)/(14/6). Which is bigger: z or d?
d
Let g be 5 + 0 - 4/(-4). Suppose 3*l + 7 = -r, 2*r - 2 = 4*l - g. Is l at most -1?
True
Let n be 0 + 4 - (-1 - -1). Let m be n + (-2 - -3 - -1). Let x be ((-2)/m)/(3/(-18)). Does 3 = x?
False
Let p(z) = -z + 2. Suppose -u = -4, 2*u - 11 = j - 3. Let a be p(j). Is 1/2 >= a?
False
Suppose 0 = d + 4*w + 9, -24 + 6 = 4*d - 2*w. Does -5 = d?
True
Let p be 0/(-3) - (0 - 4). Suppose 3*h + 2*h = 3*g - 9, 3 = g - p*h. Suppose -t = -g*t. Is t bigger than -2/7?
True
Suppose 0 = -5*m - 4*i + 40, m - 21 = -3*m - i. Suppose -2*k = -4*n - 12, 5*n = m*k - 0*n - 24. Is 5 at least as big as k?
False
Let k be (-1)/((2/9)/2). Let g be (-12)/k*3/(-10). Let r = -11 + 15. Which is bigger: r or g?
r
Let j = 0.2 + 0.1. Which is greater: j or -3?
j
Let z be (-1)/(0 + 2/110). Let m = -441/8 - z. Is 1 bigger than m?
True
Let z(h) = h + 3. Let u be z(0). Suppose 2*t - 2 = -u*o + 1, -4*o - 2*t = -2. Which is smaller: -3 or o?
-3
Let v = -14/211 + 1780/20467. Is v at most -1/3?
False
Let x(a) = -6*a**3 - 15*a**2 + 2*a. Let g(z) = 7*z**3 + 16*z**2 - 2*z + 1. Let v(r) = 5*g(r) + 6*x(r). Let y be v(-10). Which is greater: y or -1?
-1
Suppose 2*b = -4*t, -4*b + t = -3*t - 12. Let r(u) = -2*u + 3. Let w be r(b). Which is smaller: w or 2?
w
Let v(x) = x**3 - x**2 - x + 1. Let h be v(1). Let s = -60117 + 902072/15. Let g = s - 119/5. Is h < g?
False
Let m be 2 - (-7)/(7/(-2)). Suppose 5*r + 2*k - 5 = m, r = -k - 3*k - 17. Suppose -r*h + 9 = -0. Is h > 2?
True
Let s = -123 - -119. Which is bigger: -1/3 or s?
-1/3
Let v = -8 + 9. Is 2/5 less than v?
True
Let b be (-2)/(29/(-28) + 1). Let m be (-46)/b + (-1)/(-4). Which is smaller: 1 or m?
m
Let g be (-11 + 1)/((-5)/25*-5). Which is bigger: g or -8?
-8
Let c be (-3)/(-4) - (-5)/(-10). Which is smaller: 1 or c?
c
Suppose 0 = l - 0*l - 5. Suppose -2*a + 3 = 2*y - a, 15 = -5*a. Which is greater: l or y?
l
Let x = 0 + 0. Which is bigger: -0.8 or x?
x
Let s(o) = 10*o**2 - o. Let k be s(1). Let n be (1 - (-1)/(-2))*6. Suppose -n*u - 2*u = 3*q + k, -5*u = -q - 3. Is q not equal to -3?
False
Let l be (-3)/(-6)*-3*-2. Suppose -l*s = -7*s + 44. Let q(y) = -y**3 + 10*y**2 + 10*y + 11. Let d be q(s). Which is greater: -2/13 or d?
d
Let x = 12 - 8. Let d be (15 + 0)*(-4)/(-24). Is x less than d?
False
Let z be 0 + -1 + -1 + 12. Is 11 at most as big as z?
False
Let w be -1*(2/(-11) - (-126)/(-33)). Is 7 < w?
False
Let a = 53 - 53.047. Is a < 0?
True
Let f(j) = 2*j + 6. Let m be f(-8). Is -8 greater than or equal to m?
True
Let o = 5 + -4.5. Let a = o + -0.3. Which is smaller: -1 or a?
-1
Let r be 3 + (-1 - 1) + -1. Suppose r*d = -d. Let h be 6/4*(-1)/3. Is h less than or equal to d?
True
Let s be (-4)/6 - (-1)/6. Let z(m) = m**2 - 10*m + 7. Let g be z(9). Let u = g + 2. Which is bigger: s or u?
u
Suppose 4*p + 57 = -3*a - 2*a, -54 = 5*a + 3*p. Let t = -6 - a. Let m = t - 4. Which is smaller: m or -2?
-2
Suppose -3*s + 15 = 2*s. Which is smaller: s or 2?
2
Let s = 0.15 - 0. Let h = -10.15 + s. Which is smaller: 1 or h?
h
Let i be 27/(-5) - 12/20. Let y be (6/(-10))/(9/i). Is y not equal to 0?
True
Let o = 0.2 + -0.1. Let z = 4 - 5. Is o >= z?
True
Let j = -0.27 + 0.21. Is 0.2 bigger than j?
True
Let w be 0/(-3 - -1) - -1. Is w <= 1?
True
Let p = -112534/11 + 10238. Is p greater than or equal to 7?
True
Suppose 0 = -2*q + q. Which is greater: -2/15 or q?
q
Let j be (12/10)/(1/10). Let l be 33 - 4*(-9)/(-12). Let i be (j/l)/(1/2). Which is greater: i or 0?
i
Let y be (-5)/(-30)*-10*(-6)/5. Let w = 8 - 6. Is y greater than or equal to w?
True
Let j = -7 - 13. Is j equal to -20?
True
Let n = 93 - 468/5. Let y(x) be the third derivative of x**6/120 - x**5/60 - x**4/24 - x**3/3 + 3*x**2. Let d be y(2). Which is greater: d or n?
d
Let t = -49 + 42. Let c = -146 + 277/2. Which is smaller: c or t?
c
Let r(b) = b**3 + 8*b**2 - 5*b + 4. Let n be r(-7). Let z = 355/4 - n. Which is smaller: 2 or z?
z
Let f(m) be the third derivative of -m**5/60 - m**4/8 - m**3/3 - 3*m**2. Let r be f(-2). Which is greater: 2/5 or r?
2/5
Suppose 0*h = -3*h. Which is bigger: h or 5/4?
5/4
Let i = -1 - -2. Let n = 64 + -60. Which is greater: i or n?
n
Suppose 3*u + 2*u - 20 = 0. Suppose -5*q = u*j - 18, q + 3*q = 8. Suppose 2*b + 0 = -j. Is -1 < b?
False
Let i = -0.06 - -0.09. Which is greater: 0.2 or i?
0.2
Let u(g) = -2*g - 12. Let c be u(-5). Let a = -4 + -1. Which is smaller: a or c?
a
Suppose 0 = -3*g - 3*f - 18, 3*f - 31 = -g + 5*g. Which is greater: g or 0.1?
0.1
Suppose b + 0 + 2 = 0. Let i(z) = z - 9. Let o be i(7). Is b at most as big as o?
True
Let x = -32 + 32. Is 2 > x?
True
Let g be (-2)/3*(12 + -11). Which is smaller: g or -0.2?
g
Let i be 2 - (0 + (-38)/(-16)). Suppose t = 7*t + 72. Let s be (-2)/3*t/8. Is s less than i?
False
Let j = -2 - -11. Suppose 6*d - j = 3*d. Suppose 4*l = -d - 13. Is l greater than 2?
False
Suppose 0*f - 3*f = -3. Let q = -111 + 111. Is f less than or equal to q?
False
Let s = 15 - 9. Let n(q) = -q + 2. Let p be n(s). Let k be (6/p)/((-3)/(-4)). Are -4 and k equal?
False
Let w(o) = -o**3 + 4*o**2 - 4*o + 2. Let d(m) = m**3 + m**2 - 2*m + 3. Let v be d(-3). Let c be (2*-1)/(6/v). Let g be w(c). Are g and 0 equal?
False
Let a be (-14)/10 + 16/40. Does a = 15?
False
Let f be 15/(-6) - (-1)/2. Is f at least -1?
False
Suppose -4*f = 5*c - 6, f + 0*f + 9 = 4*c. Suppose n = -c*n. Which is smaller: n or 6/7?
n
Let a be (12/4)/(2/2). Suppose -a*j + 5*g - 55 = 0, -g = j - 6*g + 35. Let r = j - -7. Which is greater: -4 or r?
r
Suppose 2*p - 2 = 8. Suppose -10 = -p*d - 0*d, 4*k + 2 = -d. Is k < 0?
True
Suppose -3*p - 25 = z, -z + 3*z - 4 = 0. Let y be (-6)/p*(-3)/2. Which is greater: -1/5 or y?
-1/5
Suppose 4*t = t. Which is bigger: -4/11 or t?
t
Let v = 9 + -10. Let t(w) = -w. Let q be t(v). Let f = 153 - 1379/9. Which is bigger: f or q?
q
Let i be 1 + (5300/1323)/(-4). Let u = -10630/30429 - i. Let t = -41/184 - u. Which is greater: 1 or t?
1
Let t(v) = v**3 + 6*v**2 - 8*v - 2. Let a be t(-7). Suppose 5*g - 9 = -a*s - 49, -9 = 3*g. Which is smaller: -0.1 or s?
s
Let j = -0.34 + 1.34. Let a = 0.2 - 0.6. Is j <= a?
False
Let j = 2