 5*y = q. Which is bigger: l or 0?
l
Let k = 2.7 - -0.3. Let m = 0.1655 - 1.4655. Is k smaller than m?
False
Let a = 2058.1 + -2148. Let h = 90 + a. Let r = 4.6 + -1.1. Is r at least as big as h?
True
Let w = -1081 - -1112. Are 0.42 and w equal?
False
Suppose -3*n + 4*u = 776, -4*n + 10*u - 1028 = 6*u. Let l be n/(-140)*-1*5. Let m = 17 + -26. Is m bigger than l?
False
Let v = -738 + 1237. Let c = v - 5491/11. Is 34 at most as big as c?
False
Suppose -30*h = -25*h + 45. Let j be ((96/h)/(-8))/30. Let t = -7 - -7. Which is bigger: t or j?
j
Let c be (-4)/2 + (-8)/(-2). Let q be 1/(-1 + (4 - c)). Let l be (221/(-3094))/(92/(-14)). Is l greater than or equal to q?
False
Let l = -842/7 + 10942/91. Let i(p) = 6*p + 163. Let r be i(-27). Is l greater than or equal to r?
False
Let p = 43592/833 + -814/17. Which is smaller: -0.3 or p?
-0.3
Let b = -7 - -6.68. Let d = -21 + 462. Let r = d + -440. Is r less than b?
False
Let b = -1.464 - -17.389. Let r = 0.075 + b. Let a be 16/44 + (-2)/11. Is a != r?
True
Let i be 77856/(-5) - 4/(-20). Let m = i - -31711/2. Let a = -279 + m. Is 6 at least as big as a?
True
Let o be 18/(-63) - 1*1434/(-21). Let a = o - 65. Suppose -q + a*f + 3 = f, -2*q - 2*f = -6. Which is greater: -3 or q?
q
Suppose 2*t + 29 = 4*o + 3*t, -o + 5*t = 19. Let x(f) = 9*f**2 - 6*f - 1. Let q be x(o). Suppose q = -27*a + 20*a. Which is smaller: -40 or a?
a
Let r be (12 - 9) + (-3 - 0). Let h(s) = 2*s**2 + 4. Let l be h(r). Let y be 3/l*(-12)/630. Is 1 greater than or equal to y?
True
Let r = -39.143 - -38.8. Let s = r + 0.213. Is 10 != s?
True
Suppose 150*y + 10664 = -22*y. Are -62 and y equal?
True
Suppose -2*t - x = 2*x + 20, -t = x + 10. Let o(h) = 411*h**3 - 18*h - 822*h**3 - 9*h**2 + 410*h**3 - 2. Let c be o(-4). Is t at most c?
True
Let q be 17100/19*(-5 + 2924/580 - 0). Which is bigger: q or 37?
q
Suppose 3*v = 14*v - 33. Let z be v/2 + -267*(-2)/(-12). Suppose -2*y - 35 = 51. Is y at most z?
True
Let p = -3.04327 - -0.04327. Suppose 0 = 4*m - 12 + 4. Which is greater: m or p?
m
Let m(t) = -34*t**2 - 15*t + 27. Let v(y) = -34*y**2 - 16*y + 26. Let q(r) = 4*m(r) - 3*v(r). Let f be q(-10). Let u = 61736/19 + f. Is 0 at most as big as u?
False
Suppose -12821 - 137791 = -326*w. Is w < 33?
False
Let p = -2898 - -298458/103. Which is bigger: 2/7 or p?
2/7
Let x = -14479/5 + 118397/40. Is 0 greater than x?
False
Suppose 5*m - 5*z = 55, 5*z + 23 = 3*m - 18. Is m >= 361/59?
True
Let r be 1*4/(-12) + (-70)/(-21). Suppose 2*z + 23 = r*u - 31, 5*u = -z + 103. Is u greater than 21?
False
Let j be (-1890)/2100 + 1 + (-4)/(-10). Suppose -3*b + 2*b - 74 = n, -4*n + 166 = -2*b. Is b >= j?
False
Let n = -5705/4 + 1397. Let i be (-4)/(-6)*(-870)/20. Are i and n nonequal?
True
Let v = 84.09 - -3.11. Let s = -23.2 + v. Which is bigger: s or 1?
s
Let l(v) = -80*v**3 + 3*v**2 + 7*v - 3. Let g be l(-3). Let x = 3502 - g. Suppose -r = 12*r - x. Is 104 bigger than r?
True
Let g = 94 - 94. Let s be g*(-5 + 105/20). Is s bigger than -1/241?
True
Let i(f) = -9*f + 37. Let m = -645 - -648. Let u be i(m). Which is greater: u or 9?
u
Let z be (-16)/4 - ((-167368)/(-3))/(-8). Let o = z + -7035. Which is bigger: o or -64?
-64
Let m = -6.036 + 5.186. Is m greater than or equal to 0.113?
False
Let x(p) = p**2 + 13*p + 20. Let v be x(-8). Let s = 38 + v. Is s bigger than 13?
True
Let s = 26421 - 26422. Do -3/275 and s have the same value?
False
Let w = 1457 - 1457.687. Let f = -0.277 - w. Which is smaller: 0 or f?
0
Let c(h) = -53*h - 18. Let v be c(-1). Suppose -4*g = -3*a - v, -g = 4*a - 4*g + 49. Which is bigger: -10 or a?
-10
Suppose -1103*f = -1041*f - 930. Which is greater: f or 27?
27
Let j(n) = -44*n**2 - 50*n + 104. Let s be j(-7). Is -2/3 <= s?
False
Let g be (-15 - -11) + 92/2. Suppose -g = -49*n + 252. Which is bigger: 2 or n?
n
Suppose -236 = -6*z - 68. Let m be 218/z*((-36)/(-16))/(-9). Let t = 18/7 + m. Which is bigger: t or 0?
t
Suppose 57 + 9 = 15*s + 6. Which is smaller: -88/9 or s?
-88/9
Suppose -4*o = -8, 2*l + 3*o - 4682 = -0*o. Let w = -86513/37 + l. Let h = w + -62/259. Is 3 less than or equal to h?
False
Let c = -16.725 - 84.275. Let f = -196 - -96. Let k = f - c. Which is smaller: -69 or k?
-69
Let t be (-180)/450*-5*2. Let l be ((-40625)/(-6290))/(-13) - (-2)/t. Is l > -0.1?
True
Let n be (-13)/18 + 4/18. Let z = -2186.36 + 2136. Let w = -4.36 - z. Which is bigger: n or w?
w
Let n(w) = 3145*w - 5485. Let b be n(2). Which is greater: 808 or b?
808
Let s(p) = 230*p**3 - 4*p**2 + 2*p - 3. Let m be s(1). Is m greater than or equal to -6?
True
Let q = -18 - -6. Suppose -5*i + 35 = -5*v, -1447*v + 39 = -1452*v + 3*i. Is v >= q?
True
Suppose -7*j + 3*j - 4*y = 68, 0 = 5*j + 2*y + 79. Suppose -12*w + 705 = 3*w. Let z = -62 + w. Is z smaller than j?
False
Let p(y) = y**3 - 17*y**2 + 15*y - 39. Let d be p(13). Let s be ((-1)/(-14) - 0)/((-5)/d). Let z be (-5)/((-5)/3) - -5. Are s and z unequal?
True
Let r = 17 - 16.37. Let k = -24.37 - r. Let l = k + 25. Is l greater than -10?
True
Let k(a) = 413*a**3 - a**2 + 52*a + 52. Let j be k(-1). Is j at most -2491/6?
False
Suppose -925 = -0*s + s - 2*u, 0 = 4*s + u + 3709. Let r = 999 + s. Is 72 < r?
False
Suppose 0 = -4*w - 0*w + 4*t + 28, -3*w = 3*t - 21. Suppose -2*c - w = -b + c, c = 4*b - 17. Let s be (b - (8 - 4))*-1. Which is smaller: 0.5 or s?
s
Let v = -1950 + 1949.8. Let b(h) = -4*h**2 - 5*h - 5. Let j be b(-4). Which is greater: v or j?
v
Let r(g) be the second derivative of g**6/180 + 4*g**5/15 - g**4/3 + 7*g**3/2 - 3*g. Let u(k) be the second derivative of r(k). Let a be u(-14). Is a <= -65?
False
Let k be (-216)/(-21) - 2/7. Let c be 2/6 - (21/k - 2). Let f = 4/15 + c. Is f <= 0.1?
False
Suppose 5 = 3*i + 2*i. Let q = 90 - -38. Let w = 131 - q. Is w greater than i?
True
Let x = 174.774 + -175. Let d = 1.226 + x. Is 143 at most d?
False
Let p = -230 - -200.8. Let n = 32 + p. Let i = n - 0.2. Which is greater: -0.1 or i?
i
Let n be 8/(16/(-3))*20/(-6). Suppose n*p - 96 = -i + 3*i, -121 = 3*i + 4*p. Is i at least as big as -43?
True
Let j = -1122 + 334. Let h = j + 95347/121. Is 2/5 bigger than h?
True
Let m(p) = -p - 10. Let y be m(-4). Let w(s) = -21 - 5*s - 5 - 11. Let t be w(-6). Which is smaller: t or y?
t
Let d = -165 - -76. Let f = 59 + d. Let z = -13 + -18. Which is smaller: f or z?
z
Let m = 10113/5 - 2022. Which is bigger: m or -0.675?
m
Let r = 91 - 86. Let d(v) = v**2 - 12*v - 8. Let j be d(13). Suppose 0 = 4*y - r*y + j. Do y and 5 have different values?
False
Let q = -15/4 + 87/68. Suppose 8*c = 2*u + 4*c + 16, -5 = -2*u - 3*c. Is q less than u?
True
Let l(v) = -v**3 - 7*v**2 - 8*v - 7. Let g be l(-6). Let p be (-21930)/(-48) - 1/(-8). Let i = -454 + p. Which is greater: i or g?
g
Let y be 8 + 17/(255/(-135)). Is -2/785 not equal to y?
True
Let k = 851.2 - 957. Let x = 106 + k. Is x greater than -3/50?
True
Let m(p) = p**3 + 3*p**2 - 9*p + 1. Let q be m(-5). Let n(j) = -11*j**2 + j - 1. Let f be n(1). Let y be 1/((-3 - q)/f). Which is bigger: y or -37/3?
y
Suppose -3*v - 3 = -0. Let i = 250939972/661001 + 4/60091. Let s = -380 + i. Which is smaller: s or v?
v
Suppose b - 252*d + 251*d = -4, 16 = -3*b + 4*d. Which is bigger: b or -19/62?
b
Let v = -21673 + 14793. Are v and -6880 nonequal?
False
Let d = 0.6375 - 9.5375. Is d != -4/5?
True
Let c(f) = -537*f + 1478. Let k be c(3). Is -1740/13 at most as big as k?
True
Suppose -2*k - 2*d + 125 = -d, -4*k = 5*d - 247. Let a be 1770/126 - 15 - (-2)/3. Is a != k?
True
Let n = -4.407 - -4.47. Is n less than or equal to 10?
True
Let u be 154/(-42)*(-12)/66 + (-8)/(-6). Which is smaller: 4611 or u?
u
Let c = -1.7305 - -16.7305. Is 0.331 at most c?
True
Suppose -4067 = -z + 5*n, -z + 4574 - 495 = -2*n. Is 4088 less than z?
False
Let n = -4576 - -4394. Is n less than -182?
False
Let y = 2456/9 + -4687/18. Let t be 2/8 - 34/8. Is t < y?
True
Suppose 2*y - 96 = -2*i, 4*y - 4*i = -47 + 223. Let s = 21 - 17.1. Let x = s - 4. Is x smaller than y?
True
Let w(s) = s**2 + 12*s - 4. Let k be w(4). Suppose 10*y + k = 7*y. Let t = -27 - y. Which is bigger: -39/5 or t?
t
Let g(c) = -2*c**2 + 2*c. Suppose -4*i = -7*i. Suppose 0*y + 4*y = i. Let v be g(y). Which is smaller: 4/21 or v?
v
Let j = -610 + 624. Suppose 12 = -j*c - 2. Does c = -4/319?
False
Let v be