p - 22. Let n be w(7). Is n <= j?
True
Let l(x) = -x**3 + x**2 + 2*x + 1. Let g be l(2). Let k be (468/2130)/((-18)/(-4)). Let a = -6/71 - k. Is a smaller than g?
True
Let i = 58 + -99. Is -41 greater than or equal to i?
True
Suppose 3*f = -2*f. Suppose 6 = -f*t - 2*t + 2*n, 20 = 5*n. Let l be 4/(-10) + 4/35. Which is smaller: l or t?
l
Let p = -0.048 + 0.158. Does 2/3 = p?
False
Let q = -2/445 + -1303/7120. Let p(h) = h**3 - 8*h**2 + 11*h + 6. Let f be p(6). Are q and f equal?
False
Let h = 233/7 + -33. Are h and -1 unequal?
True
Let z be (12/8)/(4/((-16)/27)). Suppose -3*t - 3 = 3*c, 0*t + t = 5*c - 7. Is t <= z?
True
Suppose 0 = -0*g - 3*g + 12. Suppose -g = -k + 1. Suppose -n + 15 = 2*n + a, 0 = 4*a. Is n greater than k?
False
Let b = -5.2 + 8.2. Is -1/7 greater than b?
False
Let g = 1/150 - -29/18150. Does 0 = g?
False
Let p = 0.77 + 0.23. Suppose 5*m + 0*m = 15. Suppose 0 = -3*v - 9 + m. Which is smaller: p or v?
v
Suppose -5*a + 14 = 2*g, -5*g - 3*a = -15 - 1. Let i be 2/(-3)*(-3)/g. Which is bigger: i or 2?
2
Let a = 9 + -2. Is a at most as big as 9?
True
Let l(g) = -5*g - 3. Let o be l(-3). Let h be (4/3)/(10/45). Let d be (h/20)/(o/(-16)). Are 1 and d unequal?
True
Let o be -2 - 4*(-14)/4. Let u be (0 - o/9)*3. Which is greater: -1 or u?
-1
Let q = -1633/2 + 789. Is -27 less than or equal to q?
False
Let f be (-3)/6*4/(-6). Let a = -181345/7 - -2683754/105. Let r = 347 + a. Do f and r have the same value?
False
Let t = -7 + 9. Suppose -f = -b - 4, -5*f + t*f + b + 6 = 0. Suppose 2*s + 1 = 2*r - 1, -r - 4*s = -1. Is r greater than f?
False
Let v(o) = o + 4. Suppose 5 = w - 5*z + 1, -5*z - 10 = 0. Let s be v(w). Let c be (0 - 0)*s/4. Which is smaller: c or -2/17?
-2/17
Let u be (-5 + 0)*(-4)/(-570). Is 1 > u?
True
Suppose 5 = -8*l + 5. Which is greater: 19 or l?
19
Let r = 11 + -12. Are r and -12/5 non-equal?
True
Let b(m) = m**3 + 5*m**2 - m. Let k be b(-5). Suppose 3*a = -7 - 8. Let f be (-16)/a - 2/10. Is k >= f?
True
Suppose 0 = -2*s - 0*s + 2. Let o be (-22)/(-18) - 2 - -1. Which is smaller: s or o?
o
Let k be 494/(-48) + 9/(-24). Which is greater: -10 or k?
-10
Suppose 5*g - 2*g - 201 = -4*q, q + 2*g - 54 = 0. Suppose 0 = 4*d - 4*s - 4, 5*s - 7 + q = -4*d. Suppose 3*u = 2 - 11. Which is greater: u or d?
u
Let f = 76 - 106. Let q be (-7)/f + (-22)/55. Does q = 1?
False
Let p(r) = -r**3 - 7*r**2 + r + 11. Let l be p(-6). Is l > -32?
True
Suppose 0*s - 65 = 5*s. Let a be 2/7 + s/21. Is -1 at least a?
False
Suppose -5*f - 5*t - 11 = 9, f = t + 6. Which is smaller: f or 1/15?
1/15
Let s = 46/9 + -34/9. Suppose 4*v - 1 = 3. Is s at least v?
True
Suppose 3*t + 3*o - 3 = -o, 0 = -3*t + o + 18. Suppose -3*r = -t*r. Are r and -1/4 equal?
False
Let g = 29 + 11. Is 40 <= g?
True
Let g = -9/91 + 5/13. Suppose 2*s - 10 = 0, -5*n = -3*n - 4*s - 8. Let v be (0 - 1) + 18/n. Is g bigger than v?
False
Let i = 2 + 3. Suppose -n - 3*u = 2 - 1, -5*n = 3*u + i. Let o = -3 - -2. Is o > n?
False
Let r be (14/35)/(1/5). Suppose -r*x - 3 = -5*x. Let q be x - (57/21 - 2). Is q >= -1?
True
Let h = 141 + -147.13. Let f = -16 - -16.13. Let r = f + h. Which is smaller: r or 0?
r
Suppose -2*v + x - 56 = -x, 3*v + 84 = 2*x. Is v smaller than -29?
False
Let t be (-6)/((-12)/6 + 13). Which is bigger: t or -1?
t
Suppose 4*z = n, -4*z = -0*z - 2*n. Which is smaller: z or 3/7?
z
Let d = 313/2 + -139. Let f = d + -18. Is -1 greater than f?
False
Let m(b) = -2*b. Let n be m(2). Let g = n - -9/2. Which is greater: -1/2 or g?
g
Let t = -2.1 + 2. Suppose -k - 4 = -4*o, 5*k - 5*o = -o - 4. Suppose -4*u + k*u = 0. Which is smaller: u or t?
t
Let g(f) = -f + 4. Let p be g(13). Is p smaller than -9?
False
Let b be (-7)/14*0/1. Is b smaller than -0.1?
False
Let f be 24/(-18)*(-6)/4. Suppose -f*u - 20 = 3*u. Let x be 21/(-60) - 3/u. Which is smaller: 0 or x?
0
Let f(u) = u. Let d be f(-2). Is d smaller than -1?
True
Let h = 19 - 21. Let f = 176 + -1230/7. Is h >= f?
False
Let v = -15864/103 + 154. Suppose 0*m + 3*m = -3. Which is bigger: v or m?
v
Let y be (-22)/(-77) + 104/(-14). Do y and -8 have different values?
True
Suppose -3*a + 9 = 2*t - 2*a, 0 = 2*t - 3*a - 29. Let u be 14/3*3/2. Is t not equal to u?
False
Let m = 6.4 + -8.1. Is m bigger than 2?
False
Let b = 74 - 95. Is -23 at most as big as b?
True
Let p be (-23)/(-4) - 6/(-24). Let r be (-2)/p + 5/(-3). Which is bigger: r or 0?
0
Let s be -2 + 2 + 45/192. Let r = 1/64 + s. Is r smaller than 1?
True
Let s = -0.8 - -0.6. Which is smaller: -1/6 or s?
s
Let l = -14.2 - -14. Are 1 and l non-equal?
True
Let y = -157 - -147. Is -46/5 greater than or equal to y?
True
Suppose 0 = -3*m - 5*d - 7, m = -0*m + 3*d + 7. Which is smaller: m or 2?
m
Let n = -11 + 17/2. Which is bigger: n or 2/33?
2/33
Let d(n) = -n**2 + 9*n - 7. Let y be d(8). Which is greater: -2/15 or y?
y
Let x(q) = q**2 + 12*q - 1. Let z be x(-12). Is z <= -30/19?
False
Suppose -o = -3*x + 59, 5*o = 3*x - 26 - 41. Let z be x/(-15) + 2/(-6). Let b(r) = r**2 + 22*r + 37. Let p be b(-20). Which is greater: p or z?
z
Let w = -85 + 1103/13. Which is smaller: w or -1?
-1
Let f(x) = x + 5. Let w be f(-9). Let y = -6 - w. Is 1 > y?
True
Let x = -4 + 4.5. Let r = -0.4 + x. Suppose 4*u + 7 = 7. Are u and r unequal?
True
Let x = 20 + -11. Let t = -14 + x. Is t bigger than -5?
False
Let k be 2/2 + -3 + 3. Suppose -2*x = -v + k + 1, -3*v = -2*x - 10. Suppose -8 = -2*z - t + 1, z - 3*t - x = 0. Which is greater: 3 or z?
z
Let v = 2.05 + 0.15. Let m = v - 2. Let r = m - -0.8. Which is greater: r or 1/3?
r
Let s be -1*(-2)/(-2)*-1. Let g be ((-12)/(-3))/(1 + s). Suppose -4*c = -3*u + 7*u + 20, 25 = -g*u - 5*c. Which is bigger: -2 or u?
u
Let t be (-2)/6 - 15/9. Let d be 0/(-1)*1/t. Let i = -1 + 1. Is d at most i?
True
Let p = -0.1 + 0.1. Let q = 11.529 + 1.381. Let s = -13 + q. Do s and p have the same value?
False
Let g be 3/6 - (-1)/(-2). Let y = 216707/110 + -1970. Let m = y + 3/22. Is m at most as big as g?
False
Let r = -123 - -132. Is r <= 0.1?
False
Let m = 0.03 - 0.03. Let s = -318085/2876 + -3/14380. Let u = s + 111. Are u and m nonequal?
True
Let a be (((-14)/(-30))/7)/(-1). Which is bigger: a or 0?
0
Let o = -1 - 4. Is o less than -5?
False
Let k be 1/(-5) + (0 - 83/(-40)). Which is smaller: 3 or k?
k
Let g be 6/(-4)*(-12)/9. Which is bigger: 1/2 or g?
g
Let i be -1 - 3/((-15)/7). Let b = -54 + 54. Which is greater: b or i?
i
Let d = -9 - -7. Suppose 5*y = 3*s - 5*s - 16, 5*s + 4*y = -23. Which is smaller: s or d?
s
Let f = -5 - -6. Let p be 0/(4/(f - 3)). Let q(x) = -x - 3. Let k be q(p). Which is smaller: -1 or k?
k
Let q = 43.01 + -43. Which is greater: 5 or q?
5
Suppose -3*y + 9*q - 4*q = -24, -y = q - 16. Which is smaller: y or 14?
y
Let f = 31 + -27. Let v = f + -5. Is v greater than or equal to 3/4?
False
Suppose 0 = -3*q + 4*q + 25. Which is smaller: q or -26?
-26
Let c be (-6256)/36 - 4/18. Let x = c + 1568/9. Let o(y) = -y + 3. Let a be o(4). Which is bigger: x or a?
x
Suppose 0 = -r + 2 - 2. Which is bigger: r or 9/4?
9/4
Let s be (-7 + 4 - 4) + 1. Is s > -6?
False
Let z = 4/3 - 1. Let d = -17 - -24. Let j = d + -9. Does z = j?
False
Let u be (0 - 4)/(-4) - 3. Is -2 less than u?
False
Suppose 3*x - 37 = -1. Is x > 12?
False
Suppose 4*q = 3*q. Which is smaller: 2/9 or q?
q
Let w be (-4)/(-336) + (-7)/28. Is 0 bigger than w?
True
Let f = -61 + 57. Is 0.01 bigger than f?
True
Let u = -260 - -22098/85. Is 1 <= u?
False
Let t = -66 - -64. Is -1 equal to t?
False
Let g = -8 + 6. Let k = -2 - g. Is k <= 0?
True
Let w be 1 - ((-3)/(-2) + -1). Let o(q) = -q**2 + 4*q. Let m be o(4). Suppose -6*x + 2*x + 8 = m. Which is smaller: w or x?
w
Let s = -7 + 1. Let v = -3 - s. Let p = 3.2 - v. Which is bigger: p or 0?
p
Let y = -1/66 + 2/11. Which is bigger: 0 or y?
y
Let j = 0.55 - 0.5. Let z be ((-1)/4)/((-4)/(-8)). Which is smaller: z or j?
z
Let f = -29 + 29. Which is bigger: f or -0.05?
f
Let x(v) = v**3 - 9*v**2 + 7*v + 9. Let t be x(8). Let n = -13.59 - -14.6. Let f = n - 0.01. Is f bigger than t?
False
Suppose 2*k + 3*k - 25 = 0. Suppose 40 = -0*z + k*z. Let l be z/(-12) + (-4)/(-15). Which is bigger: l or 0.3?
0.3
Let n be (-1202)/940 + (-3)/(-6). Let p = -1/47 + n. Which is bigger: -2 or p?
p
Let l(y) = y**2 - 6*y + 5. Let f be l(5). Which is smaller: f or -1?