s -1/4 >= b?
False
Let b be (-2)/13 - (-44)/(-52). Is b > -6/19?
False
Let q be 3 + (-1)/(3/12). Which is smaller: q or -2/5?
q
Let r = 0.9 - 0.8. Let u = -0.03 + r. Let c = 1.07 - u. Which is greater: 5/3 or c?
5/3
Suppose 4*q = 24*q + 40. Let s(x) = -3*x**2 - 2*x**2 + 7*x + 4*x**2. Let t be s(7). Is q at most t?
True
Suppose -k - 1 = 4*s - 47, 4*k - 184 = s. Let y = k + -33. Is 13 < y?
False
Let s = 2.05 - 2. Let q = s + 0.65. Let f = q + -0.2. Which is greater: -0.1 or f?
f
Let a = -233/4 + 58. Let t = 3 + -1. Suppose t*g + 2*g = 0. Which is smaller: a or g?
a
Let p = 87 - 606/7. Let l(r) = -r**2 + 10*r - 4. Let b be l(4). Suppose -s + 2*k - 10 = 0, 3*s - 8*s = -4*k + b. Is p equal to s?
False
Let s = 0 + 0. Suppose 0 = -5*o - 10, -4*f + 2*o = -3*o - 18. Which is smaller: f or s?
s
Let j be (2 - (-18)/(-12))/((-2)/20). Which is greater: j or 0.1?
0.1
Let l = -35 - -33. Are -6 and l equal?
False
Suppose -2*o - 10 = -3*b, -3*b + 0*b = 3*o. Let m = -10 + o. Is -12 greater than m?
False
Suppose -g = -7 + 3. Suppose 0 = 4*a - 3 - 5. Which is smaller: a or g?
a
Let h(t) = -2*t + 1. Let m be h(3). Which is greater: -1 or m?
-1
Let y(a) = -a**3 + 4*a**2 - 6*a + 7. Let v be y(5). Let u = v + 241/5. Which is bigger: -1 or u?
u
Suppose 0 = -x + 6*x - 40. Let u = 8 - x. Let t = -175/4 - -44. Which is bigger: t or u?
t
Let q = -9 + 5. Let u = -3 - -2. Let z be (u + 3)/(2 + q). Is 1/3 at most z?
False
Let k = 1.1 + -0.1. Let d(a) = -2*a - 2. Let r be d(-2). Let f be r + 0 + (-15)/9. Which is smaller: f or k?
f
Let j = -0.1 - 0. Let l = -2.1 + 0.1. Is l <= j?
True
Let r be (-1)/(-2) + 1/(-2). Suppose r = -4*f + 2*o + 6, -4*f - 3*o - 2*o = 15. Suppose -2*v - 7*u + 2*u - 5 = f, 5*v - u + 26 = 0. Is 1 at most v?
False
Suppose -5 - 3 = -2*o. Suppose -k = o*k. Which is smaller: -2/3 or k?
-2/3
Let g be (4/6)/(1/3). Let r be (4/(-5))/(g/(-5)). Suppose -3*n = r*c + 4, -2*c - 3*c - n + 16 = 0. Is c > 5?
False
Let u be 5/(-9)*-3 + -1. Let a = -0.5 + 0. Let v = -0.3 - a. Is u < v?
False
Suppose -2*t + 4 = -4*t. Is t >= -2?
True
Let n = -9 + 8.6. Let y = -0.6 - n. Is y at most -3/8?
False
Let d = -86/3 + 28. Let c(x) be the third derivative of -x**4/24 - 7*x**3/6 + 2*x**2. Let s be c(-5). Is s at most as big as d?
True
Let x = 237353/6 + -39335. Let q = 225 - x. Which is bigger: 2 or q?
2
Let x = 0.2 + -0.2. Let t be (-2 + (-4)/6)*3. Let z(d) = -d**2 - 9*d - 6. Let v be z(t). Is v > x?
True
Suppose -2*h + 15 = -5. Suppose 5*d = 2*k - k + 19, -h = 2*k - 3*d. Is k at least as big as 6/17?
True
Suppose 0 = -5*l + 30. Let j(y) = y**2 - 7*y + 3. Let f be j(l). Let c be (0 - 0)/(f - -4). Is 2/3 at most c?
False
Suppose 0*b + b = 2*i - 13, -5*b = -4*i + 29. Which is greater: 7 or i?
7
Let u = -3.1 + 3.3. Let n = 2 + -2.2. Let x = n + u. Is -2 != x?
True
Let g be (-2 + 5/3)/1. Let q = 0.54 - 0.04. Let k = q - 0.3. Which is smaller: k or g?
g
Let v = 5.06 + -5. Let y = -0.36 + v. Let l = y + 0.3. Does -5 = l?
False
Let x be (-3 - -2)*(-5)/20*-4. Which is greater: x or 5/3?
5/3
Let r be (-8 - -2)*(-1)/(-2)*6. Which is smaller: -17 or r?
r
Let t = -37691/4 - -9475. Let p = -52 + t. Is p greater than or equal to -6/11?
True
Suppose 3*v - 5*v + 10 = 0. Which is bigger: 13/3 or v?
v
Let s = -6 - -10. Suppose -4*m = -5*m + 6. Suppose -u = -q - m*u - 13, 2*u = -s*q - 16. Which is smaller: -4 or q?
-4
Let h = 0.93 - 1. Let q = 0.67 + h. Let g = q + -0.3. Which is smaller: g or 1?
g
Let a = -2 + 7. Let r = a - 6. Which is smaller: 1 or r?
r
Let y = -3 - -3. Suppose -2*g + 0*g = y. Which is smaller: 4 or g?
g
Let o be (5*(-2)/2)/1. Let v(d) = d + 3. Let l be v(o). Let u be (l/4)/((-1)/(-2)). Is u <= 1/4?
True
Let i(j) = -j + 5. Let b = 14 - 10. Let q be i(b). Is q <= 0.1?
False
Suppose 2*z - 4*z - 70 = -5*i, i - 105 = 3*z. Let l = z + 50. Let k be (-10)/l - 20/(-21). Is k greater than or equal to 1?
False
Let w(o) = -5*o + 16*o + 1 + 0*o**2 - o**2 + 2*o**2. Let p be w(-11). Let h = 3 - p. Is h < 1?
False
Let z be (2/(-8))/(6/(-1588)). Let n = 66 - z. Let t be ((-28)/(-42))/((-10)/3). Is n >= t?
True
Let k = -39 - -38. Which is bigger: k or -1/29?
-1/29
Let h = -188/9 + 5291/252. Which is bigger: 0 or h?
h
Let m(j) = 2*j - 22. Let b be m(10). Which is bigger: 1/2 or b?
1/2
Suppose -3*t = t. Suppose 0 = -t*z - z. Let f = -13/9 + 1/9. Is z at least f?
True
Suppose -j + 2*c = -27, -2*j - 7*c + 2*c = -90. Is j at least 34?
True
Suppose -b + 3*h = -13, -2*h = 5*b - 6*h - 10. Let a be ((-10)/(-15))/((-32)/108). Which is smaller: b or a?
a
Let o = 4 - 1. Suppose 5*a = -2*j - 76, -2*a + o*a = 2*j + 88. Let d = j + 128/3. Which is bigger: 0 or d?
0
Let x = -0.06 + 0.02. Let l = -0.24 - x. Let f = -2.2 - l. Is f smaller than -1?
True
Let v = -841/8174 - -5/134. Let k = 163/305 - v. Which is smaller: k or 0.2?
0.2
Let t(r) = r**3 + r**2. Let f(q) = -7*q**3 + 2*q**2 - 8*q + 8. Let l(h) = f(h) + 6*t(h). Let w be (0 + 14)*1/2. Let m be l(w). Which is smaller: 2/5 or m?
2/5
Suppose -8*t - t = 2*t. Let g = -8 + 3. Is g equal to t?
False
Let l be -6*5/(-130)*-3. Which is greater: l or 0?
0
Let p = -6.02 + 6. Let w = 0 + p. Let g = 0.98 - w. Which is smaller: g or -2?
-2
Suppose b - 2 = 3*b. Suppose -p - 4 = -3. Are p and b non-equal?
False
Suppose 0 = h - 0*h - 7. Let i(y) = 2*y**2 + y + 8. Let c(q) = -q**2 - 4. Let l(r) = h*c(r) + 3*i(r). Let t be l(3). Are t and -4 equal?
True
Suppose 0*q - 2*q = 4*w, 14 = -4*w + 5*q. Let h = -29475742/94134887 - -2/184217. Let g = h + 2/73. Is w less than or equal to g?
True
Let m be (0 - 2) + (-20)/4. Do m and -10 have the same value?
False
Let m be 26/72 + 2/(-8). Let j(p) = 9*p - 11*p + 1 + 0 - p**2. Let c be j(-2). Is c at most m?
False
Let d = -2445694439 + 217796426872211/89053. Let k = -2/2071 + d. Which is greater: 1 or k?
1
Suppose 0 = -s - 4*s + 20. Let l be ((-12)/(-15))/((-1)/(-10)). Is l less than s?
False
Let m = -18 + 25. Let s = m - 6.9. Let q = 0 + 0. Is s at most as big as q?
False
Let u be (-1)/(-7)*2*-662737. Let j = u - -189011. Let s = -343 - j. Is -2 > s?
False
Suppose -3*a - 18 - 6 = -j, 2*a - 5*j + 29 = 0. Are a and -7 nonequal?
False
Let f be (15/9 - 2)/((-4)/24). Which is smaller: f or 6/11?
6/11
Let y = 10.6 - -2.4. Which is greater: y or -0.1?
y
Let i(l) = l**3 - 3*l**2 - 7*l + 8. Let r be i(4). Is -4 at least r?
True
Let u(n) = -11*n**2 + 6*n - 3. Let q(k) = -4*k**2 + 2*k - 1. Let g(z) = 8*q(z) - 3*u(z). Let o be g(2). Is 4/7 less than o?
True
Suppose 0 = r - 5*r - 2*q - 18, -3*q = 3*r + 21. Let o = 1.4 + -1.5. Is r > o?
False
Suppose -2 = -7*a + 5. Are 6 and a unequal?
True
Let p = -5 - -5. Suppose -15 = 3*w, p = 4*n + 4*w + 6 + 2. Is 3 at most n?
True
Let m = 218 + -255. Which is greater: -2 or m?
-2
Suppose 14*q = 13*q + 7. Suppose -5 = -q*x + 2*x. Is x less than -2/33?
False
Let n = -39 + 37. Is 0 at most n?
False
Let a = -8 + 5. Let h = 4 + a. Is h <= 3?
True
Suppose 8*p - 11*p = -18. Is 2 < p?
True
Let z(n) = -n**2 - 5*n + 3. Let s be z(-5). Suppose 5*w = s*l - 13, 3*l - 2*w - 3 = 4. Let r be (0 - (l - 2))*-3. Are -3 and r non-equal?
False
Let a(v) = -v**3 - 8*v**2 + 8*v - 11. Let n be a(-9). Is n < -3?
False
Let i(v) = -v**3 - 7*v**2 - 7*v - 8. Let s be i(-6). Which is greater: s or -6/7?
-6/7
Let x be (-1734)/45*3/(-2). Let g = x - 58. Let q(n) = -n - 4. Let i be q(-5). Do g and i have the same value?
False
Let l = -6 - -3. Let h = -2 - l. Let b = -1 - -1.3. Which is smaller: b or h?
b
Let a(n) = n**2 + n - 4. Let x = 5 + -9. Let s = x + 1. Let r be a(s). Is 3 at least as big as r?
True
Let f = -90264/16625 + 2/2375. Is -5 bigger than f?
True
Suppose 3*s - 620 = -p + 83, 0 = 2*p + 5*s - 1405. Let l = p - 27302/39. Which is smaller: 1 or l?
l
Let t be (0/4)/(2/2). Suppose -4*o - o - c + 22 = 0, -5*c - 30 = -3*o. Suppose 3*v - 4*v - o = t. Which is greater: 1 or v?
1
Let s = 8 + -13. Are s and -2 unequal?
True
Let p = 33/82 - 8647/21894. Which is bigger: 1 or p?
1
Let y be (-7 + 5)*2/(-4). Let k be -2 + (1 - (-7 + y)). Let t be ((-300)/(-27))/k - 2. Does 0.1 = t?
False
Suppose 4 = z + 2. Let s be (-2 + 1)*(z + -3). Let r be s/36 - 2/(-9). Which is smaller: -0.1 or r?
-0.1
Let q be 6/(-10) - 1*-1. Which is bigger: q or 0.01?
q
Suppose 0 = 5*u + 5*v - 60, -3*u + 2*v - 10 = -4*u. Suppose -21 + 1 = -4*p. Suppose x - 4 = 0, -2*x =