 5*j. Suppose d + 3*v - 5*v - 5 = 0, d = -4*v - l. Is d smaller than -1?
False
Suppose -k + 1 = 4*t, -2*k = 3*k - t - 26. Let s = -3 + k. Let y be (-1)/(-4)*-2*s. Are 2/5 and y non-equal?
True
Suppose -3*b + b - 4 = 2*w, -11 = 4*w + 5*b. Let j be 4 + ((-176)/36)/w. Does j = -1?
False
Suppose 0 = -0*y - y - 12. Let i(v) = -2*v**2 + 2*v + 1. Let f be i(3). Which is bigger: y or f?
f
Let p = -1.709 + -0.291. Let t = -0.2 - -0.4. Which is smaller: p or t?
p
Let y(j) = 3*j - 1. Let q be y(3). Suppose q*k = 3*k. Suppose 5*p = p. Is p != k?
False
Let v be -1 + 0 + 12/10. Suppose 4*f + 2 + 2 = 0. Let k be f - (-3 - -1 - -1). Which is greater: k or v?
v
Suppose 0 = -5*r - 20. Let g = 2 - r. Which is greater: 8 or g?
8
Let i = -36 - -37. Which is bigger: 4 or i?
4
Let u be 1*(2 - (-1 - -2)). Is 3 < u?
False
Let z be (-80275)/440 + 6/(-33). Let g = z + 183. Is g at least -1?
True
Let s be 2/(-2) - (-3 + 1). Let z(a) = a + 9. Let f be z(-7). Let l be f - (1 + -2)*-2. Which is greater: l or s?
s
Suppose 4*q - 33 = q. Let d be q/12 - 2/3. Suppose 34 = 4*b + 34. Which is bigger: d or b?
d
Suppose 2 = -g - 0*g. Let h be g/(-1) - 18/10. Let z be (0 - -1)*(5 + -6). Is z smaller than h?
True
Let b = -778/3 + 515/2. Is b smaller than -3?
False
Suppose 4*v = 3*x - 27, 10 = -4*x - 3*v + 46. Which is greater: 3 or x?
x
Let m = -0.005 + 6.105. Let b = -8.7 + 2.7. Let n = m + b. Is -0.2 less than n?
True
Suppose 0 = -c - 3*t - 11, -2*c = 5*t + 3 + 16. Let m be (-64)/(-126) - c/(-9). Let h be (-42)/(-28)*(-2)/(-3). Which is smaller: h or m?
m
Suppose 4*j + 5*v - 16 - 11 = 0, 3*j + v = 12. Is 4 equal to j?
False
Let c be ((-14)/21)/((-4)/6). Which is greater: c or 4/45?
c
Let g = -697/2 - -355. Is 7 greater than or equal to g?
True
Let z be 57/12 + 2/8. Let t(s) = s**2 - 5*s. Let v be t(6). Is z not equal to v?
True
Let l(c) = c - 2. Let i be l(3). Suppose y = i - 0. Which is smaller: y or 2/7?
2/7
Let s be -2 + (-2)/(2 + -3). Suppose -3*l = 5*c + 34, -2*l + 3*c - c + 4 = s. Which is greater: l or -1?
-1
Let c = -0.75 + 1.05. Let y be (2 + -1)*(-6)/8. Which is greater: c or y?
c
Let u(f) = -f**3 + 7*f**2 - 3*f - 8. Let r be u(6). Let c(x) = -4 - 11*x**2 + 7*x + 12 + x**3 + 2*x. Let n be c(r). Is -3 at least n?
False
Let x(h) = 2*h**2 + 3*h + 1. Let p be x(-2). Suppose -1 - 2 = -p*k. Suppose -3*y - k = -2*y. Is y at least as big as -2?
True
Let g(b) = -3*b**2 + 26*b + 22. Let c(r) = -5*r**2 + 39*r + 33. Let f(a) = 5*c(a) - 8*g(a). Let p be f(-12). Suppose 4*j = -5 + p. Are -1/2 and j nonequal?
True
Let s = -709/2430 + -2/243. Which is smaller: -1 or s?
-1
Let w(u) = u + 4. Let b be w(-3). Which is greater: -1 or b?
b
Suppose 0 = -f - 3*f - 36. Which is bigger: -10 or f?
f
Let k be 5/3*(-3)/(-15). Let s = -8 - -2. Let m be (9/s)/(-3)*-2. Which is smaller: k or m?
m
Let x = -92/3 - -31. Which is greater: -0.2 or x?
x
Let b = -15.9 + 1.9. Let h = 10 + b. Which is greater: 0 or h?
0
Let t = 2.86 + 0.44. Which is smaller: 2/7 or t?
2/7
Let q be 66/(-48) + (-3 - -2)/(-1). Is q not equal to -2/3?
True
Let p be (-9)/(-6)*-2 - 1. Suppose -13 = 5*w + 17. Let k be ((-4)/w)/(16/(-120)). Which is bigger: p or k?
p
Let b = 43/15 - 16/5. Suppose -8 = 3*d - 2. Is d greater than or equal to b?
False
Suppose 0 = 7*k - 2*k + 5. Let i be ((-2)/12)/(20/174). Let c = i - -5/4. Do c and k have the same value?
False
Let g be -3 + 3/(-2)*(-20)/15. Which is smaller: g or 17?
g
Suppose -4*x + 2*b + 12 = 0, 4*x + 2*b - 9 = x. Suppose x*n - 4 = -1. Let c be -1 - -2*n/(-2). Is -2 less than c?
False
Let q be -1 + -2 - (-20 - -19). Let d be 119/153 - q/(-2). Is 2/11 equal to d?
False
Let o(p) = -p**2 + 8*p + 1. Let t be o(8). Which is smaller: t or 2/5?
2/5
Let i = 8 + -7. Let g = i - 5. Which is smaller: g or 0.1?
g
Let m = 2.5 + 0.5. Let a = -4 + m. Is a less than or equal to -2/9?
True
Let y = 4 + -4.03. Let c = y - -2.03. Is c >= 2?
True
Suppose -16 = u - 13. Is 3/11 smaller than u?
False
Suppose 3 + 3 = 2*i. Let h(d) = -d**2 + 6*d. Let k be h(6). Suppose k = -q - i + 2. Is q at least 1/3?
False
Let w = 2.1 + -2. Which is smaller: -2 or w?
-2
Let b = 1 - 1. Let o = -151 + 303/2. Which is smaller: b or o?
b
Let a(o) = -o**2 - 6*o - 3. Let f be a(-5). Suppose 4*k = f*k + 14. Suppose -4*g - k + 29 = 2*m, m + 4*g - 19 = 0. Is m at most 3?
True
Let l = 63 + -133/2. Which is greater: l or -4?
l
Let d be (-27)/(-2)*(-32)/24. Let l = -12 - d. Suppose 0 = -l*o + 3*o. Which is greater: -2/25 or o?
o
Let t = 2 + -1. Let p = t + -9. Let h = 12 + p. Which is greater: h or 3?
h
Suppose 8 = -4*p + d, -5*d - 3 + 23 = 0. Suppose -5*m + k = 4*k - 2, 5*k = 20. Which is bigger: p or m?
p
Let w = -161 + 241. Let c be -2 + (w/(-9))/(-4). Is c not equal to -1?
True
Suppose -5*a = 3 + 12. Let r be a/1*(-2 + 3). Which is smaller: r or -2?
r
Let q(v) = -v**3 + 4*v**2 - 3. Let f(s) = 5*s**2 - 2*s + 1. Let j be f(1). Let o be q(j). Which is bigger: -2 or o?
-2
Let x = 0.2 + 1.8. Let j = 2.1 - x. Let f = -1.1 - -5.1. Is j at least as big as f?
False
Let o = 0.55 - -0.45. Are o and 36 equal?
False
Suppose -2 + 0 = o, 14 = z - 4*o. Let l = 22 + 10. Let r = l - 27. Do z and r have the same value?
False
Let c = -3 + 0. Let t = 13 - 11. Which is greater: t or c?
t
Let x(n) = -2*n - 2. Let z be x(-1). Which is bigger: -1/4 or z?
z
Let o(j) = -3*j**2 - 7*j. Let g be o(-5). Let h be (-4)/g + 1/2. Suppose b + 0*x - 6 = x, -20 = -4*b + 3*x. Which is smaller: h or b?
h
Suppose m + 18 = -4*i, -2*m + 3*i - 72 = 2*m. Let g be m/(-14) - 14/49. Is -1/9 smaller than g?
True
Let x be 2 + (280/(-15))/7. Let u = 7 + 13. Which is smaller: x or u?
x
Suppose 4*i - 104 = 2*i + 4*r, -i - 3*r + 27 = 0. Is i bigger than 42?
False
Suppose -i - 2*h + 17 = 0, -4 = i + 3*h - 17. Let g = 201/8 - i. Let s be 16/16 + 1 + 0 - 3. Which is smaller: g or s?
s
Let s be 28/(-70)*10/54. Which is smaller: 1 or s?
s
Let n be 8/2 - 7/2. Which is smaller: n or -11?
-11
Let m = -313/8 - -39. Let d = 0 - 0. Suppose 5*w - 10 = -d*o - 5*o, -o - 10 = -3*w. Which is greater: m or o?
m
Let s = 10 + -13. Is s equal to -5?
False
Suppose -8 = r - 5*m - 0*m, -4*r - m = -10. Suppose -4*p = -r*p - 12. Let l = -4 + p. Which is greater: 1 or l?
l
Let y = 0.01 - 1.01. Let n = 1 + y. Let p = -2 + n. Which is smaller: 1 or p?
p
Let p = -0.2 + 0.11. Let w = -11.09 - p. Is -1 not equal to w?
True
Let v be 0*(-7)/14*(-2)/(-4). Let z = -15/4 - -93/28. Which is smaller: v or z?
z
Let b = -2 + 0. Let o be 10/35 + b/(-7). Which is smaller: o or 1?
o
Let d = -1 - -3. Let t = -216 + 215.6. Is d > t?
True
Suppose -3*t + 53 - 212 = 0. Which is smaller: t or -54?
-54
Let j(r) = -r**3 - 9*r**2 - 1. Let t be j(-9). Does 4/13 = t?
False
Suppose 3*v = -2*s, -v + 5*v = -5*s. Let b = -440/1899 - -2/211. Which is bigger: v or b?
v
Let h(l) = 2*l + 2. Let c be h(-4). Let o = c + 7. Is o less than or equal to 0?
False
Let m(h) = 21*h**3 + h + 1. Let j be m(-1). Let q be j/(-45)*(-6)/21. Which is smaller: -1 or q?
-1
Let h = 36 + -26/3. Let q = h - 55/2. Which is bigger: q or 2/5?
2/5
Let p = 59 - 589/10. Which is smaller: p or 1?
p
Suppose -3*s - 21 = -3*w - 6, -2*w = 3*s - 5. Which is bigger: -1/18 or s?
-1/18
Let f be (-12)/15*10/(-4). Is f <= 0?
False
Let o be (3/6)/(4/16). Which is smaller: 1 or o?
1
Let g = -1 + 5. Suppose 2*s = g, 5*j = s - 4*s - 4. Let f = -11/2 + 5. Which is smaller: f or j?
j
Let y = -4 + 2. Let s = 8 - -1. Let n = 10 - s. Which is greater: n or y?
n
Let q(i) = -i - 6. Let o be q(-6). Let j be ((-2)/(-4)*o)/2. Let h be (-51)/105*2 - 6/(-15). Is h equal to j?
False
Let m = -56 - -38. Let q be (2/3)/((-3)/m). Which is smaller: q or 2?
2
Suppose -5*m = 3*b - 6*b + 39, 5*b - m - 87 = 0. Let g = b + -12. Let a = g - 5. Which is smaller: 2/13 or a?
2/13
Suppose -3*v - 15 - 4 = g, -5*v = 25. Let x(n) = -n**2 + 9*n - 15. Let k be x(6). Let m = g + k. Which is greater: m or -2/7?
-2/7
Let g be ((-12)/(-40))/(2/(-5)). Is -2 <= g?
True
Let y = -16 + 12. Which is greater: -6 or y?
y
Let l = -76/3 + 24. Let w = -2.02 + 0.02. Which is smaller: w or l?
w
Let r(k) = -2*k**2 - k - 1. Let t be r(2). Which is smaller: -12 or t?
-12
Suppose -t - v - 1 = 0, v + 7 = t + t. Suppose 0*i + 6 = 2*i. Suppose -i*y = t*y. Is -1 <= y?
True
Let f = 1.21 - 0.21. Is f > 5?
False
Suppose 5*f - 5*v = 25, -f - 3*f