 -41 = 2*p - 27. Suppose 2*m + 32 = -2*m. Which is smaller: p or m?
m
Suppose 70*p - 90*p = 960. Is -49 <= p?
True
Let i = -5 - -7. Suppose 0 = -y + i + 2. Let g be (-2)/(-2 + 4) - 2. Is y < g?
False
Suppose -7093 + 51965 = -71*x. Is x less than or equal to 0.2?
True
Let j(r) = 8*r - 29. Let x be j(4). Let o(b) = -b - 1. Let z = -2 + 1. Let f be o(z). Is x >= f?
True
Suppose 31 = 3*p + 13. Suppose 2*x + 8 + p = 0. Is x greater than or equal to -8?
True
Let r(d) be the third derivative of -d**5/60 - 3*d**4/4 - d**3/6 - d**2. Let v be r(-18). Which is smaller: v or -1/32?
v
Let o = -278 + 249. Which is smaller: -57/2 or o?
o
Let m = -47 + 47.049. Let a = m - 0.089. Which is greater: 3 or a?
3
Suppose 2*a + a - 6 = 0. Let j(t) = 4*t**a - 3*t**2 + 2*t**2 - 4 - 2*t**2 - 9*t. Let u be j(10). Is u equal to 7?
False
Suppose -x = -17 - 7. Suppose z - 4*a + 14 = -z, -4*a = -4*z - x. Is z greater than or equal to -7?
True
Let v be (612/(-5))/((-22)/(880/(-12))). Which is smaller: -406 or v?
v
Suppose a - 7 = -21. Let b be (2160/1414)/5 - (-4)/a. Is b equal to -1?
False
Let i = -14 + 19. Let u(p) = -5*p + 22. Let s be u(i). Is s smaller than -3?
False
Let p be 0 + (-74650)/(-14616) + (-3 - -1). Let l = -3/812 - p. Is l smaller than -4?
False
Suppose 0 = 5*y - 0*y - 30. Let t(g) = g - 2. Let f be t(y). Is 5/2 not equal to f?
True
Let g(o) = -6*o + o + 7*o**2 + o**3 + 7*o + 14. Let p be g(-7). Which is bigger: 0.04 or p?
0.04
Let z be (2079/441)/((-2)/14). Let h = 24 - 58. Is z < h?
False
Let m be ((-40)/(-12))/(10/180). Is m bigger than 3?
True
Let a = 31 + -29. Suppose 5*j + a = 7. Are -2/13 and j equal?
False
Let k be 9/8*(91/(-105) + 1). Is k < -10?
False
Let p = -12 + 36. Suppose 3*v - 4*n = 69, v - n - p = -0*v. Let m = v - 55/2. Which is greater: 0 or m?
0
Let o = -227.9822 + -0.0178. Let m = 224.07 + o. Let j = 0.07 - m. Is -0.1 bigger than j?
False
Suppose -2*k = -4, -5*k - 21 = 4*w + 25. Which is bigger: w or -31?
w
Suppose 4*r + 47 + 1 = 4*c, -2*c + 22 = -r. Suppose 4*f - 5*o = 21, f + c - 34 = -5*o. Which is smaller: f or 8?
8
Suppose 2*g - 22 = 2*n, 2*g - 31 = -0*n + 3*n. Let b be (-123)/n + 2/6. Let v = b - 11. Is 13/3 != v?
True
Suppose -2*p + 6 = 0, -p + 7 = 2*b - 0*p. Suppose 3*d - 2*k - 43 = 0, b*k - 23 = -3*d + 24. Suppose -4*i + d + 17 = 0. Which is greater: i or 7?
i
Suppose 442 = 3*q - 506. Let a be 16/20 - q/(-5). Let i be (-18)/a*18/27. Which is smaller: i or -1?
-1
Suppose -5 = -l - 2. Is 1 at least l?
False
Let c be (-36)/45*(-950)/(-4). Is c less than or equal to -189?
True
Suppose -3*s - 8 = -5*s. Let u be (s/1)/(-7 - -8). Let w be (4/16)/(u - 3). Is 5 less than w?
False
Let i(f) = 40*f + 3*f**2 - 44*f - f**2 - 4. Let d be i(3). Is 30/13 > d?
True
Let m = 5/9 - 8/15. Is m greater than 0.1?
False
Let h = 16/23 + -679/943. Let f = -563/451 + h. Is f >= -1?
False
Let n(y) = -y**2 - 17*y - 27. Let o be n(-15). Which is smaller: o or 1?
1
Let x = 233/22 - -153/11. Let k = 39 - 14. Which is smaller: x or k?
x
Let c = 25 + -24. Let n be (c + 12531/(-42))*2. Let p = 596 + n. Which is smaller: p or 0?
0
Let d = -19 - 13. Let m = d + 31.2. Let a = 0.8 + m. Does 5/2 = a?
False
Let p = 637 + -666. Is p less than -480/17?
True
Let d = -3 - -6. Suppose -5*z - 2*l = l + 30, 3*z - d*l + 18 = 0. Let j = z + 7. Are j and 3/4 equal?
False
Let v = 7 + -5. Suppose -v*d - 8 = -6. Let a = 0.79 - 1.79. Are a and d unequal?
False
Let h = 187 + -2043/11. Suppose 4*k = -5*c - 16, -3*k = 3*c - 0*k + 12. Which is bigger: h or c?
h
Let x = -0.024 - 32.976. Let a = x - -33.01. Which is greater: -0.2 or a?
a
Let u be 92/(-12)*3 + 4 + -3. Which is greater: u or -5?
-5
Let s = -11 - -11.4. Suppose 0 = z - 2*z - 8. Let h = z - -8. Which is greater: s or h?
s
Let r = 4.14 + -4.04. Which is bigger: r or 0.014?
r
Suppose -3*d = -17*d + 70. Let z be 1*2*3/(-2). Let b be (-2 - z)*(5 - 0). Is b greater than d?
False
Let k = 5 - 5.4. Let g = k + 0.4. Let i = 191.99 + -192. Is i bigger than g?
False
Suppose -a + 20 = 4*a. Let m be ((-2)/4)/(a/(-8)). Which is smaller: m or -3/41?
-3/41
Let i be (3/((-189)/(-6)))/((-16)/10944). Do -64 and i have the same value?
False
Let r = -3/229 + -347/8473. Suppose 20 = -3*c + 5*k, c - 2*k = -7 - 1. Are c and r non-equal?
True
Suppose 0 = 3*o + 5*j + 10, 2*o + j + 2 = -0*j. Suppose 4*f + 0*f - 16 = 0. Let x be f/(-5)*(-5)/7. Is o bigger than x?
False
Suppose -l - 6 + 5 = 0. Let m be l + (6/(-2) - -3). Let x = 287/646 - 9/19. Is m <= x?
True
Let k = -1.6 - 5.4. Let m = 2/27 - -44/135. Which is smaller: k or m?
k
Let k be (-3)/(-5)*5*2/4. Which is greater: k or -4/3?
k
Suppose -260 = 7*p + 20. Let j = -38 - p. Is j greater than or equal to 13/9?
True
Let d be ((-2 - -1)*-3)/((-31)/(-961)). Which is greater: -3/2 or d?
d
Let j = -0.16 + -7.84. Let s = j - -7.3. Let z = -1 - s. Is -2/5 <= z?
True
Suppose 8*x = 3*x + 30. Suppose -4*w + 4 = 2*y + x, -5*y - 4*w - 35 = 0. Let h = 14 + y. Which is greater: h or 16/7?
h
Let j = 222.1 - 222. Let k = -0.21 + 0.1. Is k != j?
True
Suppose -4*d - 4*o - 88 = 0, -2*d - 2*d - o - 82 = 0. Let z be (15/40)/(49/d + 2). Let f(c) = c**2 + 3*c. Let v be f(-2). Which is greater: v or z?
z
Let q be (-20)/(-2 - 3) - (-15)/(-1). Let f be (-7 - q - 9)*16/5. Which is smaller: -12 or f?
f
Let s = -15 + 9. Let b = s + -1. Let p be 2/6 + 16/24. Is p greater than b?
True
Let i(j) = j**3 + j**2 + j - 21. Let n be i(0). Let z be ((-48)/n)/((-4)/(-14)). Is z > 8?
False
Suppose 6*g - 4 = 10*g. Which is greater: g or 3/187?
3/187
Suppose 3*r = 9 + 12. Let j = -6902 - -6911. Which is bigger: j or r?
j
Let y be -2 + ((-1825)/18)/(-5). Let j = -7/155 - -5749/310. Let p = j - y. Which is smaller: 7 or p?
p
Let p(h) = -h**2 - 5*h - 3. Let g be p(-4). Let w(v) = 6*v**2 + 5*v + 1. Let r be w(2). Let y be -5 - ((-55)/r + -4). Which is smaller: y or g?
y
Let z(l) = l**2 - 10*l + 13. Let c be z(9). Suppose 0*a - 3*a = -2*t - 22, c*a - t = 21. Are 3 and a non-equal?
True
Let s be 5/(-6)*(-4)/55. Let p(j) = j**3 - 2*j**2 - 6*j + 8. Let t be p(3). Which is smaller: s or t?
t
Let b be (-16)/(-2)*(-4)/8. Let t be 0 + (0 - b) + -2. Let q be ((-1)/(-2))/(-2 + 3). Which is bigger: q or t?
t
Let j be -3*6/(-315)*-8. Let c = j + 6/7. Do c and 12 have the same value?
False
Let t = 21 + -18. Suppose -5*x + 70 = -4*a + 2*a, 0 = -t*x - 4*a + 16. Suppose 4*k = 4*f + x, 7 = -3*f - k + 2. Is -2 at most f?
True
Suppose 7*c - 140 = 11*c. Let y be 15 - -1 - (-35)/c. Is 16 greater than y?
True
Suppose -58 = -w + 2*p, 0*w - w - 5*p + 65 = 0. Suppose 0 = 5*o - 2*h + 4*h - w, 0 = -5*o + h + 45. Let v = o + -10. Which is greater: v or 10/11?
10/11
Suppose 88*u = 98*u - 1120. Which is bigger: u or 113?
113
Let s be (-484)/(-1) - -6 - 4. Which is greater: -0.1 or s?
s
Suppose 7*z = 368 + 52. Let s = z + -182/3. Which is smaller: -1/18 or s?
s
Let j = -0.9355 - 0.0245. Is j <= 0?
True
Suppose -17*r - 10 + 10 = 0. Which is smaller: r or 14?
r
Let h be 121/(-44) - 3/(-4). Let o be (5 - (-14)/(-3)) + (-26)/6. Is o at least h?
False
Let s be ((-20)/6)/(18/135). Let p = 4 + s. Are -22 and p equal?
False
Let a be -3 - 1*-6*(-2)/(-4). Suppose -2*u + 14 - 12 = a. Do -4/15 and u have the same value?
False
Let a = 2.17 - -0.33. Which is bigger: 1/2 or a?
a
Let o(x) = x**2 + 13*x - 12. Suppose 0 = -3*b - 3*m - 51, 3*b + 23 + 4 = 5*m. Let f be o(b). Suppose -y = -f*n + 12, 0 = -y - 3*n + 4 + 4. Is y > -2?
False
Let w(p) = p**3 - 14*p**2 - 16*p + 15. Let u be w(15). Let b = -570 + 554. Which is smaller: b or u?
b
Let l be -12*((-34)/3 - -9). Let x(i) = 7*i**2 + 2*i + 4. Let w be x(-2). Is w greater than or equal to l?
True
Let f be (3/7)/((-54)/(-36)). Suppose 4*y - z - 1 = 2*z, y + 2*z = 14. Suppose -4*g = 5*a, -5*g + 1 = -y*a + 42. Which is smaller: f or a?
f
Let f be 65/(-12)*(-60)/(-450). Do 0 and f have the same value?
False
Let a = -12 - -35. Suppose -4*h + 82 = 3*z, 20*z + 50 = 2*h + 17*z. Which is smaller: a or h?
h
Let w = 152/33 - 13/3. Let n(s) = s**3 - s**2 - 2*s + 2. Let y be n(0). Suppose 2*x = -y*x + 3*r - 11, 2*r - 8 = 2*x. Which is bigger: w or x?
x
Let x be 3/7 - 49132/(-1211). Are x and 39 non-equal?
True
Let j = 6382/3 - 2349. Are j and -221 unequal?
True
Let c(z) = 3*z**3 + 2*z**2 - 2*z + 1. Let w be c(1). Let j(p) = -7*p - 6. Let b be j(w). Is b > 