.27 + 0.17. Do w and -20 have different values?
True
Let f(y) = -y + 1. Let u(h) = 0 - 10*h + 2 + 9*h. Let i(s) = 2*f(s) - 3*u(s). Let o be i(2). Which is smaller: -1 or o?
o
Let p(u) = 2*u**2 - u. Let y be p(-1). Let z be 1/(-2) + 9/2. Is z less than y?
False
Let z = 22 + -19. Suppose 5*m - 7*t - 33 = -3*t, -4*t = z*m - 7. Which is smaller: m or 3?
3
Let s be ((-8)/220)/((-4)/40). Let r = -5 + 5. Is r at least as big as s?
False
Let s be (-5 - -2)/(-12)*(-2 - -4). Which is greater: s or -5?
s
Let j(y) = -2*y - 4. Let g be j(-3). Let u(s) = -s**3 + 3*s**2 - 2. Let b be u(g). Let h be 32/4 + -4 + -4. Which is smaller: h or b?
h
Let u = -13.0788 - -0.0388. Let q = u - -13. Which is smaller: -1 or q?
-1
Let u(r) = -r**3 + 3*r**2 + 5*r - 1. Let d be u(4). Suppose -4*q + 3 = -d*q. Is 2 < q?
True
Let m be (5/(-215))/(2/4). Let h = 100/301 + m. Is h at least 0?
True
Let b = -6 - -4. Let a be (b/6)/(2/(-54)). Let k be a/(-5)*1/3. Which is bigger: k or 0?
0
Let g = -14 + 11. Let r = g - -2. Is r greater than -5/4?
True
Let j = -19 + 21. Is j greater than 3?
False
Let t = -2303/6 - -383. Is 0 at most t?
False
Suppose -21 + 11 = -i. Which is smaller: i or -1?
-1
Suppose -4*u + 7*u - 42 = 0. Suppose -4*v + 21 = 5*w, -4*v + u = 3*w - 5. Is w less than 0?
False
Let h be (-913)/(-1770) - 6/15. Let x = h + 3/59. Is 0 at least x?
False
Suppose 4*z + 34 - 154 = 0. Suppose 2*g = -4*p + z, 25 = 3*g - 3*p + 5*p. Which is greater: 1 or g?
g
Suppose -2*z + 4*s = -1 - 15, 0 = 4*z + s + 13. Let b be 1*-5 - 6/z. Which is greater: 3/2 or b?
3/2
Let z = 0 - 2. Suppose -4*s = -s. Is z smaller than s?
True
Let y(p) = 21*p**2 - p - 1. Let b be y(2). Let v = -399/5 + b. Are 1 and v equal?
False
Let t = -2.4 + 1.4. Let k = 3.2 + -0.2. Let h = t - k. Which is smaller: h or 0?
h
Suppose 4*x + 150 = 3*y, -4*x + 38 = y + 4. Is y smaller than 46?
False
Suppose 3*o - 2*k + 13 = 0, -4*o = 2*k + 6 + 2. Let q(g) = -g - 4. Let s be q(o). Which is smaller: s or -2?
-2
Let d be (-2 - (-20)/8) + 0. Is d smaller than 0?
False
Let q = 0.16 - 0.06. Suppose 12 = 2*t - 4*b, -3*t + 3 = -5*b - 16. Is t >= q?
True
Let m = -16.7 - -15. Let q = 0.7 + m. Suppose -7*j = -2*j - 10. Which is greater: q or j?
j
Suppose 0*p - 5*p = -2*f - 58, -p - 6 = 4*f. Are p and 57/5 unequal?
True
Suppose 4*y = -2*s - s + 9, -s + 1 = y. Which is bigger: 4 or y?
y
Let q = -31 - -31.2. Is q greater than 4?
False
Let u = -197 - -133. Let d = u - -60.7. Let o = d - -0.3. Is 1 smaller than o?
False
Let t(g) = -g + 7. Let o be t(0). Let i be (-21)/12*(-10)/o. Which is greater: i or 4?
4
Let u = 3 - 2. Let w(y) = 14*y + 1. Let d be w(u). Let h be (-4)/d*(-5)/2. Which is greater: -0.2 or h?
h
Let k = 568 - 3988/7. Suppose 3*g - 5*y = -18, -2*g + 2*y = 2*g + 10. Is k less than g?
True
Suppose 3*q = -2*m - 92, -3*q - 4*m - 154 = 2*q. Let p be (-108)/q - (-2)/5. Is 4 >= p?
True
Let n(z) = z - 2. Let u be n(2). Is u less than or equal to 1/4?
True
Suppose 5*y = 0, 2*q - 5*y - 10 + 4 = 0. Let b(s) be the second derivative of -s**3/6 + 7*s**2/2 + 2*s. Let o be b(5). Which is bigger: o or q?
q
Let f = 6/55 - -202/165. Which is smaller: f or 1?
1
Let u = 14 - 13.9. Is u bigger than 0.01?
True
Let d = 1 - 2. Let k be (-30)/20*16/(-6). Let i be 18/(-21)*(-2)/k. Which is smaller: d or i?
d
Let k = 5.08 + -5. Let y = 237 + -236. Which is smaller: k or y?
k
Let r be -1 - (4 + -4 + 1). Let h = 22/7 + -51/14. Which is smaller: r or h?
r
Let r = -16/3 - -5. Let k be (-1)/((-2)/2)*-1. Which is greater: k or r?
r
Let n be ((15/(-9))/1)/1. Is -0.1 at most as big as n?
False
Let k be (-110)/(-38) - (-3 - -2)*-3. Is k > 0?
False
Let r = -2 - -11. Let g(p) = 4*p + 11. Let f be g(-3). Is f > r?
False
Let r be (-15)/3*(0 + -1). Suppose -3*f = -r*m, -4*f + 11 = 2*m - 5*m. Suppose m*q + 2*h = 7*h - 1, -3*h = 3. Which is greater: -1 or q?
-1
Let c(w) = w**3 - 7*w**2. Let g be c(7). Let a = g - 1. Suppose -3*d = -6*d. Are d and a non-equal?
True
Suppose 0*j + 4 = 2*j. Which is greater: 18/7 or j?
18/7
Let w = 1.5 + 1.5. Which is greater: -1/7 or w?
w
Let c(k) = k**3 - 6*k**2 + 8*k - 16. Let f be c(5). Let p = -2 - -1.9. Which is smaller: f or p?
f
Suppose 0*v = -w - v - 8, -10 = 2*v. Which is smaller: 0.2 or w?
w
Suppose 5*t - 9 = -b, b - 5*t + t + 9 = 0. Let m be ((-4)/(-6))/((-1)/3). Let k = m - b. Which is smaller: k or -3/4?
k
Suppose 3*t = 4*t + 2. Which is smaller: -0.9 or t?
t
Let v be 1/(-3) - (-12)/9. Which is smaller: v or 7/6?
v
Let b = -44.87 - 0.13. Is 1 at least as big as b?
True
Let f be (-57)/9*2/(-8). Let n = 4/3 - f. Which is smaller: n or -2?
-2
Let w = -16/23 - -183/230. Which is smaller: w or -1?
-1
Suppose 7 = 3*y + 5*l, -3*l + 10 - 1 = -3*y. Suppose 30 = m - 7*m. Which is smaller: y or m?
m
Suppose -3*v = 3*p - 57, -3*p = -2*v - 4*p + 41. Which is greater: v or 24?
24
Suppose 7*u + 56 = -231. Are -42 and u unequal?
True
Let q = -348697/174 - -2004. Let b = -4133261/10002390 + 86/11497. Let p = q - b. Which is greater: p or 0?
p
Let j = -0.19 + 0.35. Let g = j - 0.36. Is g not equal to 2/7?
True
Suppose y + y = 6. Suppose -y*i + 2*i + 4*z - 24 = 0, i - 1 = -z. Let x be (-2)/6 - i/(-60). Which is bigger: 0 or x?
0
Let z(k) = k + 1 - 4 - 1. Suppose -9*p + 3 + 60 = 0. Let f be z(p). Is f < -1?
False
Let u be 8 + 2 - (4 - 1). Which is smaller: u or 10?
u
Let j = -27.1 - -27. Is j less than or equal to -0.5?
False
Let g be 13/2 + (-15)/(-10). Is g smaller than 0?
False
Suppose -o = 2*v + 2*o - 162, -2*o = -5*v + 424. Let g be 6/2 + (-259)/v. Which is smaller: g or 1?
g
Let t = -27 - -31. Suppose t*i = 6 + 2. Which is smaller: i or 2/3?
2/3
Let u be (1/5)/(312/1070). Let w = u + -1/52. Suppose 4 = -o - 3*d, 0*o + d = 2*o - 6. Which is bigger: o or w?
o
Let l be ((-5)/3)/(12/36). Is -4 greater than or equal to l?
True
Suppose 0*j = 2*j - 6. Suppose 4*h = -3*n - j + 20, 16 = -n + 3*h. Let y = 45/2 + -23. Which is bigger: y or n?
y
Let s = -27 - -21. Is s greater than -7?
True
Let q = 4.14 + -4. Which is smaller: -1 or q?
-1
Suppose 0 = -l - n + 3, -l + n + 3*n - 12 = 0. Is l less than 0?
False
Suppose 2*u + 69 = -29. Let m = 327 + -1126/3. Let x = u - m. Which is greater: -2 or x?
x
Let w be ((-6)/14 - 0)*28/42. Let x = 0.06 - -1.94. Are x and w equal?
False
Suppose 2*s = 17 - 5. Let m(l) = -l + l**3 + 2*l - l**2 - 7 + 0*l**2 - s*l**2. Let c be m(7). Are -0.6 and c equal?
False
Suppose 3*s = 4*s. Let g be 1/2 - (-3)/(-4). Which is bigger: g or s?
s
Let g(t) = t**2 - 5. Let l be g(0). Let r be (-2)/l + 0/5. Suppose -4*z + 2*o + 8 = 0, 0 = 5*z - 3*o - o - 13. Which is smaller: r or z?
r
Let o = -152 + 400. Let z = -1244/5 + o. Is z <= 0?
True
Let x be (-1)/6*(-3)/(-2). Let w = 13 - 7. Let q be (3/9)/(7/w). Which is bigger: q or x?
q
Let t be (2/35)/(2/(-10)). Let c be (8/(-12) + 1)*-32. Let u = c + 11. Is t greater than or equal to u?
False
Suppose 2*f - 4*q + 1 = -5*q, 3*f = -3*q. Let r be ((-4)/2 - -6)/f. Let n(x) = x**2 + 3*x - 4. Let u be n(r). Is u at least -1?
True
Let s = -78 + 78. Let o = 5/4 + -1. Do o and s have the same value?
False
Suppose 5*r + 3 = 18. Suppose 0 = b - r*b. Let c be ((-8)/(-50))/((-12)/(-30)). Is b at most c?
True
Let z be (-1)/(-4) + 54/(-88). Let q = z + -3/22. Let g = 2 - 1.7. Which is smaller: q or g?
q
Let j be 0 + -1 - (-114)/9. Let h = -12 + j. Is 2/33 bigger than h?
True
Suppose 2*z + 22 = -2*r, -2*z + 74 = -3*r + 21. Let p be 0 + 1 - (3 + -6). Let g be r/(-20) - 7/p. Is g equal to -1/3?
False
Let j(l) = l**3 + 2*l**2 + 2*l - 1. Let c be j(-2). Let g = c - -17/3. Which is smaller: g or 0?
0
Let q = 6.6 - 7. Let r = 1.5 - 2. Let w = r - q. Which is greater: -3 or w?
w
Let l be 1*(-3)/(-9)*3. Suppose o - 2*o = -l. Let i = 3 - o. Which is bigger: 0 or i?
i
Let q = 0.06 + 3.74. Let c = 4 - q. Let g = 0.3 - c. Is 0.1 <= g?
True
Let w = -0.3 + 9.3. Let h = w - 11. Is h smaller than 3/4?
True
Let p = 0.03 + 1.97. Let z = -4 + p. Is z < -1?
True
Let z = -5 + 7. Let g = 15 + -16. Let t = g - -3. Are z and t equal?
True
Suppose 3*y + 150 = 2*j, -24 = 5*y - 2*j + 226. Is y != 1?
True
Suppose -4*a = 5*j + 38, j = 4*j - 5*a + 8. Let g = -12 + 9. Let h = j - g. Which is smaller: -2 or h?
h
Let w(h) = -2*h - 3. Let p be w(-3). Suppose -n + 4*n + 4 = -o, 0 = p*o + 12. Is 2/11 not equal to n?
True
Let m be (0 + -3)/