be l - (-8)/(192/(-200)). Which is smaller: c or r?
c
Let s = 3223 + -3223. Which is smaller: 5/109 or s?
s
Let x = 2087.472 + -2080. Let d = 0.172 - x. Let a = 17.3 + d. Is 1/2 > a?
False
Suppose 5*n - 101*r + 97*r + 919 = 0, -4*n - 727 = 5*r. Is n greater than 0.02?
False
Let f be (-12)/(-9)*(-2)/(-2). Suppose 0 = -110*i + 119*i - 675. Let h be (0 - 4/18)*i/50. Is h bigger than f?
False
Suppose 9*x + 893 = 164. Let k = x + 66. Let z be (-2)/k + 171/(-270). Which is smaller: -2/11 or z?
z
Suppose -3*t = -7*n + 44228, -308*t = 3*n - 307*t - 18964. Is n bigger than 6319?
True
Let j = 16802 - 15214. Which is greater: j or 2/3?
j
Let h(o) = 127*o + 51. Let g be h(-5). Let q = 634 + g. Which is greater: q or 56?
56
Let l = 24 + -162/7. Let r be 144/108 + 13/(-12). Is r greater than or equal to l?
False
Let u be -1*(-3 - (-6 - -2)). Let b be (2 + u)*(-6 - (4 + -4)). Let t be (-303)/b*(-3 - -1). Is t less than -101?
False
Suppose -122 = 3*n - 3*c - 947, 4*n - 1103 = c. Which is smaller: n or 278?
n
Suppose -1537782 + 2050 = -29*r - 92*r. Is r at least 12693?
False
Let o(r) = 2*r + 45. Let k be o(-21). Suppose k*p = -i - 4, -p - i = 1 + 1. Let h = -10102/17 - -594. Are h and p nonequal?
True
Let d(m) = m**3 + 17*m**2 + 13*m - 31. Let f be d(-16). Suppose -f*z = -47 + 319. Which is smaller: z or -0.06?
z
Let r = 73 - -34. Let d = -83 + r. Let l = -0.4 + -1.6. Is d greater than l?
True
Let h = 843174/5 - 169227. Let w = h - -594. Is w bigger than 3?
False
Let l = -3.997 - 0.003. Let d = -0.39 - -123.39. Let i = -126 + d. Which is smaller: l or i?
l
Let d be 2/(-5) - 84/(-60). Suppose 2*s - 6 = 36. Let v(h) = -h**2 + 20*h + 17. Let f be v(s). Are d and f equal?
False
Let n = 2473 - 2491.4. Is n smaller than -5/7?
True
Suppose p + 6 = 5*h - 18, -h + 3*p = -2. Let w be (-1)/h - (3 - 54/15). Which is smaller: 1.1 or w?
w
Let w = -93 - -91. Suppose 0 = -3*c + 41 - 2. Suppose -15 - c = 4*x. Are x and w equal?
False
Suppose 0 = -96*n + 95*n + 64. Let c = 64 - n. Suppose c = x - 57 + 58. Is 1/14 greater than x?
True
Let j = 79481/2807112 + -1/11319. Which is greater: -1 or j?
j
Let g = 211 - 212.98. Let h = g + 2.3. Is h at most as big as -1?
False
Let s = 123355 + -26521403/215. Which is greater: -1 or s?
s
Let h be (-18)/(-810) + (-2)/9 - 1180474/(-145). Is h > 8141?
False
Let s be 0 + ((-8)/10)/(12/570). Let f = s - -39. Which is smaller: f or 24/23?
f
Suppose -7*x + 0 + 28 = 0. Suppose -x*b + 3 = -w, -2 + 1 = 2*b - 3*w. Is b at least -1/279?
True
Let t = 81/104 - 17/26. Is t != -1399?
True
Let o be ((-422)/(-38))/(-1) + (-28)/(-266). Does -12 = o?
False
Suppose 0 = i - 8 + 7. Let z be -2*(2/4 + i). Let m be z/((-726)/(-4) - 3). Which is greater: -1 or m?
m
Let r = -389.167 + 389. Let k = r - -0.167. Which is greater: -71 or k?
k
Let n(m) = m - 3. Let r be n(8). Let w = r - 3. Let l = -1/151943 - 1063597/607772. Which is smaller: l or w?
l
Let n = -25.287 - -23.187. Is -11 greater than or equal to n?
False
Let r be (-705402)/(-57105) + -13 + 2/18. Do 0 and r have the same value?
False
Let s = -163 + 497. Let t = s + -338. Which is bigger: -5/9 or t?
-5/9
Suppose -5*j + 6 = 4*a - 22, -j - 6 = -5*a. Is a less than or equal to 173/118?
False
Let t be (-23)/(-874)*(-10)/(-5880). Which is smaller: t or -1?
-1
Let q = 29 + -354. Let g = 220 + q. Let k = g - -105.4. Which is greater: -2 or k?
k
Let h = 26828 - 28429. Which is smaller: 1/8 or h?
h
Let c = -29/4 + 7. Let r = 7123 + -7109.8. Which is smaller: c or r?
c
Let t = -3 - -4. Suppose -67 = 2*i - t. Let u(j) = j**2 + j - 19. Let l be u(-5). Is l less than i?
False
Let f be (6/9*3/(-6))/((-13)/78). Is 132/127 smaller than f?
True
Let d be 10 + ((-38)/((-3800)/75))/(1/(-4)). Let c be (84/33)/(4/10). Is d smaller than c?
False
Let u = 79 - 119. Suppose 5*t + 5*n + 0*n - 1205 = 0, 478 = 2*t - 2*n. Let j be 6/2*(t/(-18) - 0). Are j and u equal?
True
Let h = 952 + -1893/2. Let f = 5 - h. Let j be 1 - (0 + (-2)/4). Are f and j equal?
False
Let s = 40 - -9. Suppose 12*m = 74 + 22. Let b(t) = t**3 - 11*t**2 + 33*t - 23. Let o be b(m). Is s > o?
False
Let u = -224 + 671/3. Let z = 13 + -13. Let x be (-3)/(-24)*2*z. Is u at least as big as x?
False
Suppose 3*v - 3*i - 45 = 0, -20*v + 4*i = -22*v + 30. Which is smaller: v or 163/11?
163/11
Let q = -29 - -6. Let w(k) = 2*k**3 - 54*k**2 + 69*k + 762. Let a be w(25). Which is smaller: a or q?
q
Let u = 59 - 61. Let n be 3/u*4/(-24)*8. Suppose n*o + 5*l - 64 + 268 = 0, -o + 5*l = 102. Is o greater than or equal to -1?
False
Let r = -566 + 579. Suppose -r = -l - 37. Which is greater: -17 or l?
-17
Let c = 0.4 + 0.6. Let q be 3260/300 - 8/12. Is q less than or equal to c?
False
Let q = -13/2 + 37/6. Is -1582 < q?
True
Suppose -5*x - 2*n = 11, 0 = n + 4*n + 15. Is x at least -24/89?
False
Suppose 11*a + 42 = 3*q + 13*a, -4*q = -2*a - 56. Let s be (-2 - (-16)/6)*-297. Let w be q/77 - 8/s. Which is smaller: w or 1?
w
Let l = -0.343 - 3.377. Is l less than 0.4?
True
Suppose 35 = -13*d + 516. Let k = -418/9 + 748/9. Which is smaller: k or d?
k
Let d be (-1 + 0)/(-4 - 218275/(-54575)). Are 2184 and d non-equal?
True
Let t be ((-110)/65)/11 + 340/13. Which is bigger: t or 277/11?
t
Let h(g) = 8*g**2 + 2*g + 11. Let c be h(-3). Let q be ((-2)/(-134))/(c/(-42) - -2). Is q at most -1?
False
Suppose -3 = -a - 2, u + 2*a - 161 = 0. Which is smaller: u or -1?
-1
Let t = 618.7479 + 0.4521. Let o = -619 + t. Which is smaller: o or -1/3?
-1/3
Let t be 96440/3010 - 26 - 3*2. Which is bigger: -2 or t?
t
Let m = 0.243 + 3.737. Let j = m + 1.02. Which is greater: 7 or j?
7
Let y be -3 + 2/((-8)/(-28)). Suppose -26*m = -25*m - y. Suppose m*i + i = 3*b - 156, 52 = b + 5*i. Is b greater than 52?
False
Let h be (-845)/(-50) + (-3)/(-30). Let m(c) = -6*c + 2. Let f(b) = b**2 + b + 1. Let d(y) = 2*f(y) + 2*m(y). Let u be d(6). Is h > u?
False
Let c(r) = -3*r**3 - 5*r**2 - 3*r - 2. Let z(u) = -u**3 - u**2. Let q(a) = c(a) - 2*z(a). Let l be q(-2). Let b = -11 + 58. Is b equal to l?
False
Let x = 3636 - 6863. Which is greater: x or -3228?
x
Let d = 728.284 + -728. Let u = d - 0.304. Is 4.4 <= u?
False
Let y be ((-36)/60 + (-24)/(-15))/(-1). Is -45/29 less than y?
True
Let s be (1/(-2))/((-49)/5390). Let l = 55 - s. Which is greater: -0.08 or l?
l
Let f = -647 - -703. Let v = 22 + -71. Let q = v + f. Which is greater: q or 10?
10
Suppose 11*n - 90 = 6*n. Suppose -2*r = 2*k + 2*r - n, -4*k + 27 = -r. Suppose k*y + 24 = -4. Is 0.3 less than y?
False
Let y = -5242 - -5025. Which is smaller: y or -213?
y
Suppose 5*x + 1262 = -538. Let d be ((-444843)/x)/(-23) + (-1)/(-8). Which is bigger: -54 or d?
d
Let z(w) = -42*w + 211. Let v be z(5). Let y = 1111834/203 - 5477. Let n = -278/5075 + y. Is v bigger than n?
True
Let h = -32 - -38. Let m be (-2)/((h/17)/(-3)). Let s be (4/5 + m/85)*-9. Is -42/5 != s?
True
Let y(f) = -f**2 + 5*f + 4. Let q be y(4). Let a be q/20 - (-116)/10. Let x = -26038 + 26051. Is a at most x?
True
Let b be (-2 - 4/(-1)) + 2. Suppose -4*q - b*i + 2*i + 24 = 0, 2*q - 36 = 5*i. Is 29/4 greater than or equal to q?
False
Let d = 1 - 1.1. Let o be (-5 - (5/(-5) + -20))/1. Suppose 58*g - o = 60*g. Is d less than or equal to g?
False
Suppose -4*j + 10 + 10 = 0. Suppose -4 = -3*k - d, 4*k - j = -d - 0. Let h = -2/805 - -6462/8855. Which is smaller: k or h?
h
Let n(p) be the second derivative of 0 - 13/3*p**3 + 14*p**2 + 21*p - 1/12*p**4. Let q be n(-26). Is q greater than 30?
False
Let q = 56 + -56. Suppose 3*z - a = 14, q = 2*a + 2*a - 4. Suppose -3*t = -z*t + 12. Is t equal to 32/5?
False
Let v = 25/3 + 43/6. Let l(p) = p**3 + 2*p**2 - 1. Let a = -12 - -14. Let i be l(a). Are v and i nonequal?
True
Suppose 16 = 492*s - 484*s. Let b be 15/(10/s) + 32/(-1). Which is smaller: b or -27?
b
Let k(n) = 283*n**3 - 5*n**2 - 24*n - 1. Let s be k(-3). Which is bigger: -7616 or s?
s
Let g = 46 - 175. Let j be (-20)/(-90)*(-18)/g. Are 0.1 and j nonequal?
True
Let a = -219.1 - -207. Let o = -12.1 - a. Is -102 at most o?
True
Let g = -124 + 279. Let j = -154 + g. Let n = -413/102 + 25/6. Are j and n equal?
False
Let i be 36/(-126) + 1256/(-14). Let h = 154 + i. Let j = -68 + h. Which is greater: j or -2?
-2
Let p = -100 - -122.2. Let x = -22.1 + p. Are -2/155 and x non-equal?
True
Let c be 335/(-134)*336