p**2 + 7*p + 1. Let k be l(7). Let z = k - 0. Suppose -o + 1 = 2*w, -3*o = w - 3*w - 11. Is z greater than w?
True
Let x = -42 + 40. Which is greater: -17 or x?
x
Let k = -2 - -2.2. Suppose -2*p + 3*p = 42. Let g be (8/p)/(2/3). Do g and k have different values?
True
Let w = 13 + -12.6. Let n = 0.1 + w. Which is greater: 1 or n?
1
Suppose -4*h + 30 = h. Let p = -19/3 + h. Which is greater: p or 2/7?
2/7
Let d be (-5)/(20/24) - (-1 - 0). Suppose 0 = -b - 5*g - 19 + 6, -4*g - 23 = 5*b. Is b greater than or equal to d?
True
Let a be -1 - (1 + (-1 - -1)). Let n be (a*1)/10*-6. Suppose -379 = 2*c - 381. Is c smaller than n?
True
Let h be -1 + 3 - (7 - -2). Let a = -54 + 37. Let o = a - -10. Do h and o have the same value?
True
Let b = 2/7 - 4/7. Which is smaller: b or -2/9?
b
Suppose -11*i + 3 = -8. Which is smaller: i or -4/77?
-4/77
Let v(w) = -w**3 - 8*w**2 - 2*w - 11. Let z be v(-8). Which is smaller: -1 or z?
-1
Suppose -11 = 3*x - 5. Which is smaller: -4/5 or x?
x
Let v(y) = -y**3 - 8*y**2 - 8*y - 4. Let p be v(-7). Suppose 7 = 2*d - 4*j - 9, p*d + 2*j = 24. Suppose 4*x - d = -a, 3*a + 4*x - 10 = -x. Does a = 2?
False
Suppose 2*q - 3*g - g = 0, 4*q - g = -14. Which is smaller: -2 or q?
q
Suppose 6*p + 2 = 5*p. Let j be (7/2)/(6/12). Let h be 3/(12/j) + p. Do -1 and h have the same value?
False
Suppose 2*f - 4 = -0*f + 4*u, -3*f = 2*u + 18. Suppose -11 = 5*p + 4*q + 9, -20 = 5*p + 2*q. Is f at least as big as p?
True
Suppose 3*d + 0 = 6. Let i(r) = -d - 1 - 8*r + 4 - r. Let k be i(1). Is k < -8?
False
Let f be 1 - 1 - (10 - 4). Let h = -0.2 - -0.3. Are h and f non-equal?
True
Let f = -34.1 - -34. Is 0.7 bigger than f?
True
Let g be ((-1)/3)/((-2)/(-2)). Let x = 4 + -2. Suppose 13 = -5*f - 4*z, -x*f = f + 5*z + 13. Which is bigger: f or g?
g
Let f = 8 + -3. Suppose -q = -f*q - 28. Is q >= -6?
False
Let t be (-16)/5 + 4/20. Let n = -3 + t. Let l be (-2)/n - (-16)/(-3). Which is smaller: -4 or l?
l
Let b be (1 - -1)/(-4)*0. Suppose 0*w - 3*w - 6 = b. Which is smaller: w or -1/2?
w
Let l = 6 + 3. Let a = l + -5. Let n = a - 3.4. Is n >= -1?
True
Let m(g) = -g**3 + 6*g**2 - 4*g - 5. Let p be m(5). Let y = -19 - -130/7. Is p at most as big as y?
False
Let x = 21 + -15. Suppose -2*y = o - 2, -x*y = -o - 3*y + 12. Which is greater: o or 5?
o
Let n = -124/3 + 41. Let j = -3 - -5. Is n less than j?
True
Suppose v - 11 = -3. Suppose -4*a + 6*a - v = 4*x, -2 = -a + x. Which is greater: a or -1/2?
a
Suppose -5*m + 3*f + 7 = 0, m + 10 = 3*m - 3*f. Let c = 20573909/1794 - 68815/6. Let v = 14/13 + c. Is v at most m?
False
Let f = -2 + 4. Let s = -0.7 + 0.6. Are f and s nonequal?
True
Let h(r) = -2*r + 2. Let j(k) = -3*k + 5. Let v(g) = -5*h(g) + 3*j(g). Let o be v(-5). Let x be o + (-3 + 2)/(-1). Which is greater: x or 0?
x
Let s = 93 + -93. Which is smaller: -0.4 or s?
-0.4
Let j(y) = y**3 + 3*y**2 + 2*y - 1. Let o be (5/((-10)/4))/1. Let a be j(o). Let g be (-2)/3*12/28. Which is smaller: a or g?
a
Let c(x) = x + 7. Let b be c(-6). Which is greater: 2/7 or b?
b
Let d(z) = z**2 + 4*z - 8. Let o be d(-7). Which is smaller: o or 12?
12
Let x be 16/12*2/(28*-2). Is x != -1?
True
Let s(k) = 2*k**3 - 6*k**3 + 0*k**2 + 3*k**3 - k**2. Let v be s(-2). Let w be v/6 + 2/(-3). Which is bigger: w or 6/11?
6/11
Let i(k) = -k**2 + 3*k - 1. Let j be i(2). Let n be 2 + -6 + j + 3. Is n bigger than 2/21?
False
Let g = 5 + -6. Are g and 2 equal?
False
Let v(w) = -w**2 + 11*w + 17. Let h be v(12). Suppose -3*k = -h*x + 31, -x + 33 = -4*k + 4*x. Is k != -2?
False
Suppose 2*m + 8 = -2*m. Let t be 3 - 1/(-2)*m. Let a = -0.5 - 1.5. Which is smaller: a or t?
a
Let i be 8/(-6)*108/(-1608). Is i greater than 0?
True
Let b = -7 - 17. Let f be 4/6*b/8. Is f at least as big as 1/2?
False
Let f = 8 - 6. Suppose -h - f*t = -1, -2*t - 2 = h - 3*h. Let a be 0/(-2) + (h - 2). Is 1 at least as big as a?
True
Suppose 24 = -2*g + 6*g. Let r be g/(-8) + 1/4. Is 0.04 greater than r?
True
Let z be (-38)/(-3) - (-22)/(-33). Does z = 12?
True
Let r = -0.25 - -0.1. Is r != -0.1?
True
Let p = -34 - -34. Is p < 4?
True
Suppose 7*j = 2*j. Let t be 1 - j*(-3)/(-6). Which is greater: 4/3 or t?
4/3
Let k = -34 - -33. Does 1/10 = k?
False
Let s be 14/10 - (-4)/(-10). Let x(p) = p**2 + p + 3. Let h be x(-3). Let v = h - s. Is 7 greater than v?
False
Let k be (-208)/(-1098) - (-12)/(-54). Which is greater: k or -1?
k
Let j be (-4)/(-25)*10/4. Let y = -0.14 + 8.14. Let d = y - 5. Which is smaller: d or j?
j
Suppose -5*i = 4*v - 78, -4*i - 7 = -v + 23. Let h be (-4)/v - (-4)/22. Which is bigger: h or -1?
h
Let w = -4 - -9. Suppose -4*c - 34 = -w*h - 184, 4*h + 32 = c. Let i be (-6)/15 + 6/c. Do i and 1 have different values?
True
Let d = -2.06 - -0.06. Suppose 18 = 3*t - 0. Suppose -t*r = -7*r. Which is bigger: r or d?
r
Let d = -0.2 + -0.9. Let s = d - -5.1. Let x = 20.8 - 19.8. Is x less than s?
True
Suppose 11*d - 13*d - 12 = 0. Which is smaller: d or 4?
d
Suppose 11*c - 38 = 30*c. Let b be 11/(-35) - 2/7. Which is smaller: c or b?
c
Suppose 4*m - 4*r = -48, 0*m - 5*r + 4 = 2*m. Let t = -6 - m. Suppose 0*s = -t*s + 8. Is 4 at least s?
True
Let y = 11/564 + 3/47. Let u(h) = h**3 - 8*h**2 - 2*h + 17. Let s be u(8). Which is smaller: s or y?
y
Let w be (2/(-6)*-3)/(-1). Let k = 0 + w. Let z be (-1)/(-6)*(-4)/(-3). Which is smaller: z or k?
k
Let o be (-33)/135*(-8)/6. Let y = o + 2/27. Which is smaller: -0.1 or y?
-0.1
Suppose -h + 7 = -0. Let v = -12 + h. Is -5 less than v?
False
Suppose -5*w - 18 - 12 = 0. Let f be w/14 + 122/7. Which is bigger: f or 16?
f
Let j be 2 + 0 - (5 + -2). Which is smaller: 2/7 or j?
j
Let r = 997/2 + -524. Let f = r + 26. Are -2/7 and f equal?
False
Let q = -15 - -22. Let v = -8 + q. Is -2/7 > v?
True
Let v be (-254)/56 - (-2)/7. Let c = -6229/732 + 270/61. Let x = c - v. Which is smaller: -1 or x?
-1
Let f = 5 - 5. Let x = -7 + 11. Let r = x - 4.6. Which is smaller: f or r?
r
Let i = -28082/24349 - 1/1873. Which is smaller: i or 0?
i
Let x be 70/25*5/2. Which is smaller: -1 or x?
-1
Suppose -4*r + 4 = -0*r + 2*f, 0 = -4*r + 3*f + 4. Let w be 40/18 + r + -3. Which is smaller: 1 or w?
w
Let m = 0.57 - 0.47. Are m and -3 unequal?
True
Let j = -29/39 + 1/13. Suppose 0 = -3*n, -2*n = -2*w - 0*w + 8. Suppose 0 = 3*u - w*u. Which is smaller: u or j?
j
Let y = 24 - 38. Are y and -14 non-equal?
False
Suppose 1 - 5 = 4*k. Let z be (-6)/(-4) + k/1. Which is bigger: 0 or z?
z
Suppose 0 = -a + 2 - 4. Let d be (-1)/((-3)/(-6)) - a. Suppose -2*o - 16 = 4*r - d*o, -18 = 3*r + 3*o. Which is smaller: r or -1?
r
Let b be 0*5/15 - 0. Which is smaller: b or -3/11?
-3/11
Suppose -40 = -5*l - 3*i, -4*l + 2*i = -0*i - 10. Suppose l + 1 = 3*m. Is m not equal to 1?
True
Let b(h) = h**3 + 7*h**2 + 8*h + 12. Let d be b(-6). Which is smaller: d or -3/28?
-3/28
Let b(w) = -6*w + 6. Suppose 0 = -3*k - 7 - 11. Let z(s) = 7*s - 6. Let x(c) = k*b(c) - 5*z(c). Let y be x(6). Is -2 != y?
True
Let k be ((-54)/(-8) - 6)*(-4)/(-1). Which is smaller: k or 1?
1
Suppose 3*b + 2 - 15 = -4*z, z = -3*b + 28. Which is smaller: b or 12?
b
Suppose 3*y - 2*y = 0. Suppose q = -y*q + 18. Suppose -4*a - 1 = -i - q, 4*a = 20. Which is greater: 1 or i?
i
Suppose 3 = -4*y - 1. Let w = y - 0. Which is bigger: -0.4 or w?
-0.4
Let x(c) = -c**3 - 16*c**2 - 13*c - 30. Let b be x(-15). Is -2/7 at most as big as b?
False
Let t = 1354/5 + -272. Is t greater than -1?
False
Let t be (0 - (-2)/2)*-1. Let q be ((-5)/(-5))/(1/(-15)). Let b be ((-3)/q)/(6/5). Which is smaller: t or b?
t
Let d = -11.3 + 9.17. Let r = d + 0.13. Is -1/2 less than or equal to r?
False
Let j(g) = g**3 + 7*g**2 + 5*g - 6. Let t be j(-6). Let w = -4821/11 + 438. Which is greater: t or w?
t
Suppose -261 - 54 = -7*l. Is 45 at most as big as l?
True
Let v = -0.1 + 0.1. Let m = 11 - 7. Let y = m + -6. Which is greater: y or v?
v
Suppose 1 = f, 3 = -4*l + 5*f - 22. Let r = l + 4. Let x be (-19)/45 - 2/(-9). Which is smaller: x or r?
r
Let f(u) = -u**3 - 4*u**2 + 4*u - 3. Let n be f(-5). Suppose -4*o - 2 = n. Which is smaller: o or 1/7?
o
Let u be (-7 + 2)/((-1)/(-1)). Is -6 >= u?
False
Let q(p) = -2*p**3 + 3*p**2 + p - 1. Let a be q(-2). Is a smaller than 25?
False
Let x be 0/(-2 + (-3)/(-3)). Let s be 3 + -5 - -1 - x. Suppose 20 = h + 5*f, 4*f - 15 = -h + 1. Is s less th