 = -3*n. Which is smaller: -9 or n?
-9
Suppose 2*y = -y. Let k(o) = -o**2 - 4*o + 5. Let w be k(-4). Let s be 0 - (5/6)/w. Which is bigger: y or s?
y
Suppose -14 = 4*u + 5*j - 2, 0 = -2*u - 4*j - 6. Let m(t) = 2*t - 9. Let q be m(4). Is q < u?
False
Let b(q) = -q**3 + 4*q**2 + 7*q - 7. Let l be b(5). Suppose 0 = 4*p - 0*f + f + l, -4*f + 3 = p. Let r be 1/(-4) - (-1)/36. Which is smaller: p or r?
p
Suppose a = -5*q + 1, -a + 7*q = 4*q - 1. Do -2 and a have different values?
True
Let k = 34.8 + -45. Let g = -10 - k. Let x = -1.3 - -0.3. Which is bigger: g or x?
g
Suppose -4*s + 5*s + 32 = 0. Which is smaller: s or -33?
-33
Let t = -34 + 48. Let a = -15 + t. Is -1/24 at most as big as a?
False
Let w(g) = -16*g - 7. Let o be w(-2). Which is bigger: 24 or o?
o
Suppose 2*z = -0*z - 18. Let j = z + 11. Do j and 1/4 have the same value?
False
Let v = 2658 - 353516/133. Does 0 = v?
False
Let w(y) = 4*y + 34. Let s be w(-12). Which is greater: -7 or s?
-7
Let y = -12 - -13. Which is bigger: 3/5 or y?
y
Let n be 131/(-26) - (-75)/15. Are n and -1 nonequal?
True
Suppose 2*l - l + l = 0. Is -3/50 > l?
False
Let c(r) = r + 1. Let i be c(7). Let p be (-1)/((-3)/6 - 0). Suppose 2*d + i = k, -4*k - 2*d = p + 16. Is -2 bigger than k?
False
Let j be 8/10*5/(-13). Let h(m) = -m**3 - 9*m**2 + 22*m - 1. Let a be h(-11). Which is bigger: a or j?
j
Let b be (-2 + (-90)/(-46))*12/(-18). Is -1 at most as big as b?
True
Let u(k) = -3 + k**2 + 0*k + 7*k - 5*k. Let o be u(-3). Is o < -1?
False
Let r be (-6)/12 + -2*11/4. Is r equal to -10?
False
Let i = 0.97 + -1. Let a = 0.17 - i. Which is bigger: 0 or a?
a
Let o be ((-9)/21)/((-2)/(-7)). Let i be (-72)/32 + (-2)/(-8). Is i at least as big as o?
False
Let p be -5*10/225 + (-14)/18. Which is smaller: p or 1/17?
p
Let w = 58 - 65. Is w < 0.1?
True
Suppose 0 = 4*w - 6*w - 6. Let z be w/(-4) + 42/8. Suppose 4*p + 12 = 0, 5*s + p - z = 3*p. Is s less than 2/9?
True
Suppose 0 = -0*s + 3*s. Let t = 0 - -1. Suppose s*k = k + t. Which is smaller: -2/3 or k?
k
Let j(w) = -w**3 - 5*w**2 - 4*w. Let q be j(-4). Let h be q + 4*3/9. Let k be (2 - 2)/(2*1). Is h equal to k?
False
Let p = -4 - -2. Let y = 19 + -20. Which is bigger: p or y?
y
Let i(q) = q - 3. Let j be i(9). Let f be j/9*3/4. Suppose 2*a - p - 5 = 0, a + 3*p + 14 = -2*p. Are f and a equal?
False
Suppose -12 = 2*z - 50. Let c = 18 - z. Which is smaller: 4 or c?
c
Let u = -0.16 - -0.16. Let m = 25/44 - 4/7. Let a = -131/308 + m. Which is smaller: u or a?
a
Let x(w) be the second derivative of w**5/20 + w**4/4 + 3*w**2/2 + w. Let p be x(-3). Are p and 2 nonequal?
True
Let l = 7.5 - 6.5. Which is smaller: l or -44?
-44
Let r(w) = w**2 - 13*w + 14. Let n be r(12). Are 12 and n equal?
False
Let i be 0 + 1 - 4/4. Suppose 8 = -4*d + 2*t - i*t, 4 = 4*d + 4*t. Is -2/19 > d?
True
Suppose -3*x + 3*k + 9 = 0, -5*x - 4*k - 4 = -19. Suppose -5*y - x*c - 2*c = 0, y = 2*c - 3. Which is bigger: y or -2?
y
Let n = 2533/951 - -1/317. Is 3 at most as big as n?
False
Let k be (-230)/(-26)*-1 + 8/(-52). Which is greater: k or -8?
-8
Let u be 1 - 10*3/31. Is 1 < u?
False
Let i = -4 - -3. Let p be 27/(-4) - -1 - -4. Do p and i have the same value?
False
Suppose 0 = -4*s - 2*y - 2, 2*y - 16 = -0*s + 5*s. Let d(h) = -h**2 - 2*h + 2. Let w be d(1). Is w > s?
True
Suppose -3*x - 24 = 3*s, -5*s = 4*x - 2*s + 28. Which is smaller: x or 0?
x
Let v(o) = o + 5. Let c be v(11). Let s be ((-6)/(-8))/((-42)/c). Is 2/3 greater than or equal to s?
True
Let q(n) = n - 6. Suppose -j = j - 16. Let v be q(j). Suppose -3*z + 1 = o - 0*o, -z = -3*o - 17. Are v and z non-equal?
False
Let u = 1 - 0.8. Let s = 0.36 + -0.06. Let g = s - u. Are g and -2/7 nonequal?
True
Suppose -5*w = -34 + 4. Let p = 18 - w. Which is smaller: p or 13?
p
Let t(w) = -w**2 + 2*w - 1. Let j be 5/2 + 1/(-2). Let c = -1 + j. Let r be t(c). Is 1 greater than r?
True
Let m = 58 - 57.9. Which is greater: m or 0.32?
0.32
Let n be (-264)/258 - (-1 - (1 - 1)). Which is greater: n or 0?
0
Let c = 0.026 - 0.426. Is c greater than or equal to -2/3?
True
Let m = -2.5 + 3. Let o = m - 1. Are -1/4 and o non-equal?
True
Let a be (-3)/(-2)*(-1 + 3). Let y = 221 - 1545/7. Are y and a unequal?
True
Let b(s) = s**2 - s - 5*s + s. Let x be b(5). Let u(m) = m**3 - m - 4. Let g be u(x). Do g and -2 have the same value?
False
Let r = -5.72 - -35.2. Let n = -29 + r. Let q = n + -0.08. Which is smaller: -1 or q?
-1
Let d = 0.9 - 5.1. Let g = -4 - d. Let c = g + -0.1. Which is bigger: 1 or c?
1
Let x = -0.45 - -2.75. Is 2/3 != x?
True
Let s = 12 + -7. Suppose j = s*j. Suppose 2*o = -4*u - 10, -3*o + j*u + 2*u + 9 = 0. Which is bigger: 2/3 or o?
o
Suppose 6 - 18 = -4*c. Suppose c = 5*s - 2. Is s not equal to -1/10?
True
Let b = 11 - 11.9. Let w = -1 - b. Is w >= -3?
True
Let w be ((-10)/7)/((-8)/7). Which is smaller: w or 0?
0
Suppose 2*j = -j - k + 10, -3*k = j + 10. Suppose 2*f = 2*m + 10, j*m + 3*f + 12 = -21. Let t be 8/m*3/10. Is 2/5 < t?
False
Let v = -0.03 - -0.43. Let s = -0.5 + v. Is 1/7 >= s?
True
Suppose 11 + 6 = -o + 4*r, 2*o - 10 = -3*r. Let b = 10 + -13. Which is smaller: b or o?
b
Let w be (-16)/(-30) - (-6)/(-30). Let h = 780/7 - 111. Which is smaller: h or w?
w
Let u(o) = o**2 + 9*o + 5. Let g(z) = -2*z**2 - 4*z - 1. Let n be g(-3). Let b be u(n). Is -8 less than or equal to b?
False
Suppose -3*c + 10 = -5*q, 4*q = -6 - 2. Which is smaller: 3/14 or c?
c
Let q be (2/6*0)/2. Suppose -z = q, 2*j + 4*z + 9 = 1. Let k be (j/(-6) - 1)/1. Which is smaller: -1 or k?
-1
Let p = -27 + 26. Is p bigger than -2/9?
False
Let y = 19 - 35. Let j = -21 - y. Is j less than or equal to -5?
True
Let j be 1 + 2 - (-3 + 6). Let s = j - -2. Suppose 3*q = 3*t + 6, -t - 8 = -q + s*t. Is -2/13 < q?
False
Let d = -5/8 + 71/88. Let g be (-1)/((-3)/(2 - 8)). Let l = -2 - g. Which is bigger: d or l?
d
Suppose 0*x = -2*p - 2*x + 6, 5*x = -3*p + 17. Is p < -2/77?
True
Let m = -5 - -5. Let c be 1 - (m - (0 - -2)). Suppose c*q = q. Is -2/11 at most q?
True
Let p = -3/2 + 1/4. Suppose 3*x = 7*x. Let g be x/(3*(-2)/(-6)). Are p and g unequal?
True
Let p = 3 - 3.4. Let r = -6 + 6.3. Let o = r + p. Is 0 != o?
True
Let n be (-18)/(-14) + (-28)/98. Which is bigger: 2/3 or n?
n
Let b = -1 - -4. Suppose 2*g - b*y + 25 = 2*y, 3 = y. Which is greater: g or -3?
-3
Let z = 47 - -2. Which is smaller: 0.1 or z?
0.1
Suppose 2*u = -2*u - 4. Is u smaller than -5/8?
True
Let c = -0.7 + -1.3. Let s = c + 1.98. Let o = 0.42 + s. Is -1 bigger than o?
False
Let x(o) = -o**2 + 5*o. Let k be 1*-10*3/(-6). Let y be x(k). Are y and 2/9 unequal?
True
Suppose -4 = -0*g - g. Suppose w = g*w - 3. Which is bigger: 3 or w?
3
Suppose 0 = -2*v - 2*c + 6*c - 14, -c + 8 = -2*v. Let s = -115 - -340/3. Is s equal to v?
False
Suppose 120 = g + 3*g + 4*s, -3*s - 60 = -3*g. Suppose -2*b - 3*b - g = 0. Which is smaller: b or -4?
b
Let h(k) = -k**3 - 4*k**2 + 5*k + 3. Let f be h(-5). Let y = -2 - -4. Suppose m - y*m = -f. Which is smaller: m or 2?
2
Let y = -11 + 15. Let n = -46 - -44.92. Let f = -0.08 - n. Which is smaller: y or f?
f
Let f(l) = -l**2 - 3*l - 2. Let s be f(-3). Let b be ((15/s)/(-3))/(-4). Which is greater: -1 or b?
b
Let j be 44/16*8/(-10). Let d be (-6)/9*(-3)/(-6). Do d and j have the same value?
False
Let y = -13 + 11. Is y smaller than 1/3?
True
Suppose i = -0*i - 5. Let q = -9 + 8. Is q < i?
False
Let b be (8/(2 - 1))/2. Suppose -19 = -2*m + 5*f, m = -b*f - 1 + 4. Which is smaller: m or 8?
m
Let q(f) = 7*f**2 - f + 1. Let k be q(1). Suppose 0 = -3*o + k*o. Let n(p) = -3*p - 44. Let c be n(-15). Which is smaller: o or c?
o
Let s(h) = -2 - 2*h**3 - 3*h**3 - 2*h**3 + 6*h**3 + 3*h**2 + h. Let r be s(2). Suppose -c + r*c = -6. Which is bigger: c or 0?
0
Suppose -5*y + 43 = -y - o, 61 = 3*y + 5*o. Let s be -1*(-4)/y*-2. Which is bigger: 2 or s?
2
Let w be (22/(-13))/(-2) + -1. Let m be 6/(-5)*15/(-6). Suppose 4*u - 4*y - 6 = y, 5*u - m*y = 1. Is u greater than w?
False
Let n = 2.3 - 2. Let d = n - -1.7. Suppose 9 = -3*y - 0. Is y greater than d?
False
Let n = 0.09 + -0.1. Let l = -212 + 212. Is n bigger than l?
False
Let n = 0.04 + -1.04. Let f = -0.4 - n. Let p = f + 0.4. Are p and -2/5 unequal?
True
Suppose x - 57 = -4*h, 0 = 2*x + 4*h - 2 - 112. Suppose 0 = 3*m + 5*q + x, q = 5*m + 91 + 32. Let z be 