5 + (-12)/15. Let c be (-6)/15 + 86/(-10). Let l be (-3)/c - 50/114. Is y smaller than l?
True
Let s = 3 + -3.1. Let v = 39 - 41. Which is greater: v or s?
s
Let g = 19 + -18. Which is greater: -0.02 or g?
g
Let l = 34.7 - 35. Is 2/7 bigger than l?
True
Let y be ((-2)/(-28))/(1/8). Suppose 0 = -o - 3*o + 5*d + 19, -3*o = 4*d + 9. Are y and o non-equal?
True
Let l be -3 + (-2709)/15 + -1. Let q = l + 184. Which is bigger: -2 or q?
q
Suppose 8 + 11 = -3*x - 5*c, 3*x + 3*c = -9. Let n be 3/(228/(-160)) + x. Let v = 3 - 4. Is n < v?
False
Let c(r) = r**2 + 3*r + 2. Let b be c(-4). Let p be -2 + 2*4/b. Which is bigger: p or 1?
1
Let x be -2 + (0 + 1)*1. Let j be (-20)/8*8/10. Let d be (j + 2 - 1)/(-5). Which is bigger: x or d?
d
Let g(p) = -13*p**3 + p**2. Let d be g(-1). Let y be (-31)/d + 8/(-28). Which is bigger: -3 or y?
y
Let k = 550 + -12097/22. Which is smaller: k or 0?
0
Let m = -12.8 - -11. Let t = -2 - m. Let w = t + 0.2. Which is bigger: 0.1 or w?
0.1
Let k(q) be the first derivative of q**2/2 - 3*q + 4. Let y be k(-4). Which is smaller: y or -8?
-8
Let k = -0.22 - -0.12. Is k at most -2?
False
Let l be ((-8)/(-10))/((-2)/5). Let t be ((-9)/3)/((-2)/(-10)). Let q be 24/t*2 - l. Is q >= -1?
False
Let b be 19/7 - 2/(-7). Suppose -2*z - 2*g = b*z - 14, 5*z - 3*g - 4 = 0. Let r = 19 + -17. Is r bigger than z?
False
Let f = -4 + 5. Let l = f - 6. Let y = l + 4. Which is smaller: y or -0.4?
y
Let t = -289/36 + 34/9. Are t and -4 non-equal?
True
Suppose -3*t + 3 = -2*x - 1, 4*x + 5*t = 36. Which is greater: 11/4 or x?
x
Let z(t) = -4*t + 179. Let m be z(46). Suppose -u - 22 = 4*a + u, 5*a = 5*u - 20. Is m less than a?
False
Let x = -2.58 + 0.28. Let y = -0.083 - -0.083. Which is bigger: x or y?
y
Let t(z) = z**2 - 3*z + 4. Let f be t(4). Which is bigger: 9 or f?
9
Let t = -0.2 - -18.2. Is 0.04 equal to t?
False
Let a = 1 + -0.93. Which is smaller: -2/7 or a?
-2/7
Let d be (-3)/(1/(-2)*-2). Let c be (2 + -2 - -3)*-3. Let h be 3/2*12/c. Is d <= h?
True
Let g be -1 + -1*(-7)/6. Suppose 12 = 4*h, 0 = 2*a - 6*a + 4*h - 16. Are g and a equal?
False
Let b be (-1)/5 - 3706/(-1530). Let t(w) = -2*w - 6. Let k be t(-4). Which is smaller: b or k?
k
Let k(q) = q**3 - 12*q**2 + 7*q - 10. Let d be k(12). Is d >= 74?
True
Let u = 8 + -8. Suppose u*o - o = 1. Which is greater: -2 or o?
o
Let r(z) be the second derivative of z**4/12 - z**3/6 + 3*z. Let u be r(0). Is u smaller than -2/3?
False
Let a(w) = -w**2 + 2. Let f be a(3). Let n(s) be the first derivative of -s**2/2 - 8*s + 3. Let q be n(f). Which is smaller: q or 2/15?
q
Suppose -q - 8*q = -2*q. Which is greater: -1/30 or q?
q
Suppose 3*j - 5 = 4. Suppose 20 = -f - f - 5*u, -5*f = j*u + 12. Let m = 1 + f. Which is smaller: m or 2/7?
2/7
Let h be 16*((-9)/4)/3. Let q be 6/(-2 + (-27)/h). Let c be (2/(-3))/(q/(-27)). Which is bigger: 0 or c?
c
Suppose 0 - 4 = -4*a. Let w be 3*(5 + (-309)/63). Is w equal to a?
False
Let p(g) = -g**3 - g**2 + g + 3. Let l be (-1 - -1)*(-4)/(-8). Let q be p(l). Suppose q = -2*c - 1. Are -3 and c non-equal?
True
Let r be 1 + -4 + (-22)/((-1)/1). Is 20 not equal to r?
True
Suppose 3*c + c = 3*j - 16, 3*c + 12 = j. Which is smaller: 2 or j?
j
Let l be -2*(-3)/6 + 2. Suppose 0 = -0*b - l*b. Is -2/3 <= b?
True
Let x = -132/179 + 92355/716. Let y = 129 - x. Which is smaller: y or 0?
0
Suppose 5*q = 5*w - 25, 3 - 26 = 3*q - 5*w. Let u = -1 + 0. Is q > u?
False
Let d be (-25)/44 + 12/16. Let l = -4 - -4. Is d at most as big as l?
False
Suppose -3*a - 7 = -4*y, 2*y - 35 = 7*y + 5*a. Let q = 326 + -1315/4. Is q at least as big as y?
False
Let z = 364/1719 + 2/191. Let a(p) = p - 5. Let x be a(6). Suppose -u + x = 2*t, -t + 2 + 2 = -3*u. Which is greater: u or z?
z
Let d(o) = o - 1. Let w be d(-2). Is -2 != w?
True
Let y(f) = f**3 + 9*f**2 + 7*f - 2. Let z be y(-8). Suppose -4*g = -5*d + 28, -g + z*d - d - 22 = 0. Does g = -8/5?
False
Let k = -14/767 - 8/59. Let u = -28 - -27. Which is smaller: k or u?
u
Let b = -1423/36 - -159/4. Which is smaller: b or -11?
-11
Let s = 208/9 + -977/45. Let f be (-2)/(-3) + 2/6. Is s equal to f?
False
Let a = 3.3 - 0.3. Let f = a + -2. Let g = -1 - f. Is 0.2 greater than g?
True
Let d be 26/(-56) - (-2)/(-7). Let i = -26 - -24. Which is bigger: d or i?
d
Let l be (-10)/(-8) + 12/16. Let p be l/4 + (-15)/40. Do -1 and p have the same value?
False
Let m = -9800 - -59081/6. Let g = 47 - m. Are -0.1 and g non-equal?
True
Suppose 5*a - 5*i = -10*i + 40, 2*i = 6. Suppose -a*q + o + 12 = -10*q, 0 = -o - 2. Suppose 0 = 2*v + 5*t - 23, -v + 4*t - 19 = -2*v. Which is bigger: q or v?
v
Suppose -s - 5*y + 25 = 0, 3*y = 5*s - 2*y + 25. Let n = 447/7 - 64. Is n at most s?
True
Let t = -132 + 92. Is -42 > t?
False
Let l = -5/6 + 11/18. Which is bigger: l or 2/11?
2/11
Suppose -j = -2 + 5. Which is bigger: 1 or j?
1
Let j = 14 - 10. Suppose 5 = f + 2. Suppose j*r - 2*o = -2, -r - r - 13 = f*o. Which is smaller: 0 or r?
r
Let l(v) be the third derivative of -v**5/60 - v**4/24 - v**3/3 - v**2. Let x be l(0). Which is bigger: x or -3?
x
Suppose 5*s = s + 12. Let d be 5/((-5)/s) - -9. Do d and 7 have the same value?
False
Suppose -5*i + 16 = 6. Let w be (0 - 1/1)*0. Is i less than w?
False
Let z = -121/3 - -40. Let j = 3 + -20. Let i = j + 16.8. Which is greater: z or i?
i
Let f be -3*2/(-36)*6/(-3). Let s be (0*1*-1)/1. Which is smaller: f or s?
f
Let q = -752/175 + 236/25. Which is smaller: q or 5?
5
Let h = 132 + -1189/9. Suppose -5*d - 3*y + y + 10 = 0, -4*d - y = -8. Let n = d - 2. Is n < h?
False
Let h be -4*(4/18 - 77/306). Suppose -4*u = -7 - 5. Suppose 0 = 2*k - 4*t - 18, -8 = -t + u*t. Is k >= h?
True
Let u = -11 - -11.1. Let m = 0.01 - 0.03. Which is smaller: m or u?
m
Suppose 0 = 3*j - 0 - 9. Let o be j + 7/((-14)/(-20)). Is o at least as big as 14?
False
Suppose -2*a - 4 = -5*n - 19, a = -5*n + 45. Suppose 2*u + k - 9 = 0, 5*u - k = -6*k + a. Suppose u*r - r = -4. Are 0 and r unequal?
True
Let a = 1747/1368 + -24/19. Is 1 less than a?
False
Suppose -2 = -2*o + 2*t, -o + 5*t - 1 - 6 = 0. Suppose 4*b + 10 - 3 = 5*j, -b - o = 0. Is -1/4 greater than or equal to j?
True
Let z = -24.6 + 25. Is 2/5 at most z?
True
Let a be 30/(-3)*12/15. Let p = -11 - a. Which is smaller: -5 or p?
-5
Let y(f) = -2*f**2 + 6*f + 2. Let g be y(5). Let k be 18/(-63) + g/(-14). Let o(a) = a**3 + 5*a**2 + 4*a + 1. Let w be o(-4). Is w bigger than k?
False
Let x = 0.21 + -0.51. Which is smaller: x or 9?
x
Let o = 4 - 1. Let u = o - -4. Let x = u - 7. Is 1/6 at least x?
True
Let o be 54/(-12) - 6/4. Is o greater than -5?
False
Let h(o) = -o. Let u be h(4). Let g be 6/u*(-4)/1. Suppose w - 3*w = -g. Is w >= 4?
False
Suppose 6*t = 2*t + 180. Let v be (t/(-6) - -3) + 3. Suppose -3*o = 2*y + 5 - 2, 3*o = 5*y - 3. Which is smaller: v or o?
v
Let h be ((9/2)/(-3))/((-5)/10). Are -2/7 and h equal?
False
Let q(s) = -3*s + 1. Let n be q(-1). Suppose -3*f - 5*p + 14 = 0, 6*f - 3*f - 5*p = n. Is f at least 3?
True
Let q be ((-1)/(-7) + 0)*2. Is q < 1?
True
Let j be (2 - (-9)/(-6))*(-8)/6. Is -11 <= j?
True
Suppose 0 = 3*m - 8*m + 25. Suppose 0 = -5*v - q - 1 + 7, 4*v - m = -q. Is v >= 0?
True
Let u be ((-2)/(-5))/((-2)/(-10)). Let x(l) = l + 18. Let b be x(-15). Are b and u unequal?
True
Let t be -1*2/4*-6. Let k(b) = b**3 + b**2 + b + 3. Let c be k(0). Suppose 5*h - 6 = c*h. Is t at most h?
True
Let t = -3 - 4. Let l = t + 3. Which is smaller: -0.2 or l?
l
Let w = 107 + -961/9. Which is smaller: -1 or w?
-1
Let x(v) be the first derivative of -3*v**2/2 + v - 3. Let m be x(-1). Suppose 2*r = 3*w - m - 4, 2*w + 2*r = -8. Is w at most as big as -2?
False
Suppose 1 = i - 3. Suppose -4*g = v - i, v - 3*g - 4 = -2*g. Let t = -8 + v. Which is smaller: 0 or t?
t
Let m be 1*3 + 335/(-201). Let y be 2/(-8) - 1/(-4). Suppose 4*l - l = y. Which is smaller: l or m?
l
Let f = -4 - -10. Let q = -4 + 9. Let j = f - q. Is 0.2 <= j?
True
Suppose -o = 3, -f - 93 = 4*f - 4*o. Is f <= 0?
True
Let p(q) = -q + 4. Let i be p(14). Which is smaller: -9 or i?
i
Let i be 18/14 - (-4)/(-14). Let a = 10 + -8. Suppose 0*y = -y - a. Which is bigger: y or i?
i
Suppose -5*v + 30 = d, -32 = -v + 3*d + 2*d. Let k(z) = z**2 + 8*z + 18. Let x be k(-6). Are x and v equal?
False
Suppose p + 4 = 2*r, -2*r + 20 = 4*p + 2*r. Suppose -p*x