3 + -3. Suppose -r - 9 = -2*v, -2*r + s*v = 2*v. Which is smaller: r or t?
r
Let b = 72 - 67. Which is greater: b or 11?
11
Let d be (0 - 0) + 0 + 10. Suppose y = -4*y - d. Which is greater: y or -1?
-1
Suppose -2*w - 2*w = -12. Is 3 > w?
False
Let v(q) = q**3 + 4*q**2 + 2*q + 2. Suppose 0*b - 3*b - 5*i - 19 = 0, 0 = -2*i - 4. Let f be v(b). Is 5 less than or equal to f?
True
Let d(o) = -o + 4. Let g be d(2). Let v be (1/g)/((-2)/2). Which is bigger: -12 or v?
v
Let u(w) = 4*w + 28. Let a be u(-11). Which is greater: a or -17?
a
Suppose 2*o - 5*s - 16 = -0*s, 3*o + 2*s - 5 = 0. Let i = -18 + 18. Is i less than or equal to o?
True
Let o = 2.953 - -0.047. Is 4 < o?
False
Let f be (-3)/(-6) + (-21)/2. Let r be ((-8)/(-10))/((-2)/f). Let a be (-140)/(-75) + 2/15. Which is smaller: r or a?
a
Let s be (5/(-3) - -1) + (-264)/(-72). Let o(a) = a - 1. Let c be o(-2). Let n = 5 + c. Which is smaller: s or n?
n
Let z = -362556/7 + 51699. Let t = -95 - z. Which is smaller: -2 or t?
-2
Let h(y) = y**2 + 3*y - 7. Let z be h(-5). Which is smaller: 2 or z?
2
Let k(q) = q + 2. Let j be k(-6). Suppose s = 4*d + 2 + 13, 0 = s - 5*d - 20. Is j at least as big as s?
True
Let c be 8/(-28) - 120/21. Let n = -11 + 6. Is c less than or equal to n?
True
Let q = 243 + -2189/9. Which is smaller: 15 or q?
q
Let z = -18 - -13. Suppose 3*a + 42 = -4*a. Is z less than or equal to a?
False
Let n = 0 + 4. Let x = n - 4. Let a = x - -0.1. Is a at most 7?
True
Let t be 3/4*4/(-1). Let y = 0 - t. Let u = y + -7. Which is bigger: -2 or u?
-2
Let k = -23 + 28. Suppose 0 = -5*j - 4*u - 2, -25 = -j - 4*j + 5*u. Let n be j/(-8) - k/(-4). Which is smaller: n or 0?
0
Let p be 8/12 - 148/24. Which is smaller: -0.1 or p?
p
Let i = -0.5 + 0.4. Suppose 2*y = 4*g - 0 - 2, -4*g - 16 = 4*y. Is i < g?
False
Let q = -0.02 + 3.52. Let v = -4 + q. Is 1 at most v?
False
Let k = 40 - 39.8. Is k > -2?
True
Suppose 3*z - 4 - 2 = 0. Let n = -3 - -3. Which is bigger: n or z?
z
Let h(g) = -2*g**2 + 12*g - 7. Let u(k) = -3*k**2 + 11*k - 6. Let r(q) = -4*h(q) + 3*u(q). Let j be r(-7). Let y = -328/5 + j. Is 0 at most as big as y?
True
Let c = -4 + 4.5. Let g = 0.5 - c. Let q = 1 - g. Is q greater than -2?
True
Suppose -2*i + 5 = -1, -2*p + 4*i + 116 = 0. Suppose 0 = -5*c + 2*s + 43, 5*c - 5*s - p + 9 = 0. Which is smaller: 1/2 or c?
1/2
Suppose 5*g = 5*m + 6 + 19, m = -2*g - 2. Let h be (-10)/515*1/4. Let a = h - 305/824. Is a < g?
True
Let v be (-4)/72*30/4. Let u = -37/60 - v. Which is greater: 5 or u?
5
Let p = -15 + 3. Let l = -39 - -39. Which is greater: l or p?
l
Let v(x) = 2 - 5 - x**2 - 1 + 1 + 5*x. Let r be v(3). Does 4 = r?
False
Let t = -27 - -27. Which is bigger: -1 or t?
t
Let b = 36.2 + -36. Let a = 4.5 - 0.5. Let n = -2 + a. Is n greater than b?
True
Let w = 145/56 - 23/8. Let c be (-1 - 0)/(4/(-8)). Suppose 0 = -c*a - 0*a. Which is greater: w or a?
a
Let a be 4/(-10) - (-110)/25. Suppose -5*n + 5*p - 14 = p, -a*p = 2*n. Is n bigger than 0?
False
Suppose 4*t = -4*f - 8, 0 = 4*f - 0*f + 3*t + 9. Let j be (-39)/(-12) + f + -3. Let s = j + 3. Is -8 <= s?
True
Let o be (-1)/(-7)*(38 + -31). Let s be (-2)/10*(-5)/(-4). Which is smaller: s or o?
s
Let t = -3 - -2. Suppose n + 4 = 2*u, 0 = -4*n - 4*u - u + 49. Let v(j) = -j + 7. Let i be v(n). Are t and i equal?
False
Let z = 2.1 - 2. Let s = z + 0.1. Let q = 29 - 30. Is q at most s?
True
Let r(q) = -q**2 + 7*q - 5. Let x(o) = -o**3 - 2. Let m be x(-2). Let z be r(m). Is 5/8 at most as big as z?
True
Let g = -0.01 + 0.41. Let o = g + -0.2. Suppose 0 = 4*r + 2*z - 4, r - 4 = -4*z - 3. Is r bigger than o?
True
Let z = -36119/60 - -602. Let d = 30313/20 + -1516. Let a = d + z. Which is smaller: a or -1?
-1
Let j = 4 + -4.01. Let i = -2.99 + j. Which is smaller: i or 2/3?
i
Let f(c) = c - 2. Let t be f(-5). Let u = 36 + -34. Let p be u/4*(-2 - 10). Is t bigger than p?
False
Let j be ((-150)/315 - (-2)/6)*-4. Are j and 0.1 unequal?
True
Suppose -2*q - 2*v = -7*v + 12, -4*v = 4*q - 32. Suppose q = -t + 5*t. Let r(w) = w + 11. Let z be r(-7). Which is bigger: z or t?
z
Let d be 9 - ((-1)/(-1) - -2). Which is smaller: 9 or d?
d
Let f = 41 - 29. Suppose 11*y = -61 + 193. Is f bigger than y?
False
Let p = 1 + -4. Let t(m) = -m**3 - 2*m**2 + 4*m + 2. Let o be t(p). Let u be (0 + -1)/((-10)/2). Are o and u equal?
False
Let q(n) = n - 5. Let a be q(4). Is a bigger than -1?
False
Suppose 2*v + 5*q - 31 = 0, q = -4*v - 2*q + 41. Which is greater: 9 or v?
9
Let v = -0.49 - -0.05. Let j = -1 + 0.96. Let t = j - v. Is t at most 1?
True
Let g be (-4)/(-6) + 57/9. Suppose 3 = 5*j - g. Suppose 0 = -0*t - t. Is j greater than t?
True
Let r(m) = 2 - 1 + 1 - m - 3. Let n be r(-4). Which is bigger: n or 1?
n
Let k(a) = -a**3 - 7*a**2 - 6*a. Let t be (12/14)/(7/(-49)). Let f be k(t). Let y = -257/3 - -85. Is f smaller than y?
False
Let c = 5 - 6. Which is smaller: -3 or c?
-3
Let i = 1 - -1. Let a be (1 - 1)*i/4. Let x = 2 + -1.9. Which is smaller: x or a?
a
Let c = 28 - 28. Let v = -0.94 + -0.06. Is v <= c?
True
Let t be 4/(-32)*1*4/8. Are t and 0 non-equal?
True
Let l be (-1)/(0 - (-2 + 0)). Let j = 10 + -9.7. Which is smaller: l or j?
l
Suppose 0 = 2*r - r + 2. Let z be (2/3)/(r/36). Let t be (z/20)/(6/(-4)). Which is smaller: t or 4?
t
Let k = -2 + 0. Let i = -2 - k. Suppose i = -3*q + q. Does -2/11 = q?
False
Suppose -r = 2*r - 18. Suppose 4*k = r - 18. Let v(s) = -s**3 - 4*s**2 - 2*s + 1. Let f be v(-2). Does k = f?
True
Let j = -15 - -15. Which is bigger: j or -2?
j
Let a = -1.75 + 0.15. Let x = a - -1.7. Is 1 > x?
True
Let m = 3/46 - 205/322. Suppose 3*c - 4*a = -1, 0 = -c + a - 3*a - 7. Let n(g) = g**3 + 4*g**2 + 3*g. Let l be n(c). Is l equal to m?
False
Suppose 18*o = 3*o - 30. Suppose -l = 4*l. Suppose 2*s - 2*y = l, -4*s - 3*y - 14 = -0*s. Is o less than or equal to s?
True
Let g = -30/841 + 164115/3364. Let z = -49 + g. Let x = -1.7 + 0.7. Which is greater: x or z?
z
Let q(s) = s - 1. Let t be q(0). Let h = -24 + 34. Let d be (-1)/(-5) + h/200. Is d smaller than t?
False
Let q be (4/(-5))/((-2)/5). Let m be (q - (-6)/(-4))*4. Which is bigger: m or 4?
4
Let f(b) = -2*b**2 - 5*b + b**2 + 10 + 0*b**2. Let i be f(-7). Are -4 and i equal?
True
Let x = 2.1 + -2. Let o = x - 0.1. Let p = 10.7 + -11. Which is smaller: p or o?
p
Let y(s) = s**3 + 3*s**2 - 3. Let t be y(2). Which is smaller: 18 or t?
t
Let y = 11 + -7. Let i = y - 5. Is 2 equal to i?
False
Suppose 0 = -2*y + j + 4, -2*y + j = 2*j - 8. Suppose -3*i - 2 = -q, -4*q = -2*i + y*i - 21. Which is smaller: -1/5 or i?
-1/5
Let n(g) = 6*g**3 + 31*g**2 - 5*g + 31. Let w(c) = -c**3 - 6*c**2 + c - 6. Let h(b) = 2*n(b) + 11*w(b). Let j be h(4). Suppose j = -r - r - 4. Is r equal to -3?
False
Let a = 15 - 17. Do -1 and a have the same value?
False
Let s = 6.4 - 6.28. Which is bigger: -2 or s?
s
Let a = -16 + 22. Suppose p - 16 = 4*q, -4*p = 4*q - 0 - 4. Let h be p*(-1 + 4/a). Are -1 and h equal?
False
Let m be (15/(-63))/5*-1. Which is smaller: -1 or m?
-1
Let j(a) = a - 9. Let s be j(11). Let q be (1 - s) + (-27)/(-18). Which is smaller: 1 or q?
q
Let z = -0.101 - -0.101. Do z and 0.01 have the same value?
False
Let o = -3.19 + 0.19. Let y = -11 - -14.2. Let r = o + y. Which is smaller: r or 1/4?
r
Let z be 1/8*(-3 - 640). Let y = 80 + z. Is y at most -1?
False
Suppose 0 = -22*l + 28*l. Do -2/73 and l have different values?
True
Let r(a) = -a + 7. Let o be r(6). Suppose 0 = -4*z + 4, 52 = v - 5*v + 4*z. Let h be 3 + -1 + v/5. Does o = h?
False
Suppose -2672 + 812 = -5*s. Let a = s - 24182/65. Let v = -73/260 - a. Which is bigger: v or 1?
1
Let n be (((-3)/1)/(-15))/(1/6). Is 2 at most as big as n?
False
Suppose -3*z + 3 = 12. Is z > -16/5?
True
Let d = -0.4 + 0.1. Does d = 7?
False
Suppose -4*v = -f + 28, -v = v + 8. Which is smaller: f or -2/7?
-2/7
Let d = 4 + -3.6. Let g = -1.4 - 0. Let b = g + d. Is b equal to 1?
False
Let g = -2 + 3. Let u(a) = a + 1. Let p be u(g). Suppose 1 = -p*i + 5. Is 1 bigger than i?
False
Suppose 4*q + 20 = -8. Let p be 16/q - (0 + -2). Which is smaller: 1/2 or p?
p
Let q = -0.31 - -0.41. Which is greater: -7 or q?
q
Let o be 2/(-66)*-6*1/20. Which is smaller: o or 1?
o
Suppose 33 = 38*y - 41*y. Suppose -80 + 32 = 4*z. Is y bigger than z?
True
Let q(n) = n**2 - 4*n + 2. Let k be q(4