ose -a + 11 = -15. Suppose b*m = 4*y + a, -m - 5 = y - 3. Do y and -1 have the same value?
False
Suppose -31*p + 49*p = -3240. Let l = 201 + p. Is -2 <= l?
True
Let s = -12743 + 12721. Is s <= 19?
True
Let r = -981.3 - -933. Let s = -31 - r. Let q = 6.3 - s. Which is smaller: q or 2/11?
q
Let t = 25447 - 26340. Which is bigger: t or -890?
-890
Let z = -226 - -258. Let s = z + -36. Which is smaller: -0.2 or s?
s
Let o(u) = u**2 + 35*u + 39. Let c be o(-34). Let r be (-538)/12 + c/10*0. Is -44 < r?
False
Let b be (-6)/(-27) - 47/9. Let x be (-39)/21 - (2 + b). Suppose -29 - 39 = -34*d. Does x = d?
False
Let f be -2*1/(-4)*-4. Suppose 7*y = 3*o + 3*y - 4220, -3*o + 2*y + 4210 = 0. Let v be ((-3)/f)/((-25)/o). Is v at most as big as -85?
False
Suppose -266*i = -279*i - 9698. Which is greater: i or -743?
-743
Suppose -6*p - 39 = -69. Suppose -3*w + 34 = -k - 54, p*k = -4*w + 92. Is w >= 27?
True
Let j be 14/(-10) + (-33320)/4200 - 1. Let k(y) = -3*y**3 + y**2 + y. Let p be k(-1). Suppose -p*v - 40 = v. Is v equal to j?
False
Let r(v) be the third derivative of 5*v**4/12 + 31*v**3/6 + 59*v**2. Let w be r(-3). Is 2/513 != w?
True
Suppose -14184*m - 584 = -14192*m. Do 64 and m have different values?
True
Let w(h) = h + 2*h**3 + h - 3*h**2 + 13 + h - 18. Let y be w(2). Suppose 0*c - 4*v - 20 = -2*c, c - y*v - 25 = 0. Which is bigger: -2 or c?
c
Let x = 2171.974 + 8.026. Which is bigger: x or -2/3?
x
Suppose 15*z - 17*z + 8 = 0. Let s be (z/8)/(2/(-132)). Let q = 23 + s. Does -10 = q?
True
Suppose -5*v - m = -79 + 73, -5*v = -2*m + 12. Do v and -2/3757 have the same value?
False
Let y be -5 + (-2 - (-7)/2)/(345/7360). Let u = 66/235 - -26291/940. Does y = u?
False
Let f = -6610 + 6601. Is 91 at least as big as f?
True
Let c(o) = -o**3 + 5*o**2 - 4*o**2 - 3*o**2 - o**2 + 12. Let u be c(-5). Let w = -81 + u. Which is smaller: -18 or w?
w
Let h(p) = p**2 + 8*p - 29. Let t be h(26). Let m = -5973/7 + t. Let i be (-16)/(-28) + (-8)/14. Are m and i equal?
False
Let h = 271 + -103. Suppose -a = 11*a - h. Suppose -3*t = 3*k + 2 - a, -4*t = -3*k - 9. Which is greater: k or -1/10?
k
Suppose -34*v - 17*v + 20754 = 964560. Which is bigger: v or -18507?
v
Suppose -b = -5*p - 29, b = 1 - 2. Let k be (p/(-4) - 2)/((-2)/(-24)). Let y be k/15*1 + 44/210. Which is greater: y or -1?
y
Suppose 5*k = -4*u - 270, -4*k + 24 = -2*u + 214. Is 3/16 at least k?
True
Let z be ((-117)/48)/3 - -1. Let l = z + 7/48. Let a(y) = y + 4. Let i be a(-3). Do l and i have the same value?
False
Let q(v) = -v**2 + 11*v + 277. Let u be q(23). Which is bigger: 7/124 or u?
u
Let n(b) = -84*b + 50. Let f be n(4). Let j = -151 - f. Is j at least as big as 135?
True
Let l = 4885 + -2585. Is 2301 greater than l?
True
Let c be (-3 - (-8295)/63)/((-2)/27). Which is smaller: c or -1740?
-1740
Suppose 7*t - 3*t - 580 = 0. Suppose -2*z = 3*z - t. Suppose 334*m + 112 = 338*m. Is z less than or equal to m?
False
Let a = -3817 - -3815. Are a and 2463 unequal?
True
Let p = -1/26 - -59/2210. Let i(b) = -b + 1. Let x be i(-3). Suppose 2*q = 4*q - j + 2, -4*j - x = 4*q. Which is smaller: q or p?
q
Let c = -2.8 - -191.8. Let k = c + -189.137. Let w = k - -1.137. Which is smaller: 66 or w?
w
Suppose 0 = -2*z + 4 + 4. Suppose z*i = -i. Let h = -477 - -3825/8. Is i bigger than h?
False
Suppose 4*r - 20 = 0, -2*r = -5*b - 6 + 21. Suppose 5*i = -2*p + 8, -i + 6*p - 3*p = -b. Suppose 0 = -y + i*y - 12. Are y and -2 non-equal?
True
Let l = -11/6 - -53/18. Let u = 128 - 127. Suppose -b - u = -2*f, 4 = 8*b - 4*b. Is f > l?
False
Let j = -555.8 + 94.8. Let z = j + 458.5. Is z <= -0.02?
True
Let j = -130985097/2060 + 63585. Which is smaller: j or 0?
0
Let q = -296 - -109. Let w = -186.93 - q. Is w bigger than -7?
True
Let p(j) = -j + 8. Suppose -3*c - 44 = -4*q + c, 3 = -c. Let n be p(q). Let m be 136/(-154) - (-18)/42. Which is bigger: n or m?
n
Let n(r) = 165*r - 7263. Let x be n(45). Which is smaller: x or 206?
x
Suppose -250 = 5*o - 0*o. Let t(s) = -2*s**2 + 18*s + 24. Let f be t(7). Let r = f + o. Which is smaller: 3 or r?
r
Let x(z) = -22*z + 7*z + 13*z + 8 + 1. Let b be x(4). Suppose -4*a - 3*h = -19, 5*a - b = 2*h - 6. Which is smaller: -2/13 or a?
-2/13
Let j be ((-8546)/497764548)/(6/(-26046)). Let q = j - 52/40787. Let d = 2/113 - q. Is d at most as big as 0?
True
Let m = -0.44 - 5.56. Let c = 4161/5 - 831. Is c greater than or equal to m?
True
Let w(h) be the second derivative of -11*h**3/2 + 171*h**2/2 + 29*h + 4. Let c be w(6). Let t = -0.2 - -1.2. Is c < t?
True
Let r = 6513 + -6410. Is 13 greater than r?
False
Suppose 33*f - 38*f = -205. Let x = -4334 + 4374. Is f greater than x?
True
Let y = 36 - 60. Let b be (-2)/y + 2/8. Let o(w) = w**3 + 17*w**2 + 48*w - 1. Let m be o(-4). Which is bigger: m or b?
m
Suppose 45*u - 43*u = -s + 923, s - 919 = 2*u. Is s > 922?
False
Let b = -17471199/1015 - -17213. Which is smaller: b or 1?
b
Suppose -49*p + 6*p = -129. Let b be p - (65 - ((0 - 11) + 6)). Suppose -u = 5*f + 91, 3*u + 5*f - 3*f = -208. Is b at least u?
False
Suppose 4*c - 5*r - 2 = 0, 0 = -2*c + 4*r - 1 - 1. Let p be (1 + (-6 - -5))/(c/(-1)). Which is smaller: 13/6 or p?
p
Let m = 258 + -251. Suppose 2*v = 4*s - 6, -m*v - 3*s = -2*v + 2. Let g = -366 - -48679/133. Which is greater: g or v?
g
Suppose 16*p + 7*p = 2*p. Which is smaller: p or 9/59?
p
Suppose -4*n - m = -9, -n + 3*n + m - 7 = 0. Let l be 3/(381/(-256)) - (72 - 74). Is l greater than or equal to n?
False
Let r = -502 - -971. Let t be 6 + (r/(-10))/7. Is t at most as big as -1/6?
True
Let g be ((-4)/(-68))/(3/6). Let k(l) = -2*l + 5. Let a(y) = -y + 2. Let x(q) = 9*a(q) - 4*k(q). Let t be x(-2). Are t and g non-equal?
True
Let x be ((-715111)/(-4110))/29 - (13 + -7). Which is bigger: x or 1?
1
Let h(s) = -s**2 + 8*s - 26. Let v be h(10). Suppose b = -r + 179 - 229, 0 = -5*b - 3*r - 248. Is b less than or equal to v?
True
Let u be (-188)/(-10)*(47 - (-3204)/(-72)). Let h be (-4)/(-10)*915/8. Is u > h?
True
Let o be 16/3*12/8. Let m be (o/3 - (-4)/(-6)) + 2. Suppose q - 5*l + 1 = 0, m*q = 3*l + l + 44. Are 17 and q equal?
False
Let s(z) be the second derivative of 4*z**3 - 105*z**2 - 34*z + 1. Let q be s(8). Do q and -14 have different values?
True
Let h = 99 + -69. Let l be (-4)/((-32)/h) + (-102)/136. Let s = -25 - -29. Which is smaller: s or l?
l
Let s(c) = 5*c**2 + 8*c - 20. Let j = 297 - 290. Let g be s(j). Is g > 280?
True
Suppose 4*a - 10 = -v, 4*v = 3*a + 17 + 4. Let i be v/15 + 3196/210. Let h = i - 46/3. Is -1/7 bigger than h?
False
Let o be (6/4)/((-357)/(-168)). Let j = o + -74/153. Are j and 0 non-equal?
True
Let a be (7 - 3) + -18 - -483. Which is bigger: a or 464?
a
Let d be 27*(-8)/(-144)*6. Suppose 5*y - d = -4*b, 8 = -3*b + 6*b + 5*y. Which is greater: 5/77 or b?
b
Let d be (10/75*6)/((-2)/(-505)). Let h = d - 203. Suppose 2*w + 3*w = 0. Is h bigger than w?
False
Let f = 47 - 25. Suppose 4*x - f = -2*m, -4 = x + x - 2*m. Let u be -8*1*(-5)/15. Is u greater than x?
False
Let j be 4*6/(-8) + 531. Let g = j - 286. Which is smaller: 241 or g?
241
Suppose -5*v = -15, 7*v + 7 = -k + 11*v. Let r(t) = 4*t**2 - 36*t + 15. Let l be r(k). Which is bigger: -318/5 or l?
-318/5
Let o = 2277381/5 - 453641. Is 1836 bigger than o?
True
Suppose -24*s - 20 = -26*s. Let z be (15/(-120))/(1/s). Suppose 0 = -0*m - 3*m. Which is bigger: m or z?
m
Let u = 8387 + -8399. Which is greater: u or -394?
u
Suppose -2*n + 5*m = 10, 19*n - 5*m = 22*n - 10. Which is smaller: n or 54/1003?
n
Suppose 11 = 5*v + 5*n - 49, 4*n + 15 = 5*v. Let f be ((-8)/(-32))/(v/(-8)). Which is bigger: f or 417?
417
Let y(a) = -3*a**2 - 5*a - 17. Let k(p) = -4*p**2 - 3*p - 14. Let i(g) = -4*k(g) + 5*y(g). Suppose f + 15 = 2*f. Let l be i(f). Which is greater: 4/43 or l?
l
Suppose -36309 = 6*s + 20*s + 23*s. Which is bigger: -3711/5 or s?
s
Suppose -504 = 60*l + 3*l. Is l at most as big as 64?
True
Let o be -1 - 3/((-75)/23). Suppose -2310 = 2*d + 13*d. Let t = d - -1080/7. Which is greater: t or o?
t
Let o(w) = 5*w + 9*w**2 - 4*w**2 + 0 + w**3 + 3. Let m be o(-3). Let c = m + -1. Are c and -3/4 non-equal?
True
Let o = -535 + 543. Let h be (-7)/(o/312*3). Which is greater: -88 or h?
-88
Suppose -2*v = -9*w + 13*w + 1592, -4*v - 3194 = 3*w. Let x be (-84)/250*v/240. Which is great