)). Let s = 137 + y. Which is bigger: s or -19/3?
s
Suppose 3*l - 2*l = -3. Let s be (5372/(-22) - 6) + (-4)/(-22). Let g = -2748/11 - s. Which is smaller: l or g?
l
Suppose 2*a + 6 = 4*l, -37 = -3*l - 3*a - 2*a. Let p be (-116)/(-408) + l/(-24). Let v = 2 + -2. Which is smaller: v or p?
v
Let d = -68 - -66. Let x be (-5)/20 - (-646)/8. Let p = 79 - x. Which is smaller: d or p?
d
Let f = -432 + 165. Which is greater: f or -269?
f
Let i be 3 - 5 - (-1 - 183/189). Suppose 1 = k - 0*k + q, 0 = -4*k + q + 4. Which is bigger: i or k?
k
Let y be 3*128/(-180) - -2. Let w = -5 - -5.2. Is y at least w?
False
Let z be (4 + -5)/(2/(-2644)). Let l = -32/6611 + -61032528/46277. Let x = z + l. Which is smaller: 3 or x?
3
Let h = -10 - -1. Let u = h - -13. Let q = u + 0. Which is smaller: q or -1/3?
-1/3
Let i = -3 - -7. Suppose -i*o + 2*o = 0. Let m be 1/(((-18)/(-14))/(2/7)). Which is bigger: o or m?
m
Let w be (-16)/48 + (-118)/(-3). Let m be (-188)/w - 12/(-78). Is -5 at most m?
True
Let f = -36 - -44. Let x be f/60*3 - 128/370. Is 1 greater than x?
True
Let y be 33*(-5)/(-125)*-181. Let n = 239 + y. Does 0.4 = n?
False
Let b = -410 + 411. Is -1/119 at most b?
True
Suppose a - 4 = 2*a. Let f = -6886/111 + 100/37. Let j = 60 + f. Is j equal to a?
False
Let v = -10914 - -10795.93. Let a = v + 118. Is a at least 0.8?
False
Let r = -136176 - -2724123/20. Let v = r - 115/4. Let f(y) = 3*y + 4. Let q be f(-1). Are v and q nonequal?
True
Let t be 51*(80/24)/(-10). Which is greater: t or -16?
-16
Let u = 8.85 - 4.85. Which is smaller: -0.2 or u?
-0.2
Let q be 5/(-5)*(-42 + -1). Suppose -q = -4*c + 5*l + 2, -c + 5*l = 0. Is c >= 13?
True
Suppose -k - j = -5*k - 54, 4*k + j + 58 = 0. Let n be k*(12/(-4) - -4). Is -12 at least n?
True
Let k = -833.8 - -834. Which is greater: 0.293 or k?
0.293
Suppose p + f + 0 - 9 = 0, -3*f - 5 = -5*p. Let y(z) = -2*z**2 + 5*z + 9. Let q be y(p). Do q and -5 have the same value?
False
Let c = -24.5 - -7.4. Let w = 14 + c. Is 0.1 > w?
True
Suppose 3*l + 13 = -5*s, -5*l - 2*s = 2*s. Suppose -4*f - 20 = 4*m, m + m + 18 = -l*f. Let t(z) = 3*z**2 + z. Let o be t(m). Do o and 2 have the same value?
True
Suppose -21 = -5*d - 3*v, v - 16 = -2*d - 4*v. Let o = 295/198 - -1/99. Which is smaller: d or o?
o
Let c = 291.9 + -273. Let u = 19 - c. Let y = 0.1 + 0. Is y >= u?
True
Let d = -574 - -9766/17. Is d at least as big as 2?
False
Let w(u) = 7*u**3 - 2*u**2 - 60. Let v be w(0). Which is smaller: -54 or v?
v
Let a(f) = f**3 - 5*f**2 + 5*f - 2. Suppose 5*c - 10*c = -20. Let h be a(c). Let j be 3 + h/(20/(-26)). Which is smaller: j or -1?
-1
Let d be 650/1820*(-4)/30*-6. Let z = 0.24 - 0.2. Is d equal to z?
False
Suppose -131 = 3*p + 5*g, 2*p + 5*g + 37 = p. Let k = 55 + p. Which is greater: k or 6?
k
Let i = -17 - -29. Suppose 0 = -15*t + 18*t + i. Is -4 smaller than t?
False
Let z = 113 + -87. Is 29 at most as big as z?
False
Let s be 2323/(-69) + 4/(-2). Are s and -37 equal?
False
Let d = -56 - -50. Let q = -5.7 - d. Let v = 3 + -2.7. Are v and q unequal?
False
Let z(p) = -9*p + 2*p + 2 + 24*p**2 + 4*p. Let y be z(1). Is y bigger than 24?
False
Let m = -1616 - -1617. Do m and 3/10 have the same value?
False
Suppose 3*u + 1 = -2*u + 4*a, 3*u = 3*a. Let i = 36161/3881880 - 2/11835. Let s = i - -15/41. Is u less than or equal to s?
True
Let d be (1 - -1)*(-15 + 1498/4). Do 720 and d have different values?
True
Suppose -4*t + 53*h - 51*h - 54 = 0, -5*h = t + 41. Is -19 > t?
False
Let k = 6419 - 26101/4. Is -105 at least k?
True
Suppose 151*p - 155*p = -16. Suppose 2*c = 4*c - x + 2, -p*c - x - 16 = 0. Is -3 < c?
False
Let w = 55 - 56. Let f(q) = 7*q**3 + 2*q**2 - 1. Let u be f(w). Which is smaller: 0 or u?
u
Let i be -1 + 3 - (574/290 + 0). Let m = -106/1885 - i. Let h(n) = -n**2 - 5*n - 4. Let f be h(-4). Is f less than or equal to m?
False
Suppose -c = -2*s - 9, -c - 2*s = 1 + 10. Let b be (0/c)/(-1) + -3. Let y be (b + (-96)/(-33))/1. Does y = -1?
False
Suppose 4*a - 1 = 7. Suppose -6 = -a*r, -21 = -3*t + 4*r - 87. Let p be 3/(-8)*6/t. Are p and 2/9 unequal?
True
Let y = -14 + -1. Let u be ((-12)/y)/(9/45). Is -2/5 not equal to u?
True
Let x(m) = -3*m + 6. Let r be x(2). Suppose 0 = -2*u - 4*c - 4, r*u - 2*u + 3*c - 4 = 0. Which is smaller: u or -1/7?
u
Let i = 5.3 - 5. Let l = -2493 + 209437/84. Let u = 1/28 + l. Which is smaller: i or u?
i
Let y = -49 + 47. Which is greater: y or 1/5?
1/5
Suppose 2431*l = 2428*l + 117. Is l at least as big as 44?
False
Let u be ((-3)/33 + 63/33)*-15. Which is smaller: -26 or u?
u
Let q = 857.2 - 942.34. Let x = q - -85. Is 0.3 at least x?
True
Suppose 279*u - 278*u = -10. Is u < -12?
False
Let p = 0.387 - 0.337. Is 5 less than or equal to p?
False
Let o(x) = -2*x**3 - 4*x**2 + 6*x. Let c be o(-4). Let g be (c/(-3))/5*3. Let l be g - (1 - -1 - 6). Are l and -8/3 equal?
False
Let t = 31221/25 - 1249. Let z = 1113962/393825 - 10/5251. Let n = t + z. Are n and 2 equal?
False
Suppose d - 5*i - 1346 = 0, 6388 = 4*d - 5*i + 974. Which is smaller: 1355 or d?
1355
Suppose 8*r = -18 + 34. Is 3/4 bigger than r?
False
Let t be 8 + (-1395)/(-681) + -10. Which is smaller: 0 or t?
0
Suppose -5*g = 2*n - 14, n - 4 = -4*g + 3*n. Suppose -32 = -7*v + 3*v + x, -x + 10 = g*v. Which is smaller: v or 4?
4
Let g(q) = 18*q + 46. Let n be g(10). Is n at most 225?
False
Suppose -6*t - 139 = 269. Is t less than -72?
False
Suppose 5*g - 95 = -4*r, 5*r - 75 + 215 = 5*g. Let y = -77 + g. Is y < -53?
True
Let i(r) = 2*r**2 + 2*r + 19. Let m(u) = u**2 + 1. Let s(d) = -i(d) + 3*m(d). Let n be s(0). Which is bigger: -17 or n?
n
Let g = -145.9 + 299.9. Does g = -4?
False
Let q be (0 - 10)*36/15. Let n be -3 - ((-4)/15)/((-2)/q). Let x = 0 - 0. Which is bigger: x or n?
n
Let t = 353 - 2473/7. Let s(g) = g**3 + 7*g**2 + 6*g - 1. Let i be s(-6). Which is greater: t or i?
t
Let j = -4 - -8. Suppose -2*c - 8 = -10*c. Suppose -j*t + 3 = -c. Which is smaller: 1/18 or t?
1/18
Let c = -171 + 162. Which is greater: -2 or c?
-2
Let o = 1734 + -2254. Do o and -520 have the same value?
True
Let o = 29.997 + -30. Let l = o - 13.997. Which is bigger: 2/7 or l?
2/7
Let a = -1/75 - -203/3975. Which is bigger: a or 0?
a
Let c = 53.7 + -64. Let x = -9 - c. Let d = x - 0.3. Are d and -1/6 unequal?
True
Suppose -2 = u + 4*f - f, -u = -4*f - 5. Suppose 0 = a - 4. Suppose r = -a*r. Is u not equal to r?
True
Let w(h) be the third derivative of -h**4/24 - h**3/3 + h**2. Let m be w(-1). Let q be (m/(-10))/((-2)/(-8)). Do q and 1 have different values?
True
Let q be 207/18*6/(-5). Let p = 72/5 + q. Is p bigger than 1?
False
Let m = 8.16 + -7.16. Which is smaller: m or -1135?
-1135
Let h = -453.2 - -498. Let f = h - 31. Let q = -14 + f. Is q less than -0.2?
False
Let p = 1635 - 1630. Which is bigger: p or -150?
p
Let n(y) = -3*y + 44. Let f be n(13). Suppose -f*j - 4 = 2*m + 6, 4*m = 4*j - 20. Is -1 >= j?
False
Let m(y) = -2*y**2 + 19*y + 22. Suppose 24 = 3*v + 3*w, -w - w = -3*v + 39. Let t be m(v). Is -12 at most as big as t?
True
Let o = -19 + 10. Let j = -91 + 99.98. Let i = o + j. Is 0 greater than i?
True
Suppose -6*k = -2*k - 8. Suppose k*l + 3*y + 19 = -2*y, 7 = -2*l - y. Let j = 0.06099 - -0.02901. Is j >= l?
True
Let r = -1020 - -1020. Which is smaller: r or 1/64?
r
Let j = -4728 - -4730.019. Let z = 0.019 - j. Which is greater: z or -8?
z
Let s be 1/(-9) - (-16)/((-1584)/(-44165)). Is s at least as big as 444?
True
Let d = -80 + 71. Does d = -12?
False
Let y be (96/(-21) - (-4)/7) + -87. Is y at most -87?
True
Let l(n) = -n**2 - 15*n - 17. Let a be l(-13). Which is smaller: a or -2.2?
-2.2
Let b = 9291/9425 + -29/325. Is 2 smaller than b?
False
Let j be 7 + -5 - (2 + 0). Suppose 5*n + 12 - 2 = j. Let k be 1/4*(0 - -3)/(-3). Is k at most n?
False
Let z = 40 - 31.25. Let u = z - -0.25. Let v = -20 + u. Which is greater: v or 2/3?
2/3
Let z(t) = -144*t + 113. Let v be z(0). Which is smaller: v or 0.07?
0.07
Let l = -123.2 + 123. Which is smaller: 0.9 or l?
l
Suppose -26 = -23*v + 66. Let x(j) = j**2 - 3*j - 4. Let n be x(5). Which is smaller: v or n?
v
Let k = 361 - 390. Are k and -121/4 equal?
False
Let w(l) = -l**3 - l**2 + 10*l + 10. Let s be w(-3). Let j be s + 1/(54/96). Let d be (-3)/(-3) - (-7)/(-8). Which is smaller: d or j?
j
Suppose -4*w = -l - 