 y?
y
Let k(m) = 3*m**3 - 30*m**2 + 27*m - 15. Let i(v) = -v**3 + 10*v**2 - 9*v + 5. Let f(z) = 7*i(z) + 2*k(z). Let o be f(9). Which is smaller: 6 or o?
o
Let u be 2 + (0 - 2) + 1. Let o be ((-2)/3 + u)*6. Are o and 1 equal?
False
Let u(v) = 3*v**2 - v - 1. Let h be u(-1). Suppose 2 + 4 = h*a. Suppose 0 = -a*p - 2*p. Which is smaller: 4 or p?
p
Suppose -3*b - b + 2*s + 40 = 0, -4*b + 3*s + 38 = 0. Let r = 0 - -4. Suppose 4 = 3*d - r*g - b, 5*d - 25 = -4*g. Is 6 < d?
False
Let q = 0.082 - 2.082. Is -0.12 smaller than q?
False
Let u(q) = q**2 - 3. Let n be u(0). Let y be (-28)/10 + (-2)/(-5). Which is bigger: n or y?
y
Let g = -0.9 - -0.6. Let h = -0.3 - g. Suppose -6*v + s + 6 = -2*v, 3*v - s - 4 = 0. Which is greater: v or h?
v
Suppose -4*x = 3*n + 12, -3 = x - 0*x - 2*n. Let j be 5 + (0 - -2)*-1. Let c be (2 + -3)*(1 + j). Which is greater: c or x?
x
Let o = -449 + 428.1. Let v = -21 - o. Is v less than or equal to 2?
True
Let n(x) = -x + 2. Let p be n(2). Which is bigger: -0.05 or p?
p
Let s be 4/(-22) - (-192)/693. Which is bigger: -1 or s?
s
Let w = -0.29 + 0.3. Let d = 1.39 + w. Let k = d - -0.6. Which is smaller: k or -1?
-1
Let i(q) = -q**2 + 8*q + 8. Let k be ((-8)/(-12))/(2/27). Let z be i(k). Suppose -3*j - 6 = -0*j. Which is greater: j or z?
z
Let d be 2/(-18)*(-4 - -2). Let j be (3 - (-8)/(-4))/(-1). Which is smaller: d or j?
j
Suppose 0 = 5*x - 5 - 0. Is 1/59 <= x?
True
Let t = -1349/5 - -269. Is t less than or equal to -1?
False
Let z(y) = y**3 + 6*y**2 - y - 4. Let a be z(-6). Suppose a = -0*s + 2*s, -k + 2 = 2*s. Which is bigger: 4/3 or k?
4/3
Let f = -30 + 7. Is f at least 2?
False
Suppose 0*p + 171 = -5*l - p, 5*l + 167 = -2*p. Which is bigger: -36 or l?
l
Let t(b) = b - 7. Let d be t(3). Let v = -118/3 + 39. Is v at most as big as d?
False
Let x be (-30759)/1242 - 2/(-9). Let z = 49/2 + x. Is -1 less than or equal to z?
True
Suppose 33 = 5*k + 28. Is 0.3 bigger than k?
False
Let k = 4 - 4. Let a = k - 1. Is a not equal to 3/7?
True
Let r(j) = j**2 + 7*j + 8. Let s be r(-6). Suppose -s*u - u - 18 = 0. Suppose 5*k + 7 = -23. Is k at most u?
True
Let b = 9 + -9.8. Let u = -0.7 - b. Suppose -z + 1 = -2*z. Is z > u?
False
Let b be (0/1*(1 - 0))/2. Is -4/57 less than or equal to b?
True
Suppose -5*r - 2 = 8. Let m be -2 - -2 - r - -2. Suppose 14 = -5*t - m*q - 2, 3*q = -4*t - 13. Is -4 > t?
False
Let z = -4/39 + 122/429. Let g(m) = 3*m - 6. Let o be g(4). Let h = -5 + o. Is z smaller than h?
True
Let k = 0.35 + 0.05. Let j = 5 - 5.3. Let v = j + k. Is v at least as big as -0.2?
True
Let a = -8.1 - -8. Which is smaller: a or 5?
a
Let c = -15.5 + 15.6. Which is greater: c or 13?
13
Let a(z) = 8*z - 20. Let n be a(-6). Let x = n - -206/3. Is -0.1 > x?
False
Suppose -d + 5*d = -308. Let n be (-268)/d + 6/33. Let r = -34/11 + n. Which is smaller: r or 1?
r
Suppose 4*r = -0*r. Let v = -5.046 + 0.046. Is v greater than r?
False
Let g = -248536/34797 + -2/4971. Let t = 636/91 + g. Let d be 3/2*(-1)/6. Is t at most d?
False
Suppose -u = 3*u + 16. Let q = 3 + u. Is -1 >= q?
True
Suppose 0 = -5*q - 17 - 3. Let b = q + 4. Let o = -91/4 + 23. Is o at most as big as b?
False
Let d be (-16)/10*(-10)/4. Let v be 22/d - (-2)/(-4). Let j(n) = -n + 4. Let s be j(v). Which is smaller: s or 2/9?
s
Let d = 6 - 6.05. Let u = -8 + 23/3. Which is greater: u or d?
d
Suppose -z + 5 = 4*w, -3*w + w - 20 = -4*z. Which is smaller: w or 1/10?
w
Let l = 12/7 + -94/63. Do 0 and l have different values?
True
Suppose -5*g = -6*g + 4. Suppose 5*m - m = -g. Let r be 1/(-9)*2*6. Is r not equal to m?
True
Let n(l) = l**2 + 2*l - 4. Let p be n(-3). Let r(c) = -10*c**2 + 25*c + 1. Let v(d) = 3*d**2 - 8*d. Let j(m) = -2*r(m) - 7*v(m). Let k be j(6). Is p at least k?
True
Let j = -8.95 + 9. Let b = -0.55 + j. Is b <= 0.1?
True
Suppose 2*s + 2*o - 3*o = 0, 4*o = 2*s + 12. Let i = 4 - s. Let j be (1/i*0)/(-2). Is j greater than 1?
False
Let z be 12/226*(-2)/(-2). Let s = z - -410/791. Is s greater than 2?
False
Suppose -c + 5*c + 3128 = -5*w, -3*c + 9 = 0. Let p be w/(-26) + 4/(-26). Let s be ((-26)/p + 1)*-3. Which is smaller: -2/13 or s?
-2/13
Let f = 0 + 0. Let m(o) = -2*o**2 + f*o**2 + 0*o**2 + 1 - 2*o**3. Let q be m(-1). Which is bigger: q or -2/15?
q
Let t = -3 - -5. Suppose 5*a = v + 9 + 2, -a = 2*v. Is t < a?
False
Let a = -68 + 482/7. Suppose 0*d + 4*d = -y - 1, 3*d + 7 = -2*y. Do d and a have different values?
True
Let z be (48/(-95))/(-4)*10. Let b = 110929 - 14753465/133. Let d = b - z. Is d >= -2?
True
Suppose 9 = -n + 1. Let a be (6/(-44))/((-6)/n). Is 1 <= a?
False
Let x be ((-3)/2)/(12/(-8)). Which is greater: -2/33 or x?
x
Let p(q) = 3*q. Let y be p(2). Let r = -6 + y. Are 4/3 and r nonequal?
True
Let w = 5 + -3. Let a = -1.9 + w. Is a smaller than 0.1?
False
Let l(z) = z + 6. Let q = 13 - 3. Let b = q - 16. Let c be l(b). Which is smaller: -1 or c?
-1
Let d be (-3)/9 - (-66)/(-126). Which is smaller: d or 0?
d
Let a(r) = -6 + 3*r**2 + 0*r**2 + 7*r + 2*r**2 + 0 - r**3. Let o be a(6). Do o and -2 have the same value?
False
Suppose 2*a + 8 = 5*i, 0*i + 3*a = -2*i + 7. Let b(y) = y**2 - 7. Let x be b(0). Let k be 16/(-42) + i/x. Are k and 0 non-equal?
True
Let f be ((-4)/119)/(8/84*-3). Which is smaller: 1/3 or f?
f
Let o = 778 - 8579/11. Let x = -211/99 - o. Do x and -1/5 have different values?
True
Suppose 8 + 12 = 5*h. Let v be (h/(-8))/((-2)/(-4)). Which is smaller: -2 or v?
-2
Let b be (-2)/(-4) - 21/30. Let a(s) = -2*s**2 - s**3 - 6 + s**2 - 4*s**2 - s. Let y be a(-5). Which is greater: b or y?
b
Let d(t) = 2*t**2 + 7*t + 2. Let j be d(-4). Is 6 greater than j?
False
Let j = 0 - 3. Let c = j + 3.06. Which is greater: 0 or c?
c
Let l be 54/(-42) - (-4)/14. Let o be (1 + 3)*(0 - l). Which is smaller: 3 or o?
3
Let t be (1/71)/(1/(-2)). Let z = -75/142 - t. Suppose 3*p = 4*k + 4, 2*k - k = 4*p - 1. Is p bigger than z?
True
Let n be 40/6 - (-6)/18. Suppose -10*q = -n*q - 36. Which is smaller: q or 11?
11
Let m(o) = o**2 + o - 5. Let t be m(-3). Suppose 0 = -2*g - w + 2, g + 0 = 3*w - 6. Which is smaller: g or t?
g
Suppose 0*o + 3*o - 2*m = 3, 4*m = o - 11. Let v be 2/(-24)*(-5 - -3). Which is smaller: o or v?
o
Let a = 0.04 - 0.04. Let g = -3 + a. Let r = g - -2. Which is bigger: r or 2?
2
Let x be -2 + -1 + 3 + -1. Let u be 8/(-12) + 23/3. Suppose -2*g = -2*c + 6*c - 14, 4*g + c = u. Which is bigger: g or x?
g
Let p(m) = -m**2 + 10*m - 1. Let o be p(9). Let g be (-12)/o + (-13)/(-6). Which is greater: g or 1?
1
Let j = -3.1 - -1.05. Let i = j + 2. Which is smaller: 3 or i?
i
Let s be 3/(-9)*2*3. Let m be -1 + 9/3 + 0. Suppose 2*c = -0*c - m. Is s smaller than c?
True
Let l = -11.2 + 12. Let q = 0.1 - 0.6. Let a = q + l. Which is bigger: a or -0.3?
a
Let m(g) = -g**2 - 7*g + 6. Let w be m(-6). Let i = -13 + w. Is -2/41 < i?
False
Let m = 29.1 - 29. Is -5 < m?
True
Let u be 764/(-252) - (7 - 10). Which is smaller: -1/2 or u?
-1/2
Let o be (-45)/((-3)/((-6)/2)). Let z = 134/3 + o. Is z greater than -1?
True
Let h(q) = -q**3 + q**2 - q. Let b(u) = -3*u**3 - 6*u**2 - 2*u - 7. Let v(y) = b(y) - 2*h(y). Let s be v(-8). Is s <= -6?
True
Suppose -5*h + 3*x + x = -6, x - 2 = 3*h. Let t = 1 - 3/2. Which is greater: h or t?
t
Let z be (-4)/(-2) + 24/(-18). Do z and -0.1 have different values?
True
Suppose 3 = -2*a - 7, 35 = 5*j - 2*a. Suppose 2*h + 0*h + o - 245 = 0, -4*o = -j*h + 645. Let r = h + -1003/8. Is 0 <= r?
False
Let p = 0.33 - 0.73. Which is smaller: -0.3 or p?
p
Let z(k) = k**3 + k**2 - 2*k - 2. Let o be z(-2). Let v(q) = -q + 11. Let t be v(5). Let d be (o*(-4)/(-6))/t. Which is bigger: 1 or d?
1
Let v(y) = 2*y**2 - 6*y - 1. Let w be v(-6). Let z = -75 + w. Let j be z/12 + -2*1. Which is smaller: j or 2?
j
Let s = 29.2067 + -0.2767. Let f = s - 30. Let g = f + 0.07. Is g at most 4?
True
Let a = -3 - 0. Suppose -5*h + 4*z = 12, 3*z - 6 = z. Is h at least a?
True
Let d = 26 - 25. Which is bigger: d or -6/13?
d
Let z be ((-10)/6 - -1)*6. Let o be -3 + 4*z/(-8). Is -1/6 at least o?
True
Let o = 0.31 - 0.31. Which is greater: o or -1?
o
Let t be (6/(-8))/((-1)/(-4)). Suppose 2*c = 40 + 14. Let g be 2/(-3) - 36/c. Is g not equal to t?
True
Let a = -0.78 + 1.02. Which is greater: a or 0?
a
Let a = 88 - 97. Is -8 <= a?
False
Let y = -0.04 + 0.74. Let s = y - 