- q = 0. Suppose p - r*p = q. Is p <= -2/7?
False
Let t = -9248/23 + 402. Let f(p) = p**2 - 3*p + 2. Let h be f(2). Is h != t?
True
Let p be 0*(-3)/((-18)/(-3)). Let t = -141/7 + 20. Do p and t have the same value?
False
Let g be (-4)/((-3805 - 0)*-1). Let t = 13851/761 + g. Let n = t - 991/55. Which is greater: n or 0?
n
Let u(n) = 2*n**2 + 21*n + 12. Let a be u(-10). Is 16 not equal to a?
True
Let t = 41 - 57. Let z = t + 16.3. Are 0.2 and z unequal?
True
Let f = 6 + -6.8. Let b = f + -3.2. Is 0 smaller than b?
False
Let i = 0.04 + -2.04. Suppose -3*y + 2 = 3*d - 1, y - 1 = -5*d. Are i and d unequal?
True
Let i = 44.65 - 45. Is i at most as big as 1?
True
Suppose -y = 2*m - 5*m - 10, -5*y + m = -22. Is y at most 4?
True
Let w = 8 + -5. Let f be w*(-5)/((-15)/6). Suppose 18 = -3*b + f*b. Is 6 > b?
False
Let z = -4 + 8. Suppose z*p = 6 + 42. Is p at least 12?
True
Let m(k) = -2*k**3 + 2. Let r be m(-2). Are r and -2/7 non-equal?
True
Let l = 2 - -3. Suppose 2*c - 15 = 7*c + 4*z, -30 = -5*c + l*z. Let g be (2/(-4))/(c/(-4)). Is g bigger than 2?
False
Let j(u) = u**3 + 6*u**2 - u - 7. Let i be j(-6). Which is bigger: 1 or i?
1
Let n = -32.549 + 0.349. Let j = 38 + n. Let s = j - 6. Is 1 <= s?
False
Suppose 2*l + 5 = 2*f + 3*l, -20 = -f - 4*l. Let y be f/((-3)/((-3)/(-1))). Suppose y*i + 2*i = 0. Which is greater: i or -1?
i
Let j(k) = k + 12. Let r be j(-8). Suppose i = 5*t - 21, 0*t + r = t. Which is greater: -4/3 or i?
i
Let b be 9/(-2)*80/30. Which is greater: -53/4 or b?
b
Let m be 41/(-4)*100/(-3458). Let w = -3/266 - m. Which is bigger: w or -1?
w
Suppose 2*h + 2*f = 206, -4*h + 4*f - 3*f + 427 = 0. Which is smaller: 105 or h?
105
Let p(g) = g**3 - 13*g**2 - 13*g - 1. Let s be p(14). Let v = 14 - s. Is v <= 3?
True
Let d(t) = -t**2 - 3*t + 2. Let o be d(-4). Suppose 6*g = 3*g - 6. Let p be (3 + o)*(1 + g). Is p greater than or equal to 2/9?
False
Let r(g) = 2*g**3 + g**2 - 1. Let w be r(1). Which is smaller: 7 or w?
w
Let n be -2 - 1/(1 + -2). Let a = 1 + n. Which is greater: a or -1/6?
a
Let d be (5/15)/(2/(-4)). Let m = -1 - -1. Which is smaller: d or m?
d
Let n(s) = -s**2 - 2*s + 11. Let o be n(-5). Which is smaller: o or -2?
o
Suppose 18 = -i + 3*i. Let s be i + (0 - 1)/1. Let q be (-4)/s - 14/(-4). Which is greater: q or 2?
q
Let p be ((-11)/77)/((-1)/2). Is -34 < p?
True
Suppose 0 = -5*p + 5 + 5. Suppose -2*x = -4*b + 14, -2*b + 10 = p. Is 2/3 < x?
True
Let m(b) = -b**3 + 4*b**2 - 2*b + 3. Let g be m(2). Let f = -8 + g. Is 2/33 < f?
False
Let q(z) be the second derivative of -z**5/20 + z**4/3 - z**3/3 - 3*z**2/2 - z. Let b = -8 + 11. Let d be q(b). Does -2/29 = d?
False
Let f = 3.2 - 3. Let b = -0.1 + f. Let r be (7/(-3) - -4) + -2. Which is smaller: b or r?
r
Let d = 1244739/5500 - 249/500. Suppose -3*o - t - 673 = 0, -o + 246 = -2*o + 4*t. Let a = d + o. Which is greater: a or -1?
a
Let k = -0.52 - -0.5. Let b = 0.12 + k. Which is bigger: b or -2/11?
b
Suppose -4*n - 9 = -n. Let f be (1*-1)/(n + 2). Suppose v = -2 + f. Which is bigger: 1/4 or v?
1/4
Let t(h) = -h - 9. Let x = -26 - -17. Let f be t(x). Is f at most as big as 1?
True
Let p be 2 + 3 + (-20)/4. Let g = -2 - p. Is g < -2?
False
Let o be (-6)/(-39) - 111/(-39). Suppose 0 = -o*t - 0 - 3. Which is smaller: -3/7 or t?
t
Let r = 7/2469 + -15421/20575. Let m = 61/6 - 1537/150. Let q = r - m. Which is smaller: 0 or q?
q
Let m = 1 + -5. Let k be (-6)/m*(-4)/3. Which is greater: k or -5/2?
k
Suppose -x = -3*p + 6, -p + 5 = -2*x + 3. Is x >= 2/9?
False
Let k be 1 + (-21)/(-20) + -2. Let z be -1 - ((-1)/(-2) - 29/20). Let u = k - z. Which is smaller: u or 1?
u
Suppose -5*u - 20 = 0, -2*w + 3*u - 6 - 4 = 0. Let z be (w + 10)/(0 - 1). Does -2/21 = z?
False
Let l = -0.13 - 34.63. Let p = l - -34. Let c = 0.7 + p. Are 0 and c nonequal?
True
Let h = -7 + 4. Which is smaller: h or -0.2?
h
Suppose -20 = -5*y + y, 25 = -5*g + 5*y. Suppose -3*a + 1 = -5. Suppose 5*p = 3*p - a. Are p and g nonequal?
True
Let i(d) = 7*d - 6. Let o be i(1). Is o <= 4/31?
False
Let u = 0.55 - 0.61. Is -0.4 at most as big as u?
True
Let o = 1039 - 5233/5. Is -8 less than o?
True
Let i(x) = -x**2 + 3*x - 3. Let g be i(2). Let v be g + (-1 - -1 - -2). Let y be v + (-2)/(6/15). Which is smaller: y or -3?
y
Let t = -2.3 + -0.7. Let y = -1 - t. Is y at most -0.1?
False
Suppose 0 = -k - 10 + 8. Let b = -4 - -3. Which is smaller: b or k?
k
Let n be -1*1*(-1 + -1). Let j be (n - (-303)/(-153))*59. Let a = j - -3/17. Which is smaller: 2 or a?
a
Let r = 10 - 7. Which is greater: r or 2?
r
Let x be (6/8)/((-459)/(-72)). Let q = -27/85 + x. Which is smaller: q or 0?
q
Let i = -3 + 7. Suppose -i*z + 1 = -7. Let k = 0.1 + -0.2. Is z at most k?
False
Suppose 0 = -4*n + 1 - 5. Let f(l) = 5*l**2 + l + 1. Let o be f(n). Suppose 4*h - 3*h = o*y - 2, -4*y + h + 1 = 0. Is y smaller than -2/15?
False
Suppose 3*f - f = 4, 2*u + 4*f - 18 = 0. Suppose 13 = -u*z + 3. Let b = z + 1. Which is smaller: -3/8 or b?
b
Let a = 4.5 - 3.5. Which is smaller: a or 42?
a
Let v(p) = -p**3 + 3*p**2 - 2*p + 1. Let x be v(1). Suppose 3*f - z - 2 - 2 = 0, -4*z = f - 10. Which is bigger: x or f?
f
Let w = 5/21 + -277/987. Is 1 < w?
False
Suppose -15 = -5*a - 4*r, 2*r + r = -5*a + 15. Let v be -1 + (a - 3 - -1). Suppose v*g - 1 = -g. Is 1 at least g?
True
Let i(w) = -3*w**3 + 6*w**2 + 8*w - 3. Let h be i(4). Is 0 less than h?
False
Suppose -5*j - 5*q = -10, -j + q - 2 = -6*j. Let b = j - -1. Do b and -2/17 have different values?
True
Let z = 1 - 1. Let p = 0 + 2. Suppose 0 = -z*g + p*g + 2. Is -1 bigger than g?
False
Let z = -0.5 + 2.1. Let a = -0.6 + z. Which is bigger: 0.1 or a?
a
Let d(r) = -r**2 + r + 9. Let c be d(6). Which is smaller: -23 or c?
-23
Suppose v = -3*v + 4. Let f be 1 + v - -1 - 4. Suppose -4*g = -8*g + 8. Is f < g?
True
Suppose -10*x - 9 = 1. Are x and 2/5 non-equal?
True
Let b = 6.6 + -6.5. Which is bigger: -1.1 or b?
b
Let y = -6 - 6. Let w(j) = j**2 - 14*j + 1. Let g be w(13). Is y at least as big as g?
True
Let f = 119 + -167. Let h be 6/8*f/(-99). Is h greater than -1?
True
Let a(y) = 31*y - 183. Let u be a(6). Suppose 3*l - 5*v - 34 = -11, 1 = 5*l + v. Does l = u?
False
Let n = 85877/9 - 9521. Let c = -21 + n. Let a(f) = -f**2 - 2*f + 4. Let z be a(-3). Which is smaller: z or c?
c
Let q(b) = -2*b + 3. Let k be q(3). Let a = 3 + k. Which is bigger: a or 1/8?
1/8
Let b be 12 - 15 - (-80)/26. Which is bigger: 0 or b?
b
Suppose -18 = -5*q + 2. Let p = -4 + q. Let k be (1 - 6)*(-6)/30. Are p and k unequal?
True
Suppose 4*z + 3*a - 31 = 0, 6*z + 4*a = 3*z + 32. Suppose -5*x + 5*r - 10 = 0, -1 = -z*x - 5*r - 0. Which is smaller: x or -2/19?
x
Let x be ((-6)/(-4))/((-6)/(-8)). Let o be 5*-1*x/5. Suppose 0 = 10*n - 6*n. Which is smaller: o or n?
o
Let w = -1/1218 + 2507/86478. Which is greater: 0 or w?
w
Let y = -15.13 + 0.13. Which is greater: 0 or y?
0
Let y = 49/2 + -24. Let h = -0.1 - -0.3. Let r = 0.8 + h. Is y != r?
True
Let b = 1 + -2. Let f(q) = -q - 9. Let l be f(-8). Is b < l?
False
Let o = 8/51 + 3/17. Let x(q) = q**3 - 7*q**2 + 6*q. Let i be x(6). Which is greater: o or i?
o
Suppose -2*y = y - 12. Suppose -12 = -4*k + k. Is k less than y?
False
Suppose 0 = -7*j + 6*j. Which is greater: j or -1/2?
j
Let t be (6/15)/(1*-1). Let p(x) = x**3 + 6*x**2 - 8*x - 8. Let s be p(-7). Let j be ((-2)/s)/(3 - 1). Which is bigger: t or j?
j
Let k be 1/(-6) + 20/(-24). Are -2/53 and k nonequal?
True
Suppose 2*p - o = 31, 2*p + 34 = 4*p + 2*o. Suppose p = -4*h - 8. Is h smaller than -7?
False
Let k = -1.5 - -2.5. Suppose w = 2*s + 4*w + 37, 76 = -5*s - 2*w. Let h = 25/2 + s. Which is bigger: h or k?
k
Let o = 55.8 + -56. Are -0.4 and o unequal?
True
Let j = 115 + -99. Which is smaller: 18 or j?
j
Suppose 3*q = -i - 15, -i - 2*q = -0*i + 10. Let a = -2 - -2. Is i greater than or equal to a?
True
Suppose -2*v - 3*h = 3*v - 3, 4*h = -2*v + 4. Which is smaller: v or 1/5?
v
Suppose 5 = 5*d - 0*d. Let a = 16 + -10. Suppose g = a*g. Which is smaller: g or d?
g
Let s = -62/39 + 12/13. Let d be (1 + 8/(-6))*-3. Suppose 0 + d = -a. Is a smaller than s?
True
Suppose 0 = -p - 2*p. Suppose -3*v + p*i - i + 5 = 0, i - 8 = -4*v. Which is smaller: 4 or v?
v
Suppose 17 = -3*t - 10. Let z = -9 - t. Suppose 3*m - 4*o - o + 1 = 0, z = -4*m - 5*o + 22. Is m b