 p be u(7). Let f be p*((-15)/(-6))/(-5). Is f equal to 1/21?
False
Let y(i) = i**2 - 3*i - 1. Let f be y(4). Suppose 3*n = n + 10, 15 = -2*u + f*n. Let m = u - -1. Which is greater: -2/7 or m?
m
Suppose -5*o + 12 = 7. Do 4/27 and o have different values?
True
Let n = -1.1 + 1. Suppose -5*u + 5 = w, 2*w + 25 = 5*u - w. Let g be 2*-2*(u - 1). Which is bigger: g or n?
n
Let i be 6/3 - 0/(-3). Do 4/7 and i have the same value?
False
Let n be ((-8)/6)/((-2)/(-6)). Let x = n - -3. Let v = 1 + -1. Is v equal to x?
False
Let r(p) = -11*p**3 + 2*p**2 - 2*p + 1. Let u be r(1). Let j = -20 - -11. Is u at most j?
True
Let x(o) = -o**2 - 4*o + 6. Let t be x(-5). Let n be 1/(2 - 3) - -2. Suppose 2*w + 3 = -n. Which is smaller: w or t?
w
Suppose 25 = 2*i - 33. Which is greater: 30 or i?
30
Let r be -1*2/(-4)*2. Let y be -2*(-20)/(-48) + 1. Is y smaller than r?
True
Let d = -1.2 + 1. Let q = 2.3 + -2.21. Let z = 0.11 + q. Is d at most z?
True
Suppose 0 = -k + 5*n - 10 - 14, -10 = -2*n. Suppose -2 = -0*r - 2*r. Let y be (4/22)/((-1)/r). Which is greater: y or k?
k
Let q = -4.3 + 4. Let x = 2.4 + -2. Let h = x + q. Which is smaller: h or 5?
h
Let f be (1 - 2) + (-9965)/(-1870) + -4. Let k = -238 + 8087/34. Let w = k + f. Which is smaller: w or -2/7?
-2/7
Suppose -y - s - 4 = -7, -y - 5*s - 5 = 0. Which is greater: 6 or y?
6
Let f(p) = -p - 19. Let s be f(-17). Which is smaller: -8/5 or s?
s
Let g be 1/(0 - (-5)/(-2)). Are 0 and g unequal?
True
Suppose 0 = -2*b + b + 15. Which is bigger: 14 or b?
b
Let w = 2.2 - 1.2. Does w = 2?
False
Let j be (-13)/(-5) - (-4)/10. Let w = j + -2. Is 2/7 at least as big as w?
False
Let o = -0.45 + -0.55. Is o greater than or equal to 0.01?
False
Let p be 0 - 2/((-4)/(-6)). Suppose -3*c - 11 - 1 = -r, 5*r - 12 = -c. Is c greater than or equal to p?
True
Let b be 24 + (-63)/(-49) + (-4)/14. Which is bigger: 24 or b?
b
Suppose -4*b + 5*z + 15 = 0, 4*b + 2*z + 6 = -0. Let q = -4 - -3. Which is greater: b or q?
b
Let x = 3.1 + 5.9. Do x and -3 have different values?
True
Let n = -3 - -5. Suppose 5*w = t + 2, n*t = t + 4*w - 2. Is -3 < t?
True
Suppose 0 = -8*z + 2*z - 18. Which is bigger: -1 or z?
-1
Let r(p) = 21*p + 3. Let o be r(-4). Let v = 569/7 + o. Let x(y) = y**3 - 5*y**2 + 5*y - 3. Let q be x(4). Which is smaller: v or q?
v
Let q be (4 - 5)*-2*(-1)/2. Are q and -11/6 equal?
False
Let h = -2 + 3. Let s = -335/42 + 57/7. Is h equal to s?
False
Let g(j) = j + 7. Suppose 5*u + 42 - 7 = 0. Let d be g(u). Let n be (2 - d) + -2 + 1. Are n and 0 unequal?
True
Suppose 5*b + 146 = -139. Let k be ((-49)/(-18))/(3/63). Let d = b + k. Is 1 > d?
True
Suppose -3*n = -4*n - 3*a - 8, -2*n = -2*a + 8. Let o be (8/20)/(1/n). Let r be (1/o)/((-1)/(-2)). Which is smaller: -2/19 or r?
r
Let v(g) = 2*g**3 - 3*g**2. Let x be v(2). Suppose -x = -4*d - 4*w, d - 5*w + 14 + 3 = 0. Let f be 35/(-11) + 8/44. Which is smaller: f or d?
f
Let g = -7 + -4. Let h = g - -20. Is h not equal to 8?
True
Let r(a) = a**3 + 3*a**2 - a + 1. Let h be r(-3). Suppose 3*o = -j + 2, -j + h = j. Is o less than -3?
False
Let u(w) = -w**2 + 8*w - 7. Let i be u(7). Let y = 2 + 4. Let a be (-6)/(-9) - 4/y. Is a > i?
False
Let w = 15 + -4. Which is bigger: w or 12?
12
Suppose 3*y - 2*a - 23 = -0*y, 4*y - 3*a - 32 = 0. Suppose -2*g = b + b - 8, 0 = -4*g. Is y > b?
True
Let v = -0.01 + -4.19. Let t = v - 0.8. Let n = -5.2 - t. Which is smaller: 1/4 or n?
n
Let j = -23 - -24. Is j at least as big as 7?
False
Suppose 0*c - 3*c = 0. Let u = c - 2. Which is smaller: u or -1/2?
u
Let t = 7 - 7.3. Let h = t + -1.7. Is h at least as big as 0.3?
False
Let n be (6/(-4))/(1/2). Let l = 0.16 - 0.06. Is n at most as big as l?
True
Suppose -8 = -2*r - 6. Is r < 2?
True
Let d = -49 + 43.98. Let y = d + 5. Let t = y - -2.02. Which is greater: t or 2/5?
t
Let w be (-1)/3 + (-4)/6. Let g be ((-36)/(-10))/(6/20). Let a be 1/2 - 14/g. Which is greater: w or a?
a
Let y(l) = -l**2 - l - 12. Let j be y(0). Are -13 and j unequal?
True
Let x be (-56)/(-6)*15/10. Let f be x/(-3) + (-4)/12. Is f at most -3?
True
Let p = -22/3 + 41/6. Which is bigger: p or 0.23?
0.23
Let v = -9742/29 + 336. Is v < 1?
True
Let q = -0.95 + 0.74. Which is bigger: q or -2?
q
Let i = 0.5 - -0.5. Let o = -1.2 + 1. Let q = -0.3 - o. Is q <= i?
True
Let z = -2448 - -1430. Let x = 41736/41 + z. Does 1 = x?
False
Let i(d) = 6*d + 3. Let h(x) = -13*x - 7. Let g(b) = 4*h(b) + 9*i(b). Let q be g(2). Let a be -1*q - 40/(-16). Is a less than or equal to -2?
False
Let y(f) = f**3 - 7*f**2 - 7*f + 20. Let r be y(7). Is -30 less than r?
True
Let g = 12 - 3. Let l be 1/(g/24) - 3. Is 0 at least l?
True
Let b = -1 + 2. Let j be -1*(2 - b) + 0. Suppose 3*v + 2*v - 20 = -u, 0 = -u - v + 4. Is u != j?
True
Let o = 6886/21 - 328. Is 3 greater than o?
True
Let x = -17 + 10. Let a be -2 + x/(7/(-4)). Let y(g) = -3*g**3 + g**2 - 1. Let u be y(-1). Is u at most a?
False
Let a = 13 - 4. Suppose 0 = 3*h + a, -12 + 36 = 3*d - 5*h. Suppose 8 - 33 = -5*t + 5*i, -3*t = d*i + 9. Are t and -6/13 unequal?
True
Let c = 0.52 - 0.42. Which is bigger: c or -1/3?
c
Let q be (-2 + 1 + -1)/1. Suppose -z + 6 = -4*z. Let m be (22/(-12) - z)*-3. Which is greater: q or m?
m
Let z = -11/20 + 4/5. Let l = 0.1 - 0.02. Which is smaller: l or z?
l
Suppose 0 = 8*k - 2*k + 120. Is k <= -21?
False
Let q(o) be the first derivative of o**4/4 - o**2/2 - 15*o - 3. Let v be q(0). Let x = v + 44/3. Is x at least 1?
False
Let s be 0*(6/12 + 2/(-2)). Is s bigger than -3?
True
Let j be (2/(-6))/(2/4). Let v(n) = n**3 - 7*n**2 + 7*n - 3. Let a be v(6). Suppose -2 + a = -w. Is w >= j?
False
Let x(l) = 3*l - 23. Let s be x(5). Is s at least as big as -9?
True
Let l = 4 - 7. Are -0.2 and l unequal?
True
Let s(v) = v**3 + 2*v**2 - v - 1. Let t be s(-2). Let b = 1.05 + -0.05. Is b <= t?
True
Suppose 0 = 3*j - 5 - 4, -2*r - 3*j = 5. Let p = -7 - r. Which is smaller: p or -2?
-2
Suppose -7 = h - 4. Let k = 1 - 3. Is h less than k?
True
Let c = -123/2 + 60. Which is bigger: 0 or c?
0
Let c = 23 - 21. Are c and -1/3 unequal?
True
Let n(q) = 7*q - 31. Let d be n(4). Let f = -239/160 + -1/160. Are f and d equal?
False
Let t be -12*3/(-12)*2. Let n = 6 - t. Which is smaller: n or 2/5?
n
Let p = -15/13 - -1. Suppose 5*r + 2 = 22. Suppose -7 = -r*b - 11. Is p >= b?
True
Let d(j) = j**2 + 6*j + 4. Let b be d(-4). Let m = b - -2. Let c be (-1)/(m - (-3 - 2)). Which is smaller: -2/3 or c?
-2/3
Let y = -12 - -16. Suppose -y*i = 5*n + 18, -5*i - 2*n - 33 = -n. Is -6 greater than i?
True
Let n = 0.03 - 0.43. Let m = n - -0.3. Let a = m + -0.1. Which is smaller: -1 or a?
-1
Suppose -4 - 4 = -4*h. Suppose 0 = 3*i + 4*j - 19, 5*j = -i + h*j + 13. Suppose 5*n - 4 = i. Is -1 < n?
True
Let q = -49.58 - -50. Let c = q + 0.08. Which is smaller: 0 or c?
0
Let f = -14 + 8. Which is bigger: -0.1 or f?
-0.1
Let f be 6*(6/(-4) - -1). Let v be 3 - -1 - 312/84. Which is greater: v or f?
v
Suppose t - 4*t + 1020 = 0. Let y = t + -2033/6. Is y at least as big as 1?
True
Let c = -0.12 - -5.62. Let n = -0.5 - c. Is -1 >= n?
True
Let o(q) = -q**2 - 10*q - 16. Let l be o(-8). Let t = -519 + 6751/13. Is l smaller than t?
True
Let a = -5353/132 - -7/132. Which is smaller: -40 or a?
a
Suppose -5*j - 95 = 2*n - 8*j, 5*j + 103 = -2*n. Is n < -49?
False
Let d = -0.05 + 0.07. Let i = d + 2.98. Let w = -6.8 - -7. Do i and w have the same value?
False
Let k = -0.09 + 0.18. Let m = -0.056 - -0.046. Let j = k - m. Is 0 > j?
False
Let k(u) = u**3 + 6*u**2 + 5*u. Let w be k(-5). Suppose 4*n = -w*n. Let b = -261 - -265. Which is bigger: n or b?
b
Suppose -r = 2*r - 5*v, 10 = -r + 5*v. Suppose -m - m - 1 = -3*j, -4*j = r*m - 32. Is 3 < j?
False
Let f(w) = w**2 + w + 2. Let u be f(0). Suppose 0 = 4*q - u*q. Suppose 4 = 5*y + 9. Which is smaller: q or y?
y
Let d(y) = y**3 - 18*y**2 + 32*y + 13. Let c be d(16). Which is smaller: c or 11?
11
Let s = 370 - 13689/37. Is s not equal to 0?
True
Suppose -2*c - 48 = c. Let n be (10/c)/5*-3. Are 0 and n nonequal?
True
Let t be 1/(-4)*2*6. Let l be (-1)/(-3)*3/t. Is l < 1?
True
Let y(o) = -6*o**2 + 2*o + 2*o**2 + 3*o**2 + 3. Let k be y(3). Let v = k - 3. Is -3 bigger than v?
False
Suppose -5*c = 2*z + 21, z - 2*z = -3*c - 6. Suppose -w - v + 13 = 0, w = 6*v - 4*v - 2. Suppose -12 = -4*l + w*l. Is l 