 + 4. Let i = x - -17. Suppose 5*s = i*s. Is s < 3/7?
True
Let u = 4 - -2. Suppose 5 - 49 = -4*j. Do u and j have the same value?
False
Let v = 260 + -201. Is 59 bigger than v?
False
Let f be (-3)/(-5) + 15/(-25). Suppose z - 1 = -f. Which is smaller: 4/11 or z?
4/11
Suppose -17*w = -11*w - 6. Let k(p) = -p**3 + 10*p**2. Let h be k(10). Is h >= w?
False
Let w = -7 - -20. Suppose 6*z - 4*z = -2*a + 56, 0 = 5*z + a - 132. Let y = w - z. Which is bigger: -14 or y?
y
Let y = 15/83 + -2012/2407. Is y less than or equal to 0?
True
Let h be 20/234 + 8/36. Let b(v) = -v - 2*v - v**2 - 4*v + 7. Let s be b(-8). Which is smaller: s or h?
s
Let a be (-4)/2*2/4*-5. Let u be (-25)/(-45)*(-2)/a. Which is smaller: u or -62?
-62
Let c(q) be the third derivative of q**8/20160 + q**7/840 - q**6/45 + q**5/30 - q**2. Let i(t) be the third derivative of c(t). Let x be i(-8). Is -1 > x?
False
Suppose 0 = 3*y + 4*a - 11, 2*y - 4*a + 6 = -0. Suppose -4*d - y - 18 = 3*b, -12 = 3*d. Is b greater than or equal to -1/95?
False
Let g be (6 - 2)*(-7)/4. Let r = 104 - 111. Is r equal to g?
True
Suppose -2*j - 32*y - 20 = -28*y, -5*j - 5 = y. Which is greater: -9 or j?
j
Let x = -0.12 + 4.12. Let k = 3 - -1. Let w = k - x. Which is bigger: -2 or w?
w
Let q be -2 + (2 - 2) - 0. Suppose -11 = -3*h + 10. Let j = 5 - h. Is q less than or equal to j?
True
Let j = -2168 - -2166.05. Is j at least 0?
False
Let r be (-1)/2 + 6*(-6)/(-72). Let c be (r/(-6))/((-4)/(-2)). Which is bigger: -4 or c?
c
Let w = -1.6 - -2.7. Let y = -3.2 - -2.2. Let p = w + y. Is p < 2/3?
True
Let y be (40/(-36))/(2/(-3)). Let j be (-7)/2*6/(-42)*10. Let r be j + (-15)/3 - (-2 + 1). Are r and y unequal?
True
Let x = -1068 + 2135/2. Is x smaller than -0.06?
True
Suppose 0 = -11*k + 15*k - 280. Let u be 88/10*(-475)/k. Let d = 60 + u. Is d not equal to 9?
True
Suppose 0 = -5*o + 2*o + 4*z - 796, -5*o - 1308 = -2*z. Is -261 > o?
False
Let u be (-3)/(-6)*(1 + 10). Let z = -93 - -132. Let t = z + -32. Which is greater: u or t?
t
Let u = -9898108/273 + 36257. Let b = u + -2/39. Is b <= 0?
False
Let a = 36.3 - -10.7. Let z = -33 + a. Let c be (9/(-3 + 12))/(0 + -1). Is c less than z?
True
Let y = 65 + -86. Let i be 9/y - (-318)/105. Is i less than or equal to 3?
True
Let y be 26/(-910) - 6/(-14). Which is greater: y or 2/19?
y
Let w(h) = -h**3 + 5*h**2 + 4. Let n be w(5). Let l(d) = -2*d**2 + 8*d - 1. Let z be l(n). Which is greater: 1 or z?
1
Let q(n) = 7*n**2 - 7*n - 44. Let b(p) = 15*p**2 - 16*p - 89. Let w(u) = 6*b(u) - 13*q(u). Let f be w(-9). Is 0.13 > f?
False
Let v(f) = -2*f**3 - 21*f**2 - 9*f + 23. Let s be v(-10). Which is smaller: s or 12?
12
Suppose 30 = -3*o - 4*f - f, 0 = 5*f. Let j(c) = -23*c - 491. Let m be j(-21). Are m and o equal?
False
Let y be (69 - -214)*-1*1. Is y less than or equal to -283?
True
Let i be (115/(-299))/(3 - (-355)/(-115)). Are i and 3 unequal?
True
Let o(c) = c**3 - 19*c**2 + 29*c + 89. Let v be o(17). Which is bigger: v or 86/17?
86/17
Let k = -91 + 58. Let w = k - -32. Which is smaller: -1/49 or w?
w
Let x be (0 + -7)*(-2 - (-10)/4). Are 3 and x unequal?
True
Let n be (6/(-20))/((-4)/(-10)). Let c be 23/253 - 186/231. Is c > n?
True
Suppose -8*c = 31 - 23. Which is smaller: -4/93 or c?
c
Let o(i) be the second derivative of i**3/3 + 2*i**2 + 33*i. Let h be o(1). Suppose 3*a = -7 + 22. Is a less than h?
True
Let d = 48.8 - 48. Suppose -3*j = 2*l - 4, -j = j - 5*l - 9. Let c be -3 + (51/9 - j). Which is bigger: c or d?
d
Suppose -938 = -6*p - 914. Which is smaller: p or 7?
p
Let l be ((-3)/(-7))/(12/84) - 3. Which is smaller: l or -44/31?
-44/31
Let y be (-4254)/(-56) + 4 + -2. Let h = y - 78. Is h at least -1?
True
Suppose -2*y - 5 = 1, 0 = a + 4*y - 5. Suppose -5*d = -n - 21, d + 3*d - a = n. Which is smaller: -1/140 or n?
n
Let d(i) = 2*i**2 + 10*i - 3. Suppose -4*t + 18 + 10 = 0. Let n(q) = q**2 - 9*q + 8. Let j be n(t). Let w be d(j). Is 9 > w?
False
Let m(y) be the third derivative of -y**6/120 + y**5/5 - 5*y**4/12 - 2*y**3 - 2*y**2 + 18. Let w be m(11). Is w not equal to -1/12?
True
Let h = -0.02 + 0.12. Let o = -7 - -9. Suppose -4*y - 1 = 3*n, 2*y + o*y = 5*n - 9. Which is bigger: h or n?
n
Let y be (4 - 10)*3/(-30)*17. Which is smaller: y or 10?
10
Suppose 5*x + 0 = 2*n - 2, 0 = 4*n - 4. Suppose s + 2 = -1. Let g be (1/30)/(s/(-4)). Is x <= g?
True
Let i be 3/15 + (-2)/10. Suppose 5*y = -i*y - 10, -t - 3*y = -10. Let m be 112/6 - 8/12. Which is smaller: t or m?
t
Let y(b) = -b**2 + 9*b + 12. Let g be y(9). Let j(n) = n**3 + 6*n + 9. Let r be j(0). Is g smaller than r?
False
Let t be 5/12 + (-2)/(-8). Let l = 33 - 35. Let f be -2*(-14)/12 + l. Is t at least as big as f?
True
Let q be 0 + (-1)/((-2)/14). Suppose -2*l - 2*g + g + q = 0, -4*l + 35 = -5*g. Let b(w) = 2*w - 14. Let s be b(10). Which is smaller: s or l?
l
Let n be (-6 + 1)*(5 - 39/5). Suppose -3*j - 4*u = -14, 5*j - 4*u = -16 - n. Which is smaller: 26 or j?
j
Let v = 14 + -14. Suppose w + 7*w - 56 = v. Suppose -3*r + 28 = r. Is r at least w?
True
Let c = 15 + -17. Let v be 3 + 6/(-5) + c/(-10). Is v != 2?
False
Let j = 55 + -54. Let z be (0 - 57)/(-3)*2. Which is greater: j or z?
z
Suppose 918 = 9*x + 603. Which is smaller: 36 or x?
x
Let n = -2857/7 + 407. Suppose -28*d + 24*d = 0. Suppose d = 9*y - 4*y. Is y at most n?
False
Suppose -308 = -79*n + 90*n. Which is greater: n or -30?
n
Let s = -12.44 - -0.34. Let y = -67 - -55. Let q = y - s. Which is smaller: -24 or q?
-24
Let a = -37.5 + 37.6. Is 30 equal to a?
False
Let j be 1 + -1 + 0 + 3. Suppose -3*w = j*w. Suppose -2*c - 3*t = 8, -t = 4*c - w*t + 36. Is c at least as big as -12?
True
Let q = 6 - -3. Let l = -0.56 - 0.14. Let z = l - -0.6. Which is bigger: q or z?
q
Let j be (-16)/(-15) + (-36)/90. Let d = -49/12 - -19/4. Is j at least d?
True
Let q = -11522 + 11522. Let x be 1*-1 + 5835/(-33). Let i = x - -178. Which is smaller: i or q?
q
Let o(s) = -41*s - 42. Let r be o(-1). Are -2/61 and r equal?
False
Let b = 323 + -328. Let u(t) = t**3 - 5*t**2 + 3*t + 3. Let y be u(3). Are y and b nonequal?
True
Let s = -26 - -13. Let c = s + 15. Which is smaller: c or 1.2?
1.2
Let k = -769 + 1206. Is k greater than or equal to 438?
False
Let t = 292 - 312. Is t < -14?
True
Let l = -4 + 10. Suppose -3*x + 4*m = 2*m - l, 5*m = 4*x - 1. Suppose 2*g = -4*d, -5*d - x*g + 1 = -2. Which is bigger: -2/7 or d?
-2/7
Let b be 72 - -15*(-5)/15. Which is greater: b or 66?
b
Suppose 24 = 5*v + 4. Suppose 5*u = v*h - 8, 2*h + u - 2*u = -2. Let l be 465/(-66) - h - -4. Do l and 0 have the same value?
False
Let j be 710/170 - 2/3*6. Is j greater than or equal to -1?
True
Let j(p) = 2*p**2 + 47*p - 23. Let v be j(-24). Which is bigger: -2/195 or v?
v
Let b(l) = 28*l + 404. Let s be b(-14). Which is smaller: s or 22?
s
Let g = 102 - 121. Is -19 at most as big as g?
True
Let n = -14 - -16. Let i(r) = -1 + 3*r**n + 6*r**3 + 10*r**3 - 5*r**3. Let a be i(-1). Is -8 != a?
True
Let w(v) be the first derivative of v**2 + 5*v - 1. Let n be w(-5). Which is greater: n or -16/3?
n
Let s = 1.6 + -3.7. Let n = 0 + 1.7. Let m = n + s. Is m > 3/4?
False
Suppose u = 2*u + 12. Let x = 16 + -14. Let m be x/(-7) + 432/630. Which is smaller: u or m?
u
Let g be ((-10)/((-80)/12))/((-6)/8). Let i be g/(-3) + (-7)/14. Is i > 1?
False
Suppose -4*t - 6 = -7*t. Suppose -n - 5 = -2. Let x = t + n. Which is greater: -5/4 or x?
x
Let i(g) = -2*g**2 + 22*g - 30. Let f be i(9). Let p be (-18)/(-9) + f/(-2). Which is smaller: -5/18 or p?
p
Let c(p) = -7 + 3*p**2 + 10 - 16*p + 13*p**2 + 10 - p**3. Let b be c(15). Let u be 0/((b + -1)/1). Which is smaller: u or -2/27?
-2/27
Let l be 139/417 - -6*(-2)/9. Let f(a) = a**3 + 6*a**2 + 4*a - 2. Let u be f(-5). Let y be 8/(-3)*u/22. Is l greater than or equal to y?
False
Suppose -p = p. Let h be 16/(-53)*(-6)/(-8). Let w = h - -214/477. Which is bigger: p or w?
w
Let o = 1 + -1. Let s = 1 - o. Let k = -344/47 - -2611/376. Is s not equal to k?
True
Let d = -273.9 - -263. Let g = -0.1 + d. Let v = -8 - g. Is v != -2?
True
Let k be (6 + (-34)/6)/(10/(-9)). Let g = 52.2 - 52. Which is greater: k or g?
g
Suppose 0 = 23*a - 16*a - 14. Let i(x) = 12*x. Let t be i(a). Which is bigger: t or 22?
t
Let f(y) be the second derivative of -y**4/12 + 7*y**3/6 - 3*y**2 - 6*y. Let p b