l(24). Which is smaller: 0.3 or y?
0.3
Let k be (1/(-4))/(1 + 4/8). Which is smaller: k or -6?
-6
Let a be (-3 - -3)*(-2)/8*-2. Which is smaller: -1/364 or a?
-1/364
Let s = -1519 - -519. Is -999 at most as big as s?
False
Let a = 124 + -870/7. Which is greater: 0.08 or a?
0.08
Suppose 3*a - 6*x = -x + 11, 0 = 2*x - 10. Suppose -2*q + 12 = -0*q. Let w be 42/(-22) + a/q. Is -1 <= w?
True
Let m = -199 - -300. Let g = m + -2322/23. Which is smaller: g or 1?
g
Let b = 0.2 - 0.1. Suppose 4*f = -15 + 3, 3*f + 9 = 4*a. Let y be 30/(-20) + (a - -2). Which is greater: b or y?
y
Let i be (-4 - -6)/(2/8). Suppose -n - i = 3*d, 2*d - 8*n = -3*n + 6. Do 2/5 and d have the same value?
False
Let i be (-6 - (-37)/6)*5. Which is greater: 2 or i?
2
Let u = 286 + -106. Is u at least as big as -0.1?
True
Let m be (6 - 27/3)*34/(-3). Let s be m/36 + 5/(-10). Is 1 at most s?
False
Suppose -8*d - 11 = 5*v - 5*d, -v - d - 3 = 0. Which is smaller: v or -3?
-3
Let o = 12 + -8. Let t be -1 + (-2 + o)/(-2). Suppose -37*g + 3 - 38 = 39. Is g greater than or equal to t?
True
Let r = -42 + 36. Let l = r + 5.8. Let b = l - 0.3. Is 3 less than or equal to b?
False
Let o = -342 - -485. Which is smaller: o or 141?
141
Let t(h) be the first derivative of h**4/24 - 4*h**3/3 - h**2/2 + 3. Let n(z) be the second derivative of t(z). Let c be n(5). Is c smaller than -3?
False
Let n(y) = -38*y**2 - 3*y - 3. Let d be n(-1). Is d less than -21?
True
Let g(y) = y**2 + y. Let o(w) = 6*w**2 + 10*w + 3. Let z(l) = -5*g(l) + o(l). Let b be z(-4). Let d be (-1 - 1/(-4))/b. Which is smaller: d or 1?
d
Let u = 11 + -11. Suppose d - 4*k + 14 = u, 3*k - 10 = 2*d + 3. Let n be d/(-3)*(-5)/2. Which is greater: -2 or n?
n
Suppose 286 - 5230 = 48*z. Which is greater: z or 2?
2
Let r be 0 - ((-9)/27 + 236/(-3)). Let b = r - 79. Is -1/117 smaller than b?
True
Suppose -18 = -4*i - 7*z + 2*z, 4 = -2*z. Let p = 2 - i. Which is smaller: -29/5 or p?
-29/5
Let y(r) be the first derivative of -r**3/3 + 13*r**2/2 - 25*r - 35. Let z be y(12). Which is bigger: z or -14?
z
Let t be (-21)/15 - (-4)/10. Suppose 2*b = 23 - 11. Let g = -9 + b. Which is smaller: t or g?
g
Let j = 42 - 25. Let g = 17.2 - j. Which is smaller: 2 or g?
g
Let s be ((-12)/(-9))/(10/15). Let j be s*(32/10 + -3). Suppose 3*x + 0 - 3 = 0. Which is greater: j or x?
x
Let k = -1383/7 - -197. Which is smaller: 0.2 or k?
k
Let m = 30 - 34. Let d be ((-10)/15)/(m/6). Do d and 0 have the same value?
False
Suppose -13*w + 8*w = -10. Let j = w - 1. Suppose -j - 2 = -3*z. Is 3 < z?
False
Let u = 17 - 17. Suppose -48*o + 45*o = u. Let y = 1789/5 - 359. Does o = y?
False
Let j(i) = -2*i - 38. Let c be -3*(-19)/6*-2. Let l be j(c). Which is greater: l or -25?
l
Let k(f) = -f**2 + 21*f + 44. Let w be k(24). Let l(y) = y + 3. Let r be l(-4). Let s be w/(-176) - r/(-4). Which is smaller: s or 0?
s
Let r be 4/(-14) - 321/(-21). Let a = -5928 - -5943. Do a and r have the same value?
True
Let y be ((800/4)/4)/(1*-7). Do -8 and y have the same value?
False
Let u = 5 - 5. Let p be 9/2*70/(-105). Is u smaller than p?
False
Let l be (12/45)/((-124)/(-10)). Let r = 1235557/465 - 7972/3. Let w = r + l. Is w < 0?
True
Suppose -6*a + 70 = -2. Suppose -4*w + 4*q + a = 0, 4*w + w + 13 = -2*q. Which is smaller: w or -6/7?
w
Let q = -8480/3 + 2858. Let j be 38/4*(15 + -13) - -5. Let d = q - j. Which is smaller: d or 7?
7
Let d = -4 + 4. Suppose d = 3*x - 5*f + 20, 5*x + 18 + 12 = 5*f. Let u be 2 - 42/2*(-1)/(-3). Is x > u?
False
Let h be 5 - (-114)/(-22) - 8/77. Let q = 2 - -4. Which is smaller: q or h?
h
Let n = -138 + 136. Which is bigger: n or -36?
n
Let w(o) = o**2 + 12*o + 11. Let r be w(-11). Let l = 13 - 10. Let c be ((-8)/12)/((-10)/l). Is r greater than or equal to c?
False
Let n(y) = -35*y + 281. Let k be n(8). Which is smaller: -18/65 or k?
-18/65
Suppose -3*j - 3*x = -87, -5*x - 161 = -10*j + 6*j. Which is smaller: j or 31?
31
Suppose -77*o + 13*o = 8192. Is -128 > o?
False
Let y = -0.357 - -0.357. Which is smaller: -142 or y?
-142
Suppose 5*d - 3*b + 32 = 413, -d = b - 81. Is 80 bigger than d?
True
Let l be 1 - (10/3)/(-1). Suppose 1349 = -5*j - g, 10*j = 9*j - g - 269. Let h be (j/(-72))/(3/4). Is l < h?
True
Let g be (3 - 7)*(3/1 - 6). Suppose g = -5*x + 67. Suppose 2*y - 3*w - 36 = 0, -5*y - w + 48 = 2*w. Is y bigger than x?
True
Let d = -833 + 49148/59. Suppose m + 30 = 3*q + 17, 4*m - 2*q + 12 = 0. Is m at most as big as d?
True
Suppose 7*p + 24 = 3*p. Let j be (-63)/p*1/(-3)*2. Is -7 at least as big as j?
True
Suppose -4*n + 772 = 4*d, 0 = 7*d - 12*d - 3*n + 959. Which is smaller: 0 or d?
0
Let j be (-3)/6*(-5 - -5). Suppose 4*u - 6*u = j. Which is greater: u or 3/4?
3/4
Suppose o + 18 = 4*o. Let r be (-119)/84 - (-4)/o. Suppose 3*f - f = -4. Is r less than f?
False
Suppose 39*v - 21 = 46*v. Let l be (-12)/(-9)*87 + 3/v. Which is smaller: l or -2/7?
-2/7
Let i be (-3 + 5)*(155/(-25) - -5). Let z(s) = -s + 1. Let y be z(2). Is y smaller than i?
False
Let i = -9.7 - -6.7. Let h = -2.9 - i. Is h less than 0.5?
True
Suppose 5*c + 4*o - 7 = 0, 5*o - 16 - 3 = 4*c. Which is greater: c or -1/251?
-1/251
Suppose 4*q - 3*k = 1, 5*k = 3*q + 2*k. Let i = -99754/23545 + 2/1385. Let o = i + 3062/731. Is q smaller than o?
False
Let i(o) = -o**2 - 5*o + 64. Let j be i(6). Which is greater: j or 2/89?
2/89
Let x be 0 + (0 - 0) + 1. Let f(a) = -3*a + 95. Let w be f(31). Let d = w - x. Is d greater than or equal to 2?
False
Let l = -14 - -16. Suppose l*g - 1 = g. Suppose 3 = q, -5*v - 5*q + 4 = -g. Is v >= -2?
True
Let n be ((-6)/9)/(6/(-117)). Let s = n + 9. Is s greater than or equal to 22?
True
Let t(m) = -28*m**2 - 30*m - 18. Let x be t(-6). Do x and -846 have different values?
False
Let y = 485 + -492.86. Let d = y - -0.86. Which is bigger: d or 1?
1
Let p be (-25)/375 + (-508)/30. Is -117/7 bigger than p?
True
Let n be 1/(-4) + 14/56. Let p be 7 + 3/(-3) + n. Suppose -t - 3 = 5*v - p, -3*t - 2 = 4*v. Is 1/4 >= v?
False
Let z be (0 - 2)*(-9)/11. Suppose -3*q + 4*w = 17, -q - 18*w + 15*w = -16. Is z at most as big as q?
False
Let w be -1 + (6/(-21) - 6/(-21)). Let o be (-37)/(-4) + (-3)/12. Let d = o + -28/3. Does d = w?
False
Suppose 4 = -11*y + 7*y. Do -34 and y have different values?
True
Suppose -2*l - 6 = 0, -5*l + 14 + 3 = 2*m. Let k = 12 - m. Which is smaller: -26/9 or k?
k
Suppose -21*w = -15*w + 6. Let s be ((w + -8)*-1)/((-35)/70). Let b be 2/4 + 35/(-2). Is b > s?
True
Let m = -2384 - -2385. Which is smaller: -2/1427 or m?
-2/1427
Let f(b) = -36*b + 36. Let o be f(1). Which is smaller: 1/22 or o?
o
Let x(u) = u**3 - 7*u**2 + u - 5. Let b be x(7). Let g be 0 + b/10 - (-238)/35. Is g greater than or equal to 0.1?
True
Let j(k) = 2*k**3 - 3*k**2 - 3*k - 3. Let t be j(-2). Let m = -13 - t. Let d = 16 - m. Is 4 >= d?
True
Suppose -a - s - 3*s = 10, 2*a - 4*s = 40. Which is smaller: 2 or a?
2
Suppose 4*t + 2*v = 18, -27 = -5*t - 28*v + 24*v. Which is smaller: 63 or t?
t
Let j = 4.57 + -4.3. Let s = j + -0.09. Let p = s + -0.08. Which is greater: p or -6?
p
Let h be 1780/264 + -5 + 11. Let n = 5488 - 33005/6. Let k = n + h. Are 0 and k nonequal?
True
Let h = 11 - 3. Let b be ((-1)/(-5))/(h/(-20)). Suppose 2*m + 3*m = -5*c, 2*m = c - 3. Is b bigger than m?
True
Let l = -153 - -257. Which is bigger: 105 or l?
105
Let w be (22/(-88))/((-4)/(-32)). Is w bigger than -105?
True
Suppose -3*y - 7 = k - 0, 0 = -k - y - 9. Suppose 3*o = -26 - 4. Is k <= o?
True
Let s(i) = i - 2. Let p be s(1). Let a be -1 + p + 97/49. Let l = -152/245 - a. Which is smaller: -1 or l?
-1
Suppose -20 = -4*s - 16. Let r(v) = v**3 - 2*v - 1. Let m = -4 - -3. Let d be r(m). Which is greater: d or s?
s
Suppose 2*a - 5*y - 150 = 0, 4*a = -5*y + 130 + 140. Let l be 186/279*(-426)/(-4). Which is greater: a or l?
l
Suppose 140*q - 20 = 145*q. Which is smaller: -60/13 or q?
-60/13
Suppose 2*h - 17 = -3*r - 1, 5*h - 10 = 0. Let o be r + -7 + 4 - -2. Which is bigger: 2 or o?
o
Let w be (-2)/3*(-3)/1. Suppose 5*d - w*i - 4 - 1 = 0, 6 = 4*d - 2*i. Let n be (d/1)/((-8)/16). Which is smaller: n or -2?
-2
Let i(o) = 3*o**2 + 2*o - 1. Let h be i(1). Suppose 0*z = z - 1. Suppose 4*s - 2*n = -5*n - 4, -z = s - h*n. Which is greater: -1/8 or s?
-1/8
Suppose 4*m - 12 + 32 = 0, -2*y + 5*m = -37. Let g be 23/39 