 - t*x = -3. Which is smaller: -1/3 or x?
-1/3
Suppose 2*i - 1927 + 553 = -k, 0 = 5*k + i - 6852. Let q = 52063/38 - k. Is -1 >= q?
False
Let y(z) = -z**2 + 5*z + 6. Let v be y(6). Suppose 2*j + 2 = -15*g + 12*g, 2*g - 4*j - 4 = 0. Is v at least g?
True
Let y = 8 + -19. Let r be (y + 13)/(1/(-2)). Let u be (12/r - -2)/1. Is u < -2/21?
True
Let a = 295 - 353. Which is smaller: -2/7 or a?
a
Let v(b) = -9*b**3 - b**2 - 2*b - 17. Let x(i) = -10 - 9 - 10 + 38 + i + 5*i**3. Let a(j) = -4*v(j) - 7*x(j). Let n be a(-4). Which is smaller: n or 3?
n
Let i be 0 + 0 + 0/(-2). Let m(d) = -d**3 + d + 4. Let x be m(i). Suppose 0 = -3*p, 164*w + 3*p = 168*w - 8. Do x and w have the same value?
False
Let n be 1 + -1 + 12/10548. Which is smaller: -1 or n?
-1
Let c be (-15)/(-7) + 5/(-35). Which is smaller: c or 9?
c
Let t = -15.23 + 15. Let j = t - -0.05. Let g = j - -0.09. Is g greater than 1?
False
Let z be ((-35)/(-10) - 2)*4. Let c = -5 + 17. Let x be (-3)/c*(5 + -23). Are x and z unequal?
True
Let b be (0 - 9/(-3)) + -3. Suppose b = -5*a + 1 - 51. Is -10 equal to a?
True
Let h = 7928 - 87073/11. Is h smaller than 12?
False
Let g be (-4)/(-6) - 15928/42. Let x = 1181 - 801. Let i = g + x. Is i at least 2?
False
Let n be (45/6 - 2)*(-10 + 12). Which is smaller: n or 23/2?
n
Let p be 3/10*300/(-72). Which is greater: p or -2?
p
Let w = -0.518 - -0.218. Is w at most 24.4?
True
Suppose 1152*l = 1159*l + 1267. Which is greater: -178 or l?
-178
Let g be 203/49 - 12/(-14). Let o(l) = -4*l**3 - 4. Let i be o(-3). Let w = i + -201/2. Which is bigger: w or g?
g
Let l = 113 + -125. Let j = 11.6 + l. Which is smaller: 0 or j?
j
Suppose 0 = -g + 3*w - 6 + 1, 5 = -g - 3*w. Which is bigger: -2/9 or g?
-2/9
Let j = -0.95 + 1.55. Let w = 0.03 - 0.03. Let v = 2 - w. Is v equal to j?
False
Let y be 10/12 + (-1)/(-6). Let k = -72 - -76. Let o be (-1)/2*k/22. Which is bigger: y or o?
y
Let l = 62 - 59. Is -364 < l?
True
Suppose -11*s + 2*s = -27. Suppose -10 = -r + s*p + 2*p, -3 = -p. Which is greater: r or 24?
r
Let m = 13514/91 + -1060/7. Which is smaller: -2 or m?
m
Suppose -5*d + 4*p + 32 = 4, 0 = 2*d + 5*p - 31. Let b(s) = 2 + 6*s**2 + 2*s - d*s - 2*s + s + s**3. Let f be b(-7). Which is bigger: f or 0?
f
Let z = -1158 + 1247. Is 95 > z?
True
Suppose -3*b + 2*a + 33 = 0, 0 = -b + a + 3 + 9. Suppose -6*d + 2*d - 48 = -3*n, -n + 2*d + 20 = 0. Which is smaller: b or n?
n
Let a = 57014/9 + -6359. Let o = a - -38617/1602. Are o and -1 unequal?
True
Let u(g) = -5*g - 9. Let a be u(-10). Suppose -a*w - 24 = -40*w. Which is bigger: -23 or w?
-23
Let v = -30 + 42. Suppose 7*g = -v + 5. Is g at most as big as -1/12?
True
Let f(q) = 2*q**2 + 45*q + 36. Let m be f(-21). Let d be m/396*(-2)/(-3). Is 0 < d?
False
Let a = -4966/187 - -296/11. Do -1 and a have different values?
True
Let f be 14/(-4) + (-1)/(-2). Let i(a) be the second derivative of -a**5/10 + a**4/6 - a**3/6 - 10*a. Let w be i(1). Is f not equal to w?
True
Let x(l) = -2*l + 8. Let s be x(6). Let a = s - -1. Suppose 0 = 43*b - 44*b - 4*r + 13, 2*r - 17 = 3*b. Is a not equal to b?
False
Let l = 2/2847 - -8393/210678. Do 0 and l have the same value?
False
Let k = -16 - -15.88. Let a = k + 1.12. Let i = 14 + -15. Which is smaller: i or a?
i
Let c = 0.38 + -0.22. Let u = c + -0.26. Which is smaller: u or 0.07?
u
Let t = 818 - 818. Which is smaller: t or -4/29?
-4/29
Let w be (0 - -4) + 4 + -16. Let c be (8/4)/(-2)*7. Are w and c equal?
False
Let z be -4*1*2/4. Let c = 55 - 35. Suppose -5*r - 2*l + c = 0, -l = -r - 0*r + 4. Is z < r?
True
Suppose -6 = -5*c + 3*c. Let h be (-6)/(-63)*c + (-201)/679. Which is smaller: -1 or h?
-1
Let k = 20 + -16. Suppose 25 = 2*n + 3*n. Suppose 2*y - 70 = k*b, 3*b + 16 + 4 = -n*y. Is b less than -15?
False
Let d = 12 - 12. Suppose -3*v - 4*x + 16 = 0, d*v + 2*x - 4 = -v. Suppose -1 = -3*m + v. Is 2 >= m?
False
Let u be -2 + (-512)/(-5) + (-4)/10. Suppose -2*i + x + 48 = -x, -3*i = 4*x - u. Does i = 29?
False
Let b = -168 - -185. Suppose 0 = 3*y - 5*s + 6, -4*s + 8 = -4*y + s. Let a be y - (12/(-9))/1. Which is smaller: a or b?
a
Let f = 113.14 + -113.1. Is -14/11 > f?
False
Suppose -1019 = 4*n - 3*s, 12*s + 10 = 14*s. Which is smaller: n or -253?
-253
Let n = 130 - 46. Suppose -x - n = -3*a, 3*a - 63 - 99 = 2*x. Are x and -78 non-equal?
False
Suppose w = -w + 2*z + 16, 4*w + 4*z = -8. Which is smaller: 106 or w?
w
Let o = -84/361 - -23063/7581. Which is bigger: 2 or o?
o
Let s = 13294.9 + -13295. Suppose -2*q - 17 = 73. Which is greater: q or s?
s
Let k = 34 + -37.7. Let v = k + 15.9. Let d = v - 12. Which is smaller: -2 or d?
-2
Suppose 0*f + 9 = 9*f. Let i(d) = 9*d**3 + d**2 - 2*d + 1. Let g be i(f). Are g and 10 nonequal?
True
Suppose 17*v + 134 - 763 = 0. Is 34 at least as big as v?
False
Suppose g - 4*m + 25 = 0, 3*g + 89 = 3*m + 23. Let i be (-4 + 1)/(g/2). Let p = 1199/2015 - -2/403. Is p less than i?
False
Let o = -567 + 15873/28. Does -1 = o?
False
Suppose -87 = 2*o + 3*n, -o + 5*n = -0*o + 24. Which is smaller: -41 or o?
-41
Suppose 34*d + 599 = -659. Which is smaller: d or -109/3?
d
Let n be (4/(-5604))/((-20)/(-40)). Is 0 < n?
False
Let n = 10.1 - -14.9. Let s = -25.1 + n. Which is smaller: s or 1/38?
s
Let v = -27 + 41. Suppose 3*z = -3*f + 115 + 86, 3*f + z = 193. Suppose 9 - f = -3*b + 5*y, 5*y + 80 = 5*b. Is b > v?
False
Let x(z) = z**3 - 16*z**2 + 21*z - 11. Let l be x(15). Let p = l - 52. Let m be 3/(p/24) + -1. Do m and -1 have different values?
True
Let t = -1060 + 1060.05. Let g be ((-10)/12*-3)/(-2). Which is smaller: g or t?
g
Let c(n) = 9*n**2 - n. Let l be c(1). Suppose -2*t - l = 2*t. Are 2 and t equal?
False
Let m be ((-20070)/(-27))/(25/60). Is m < 1785?
True
Let a be (-1*2)/((-3)/12). Let x = 6 - a. Let w = 0 + 2. Which is smaller: w or x?
x
Let v(o) = -24*o + 69. Let p be v(5). Which is greater: p or -53?
p
Let g = 0.34 + 1.66. Let w = 6 - g. Let d = w - 3.94. Is -3 bigger than d?
False
Let b be 1/(-4) - -4*5/(-48). Let g = 0.28 + -0.4. Do g and b have the same value?
False
Let s = -976 + 979. Let v be -22*(-1)/(-6) + 1. Which is smaller: s or v?
v
Let r = -30.2 - -30.2. Which is smaller: r or 1/5?
r
Let i(f) = 3*f**2 - 7*f + 1. Let t be i(3). Suppose 5*w = z - t, 0*w + 3 = w + 2*z. Is w bigger than -16/11?
True
Let d = -40/19 + 1114/475. Is 0 equal to d?
False
Let s(y) be the third derivative of -y**4/8 - 5*y**3/6 - 2*y**2. Let i be s(-1). Does i = 0?
False
Suppose 0*p + 16*p = -368. Let s be (6 - 2 - 3)*-24. Which is bigger: p or s?
p
Suppose 44 = 3*c + 4*s, 4*s = -0*s - 16. Suppose 0 = -4*z + 108 - c. Suppose -59 + z = 5*t + 3*v, -2*v - 13 = t. Do -5 and t have different values?
False
Let d(f) be the second derivative of 0 - 1/6*f**3 + 2*f + f**2. Let o be d(4). Is o <= -1?
True
Let o be 26/(-6) + (-4)/(-12). Let q be 2*22/(-48) + o/(-6). Which is bigger: q or 1?
1
Let b(g) = -15*g - 55. Let s be b(-3). Let l(q) be the first derivative of q**4/4 + 10*q**3/3 - q**2/2 - 12*q - 1. Let m be l(s). Which is bigger: -4/5 or m?
-4/5
Let r(p) = 2*p**2 - 3*p - 18. Let d be r(5). Let o = d + -17. Let z be 315/(-324) + 2/9. Which is smaller: o or z?
z
Suppose 15*d + 1252 = -203. Does d = -98?
False
Let y = -79 + 84.1. Let k = y + -5. Let q be (1/(14/4))/1. Are q and k unequal?
True
Suppose 5*w + 0*w = -90. Let m be (-12 + 9)*(-1)/w. Which is smaller: m or 0.08?
m
Suppose 4*z = -z + 25. Let y = -637/10 - -1389/20. Which is smaller: z or y?
z
Let y(z) = -5*z. Let l be y(-1). Suppose 3 = -3*x + 2*x + l*b, -6 = -3*b. Let g = x + -8. Which is smaller: -0.2 or g?
g
Suppose -5*r + 6 = 21. Suppose 5 = 4*t + 1. Is r at most as big as t?
True
Suppose 51 = 5*a + 21. Let h be 56/a - (-2 - (-14)/6). Is h greater than or equal to 12?
False
Let i be (2 - (3 + -2))*-1. Let j be (5571/(-12))/(-1*153). Let t = 35/12 - j. Which is smaller: t or i?
i
Let u = 37 - 37.3. Let d = 1 + u. Which is greater: 1 or d?
1
Suppose 4*f = -5*x + 13 - 3, x - 3*f = 2. Is -15 smaller than x?
True
Let t = -597 - -641. Which is bigger: -3 or t?
t
Let o = -959 - -1282. Is o not equal to 325?
True
Suppose 0 = -3*q + u + 13, -4*q + 5 = -q + u. Let n be -1*(q + (-5 - -1))*0. Let y = 115 - 1841/16. Which is bigger: y or n?
n
Let t(j) = -j**2 + 2*j + 29. Let d be t(6). Suppose 3*h + 6 - 3 = d*q, q + 4 = -4*h. Is 1