20*u - 3. Let f be z(7). Suppose 18*n - f = 15*n. Which is smaller: n or 11?
11
Let p = 658 + -684. Which is smaller: p or 0?
p
Let p = -366/29 + 61064/4843. Let z(r) = -r**3 + 5*r**2 + 5*r + 5. Let g be z(6). Which is smaller: g or p?
g
Let g = 146 + -88. Which is bigger: g or -2/9?
g
Let b be 1/(-2)*12/33. Let d(g) = -43 + 5*g + 10 + 24. Let m be d(2). Which is greater: b or m?
m
Let n be 194/(-20) + 9/45. Suppose u + 3*x + 15 = -9, -2*u - 3*x - 33 = 0. Which is smaller: u or n?
n
Let a = 140 - 111. Suppose 4*q = -q - u + 149, -4*q = -5*u - 125. Are q and a equal?
False
Let b = 641 + -5121/8. Let f be (-1)/(-12)*8*(3 - 0). Which is smaller: f or b?
b
Let o = -13 - 18. Let j = -16 - o. Let w = j - 10. Is w greater than or equal to 2?
True
Suppose 0 = -4*w - u + 19, -2*w + 3*u = 7*u - 6. Suppose x + 0*x = -3, w*y - x - 8 = 0. Are 2/7 and y nonequal?
True
Let u be (6 - 1) + (-75)/(-15). Let s be 3/2 - 5/u - 2. Which is greater: s or -7/3?
s
Let q = 38.8 - 38.627. Which is smaller: 0 or q?
0
Suppose -6 + 36 = 6*q. Suppose 0 = q*r + 13 - 3, -r = 5*b + 142. Which is bigger: -29 or b?
b
Let k be (-4 - 18/(-5)) + 15952/39830. Which is smaller: 0 or k?
0
Let x be (-7)/(-3) - 2/6. Suppose -15 = -5*j + 2*y, 2*y - 12 = -4*j + 7*y. Suppose 2*h + 1 = j. Is h greater than or equal to x?
False
Let k(i) = 3*i**3 + 32*i**2 - 16*i - 19. Let x be k(-11). Is 260/7 at most x?
False
Let w(q) = q**2 - 3*q. Let o be w(3). Suppose 0 = -5*p - o*p. Let h = 30/871 + 8/67. Is p != h?
True
Suppose -5*z = -z. Let f be (2 + z)*3/(-6). Let c be 45/(-84) + f/(-4). Is 3 bigger than c?
True
Suppose -g + 2 = -y, 3 = y - 2*g + 9. Suppose -y*v + v = 18. Let m = v - -24. Which is smaller: 7 or m?
m
Suppose 0 = 4*k - 29 - 7. Let w = k - 12. Let l be -6 - w - 22/(-10). Which is smaller: l or 0?
l
Let d(z) = 2*z - 12. Let q be d(10). Let l(k) = -5*k - q*k + 2*k + 2*k + 1. Let n be l(-1). Is 11 greater than n?
True
Let a = 1 + -0.72. Let i = a - 1.28. Is -2 at most as big as i?
True
Suppose -3*y - 5 + 23 = -3*z, 21 = 2*y - 5*z. Let q = y + 0. Let a be (1/(-3)*q)/17. Is a at most as big as 0?
True
Let s be 4/22 + (-136)/22. Let d be (s/(-20))/(15/(-20)). Let y = d + 11/15. Is 1 at most as big as y?
False
Let v(m) be the second derivative of m**3/2 + 11*m**2/2 - 3*m - 1. Let g(q) = -q**2 - 6*q. Let t be g(-7). Let u be v(t). Which is smaller: u or -9?
u
Let f = 669 + -668. Which is greater: 6 or f?
6
Let c = 814 + -763. Is c less than 43?
False
Let z be 3/(-15)*-15*1/(-1). Let g be 4/24*-46*z. Which is bigger: 24 or g?
24
Let u = 77.9 + -77.9. Is 3.9 > u?
True
Suppose 5*l - 3*j = 32, 4 = -4*l - j + 16. Suppose -4*u = 5*d - 30, u = -l*d - 3*u + 28. Let p be d - 5/(5/(-6)). Is p greater than 8?
False
Let g be ((-92)/(-69))/(4/(-18)). Which is smaller: g or 4?
g
Suppose 3*u + 1 = l, -5 = -2*l + l - u. Suppose 5*n - 4*b = 43, l*n + 0*n - 41 = b. Is n at least as big as 12?
False
Let d = -179.967 - -180. Is 2 >= d?
True
Let c = 0.08 - -0.07. Let q = -0.054 + -4.946. Let k = q + 4. Which is greater: k or c?
c
Let l = 5 - 4. Is 2/91 > l?
False
Suppose 2*y - 3*r - 6 = 0, 2*r + r = -6. Let p = -36 - -51. Suppose -3*t - 15 - p = 2*s, -10 = t - 4*s. Is t < y?
True
Suppose -9*m = -4*m + 65. Let i be 6/(-3)*52*(-2)/(-16). Is i at most as big as m?
True
Let c(i) = -16*i - 605. Let y be c(-38). Which is greater: 20/9 or y?
y
Let i(j) = -7*j + 9. Let r be i(-6). Let l = r + -54. Is 0 equal to l?
False
Let b = 28/33 - 2/11. Which is smaller: b or 177?
b
Let b = 60 - 34. Suppose -352 - b = -9*f. Is 42 greater than f?
False
Let c(q) = 4*q - 4. Let u be c(-3). Let f = u - -11. Is -22/5 bigger than f?
True
Suppose -780*t - 318 = -786*t. Is t less than 53?
False
Let q(i) = -i**3 - 4*i**2 + 3*i + 1. Let m be q(-4). Suppose -9*s = 3*s + 120. Let b = m - s. Is 2/19 less than b?
False
Let x be (-2)/321*(0 + 3 - 0). Suppose -i - 4*i + 5 = 0. Which is bigger: x or i?
i
Let m = -407.2 + 407. Which is greater: -94 or m?
m
Let z = 0.09 - -0.03. Let j = -513.98 - -514. Let p = j - z. Which is smaller: -1/2 or p?
-1/2
Let v = -774 + 766. Which is smaller: 16 or v?
v
Let v = -79 + 75. Let z = 3.1 + -1.1. Which is bigger: v or z?
z
Suppose 4*i - 3*y + 90 = -6*y, -76 = 4*i - 4*y. Let w be 13/(-4) - 1/(-4) - i. Is 18 at least as big as w?
True
Suppose -v = s - 2, 3*s + 0*s = 3*v + 12. Let j be ((v - 2) + 2)*1. Let o be -1 + (j - (-60)/33). Does 0 = o?
False
Suppose -41 = -3*t + 4. Let d = t + -13. Suppose -2 = -d*s - 4. Which is greater: -0.4 or s?
-0.4
Let n = 19 + -19. Suppose n = -3*m + 5*m + 14. Which is smaller: m or 0.3?
m
Suppose 55*f - 52 = 42*f. Is 8 bigger than f?
True
Let h = -1/40925 + 11049763/532025. Which is smaller: 21 or h?
h
Suppose -5*h + 13*h = 8. Is h less than or equal to 3/247?
False
Let v = -0.4 - 0.6. Let k = -1.1 - v. Let i = -2.1839 + 0.1839. Which is greater: i or k?
k
Let v = 0.31 - 0.32. Which is smaller: 1/19 or v?
v
Let k be 44/(-55) + (-292)/(-240). Which is greater: -1 or k?
k
Let r(s) = 9*s**2 + s - 1. Let d = -5 - -7. Let t be r(d). Suppose -t = -7*o + 131. Is o less than or equal to 24?
True
Let y = 233 - 233. Suppose -2*x = 4*s + 20, -2*x - 5*s - 8 - 15 = 0. Is x greater than y?
False
Let v = -456 - -267. Which is smaller: v or -186?
v
Let u(o) = 2*o - 4. Let l be u(4). Suppose j - 30 = 6*j - 5*v, 0 = -4*j - l*v - 56. Let s = 9 + j. Which is bigger: -1/16 or s?
-1/16
Let y be 1496/792 + (-3 - -1). Which is greater: y or 0.1?
0.1
Let g = 1038/187 + -63/11. Which is bigger: g or 2?
2
Let z be 1 + 2*1/(-2). Let c be (4 - (-22)/(-6))/(2/6). Let q be c - -2*4/(-12). Which is smaller: z or q?
z
Let s(r) = r**3 + 8*r**2 + 6*r - 4. Let j be s(-7). Suppose j*h + 2*h - i = 31, -3*h - 2*i + 29 = 0. Let n = -92 - -97. Is h less than n?
False
Let n(j) = 5*j**2 - 27*j - 65. Let c(t) = 3*t**2 - 18*t - 43. Let v(l) = 8*c(l) - 5*n(l). Let i be v(-4). Let h be (0 - 0) + 1/2. Is i not equal to h?
True
Suppose -3*a + 3*m + 37 = -2*m, 4*a - 41 = 5*m. Let f be -8 + a + (0 - -3). Is f at most as big as 29?
True
Suppose -4*n - 61 = 47. Suppose w = 4*d - 8 - 1, 3*w + 3*d + 102 = 0. Let i = n - w. Which is smaller: 3 or i?
i
Let t = 52.021 + -0.021. Let d = t + -90. Which is smaller: d or 0.1?
d
Let k = -0.04 - -0.22. Let n = -193 - -22. Let f = n - -172. Which is greater: k or f?
f
Let q = -119 + 90. Which is smaller: -32 or q?
-32
Suppose 2*q + 5 = -3*q. Is -2/305 at most q?
False
Let g = 10.893 - -57.477. Let c = 68 - g. Let u = c + 0.17. Is u less than -1?
False
Suppose 4*v = 11 + 29. Is v at most as big as -1/3?
False
Suppose 2 = -2*j + 4. Do 3/124 and j have different values?
True
Let j = 83.4 + -85. Let x = 2.6 - 3. Let f = j + x. Which is smaller: 5 or f?
f
Let t(l) = -l**3 - 4*l**2 + l + 5. Let a be t(-4). Let c be (-8 + 3)*a*(-2)/10. Which is smaller: -2/35 or c?
-2/35
Suppose -2*o = -6*o + 12. Let n be -3 - o/(-1) - -3. Let u be 1/n + (-2)/(-12). Is u smaller than 1?
True
Let w(q) = -q**2 + 8*q - 5. Let n be w(8). Let z be (-11)/(-44) + 7/4. Suppose 3*j = z*j - 4. Do j and n have different values?
True
Let v = 1708/11 - 13634/99. Is v <= 17?
False
Suppose 2*b + 3671 = -2*b - 3*f, -2754 = 3*b + 3*f. Is -916 != b?
True
Suppose 7*k + 40 = -k. Let t be (-24)/14*(-45)/(-18). Is t <= k?
False
Let h(f) = f - 4. Suppose 0 = -3*u - 2*l + 24, -3*u + 3 = -8*l + 3*l. Suppose 5*o = 19 + u. Let a be h(o). Is 1/3 at least a?
False
Let g = 0.132 - -10.668. Let t = g + -10. Let o = t + -0.7. Does o = -1?
False
Let r = -1923 - -21071/11. Is r not equal to -6?
True
Let w = 4.6 + -37.6. Let g = 154 - 99. Let h = w + g. Is 1 greater than h?
False
Suppose -2*m = -4*s + m + 17, 15 = -5*m. Let x be (s - 2) + (-3 - 2). Suppose -13 + 10 = 2*t + 3*w, 4*t - 2*w = -14. Which is smaller: x or t?
x
Let b(l) = -l**3 - 3*l**2 - l - 2. Let n be b(-3). Which is smaller: -71 or n?
-71
Let t = -368/9 - -2209/54. Let q = t - 16/135. Which is greater: q or -1?
q
Let p = 830 - 709. Is p > 119?
True
Let v = 16/17 - 4/221. Let f be (-2)/(-7) + (-444)/(-259). Is f smaller than v?
False
Suppose -10*q + 11*q = 7. Suppose -305 = -q*p + 2*p. Which is smaller: 62 or p?
p
Suppose 3*n - 3*i = 15, 54*i - 2 = -4*n + 52*i. Which is smaller: -17 or n?
-17
Let p be (0*4/(-36))/2. Let w be 1 + 1 - 12/15. Is p less than w?
True
Suppose 0 = -5*r - 3*q -