Let u be l(6). Which is smaller: -1492 or u?
u
Let s(j) = -725*j + 5671. Let y be s(0). Which is bigger: y or 5672?
5672
Suppose 2*c + 71 = 77. Suppose -3*x - c = -4*x, 0 = 3*j - 2*x. Suppose -5*v + 7 = -j*m - 4, 3*v = m + 7. Is m at least as big as 14/5?
False
Let y = -6/26941 - 69399986/134705. Is -516 smaller than y?
True
Let u = 0 + 1. Let n = -501170 - -500818. Is n at least as big as u?
False
Suppose 5*j - 5*r = 35, -3*j - 4*r = 4 + 10. Let w be 8/(-3)*j/(32/(-36)). Suppose 3*l = w*l - 228. Do 76 and l have the same value?
True
Suppose 5*z + 2*k = -1, 0 = -z - 2*z - 5*k + 7. Let x be z/((-2)/(-7))*16/(-14). Suppose -174 = -x*n - 2*p, 3*n - 2*p + 5*p = 138. Is 41 < n?
False
Suppose -6*a = -10*a + 704. Let l = 210 - a. Suppose -4*f - 41 = -173. Does l = f?
False
Let f = 517/6 + -86. Let i(x) = 5*x + 5. Let c be -2 + (2/(-11) - (-13)/11). Let s be i(c). Are s and f nonequal?
True
Let y = 129 + -126. Suppose 24 = -y*q - 36. Is q < -103/5?
False
Let i = 85 - 1701/20. Let g be ((-2)/(-400))/(((-260)/(-120))/13). Let o = i - g. Is -2/5 less than o?
True
Suppose 5*f = 5*o + 25, 0 = -o - 0*o - 2*f + 10. Suppose o = -0*g - g - 4. Let c be 80/12 - g/(-6). Is c > 8?
False
Let l = -0.2149 + 0.2149. Is l equal to 1509?
False
Let p be 19/2*2*1. Let h be (-6)/(-15) - 86/(-20)*2. Suppose 10*q = h*q + 18. Which is greater: q or p?
p
Let d be (12/28 - (-68)/(-28)) + -657. Let k = -376 - d. Is 283 smaller than k?
False
Let q = 207 - 205.9. Let w = 3 - 2.7. Are w and q equal?
False
Let o = 2799 - 1929. Is o less than or equal to 864?
False
Let n(a) = 2*a**2 - 18*a + 22. Let p be n(15). Let o = -191 + p. Is o not equal to 11?
False
Let o be 2 + 1/(4/(-104)). Let a be ((o/(-333))/4)/(5/(-15)). Let j = -0.004 + -0.096. Which is greater: a or j?
a
Let t = -8837/4564 - -5/652. Let j = 128545 + -128548. Is j < t?
True
Let b = 476.1 + -441.1. Is 0.9 <= b?
True
Let z(x) = -142*x**2 - 5*x + 23. Let h be z(-4). Is h greater than -2229?
False
Suppose 0 = 7*b - 3*b - 4*v + 184, 2*b + 85 = -5*v. Let p = -38 - b. Let j = p + -4. Which is smaller: j or 5?
j
Suppose 0 = 2*r - 6, -5*r - 69 + 21 = -g. Suppose 62*j = g*j + 5. Is j != -5?
False
Let i = -63.79 - 0.71. Let z = -66 - i. Which is bigger: z or -3?
z
Suppose 5*s = -163 + 1873. Let x = 384 - s. Is 43 not equal to x?
True
Let b(t) = 40*t**3 + 2*t**2 - 1. Let g be b(-1). Let k = -75 + 37. Let p = k - g. Which is smaller: p or 4/27?
4/27
Suppose 2*p + 2*p = q + 287, 0 = -2*p + q + 141. Let x = 76 - p. Let j be x/(-7)*(26/(-6) + 5). Do 2/7 and j have different values?
True
Suppose 140 = -141*n + 2081 + 5955. Suppose 2*z - 8 = 0, -5*g + z + 279 = 2*z. Which is bigger: n or g?
n
Let h(z) = -9*z**2 - 403*z + 99. Let s be h(-45). Is 193/20 equal to s?
False
Let q be -2 - (1 + 0)/1 - -99. Let x be 9/24 - (-9468)/q. Suppose 42*v = 33*v - x. Which is smaller: v or -9?
v
Let t = 1486.43 - 1487. Is t greater than or equal to -0.1?
False
Let u = -80 + 4. Let i be -1 + (u/(-2) - -1). Let d = i + -43. Is -17/3 smaller than d?
True
Let t be 3*7/((-252)/(-528)). Suppose 225 = -5*j - k - 0*k, -4*k = 0. Let v = j + t. Which is smaller: v or 4.2?
v
Let q be ((-1485)/(-22) - 12)*(-24)/(-18). Which is bigger: q or 77?
77
Let s be -12*(-533)/(-52)*12/(-3). Which is greater: 498 or s?
498
Let m = 21863/9 - -3947/18. Is 2649 equal to m?
False
Let g(q) = 31*q**2 + q + 1. Let r be g(-1). Let h(d) = 3*d**2 + 4*d - 32. Let l be h(4). Let s = r - l. Is s less than -1?
False
Let o = 15948 - 15949. Is o smaller than 1281?
True
Suppose 1257*a + 344 = 1249*a. Let z(k) = 6*k**2 + 3*k - 4. Let l be z(1). Which is smaller: l or a?
a
Let x = -0.0212 - 0.4428. Let p = x - 0.536. Which is smaller: p or 282?
p
Suppose 12 = 4*k - 8*k. Let u be ((-1)/6)/((-2)/k). Let r = 12658 + -12645. Which is smaller: r or u?
u
Let g = 1652367033308304 + -5198363210457747288137/3146010. Let o = g - -419/29962. Let q = o + -811/5. Which is smaller: q or -1?
-1
Let v(o) = 7 - 30*o - 1 + 29*o - 1. Let h(y) = -y + 5. Let w(l) = -5*h(l) + 6*v(l). Let f be w(2). Which is greater: f or -6?
f
Let h be 10/(-40)*2467002/537. Let u = h + 2297/2. Which is smaller: u or 0?
u
Let k(x) = 2*x**3 - 22*x**2 + 41*x - 22. Let r be k(9). Let p = -37 + r. Do p and -14 have the same value?
True
Let n = -75 - -75.55. Let l be 14/(-10) - (-18)/(-12)*(-2)/3. Which is smaller: n or l?
l
Let y be 7 - (-36)/40*(-10 + -5). Is y greater than or equal to -7/5?
False
Let n(p) = -5*p**2 + 13*p + 390. Let i be n(16). Is -681 less than or equal to i?
False
Let z = -208/357 + 11/21. Let u be (-1388)/11 - (-16)/88 - 4. Let f = u - -130. Is f bigger than z?
True
Let o = -7 + 25. Let h(p) = -o*p**2 + 8*p + 3 + 5 + 20*p**2. Let v be h(-4). Which is bigger: -1 or v?
v
Let a = 1094.5 + -1094.7. Are -66/17 and a equal?
False
Let x = -8252 - -49291/6. Which is greater: x or -38?
x
Let j be 1258/(-51)*(-36)/24. Which is bigger: -2 or j?
j
Let z = 58.21 - -246.79. Is 0.6 < z?
True
Let k = 169 + -210. Let q = 19 - -16. Let p = q + k. Which is greater: 0.4 or p?
0.4
Let m = -12184.64 - -12184. Which is greater: -2.7 or m?
m
Let d(j) = -2*j**2 - 28*j - 75. Let k be d(-6). Let m(y) = y**2 + 6*y + 7. Let t be m(-5). Does k = t?
False
Let s = -11.251 + 11.351. Which is smaller: 3758 or s?
s
Let c = 182 - 176. Suppose -c*x - 28 = -22. Which is smaller: x or -1/161?
x
Let y be ((-2)/(-1012))/(87/58). Is y at least as big as 1?
False
Let r(x) = -17*x**3 - x**2 - x + 2. Let q be r(1). Let v be 1 + 1 + 0 - (-16)/(-1). Is v bigger than q?
True
Let n = -7065.61 - -7066. Does n = -1/2?
False
Let u be ((-3008)/72)/(6/9). Let p be -3*-93*(-6)/27. Are p and u equal?
False
Let s be 6*(210/55 + -4 + 566/2992). Is -1 <= s?
True
Let v = -163 - -330. Let h = 166.9 - v. Is h smaller than -0.35?
False
Let x = 8701 - 8700.9. Is x less than or equal to -11553/5?
False
Suppose 0 = -2*b - 12, 2*f - 39*b = -35*b - 34. Let v be -1 + 2 - (-86 - 0). Suppose 0 = 4*c - 7*c - v. Is f at least as big as c?
True
Let u = 741 + -745. Let a be (-510)/u*128/(-96) - 2. Which is smaller: a or -171?
a
Suppose 5*j + v - 36 = -60, 48 = -5*j + 3*v. Suppose -w - w = 20. Which is greater: j or w?
j
Let x be (-28)/154 + 5/((-110)/(-114)). Suppose 4*a + 223 = -x*y, -3*a + 7*y - 147 = 4*y. Is a less than -50?
True
Let y be (-56)/21 + ((-40)/(-3))/8. Are 1/629 and y equal?
False
Suppose -2*c = -4*o - 12, -25*c - 12 = 4*o - 26*c. Let p be (10/4)/(2/(-4)) - o. Let q = -1 - -1.1. Is q > p?
True
Let g = 58/353 + 44904/6001. Let r = 3182/425 - g. Suppose 0 = -3*k - 9, h - 4*k - 12 = -4*h. Which is smaller: h or r?
r
Let a be 35/7 + -18 - -13. Which is smaller: 11/956 or a?
a
Let h = -54 + 95. Let k = 94052.6 + -94052. Is h at least as big as k?
True
Suppose -h - 1714 = -4*p - 699, -4*p = 5*h + 5027. Which is bigger: h or -1005?
-1005
Let o = 0 - 9. Let m = o - -5. Let n be (-176)/96 + ((-10)/6 - (0 - 1)). Is m >= n?
False
Let z = -32478/13 - -248219/117. Let u = z + 376. Which is smaller: u or -1?
-1
Suppose -8*d - 37 + 37 = 0. Suppose -3*u + 29 = 4*a, d*a - a = -2. Suppose u*m = 9*m - 4. Does 6/7 = m?
False
Let y = 123 - 47. Let b = y + -105. Which is smaller: b or -2/15?
b
Let b be (-8)/2 - ((-5 - -15) + (-1040347)/74305). Suppose 6 = -3*t + 2*q - 4*q, 12 = -4*q. Is b bigger than t?
True
Let s = 14 - 13. Let t = -66 - -67. Let u be (s - 1)/(-2 + t). Which is bigger: u or 1/65?
1/65
Let m(j) = -j**2 + 45*j - 14. Let k be m(20). Suppose -3*z - 6*z + k = 0. Is z less than 51?
False
Let y = -0.6 - -2.6. Let a(q) = q**3 - q**2 - q + 30. Let k be a(10). Let w = k - 12881/14. Which is smaller: w or y?
w
Let x(p) = 56*p**3 + 53*p**2 - 114*p + 6. Let u be x(2). Is u <= 8?
False
Let d(q) = q**2 + 26*q + 117. Let t be d(-21). Which is bigger: t or 245/19?
245/19
Suppose -7*n = -39 + 4. Let h(x) = x**3 - 5*x**2 + x - 7. Let v be h(n). Let u be (-6)/(-24) + (27/(-12) - v). Is u at most 2/55?
True
Let s be 330 - ((4 - 7) + -4). Let d = 337 - s. Does d = 1/69?
False
Let i be 40/(-150) + -2 + -4. Let k = 181/60 + i. Let t = -0.4 + 0.2. Which is smaller: k or t?
k
Let v be (3/(-36))/((-999)/336 + 3). Suppose 0 = -6*d - 12. Is d greater than or equal to v?
True
Let b be (-1)/4*-2*4. Let h be (-148)/(-42) - b/(-14). Which is bigger: h or -2/5?
h
Suppose -6*a - 69*a + 820 - 295 = 0. Is -74 