(k/3). Which is greater: -3 or s?
s
Suppose -2*m + 0*a = 4*a + 14, 4*m + a - 7 = 0. Let s(w) = -w**2 + 3*w. Let r be s(m). Is r bigger than 0?
False
Suppose -24*l - 45 = -29*l. Which is smaller: 4 or l?
4
Let d = 859/39 - 22. Which is smaller: d or 0?
0
Let a(t) = 2*t + 3. Let o be a(-1). Which is bigger: o or 2/61?
o
Let j be (0/3 - 1) + (-2)/4. Is -2 at least j?
False
Let o = 48 + -49. Which is smaller: o or 3?
o
Let v(s) = s**3 - 4*s**2 + s - 3. Let y be v(4). Let x be 2/(-4)*-1*2/(-7). Which is bigger: x or y?
y
Let o be (-11)/4 - 6/(-3). Let s = 3 + -5. Which is smaller: o or s?
s
Let p(y) = y**3 + 3*y**2 + y + 4. Let n be p(-3). Let h = 7 - 6. Let o be (-16)/(-21) + h/(-3). Is n smaller than o?
False
Let o = 1095768011/3571392 + -1/324672. Let r = -307 + o. Is r smaller than 2/3?
True
Let k(u) = -u - 4. Let z be k(-8). Let q(s) = 5*s**2. Let v be q(-1). Is v bigger than z?
True
Let l(y) = y**3 - 5*y**2 + 2*y + 2. Let u be l(4). Let i(v) = v**3 + 6*v**2 + v + 6. Let q be i(u). Is q greater than 3/4?
False
Let y = 0.2 - 0.21. Let w = 0.11 + y. Suppose 0*j - 4*j + 8 = 0. Which is bigger: w or j?
j
Suppose 22 = 3*q + 5*g, 4*q + 2*g + 2*g = 16. Let y(a) = 3*a**2 - a. Let r be y(q). Suppose -i = -0*i + r. Is i less than -1?
True
Let c = -5 - 0. Let h be (-4)/c*(-1)/(-4). Let l = 166/5 + -33. Is h less than l?
False
Let g be (0/(-1))/(2/(-2)). Let u be (2*(1 - g))/1. Which is smaller: u or 3?
u
Let w(g) = 4*g - 4*g - 7 + 7*g + 16 + g**2. Let y be w(-6). Is y equal to 2?
False
Let j = 4 - 2. Let p = j - 1. Is -0.04 at least as big as p?
False
Let x = 0.35 - 0.15. Let r be 2 - -5 - (3 - 2). Let o(i) = i - 7. Let z be o(r). Is x >= z?
True
Suppose -p - 4*p = -30. Suppose 0 = -3*b - 3*q - p, 4*b - 2*q + q = 2. Which is bigger: b or 2?
2
Let j(w) = -28*w**2 - 9 - 19*w**2 + 48*w**2 - 9*w. Let h be j(10). Is h equal to 2/9?
False
Let y = 56 + -46. Suppose r - 6*r + j = -25, 5*r + j = 15. Suppose r*g + y = 26. Which is bigger: g or -1?
g
Let q = -1223/5187 - -2/399. Which is bigger: 0 or q?
0
Let q = 41 - 41.1. Suppose -5*x - 3*f = 14, x - 2*f = 3*f - 14. Let o = 7 + x. Which is smaller: o or q?
q
Suppose 4*u + 0 = -5*s + 11, -3*u - s = 0. Let n be (-3 - -4)/(0 + u). Do 0 and n have the same value?
False
Let t = 0.03 + -0.12. Let m = t - 0.01. Let q = -3 - -3.4. Which is bigger: q or m?
q
Let n(j) = j**2 + 7*j - 4. Let b be n(-8). Suppose -i + 1 = -3*q, -b*q - 2 + 6 = -4*i. Let s be i/6*(-6)/(-11). Do 1 and s have the same value?
False
Let z = -135 - -543/4. Which is greater: -0.2 or z?
z
Let t = -18 + 11. Let v = -8.8 - t. Let b = 2 + v. Is 2 > b?
True
Suppose -6*s + 2*s + 44 = 0. Which is greater: s or 12?
12
Let i = 109 - 48. Are i and 62 non-equal?
True
Suppose 2*i - 3*o = -3*i + 14, -5*i + 4*o + 17 = 0. Which is bigger: i or 24?
24
Suppose -4*v + 20 = h, 0 = -5*v + 2*h + 8 + 17. Let a = v + -5. Which is bigger: 4/9 or a?
4/9
Let k = 11 - -7. Does k = 2?
False
Let s = 31 + -31. Which is bigger: s or 0.05?
0.05
Suppose -4*k - 66 + 46 = 0. Let n = 0 - -4. Let f be n*3*1/(-2). Do k and f have the same value?
False
Suppose -17 = 4*j - 3*v - 67, 36 = 2*j + 4*v. Suppose p - j = 5*n, p - n + 1 = 7. Suppose -20 = -3*z + p*m, z - 23 = 5*m + 2. Is z at least as big as 2/13?
False
Let j = 16 - 24. Let k be (1/(-4))/((-5)/140). Let r = k + j. Is 2/7 < r?
False
Let o = 1 - -2. Let q = -5/2 + o. Suppose 4*c + 4*g - 16 = -c, 3*g - 12 = -4*c. Which is smaller: c or q?
c
Let z(i) = i**2 - i. Let s be z(1). Let o be (s + 0)/(3 - 4). Is -2/9 greater than or equal to o?
False
Let f = 3 + -2.9. Let o = f + 0.2. Suppose 0 = -3*a + 1 + 2. Which is smaller: o or a?
o
Let k = -434 + 9979/23. Is -1 less than k?
True
Let p be 0 - 3/((-3)/4). Suppose -p*l = -3*l + 2. Let z = -1 + l. Are z and -3 unequal?
False
Let x = -21 - -18. Are -3 and x non-equal?
False
Suppose -3*w + 4*h = 5*h - 3, w - 3*h + 9 = 0. Suppose -2*m - 12 = -5*q, w = -0*m - 2*m - q. Which is bigger: -5/6 or m?
-5/6
Suppose 0 = 5*z + 5*a - 50, 4*z - 35 = -0*z - 3*a. Suppose -3*d - 40 = z*u, -2*d - 30 = d + 3*u. Does -6 = d?
False
Let h be (-1 - -1) + -6 + 4. Let u be (-1)/h*65*1. Let b = -32 + u. Is b less than 4?
True
Let l be -1 + (-9)/(-6) + 50/(-124). Which is bigger: l or -1?
l
Let y = -412 + 1210/3. Let g = 113/12 + y. Which is smaller: g or 0?
0
Let a = 3 - 3. Let q(m) = m**2 - 6*m - 3. Let n be q(6). Let y(r) = r**2 + 4*r + 2. Let t be y(n). Which is greater: a or t?
a
Let l = 16 + -11. Let u be (-4)/(-6) + (-10)/(-3). Which is smaller: l or u?
u
Suppose 1 = 2*s - 1. Suppose 2*d = 5*d - 24. Let c be ((-2)/d)/((-28)/(-32)). Which is bigger: s or c?
s
Let x = -0.03 + 2.03. Let w = 0.07 - 1.47. Let k = 0.4 + w. Which is smaller: k or x?
k
Suppose -3*f + 160 = 2*f. Let m be 52/f + 2*-1. Is m less than 1/4?
True
Let t be (124/70)/((-9)/45) - -2. Is -6 >= t?
True
Let u = -2 + 2. Suppose u*h = 5*h + 5. Let m be (-18)/5 - (-2 - 1). Which is bigger: m or h?
m
Let v be (4/(-2)*-3)/((-9)/10). Is -8 >= v?
False
Let o be (-1)/(128/(-44) - -3). Is -10 at most as big as o?
False
Suppose 3 = -x - r + 1, x = -2*r - 1. Let c = x + 6. Are c and 3 non-equal?
False
Suppose 5*x + 2 = -3. Let f be x/2 + 39/2. Suppose 3*w + f = 4. Is -5 at least w?
True
Let y = -46.9 + 58. Which is smaller: 1/4 or y?
1/4
Let t be -1*(1 + -1)*1. Let j = t - -1. Let s = -29 - -205/7. Is s > j?
False
Suppose -5 = -2*f + 3. Suppose -4 = -f*m + 4. Is -5 >= m?
False
Let w = -0.3 - -0.1. Let j = w - -0.1. Let g = -0.42 - -0.02. Which is greater: j or g?
j
Let v = -0.4 - 1.6. Let c = v - -2. Let a = 0.8 - 0.4. Which is greater: c or a?
a
Let c be ((-4)/(-2) - -1) + -1. Let s be ((-35)/90)/((-3)/(-6)). Let g = -5/18 - s. Which is bigger: c or g?
c
Let j = -3373/16 + 211. Is 1 < j?
False
Let f = -33.63 + 3.23. Let l = f + 32.41. Let k = 0.01 - l. Which is greater: -0.1 or k?
-0.1
Suppose 3*h = 2*h + 2. Let f be (h + 10/(-4))*6. Is -5 smaller than f?
True
Let f(l) = l**3 - l**2 - 2*l. Let m be f(2). Let w = m + 3. Suppose w*g = 6, 5*d + 2*g + 5 + 1 = 0. Which is smaller: d or -3?
-3
Let w = 23 - 15. Which is smaller: w or 9?
w
Let y = 3 - 5. Let c = 24330 + -120957/5. Let q = c - 139. Do y and q have the same value?
False
Suppose -2*h + 3*h - 6 = 0. Suppose 0 = u - h*u. Let c = -17/15 - -4/5. Which is bigger: u or c?
u
Let l be ((-3)/12)/((-156)/226). Let i = l - 5/24. Let v = 82 - 81. Is v bigger than i?
True
Let m be (-2)/(-7) - 10/84. Let d = -7.87 + -0.13. Let b = d + 7. Which is smaller: b or m?
b
Let m(i) = i**3 - 4*i**2 - 6*i + 3. Let o be m(5). Let a = -4 - o. Let b be (24/(-20))/(a/(-5)). Which is bigger: -2 or b?
-2
Let i = -12 + 17. Let s = 5.1 - i. Are -0.1 and s unequal?
True
Let y = -67 - -68. Do 3/14 and y have the same value?
False
Let l = 367/342 + -7/38. Let y = l + -58/45. Which is greater: -1 or y?
y
Let q = 32 - 98/3. Which is smaller: q or 1/17?
q
Let o be (-486)/(-15) + 4/(-10). Let h be (78/o)/(2/(-8)). Let z = h - -10. Which is bigger: -1 or z?
z
Let y be 2/(-52)*(-16)/24. Which is bigger: y or 0?
y
Let h be 3*14*(-1)/(-6). Suppose y = 2, -y + 2*y = -5*w + h. Is 2 greater than w?
True
Let g be ((-5)/25)/((-3)/(-15)). Let k(h) = h**2 - 2. Let l be k(2). Suppose -l*t = 3*t. Which is smaller: g or t?
g
Let a = -3 + -1.91. Let r = a + -0.09. Let f = -4.9 - r. Which is smaller: 1 or f?
f
Suppose 5*w = 23 + 2. Suppose -w*z = -s + 4, 2 = -3*z - s - 2. Let f = z + 2. Is 2 at most f?
False
Let h = -30 - -30. Are h and 1 nonequal?
True
Let j = -173/3 - -403/7. Is j at least as big as -1?
True
Let u = -16 + 20. Suppose 4*n = 2*t - u*t - 10, 3*t - 2*n = -31. Which is greater: -8 or t?
-8
Let t = 15 + -16.1. Let y = t + 0.8. Suppose 6*f - 5*f = -1. Is f != y?
True
Let d = -150/7 - -2864/133. Let p(a) = -a**2 + 3. Let u be p(0). Suppose 8*x = u*x. Which is smaller: d or x?
x
Let x = -0.3 + -0.7. Suppose -3*j + 7*j - 2*q - 18 = 0, 4*j - 5*q - 21 = 0. Let a be 31/(-18) + 6/j. Is a at most x?
False
Let x be 0 + 0 - 3/(-90). Let z = x - 2/15. Which is smaller: -1 or z?
-1
Let v = -477/22280 - 2/557. Which is smaller: -1 or v?
-1
Suppose -8 = 4*m - 44. Does m = 8?
False
Let x be (-56)/(-90) - (-4)/(-10). Let v = -14 - -13. Is x equal to v?
False
Let f = -4 + 4.3. Let o = 8921/4 - 2243. Let a = o + 263/20. Is a smaller than f?
False
Let p be (