21*4/6. Let v = 164/1105 - l. Which is greater: -1 or v?
v
Let m be (-7)/1 - (-531)/(-27). Which is smaller: m or -27?
-27
Suppose -4*f = 5*o - 28 + 6, 2*f = 4*o - 2. Let j(b) = -17*b**2 + b - 1. Let w be j(o). Let l = w + 339/5. Is 1 < l?
False
Suppose -v = -o + 3*v + 1, -v = 4*o - 89. Suppose 0 = o*u - 14*u + 7. Which is bigger: -6/11 or u?
-6/11
Suppose 2*w = -4*f - 2, 3 - 4 = -2*f + w. Which is smaller: 6/611 or f?
f
Let i = 1973/3 - 681. Are i and -23 equal?
False
Suppose w + 0*w = 0. Let b be 1/((-153)/12)*9. Is b smaller than w?
True
Let i = 0.36 + -51.36. Let l = -55 - i. Which is smaller: -1/4 or l?
l
Suppose -3*x = 18 - 0. Let p be (2 - (-2)/x)*-1. Suppose 12*u = 3*u - 27. Is p greater than or equal to u?
True
Let k = -0.7 + -3.3. Let u = -2 - k. Let o = -10.6 + 11. Which is smaller: o or u?
o
Let u = -14 - -11. Suppose 3*i - 5 = -5*r, 5*i = -2*r + 3 - 1. Let x be -6*1/2 - i. Is x < u?
False
Suppose 0 = 4*v + 11 - 15. Let w be 10/(-15)*(-1 + -11). Let h = w + -9. Which is smaller: h or v?
h
Let c = -27 - -26.95. Let q = c + -0.15. Which is smaller: 1/3 or q?
q
Suppose -4*g + 2*j - 5*j + 90 = 0, -71 = -3*g - 4*j. Let p be (g/6 + -2)*48. Is p greater than or equal to 71?
True
Let s = -3161 - -28414/9. Are -5 and s non-equal?
True
Let g = -17.9 - -16.6. Is g smaller than 0.2?
True
Suppose 7*q = 3*q. Let v be 18/117 + ((-29370)/(-10374) - (-1 - -4)). Which is smaller: q or v?
v
Let x = -138 - -1795/13. Let r(g) be the first derivative of g**2/2 - 11*g - 8. Let z be r(10). Which is greater: z or x?
x
Suppose -4 = -3*p + w, 2*p + 16 = -3*p - 4*w. Let i(j) = j**2 + 8*j + 12. Let v be i(-5). Let q be -4 + -1 - v - -4. Is p at most q?
True
Let b = 11 - 25. Let h be (-6)/(-12)*(-12)/b. Suppose 30 = -5*a - 5*u, 2*a = 3*u + 18 - 5. Which is smaller: a or h?
a
Let u = 24 - 20. Suppose 14 = u*v - 5*k, 4*k + 10 = 2. Which is smaller: v or -2/69?
-2/69
Suppose 9*k - 20 - 115 = 0. Is k at least 1?
True
Let t be 12/(-6)*15/(-2). Let v = 23 - t. Suppose 3*i = 3*a - 12, -3*i - 2*a = -0*a - v. Are i and -6/17 equal?
False
Let p(n) = 8*n - 2. Let s be p(4). Suppose -7*x = -4*x + s. Let o be (-28)/7*(-5)/(-2). Are o and x nonequal?
False
Let j be 5/(-100)*-5 - 47/(-4). Is j bigger than 7?
True
Suppose -35 = -0*p - 5*p. Let h(k) = k**2 - 4*k + 7. Let r be h(p). Which is smaller: r or 29?
r
Let a be 2*((-2233)/14)/11. Are -0.2 and a equal?
False
Let o = -1 + 1. Let f be (-2 - 6/15)/((-3)/10). Suppose -f*k - 4 = -6*k. Is o less than k?
False
Let n = 74 + -72. Let h be (n/(-4)*0)/1. Which is bigger: 1 or h?
1
Suppose -2*p - 9 - 5 = 0. Let a be 5/(5/(-4)) - -18. Suppose -4*d - a = 18. Which is smaller: d or p?
d
Suppose 5*q = -20, -4*n + 12*q = 9*q - 16. Suppose r = 2*p - 5*p + 4, 0 = 5*r + 10. Do n and p have the same value?
False
Let o be 4/((-4)/(-193)) + 2. Let p = o + -131. Suppose -3*s - p = -16. Which is smaller: s or -17?
-17
Let x = -1069/2 + 4353/8. Is x equal to 10?
False
Let f = -8 - -15/2. Let i(v) = -2*v**3 - 12*v**2 + 14*v + 1. Let c be i(-7). Let x be 1*c*(-3 + 1). Which is smaller: x or f?
x
Let u = 57 + -59.01. Let m = 0.01 + u. Which is smaller: m or 44?
m
Let o(t) = -12*t - 41. Let z be o(16). Let u = z - -157. Are -76 and u unequal?
False
Let m(t) be the second derivative of 7*t**3/6 + t**2/2 - 21*t. Let a be m(1). Is 6 greater than or equal to a?
False
Let a be (48/14)/(1/7). Let i be 4/a + 1/(-2). Let j be 9/6*4/6. Which is smaller: j or i?
i
Let r = -68 + 37. Let t = 49 + r. Suppose -4*d + 0*d = -2*k - 20, k = -2*d + t. Which is greater: 19/3 or d?
d
Let z = 1168 - 409. Is 759 at most z?
True
Suppose 0 = u, 0*w + 8 = -w - 4*u. Let s = -8 - -21. Let z = s + w. Which is bigger: 4 or z?
z
Suppose -i + 10*i = k - 29, -2*k = 3*i + 5. Which is bigger: i or 46?
46
Suppose 5*i + 640 = -5*k, 10*i = 12*i - 5*k + 263. Do i and -902/7 have different values?
True
Let a = -1/467 - 1855/6071. Suppose -2*l = 2*u - 4, 0*u + 4*u = 5*l - 19. Is a equal to u?
False
Let i be (1/11)/((-452)/(-44) - (2 - -8)). Let y = 0.65 - -2.45. Is y > i?
True
Let l(a) = -a - 4. Let w be l(-9). Suppose -w*m + 0*m - 2*c = -5, -4*m + 4 = 2*c. Let y(k) = -k**2 - 4*k. Let q be y(-4). Does m = q?
False
Let r(x) = 2*x**2 + 9*x - 9. Let p be r(-6). Suppose -2*q + 3*o + p = 3, 3 = q - 2*o. Is 2 at least q?
False
Suppose -2*q - 4 = -0*q. Let k be 6/(-2) - (-20 - q). Let f be (-20)/k*(-3)/2. Which is bigger: f or 3/4?
f
Let c(g) = 3*g - 2*g**2 + 9 + 6*g**2 + 5*g**3 - g**3 - 3*g**3. Suppose -o + 3*f + 3 = 16, 3*o + 3 = -3*f. Let w be c(o). Which is smaller: -8/3 or w?
w
Let i(z) = -z**2 - 7*z + 2. Let x be i(-5). Let f be (10/(-15))/(8/x). Let t = -85 + 1276/15. Which is greater: f or t?
t
Let n = 519 - 520. Let l = 0.503 + -0.5. Which is greater: l or n?
l
Suppose -121 = -38*v + 259. Which is greater: v or 98/11?
v
Let a = 1 + -3. Let d be 1 + 0 - 600/612. Let g = d + -58/357. Which is greater: g or a?
g
Let d = 175.1 + -175.2. Is d smaller than -241?
False
Let g(o) = -o**2 + 8*o - 6. Let m(j) = 2*j**2 - 16*j + 12. Let w(k) = -11*g(k) - 6*m(k). Let c(p) = -2*p - 7. Let n be c(-7). Let h be w(n). Is h <= 3/8?
False
Let l(n) = 5*n + 39. Let g be l(-8). Suppose -5*c - 38 - 92 = 0. Let t = c - -49/2. Is t at most g?
True
Let k = 31/21770 - -4/311. Which is smaller: k or 0?
0
Suppose -4*u - 2*x = -312, 3*u - 3*x + 7*x = 239. Is u greater than 74?
True
Let v = -75 - -981/13. Suppose -4*y - 2*m + 114 = 0, y - 159 = -4*y + 3*m. Suppose -y = 5*z - 5*x, -15 = -5*z - x - 3*x. Is v at most as big as z?
False
Let n be (0 - 2/(-8)) + (-78)/(-8). Let x be (30/75)/(452/n). Are -1 and x unequal?
True
Let c(u) = -u**3 - 7*u**2 + 7*u - 6. Let y be c(-8). Let v be 35*((-52)/(-20) - y). Let z = v + -22. Which is bigger: z or -3?
z
Let w = 210.9 - 211. Is w at least 2/19?
False
Let m(r) = -3 - 39*r + 2 - 13*r + 0. Let w be m(-3). Let s = w - 458/3. Is s at most 1?
False
Suppose -c + 2*c = -10. Let a = c + 11. Which is smaller: a or 9/8?
a
Let f(s) = -6*s - 14 + 5*s**2 + 14*s - 4*s**2 - 2. Let n be f(5). Which is greater: 50 or n?
50
Let y = -398 - -448. Is y less than or equal to 52?
True
Let p = 2.98 + 2.21. Which is smaller: -0.1 or p?
-0.1
Let c = -3263 + 3264. Let i = -743/3598 - 2/257. Which is smaller: i or c?
i
Let p = 13 + -3. Suppose p + 11 = 3*w. Let o be (-14)/(-5) + w/35. Which is greater: 1/4 or o?
o
Let l(v) = -v**3 + 11*v**2 + 19*v - 128. Let i be l(11). Is i not equal to 81?
False
Let f = 173 + -186. Is f bigger than -15?
True
Let g be 2/(-4)*(11 + 7). Let q be 276/(-28) + (-1)/7. Is g < q?
False
Let f be (1 + -16)*2/3. Suppose 3*k + 32 = -i, i = 2*k + 48 - 20. Which is bigger: k or f?
f
Let p(u) = 2*u**2 - 4*u + 2. Suppose -74 + 22 = -13*v. Let b be p(v). Which is bigger: 16 or b?
b
Let w = -8 - -7. Let d = -0.69 - -3.79. Let j = d - 1.1. Is w at least as big as j?
False
Let t = -1/126 + 131/630. Is t less than or equal to -1?
False
Let f = -14 - -7. Let t = -3421 - -3419. Which is bigger: f or t?
t
Let h = -19.1 - -2.1. Let f = -0.1 - 0.9. Which is smaller: f or h?
h
Suppose -n + 24 - 33 = 0. Which is bigger: n or -68/7?
n
Let v = -1 - -17/15. Suppose 2 = -y, 3*c + 2*y + 0*y = -7. Which is smaller: v or c?
c
Let c = -66 + 66. Is c less than -14/39?
False
Let w = -2657 - -18579/7. Let i be ((-4)/(-2))/(0 - 1). Which is smaller: w or i?
w
Let r(y) = 11*y + 243. Let u be r(-22). Is u at most -1?
False
Let x = -41 - -3. Let j = 38 + x. Is j >= 2/33?
False
Let w be ((-1)/(-3))/((-7)/(-126)). Suppose 1 = -4*j + 2*p + 5, 4*j - w = p. Let q be 8 + -6 + j/3. Which is greater: 3 or q?
3
Let x = -0.035 + 1.235. Let l = 17 - 15.6. Let c = x - l. Is -3 >= c?
False
Let o = -2/11 - -36/77. Let l = -0.26 + 14.16. Let p = l - 2.9. Is p > o?
True
Let r be 52/(-286) - (1 + 48/(-22)). Which is smaller: -2 or r?
-2
Let x be (-37 - -39)*(-1)/(-2). Which is bigger: x or -45?
x
Let o(n) = -4*n**2 - 5*n + 68. Let b be o(-7). Which is bigger: -92 or b?
-92
Let d(p) = p**2 + 6*p. Let g be d(-4). Suppose 0*k + k + 19 = -2*x, 2*x = -2*k - 20. Let m = g - x. Is m at most as big as 5?
True
Let u = -4 + -4. Let b = -10 - u. Let v be (b + 2 - -1)*-1. Is v at most 0.7?
True
Let h(a) = -9*a**2 + 19*a + 273. Let n be h(-11). Is n < -1025?
False
Let o be (2 - 1/2)*-2. Let g(h) = h**3 + 3*h**2 + 4. Let u be g(o). Let a 