p = -0.17 + -10.83. Let o = -26 - -10. Let l = p - o. Is -1/3 != l?
True
Suppose -30 = -0*q - 5*q. Let j be (q/(-88))/(3/(-24)). Does j = 2?
False
Let p = -42.05 - -41. Let r = -0.05 - p. Which is smaller: -3/5 or r?
-3/5
Let u = -15 + 14. Which is bigger: 1/7 or u?
1/7
Let u = -0.08 + 2.08. Suppose -2*s = 3*s - 25. Let n = s - 3. Is n smaller than u?
False
Let y = 1.2 - -0.6. Let d = 2.5 + -0.5. Let r = d - y. Which is smaller: r or 1?
r
Let c be -1 - -2 - (7 + -4). Which is smaller: c or 1/3?
c
Let z(m) = 0*m - 3*m**2 + m**3 + 4*m - 5*m**2 - 2 - 3*m. Let y be z(8). Which is smaller: y or 2?
2
Let l be 6*339/6*1. Let x = -7799/23 + l. Is 0 greater than or equal to x?
True
Let m be (2/(-25))/((-10)/150). Are m and 0 nonequal?
True
Let m = 5 + -5. Is 0.1 < m?
False
Let s(j) = -j**3 + 8*j**2 + 8*j + 9. Let y be s(9). Are y and 0 nonequal?
False
Let n(d) = 2*d. Let c be n(1). Let s = 10564/3295 - 4/659. Is c greater than or equal to s?
False
Let a be 3/(-2)*110/(-33). Is a greater than or equal to 3?
True
Let b(p) = -2*p**2 + 38*p + 43. Let c be b(20). Let j = 4 - 3. Which is greater: c or j?
c
Suppose -3*q + 4*q = -2. Let j be (-1 + 2 - 3) + 10. Let f be ((-1)/(-3))/(j/(-12)). Which is bigger: q or f?
f
Let z = 123/16351 + -37864820/5035731927. Let c = -750026647/2155839 - z. Let d = 348 + c. Which is greater: -1 or d?
d
Suppose -2*l - k = 2*k - 318, 634 = 4*l + 5*k. Suppose -4*y + y = 24. Let h be 15/l - (-2)/y. Is -1 at most as big as h?
True
Let b(o) = 2*o**2 - 7*o - 2. Let z be b(4). Is 6 <= z?
False
Let h = 4.21 + -4. Let k = 0.79 + h. Is k < -10?
False
Let v = -93 - -653/7. Let x = -3 - -3.1. Are x and v nonequal?
True
Let k be -3 - -1*21/18. Let h = k + 4/3. Which is bigger: 2/3 or h?
2/3
Let t = -1/210 + -25/42. Let o(b) = -b**3 - b**2 - b - 2. Let m be o(0). Let p be -1*m/4*-2. Which is smaller: p or t?
p
Let t = 2 - 4. Let c be (-2 + 3)*(t + 4). Let a be (c/(-36))/((-3)/12). Is 0 smaller than a?
True
Let f = 1 - -14. Let s = 15.1 - f. Is s greater than or equal to 1?
False
Let y = -0.11 + 1.71. Let p = y + -1.1. Which is bigger: 1 or p?
1
Suppose 5*c - 3*h - 8 = 0, -h = -4*c + 2 + 3. Is c smaller than -5/17?
False
Let h be (-391)/40 - (-4)/30*3. Is -9 greater than or equal to h?
True
Let j be (-9)/(-2) - (-2)/1. Is j <= 6?
False
Let k = 12.18 + -0.18. Let f = k + -11. Is f less than 1?
False
Let p be (-12)/(-3) + (-305)/85. Does 0 = p?
False
Let s(l) = -l - 4. Let k be s(-7). Let v(y) = y - 1. Let m be v(k). Let r be 1 + 1 + m + -2. Is r less than 1?
False
Suppose 0 = 22*c - 18*c. Which is smaller: c or 2/19?
c
Let j = -0.17 + -0.03. Which is smaller: j or -1?
-1
Let q = -24.7 - -22. Let p = q + 0.7. Do -1 and p have the same value?
False
Let m = 28 + -16. Let y = m + -11.9. Which is bigger: 10 or y?
10
Let b(s) = -s**2 + 5*s - 5. Let g be b(2). Let y be 2/7 + (-2)/(-140). Let c = y + -1/10. Which is smaller: c or g?
c
Let i(s) = -s**2 - 9*s - 8. Let g be i(-8). Which is smaller: g or 1?
g
Suppose 4*q + 14 = 10. Let i be 6*2/(-3)*1. Let j be 1/(7/i) - 0. Are q and j equal?
False
Let o be (18/35 - 48/60)*-7. Let a(t) = -t**2 - 4*t + 1. Let x be a(-3). Is x smaller than o?
False
Let l = 0.07 - 0.17. Which is smaller: l or -0.7?
-0.7
Let d = 61/90 - 1/90. Let w be ((-4)/8*-2)/(1/(-5)). Which is bigger: w or d?
d
Suppose 5*w - 22 = -7, 15 = 2*b + 5*w. Suppose 0 = -d - 2*d. Let k be d*(1 + 0/(-2)). Is b at most k?
True
Let c be -3*2/(-3) + 8. Suppose -2*v + 4*r + 2 = 4, 5*r = -5*v + c. Which is bigger: -1/5 or v?
v
Suppose -3*v = -3*c + 5*c, 2*c = -6. Let p be (3 - -12)*1/3. Suppose p*t = t + 4. Do v and t have the same value?
False
Let l be 5/(-25)*(-3 - 532/(-174)). Which is greater: 1 or l?
1
Let z = -12.1 - -12. Are z and 7 equal?
False
Let n = 31 + -28. Are n and 6 equal?
False
Let l = -207/5 + 213/5. Suppose -5*z = 15, 3*r - 8*r = -3*z - 19. Which is greater: l or r?
r
Let b be 6/18 - (-2)/(-6). Suppose -5*m = -5*x - 0*x - 5, b = -m + 4*x + 4. Which is smaller: 3/7 or m?
m
Let k = 742/83 - 223827/23821. Let t = k - -7/41. Is t bigger than -1?
True
Let r = -1.09 - -0.09. Is 4 < r?
False
Let y = -25 + 42. Let t = y + -16.96. Which is bigger: -0.1 or t?
t
Suppose n + 6 = 3*z - 0*n, -3*z - 6 = 3*n. Suppose 4*s - 29 = -3*y, -2*y + 2*s - 14 = -2*s. Let k = y - 2. Is z at most as big as k?
True
Let s = 898 - 9865/11. Is s > 0?
True
Let f = 15244738/15 - 1015900. Let x = -416 + f. Let l(t) = t**3 - 4*t**2 - 1. Let o be l(4). Which is smaller: x or o?
o
Let z = -4/15 + 61/60. Which is bigger: z or 1?
1
Let y be (2/(-4))/(3/(-6)). Suppose 0 = -x + 2*q - y - 0, -5*q = 0. Let j be x/11*(-10)/(-5). Are 0 and j non-equal?
True
Suppose -4*o - 1 + 9 = 0. Suppose 0 = -g - o + 3. Let l be 1/(g + -2 + 0). Is -2 > l?
False
Let q be (-58)/5 + 6/(-15). Which is bigger: -14 or q?
q
Let d = 0.4 - 1.4. Let b = -0.01 - -0.01. Which is greater: d or b?
b
Let c = -4 + 3. Let t = -2252/9 - -250. Is t smaller than c?
False
Suppose -2*d - 28 = -6*d. Suppose d = w + i, -2*w + 3*i = -0*i + 6. Which is bigger: w or 1?
w
Let v = 17 + -14. Is 3 <= v?
True
Let i(d) = d**3 - 15*d**2 - 12*d + 2. Let b be i(16). Is 67 at most b?
False
Suppose -d = -5*u - 21, -29 = 3*d - 5*d - 3*u. Let l be d/6 - 2/(-6). Let t = 1 + l. Which is bigger: 5 or t?
5
Let i be 19/2 - 11/(-22). Let k be 16/10 + (8 - i). Which is smaller: k or 0?
k
Let z be (-14)/(-63) + 235/(-45). Is z bigger than -5?
False
Suppose 0 = -2*r - 2*r + 44. Which is smaller: r or 10?
10
Let b be 1/1 + 9/(-12). Suppose 0 = 7*d - 6*d. Suppose d = u + 4*u. Which is smaller: u or b?
u
Let w = -0.2 + 0. Let b = w + 0.3. Let q(r) = -r**3 - 7*r**2 - 6*r - 1. Let v be q(-6). Which is smaller: b or v?
v
Let f be (1 + (-35 - -1))*1/3. Is -5 != f?
True
Let y be -2 + 1611/(-948) + 3. Let h = y - 4/79. Let m(l) = l - 5. Let d be m(4). Is h != d?
True
Let k = 3 + -6. Let l = 1 - k. Let w = l - 3. Is -2 equal to w?
False
Let i = -1 + 6. Let x = -14 + 18. Which is smaller: x or i?
x
Suppose 32 = -y + 5*y. Which is bigger: 7 or y?
y
Let y = 1 - 0.82. Let p = 2 - 2.08. Let x = p + y. Which is greater: 2 or x?
2
Let r = 2 + -6. Let h be (r - 2)/2 - -7. Which is smaller: h or 6?
h
Let q = 21 + -15. Let i = 6 - q. Is i bigger than 2?
False
Suppose -b + 2*d = 7, b + 5*d - 13 = 2*b. Let s = 5 + b. Is 4/7 not equal to s?
True
Let t = 0.5 - 0.3. Let h = 0 + t. Let d = 0.2 - h. Which is bigger: d or -2/15?
d
Suppose -c - 11 = -2. Let l = c - -4. Are l and -5 non-equal?
False
Let n be (-705)/4 + (-24)/32. Let x be (-2)/4*4598/(-13). Let b = n + x. Is b at least as big as -1?
True
Let k be (-6)/(-4)*12/1. Let u be 39/(-2)*6/9. Let h = k + u. Do h and 4 have the same value?
False
Let d(n) = n**3 + 6*n - 5. Let x be d(-8). Let u = x + 12993/23. Which is smaller: -1 or u?
-1
Suppose 0 = 5*k + 8 - 48. Let w = 21 + -13. Is k <= w?
True
Let z = -3 - 2. Let u = 8 + z. Let s(q) = q**2 + q. Let k be s(-2). Which is smaller: k or u?
k
Let j = -0.06 - -0.06. Let n = -0.3 - j. Let i = 1.3 + n. Which is smaller: i or 0.3?
0.3
Let x be (-2)/(-3)*15/(-10). Let k be -2 + 12/3 + -2. Let c = x - k. Which is smaller: c or 1/4?
c
Let a be (0 + 7)/(-14)*1*2. Which is bigger: a or -1/15?
-1/15
Let l(a) = -2*a**3 + a**2 + 2*a. Let m be l(2). Suppose -5*d + 3*d = 6. Let k = d - m. Which is greater: k or 4?
k
Let a = -1042/3 + 1697/6. Let r = -6833/106 - a. Is -1 < r?
True
Suppose -8 = -4*u - 4*w, 4*u - u + 2*w = 5. Let v be -2 + u - 2 - -1. Which is bigger: -1 or v?
-1
Let k(p) be the third derivative of -7*p**4/8 - 3*p**3/2 + 4*p**2. Let v be k(-6). Let s be (-8)/v - (-12)/54. Which is greater: -1 or s?
s
Suppose 2*n = -105 + 101. Let c be (1/(-3))/((-1)/3). Is c at most as big as n?
False
Let m be (-3)/12*5*-4. Suppose m = h + 4*h. Which is smaller: h or -1/5?
-1/5
Let f be 19 + ((-11)/22 - 1/2). Is 19 bigger than f?
True
Let b(h) = 4*h - 1. Let y(t) = t**2 + 20*t - 4. Let f be (-2 - 0) + 7 + -3. Let i(g) = f*y(g) - 11*b(g). Let x be i(2). Is 3 less than or equal to x?
True
Suppose -7*s - 5 = -2*s. Are 5/12 and s non-equal?
True
Let q = 21 + -17. Suppose -4*p + 4*l + 31 = -5, 25 = 3*p - 2*l. Suppose 3 - p = -q*t. Which is smaller: t or -2/7?
-2/7
Let x(b) = b**3 + 2*b**2 + 3*b + 4. Let w be x(-3). Let p be w/10 - (-2)/1. Is 1 not equal to p?
True
Let w = -2854/5 +