310. Suppose -j*l = 3*l + 2*t - 137, -3*t + 104 = 4*l. Which is bigger: l or 26?
l
Suppose 5*r - 24 = 32*j - 28*j, 0 = -3*r. Which is smaller: 399 or j?
j
Let d = -31 - -31.176. Let a = 0.324 + d. Which is smaller: 1.8 or a?
a
Let v = 27.369 + -1129.369. Are -3 and v nonequal?
True
Suppose -r = -3 - 38. Let x(o) = 8*o + 1. Let d(n) = -25*n + 359. Let f(q) = d(q) + 4*x(q). Let s be f(-46). Are r and s unequal?
False
Let x = -311.2 + 158.6. Let n = -180 - x. Let g = -6.6 + n. Is g smaller than -0.1?
True
Let w = 1495 - 2243. Let j be (-37294)/50 + (32/(-8))/2. Let o = j - w. Is o equal to -1?
False
Let r(c) = 8 - c + 3*c + 5 + 0*c. Let g be r(-8). Let x be (4 + g)*1 - (0 - -1). Is x smaller than 1/8?
True
Let v(m) = -m**3 + 17*m**2 + 1. Let g be v(17). Let n be (7 - g) + (-129)/22. Is n at most -1/2?
False
Let g = 110/9 + -14. Let c be 26 + -28 + (1 - -7). Suppose -27*w + c = -33*w. Are w and g non-equal?
True
Let d = -0.066 + 0.089. Let c = -0.623 + d. Is -1 less than c?
True
Let b = -2460 - -2791. Is b less than -1/4?
False
Let u = 70/171 - 8/855. Is -17.9 bigger than u?
False
Let k be 4/20 - (-5 - 23346/45). Is 527 equal to k?
False
Let k(h) = 2*h**3 + 83*h**2 - 26*h - 193. Let b be k(-41). Is 2555 < b?
False
Let w be (3915/2610)/(1*(-3)/(-2)). Are -3/1732 and w nonequal?
True
Suppose -4*n + 5*x + 1837 = 0, 3*x = n - 418 - 43. Is 465 at most n?
False
Let m = -1.1 - -0.1. Let h be 480/(-1044)*(-4)/70 - (-26)/(-273). Is h less than m?
False
Suppose 5*r - 1 - 4 = 0. Let k be 115/100 - ((-2)/32)/((-31)/(-124)). Which is smaller: k or r?
r
Let n = 153/310 + -43/62. Let w be 8/2 + 13 + -17. Suppose w = 5*c + k + 2, 4*k - 8 = -c + k. Is n <= c?
False
Suppose 367 = 2*g - 3*v, -2*v = -5*g + 817 + 128. Let s(t) = 13*t + 3*t**2 - g - 2*t**2 + 152. Let n be s(-16). Which is smaller: 8 or n?
8
Suppose -4*o + 690 = 3*v, 172 = o - 16*v + 17*v. Let x = o - 173. Let n be 2/(-6)*(-6)/(-8). Is n <= x?
True
Let c = 59747/18110378 - 20/4871. Is c greater than or equal to -1?
True
Let n be (-313)/20 + 12/30. Let w be (-3)/(-18) - ((-177)/12 - 2). Let b = w + n. Is 3 less than b?
False
Suppose 0 = 11*v - 12*v - 49. Let h = v - -71. Let d = h + -12. Which is smaller: 9 or d?
9
Let g be -2 + 1542/12 + -4. Let j = g + -123. Which is greater: -103 or j?
j
Let h = 2717 - 2730. Is -13 < h?
False
Suppose -5*z + 97 = -2*s, 174 = 63*s - 66*s - 2*z. Let q be (-80)/s*7 - 0. Which is bigger: 16 or q?
16
Let b = -9944758507/1521 - -6538303. Let v be (14/28392*12)/(1/(-2)). Let i = b + v. Is 1 less than i?
False
Let d = 1/2778 + -1853/2778. Which is bigger: 2/191 or d?
2/191
Suppose l = -2*y - 32, y = -l - 3*l - 2. Let r = -2.49 - 8.51. Is r at most y?
False
Let f(l) = l**3 - 9*l**2 + 15*l - 17. Let a be f(7). Let w be 44/55*a/(-12). Is w greater than 0.21?
True
Let f = -348/19 + 295085/16112. Let t = -1805/92432 - f. Which is bigger: 1 or t?
1
Let r be 259/9 - (-2)/81*9. Let p = 6 + -5.9. Is p bigger than r?
False
Suppose -384*s + 413*s - 33930 = 0. Which is greater: s or 1168?
s
Suppose 0 = 3*x + 9*w - 13*w - 30, -5*x = -w - 50. Let t(j) = j**3 - 11*j**2 + 8*j + 32. Let l be t(x). Is l equal to 35/3?
False
Let c be (1*-17)/((-4)/28). Let f = 13140 + -13022. Does c = f?
False
Let o(s) = -s**3 - 2*s**2 + 3*s. Let a be o(-3). Let f = 1395964/129 - 32464/3. Which is smaller: a or f?
a
Let l = 1 + 1. Suppose -l*t - 20 = 4*o, 2*t - 4*o - 10 = -2*o. Let x = 599 + -599.02. Which is smaller: t or x?
x
Let k = 547517/41 + -13354. Are k and -8/5 non-equal?
True
Let o = -0.59 + -171.41. Let j = o + 161. Are -7 and j equal?
False
Let z be 3 - ((-1 - 4) + 3). Suppose 0 = 6*p - 4*p - 3*i + 79, 0 = -2*p + 4*i - 82. Let h = 40 + p. Are z and h non-equal?
False
Let x = -74 + 113. Let s be (-1)/x*-6 + 238/(-26). Let f be 4*(4/174)/((-12)/s). Are f and 0 nonequal?
True
Let z = 0.504 + -134.364. Let a = -0.86 - z. Let g = -128 + a. Which is smaller: g or -0.01?
-0.01
Suppose -45*u + 1002 = -1432 - 3191. Suppose -y = -2*y - 4, 2*t = 5*y + 272. Which is smaller: t or u?
u
Let u = 254.95 + -253.8. Which is bigger: u or 1/16?
u
Suppose -a - 1 = 1. Let z be ((-4)/114)/(a/48). Suppose 5*q - 24 = -2*v, 2*q + 11*v - 25 = 8*v. Is q bigger than z?
True
Let v = -16.958 - -17.323. Which is bigger: v or 14?
14
Suppose -4*p + 386 = -2*t, 3*t - 267 = -2*p - p. Let n = -93 + p. Is 2/15 less than n?
True
Let f = -1 - -3. Let a = -0.303 + 26.503. Let y = a - -2.8. Is f less than or equal to y?
True
Suppose -7560*r + 3021 = -7579*r. Is r less than -7?
True
Let h(m) = m**3 + 8*m**2 - 9*m - 7. Let n be h(-9). Let p be (1 + n)*(-25)/10. Let b be 29/9 + -3 - 7381/(-549). Which is smaller: b or p?
b
Let r = -145.14381 - -0.14381. Is -3/10 less than or equal to r?
False
Let b = 20357/11 - 1853. Let n(a) = a**3 - 6*a**2 - 4*a - 16. Let y be n(7). Suppose 10*c - y + 35 = 0. Which is bigger: b or c?
b
Let n be 1023/(-6) - (-18)/(-12). Let f be (-2)/n*3*(-26)/195. Does f = -1?
False
Let y = 3 - -31. Suppose 3*i + 87 = -3*p, -2*i + 6*i - 101 = 3*p. Let d = p + y. Which is bigger: d or -4?
d
Let m = 4.4 - 4.76. Let j = m - -0.46. Let k be (-1372)/(-18) + (-46)/207. Is k < j?
False
Suppose 2*z + 435 = -c, -8*z - 675 = -5*z - 3*c. Let q be (z/25 - 0) + -1. Is q not equal to -11?
True
Let l(w) = -7*w**2 + 24*w + 42. Let m be l(13). Is m > -849?
True
Let y = 164 + -258. Let l be -9 + 4 - 3/(-36)*y. Which is greater: l or 0.1?
0.1
Suppose -8*i = -348 + 148. Is i < -3/2?
False
Let x = -39022 + 741712/19. Is 1 >= x?
False
Let w be (-2 - -4)/(-1 - (-21)/31). Is -9 less than or equal to w?
True
Suppose 0 = 4*z - 6 - 6. Let r(o) = 2*o**2 + 9*o - 9. Let j be r(-5). Let d be 6 - (1 + j + 0)/(-1). Is d at most z?
True
Let k(x) = -2*x**2 - 154*x. Let i be k(0). Which is bigger: -15/239 or i?
i
Let i be 104/(-6) - 7/(-21). Suppose 0 = 7*n + 14*n - 21. Let a be n*(-24)/9*(-12)/(-2). Is i smaller than a?
True
Let m = 7207 - 7204. Let z be (4/10)/(18/200). Which is bigger: z or m?
z
Let l = 58 + -38. Let m = -63 + l. Let i = 42.7 + m. Is -3/13 smaller than i?
False
Let p(o) = -o + 5. Let g be p(4). Suppose -8*u - 803 = 397. Let z be (-104)/(-570) - 5*(-6)/u. Which is greater: z or g?
g
Let u be 0/(-3) + (-1 - -1). Let y be 1 - (0 - (-29145)/155). Let x = -187 - y. Is u > x?
False
Let k(w) = -3*w**3 - 30*w**2 - 7*w - 6. Let v be (11/(-11))/(1/2) + -2. Let d be k(v). Is -266 > d?
False
Let u = 0.9 + 57.1. Let y be 6 - ((-24)/4 + (-8 - -20)). Let z be 13 - (4 + y) - 10. Which is greater: z or u?
u
Let h = -2201 + 2200.94. Let w = -9.05 + 9. Let g = -0.15 + w. Which is smaller: g or h?
g
Let h be -4 + 14 - (-2)/5*-5. Suppose m + l = -3, 3*m = m + 5*l + h. Let o = -4773/118 - -81/2. Which is greater: m or o?
o
Let q = -3 - -1. Suppose -19*o + 11 = -8. Let b be o/(-2)*38/(-95). Is q at most as big as b?
True
Let z be (-118)/3 + 1 - (-7)/21. Suppose 0 = f + 12 - 17. Suppose -4*l - 171 = f*m, -2*l - 87 = 3*m - 0*m. Which is smaller: l or z?
l
Suppose -257*q + 20790 = -311*q. Let o be 420/(-8)*(-22)/(-3). Is o at least q?
True
Let x(k) = -7*k + 27. Let b be x(4). Let w be -2 - b - 2/(-1 + -1). Is w < 59?
True
Let h = -39 - -28. Let j be h - (-1)/((-3)/12). Let v be ((-18)/5 - -4)/j. Which is smaller: 0 or v?
v
Let b = 169.9 - 20.9. Is b less than 1/10?
False
Let l(r) = r**3 + 5*r**2 + 6*r + 6. Let o be l(-4). Let j be 1362/1980*375/(-456). Let q = 2/627 + j. Is q at most as big as o?
False
Let f be (2315/95)/((-3)/(-10) - (-101)/505). Is 49 at most f?
False
Let i = -280 - -279. Is -242 <= i?
True
Let o = -383/90 + 50/9. Let p(c) = c**3 - 25*c**2 + 21*c + 127. Let u be p(21). Let d be 6 - ((-8)/14 - u/182). Is d equal to o?
False
Let f be ((-450)/1450)/(564/(-16)). Is 0 smaller than f?
True
Let a = 6/11 - 8/11. Let t be 57*3/27*1 + -6. Which is smaller: t or a?
a
Let l = 2/75 + -4/25. Let r = -166 - -212. Let g = r - 47. Is g less than l?
True
Let c(a) = -a**2 + 8*a + 11. Let o be c(9). Suppose -5*y + 4 = -3*g - 2, -o*y + 15 = 3*g. Which is greater: y or 0.025?
y
Let h = -2634/5 + 20657/40. Is -1 greater than or equal to h?
True
Suppose 0 = 5*w + h - 40, 3*w - h = 3*h + 1. Suppose -6*k = -w*k + 2426. Let r = 60662/25 - k. Are 1 and r non-equal?
True
Let a(v) = 120*v**2 + 15*v + 83. Let h be a(5). Which is smaller: h or 3159?
h
Let s(o) = 424*o**2 - 5