 i(-1). Let j be (3 + 0 + h)/1. Which is bigger: w or j?
j
Let r be (-2)/(-6) - 35/24. Let i = -31/56 - r. Suppose -2*m - 19 = -5*m - 4*v, -24 = -4*m - 5*v. Which is greater: m or i?
m
Let h be ((-3)/9)/(2/18). Let q = h - -1. Is q not equal to -1?
True
Let t be ((-1)/(-5))/(1/7). Suppose 0 = 28*q - 30*q. Are q and t non-equal?
True
Let g be (1/(-3))/(14/(-4)). Let f(l) be the third derivative of l**5/60 + 5*l**4/12 - 2*l**3 - l**2. Let c be f(-11). Which is smaller: c or g?
c
Suppose 0 = -5*h - 20, -2*x + 4*x = 5*h + 22. Suppose 0 = -3*s - 0 + 6. Which is greater: s or x?
s
Let p be (-6 - (-54)/12)/((-17)/(-4)). Is 0 greater than p?
True
Suppose -5*r - 2*p + 8 = 68, -3*p = 0. Does -12 = r?
True
Let g = -105 + 104. Is 2/43 not equal to g?
True
Let w be 2*(0 - -4)/(-748). Let s = 589/2618 + w. Which is bigger: 1 or s?
1
Suppose -k = k + 2*i - 4, -4*k + 5*i - 28 = 0. Let o = 3 - -1. Suppose 0*t = -o*x + t - 14, -4*t - 16 = 2*x. Which is smaller: k or x?
x
Let o = 1657749/22585 + -2/4517. Let v = -73 + o. Let y be ((-2)/1)/(-2) - 1. Is y != v?
True
Let g be (-1)/(0 + -2) + (10 - 11). Is 12/5 smaller than g?
False
Let w(b) = -b**3 - 8*b**2 - 8*b - 6. Let d be w(-7). Suppose d - 4 = -3*j. Which is bigger: j or 0.1?
j
Let b be 7/(14/4) - 2. Is -1/6 at least b?
False
Let h = 31 + -54. Is 0.1 at least as big as h?
True
Let k be (3/4)/(45/8). Is 1 at least k?
True
Let d = -1040 + 7247/7. Let c = 139/28 + d. Which is bigger: c or 0?
c
Let s be 1/(-1) + 1 - -2. Let l be (-1 - s)/(6/(-4)). Is 0 != l?
True
Let d = -43 - -42. Is d >= -1/4?
False
Let r = 4 - 1. Let h(v) = v**2 - v - 2. Let x be h(r). Suppose 0 = -4*t - 0*t - 2*s - x, 0 = -5*t - 2*s - 4. Which is greater: t or 1/4?
1/4
Let l = 15 - 9. Suppose 0 = 3*h - 5*t + 8, h - 10 = l*h - 5*t. Which is bigger: h or 2/39?
2/39
Let w = 27 - 40. Let f = w + 13.2. Which is smaller: -0.1 or f?
-0.1
Let g(b) = -6*b**2 + 20*b + 20. Let f(p) = -p**2 + 4*p + 4. Let k(t) = -11*f(t) + 2*g(t). Let o be k(-5). Let r = o + 5. Is r != -5?
True
Let y be (-3)/6*4/50. Let c = -66 + 67. Which is smaller: y or c?
y
Let l be 2/(6 + -2) - 3/(-14). Which is greater: l or 2?
2
Let f = -31 - -31.1. Let j = 7.7 - 0.7. Which is greater: f or j?
j
Let x = -2/43 + 53/215. Is 1 equal to x?
False
Let u(x) be the second derivative of -x**4/2 - x**3/6 + 3*x. Let m be u(-1). Let p be (3/m)/((-1)/5). Are p and 2 nonequal?
True
Let f be 1/((-1)/2) - -15. Suppose -2*q + f = -3. Which is greater: 1 or q?
q
Let q = 113/8325 - -1/225. Which is bigger: -1 or q?
q
Let q be (1 - 2) + -3 + 22. Let z be (-8)/12*q/(-14). Is z at least 0?
True
Let o = -41/2 - -21. Let g(s) = -s**2 + 2*s + 4. Let u be g(4). Let c be u/(-10) - 21/(-35). Is o <= c?
True
Let y = -38 + 37. Which is smaller: y or -17?
-17
Let g be ((-1060)/(-327))/5 + 0. Let b = 2/109 + g. Does b = 1?
False
Suppose 5*t + 0*t - 10 = 0. Let u = t + -1. Let y be -3 + 5 - (u + -4). Is y less than 4?
False
Let c = -0.4 - -0.7. Let p = c + -0.5. Let w = -21 + 20.9. Which is smaller: p or w?
p
Let c = -3 - -4. Let v = c - 0.3. Are v and -1/3 equal?
False
Let v = 148/7 + -21. Which is smaller: v or -1?
-1
Suppose 0 = -3*o - 2*p - 64, -3*o + p - 54 = -2*p. Let n = -285 + 265. Is o bigger than n?
False
Let x = 4.93 - 0.03. Let r = 5 - x. Is -1 equal to r?
False
Let v = -0.8 + 0.3. Let f be (0 + -1)*(6 - 6). Suppose 2*k + 7 = 7*k + o, f = 2*o - 4. Are v and k equal?
False
Suppose -1 = 2*a - 3*a. Is a >= -2/31?
True
Let p be 20/21 + 6/(-9). Let v be (1/2 - -1)/(-1). Which is smaller: p or v?
v
Let c = 151/9 + -17. Let p = -16 - -28. Let o = p + -23/2. Which is smaller: o or c?
c
Let z = 4 + -4.3. Let d = 5 + -7. Are z and d equal?
False
Let b = -16 - -17.4. Let w = b - -0.6. Are w and 0 equal?
False
Let n(o) = o**3 - 6*o**2 + 3*o - 1. Let u be n(5). Let h = u - -6. Which is greater: h or -4?
-4
Suppose -s = -2 - 2, 0 = 3*u - 5*s - 10. Suppose 26 = 5*j + 2*n, 0 = 3*n + 1 - u. Suppose -j*b = -5*b + 4. Which is smaller: 3 or b?
3
Let c be 2608/(-72) - 4/(-18). Are c and -36 non-equal?
False
Let q be -1 + (-1)/((-2)/(-4)). Let r(l) = l**2 + l. Let p(s) = 3*s**2 + 13*s + 14. Let m(d) = -p(d) + 2*r(d). Let g be m(-10). Which is bigger: q or g?
q
Suppose 19*a = 16*a. Which is smaller: a or 1.8?
a
Suppose 4*x - 2*x + 2 = 0. Let l = x - -7. Is 2 smaller than l?
True
Let z be (-5)/2 + (-9)/(-6). Let p be z - 1/((-21)/(-648)). Let g = -32 - p. Which is smaller: g or -1?
-1
Let k be ((-324)/80)/((-21)/(-2)). Let y = 1/70 - k. Which is bigger: y or 2/3?
2/3
Let n be 2*(-9)/(-45)*5/(-2). Is 4 greater than or equal to n?
True
Let g = 5 + -1. Suppose -g*f = -f. Is 2/65 less than or equal to f?
False
Suppose -3*f = -6*f + 24. Suppose 5*n - 17 = 2*m, 4*m = -0*n - 4*n + f. Suppose -8 = -i - n*i. Which is greater: 0 or i?
i
Suppose 4*u = 3*u - 2. Let x be -3 + -1 + u/(-1). Which is smaller: x or -3?
-3
Let j(p) = -4*p**2 + 3*p + 11. Let l(a) = 3*a**2 - 4*a - 10. Let u(g) = -4*j(g) - 5*l(g). Let h be u(-7). Is -3/2 equal to h?
False
Suppose -4*l + 2 = -3*l. Let y(v) = 2*v**2 + 4*v - 1. Let g be y(-3). Let n be (-15)/6*(-6)/g. Is l <= n?
True
Suppose l + 4 = -3*l. Let r be (-3 + 3 + l)/1. Let y = -16 - -31/2. Do r and y have different values?
True
Let z = -6 + 4. Let g = 3.1 + -0.1. Let u = g + -4. Which is smaller: u or z?
z
Let d be (11/3)/(2/6). Suppose 8*m = 132 - 52. Are m and d unequal?
True
Let s be (9/(-30))/(15/(-80)). Let o = -0.2 + 0.1. Which is greater: s or o?
s
Let f = -5 - 6. Let x = f + 25. Which is bigger: x or -2/7?
x
Let k be -2 + 0/(-1) + -1. Let r be 119/(-28) + 2*2. Is k bigger than r?
False
Let a = -20/147 - -4285/882. Let z = -7/18 + a. Is 4 >= z?
False
Suppose -5*z = 0, -5*p - 3*z + 2 + 3 = 0. Are -1/67 and p nonequal?
True
Let d(z) = -z. Let p be d(-3). Suppose -4*l = -12, 2*h + 11 = 3*h + p*l. Let x = 498/5 + -99. Do x and h have different values?
True
Let i = -5 - -12. Let f = i + -8. Which is greater: f or 1/9?
1/9
Suppose 5*o - 4*g = -16, 0*o - 2*o = -3*g + 12. Suppose 4*s - 6*s + 3*w = -11, s = 3*w + 7. Suppose 5 = -s*i + 1. Does i = o?
False
Let h = -172.95 - -177. Let p = 0.08 - 0.03. Let x = p - h. Which is bigger: x or 0.1?
0.1
Suppose 2*w + 0*w - 8 = -g, 25 = 5*w. Let b = -3 - g. Let n be -2*(-2 + (-1 - (-16)/4)). Is n at most b?
True
Let s = -2 + 1.9. Let t = -99.1 - -99. Are t and s non-equal?
False
Let c = -207 - -1651/8. Are c and 0 equal?
False
Let b = -11.2 - 1.8. Let v = b - -12.8. Which is bigger: 0 or v?
0
Let l(v) = -v**3 + 3*v**2 + 3*v + 0*v + 4 + 0*v. Let o be l(4). Let m be ((-10)/(-5))/(18/(-4)). Is m > o?
False
Let c be ((-57)/(-133))/(3/(-2)). Let r = -3 + 1. Let k be 0/(r/(-2))*1. Is k at most c?
False
Let l(b) = b**3 - b**2 - 2*b - 1. Let d be l(2). Let s be 10/8 - (d + 2). Which is greater: 0.05 or s?
s
Let n(j) = -j + 13. Let s be n(10). Suppose -5 - 13 = -3*p. Let i be -1 + (0 - (3 - p)). Which is smaller: i or s?
i
Suppose 3*m - 3*r + 10 = 2*m, -2*r + 20 = 2*m. Let t be (-8)/20 - (-47)/m. Which is bigger: t or 11?
11
Suppose 0 = -0*p + 2*p - 6. Suppose -v + 2*k + 27 = 7*k, -4*v + k + p = 0. Is 1 bigger than v?
False
Let p = 261061/99 + -2637. Which is smaller: p or 0?
p
Suppose -7 + 1 = -2*i. Let b(r) = i*r - 7 - r - r. Let j be b(7). Which is greater: j or -1/3?
j
Let r(i) = -i**3 - 9*i**2 + 10*i + 3. Let n be r(-10). Let j be (-2)/n + (-2)/(-3). Is j != -1/3?
True
Suppose 0*b + 4*b = 3*r + 4, b = 2*r + 1. Let o be (-28)/(-21)*b/4. Is o <= 1/3?
True
Suppose -3*m - 34 = -4. Let i be (-5)/(-20) - m/(-8). Which is bigger: i or -1/4?
-1/4
Let w = 1.6 + 6.4. Let j = w + -8.3. Let s = 0.2 - -0.8. Which is bigger: s or j?
s
Let x = 16.2 - 16. Do 0.08 and x have the same value?
False
Let q(h) = -h**3 - 3*h**2 + 6*h + 5. Let l be q(-4). Let x = l - -5. Is -1/5 > x?
False
Let l(f) = 4*f - 6. Let d be l(4). Let r be ((-12)/d)/(8/(-20)). Is r less than 3?
False
Let b = -239 - -241.93. Let q = b - -0.07. Let u = 0.1 - 0.1. Is u smaller than q?
True
Suppose -1 = -f - 18. Is f < -18?
False
Let b = -9 + 8.3. Let u = 1.3 - b. Let r be (0 - 2)/(1 + 1). Is r >= u?
False
Suppose 0*a + 22 = 11*a. Let j(x) = 7*x**2 + 5*x - 14. Let n(u) = u**2 - 1. Let m(z) = -j(z) + 6*n(z). Let b be m(-6). Is b at least a?
True
Let p(o) = -4*o + 7. Let l be p(2). Let w(z) = z. Let d be w(4). Suppose