at most as big as 32?
True
Let u be (0 - -2)*1/17. Let v(o) = -56*o - 225. Let d be v(-4). Does u = d?
False
Suppose -2*q - 3*j - 1 = -4, 4*j = 3*q + 4. Let h = -3 + -5. Let m be (-11)/44 + (-2)/h. Are q and m non-equal?
False
Let t = -3575/25123 - 2/3589. Let d = 1 + -1. Is d != t?
True
Let y(v) = v**3 + 3*v**2 - 6*v - 4. Let g be 255/(-68) - 2/8. Let o be y(g). Suppose 3*j = -j - o. Are -1 and j equal?
True
Let v = -10846207/6726090 + 6/1761595. Let j = v + 18/11. Which is greater: 1 or j?
1
Let h = -259 + -393. Let n = 16949/26 + h. Is 0 less than n?
False
Let o be 51/(-2)*(-108)/162. Which is greater: 180/11 or o?
o
Let d = -0.1 - -0.2. Let r = -638 + 628. Do r and d have the same value?
False
Let a = 10319/11 - 937. Is a at least 5?
False
Suppose 0 = 31*r + 31*r - 3844. Is r not equal to 64?
True
Let x be (9/(-2406))/(3/(-6)). Which is smaller: x or 1?
x
Let i(r) = 44*r - 954. Let m be i(22). Which is bigger: m or 31?
31
Suppose 2*i - 3 - 3 = 0, 5*q - 2*i - 54 = 0. Let h(a) = -a**2 + 13*a - 2. Let w be h(q). Let r = 179 - 170. Is r smaller than w?
True
Suppose -4*b - 602 = -62. Do -134 and b have the same value?
False
Let b = 14 - 24. Let y = 2355.1 - 2355. Is b greater than y?
False
Let h(f) = -f**3 + 5*f**2 - 4*f - 3. Let a be h(4). Is a at most -14?
False
Let b(f) = 2*f**3 - 46*f**2 + 79*f - 27. Let v be b(21). Which is bigger: -138 or v?
v
Suppose 22 - 6 = -4*x. Let l be 0*(-3 - 16/x). Let d = -14 + l. Is -15 at most d?
True
Let r = -809 + 2428/3. Which is smaller: r or 2/873?
2/873
Let m(y) = -y**2 + 19*y - 72. Let i be m(17). Which is smaller: -36 or i?
i
Let u be 3 + 2 + (-1)/1. Suppose -4*f + 3*f = -5. Suppose f = -n + 2*n. Are n and u equal?
False
Let i = -13 + 7. Let j be i/24 + (-1)/(-4). Suppose 2*o = -j*o. Which is smaller: o or -5/4?
-5/4
Let x = -115/8 + 2169/152. Which is smaller: x or -4/3?
-4/3
Suppose 14*n = 13*n - 6. Suppose -2*d = 3*s + 27, 5*d + 2 = -4*s - 41. Is n != s?
True
Suppose -3 = -o - 6, 5*z + 3*o = -49. Let k be 2/z*-4*3. Suppose 1 = p - s, -k*p + 5*s - 4 = -11. Which is bigger: p or 0.01?
0.01
Let y be (-45)/10*4/(-3). Suppose y*i - 16 = 2*i. Let a be ((-9)/(-45))/(2/i). Which is smaller: a or -0.01?
-0.01
Let h(n) be the third derivative of n**4/24 - n**3 + n**2. Let i be 36/8*44/33. Let x be h(i). Which is smaller: 4 or x?
x
Let m = -720/2471 - -2/353. Let j(i) = -2*i**3 - i - 1. Let h be j(-1). Suppose -13*z + 11*z - h = 0. Is z not equal to m?
True
Let n = -41 - -59. Suppose 0 = -6*y + 47 + 7. Let o = y - n. Which is greater: -10 or o?
o
Suppose 72 = -21*i - 33. Are -7 and i unequal?
True
Suppose 2*c - 21 = -7. Let w be 10/35 + 12/c. Is -3 < w?
True
Let i = 0 - -2. Suppose 0 = 3*b - i - 1. Is b less than 0.2?
False
Suppose 4*n - 3*k = 3*n - 10, 3*n - 4*k + 10 = 0. Let i be (n + -1)*-3 - 16. Let p = -16 - i. Is p >= 3?
True
Let n = -7705/11 + 701. Suppose 15*j = -1060 + 1075. Which is greater: j or n?
j
Let j be (0 - 682/228) + 3. Let i = j + 679/570. Is i > 0?
True
Let a be (2814/(-9))/((-174)/(-108)). Suppose -150 = z + 44. Let j = a - z. Is -0.1 <= j?
True
Suppose -4*d = -8*d + 176. Let q = d - 7. Which is smaller: 36 or q?
36
Suppose -9*m + 31 - 22 = 0. Which is smaller: m or 15/29?
15/29
Let x(t) = -t**2 - t + 6. Let m be x(4). Let h(g) = g**2 + 14*g + 2. Let z be h(m). Suppose -2*r + 3*y - 1 = -22, 5*y = z*r - 31. Which is greater: 4 or r?
4
Let u be (-1)/2 + 1690/20. Let m = -21 - -23. Let t be (26/u)/13*m. Are 1 and t unequal?
True
Let h be (-2)/((-10)/(-4) - 3). Suppose h*b - 12 = 6*b. Which is smaller: -4 or b?
b
Suppose -15 = -10*w + 5*w. Let q be (w/(-33))/((-5)/(-1750)). Let p = -362/11 - q. Which is bigger: 0 or p?
0
Let l = 0.273 + 6.727. Is -0.4 bigger than l?
False
Let o(y) = -2*y**3 + 3*y**2 - 5*y - 7. Let c be o(-3). Is c bigger than 88?
True
Let d = -4 + 10. Let h = -532/9 - -2903/45. Which is greater: h or d?
d
Let l be ((-2)/(-3))/((-11)/33). Suppose 0 = 2*y - 5*u + 17, 2*u = -4*y - 0 + 2. Let j be l/y + (-8)/2. Which is greater: -3 or j?
j
Let i = 5 + -1. Suppose -s = -0*s - i. Let a(j) = -j + 22. Let m be a(19). Which is smaller: s or m?
m
Suppose 0 = -7*u - 0*u + 840. Suppose -q - p = -3*q - u, 4*q - p + 242 = 0. Is q smaller than -61?
False
Let v(t) = 14*t - 15. Let i be v(2). Which is greater: i or 16?
16
Suppose -4*l = -l + 2*l. Suppose l = s + 8 - 14. Which is smaller: s or 35/6?
35/6
Let u(b) = -5*b**2 - 3*b - 8. Let r(z) = -z**2 + z. Let o(g) = -4*r(g) + u(g). Let l be o(-6). Let h be l*(2/4)/(-1). Is 4/9 <= h?
True
Suppose -5*o = -0 - 5. Let v be (246/(-15))/2 - o. Let d = v - -516/55. Which is smaller: d or -1?
-1
Let c(s) = s**2 + 9*s - 20. Let i be c(-11). Which is smaller: 16/11 or i?
16/11
Let x = 249/4 - 62. Is -1 greater than x?
False
Let r(f) = f**3 - 3*f**2 - 6*f + 6. Let b be r(5). Let k = 24 - b. Which is bigger: k or -1/2?
-1/2
Let f(t) = -11*t - 431. Let o be f(9). Which is smaller: -531 or o?
-531
Let u(c) = 15*c - 185. Let a be u(-10). Is a less than -335?
False
Let h(f) = 32*f**2 + f. Let r be h(-1). Is 18 bigger than r?
False
Suppose -t = -4*d - 16, 0 = -4*t + 2*t - 5*d - 20. Let q be (-6)/((-4)/(32/12)). Suppose -q*b - 35 + 11 = t. Which is bigger: b or -4?
-4
Suppose -2*t = -4*n + 3*t + 33, 3*n - 22 = t. Suppose 0 = n*h - h + 12. Which is greater: h or -6/11?
-6/11
Suppose -3*k - 7 = -u, -2*k - 21 = 3*k - 4*u. Let z = 3009/2 + -213643/142. Which is smaller: k or z?
k
Let m = -49 + 49. Let d be (-1 + m)*1*22. Is -20 greater than d?
True
Let a = 588 - 1. Which is smaller: 586 or a?
586
Let o(s) = 2*s - 16. Let t be o(9). Let w be (3 - t) + 11*-1. Suppose 0 = 5*k + 67 - 17. Is k at least w?
True
Let q(w) = 3*w**2 - 21*w + 17. Let o be q(6). Let z be (-5*((-16)/(-12) + -1))/o. Is z greater than or equal to -0.04?
True
Let s be (((-3)/(-2))/(-3))/((-2)/12). Suppose s = -121*n + 120*n. Which is greater: -11 or n?
n
Let f be 1/(12/56) - 1/(-3). Let w be 2 - 3*(-3)/3. Suppose i - 2*x = -4*i - 25, -w*i = -f*x + 40. Which is smaller: -4 or i?
-4
Let k = 0.791 + 0.209. Which is smaller: 251 or k?
k
Let q = -36.9 + 34. Let m = 3 + q. Let y be (-6)/(-30) + 1*(-4)/28. Is m < y?
False
Let x = 4 - 10/3. Suppose -k = 3*k - 24. Let w = 7 - k. Are w and x unequal?
True
Let f(r) = -3*r - 10. Let a be (-1)/(13/3 - 4). Let o be f(a). Let n = 1/57 - -6/19. Are n and o equal?
False
Suppose 4*u = -5*c + 323, -167*u + 305 = 5*c - 172*u. Are c and 314/5 non-equal?
True
Suppose -3*p - 65*p = 19*p. Which is greater: p or 2/925?
2/925
Let d be ((-16)/(-28) + (-72)/(-21))*40. Is d less than 1?
False
Let o = -64 + 74. Suppose 47 + 33 = o*s. Which is greater: 0 or s?
s
Suppose 7*d = 2*d + 250. Suppose -82 = -4*c + d. Is 32 less than or equal to c?
True
Let s(l) = -l**2 - 18*l. Let f be s(-18). Suppose 2*b = 5*h + 5, f*b + 4*h = -2*b + 14. Which is greater: b or -1?
b
Let f be (-36)/(2*9/132) + -2. Is -266 <= f?
True
Let h be (4/(-6))/((-120)/(-45)). Which is greater: h or -287?
h
Suppose -5*i + 15 = -20. Suppose 2*w - i = w + v, w + v = -1. Are w and 0 equal?
False
Let r = 13 - 11. Let w be 8/6*(4 - 35/14). Is r equal to w?
True
Let h = 1915/9 + -213. Are -427 and h nonequal?
True
Let a = -2689 + 77967/29. Which is bigger: a or -1?
a
Let u be (-137520)/480879 + 2/7. Let r = 106916/206091 + u. Let z = -17/54 - r. Which is greater: z or -2?
z
Let p be (2/3)/((-201)/(-9)). Suppose 2*z = -4*m + 54, 22 + 11 = 3*m + 4*z. Suppose 8*g - m*g + 7 = 0. Which is smaller: g or p?
p
Let o = -1.5 - 0. Let x = o - -2. Let b = 0.5 + -0.4. Is b equal to x?
False
Let q(a) = -a - 9. Suppose 0*r = 2*r + 10. Let t be q(r). Which is smaller: t or -7?
-7
Suppose -606*p = -616*p + 730. Are 147/2 and p nonequal?
True
Let n = 154.5 - 11.5. Let x = n + -143. Let b be (-12)/(-11) + (2 - 3). Which is greater: x or b?
b
Let f = 345 - 347. Is f != 0.021?
True
Let n(t) = 4*t**3 + t**2 - 3*t + 2. Let l be n(2). Suppose -a - l = -5*a. Let b be 3 - a - (-2)/(-4). Is b at least -6?
True
Let g be 10/40 - (-2 + (-36)/(-16)). Which is smaller: g or -9/124?
-9/124
Let k(g) = -3*g**3 + 5*g**2 + 2*g - 6. Let q be k(-3). Let b = q + -115. Let p be 2/(-14)*(0 - -5). Is b at most as big as p?
True
Suppose -t + 4*r - 36 = 8, -4*r - 100 = 3*t. Let p = t + 68. Which is smaller: p or 31?
31
Let m(r) = r - 12. Suppose 5*x - 50 = -