*w - 29. Do 3 and w have different values?
True
Suppose -l + 1 = b, -2*b - 9*l + 2 = -4*l. Which is greater: b or -1/1573?
b
Suppose -16955 = 3*s + 964. Let r be s/(-30) + 1/(-2). Let p = r - 198. Are p and 1/3 nonequal?
True
Let p = 0 + 0. Let y(f) be the third derivative of -f**5/60 - f**4/24 - f**3 + f**2. Let v be y(p). Is -1 < v?
False
Let j(k) = k + 1. Let h be j(-1). Let q = -47 - -336. Let l = q + -4337/15. Is l less than or equal to h?
True
Let g be 4/10 + (-174)/(-15). Suppose -40 = -4*z + 40. Let l = g - z. Is l bigger than 0?
False
Suppose 13*v - 450 - 408 = 0. Which is bigger: v or 64?
v
Let v = 676.5 + -676. Is v <= 323?
True
Suppose 2*r - 3*a - 23 = 0, -90*r = -94*r + 4*a + 40. Which is smaller: r or 55?
r
Let q(p) = 11*p**2 - 43*p - 3. Let r be q(4). Which is greater: 2/511 or r?
r
Let f(t) = -t**3 - 6*t**2 - 6*t. Let c be f(-5). Let p(l) = 2*l - 12. Let u be p(c). Let m be -1 - -3*u/3. Which is smaller: -2 or m?
m
Let t = -0.8 - -1.11. Let d = t + 0.59. Let y = -1.1 - d. Which is bigger: y or -2/11?
-2/11
Suppose -21*c + 663 = 75. Which is smaller: 27 or c?
27
Suppose -8*x + x + 7 = 0. Let o be ((-7)/(-70))/(x/4). Which is greater: 0.05 or o?
o
Let l = 10 - 28. Let m be 84/l + (1 - -3). Which is smaller: m or 17?
m
Let r = -216 - -215.8. Which is greater: 85 or r?
85
Let z = 173 - 172. Let o = 3 + -7. Is z at most o?
False
Suppose 3*s + 2*s = 60. Suppose s = -4*g + 8*g. Suppose 0 = -5*h + 3*d + 37, 6*h - 2*d = 5*h + 13. Are g and h non-equal?
True
Let o = -1913 - -1798.9. Let q = o - -114. Which is smaller: q or -61?
-61
Let u = 383 + -381.92. Which is smaller: 1/3 or u?
1/3
Let m = 235/1027 - 12/79. Is m equal to 4/9?
False
Suppose 4*y - 1 - 7 = 0. Let p(z) = -3*z**2 + 5*z - 1. Let b be p(y). Do b and 6 have different values?
True
Let j be (3640/195)/(3/2). Which is smaller: j or 12?
12
Let f(q) = q**2 - 15*q + 20. Let t be f(14). Let x(g) = -g**3 + 8*g**2 + g - 8. Let k be x(t). Suppose 5*j = -10, 4*r + 2*j + k = -j. Are r and -15 equal?
False
Let c = -39 + 38. Suppose 2*z + 4 = 8. Let q be (-90)/168 + z/8. Which is greater: q or c?
q
Let w = -31/46 + 24475/414. Let j = -59 + w. Which is smaller: j or -2?
-2
Let x(s) = s**3 - 19*s**2 - 19*s - 16. Let v be x(20). Suppose 0 = -v*y - 4*m - 32, 2*y + 5 = -3*y + 2*m. Which is bigger: y or -24/7?
y
Suppose 44 = -4*z - 12. Let x be (-4)/z + 225/(-567). Is x bigger than 0.1?
False
Suppose -10 = 3*x - 17*z + 16*z, -2*x - 2*z = -4. Let i be (-102)/39 + (3 - 1). Which is smaller: x or i?
x
Let l be 13/((-1)/(-6)*(-3)/(-2)). Does l = -0.4?
False
Let g be -7 + 4/(-4) + 0. Let t be -2 - (1 - 0)/g. Which is bigger: t or -1?
-1
Let g(w) = -2*w**3 - 18*w**2 + 20*w + 90. Let x be g(-7). Are x and -247 equal?
False
Let x(o) = 2*o**3 + 5*o**2 + 13*o + 23. Let f be x(-2). Which is smaller: f or -243?
-243
Let k be (-24)/324*(-150)/(-16). Let l = 7/12 + k. Let q = -1 + 2. Is l != q?
True
Let z(k) = -4*k**3 - 6*k**2 + 9*k + 3. Let d be z(4). Is -312 > d?
True
Suppose -4*y - 4*o = 0, 2*o + 10 + 0 = 3*y. Suppose -14 + 6 = y*j. Let a be (22/(-6))/(-18 - (-49 + 30)). Which is smaller: a or j?
j
Let n = 40 + -37. Let i be (-1)/(-3)*n*2/(-4). Is -12 less than i?
True
Suppose 0 = o + 4*z + 13, -5*z = -2*o - 3*z + 4. Let v = -135 - -4051/30. Which is smaller: v or o?
o
Let v = 60 - 59.908. Which is smaller: -2 or v?
-2
Let g be (-2)/2 + 3 + -1. Let m be 752/(-40) - g/5. Let l = m - -31. Which is smaller: l or 11?
11
Let q(w) = 22*w - 1. Let x be q(-1). Let k = x + 29. Suppose 4*h = 4, a - k*a = h - 11. Which is smaller: 0.1 or a?
0.1
Suppose 0 = -3*z - 5*d - 3, -6 + 2 = 4*z + 5*d. Let x be (-2)/((-80)/105*(-108)/24). Is z smaller than x?
True
Suppose -518*q + 514*q - 300 = 0. Is q < -75?
False
Let g = 4 + -2. Suppose -g*t - 6 = -4*n, -3*n - 3*t + 8 = -1. Let p be ((-6)/(-9))/n*-2. Which is smaller: -16/5 or p?
-16/5
Let n = 26 - 14. Suppose d = 3*d - n. Let j be -60*7/(-56)*(-8)/(-10). Is d > j?
False
Suppose 7*i - 2*i = -5. Let o be (-2)/5 - 35/(-400). Which is greater: i or o?
o
Suppose -2*p + 6*p = 0. Let t = p - 0. Suppose -10*j + 3 = -2 + 5. Is j >= t?
True
Let x = 548.972 - 544. Let s = 0.028 + x. Let b be 0 - 2*(-2)/(-10). Which is smaller: b or s?
b
Let j = 40 - 28. Suppose 35*i - 377 = 78. Which is greater: i or j?
i
Suppose 15*n - 6630 = 10*n. Let y be 3*(30/n + (-4)/(-26)). Is 2 smaller than y?
False
Let i be (-9)/(-4) + (4 - (-39)/(-12)). Suppose -5*r + 3*b - 2 = 0, 0 = i*r + b + 4 - 0. Is 3/32 != r?
True
Let a be 1/(-1) + 6 - (24 + -26). Let j = 4 - a. Is -3 smaller than j?
False
Suppose -474 = 6*v - 468. Let p(s) = s**3 - 8*s**2 + 8*s - 4. Let u be p(7). Suppose -u*f - 1 = -4*f. Are f and v nonequal?
True
Let o = -37.9 - -0.9. Let f = o - -36.9. Which is smaller: 0.1 or f?
f
Let u = 637 + -638. Is u less than 14/139?
True
Let m(f) = -f. Let v(g) = -6*g - 1. Let c(q) = q + 1. Let j(k) = 2*c(k) + v(k). Let y(n) = -j(n) + 3*m(n). Let u be y(7). Is 7 greater than u?
True
Let m(q) = -24*q + 22. Let v be m(1). Let l(s) = s**2 - 4*s - 1. Let u be l(4). Which is smaller: v or u?
v
Let d = -12.9 + -0.1. Let o = d + 11.2. Let h = o - -2. Which is smaller: h or -0.03?
-0.03
Let i(x) = x**3 + 2*x**2 + 10. Let v be i(0). Suppose -v*p + 5 = -15*p. Let u be (-14)/(-36) + (-2)/4. Is p equal to u?
False
Suppose -j + 21 = 3*q, 5*q + j - 10 = 23. Let f be (-8)/q*(-64 - -1). Suppose f = -6*g - 36. Which is smaller: -19 or g?
g
Let q(y) = 2*y**2 - 4*y + 2. Let t be q(7). Suppose w + t = -2*w. Let r be (-32)/w*(7 + -1). Is 8 > r?
False
Suppose 0 = 2*a + 2*a + 3*m + 57, 4*a + 51 = -m. Let d be (-57)/(-11) - a/(-66). Suppose d*p + r = 3*p - 9, p - 3*r - 13 = 0. Is p at least 0.03?
False
Suppose -12 = g + 2*g, -3*a = -3*g - 165. Let v be (-2 - -3) + (a/(-3) - 0). Is v at least -16?
True
Let b = 0.3204 + -0.0204. Is -1.38 less than b?
True
Suppose -49 + 14 = -5*r. Let x(k) = 2*k + 1. Let c(p) = 14*p + 16. Let f(l) = -c(l) + 8*x(l). Let y be f(r). Is 7 smaller than y?
False
Let i be (-45)/(-963)*2*(-12)/15. Does 1 = i?
False
Let j = -13 + 15. Let a be (-11)/((-9)/3 + j). Suppose 2*k = k + a. Which is bigger: k or 12?
12
Let z = 1.3 + -3.8. Let o = z - -3.8. Let d = o - 0.3. Does -2/7 = d?
False
Suppose 5*b + 17 = 2. Let v be (-1)/(b*3/153) - 2. Is 17 != v?
True
Let t = 3.6 - 0.6. Let p = 1050 + -1057. Which is smaller: p or t?
p
Let p = -2 - -4.9. Let r = -3 + p. Let x = -0.3 - r. Is -10 > x?
False
Suppose -x + 4*m - 3 = -39, 0 = -5*x - 4*m + 180. Which is bigger: 176/5 or x?
x
Let w(a) = 79*a + 396. Let l be w(-5). Which is smaller: l or 30/41?
30/41
Let k = -0.15 - -0.05. Let d = -0.9 + k. Do d and 2 have the same value?
False
Let m = -0.86 - -0.96. Let w = -0.2 + 0.32. Let s = -2.88 - w. Is m equal to s?
False
Let k be -4 - (4 + (-4 - 11232)). Let t = k - 15180257/1352. Let r = t + 8123/14872. Which is bigger: -2/7 or r?
r
Suppose 0 = 5*p - 2*v + 3, -3*p - 6*v + 9*v = 0. Is -3/452 greater than p?
True
Suppose 2*y - 6*w + 3*w = -81, -84 = 2*y - 2*w. Let s be (-10)/y - 220/18. Is s at most as big as -12?
True
Let u = 326/3 - 109. Are u and -288 equal?
False
Let q = -1.7 + -1.8. Let s = q - 0.5. Let d = 96.5 + -97.5. Is s less than d?
True
Let a(v) = 3*v**2 - 3*v + 20. Let u be a(4). Which is bigger: u or 48?
u
Let w be 4*(8 - 9)*(-26)/(-8). Which is smaller: w or -37/3?
w
Suppose 6*x - 10*x + w - 161 = 0, x = -4*w - 36. Which is greater: 3 or x?
3
Let i = -23071/2392 + 77/8. Let y = i - -796/9867. Suppose -4*a + 4*k - 24 = 0, -k + 3*k = -5*a + 5. Is a at least y?
False
Let j = -0.59 - 0.01. Let q = j + 0.5. Which is greater: q or -0.07?
-0.07
Suppose -166 = -l + 2*s, -4*l = l - 2*s - 838. Suppose 0 = 7*d - l - 217. Which is smaller: d or 54?
54
Suppose r + 6*h = h + 23, -16 = -4*r - h. Let i = r - 5. Is i <= 4?
True
Let f = 28 - 57/2. Let g be 305/35 - (-2)/7. Let l be 12/(-16) - g/(-12). Is f != l?
True
Let l be -1*(1/1 + -1). Let u be -6 - (-7)/((-56)/(-44)). Which is smaller: l or u?
u
Let q = -275/17 + 19477/1224. Let m = q + 1/24. Is m at most 1?
True
Suppose t + 0*x + 19 = -3*x, 0 = 5*t - 2*x + 27. Let n = -23 - -16. Let u be n + -1 + 3 + -1. Does u = t?
False
Let b(n) = n**3 - n**2 + n + 2. Let s be b(-1). Let x = 391/1634 - 7/86. Which is smaller: s or x?
s
Suppose -6780 = -b + 4*b. Let r = 36145/16 + b.