w - p*w. Is -2.5 <= w?
True
Suppose i = -2*r - 83, -3*i - 169 - 105 = r. Is i greater than or equal to -92?
False
Let q = 179/228 + -2/57. Let k = -1706.4 + 1703. Is k less than or equal to q?
True
Let c(l) be the third derivative of l**5/60 - l**4/12 + l**3/3 + 9*l**2. Let v be c(2). Let u be (-1)/(-3)*(4 - 2). Is v equal to u?
False
Let z be ((-36)/27)/(-4) + 508/6. Which is smaller: 84 or z?
84
Let v(g) = 3*g + 6. Let o be v(6). Which is smaller: 71/3 or o?
71/3
Let n be (1/(-5)*6)/((-140)/3325). Which is bigger: n or 29?
29
Suppose 4*y - 51 - 121 = 4*t, 0 = -5*t - 2*y - 194. Is -38 at most as big as t?
False
Let t = 0.6 + 15.4. Let h = -678.5 - -678.5. Which is smaller: h or t?
h
Let d = -11 - -13. Suppose -3*z + 2*z = -d. Let o be (-2)/(-3 - -5) + z. Which is smaller: 1/8 or o?
1/8
Let q be 7 + -1 + -3 - -1. Let p be (-228)/(-84) - q/(-14). Suppose y = -1, -p*c + 0*c - 28 = 4*y. Is -7 > c?
True
Let a(p) = p**3 - 4*p**2 - 5*p - 1. Let v be a(5). Let d = -1512/13 + 116. Which is bigger: v or d?
d
Suppose 5*h + 2*f - 33 = 0, 0*h + 4*f = h + 11. Suppose 14*b - 9*b - 25 = 0. Suppose b*o = 1 + 19, 4*m - h*o = 0. Is 5 at most as big as m?
True
Let p = 35.8 + -36. Let c be -4 - 11/((-429)/144). Which is bigger: p or c?
p
Let t(n) = -12*n**3 - 3*n**2 + 7*n - 9. Let q be t(2). Is -103 >= q?
True
Suppose 4*m + 6 = 2*m. Let w = m + 6. Let a be (-6 + w - -3)*-1. Is -1/10 less than or equal to a?
True
Let h = -29 + 121. Let c be (-23)/h - (-25)/68. Which is greater: 1 or c?
1
Suppose 0 = 5*m + 5*p + 20, m + 4*p + 1 = -6. Let l = 0.2096 + -0.6096. Which is smaller: m or l?
m
Let b be 12/(-30) + 864/2310. Which is smaller: -1 or b?
-1
Suppose 7*f = 3*f + 20. Let p be 0 - (1 - (3 - f)). Let a be 1 - 4 - p*2. Is 2 equal to a?
False
Let k = 34501/43946 + 2/3139. Are 1 and k nonequal?
True
Suppose 7*h = -2*x + 2*h + 80, 5*h + 200 = 5*x. Let l = -54 + x. Let v = 6 - 20. Is l < v?
False
Let d be 120/(-38) + (-15)/20*-4. Which is smaller: 4 or d?
d
Let f = 28 - 37. Let h(q) = -q**2 - 10*q - 13. Let a be h(f). Let p be (-7)/(a + (2 - -3)). Is p greater than or equal to -7?
True
Let w = 34.47 + 0.53. Let k be (-1)/(-3)*4/(-4). Which is bigger: k or w?
w
Suppose -2*x - 190 = -0*x. Let w be (x/(-38))/((-2)/(-12)). Is 14 greater than or equal to w?
False
Let c(v) = -4*v**2 + 21*v. Let i be c(9). Which is smaller: -136 or i?
-136
Suppose 0 = 2*k - 2*p - 26 - 4, -5*k = p - 51. Which is greater: 10 or k?
k
Suppose 3*c + 47 - 47 = 0. Let y(f) = 2*f**2 + f - 47. Let r be y(c). Which is smaller: r or -46?
r
Let w = 2 + 0. Suppose 40*l = 43*l - 6. Let r be 4/10*8/32*l. Which is smaller: w or r?
r
Let h = -1 - 10. Let i be (h/3)/((-1)/(-3)). Suppose -20*w = -22*w - 20. Which is smaller: i or w?
i
Let n be (88/128)/11*-119. Is -8 bigger than n?
False
Let c(z) = 7*z - 16. Let i be (3/1 - 1)*2. Let o be c(i). Is o less than 10?
False
Let g be 21*(20/(-12))/(0 + -1). Let j = g - 35. Let r be 26/(-30) - (-2)/(-6). Is j less than or equal to r?
False
Let w be 2/8 + (-6)/(-4). Let u be ((-15)/(-45))/(2/24). Suppose -u*a - 6 = -10. Which is greater: a or w?
w
Let o be ((-3)/6)/((-2)/(-440)). Let s be 44/(-3)*(95/10 - 2). Is s less than o?
False
Let k be 1 - 0 - 4/16. Let q = 0.22 + -0.12. Which is smaller: q or k?
q
Let i = -78 + 140. Let u = i - 32. Which is smaller: u or 29?
29
Let h = -1.2012 + 0.2012. Let g = -75 - -36. Which is bigger: g or h?
h
Let f(p) = p**2 - 5*p + 5. Let t be f(3). Let y = 423 + -5919/14. Which is smaller: t or y?
t
Let r = 6 + -4.9. Let p = 3 + -3.8. Let x = p + r. Which is bigger: x or -1?
x
Suppose 3 = -2*k + y, 5*y - 18 = k - 3. Which is greater: k or 14/23?
14/23
Let m be (9/4)/(((-117)/12)/(-13)). Suppose 0 = 2*v - 6*v + 12. Let w = v + 0. Is m at most w?
True
Let h(t) = 2*t**3 - 8*t**2 - 3*t + 6. Let c be h(4). Let k be (-20)/60 - ((-4)/c + -1). Is k > 0?
False
Let q be (4/(-156))/(66/72). Which is bigger: -1 or q?
q
Let c = -401 + 401. Is c equal to -0.035?
False
Let y be (5/925)/(-3*4/10). Which is smaller: y or 1?
y
Let a = -3 - -5. Let k be 2/(-8)*84/15. Which is smaller: a or k?
k
Let g(q) = -3*q + 52. Let t be g(22). Let l be 57/2 - 1 - 7/t. Is l less than or equal to 28?
True
Let z(l) = l**3 - 4*l**2 + 1. Let m be z(4). Let k = -14 + 10. Let n(d) = -d - 3. Let b be n(k). Is m at most as big as b?
True
Let c = 0.45 - 0.2. Let k(u) = 5*u**2 + 179*u - 36. Let d be k(-36). Which is smaller: d or c?
d
Let h be (0/(-1))/(10/(-5)). Let f be ((-20)/(-12))/(-1) - h. Do f and -3 have different values?
True
Let z be (3/(-12))/(6/5556). Let y = 226 + z. Are y and -7 equal?
False
Let o = 559 - 559. Which is smaller: o or -5/54?
-5/54
Let a be (-21)/(-7) - 4 - 8. Is a less than -8?
True
Let r be -6 + 9 + -4 + 0. Let y = r + -98. Let t be -3*((-210)/y - 2). Which is greater: t or 1?
1
Let b = 3 + -4. Suppose -l = 2*w + 14, 16 = -3*w + 1. Let a be (-2)/l + (-5)/(-10). Which is smaller: a or b?
b
Let y = 295 + -197. Let x = y - 111. Is x less than 1?
True
Let d = 180 + -295. Which is smaller: d or -113?
d
Let w(m) = -7*m**2 + 16*m + 8. Let u(q) = -6*q**2 + 15*q + 8. Let j(x) = -5*u(x) + 4*w(x). Let s be j(6). Suppose -4*b = -b + 9. Which is greater: b or s?
s
Let p(v) = 5*v - 1 - 2*v + 3*v. Let o be p(1). Let x be (-132)/(-605) - 2/o. Is 0 at most x?
False
Let x = -6406915324/22869275 - 2/1759175. Let o = 280 + x. Which is bigger: o or 1/2?
1/2
Suppose y + 2 = 2*s + 14, s + 5 = 0. Suppose 16 = -2*p - y*p. Let c be ((-2)/(-4))/(p/(-48)). Is c > 1?
True
Suppose -5*y - 4*r + 7*r = -41, -4*y = -5*r - 38. Let o be (y - 5) + 36/(-19). Which is greater: o or 1?
1
Let m = 733139/32440 + 1/6488. Let s = 4643/205 - m. Which is greater: s or 1/6?
1/6
Let j be 1*2 + (-19 - -12). Let s be 3/4*j/(-10). Suppose q = -d - 3, 5*d + 16 = -4*q - 0*d. Are s and q unequal?
True
Suppose 0 = 3*d + 3*l + 105, 4*l + 15 = l. Let a be (-1100)/(-9) - (-6)/(-27). Let t be (-5)/d - a/12. Which is bigger: t or -11?
t
Let s = -18/23 - -37/253. Is -1/2 less than s?
False
Suppose 5*d = -2*o - 11, d = -o - 2*d - 4. Let s = -207 + 194. Is o greater than s?
False
Let q(r) = -r**3 + 5*r**2 + 5*r + 4. Let h be q(6). Let i = -273/80 - -899/240. Which is smaller: i or h?
h
Let j(w) = w**3 - 10*w**2 + 12*w - 12. Let n be j(9). Let c be (-18)/24 + n/36. Is -5 greater than or equal to c?
False
Let r(t) = t**2 + 31*t + 28. Let k be r(-28). Is k < -56?
False
Let k = -8.7768 + 1.859. Let a = -0.0222 + k. Let z = a + 7. Is -1/2 > z?
False
Let f = 12.6401 - 0.0201. Let i = f - -0.38. Let a = i + -5. Are 0 and a unequal?
True
Let f = 0.3 + 0.7. Let s be (-3*2/(-72))/1. Let g = s - -1/4. Which is smaller: f or g?
g
Suppose 4*p = -0*p + 208. Suppose 4*n - 2*i - 88 = 0, -n - 3*i - p = -3*n. Suppose l + l = n. Which is bigger: 11 or l?
11
Let a = -490 + 489. Which is smaller: a or -9/118?
a
Let n = -4 - -13. Let j = -55/12 - -21/4. Which is smaller: n or j?
j
Let y = -254 + 229. Is -26 != y?
True
Let x(p) be the first derivative of -p**2 - p + 1. Let f(k) = -2*k - 14. Let v be f(-5). Let m be x(v). Is m equal to 7?
True
Let n = 61/75 + 1/50. Let k = -16 + 22. Suppose 0 = -k*r + r. Is r at least as big as n?
False
Let c be (2 - 0) + (-38 - -4) + -4. Which is smaller: c or -35?
c
Let l = 32 - 34. Let m be 5*(-1)/(-5) - l/14. Is m equal to 2?
False
Suppose 0 = 3*j - 9*j + 24. Suppose j*p = -3*k - k - 772, -k = -5*p - 935. Let q be p/24 - -2 - -4. Is q > -1?
False
Let i be -3 + (-96)/(-54) - (-2)/9. Which is smaller: -1/335 or i?
i
Let b = 557 + -562.7. Are b and -1 equal?
False
Let d be -9 - -14 - 8*-6. Is 53 at most d?
True
Let r = -93/8 + 335/24. Let y(p) = -p**2 + 4*p + 2. Let m be y(5). Let k = 6 + m. Is r equal to k?
False
Let i be (-2)/(-1) + -6 + -1. Let t(c) = -3*c**2 + 2*c + 2. Let y be 6 - (100/(-5))/(-5). Let o be t(y). Which is greater: i or o?
i
Suppose y - 2*y - 11 = -2*r, -9 = 2*r + 3*y. Suppose -x - 16 = r*x. Let p be 1 + x - (-657)/225. Which is greater: p or 1?
1
Let n(m) = 3*m - 29. Let j be n(14). Let x = 12 - j. Is 1/3 at most x?
False
Suppose 3*g - 1 - 5 = 3*a, -3*a - 6 = -5*g. Let u be (-21)/14 - (-27)/a. Let b = -12 + -2. Are u and b unequal?
True
Suppose 2*r + 10 = 0, 0 = 3*m + 3*r + 10 + 2. Let c be (627/22)/(-1 + 4). Let w = -135/14 + c. Which is greater: m or w?
m
Suppose 2*p + 3*a 