ich is smaller: f or 2?
f
Let z = -104/209 + 6/19. Which is greater: 2/7 or z?
2/7
Let s(h) = h**2 - 2*h - 3. Let d(n) = 2*n**2 - 5*n - 9. Let x(r) = -3*d(r) + 8*s(r). Let g be x(-3). Let y be (1/(-21))/((-4)/g). Which is smaller: y or 1/4?
1/4
Suppose 2*q + 107 = 5*q + 4*i, i - 167 = -5*q. Suppose 3*b + 2*b - 35 = -5*d, q = 5*d + 4*b. Suppose 0 = -3*f - 0*f + 15. Is d != f?
False
Let s(f) = f**2 + 14*f + 5. Let z be s(-14). Let c be (-5 - 1)*z/(-40). Which is bigger: c or 0.1?
c
Let q be 48*98/(-4) + 0. Let k = -59974/51 - q. Which is smaller: k or 1?
k
Let q = 1.1 - 1.2. Which is smaller: 8 or q?
q
Let s = -135 - -1083/8. Are s and 0.1 nonequal?
True
Suppose -4*c + 10 = 34. Let n = 4 + c. Which is bigger: -3 or n?
n
Let t = -25 + 22. Let d(n) be the first derivative of -n**3/3 - 2*n**2 - 2*n + 1. Let w be d(t). Is -1/3 at most w?
True
Suppose -o - 2*x - 6 = 68, 2*x = 3*o + 198. Are o and -68 nonequal?
False
Let z be 12/42 + (-4)/14. Let h = z + 1. Is 8 less than h?
False
Let c = -6 + 5. Which is smaller: c or -16/7?
-16/7
Let h be (-4)/(-10)*5/(-3). Let v(r) = -r**3 - 5*r**2 - 2. Let z be v(-5). Which is smaller: h or z?
z
Let t = 7 - 12. Let a be (t/15)/((-2)/(-6)). Suppose 27 - 7 = -4*g, 5*g + 25 = -2*m. Which is bigger: a or m?
m
Let o = -245 + 2693/11. Let l = 0.4 + -0.35. Let p = 0.05 - l. Which is smaller: p or o?
o
Let v = -45 + 45.7. Is -7 greater than v?
False
Let z(i) = i + 1. Let c be z(4). Suppose 2 = -4*f - t + c, 4*t = -3*f - 14. Is 1/4 equal to f?
False
Suppose -f + 13 = -3*o + 4, 2*o - 5 = -3*f. Which is greater: -3 or o?
o
Let b = -0.47 - 0.38. Let t = b + 0.8. Let w = t + -0.35. Which is smaller: 0.1 or w?
w
Suppose 3*y - 4 = -2*a + 6, -5*y = -4*a - 2. Is y greater than or equal to 3?
False
Let z = -11 + 17. Let n be (-4)/z + (-5)/(-3). Suppose 0 = 5*j + 9 + n. Which is bigger: j or -3?
j
Let s = 11 + -7. Let m be 0*((-3 - -6) + -2). Is m less than or equal to s?
True
Let l be 0 + (-3)/(-3)*1. Let q(x) = -x - 3. Let f be q(-4). Let v = f - 0. Is v equal to l?
True
Let x be (-2)/(-10) + (-105)/25. Let f be (x - -3)*(0 - 5). Is 6 smaller than f?
False
Let t = -1075/11 - -98. Which is greater: t or -1/2?
t
Let s(l) = -l - 3. Let d be s(-7). Suppose -d*j + 0*j = 0. Suppose 4*y - 12 = -4*m - j*m, -3*m + 3*y = 15. Is m > 2/11?
False
Let n = 2505/161 + -108/7. Which is bigger: 1 or n?
1
Suppose -4*w = -4*g - 16, -3*w + 0 - 2 = 4*g. Let i = 2 + w. Let n = -1 - i. Are -5 and n nonequal?
False
Suppose -8*n - 38 = -6*n. Is -20 > n?
False
Let m = -0.02 + 4.02. Let f = m + -4. Is 1/4 >= f?
True
Let k be (2/(-6))/((-1)/3). Suppose 60 = -0*t + 3*t. Suppose -d - 3*d + t = 0. Is k > d?
False
Let n(c) = -c**3 + 6*c**2 - c + 8. Let v be n(6). Suppose 0 = 7*w - 3*w + 3*a + 2, -2*w - v*a - 2 = 0. Which is bigger: w or 1/8?
w
Let y = -44 + 79. Which is bigger: -1/3 or y?
y
Let t = 12 - 10. Suppose -t*h + 0 = -2. Which is smaller: 1/15 or h?
1/15
Let q = 12 - 37. Let s be q/(-176)*(-76)/80. Let b = -3/64 + s. Does b = 0?
False
Let p = -423 + 427.02. Let w = p - 4. Is w at least as big as -1?
True
Let m = -64/9 - -2935/414. Which is smaller: m or -1?
-1
Let v = 25 + -122/5. Let k(x) = -x - 3. Let z be k(-4). Which is smaller: v or z?
v
Let q = -27 + -36. Let x = 123/2 + q. Which is smaller: -0.1 or x?
x
Let i = -113 - -119. Is i less than or equal to -6?
False
Let r(z) = z**2 + 9*z - 7. Let n(w) = -2*w**2 - 19*w + 13. Let q(f) = -2*n(f) - 5*r(f). Let k be q(-8). Which is bigger: k or 3?
3
Suppose -3*i = 3 - 6. Let b be i/2 + 1/(-4). Suppose 4*h - 4*s = -16, -4*s = h + s - 26. Is h smaller than b?
False
Let n be (2 - 9/4)*2. Let f = -6 - -7. Suppose 7 = r - 3*z + 7*z, 0 = -3*r - z - f. Is r <= n?
True
Let y be (45/10)/((-3)/(-8)). Suppose -y = r - 5*r. Suppose -5*i = q + 4*q - 20, -r*q + 12 = 4*i. Is -1 greater than i?
False
Let p = -325 - -985/3. Which is bigger: p or 4?
4
Suppose -5*b - 3*h = -7*h - 8, 3*b + 2*h = 18. Suppose 4*j + 3*o = -3, -6 + 2 = j + b*o. Which is smaller: j or 2?
j
Let v be (-1548)/(-1287) + 4/22. Is v less than -0.1?
False
Let r = 15 + -15.7. Let i = -0.2 - r. Is 2/3 at least as big as i?
True
Suppose -5*k = -2*k. Let t = -1501/36 - -397/9. Let p = -7/4 + t. Is k at least as big as p?
False
Let c = 34 - 33. Which is greater: c or -2/5?
c
Let l be 92/273 - 8/28. Let t = -28/39 + l. Is t >= 0?
False
Let f(a) = a**3 - 5*a**2 + 4*a + 2. Let k be f(4). Suppose -4*x + k = -3*x. Suppose -5*u + 8 = -x. Which is bigger: u or 1?
u
Let b(j) = j**2 + 10*j - 9. Let a be b(-11). Let z(f) = f**3 + f**2 - f + 1. Let n be z(1). Do a and n have different values?
False
Let p(n) = 2*n - 27. Let m be p(15). Is m != -1?
True
Suppose 0 = a - 0*a. Let o(v) = -v**3 + 3. Let x be o(a). Suppose -2*w + w + 1 = -x*g, -1 = -w + 2*g. Which is bigger: -1 or w?
w
Let y = 0.35 - 0.05. Let z = 0.7 + y. Which is smaller: z or -1/2?
-1/2
Suppose 0 = -y - y - 42. Which is smaller: y or -22?
-22
Suppose -32 = -4*y - 4*i, 2*y - 3*y = 3*i - 12. Is y at most 5?
False
Let v be 49/40 + (-3)/30. Which is greater: v or 1?
v
Suppose -3*z = 3*z - 132. Is z greater than 23?
False
Suppose -4*p - 13 = -9. Is -6/7 less than p?
False
Let l be (6/(-24))/((-1)/(-6)). Let s be (-9)/6*(-6)/(-9). Which is greater: l or s?
s
Let x be 22/(-20) + 9/15. Do x and 1/6 have the same value?
False
Let p = -9 + 19. Let g(o) = -o**3 + 9*o**2 + 11*o - 11. Let d be g(p). Let q = -469/3 + 155. Which is bigger: q or d?
d
Let j = -3 + 18. Let y = -27 + j. Let o be 14/40 + 3/y. Which is smaller: o or 0?
0
Suppose -5*s + 2 = -4*y + 1, -2*y - 5*s = -7. Let h = 9 - 3. Suppose 0 = -2*m + h*m. Which is greater: y or m?
y
Let x = -79/4 + 20. Let i = 1/2 - x. Let s(g) = g**3 - g**2 - g - 1. Let p be s(2). Does i = p?
False
Let n = 39/124 - 2/31. Suppose 4*d - 18 = -6. Suppose -o + 4 = 4*i, -d*o - 3*i - 2 = -5. Which is smaller: n or o?
o
Suppose -9*p = -4*p. Which is greater: p or 1?
1
Let k = 0.2 - 0.2. Let m be 0 + (-2)/(1 - 2). Suppose 2*l = -3*i + 4 + 3, -2*i + m*l = 12. Is i at least k?
False
Suppose -2*w + w + 3 = 3*x, 3*x + 9 = -5*w. Let v be 1 + 60/(-21) + 4. Which is greater: x or v?
v
Let t = -8 + 9. Is -4/3 at most as big as t?
True
Let c = 27 - 13. Suppose 5*z - 5*u - 26 = c, -u - 20 = -4*z. Is 4 less than or equal to z?
True
Let d = -862/55 + 172/11. Is 1 at most as big as d?
False
Suppose 5 = 17*w - 16*w. Does -1 = w?
False
Suppose 3 = f - t, 6 = -3*f + f - 4*t. Is f less than -2/53?
False
Let j = 16 - 18. Let l be j/11 - 200/(-616). Do l and 3/2 have the same value?
False
Suppose 2*y + 3*h - 9 = 0, 0*y = -4*y - h + 13. Suppose -7*x = -y*x - 48. Let u be ((-9)/30)/(x/(-10)). Is -0.1 less than u?
True
Let w = -0.4 - -0.2. Suppose -3*h + 3*s - 18 = 0, -8 = 2*h + 5*s + 11. Let m = 4 + h. Which is bigger: w or m?
w
Let j(w) = -w**3 - 5*w**2 - 4*w + 1. Let y = -9 + 5. Let k be j(y). Suppose 0 = -2*l + 3 - k. Which is smaller: l or 2?
l
Let q(v) = -v**3 + 2*v**2 + 4*v + 2. Let u be q(-2). Suppose -d + 4*d - 12 = 0, 2*t + u = 5*d. Suppose -3 = -r - t. Is r at least -2?
True
Let c = -3 - -7. Suppose 5*v = -o + 13, c - 3 = -v - 2*o. Suppose b = v*b. Are 1/7 and b nonequal?
True
Let r be ((54/4)/(-3))/6. Let z(j) = j**3 - 9*j**2 + 2*j - 11. Let n be z(9). Let o be (1/(-3))/(n/42). Which is smaller: r or o?
o
Let o = 0 - -4. Let g = o + 1. Which is smaller: g or 4?
4
Let z = 0.8 - 0.6. Let w = -0.3 + z. Let v = 0 + 0. Which is smaller: w or v?
w
Suppose x = 5*s + 1, 4 = 5*s + 3*x + 1. Which is greater: 1 or s?
1
Let t = 3.4 + -2. Are t and 0.3 unequal?
True
Let j be 17/4 - 1/4. Suppose 3*w - 4*w + 5 = 0. Which is smaller: j or w?
j
Let f be 7/(70/4)*-10. Is f at most as big as -5?
False
Let x = -8 + 7. Does x = -0.16?
False
Let a be 4/16 + (-15)/28. Let d = 10 - 9. Which is smaller: a or d?
a
Suppose 20*n - 12*n - 24 = 0. Which is bigger: -3/5 or n?
n
Let i(g) = g**3 + 3*g**2 - 4*g + 1. Let m be i(-4). Let c = 82760/27635979 - 2/40701. Let t = -2021/5432 - c. Is m bigger than t?
True
Let q = -20 - -22. Suppose 4*z + q = 5*t - 13, 2*t = -3*z - 17. Is t > -1?
False
Let p be (-9)/5 - (-2 + 0). Let c(b) = -b + 4. Let o be c(3). Is o bigger than p?
True
Let y = -3283/17 + 193. Which is smaller: y or 0?
y
Let g = 0.17 + -3.17. Is 1/2 at least as big as g?
True
Let y = -13.5 - -17. Let a = -1.6 + y. Let