0.1?
o
Suppose 42*u = 39*u - 12. Let p(k) = -15*k**2 - 2*k + 1. Let h be p(1). Let z be h/(-12)*(-1)/u. Which is greater: z or 0.1?
z
Suppose 16 = -4*x - 4*q, -x - 4*q - 15 = 2*x. Let i = -386/1599 + 12/41. Let t = i + -88/195. Is t < x?
False
Let u(z) = z**3 + z**2 - z. Let l be u(1). Let y = -6 - -8. Suppose 2*g = -0 + y. Is l greater than or equal to g?
True
Let l be (-2)/((-24)/4) + 2/18. Are l and -1 nonequal?
True
Let d(f) = -f**2 + 2*f + 2. Suppose t + t + 2 = 3*v, 5*t - 5*v + 10 = 0. Let w be d(t). Let c be 4/w + 16/88. Are -2/9 and c unequal?
True
Suppose -2*s + s + 4*k + 17 = 0, 2*k + 9 = s. Let x(f) = -f**3 - 5*f**2 + 7. Let r be x(-5). Let l be (-4)/(20/r) - -2. Which is greater: l or s?
s
Let p = -51 - -51. Is p not equal to -19?
True
Let z be (8/6)/(-2)*3. Which is smaller: -1 or z?
z
Let z be (-4)/3*(-8 + 2). Let c(l) = l**2 - 8*l - 11. Let y be c(z). Is y bigger than -11?
False
Let t = 1.42 - 0.99. Let w = -1.03 + 1. Let c = w + t. Which is greater: c or 0.2?
c
Let r = 80 + -76. Let a = 0 - 0. Is a at most r?
True
Let w be (1 - -1 - 4) + (-24)/(-10). Are w and -0.12 nonequal?
True
Let q = 136 - 1767/13. Which is greater: q or 1?
1
Let h(a) = -4*a + 4. Let w(o) = -7*o + 9. Let k(s) = 5*h(s) - 3*w(s). Let f be k(7). Let l = 141 + -1691/12. Is f at most l?
True
Let l = 76 + -1597/21. Do -1 and l have different values?
True
Let q(v) = -v - 5. Let w be q(0). Let a be 5/15 + 64/(-12). Is w at least a?
True
Let f be 1*((-4)/2 - -2). Let u be 0/(0 + 1 - f). Let y be ((-1)/(-5))/((-9)/(-15)). Which is smaller: u or y?
u
Suppose -i + 2*i - 41 = 3*n, 4*n = -4*i - 28. Is -11 at least n?
True
Let g(d) = d**2 - 6*d + 4. Let r be g(5). Let h be (4/2)/((-6)/(-9)). Suppose -2*q - h*q = 0. Is q != r?
True
Let h be (-2350)/(-20)*(-1)/(-5). Let i = -17 + 40. Let s = h - i. Which is bigger: s or 0?
s
Suppose 0*j + 5*j + 2*t - 9 = 0, -2*j = -5*t + 8. Let l be (1/(-13))/((-4)/8). Is j greater than or equal to l?
True
Let c = 40.9 + -38. Is c at least as big as 0?
True
Suppose -5 = -4*m - 1. Which is greater: m or -1/8?
m
Suppose 3*f - 22 = -5*r, -4*f + 5 = f + 2*r. Let p = -6919663/1487304 - 6/20657. Let c = p - -39/8. Which is bigger: c or f?
c
Suppose -5*o + 3 = 3*g - 4, 5*g - 1 = -3*o. Which is smaller: o or 0?
0
Let k = 465 + -468.89. Let d = k + -0.11. Let f = d + 9. Are f and -1/2 nonequal?
True
Suppose -10*r + 6*r - 4 = 0. Let a be 104/(-80) - (-2 - r). Which is smaller: 0 or a?
a
Suppose 10 + 26 = 3*f. Which is smaller: f or 11?
11
Suppose -3 = 3*g, -98 = -2*h - h + 5*g. Let m = -30 + h. Is m bigger than -1?
True
Let c(w) = -w**2 - 6*w + 2. Let l be c(-6). Suppose -l*g = -7*g + 210. Let d be ((-9)/g)/(3/4). Which is bigger: d or -2/11?
-2/11
Let z(j) = -j**2 + 2*j + 5. Let o be z(4). Suppose -5*b - 13 = -38. Let w be b/(-2) - (-1)/1. Is w < o?
False
Let i be 27/(-18) + (-829)/2. Let h be (-4)/(-6) + i/507. Which is smaller: h or 1?
h
Let k be (-3)/(12/(-16)) + 3. Is 6 > k?
False
Let z = -29 - -4. Is -24 greater than z?
True
Suppose -5*z + 5*t = -z - 26, -10 = 5*t. Are z and 6 equal?
False
Suppose 3*c - 5*c = 0. Suppose c = -2*x + 5*x - 6. Suppose 4*m + 0 = 16. Which is bigger: m or x?
m
Let o = 7 + -5. Suppose -3*v - 4 = 2*z - v, -3*z - 10 = 4*v. Is o at least z?
True
Let p = -4479/20 - -224. Let z = -17/60 - p. Which is bigger: 3 or z?
3
Let i(a) = a. Let n be i(5). Suppose -n*q = 6 - 26. Is 5 less than q?
False
Let z(w) = w**3 - 10*w**2 + 12*w - 7. Let n be z(9). Suppose -3*a - n = a. Are a and -5 unequal?
False
Suppose 3*y = -0*y + 3. Is 9/5 not equal to y?
True
Let k = -5 - -8. Suppose -s - k*s = -4. Suppose -3*a = -2*a - s. Is a not equal to 2/3?
True
Let m(b) = -b**3 - 8*b**2 - 8*b - 8. Let i be m(-7). Let v = -1 + i. Let l = -3 - -2. Which is bigger: v or l?
l
Let r(a) = -15*a - 1. Let w be r(-1). Let i = 27/2 - w. Are i and -2 equal?
False
Let c(i) be the second derivative of i**5/20 + 2*i**4/3 + 5*i**3/6 - 9*i**2/2 - 3*i. Let q be c(-7). Which is smaller: 6 or q?
q
Let j(a) = -a - 13. Let q be j(-13). Let c(t) = t - 5. Let z be c(3). Let x be (0*(-1 - q))/z. Is x smaller than -3/5?
False
Let j = -5.4 + 0.4. Let x = -0.2 - 0. Let b = x + 0.1. Which is smaller: j or b?
j
Let b = -351/35 + 53/5. Is b at most as big as 0.1?
False
Let d = 17 + -15. Is d > 1?
True
Let j be (12/10)/(12/80). Suppose -z - j = 3*z. Let h = 0 + z. Which is smaller: h or -1?
h
Let s = 796073/1932 - 565/92. Let x = 406 - s. Which is smaller: 0 or x?
0
Suppose -3 = 3*z - 24. Suppose 0 = 2*v + z - 3. Do -2 and v have the same value?
True
Let y = 19 - 20. Suppose 156 + 39 = q. Let d = q - 978/5. Is d smaller than y?
False
Let c(a) be the second derivative of 3/20*a**5 + 0 + 0*a**4 + 0*a**2 + 4*a + 1/6*a**3. Let h be c(-1). Do h and -4 have the same value?
True
Let m(n) = n - 6. Let p be 234/14 + (-2)/(-7). Suppose -5*w = -67 + p. Let k be m(w). Is 1 > k?
False
Let x(i) = i - 3. Let p be x(2). Let r(f) = -f. Let g be r(-3). Suppose g*m + 1 = -5. Are m and p equal?
False
Let r be (-1)/7*(5 - 2). Let v = 94 - 95. Which is smaller: v or r?
v
Let p be 6 + -5 - 56/65. Let w = p + 6/13. Suppose 3*j = -0*j. Which is bigger: j or w?
w
Suppose j + 4*j = 5. Let n = j - 2. Let d = 40 - 198/5. Is n >= d?
False
Let w = -58.91 + 60. Let r = -63 + 62.91. Let z = w + r. Is 0 less than or equal to z?
True
Suppose -4*u - 4*q = -2*u + 26, 3*u = 5*q + 16. Is u >= -15?
True
Let n = -9.7 + -3.3. Let r = n - -8. Let x = 5.3 + r. Is 0.1 bigger than x?
False
Let g be 2/3*18/24. Is g at most as big as 15?
True
Let j = -43 - -43.1. Which is greater: j or 2/9?
2/9
Let i = -56 - -113. Let p be 3 - (4 + i/(-51)). Suppose -4*y + y = 4*u - 4, -4*u = -4. Is y greater than or equal to p?
False
Let j be (-1)/(-4) + (-1695)/12. Let z = 703/5 + j. Which is greater: 2/5 or z?
2/5
Let x be (2 + -5)/(2 + -3). Suppose g - 14 = x*g. Which is smaller: g or -6?
g
Let s = 29 - 12. Let g = -20 + s. Which is bigger: g or -0.2?
-0.2
Let i(w) = w - 12. Let j be i(13). Suppose -k - 5 = -3. Let q be k/(-1) + (-57)/27. Are j and q unequal?
True
Let t(q) = -q**3 - 9*q**2 + 12. Let a be t(-9). Which is greater: a or -0.1?
a
Suppose 4*h = 3*b - 4*b, 5*b - 3*h - 23 = 0. Suppose 0 = -4*g - 2*m + 8 + 10, -3*g - 5*m + 10 = 0. Suppose b*c + 1 = g*a - 11, 5*a + c + 3 = 0. Does 0.3 = a?
False
Let s(q) = q**2 + q - 1. Let f be s(-2). Suppose -1 = 2*v + f. Which is bigger: v or -3?
v
Let d be 1 - (-1 + 0) - 9. Let k = 7 + d. Which is smaller: k or 2?
k
Let p be 0/(-1 + 1 + 1). Suppose 3*q = -p*u + 4*u - 6, -q - 10 = -4*u. Is 3 equal to u?
True
Let j be 1/(-4) - (-9)/20. Let q = 18 + -28. Let u be q/(-6) - 4/6. Which is greater: u or j?
u
Suppose -3*m + 373 + 11 = 0. Let q be 2/5 - m/20. Let k = -12 + 7. Is q at least as big as k?
False
Suppose 47*o + 12 = 44*o. Suppose 2 = 5*c + 27. Which is greater: c or o?
o
Let a = 31209/22568 + 3/1736. Which is smaller: a or 0?
0
Let z be -1 + 1 - 24/(-1). Suppose -m - 2*m = -z. Let r = m - 7. Is 1/5 greater than or equal to r?
False
Let q be ((-2)/12)/(1/2). Suppose 0 = -10*i + 3*i + 7. Which is bigger: i or q?
i
Suppose -5*r = -28 + 8. Suppose 0 = r*m + m - 5. Let n = 1627/13 - 125. Which is greater: n or m?
m
Let k be 80/(-182) + (-2)/(-7). Let m = 31 + -16. Let j be (2/6)/(5/m). Which is smaller: k or j?
k
Suppose 0*v + 7*v = 0. Let m = 761/7 + -109. Which is smaller: m or v?
m
Let b = 2 + 12. Let v be (-28)/49 + 4/b. Are 1 and v unequal?
True
Let c be 2 - (2 + 1) - 158/(-166). Which is smaller: 1 or c?
c
Let h be (-9)/3 + 1 - -4. Suppose 4*r = -0*v + v, -4*v + 2*r = 0. Suppose v = -u + 3*u - h. Which is bigger: u or 2?
2
Let d = 7 - 9. Let r be (-5 - -3)/(d/1). Is r at most as big as -2/11?
False
Suppose -f + 6*f - 5 = 0. Let i be -6 - f/(-1)*1. Let o be ((-1)/(-3))/(i/(-45)). Which is smaller: 5 or o?
o
Let j = 7/31 + -561/2759. Do -1 and j have different values?
True
Suppose -3*m + 3*j = -45, -3*m + 51 = -4*j - j. Let g = m + -7. Suppose 3*d - 3*i = 0, -d = i + 3*i - g. Which is bigger: 2 or d?
2
Let m(l) = l**3 - 12*l**2 + 1. Let s be m(12). Let z be s/1 + 48/(-30). Is z smaller than -0.1?
True
Let b = -1301301975/46 + 28280781. Let t = b - -8393. Let m = 3/23 - t. Is m bigger than -2?
True
Suppose -4*n = -2*h - 20, -5*n + 18 = -h - 4. Suppose -4 = n*u - 12. Let p(k) = k**3 - k**