se 5*y + 89 + 16 = p. Let k be (-2)/6 - 7/y. Is k not equal to -1/3?
True
Let o be 50/(-175) + (-100)/(-7). Let j = 44 - 30. Is o != j?
False
Let s(j) = -16 + 4*j - 24*j + 4*j - 2*j - 2*j**2. Let b be s(-8). Let n = -6/17 + 73/255. Which is smaller: b or n?
n
Let r = 35928/95 - -878/19. Let q = -427 + r. Suppose -3*c - 15 = 2*c. Which is smaller: c or q?
c
Let r(s) = -2 - 3534*s + 14 + 3536*s. Suppose -5*j - 4 = 26. Let w be r(j). Which is smaller: -1/2 or w?
-1/2
Let f be (-434)/(-21)*(-18)/6. Is f greater than or equal to 3/7?
False
Let x = 13/16 - 1/80. Suppose p + 2*m + 6 = 5*p, -1 = p + 2*m. Is x smaller than p?
True
Let s = -58 - 36. Let i = 98 + s. Which is smaller: i or -3/2?
-3/2
Let t = -52005/8 + 6509. Let m = t - 269/32. Let k(g) = g - 4. Let r be k(5). Which is bigger: r or m?
r
Let h be (-2)/10 + (-126)/(-105). Do -8/57 and h have the same value?
False
Let r be ((-8)/4 - -5)/3. Which is smaller: r or -2/2009?
-2/2009
Let n = 136 - 204. Let o = 78 + n. Which is greater: o or 11?
11
Suppose -15*r - 22 = -4*r. Let b be r + 26/9 + 10/(-45). Is 0.3 > b?
False
Suppose 4*q = 2*d + 3*d + 60, d + q = -21. Let x be -4 - (4 - d/(-1)). Suppose -3*b + 4*w + 16 = 0, b = -0*w - 2*w - x. Is 1/37 equal to b?
False
Let k(p) = -p - 2. Let m be k(5). Let s = -674 + 669. Is m smaller than s?
True
Let l = 279814/61 + -4587. Is l at least -1?
True
Let c be (-125)/(0 + 5) - -4 - -8. Suppose 36 = -2*f + 4*r, -2*f - 6*r + 2*r - 12 = 0. Do c and f have different values?
True
Suppose -4*v + 5 = 29. Let p be ((-2)/(-7))/((-2114)/(-714) + -3). Which is smaller: v or p?
p
Let f = 179 + -897/5. Let w = -16 - -23. Let z = w - 7. Does f = z?
False
Let x(z) = -z**2 - 5*z + 5. Let v be x(3). Let q be (0 - -4)/((-4)/20). Is q less than v?
True
Let g = 1471 + -1472. Is g greater than or equal to 2/613?
False
Let d be 2 + -2 - (-60)/(-35). Suppose 10*j = 7*j - 9. Is j at least d?
False
Let x(g) = -17*g. Let z be x(-1). Let c = z - 13. Suppose 3*o + 28 = 5*y, 2*y - 8 = o + c. Is 10 bigger than y?
True
Let n(b) = -7*b**2 - b - 7. Let v(t) = -6*t**2 - 2*t - 6. Let r(w) = -5*n(w) + 6*v(w). Let c be r(-6). Let q = 42.9 + -43. Is q smaller than c?
True
Let t(u) = -u**2 + 4. Let z be t(0). Suppose 4*x = -12*x + 96. Suppose 3*r - c - 3 = 0, x*r - r - 12 = z*c. Which is bigger: 6/11 or r?
6/11
Let o = 0 + 0. Let n = 3239/310684 + 3/6754. Is n smaller than o?
False
Let y(r) = r**2 + 9*r + 2. Let w = 7 - 16. Let c be y(w). Suppose 2*b + 5*z - 31 = 0, b = -c*b + 4*z - 11. Is b equal to 4?
False
Let n = -275 + 268. Suppose -3*f = -f + 20. Which is smaller: f or n?
f
Let u = 5 - 8. Suppose 5*x = -10, 2*f - 30 - 40 = -5*x. Let q = 43 - f. Which is bigger: q or u?
q
Let h(m) be the second derivative of -2*m**3/3 + 13*m**2/2 - 2*m + 41. Let j be h(4). Let f(t) = -3*t**2 + 1. Let z be f(-1). Is z bigger than j?
True
Let m be (11 - 7) + (-60)/(-2). Is m >= 29?
True
Suppose 4 = 4*b - 4*j, -4*b + j + 4 - 3 = 0. Is 2/61 greater than b?
True
Let o = 3 + -3. Suppose -g - g = o. Suppose -i - 6 + 0 = g. Is i at most as big as -5?
True
Let a be 2/(12/18*(-3)/1692). Is -1693 at most a?
True
Let t = -313 + 309. Let w = 2.16 - -0.04. Is t smaller than w?
True
Let o = -28 - -32. Suppose 6*v - o*v = -12. Which is greater: -4 or v?
-4
Let j be ((-25305)/(-10))/(-21)*-10. Is j >= 1205?
True
Let w = -32 + 12. Let a be (-2)/(-14) - 3/(21/134). Is w greater than a?
False
Suppose 74 = 15*c - 61. Suppose 5*r - 3 - 6 = -3*b, 2*r - 3*b = -c. Which is smaller: -2/133 or r?
-2/133
Let t be (-2)/3 - 6/((-144)/40). Suppose 17 = 3*c + f, -c - 9*f = -10*f + t. Which is smaller: c or 25/6?
c
Let i(w) = w**3 + 6*w**2 - 3*w - 13. Let j be (90/5)/6 + (-18)/2. Let m be i(j). Which is bigger: m or 2?
m
Suppose 0 = -6*x + 77 - 35. Let b(c) = -c + 1. Let y(k) = -3*k - 1. Let z be y(2). Let j be b(z). Is j < x?
False
Let i = 210/59 + -7186/295. Is i bigger than -21?
True
Let l(s) = s. Let w be l(-1). Let a be w/68*1630/45. Let b = -3/34 - a. Which is greater: -1 or b?
b
Let k be 14/(-12)*(10 + (-1242)/126). Which is smaller: k or 46/3?
k
Let j = 4453/3 + -1485. Which is greater: -31/7 or j?
j
Let q be (-17)/(-4) + 16/(-64). Let c be q + -1 - 6*(-6)/(-9). Is c < 1?
True
Suppose 11*s - 19 + 8 = 0. Is s != 2/33?
True
Let a(m) be the third derivative of m**4/4 + 11*m**3/6 - 15*m**2. Let y(l) = l**2 - 7*l + 1. Let w be y(6). Let v be a(w). Do v and -20 have the same value?
False
Let v = -119 - -120. Let a = -3073/15 - -205. Are a and v non-equal?
True
Suppose q - 8 = -0*c + 5*c, -2*q - 3*c - 36 = 0. Let t be (q/72)/((-8)/(-6)). Which is smaller: -3 or t?
-3
Suppose 17 = -x - b + 3, 2*x + 4*b = -24. Suppose 35*a = 157*a + 1830. Which is greater: a or x?
a
Let v be (-6 - -2)/(-5 - (-5 - -6)). Is 13 less than v?
False
Let u(v) = 271*v**3 + v**2 - v + 1. Let m be u(1). Is 275 smaller than m?
False
Let u(v) = v**3 - 2*v**2 - 3*v - 1. Let k = 0 - -3. Let b be u(k). Let g be -1*(b + 0 + 2). Are 2/9 and g non-equal?
True
Let c = -0.288 - 0.342. Is c smaller than 2/9?
True
Let h(x) = x - 9. Let n be h(6). Let y be (0 - 1)/(n - -2). Let o be (5 - 5)/(1 - (-7 - -7)). Which is greater: y or o?
y
Suppose -5*s + 2 = -8. Let b(o) = -o + 5. Let v be b(s). Suppose 3*d - 36 = v. Which is bigger: 11 or d?
d
Suppose -15 = -a - 3*t - 0, 2*t - 14 = -2*a. Suppose -4*z + 5*h = z, -2*h = -8. Is a at most as big as z?
True
Suppose 0*u = 3*u + 12. Let s be u/(-22) + (-5)/(-33). Let f be (1 - 2 - -1)*4/4. Which is smaller: s or f?
f
Suppose z + 27 - 26 = 0. Are -5/17 and z equal?
False
Let c = 1166 - 1174. Which is bigger: -1 or c?
-1
Suppose -4*s + 0 = -12. Suppose 0*r - 5*j = r + 3, 3*r - 11 = 5*j. Suppose x = r + 2. Which is greater: s or x?
x
Let w(s) = 314*s + 4. Let a be w(2). Suppose 4*o - 1864 = a. Let n be 4/(-10) + o/(-90). Is -7 less than or equal to n?
False
Suppose -6*a = -8584 - 332. Suppose -3*u - 3*x + 31 = -875, a = 5*u - 3*x. Let k = 1478/5 - u. Which is bigger: -2 or k?
-2
Let g(q) be the third derivative of q**4/12 - 13*q**3/6 + 8*q**2. Let m be g(-8). Which is smaller: -28 or m?
m
Suppose -2*c - 3*c = 20. Let q be 22/24 - (-1)/c. Let z = -2/133 + -125/532. Which is bigger: q or z?
q
Let k be -3 - 8/(-3) - (-80)/285. Suppose -z = -2 - 1. Let y = 2 - z. Is k less than y?
False
Let m = -15.155 + 1.155. Is -0.21 not equal to m?
True
Let n = 6/13 + 1/26. Suppose 0 = 3*g - 3. Which is smaller: g or n?
n
Suppose -2*y = 32 + 4. Let o be 3/y*(-4 + 6). Does o = 21?
False
Let n(t) be the first derivative of -t**2 - 9*t + 39. Let c be n(-5). Which is greater: -2/315 or c?
c
Let x = 7 - 4. Let n be ((-20)/(-2))/(2 - x). Let g be -1*(9/(-2) - -4)*-22. Which is greater: n or g?
n
Suppose -34*a = -33*a + 1. Let u = 2/1815 + -223/19360. Is u < a?
False
Let p = 18.1 + -18.1. Are 3/34 and p nonequal?
True
Let j = 29/3 - 28/3. Which is smaller: -2/7 or j?
-2/7
Let n be (12/(-117))/((-150)/9). Which is smaller: 0 or n?
0
Let q = 46 - 39. Let u = q + -1. Let x = 0.2 - 0.2. Is u > x?
True
Let n(f) = 2*f**3 + 3*f**2 + 3*f + 1. Let s be n(-2). Let w be ((-25)/(-15))/((-2)/12). Is w equal to s?
False
Let h be 2/(-12)*(-16)/18. Let k = -27 - -28. Suppose 6*l + 5 = -k. Which is smaller: l or h?
l
Let l be 37221/18 + 1/6. Let z = l - 10386/5. Let r = -199/20 - z. Which is greater: r or -2?
r
Let r(g) = g**2 + 30*g - 14. Let v be r(-23). Let d = -1216/7 - v. Which is bigger: d or 1?
d
Let z = 17.4 + -11.72. Let j = -0.32 - z. Which is smaller: j or -4?
j
Let s(w) = 2*w**3 + w**2 + w + 2. Let l be s(3). Suppose 0*v + v + 48 = -2*z, -v + 3*z - l = 0. Which is greater: -58 or v?
v
Suppose -1530 = 6*r - 480. Let p = 1929/11 + r. Which is greater: p or -1?
p
Let x(u) = u - 5. Let k be x(6). Let p = 2 + k. Suppose -p = 21*z - 20*z. Are -2 and z equal?
False
Let u = 891 - 607. Do u and 285 have the same value?
False
Let p = -1 - -6. Suppose -p*c - 5*w - 35 = 0, -3*w = -0*c - c + 1. Suppose 2*v = -a + 3*v - 1, 2*v = 5*a + 14. Is a at least c?
True
Let w(r) = -r**2 - 3*r - 8. Let h be w(-6). Let d(i) = 40*i - 106. Let p be d(2). Is p at least as big as h?
True
Let n = 10.277 + 0.123. Let p = -10.5 + n. Is p equal to -52?
False
Let s = -224.8 + 198. Let t = -27 - s. Is t < 3/14?
True
Let y = 2.29 + 0.01. Let k = -619.6 + 622. Let d = y - k. Which is greater: d or -1/4?