15/14. Let k = 558 - d. Is k at least 1?
False
Let n(i) = i**2 + 11*i + 3. Let v be n(-10). Let w = 11 - 17. Which is smaller: w or v?
v
Let m(j) = -3*j + 7. Let i(x) = 5*x - 10. Let h(t) = -5*i(t) - 8*m(t). Let s be h(-5). Let y = 110/657 - -4/73. Is s >= y?
False
Let l be -1 - 2/4*-2. Let a be (-4 - -5) + -5 + (-25)/(-5). Is l greater than a?
False
Let x = 16 + -7. Let k be 1 + 3/(x/6). Suppose 5*v - 5 = -5*i, -4*v + i + 4 = -5. Are v and k unequal?
True
Let l = -7 + 15. Let n = l - 7. Which is smaller: -5/2 or n?
-5/2
Let t = -0.16 - -0.16. Let x = 0.05 + -0.15. Which is smaller: t or x?
x
Suppose -3*m = -0*m, -4*f + 4*m = -4. Which is bigger: -2/97 or f?
f
Suppose 0 = -3*o - 33 - 3. Let n be ((-6)/(-14))/(o/8). Is n less than 0.1?
True
Let f be ((0 + 0)*1)/(-1). Suppose f*u - 4*u = -4. Are u and -1/2 equal?
False
Let s = -101.1 - -101. Which is smaller: s or -26?
-26
Suppose 6*x = 2*x + 24. Suppose t = x*t - 25. Which is bigger: t or 4?
t
Let p be (3 - (-8)/(-4))*1/71. Which is greater: 1 or p?
1
Let d = -31 - -13. Is d smaller than -19?
False
Let s be (-1 - -1) + (1 - 0). Which is smaller: -2 or s?
-2
Let g be -1 + 2*(-2)/(-4). Suppose 2*r - t = -g*r + 7, 5*r + 10 = -3*t. Is r less than 1/5?
False
Let j(o) = o**3 - 6*o**2 + o - 4. Let u be j(6). Suppose 3*a + a = -5*s + 6, 4*a = u*s - 8. Let y = 0.1 - 0.5. Is a equal to y?
False
Let c(k) = k**3 + 5*k**2 - k - 4. Let o be c(-5). Let u = 285 - 5701/20. Which is greater: u or o?
o
Let u = 15 - 5. Which is bigger: 2 or u?
u
Let g be (2 + -7 - -4)/(-1). Which is smaller: -1 or g?
-1
Let i = -0.8 - -0.7. Let v = -3 - -2. Do v and i have the same value?
False
Let b be (4/5)/(2/(-10)). Let n = 6 + b. Suppose 0 = s - 3*s + n. Is -2/7 not equal to s?
True
Suppose -5*y + 2*q - 8 = 0, -2*y - q + 1 = -3*y. Let v be (y - -3)/(3/(-3)). Let l be (-2)/(-4)*1 - 1. Which is bigger: l or v?
l
Let u be 2/(-4) + 81/(-4). Let k = 21 + u. Let b be (4/(-16))/((-1)/(-2)). Is b < k?
True
Suppose 4 + 4 = 4*g. Let d be (3/6)/(g/(-12)). Let i be (-2)/d - (-1)/3. Is i less than 0.1?
False
Suppose -h - 11 = -4*p, 5*p - 3*h - 7 = 5. Let o be 5/p + -3 + 1. Which is bigger: o or -2/3?
o
Suppose 8*m = 13*m + 5. Are m and 2/211 non-equal?
True
Let y(h) = -h**2 + 6*h - 6. Let o be y(5). Which is smaller: 8 or o?
o
Let r = 1 - 3. Let w = -270/497 + -2/71. Which is greater: r or w?
w
Let f = -47 - -518/11. Which is bigger: f or -1?
f
Let t = 0.73 + -0.03. Let g = 0.7 - t. Let v = 0.1 - g. Is -1 equal to v?
False
Suppose u + 0 = 3. Let n be 2/(-5*(-2 + u)). Which is bigger: 6/11 or n?
6/11
Let b = -47.04 - -41. Let s = b + 0.04. Let t = s - -6.1. Is t not equal to -2?
True
Let f = -18 + 18.1. Is f smaller than 12?
True
Let g(n) = 2*n**2. Let b be g(-1). Let w be (-4)/6*18/(-4). Suppose w*h - h + b = 0. Is h less than -2?
False
Let k = 0 + -0.02. Let m = 19.4 + -17.42. Let u = m - k. Is u at most -1?
False
Let a = -4 - -6. Suppose 4*f - 4 = -2*s, -2*s = -f - 6*s - 6. Let o = -1 + f. Is o at least a?
False
Suppose 85 = -2*y - 3*y. Let a = y - -50/3. Which is smaller: a or 0.1?
a
Let b = 7 - -4. Suppose b + 1 = -4*q. Is -3/2 less than q?
False
Let f be (36/(-150))/(4/(-30)). Which is smaller: f or 1?
1
Let l(n) = 4*n**3 + 5*n**2 - 6*n + 3. Let v be l(3). Is v greater than 137?
True
Let q be (-385)/(33/(-12) - -3). Let f be (-203)/q - 4/22. Is f < 1?
True
Suppose -2*s + 1 = -3*s - y, 7 = -s - 4*y. Suppose 0 = r - s - 0. Let h(a) = -2*a - 4. Let m be h(-3). Which is smaller: r or m?
r
Let w(d) = -d**2 - 14*d - 14. Let b be w(-12). Which is bigger: 12 or b?
12
Let b = 0.01 - -1.09. Let g = -0.9 + b. Is 4 at least g?
True
Let a(t) = t**2 - 3*t - 2. Let n be a(4). Does n = -2?
False
Let u(i) = -i**2 - 9*i - 2. Let g be u(-9). Is 1/3 greater than or equal to g?
True
Let q be (-8)/3*1*27/12. Do -3 and q have different values?
True
Let y(s) = 3*s - 3. Let u be y(2). Let x(k) = -k - k**u + 2*k**3 + 0*k - 2*k**2. Let o be x(2). Which is smaller: o or -1?
o
Let g be -3 + (1 - 0) + 1. Are g and 0 equal?
False
Suppose -11*v + 16*v + 5 = 0. Which is smaller: -2/11 or v?
v
Suppose -4*y = -y + 6. Let i be (4 - 2) + y - 2. Let r be i + 1 + 3 + -4. Is -1 less than or equal to r?
False
Let l be 6/2*(-26)/27. Let g = 55/18 + l. Let u be ((-1)/(-3))/(3/(-9)). Which is greater: u or g?
g
Let p be (0 - -1)*(6 + -3). Suppose 0 = 4*s + 12, 0*z + 5*s = p*z + 3. Let g = 6 + z. Which is smaller: -2/13 or g?
-2/13
Suppose -6*d - 42 = d. Which is smaller: -9 or d?
-9
Let a = -0.7 - -1. Let n = 48.1 - 49. Let i = a + n. Is i <= 0?
True
Let q = -0.1 - -0.1. Let f be (-2 + 1 - 0)/9. Let h = -5/9 + f. Is h >= q?
False
Let s(b) = b + 4. Suppose -5*f = -4*p + 10, 2*p + p + 4*f = 23. Let v be s(p). Is v less than 8?
False
Suppose 5*y = -15, -2*t + 10 = y + 3. Is 0.1 < t?
True
Let r(u) be the first derivative of u**2 + 17*u - 1. Let n be r(-8). Let d be (3/60)/(1/(-2)). Which is bigger: d or n?
n
Let i = -96/329 - -2/329. Let l = 1 + -1. Let p = l - 1. Which is smaller: i or p?
p
Let m = -10.1 - -10. Which is smaller: -0.19 or m?
-0.19
Let v(n) = -n**3 - 6*n**2 - 4*n + 3. Let z(i) = -1. Let d(m) = -v(m) + 3*z(m). Let y be d(-5). Let p = 76 - 611/8. Is y not equal to p?
True
Let s(w) = -w - 4. Let k be s(-8). Is k at most 4?
True
Suppose -2*c - 18 = 4*q - q, 0 = 3*c + 5*q + 28. Let i be 0 - (-4)/((-32)/c). Let y be 0*(2/(-4) + 0). Which is bigger: y or i?
i
Let j(q) = -3*q - 4*q**3 + 3*q + 7*q**2 + 5*q**3 + q + 7. Suppose 0 = 4*y + 4 + 24. Let u be j(y). Which is bigger: -1 or u?
u
Suppose 0 = -s + 5*s. Let w = 10 + -11. Let m be -2*1*w/(-10). Which is greater: s or m?
s
Suppose 15 = 3*m - 3. Suppose 5*c - 3*b = 47, 3*b - 2*b = -c + 3. Is m greater than or equal to c?
False
Suppose -10 = j - 4*c, -5 = 5*j - 0*j - 5*c. Suppose -3*f = -f - 10. Suppose 11 + 4 = f*r. Which is greater: r or j?
r
Let n = -13 + 3. Let m = n - -10. Let a be (-2)/5 + (-4)/(-10). Is m at most a?
True
Let g be 134/200 - 3/4. Is g at most 0?
True
Let w = 1 - 2. Suppose 5*j - 10 = 0, -4*j - 2 + 14 = -4*t. Let l = t + 3/4. Do l and w have the same value?
False
Let j be 5/25 - (-29)/(-20). Suppose 2*t + g = 4 - 7, 0 = t + 2*g. Which is bigger: t or j?
j
Suppose -12 = -7*x + 4*x. Let k be (x/(-14))/(20/(-35)). Which is bigger: k or 4?
4
Suppose 11*t = 14*t + 24. Which is smaller: t or -4?
t
Let i = 14 + -8. Let n = i + -7. Is n greater than or equal to -2?
True
Suppose -i + 2*v = 10, -2*i - 3*v = 1 - 9. Let u be ((-6)/4 + 2)*i. Let c = 4 + u. Is 2 bigger than c?
False
Let y = 45 - 63. Let w = y - -12. Is w at most -6?
True
Let n = -5.1 + 2.1. Which is greater: n or 0?
0
Suppose 3*v = -2*v - 15. Let s be 1/(-2)*0/v. Which is greater: s or 0.01?
0.01
Suppose 0 = d + 2 - 4. Suppose k - d*k = 5. Is -5 != k?
False
Let o(g) = -6*g**2 - g - 1. Let y be o(-1). Let r = -11 - y. Is r > -4?
False
Let v = -61 - -1034/17. Is -1 bigger than v?
False
Let j be (-2)/(-12 + 1 + 1). Let l = 0.09 + -0.99. Let h = l + 1. Are h and j equal?
False
Let w = 6 + -3. Suppose 0 = -w*f + t, -3*f - 2*t - 3*t + 18 = 0. Which is greater: -2/5 or f?
f
Let a = -12072/23 + 525. Is a greater than 0?
True
Let h = 3.2 + -2.3. Is h greater than 1?
False
Let o(w) = w**3 - w**2 - 2*w - 1. Let m be o(-2). Let z(b) = -2*b - 10. Let j be z(0). Which is smaller: j or m?
j
Let l = -29/164 + -3/41. Which is greater: l or 2/29?
2/29
Let p be 18/3*4/8. Suppose p*g = -5*a + 7, 0*g = -4*g + 16. Do a and -1 have the same value?
True
Let v = -0.58 + 0.36. Is v > 1?
False
Suppose 7*v + 76 = 26*v. Is v greater than or equal to 23/6?
True
Let a be 6/4*4/3. Suppose 4*d - 3*b = 16, 5*d + 1 = -2*b - a. Suppose -h + d = -3. Do h and 3 have the same value?
False
Let j(s) be the third derivative of s**4/12 - s**3/2 + 4*s**2. Let w be j(3). Suppose 0 = 5*r - w*r + 18. Which is smaller: -8 or r?
r
Let j(a) = -a + 2. Let q be j(4). Suppose 0 = w - 3*w. Let n = w + q. Is n at least as big as -2?
True
Let g = -17 + 12. Let i = g + 7. Let r = 3 - i. Is -2/7 < r?
True
Let q = -3 + -2. Let p = -8 - q. Let t be ((-20)/16)/((-9)/(-12)). Do t and p have different values?
True
Let v = 0 - 0. Let p(t) = -t**2 - 12*t - 6. Let k be p(-6). Let o be 15/(-12)*(-4)/k. Which is bigger: o or v?
o
Let p be (-1227)/615 + (-4 - -6 - 0). Is 1 bigger than p?
True
Let u be 5/(-2)*(-12