 27 = -p. Are d and p non-equal?
True
Let l(f) = -f**2 + 5*f + 5. Let z be l(6). Suppose 2*w - r = r, -w - 2 = r. Is w >= z?
True
Let p = 0.2496 - -4.5204. Are -2 and p nonequal?
True
Let j = 270 + -272. Which is smaller: j or 2.3?
j
Suppose 0 = 2*z - n - 8, -4*n + 4 = 4*z - 0*z. Suppose 3*d + 117 = 2*c, -d - 92 = -2*c - z*d. Which is smaller: 50 or c?
50
Let z be 18/(-15) + (-232)/(-160). Which is bigger: 63 or z?
63
Let y be 3287/57*4/(8/3). Is 0.1 less than or equal to y?
True
Let i(n) = n**3 - 34*n**2 + 41*n - 19. Let s be i(33). Is 249 not equal to s?
True
Let h be ((-5)/(-35))/((-3)/9). Suppose 3*b - k + 5 = 0, 5*b + 0*b - 5*k + 15 = 0. Let w be 1*(-1 - b)*-1. Do w and h have the same value?
False
Let k be -1*(-205)/10 - (-3)/(-2). Is 16 equal to k?
False
Let f = -7 - -83. Let m = 83 - f. Which is smaller: 6 or m?
6
Suppose 4*y = -0*y - 24. Let x(z) be the second derivative of z**4/12 + z**3 + 5*z**2/2 - 32*z - 1. Let q be x(y). Is q at most as big as 6?
True
Suppose 12*i - 3*i - 99 = 0. Let v = 14 - i. Is v > 13/6?
True
Let o be (-56)/(-16) + (-2)/(-4). Suppose 0 = -j + 9 + o. Which is smaller: 11 or j?
11
Let r(v) = -121*v + 847. Let l be r(7). Are -6/439 and l nonequal?
True
Suppose 4*t = 5*c - 743 + 218, 5*t + 681 = -2*c. Let l = t + 136. Is l > -11?
True
Let i be (0 + 174/(-5))/(-8*(-30)/(-800)). Suppose -91 = 5*j - 676. Is j at least as big as i?
True
Let p = -1 - -20. Suppose 2*v - 7 + p = 0. Let l be (-16)/(-12)*(-9)/v. Are 2 and l equal?
True
Let w(m) = 3*m**2 + 20*m**3 + 5*m**2 - 19*m**3. Let j be w(-8). Let i be 0 + 0 + j/8. Do 4/13 and i have the same value?
False
Let g = -19 - -44. Is g at most as big as 0.2?
False
Let c = 103/2184 + 5/104. Which is smaller: 8.4 or c?
c
Let s(l) = -9*l**2 + 163*l - 14. Let x be s(18). Which is bigger: 65/12 or x?
65/12
Let b(u) = -u**3 - 12*u**2 - 22*u + 7. Let q(m) = 5*m**3 + 60*m**2 + 111*m - 35. Let x(a) = 11*b(a) + 2*q(a). Let v be x(-10). Is v at most as big as 7?
True
Let x = -21 + 48. Is x at most 21?
False
Suppose -13*v = -210 - 570. Suppose 63*m = v*m - 96. Is -32 greater than m?
False
Let j(u) = -u**3 + 3*u**2 + 6*u - 3. Let n be j(4). Suppose -n*a = 4*i - 723, 5*a = -0*a - 5. Let d be (-94)/i + (-10)/(-35). Which is bigger: d or -0.1?
-0.1
Let o be -2 - ((-905)/19 - -3). Let l = 7267/76 + o. Let g = 139 - l. Do 1 and g have the same value?
False
Let t = 0.202 + 0.098. Let o(s) = -s**3 - 5*s**2 - 3*s + 1. Let u be o(-4). Let x be (u/(-6))/((-10)/(-8)). Which is smaller: t or x?
t
Let n(a) = -a**3 - 43*a**2 - 90*a - 35. Let q be n(-40). Are -1235 and q equal?
True
Suppose 4*h - 16 = -4*s, 2*h - 5*s - 5 = 10. Suppose 0 = x - h, -3*o - 2*x = x - 6. Is 5 less than o?
False
Let h = -1239 - -1232. Is -25/3 equal to h?
False
Let w(t) = -6*t - 1 - t**2 - 5*t + 12*t - 5*t**3. Let x be w(1). Is -17/3 > x?
True
Suppose 5*g = 8*g. Let y(f) = -2*f - 1. Suppose -6 = 2*o - 2. Let z be y(o). Which is bigger: g or z?
z
Let h(s) = s**3 - s**2 - 3. Let r be h(0). Let t = r - -6. Suppose -k = -t*k. Is k greater than or equal to -6/11?
True
Let p = 1618 + -1597. Is p greater than or equal to 176/9?
True
Let f(w) = 5*w**2 - 6*w. Let j(o) = -13*o**2 + 11*o. Let p(u) = -5*f(u) - 2*j(u). Let d be -1 + (-10)/(2/1). Let s be p(d). Which is bigger: s or -11?
-11
Let r(p) be the second derivative of -p**4/12 + p**3/2 + 3*p**2 + p. Let y be r(7). Suppose -f - 40 = 2*n - 2*f, 2*n = -f - 44. Which is bigger: n or y?
n
Let j be 2*(18/4 - 2). Let a = -3.1 - 0.9. Let p = a + 3.9. Is j less than p?
False
Suppose 0 = 4*g + 4*w - 44, w = 5*g - 0*w - 25. Suppose -m + 7*m = -g. Is m at least as big as -3?
True
Let m = -0.0583 + 71.8583. Let p = m - 72. Is p at least -1?
True
Let f(s) = s**2 - 2*s + 2. Let j be f(2). Let p = 0.0994 - 0.2994. Do j and p have different values?
True
Let x(j) = 92*j - 80. Let u be x(2). Is u at most as big as 105?
True
Let i = -26 + 16. Let x(h) = h + 12. Let o be x(i). Suppose -o = -n, m + 4 = 3*m + 3*n. Does m = -1?
True
Suppose 9*h = 4*a + 6*h - 1, 5*h + 23 = -4*a. Which is bigger: a or -15/29?
-15/29
Suppose 0 = 6*l - 2*l. Let c = 176170/53 + -3324. Which is bigger: c or l?
l
Suppose 2*z + 2 = v, 2*z - 3*z + 10 = 5*v. Suppose -f = 3*h - v*h - 14, 0 = f + 4. Suppose 0 = 7*j + h + 3. Is 2 at least j?
True
Let h be (126/(-165))/(-2) - 1/5. Is -3/16 at least h?
False
Let k be (-10)/45*(108/8)/(-3). Do -3/1042 and k have different values?
True
Let y = -46.882 + -0.118. Let j = 46.08 + y. Let p = 0.08 - j. Which is smaller: 2 or p?
p
Let b = 226 - 239. Is -149/11 less than b?
True
Suppose -77*u = -69*u + 40. Which is smaller: 15 or u?
u
Let m = 141 + -138. Which is greater: 13/5 or m?
m
Let d(k) be the second derivative of -k**5/20 + k**4/3 - k**3/3 + 2*k**2 - 2*k. Let r be d(3). Let x = r + -3. Which is bigger: x or 2?
x
Let p be (-1)/(3/1)*-3. Suppose 0 = 2*h - y + 4 - 1, -4*h = y + 9. Let n be h - ((-4)/((-8)/4) - 9). Are p and n nonequal?
True
Suppose -2 + 29 = -3*u. Let x = -3 + -3. Is x less than or equal to u?
False
Let w be (-33 + 34)*(0 + 1)/1. Suppose 0 = u - 5*h + 1 + 3, 0 = 2*u - 3*h + w. Which is smaller: 4/19 or u?
4/19
Let t be (78/13)/(0 - 1/(-2)). Let v = 14 + -4. Which is smaller: t or v?
v
Let y be 5/2*12/15. Let b(a) = 2*a**3 + a**2 - a + 1. Let h be b(1). Suppose -4*r - 11 = 3*s, 3*s - 2*s = y*r + h. Are 2 and s non-equal?
True
Let t be (2/4)/((-12)/(-1464)). Let v = t + -58. Suppose 21 = n - 3*y, -4*y + 5*y + 11 = n. Which is greater: v or n?
n
Let x = 1598/15 + -601/5. Let s be (-15)/(5 - (-1 + 5)). Which is greater: x or s?
x
Let n = -855 - -854. Which is smaller: n or -11/30?
n
Let c be 74676/(-210)*15/(-6). Which is greater: 890 or c?
890
Suppose 3*o + 18 = h, 3*o + 2*h + 3 = -6. Is o < -19?
False
Let t be (-4)/38 - 92*(-75)/570. Which is smaller: t or -34/3?
-34/3
Let a = 167/30 + -27/5. Let z be (3/(-2))/(5 + 0 + 125/(-20)). Which is greater: z or a?
z
Let t = -44 + 38. Let s be (-2)/4*t/9. Let h be 0/(-1) + (-8)/(-2). Is h >= s?
True
Let t = 1.6 + -2.6. Suppose -5*x = -2*x - 18. Let w = x + -7. Is w smaller than t?
False
Let a = 4.1 - 2.6. Let v = a - 1.46. Let x = v - -0.16. Which is smaller: x or -5?
-5
Suppose 2*d - w = 3, 40*d + 3*w + 1 = 38*d. Which is greater: d or -1076?
d
Let c = 37 - 63. Let p be (16/(-12))/4 + c/(-6). Which is smaller: p or 3?
3
Let h = 126 + -146.29. Let p = h + 20. Which is smaller: p or -0.1?
p
Suppose 3*k = -k. Suppose k = -v - 0*v. Let w be -3 + 0 - (-198)/55. Is v > w?
False
Let z(w) = -3*w**2 + 4*w + 122. Let q be z(8). Do 1/3 and q have the same value?
False
Let s(d) be the third derivative of -d**4/12 + d**3/6 - d**2. Let t = -101 - -102. Let l be s(t). Does l = 0.2?
False
Let a be (-15)/25 + (-21)/90. Let n(v) = -v**2 + 3*v + 4. Let h be n(4). Which is smaller: h or a?
a
Let w = 852 + -845. Do w and 42/5 have the same value?
False
Let n = 79/11 - -1. Which is greater: n or 9?
9
Let d be 21/((18/4)/(-3)). Let g be (1/((-1)/d))/(-1). Let j = -491 + 478. Is g bigger than j?
False
Suppose -13*k + 3*j = -8*k + 20, -4 = k + 2*j. Which is bigger: k or -19/5?
-19/5
Suppose -4770 = 5*h - 4790. Is -64/3 >= h?
False
Let g(i) = 0 - 4*i - 2*i**2 + 5*i**2 - 3 - 2*i**2. Let o be g(4). Is -3/2 less than o?
False
Let r = -97 + 52. Let w = -45 - r. Let a = 0.12 - -4.88. Which is bigger: a or w?
a
Let m = 10.87 - 11. Let j = -73 + 73.33. Let z = m + j. Is z smaller than 1/2?
True
Let o = -330.04 - -330. Suppose c = -c + 8. Suppose -t = b - 1, -c*b - 2*t = b + 4. Which is greater: b or o?
o
Let s be (0 + -4 - -2) + 6. Let c = 7 - s. Let w = -67/2 - -217/6. Which is bigger: c or w?
c
Let o be (-4)/7 + (-15120)/(-49). Is o greater than 309?
False
Let y = -1079924/561 - -1925. Which is smaller: -2/7 or y?
-2/7
Suppose 296 = -m - 5*x + 51, 4*x - 773 = 3*m. Which is smaller: m or -1?
m
Let b be (0 - -2)/(-9 + (-2215)/(-235)). Which is smaller: 5 or b?
b
Let r = 1652/15 - 110. Let d(g) = -g + 2. Let o be d(3). Is r > o?
True
Let r be (-474)/(-54) + (-2)/(-6). Do r and 9 have the same value?
False
Suppose 0 = -h - 3*k + 2, -4*k = -5 - 7. Let g(v) = -v**3 + 2*v**2 + 2*v - 4. Let j be g(3). Is h smaller than j?
False
Let z = 11.8 + -14. Let p = -12.2 - z. Let y = -12 + 11.9. Is y less than p?
False
Let f = -12 - -13. Let c = f + -3. Let x be c*(3/(-2) -