Which is smaller: n or -16?
-16
Suppose -3535*s - 55 = -3540*s. Let t = -11 - -21. Is s at most t?
False
Suppose f + 377 = b, 4*b - 1297 = 3*f + 212. Let r = 371 - b. Which is smaller: r or 0?
r
Suppose 6*a = -38 + 2. Let h be 90/(-4)*4/a + 0. Let t be (-6)/(h/(-5)) + (-3)/2. Are 1/6 and t nonequal?
True
Let t = 7591 - 8276. Which is greater: t or -687?
t
Let i be -12*(-8)/(-36)*120/(-16). Let v be (24/(-15))/(i/(-10)). Which is smaller: v or 1?
v
Suppose -120802 = 20*p + 12*p + 12990. Which is greater: p or -4183?
p
Let t(q) = -4*q**2 - 3*q + 45. Let i be t(3). Is 2/80789 less than or equal to i?
False
Let t be 144/14 - (-16)/(-56). Let s(d) = -d**2 + 8*d - 1. Let g be s(8). Let j be 0 + 3 + ((-6)/6)/g. Is j bigger than t?
False
Let i be ((-20)/(-16))/((9/(-4))/9). Let k be 3 + -5 + i + (-2 - -1). Which is greater: -7 or k?
-7
Let k be -3 + ((-1)/(-5))/((-24)/11224). Let x = k - 2/3. Let s = -99 - x. Is s less than or equal to -1?
True
Let t = -7223 + 7592. Which is greater: t or 367?
t
Suppose -7*w + 451 = -2*w - f, -3*f = -2*w + 183. Let c(j) = -2*j**3 - 5*j**2 + 2*j + 4. Let u be c(3). Let t = w + u. Which is greater: t or 2?
2
Let t = -393.341 + 393. Let r = 0.341 + t. Is r smaller than -20?
False
Let l = -5.8 + 8. Let j(u) = 11*u**2 - 206*u - 55. Let g be j(19). Is g at least as big as l?
False
Let r be -662 - (2 + -5)*3/9. Let a = -17849/27 - r. Is -1 greater than or equal to a?
False
Let k(j) = -j**2 - 10*j + 13. Let n be k(-11). Let m = -122 + 135. Let v be m/(-26)*52/(-14). Which is bigger: n or v?
n
Let g = 16685/358709 + -24/533. Is -2 less than g?
True
Let i = 1/315208 + 8480040821/945624. Let y = i - 8876. Do 91 and y have different values?
True
Suppose -46*o + 128 + 10 = 0. Suppose -2 = -o*z + 7. Which is smaller: -10 or z?
-10
Suppose 0 = -18*p - 23 + 437. Which is smaller: p or 26?
p
Suppose 371 = -8*l - 5*t - 950, 2*t = 4*l + 638. Let w be (-1)/((-2)/(-324)*1). Are l and w non-equal?
False
Let c = -0.022 + -0.278. Let y = -0.418 - c. Let m = y - -0.018. Is m >= -1?
True
Suppose 0 = 2*u + 2*g - 14, 3*u - 4*g = -u + 4. Suppose 0 = -q - u*q + 20. Let v(c) = c - 9. Let i be v(q). Does i = -3?
False
Let b = 7.1 - -21.4. Let k = b + -29.3. Which is smaller: k or 0.23?
k
Suppose 4*q - 3*l + 77 = -0*q, -q - l = 28. Let g = q - -14. Let t be (-25)/10 - (-2)/4 - g. Is t < 7?
False
Let c be (-5)/289675*5*1/(8/16). Which is smaller: 1 or c?
c
Let h be 6/12*-3 + (-6)/(-4). Which is bigger: h or 6/509?
6/509
Let f = 4 - 8. Suppose 2*y + 3*a = 52, 4*y + 2*a - 14 - 82 = 0. Let j be (2/26)/(y/(-966)). Are f and j equal?
False
Let r be -49*((-64)/(-7) - -2). Let s = 545 + r. Which is greater: 10/71 or s?
10/71
Let i(v) = 35*v**2 + 73*v - 6. Let b be i(-2). Are b and -332/27 non-equal?
True
Let c be (58 - 53) + (-35)/(-3) + -1. Let q = -9 - 8. Let v = c + q. Which is greater: v or -2?
v
Let t(j) = -j**3 - 6*j**2 - 2*j - 9. Let l be t(-6). Suppose -l*s = s - 4. Let q be (-12 + 0 - (-1)/1)*s. Are q and -0.1 equal?
False
Suppose -3*b + 7*b - 1960700 = 74*b. Which is greater: b or -28009?
-28009
Let j = 1830 - 1902. Suppose -3*m = 5*x + 230, -4*m + m - 4*x = 226. Is j equal to m?
False
Let f = -44.9 - -41. Let a = -4 - f. Let w be -1 - 5/(-10)*9. Which is smaller: w or a?
a
Let a be (4/(-3))/((-3)/(-18)). Let s be (-3)/(-6) + (-1164)/a. Is s < 147?
True
Let m = -183/115 - -13362/115. Let o = -52 - 63. Let w = o + m. Which is smaller: 0.1 or w?
w
Let i = 82.6 - 43.25. Let j = 50.8 - i. Let m = j + -12. Which is smaller: -1 or m?
-1
Suppose 5*j - 5*u = 45, -u = j + u - 18. Suppose j*c + 114 = 42. Is c at most -34/7?
True
Let b = -9567426/115 + 83196. Let r = -32/23 + b. Is -0.65 equal to r?
False
Let g = -233 + 388. Suppose -3*r + g = -2*v - 0*r, -4*r + 20 = 0. Which is smaller: -71 or v?
-71
Let h(j) = -2*j + 28. Let c(t) = t + 84 - 5*t - 2*t. Let b(w) = 5*c(w) - 14*h(w). Let g be b(-14). Are g and 57 unequal?
True
Let g = -66853 - -669771/10. Let j = 253/2 - g. Let w = -99/35 - -17/7. Is w equal to j?
False
Suppose 622*u - 3648 = 628*u. Let s = u + 192737/317. Which is smaller: 0 or s?
0
Suppose -5*u + 7*u = -4*w + 12, 3*w = 4*u + 20. Which is greater: -6.86 or u?
u
Let z(x) = x**3 - 13*x**2 - 28*x. Let o be z(15). Let r be 10/o - (-8)/(-6). Which is smaller: -2/227 or r?
r
Let q = -15/2 - -31/4. Let k = -81 - -81. Suppose 0 = -4*m - 4*g - 124, -3*m - g = -k*g + 83. Which is greater: m or q?
q
Suppose 2*b - 5*a - 29 = 0, -3*b - 156 = -3*a - 204. Suppose 158 = -b*x - 607. Let v be -7*(-2)/(-10) + 1. Which is greater: v or x?
v
Suppose -2*d = -q - 2*q + 1721, 0 = -3*q - 9. Let m = d + 16430/19. Which is smaller: m or -1?
-1
Let g = -2019449/236 + 8557. Let m be (0 - 1)/(2 + -3). Which is smaller: g or m?
g
Let j = -61 + 65. Let u(f) = f**3 - 4*f**2 + 4*f - 1. Let a be u(3). Suppose 0 = 4*o + 5*y - a, -2*o + 5 = 3*o + 5*y. Are j and o equal?
False
Let o = -71 - -75. Suppose -4*p - 4 = 0, -2*v - v + 58 = -o*p. Let y be 3/(-2)*((-6)/v + 1). Is y > -3/58?
False
Let t = 123 + -292. Let p = t + 166. Which is bigger: -8/3 or p?
-8/3
Let t(x) = -x**3 + 17*x - 26*x**2 - 140 + 38*x - 33*x. Let g be t(-27). Suppose 0 + 25 = -5*f. Is g greater than f?
False
Let m be (-250991)/17927*-1 + -14. Which is smaller: -1 or m?
-1
Let g = -99 + -357. Let l = g + 455. Which is bigger: -5/22 or l?
-5/22
Let o be (3/(-10))/(9/306). Let p(l) = -l**3 - 16*l**2 - 27*l + 3. Suppose 0*r - 4*r = 3*w + 26, 4*w + r + 52 = 0. Let t be p(w). Which is greater: t or o?
o
Suppose -3*g = -2*t - 22, -8 = -4*t - 4. Let f(m) = -m**2 - 3*m + 16. Let o be f(g). Which is smaller: o or -71?
o
Let w be 0 + (0 - -74)*26/52. Suppose -w*k - 1512 = 20688. Which is smaller: -601 or k?
-601
Let o be 7 + 4 + 5010/(-396). Let q = o + -1/66. Do 2/9 and q have the same value?
False
Suppose 8*x + 6 = 6 - 16. Which is bigger: x or 44?
44
Let f = 347 + -16313/47. Is f smaller than 0?
True
Let m = 6/339559 - 1825889/122549559572. Let w = m + 25962798/7669295. Let u = -17/5 + w. Which is smaller: 1 or u?
u
Let c be (18 - 16)/(3/(-5274)*3). Is -1171 bigger than c?
True
Let t = 0.1363 - 0.0859. Let y = -0.0504 + t. Is y != -2.72?
True
Suppose 4*z = 4*k + 12, -4*z + 7 = -2*k + 3*k. Suppose 0 = 20*u - 19*u - 70. Let w = u - 489/7. Which is smaller: k or w?
k
Let m(v) = -5*v + 17. Suppose -15 = -5*n + 20. Let d be m(n). Let h be (-6)/15 + 12*(-65)/50. Is d less than h?
True
Suppose -3*l + 3*t - 94 = -22, -l - 48 = 3*t. Is l at least as big as -66?
True
Let y be 3/(-9)*(-6)/6*-6. Is -100/31 greater than y?
False
Let o = 0 - -1. Suppose 0 = -73*z + 77*z + 136. Let i be ((-5)/z)/(11/22). Which is smaller: i or o?
i
Let k = -4191.98 - -4192. Which is bigger: k or 236?
236
Let p be (-4 + 1)*4/(-6). Suppose -4*i + 2*a = -246, 14*i = 21*i + 5*a - 541. Is i <= p?
False
Let j(m) = -6*m**2 - 16*m - 4. Suppose -3*u + 5 - 7 = -v, 8 = -2*u - v. Let p be j(u). Is 44/13 at least p?
False
Let p = 3697/252 - -5/63. Let b = -14 + p. Let n be (2/32)/((-933)/(-14928)). Which is bigger: n or b?
n
Suppose -3*x - 12 = 0, -35*d + 37*d - 4*x - 14 = 0. Is -0.0831 at least as big as d?
True
Let j = -184 - -184.1151. Let b = 0.0151 - j. Which is smaller: -659 or b?
-659
Let k(f) = f**3 + 12*f**2 + 11*f - 17. Let x be k(-11). Let z be 8 + 2 + -2 + 0. Let d be (-142)/z - (-1)/(-4). Which is smaller: x or d?
d
Let h(v) = -6*v + 2. Let f be h(-2). Suppose 4*z - 2*m + 4 = 0, -2*m - f = -z + 6*z. Suppose -690 = -77*n + 109*n + 106*n. Is z greater than n?
True
Let u be (-2 + 1386/696)/((-3)/(-38)). Let i = u + 3/116. Is i greater than 0?
False
Let b = 4660417/1728 - 2697. Which is greater: b or 1?
1
Suppose 3*v = -v + 2540. Let k = 626 - v. Suppose -2*m - 28 = 2*s, 3*s + 6 = -m - 14. Is m at least as big as k?
False
Let k(y) = 314*y - 1673. Let c be k(9). Are 1153 and c non-equal?
False
Let q be ((-6)/(-90))/(29263/(-78)). Which is smaller: 1 or q?
q
Let x be ((-186)/2)/((-108)/324). Which is bigger: 8 or x?
x
Let g = -9043 - -9162. Are 118 and g equal?
False
Suppose 4919 = -20*q - 361. Which is smaller: -286 or q?
-286
Let s = -5773 + 12466. Which is smaller: 6694 or s?
s
Let s(z) = z**2 + 11*z - 24. Let t be s(2). Let j be (-12)/9*(-4 - -10). Let m be (7/(-36))/(1/j). Is t >= m?
True
Let c(o) = o - 32. Let t be c(-5). Let m = 52 - 89. Are m an