t g = -13 + 16. Which is smaller: 14/9 or g?
14/9
Let l = 149 - 1046/7. Are l and 0 equal?
False
Let o be 5408/(-143) - 2/11. Is -37 < o?
False
Suppose t + 0*h - 5*h + 68 = 0, h = 4. Let g = t - -146/3. Which is smaller: g or -6?
-6
Let o = -15 - -31/2. Let l(j) = j**2 + 3*j. Let m be l(-4). Let w(k) = 2*k - 6. Let n be w(m). Which is bigger: n or o?
n
Let f be 6/10 - 56/(-40). Suppose 2*l = 3*x - 7 - 0, -l = f*x - 14. Do l and 4 have the same value?
True
Suppose 0 = -4*k - 5*c - 10, 5*c - 2*c = 4*k - 6. Which is smaller: k or 3/5?
k
Let o be 2264/(-2156) + 2/2. Let y = o - -1/11. Which is smaller: 1 or y?
y
Let q(k) = -k**2 + 9*k - 8. Let n be q(11). Let c be (6/(-30))/(4/n). Do c and 1 have the same value?
False
Let z be (-1)/(-2) + (-2)/4. Let h(c) = -136*c + 1. Let w be h(1). Let k = w - -1077/8. Is k bigger than z?
False
Let g be 86/(-14) + 6 + -2. Which is greater: g or -3?
g
Suppose d - 147 = -5*z - d, -z - 2*d + 23 = 0. Which is smaller: -0.1 or z?
-0.1
Let b = 14 - 13. Which is greater: -53 or b?
b
Suppose 2*j - x = 6, -2*j - 2*x + x = -14. Which is smaller: 37/7 or j?
j
Suppose -3*w + 10 = -2*i, -30 = -5*w - 5*i - 5. Suppose 0 = w*t - 0 + 4. Which is bigger: t or 1/3?
1/3
Let o be (-3)/6*-4 - 15. Let l be o - -10 - 3*1. Which is smaller: -7 or l?
-7
Let o(l) be the third derivative of -2*l**2 + 0 + 0*l + 0*l**3 - 1/20*l**5 - 1/24*l**4. Let q be o(-1). Is q greater than or equal to -3?
True
Suppose -3*c - 25 = r, -3*c + r - 26 = 3*r. Let h(n) = -n - 17. Let j be h(-8). Which is smaller: c or j?
j
Let a be (-4)/(-1 - (-21)/15). Let o = 14 + a. Let k be 4/6 + (o - 5). Which is smaller: k or 0?
k
Let t = -66 - -65. Suppose 0 = 3*z + 4*c - 10, 2*z + 0*z - 8 = -3*c. Which is greater: z or t?
t
Suppose 0 = 2*a - 0*a + 14. Let q(c) = -c - 11. Let s be q(a). Which is bigger: -2 or s?
-2
Let n be 4/(-8) + 1/(-2). Which is smaller: n or 1/4?
n
Suppose -z - 5*m = -20, 3*z + z - 4*m + 40 = 0. Which is smaller: z or -3?
z
Let j(w) = w**3 + 10*w**2 + 8*w + 24. Let b be j(-9). Which is greater: 35 or b?
35
Let n(f) = 2*f**2 - 2*f - 1. Let o be (1/(-2))/(1/2). Let u be n(o). Suppose -u = -d + 3*p + 1, p - 2 = 2*d. Is -2 < d?
False
Let c = -95 - -94. Which is greater: 22 or c?
22
Let m = -1377/7 - -197. Let z(s) = s**3 + 2*s**2 - s. Let g be z(1). Suppose -g*q + q + 2 = 0. Is q smaller than m?
False
Suppose -4*k = -8*k. Let p be 4*(k + -2)/4. Is -3 >= p?
False
Let i = 3 + -5. Let v be i/1 + (-1 - -4). Let x be (-56)/(-171) + 2/(-9). Which is bigger: x or v?
v
Let o = 0.2 + 0. Let k = o - 0.4. Let s(f) = f**3 + f + 1. Let y be s(0). Which is smaller: k or y?
k
Let x = 2 - 3. Let k(c) = -c**2 - 6*c. Let y be k(-6). Suppose y = -2*m - 0*m + 2. Which is bigger: m or x?
m
Suppose -3 = -z, -5*z - 6 = -2*c - 15. Suppose 0 = c*b - 2*l - 1 - 0, 3*b - l + 1 = 0. Let d = 16 - 49/3. Which is bigger: b or d?
d
Let v = 25 - 18.8. Let a = -6 + v. Do 4 and a have the same value?
False
Let g be 2/3 - 4/3. Let u = 0.79 + -1.79. Are g and u nonequal?
True
Let z be 3/(-12) + 5/60*447. Is 38 < z?
False
Suppose -5*q - 21 = 4*p, -10 = 5*p - q + 9. Is 5/6 greater than or equal to p?
True
Let v be ((-1)/6)/(3/2). Which is smaller: v or -2?
-2
Let l = 4 - -13. Let f = l - 15. Is f bigger than 0?
True
Let j(v) = -v**3 - 9*v**2 + 11*v - 11. Let x be j(-10). Let l be (x/35)/((-9)/10). Is l bigger than 1/8?
True
Let s = -17 - -8. Let g = s + 9. Is g greater than or equal to 3?
False
Let l = 29335/8 + -3677. Which is greater: -9 or l?
-9
Let b = 526 - 521.23. Let s = -0.23 - b. Is -1 less than s?
False
Let g = 5 + -6. Let p be 0 + g + 0 + 0. Let k be ((-18)/15)/3 - 0. Is p less than or equal to k?
True
Let j = 7.5 - -0.5. Let a = 9 - j. Which is smaller: 5 or a?
a
Let h = 1 - -25. Are 0.1 and h equal?
False
Let c be 2 - 2/(-4 - -2). Suppose 0 = 5*y + 2*w - 2, 0*y = -2*y + 5*w - 5. Suppose 0 = -y*p - p + c. Is 3 greater than p?
False
Let g be 36/7*21/6. Let l = -19 + g. Which is smaller: l or -8?
-8
Let n be ((-3)/(-2))/(6/(-16)) + 3. Let t(i) = 3*i**3 - i. Let s be t(-1). Which is smaller: s or n?
s
Let n(j) = -j**3 + 6*j**2 - 4*j - 5. Let m be n(5). Let y(t) = -t. Let v be y(m). Which is smaller: 1 or v?
v
Let d(f) = -f**3 + 11*f**2 - f + 12. Let j be d(11). Let i be 1/(-2)*(-1 - j). Let y be i + 5/(-2) + 0. Is -1 <= y?
False
Let v(m) = -m. Suppose 0 = l + k + 5, -3*l + 0*k + 2*k = -10. Let q be v(l). Is q <= -2/3?
False
Let p = -35 - -25. Is p greater than or equal to -10?
True
Let y = 31 - 28. Which is greater: -1 or y?
y
Suppose -4*t + 5 = -b, 5*b + 3*t + 1 = -1. Which is bigger: b or 2/13?
2/13
Let f = 47/7 + -45/7. Is 8 greater than f?
True
Let h be (-5)/((-4)/8 + 0). Is h at least as big as 9?
True
Let t = 1 - 0. Let h = 0 - -2. Are h and t equal?
False
Suppose 0 = 50*f - 45*f + 5. Which is greater: f or -2/47?
-2/47
Suppose 6*c - 8 = 14*c. Let s be 174/(-510) + (-2)/(-5). Which is smaller: c or s?
c
Let z = -67/63 - -2/7. Let w = z + 1/9. Suppose 5*c + 5*x + 20 = 0, -2*x + 3 - 11 = 0. Which is greater: c or w?
c
Suppose -3*l + 4*r - 1 = -23, 2 = -3*l - 2*r. Which is smaller: 1 or l?
1
Let i be (-65)/30 - 2/(-12). Is i less than -3?
False
Suppose 0 = -3*r - 5*i + 66, -3*i + 110 = 5*r - 4*i. Let v = -16 + r. Let b = 6 - v. Is b not equal to -1/3?
True
Let t(g) = 6*g + 7. Let c = -29 - -21. Let w be t(c). Let m be -3 - (121/w + 0). Is m < -1?
False
Let d be 36/81*(-3)/(-38). Which is bigger: 1 or d?
1
Suppose 6*m = 26 - 8. Which is smaller: m or 2?
2
Let t(j) = j**3 + j**2 + 2*j + 1. Let g be t(-3). Which is bigger: -22 or g?
-22
Let d = -17634/7 - -2512. Is -8 at most d?
True
Let p be ((-1)/1)/((-2)/4). Let s be p*1/(-7 + 1). Suppose 8*k + 4 = 4*k, 2 = 5*l - 2*k. Is s equal to l?
False
Let p be ((-3)/2)/((-150)/40). Let a(o) = 4*o**3 - 2*o**2 + 2*o - 1. Let v be a(1). Does v = p?
False
Let d(m) be the second derivative of -m**5/20 + 5*m**4/12 - m**3/6 - 3*m**2/2 + 5*m. Let o be d(3). Which is smaller: 11 or o?
11
Suppose 5*p + 5*q = 130, 10*q + 38 = 2*p + 5*q. Let h be (20/8)/(2/p). Let a be 8/h*(-9)/(-6). Is a < 0.1?
False
Suppose 6*o - o = -5*s, 5*s + 2 = -4*o. Let p be o/4 - 10/(-4). Suppose -p*r - 4 = -1. Is -1 < r?
False
Let o be ((-3)/4)/(1/(-4)). Suppose 3*i - 19 = -b + o*b, i = 2*b + 9. Suppose 2*m = i*m. Is m at least as big as -1/3?
True
Let z = -56 - -279/5. Which is bigger: z or 0?
0
Suppose 3*m = m - 24. Let v = -15 - m. Which is smaller: -2 or v?
v
Let n = 55 - 36. Let i = n - 16. Which is smaller: i or -0.3?
-0.3
Let j = 1/2455 + -12302/66285. Let a = j - 2/135. Suppose -4*m + 2*l - 6 = -2*m, 3*m - 15 = -5*l. Is a smaller than m?
True
Suppose -2*z - 2*z - 16 = -l, 3*l + z - 9 = 0. Let h be 52/(-5) - l/(-10). Let n(m) = -m**3 - 11*m**2 - 9*m + 13. Let y be n(h). Is 3 > y?
False
Let q be (14/189)/(1/(-3)). Which is smaller: q or 2?
q
Let v be (-1)/(0 + (-1)/4) + -3. Are 2/41 and v equal?
False
Let s = 0.11 - -10.89. Let v be ((0/(-2))/5)/1. Which is greater: s or v?
s
Let c = 9 + -9.3. Suppose g - 4*g + 6 = 0. Let i be 0*((-3)/g - -1). Are i and c unequal?
True
Let j be (-34)/36 - (-2)/4. Suppose 0 = 4*u - 0*u. Which is bigger: u or j?
u
Let r = 4.7 + -3.8. Is 0.1 less than r?
True
Suppose -5*b = d + 33 - 7, -5*d = 4*b + 25. Let u be (2 - d)/(6/(-16)). Let g be 3/4*u/(-9). Which is smaller: g or -2?
-2
Suppose l + 5 - 1 = 0. Is -4 greater than or equal to l?
True
Let l = -99/7 - -275/14. Let p = -12059/8 - -1502. Let w = l + p. Which is greater: 0 or w?
w
Suppose -2*t + 5 = -5. Suppose -2*h = -t*c - 3, -2*h = 2*c - 4*c. Is h > -2/23?
False
Suppose -3*h + 4*u = -13 - 28, 4*u = h - 27. Let c be h/(-4)*(-28)/(-21). Which is smaller: -2 or c?
c
Let h(t) = 3*t. Let w be h(2). Is 6 < w?
False
Let r be 1/((-9)/21) - (1 - 4). Let t be 3/((-6)/(-8)) - 0. Suppose -2*n - t = -2*w, -n = 5*w - 3*n - 4. Is w less than r?
True
Let w = 12731/21 + -606. Let i = w - 41/84. Is i not equal to 0?
True
Suppose -j - 3*u = -u + 2, 0 = 2*j + 2*u. Suppose -5*g + 6 = -2*g - 3*t, -j*g - 2*t + 12 = 0. Let z be (1 - 1/(-1)) + 1. Are g and z non-equal?
True
Let s = -0.4 + 0.5. Let i = -0.2 + s. Let v = 0.2 + i. Which is smaller: v or 2?
v
Let k(l) = -l**3 - 4*l**2 + 7*l + 10. Let n be k(-5). Which is smaller: 2 or n?
n
Let a be (6/(-10))/(5/(-50)). Suppose -2*m + 22 = 4*w + 4, 0 = -2*m + 