alse
Let j(k) = k - 6. Let y be j(6). Let q = 21/4 - 5. Which is bigger: q or y?
q
Let z be -3*1*(-3)/3. Let y be z + 5/((-5)/3). Which is greater: -3 or y?
y
Let a(g) = -26*g**3 + g**2 - 2*g. Let m be a(1). Is m <= -28?
False
Let p = 0.3 - -0.2. Let y = -0.8 + p. Let x = y - -0.4. Which is greater: -2/5 or x?
x
Let t = -5.2 + 0.2. Let z = -7 - t. Which is greater: -3 or z?
z
Let p(l) = 3*l - 2. Let c be p(-4). Let j = c + 26. Let x be 1 - 1/(j/10). Are 1 and x unequal?
True
Let i(o) = o**3 - 3*o**2 - o + 3. Let f be i(3). Suppose n = -f - 3. Which is bigger: -4 or n?
n
Let o = -13 - -18. Let z(l) = l**3 - l**2 - 4*l. Let u be z(3). Is u less than o?
False
Let d = -54 + 590/11. Let y(h) be the first derivative of -h**3/3 + 7*h**2 + 16*h + 8. Let l be y(15). Is l at most as big as d?
False
Let a be 2/4 - 26/(-4). Let y(f) = -f**2 + 3 - 1 + 7*f + 3 - 1. Let s be y(a). Is s greater than or equal to 5?
False
Suppose 5*x = -4*i + 270, 49 = i + 3*x - 15. Let c be (-1)/(-5) - 34/i. Is -0.08 greater than or equal to c?
True
Let n be 18/10 + 6/30. Let s = 8 - n. Which is bigger: s or 1?
s
Let u be (-6)/(-21) + (-12)/(-7). Let p = -2 + 2. Let h = -1 + p. Which is smaller: h or u?
h
Let f = -0.5 - 1.5. Let s = 4 + f. Which is smaller: -0.2 or s?
-0.2
Let p = 26 - -10. Which is smaller: p or -2/3?
-2/3
Let r = 0 - -1.4. Let s = r + 1.6. Is s >= -0.2?
True
Let w(d) = 3*d - 3. Let o be w(2). Suppose n = -0 - 4, -o*n = -5*t - 38. Are -10 and t unequal?
False
Let h = -8 + 58/7. Suppose 0 = -4*n + v - 20, 3*v + 3 = -5*n - 39. Let f be -4 + 1*(-3 - n). Do f and h have different values?
True
Let g = 58 - 1509/26. Is g less than 0?
True
Let k be 1/(0 + 15/(-6)). Let d(v) = 2*v**2 + 6*v - 7. Let f be d(-6). Let b = f + -86/3. Which is smaller: b or k?
k
Let i = -153 - -1681/11. Let c be 2 + (2 - 2 - 2). Is i bigger than c?
False
Let o(l) = l**3 + 16*l**2 - 23. Let i be o(-16). Is -23 bigger than i?
False
Let r(t) = -t - 3*t**2 + 1 + 2*t**2 + 2*t**2. Let g be r(1). Let n(b) = -b**2 - 4*b - 2. Let o be n(-4). Which is greater: g or o?
g
Let u be -1 - (-1)/(1/(-2)). Let x be -6*u/63*-2. Which is smaller: 0 or x?
x
Let l be -3*38/(-60) + -2. Is l at most as big as 0?
True
Suppose 2*s - 200 = s. Suppose -3*v = 3*p - 300, p + p = 3*v + s. Let d be (15/p)/((-2)/8). Which is bigger: d or 2/3?
2/3
Suppose 0*b = -19*b. Let s = 1133/13 + -87. Are s and b nonequal?
True
Suppose 2*d - 3*d + 4 = 0. Suppose -20 = d*u + 4*z, -2*u + 0*z - 15 = 3*z. Let i be (-4)/(-22) - (-56)/(-66). Is i greater than or equal to u?
False
Let x = -6 + 8. Which is smaller: x or -1/2?
-1/2
Let b(a) = 2*a**3 - a**2 + 5*a**3 - 3*a**3. Let m be b(-1). Let w = 2 + m. Is w less than -3?
False
Suppose 0 = 4*a + 28. Which is greater: -6 or a?
-6
Let h = -11 + 27. Let b be 3/h*(3 + 1). Is 0 greater than or equal to b?
False
Let y(m) = -m**3 + 8*m**2 + 4*m - 5. Let q be y(4). Let f be -2*(-3 - q/(-24)). Is 0 < f?
False
Let u = 783 - 5469/7. Is u not equal to 1?
True
Let f = 14 - 15. Suppose -2*o = 2*o - 2*i + 10, 0 = 3*o - 4*i. Let k(q) = q + 5. Let m be k(o). Which is smaller: f or m?
f
Suppose -a - 4*u = 19, -a - 14 = -2*u + 5*u. Let f(t) = -t**3 + 6*t**2 - 1. Let w be f(6). Is a at least as big as w?
True
Let s = 81 - 80. Which is smaller: 0.4 or s?
0.4
Let f = 1/3 - 4/21. Is 1 bigger than f?
True
Let h = 5 - 5.4. Let i = 0.6 - h. Which is greater: i or 2?
2
Let b(a) = a + 6. Let w be b(-7). Let i = -5 + 9. Let d be (-2 + i)/(-9*1). Which is smaller: d or w?
w
Let g = 8 - 6. Suppose -r - 2 = -g*r. Is r at least 4?
False
Suppose -2*f = 2*f + 176. Let c be 3/2 - (-165)/f. Which is smaller: -3 or c?
-3
Let w = -8/3 - -67/24. Which is greater: 1 or w?
1
Let h = 4/67487 + -781097/2969428. Let k = h - 1/44. Let p = -14 + 7. Which is smaller: p or k?
p
Let k = -1.6 - -2.6. Let s = -4 + 2. Let o be (-10)/(-104) - s/(-8). Is o >= k?
False
Suppose 0 = 3*f - 20 - 4. Let j be 60/(-9)*(-6)/(-4). Let w = j - -19. Which is greater: w or f?
w
Let b(s) = s**3 - 5*s**2 - 5*s - 13. Let l be b(7). Which is smaller: l or 51?
l
Let a = 97/110 - 7/10. Is a < 0?
False
Let o(u) be the first derivative of -u**3/3 + 7*u**2/2 + 8*u - 2. Let y be 23/3 + 3/9. Let a be o(y). Which is smaller: a or 1?
a
Suppose -10*p + 5*p - 55 = 0. Let t = p + 10. Let j(u) = -u - 8. Let m be j(-6). Is t at most m?
False
Let h = -5 - -3. Let q be ((1 + -1)/(-2))/h. Let i(f) = f**3 - 1. Let z be i(q). Which is greater: z or -3?
z
Suppose 20 + 10 = 3*j - 2*v, 3*v + 33 = 3*j. Let h be ((-8)/(2 + -3))/1. Are j and h non-equal?
False
Let l = -8/105 - -6/35. Let r = 4 + -3. Are r and l non-equal?
True
Let t = 17 + -12. Let i be t/25*(-2)/(-14). Let f = i + 11/105. Does 1 = f?
False
Let l(v) = 2*v - 100. Let m be l(-5). Which is smaller: m or -109?
m
Let c be 3/4 + (-1 - -1). Suppose u = -17*u + 2*u. Is u > c?
False
Let s = -17 - -16.9. Which is bigger: 2/11 or s?
2/11
Suppose -i + 3*f = 26, 23 = -3*i + 2*i + 2*f. Which is bigger: i or -19?
i
Let q be 2/5 - (-921)/(-15). Let w = q - -307/5. Which is greater: 1 or w?
1
Suppose 335 = -0*i - 5*i. Let v = 199/3 + i. Let t = -4 + 3.7. Which is smaller: v or t?
v
Let p be (-12)/(-5) - 12/30. Suppose -p*d - 18 = -5*q, 0 = 3*d - q - 2 + 3. Are d and 1 nonequal?
False
Let w(n) = n**2 + 0 + 4 - 2 - 3*n. Let t be w(2). Which is smaller: t or 10?
t
Let v = -47 - -26. Which is smaller: 0.2 or v?
v
Suppose 0*d + 20 = 4*d. Let s(k) = 6*k**2 - k + 1. Let j be s(1). Let b = j - d. Is b less than or equal to 1?
True
Suppose 0 = -2*t - 3*k + 8, 2*t - 5*t + 15 = 3*k. Which is smaller: 6 or t?
6
Suppose -51 = -2*p + 3*m - 6*m, 2*p = -2*m + 50. Suppose -5*n - p = 11. Which is smaller: n or -6?
n
Let u = 0.5 + -0.8. Which is smaller: 2/3 or u?
u
Let m = 2 - 1. Let g be 0 + m - 0/(-4). Which is smaller: -2/23 or g?
-2/23
Let y(f) = -f**3 + 13*f**2 - 10*f - 17. Let v be y(12). Which is smaller: 2 or v?
2
Let p = -7.5 + 5. Let u = -6 - -3. Let c = p - u. Which is greater: c or -1?
c
Let k(b) = b + 1. Let i be k(-2). Is 0 at least i?
True
Let k = 6 + -5. Let d = 2.6 - 0.6. Let l = 4 - d. Is l > k?
True
Let y = -6 + 4. Let n be (-2 - -6)*y/(-10). Let k be -3*(4/(-3))/2. Is n greater than k?
False
Let g = -47/93 + 1217/2449. Is 0 != g?
True
Let c(j) = j**3 + 3*j**2 - 4*j - 4. Let u be c(-3). Suppose 0*w = -3*l + 4*w + u, -l = 4*w + 8. Is l less than -1/10?
False
Let t = -1/24 + 3/8. Let q = -2 + 4. Which is smaller: q or t?
t
Let z be (-15)/12*(-2)/45. Let n = 67 + -67.1. Is n smaller than z?
True
Suppose -5 = 2*s - 13. Suppose -4*v = -s*q - 8, 5*v - 6 = -3*q + 6*q. Is v greater than or equal to -2/3?
True
Let a be ((-10)/24)/((-12)/32). Do a and 0 have the same value?
False
Let y(w) = w**3 - 9*w**2 + 16*w - 4. Let c be y(7). Let b = -9 + 18. Which is smaller: c or b?
b
Let j be -8 + 5 + 5/1. Let c be 1/j*6/(-33). Are -1 and c nonequal?
True
Let f(v) = 2*v. Let w be f(3). Suppose 20 = z - w*z. Let j = 4 + z. Which is smaller: j or 1/3?
j
Let j = -7 + 5. Suppose -3*r + 2 = 3*b + 5, -b + 1 = 3*r. Which is bigger: j or r?
r
Suppose -1 = -k + 4*n - 0*n, 0 = k - n - 4. Suppose -4*o = o - k. Does o = -1/6?
False
Let v = -2.2 - -4.2. Do v and 11 have the same value?
False
Let f = 2 - 0. Let x = 177943/105 + -11742/7. Let v = x - 50/3. Is v > f?
False
Suppose -3*t + 6 = 3*h, -h - 2 = 5*t - 2*t. Is h at most 5?
True
Let w(x) = x**3 - 7*x**2 + 6*x - 3. Let s be w(6). Let u = -1/54 + -67/27. Which is smaller: s or u?
s
Let v = 1219/11 + -111. Let y = -2.8 - -3.8. Is v <= y?
True
Let c(j) = -j**3 + 16*j**2 - 4. Let n(f) = -f**3 - 6*f**2 - 3*f - 2. Let x be n(-6). Let h be c(x). Is h <= -4?
True
Let s(t) = -t**3 + 3*t**2 - 5*t + 3. Let k be s(3). Is -10 equal to k?
False
Let a = -11 + 11. Is -0.15 at least as big as a?
False
Suppose z - 50 = 5*t, -3*z = 3*t + 2*t + 50. Which is greater: -11 or t?
t
Let w = 0.3 - 0.3. Let b = 0.1 - w. Let g = 92 + -462/5. Which is greater: g or b?
b
Let k = -0.5 - 1. Is 1/2 smaller than k?
False
Suppose -3*s + 3 = 3*t, 0 = -0*s - 4*s + 3*t + 11. Suppose -s*p = p. Is 2/11 != p?
True
Suppose -4*c = 2*g - 22, 2*g + 3*c = -2*g + 24. Suppose -17*q + 58 = -44. Which is smaller: g or q?
g
Let z(t) = -t**2 + 4*t - 3. Let b(u) = 0*u - 3 - 1 + u. Let j be b(6). Let r be z(j). Which is greater: r or 2?
2
Suppose -5*w + 20 = -