2 + 8*t + 9. Let w be a(g). Let l be -2 - ((-384)/87)/w. Which is bigger: -1 or l?
l
Let i be (-3)/(-15) + (-49)/(-280). Let w be -1 + (2 + 1 - 1). Which is smaller: w or i?
i
Suppose 5*p - 3*s = -0 + 4, -3*s + 14 = 4*p. Suppose 5*i - i - 4 = -2*o, -4*i - 5*o + 10 = 0. Suppose i*t = -p*t, 0 = -3*r - t + 6. Which is smaller: 3 or r?
r
Let r(v) = v**3 - 4*v**2 + v - 2. Let o be r(4). Let t be (-222)/54 + 8/o. Suppose 3 = -3*w + 6. Is w at most as big as t?
False
Let h be (-2)/(-9) - (-6200)/(-22878). Suppose 5*a = -4*i + 5 + 12, 0 = 5*a - 5*i + 10. Which is greater: h or a?
a
Suppose -2*k - 4*b - 1 = 3, -5 = 3*k + 5*b. Let t be 2 - 1 - (8 + k). Let s be (4 + -1)*t/(-3). Do 0 and s have the same value?
False
Suppose 5*v = -9 + 59. Let d = 1225 - 1214. Is v at least as big as d?
False
Let a = -29.33 - -0.33. Let f = 29.8 + a. Suppose 2*c + 9 = -3*v, 12 = 4*c + c - 4*v. Are f and c nonequal?
True
Let j be 6 - 6 - (-4)/(-74). Let u = -45/148 - j. Is u >= -1?
True
Let h be 9660/17 - (-2 + 1). Suppose -12*z = 22*z + 19346. Let r = z + h. Which is smaller: -1 or r?
-1
Let n be (-2)/(-5) - (-454)/(-10). Let v = n - -45. Which is bigger: v or 2/5?
2/5
Let j = -64 - -90. Suppose 3*n = 2*d + 2*n - j, -10 = -5*n. Which is smaller: 13 or d?
13
Suppose 3*v + 1 = 7. Let n = -1/60 + -113/420. Is v less than n?
False
Let l be (-11)/(715/8310) - 14/91. Which is smaller: -126 or l?
l
Let n be (-589)/(-1140) + 18/24. Is n less than or equal to 0?
False
Let r = 0.0194 - 1.0194. Do -943 and r have the same value?
False
Let h be (-2 - -1) + (-6)/(-6). Suppose 0*a + 2*a - i = 6, -a - 3*i + 10 = h. Suppose 41 = 4*z - r, -4*r + 0 = a. Is z greater than 10?
False
Let t be 10/(-45) + 83/9. Suppose -2*p + 6 = 4*l - 0*l, t = 3*p. Is l at least as big as 1/8?
False
Let c = 1209 - 1210. Is 270 < c?
False
Let v = -276 - -275. Which is bigger: v or -9/22?
-9/22
Let j be (-1470)/(-189)*12/91. Is 2 bigger than j?
True
Let j = 17.93 - 18. Suppose 4*h = -0*h + 12. Suppose 1 = 4*g - h. Is j less than or equal to g?
True
Let p = 372 - 1114/3. Which is smaller: 11/3 or p?
p
Let v be ((-18)/10)/((-10)/25). Which is bigger: v or 5?
5
Let z be (3*2/(-3))/((-10)/(-2)). Which is bigger: -79 or z?
z
Let p be (-1 + 3/(-12))*-4. Let v be (36/(-90))/((-4)/p). Are v and -6 unequal?
True
Let g be 882/(-2) + -10*(-18)/30. Is g not equal to -437?
True
Let t(x) = 5*x - 6*x + 1 - 3 + 3. Let d be t(-3). Let k = d + -3. Is k greater than or equal to 4/19?
True
Let i = -511/130 + 37/10. Which is greater: 1 or i?
1
Let o = -4/137 + -97/1370. Is o > 0.38?
False
Suppose 0 = -23*y + 1454 - 8975. Which is bigger: y or -325?
-325
Let y = 8.2 + -9. Let w = 0.2 - y. Let m be (-12)/(-24)*6*-1. Which is smaller: m or w?
m
Let c = 48 + -44. Let z be (-12)/(-18)*(-3)/10. Is c <= z?
False
Let j = 0 + 3. Suppose -4*l = 2*i, -7*i - 5*l + 6 = -j*i. Suppose 12 = -0*a - i*a. Does -3 = a?
True
Let n(y) = 2*y**2 - 3*y. Let i be n(2). Let m = 8.996211 + 0.003789. Which is greater: i or m?
m
Let g(v) = -v**3 - v - 4. Let r be g(-2). Suppose r*a = 5*a - 21. Is -21 >= a?
True
Suppose -1620 = -7*k - 3*k. Suppose -7*i = 29 - k. Is i at most 19?
True
Let t = -2.5 + -0.8. Let f = t - -3.3. Is -26 less than or equal to f?
True
Let z = 1.098 + -0.098. Is -16.4 at most as big as z?
True
Let w = 115 + -125.4. Let b = w + -21.9. Let r = 34 + b. Is 2/5 equal to r?
False
Let m = -335 + 337. Which is bigger: 21/31 or m?
m
Let n be (-6)/10 + (-162)/30. Let o = n - 59. Let g be (-3)/(-10)*o/26. Is -1 bigger than g?
False
Let p(f) = 1 + f - 2*f - 4 - 4. Let a be p(3). Let d be (6/40)/(4/a). Does d = -1?
False
Let k = -20 + 15. Let w = k - -7. Let a = 13 - 9. Is a > w?
True
Let u(i) = 47*i - 38. Let q be u(6). Which is bigger: q or 247?
247
Suppose 0 = 4*p - 7 + 3. Let m(i) = 3*i**2 - 2*i + 1. Let b be m(p). Suppose 4 = -3*u - b. Which is greater: 2 or u?
2
Let v = 48 - 81. Which is smaller: 1 or v?
v
Suppose s - 43 = -3*w, -4*w = -2*s - 62 - 2. Let o be ((-4)/(72/30))/(1/w). Is o smaller than -25?
False
Let k(g) = -g**3 - 21*g**2 - 5*g + 77. Let t be k(-15). Is -1199 at most as big as t?
True
Suppose -12 = j - 3*n + 9, 22 = -2*j + n. Let o(k) = 21*k + 22. Let c be o(-4). Let y be 9/(-36) + c/8. Is j at least y?
False
Suppose 20 = 5*q + 2*b, -4*q + 16 = 3*b - 7. Suppose -y + 25 = 4*y + 5*t, 2*t - q = 0. Suppose -y*c + 6*c - 22 = 0. Which is smaller: 12 or c?
c
Suppose -2*c + 18 = 4*c. Suppose 6*m - 3*m - c = 0. Let j be 0*(-2)/(-2)*1. Are j and m nonequal?
True
Let o = -0.92 - -1.12. Do o and 17/3 have the same value?
False
Suppose 35 + 19 = 6*a. Suppose -a + 12 = -3*z. Let s be 2 - (20/7 - 0). Is s greater than or equal to z?
True
Let i(t) = t**2 - t - 2. Let c(z) = -z**2 - 9*z + 7. Let q be c(-8). Suppose 0 = p + 2*g, 4*p - 2*g = -5 + q. Let w be i(p). Which is bigger: -3/7 or w?
w
Let c be (3/4)/((-685)/(-16) - 1). Which is smaller: 0 or c?
0
Let q be (-1)/(4/(12/9)). Which is greater: q or 122?
122
Suppose 0 = -5*f + u + 22, f + 3*f = 2*u + 20. Let m(z) be the first derivative of z**4/4 - 2*z**3 + z**2/2 - 2*z + 2. Let y be m(6). Does y = f?
True
Let x = -1547 - -1476. Which is smaller: -70 or x?
x
Suppose 5*o + 20 = 0, -p - o - 2 = -0. Suppose -1 + 5 = p*g. Let c be -8*(12/20 - 1). Is c greater than g?
True
Let r = 140 + -137. Suppose -4*c + 22 = -6. Is c at least as big as r?
True
Let i = -73/27 - -124/27. Suppose -2 = 4*h - 6. Which is smaller: h or i?
h
Let z be 2954/105 + -6 - (2 + 0). Let i = z + -58/3. Let k be ((-1)/2)/((-1)/2). Which is smaller: k or i?
i
Let n be 0 + 0 + (-1 - -1). Let k(j) = j**3 + 16*j**2 + 36*j - 42. Let a be k(-13). Is n bigger than a?
True
Suppose 2 = -2*t, 5*w + t + 27 = -14. Is w bigger than -2.8?
False
Let y = -1 + 3. Let b be (-2)/(-10)*(y + -4). Let c be (0/4 + (-1 - 2))/3. Is c < b?
True
Let w be (119/28 - 5)/((-2)/88). Let v = 0.6 + 0.4. Is v < w?
True
Let g be 2/(-9)*35/(-14). Let t = 2 + -2. Which is bigger: g or t?
g
Let z be (-3636)/(-84) + 2/(-7) + 1. Let h be -1 + 0 - (-4 - -1). Suppose -5*g = 4*s - z + 15, -h*s + 25 = -g. Is 11 smaller than s?
False
Let f be 2/8 - (-2)/(-8). Suppose f = g + 3*g. Suppose -p + 5*p = g. Is -6 at least p?
False
Let f be (-2)/1 + -2 + 6. Let q be ((-4)/(-8) + -1)/(f/20). Is q < -5?
False
Let k = -195 - -1367/7. Let a(x) = -3*x**2 + 47*x + 190. Let i be a(19). Which is greater: i or k?
k
Let j(y) = -59*y**2 + 125*y - 1. Let d be j(-2). Which is smaller: -489 or d?
-489
Let c(a) = -3*a + 1. Let k be c(9). Let s = -22 - k. Suppose -2*x = -s*y + 6 - 24, -x - 4*y - 3 = 0. Which is greater: x or 3?
x
Let d be 6*(2 + 15/(-9)). Suppose 5*a + 40 = 9*a. Let z be 10/(-12)*a/(-5). Is d greater than or equal to z?
True
Let w(z) = -2*z + 21. Let j be 124/14 - (-2)/14. Let k be w(j). Which is bigger: k or 2?
k
Suppose 15 - 9 = 2*u. Suppose u*c = c + 4*c. Let l be (-19)/(-17) + -1*1. Which is bigger: l or c?
l
Let l = 27.8 + -1.8. Let w = l - 26.1. Which is smaller: -3/2 or w?
-3/2
Suppose 4*x - 42 = -34, -x = -4*t - 2. Let a be 4/6 + 34/(-33). Which is greater: t or a?
t
Let y(c) = -c**2 - c - 1. Let l(n) = 2*n**2 - 11*n - 13. Let q(t) = -l(t) - 3*y(t). Let o be q(-13). Let p be -3*o/(-27)*33. Which is greater: 9 or p?
p
Let i = -287 - -286. Which is smaller: -0.004 or i?
i
Let y be ((-9)/(-6) + 0)*(2 - 4). Suppose -3*i + 7*i - 4*m = -32, -26 = 4*i - m. Let g be 2/i + 56/(-12). Which is bigger: g or y?
y
Suppose 196*a + 2366 = 287*a. Which is smaller: a or 82/3?
a
Let o = -0.207 - -2.207. Which is bigger: -0.2 or o?
o
Let r be 23320/318*(-3)/2. Which is smaller: r or -108?
r
Let s = -20 + 24. Let n be 16/s*1 + -4. Which is smaller: n or -1?
-1
Let c be (-17)/(-21) + (-7)/7. Let n be (0/(-3) - -1 - 3) + 2. Which is greater: n or c?
n
Let v be 20/10200*-10*(-3)/(-1). Which is greater: v or 3?
3
Let t(w) = 9*w**3 - w**2 - w + 1. Let n(m) = m**3 - 6*m**2 + 4*m + 6. Let d be n(5). Let a be t(d). Let s(z) = z - 8. Let l be s(a). Is l < 2/27?
True
Suppose 7 - 22 = -15*d. Let q = -259/646 - -19/34. Do q and d have the same value?
False
Suppose -5*k - 16 = -k. Let s = k + 3. Let c be s/(-4) + 90/(-40). Which is smaller: c or 0.2?
c
Let k be 148 + ((-6)/6 - 3). Is k at most as big as 2/5?
False
Let w be 9/(99/(-11))*1. Is 3/41 less than or equal to w?
False
Let a(g) = g**3 + 11*g**2 -