ive of o**3/6 - 17*o**2/2 + o. Let w be h(13). Is (-43)/(-4) - 1/w a multiple of 5?
False
Let n(r) = r + 29. Let l be n(-22). Suppose l*p = 80 + 32. Is p a multiple of 4?
True
Suppose p = -2*n + 3*n + 143, 2*p + 2*n - 302 = 0. Suppose y + p = 4*y. Suppose -2*l + 0*l + y = 3*r, -5*l = -r - 148. Is l a multiple of 24?
False
Let m = 196 + 317. Is 19 a factor of m?
True
Let t(y) = -7*y - 208. Is t(-40) a multiple of 17?
False
Let w = -202 - -397. Is 5 a factor of w?
True
Suppose f - r - 1 = 0, 2*f + 2*r - 5 = r. Is 10 a factor of f*2 + -6 + 32?
True
Let u(p) = 5*p - 7. Let y = 19 - 16. Let w be u(y). Suppose w*o - 3*o - 120 = 0. Is o a multiple of 8?
True
Let c(s) = -28*s**3 + 5*s**2 - s - 7. Is c(-3) a multiple of 32?
False
Let j(m) = -3*m - 7. Let y be j(-3). Is 18/y + (48/6 - 6) a multiple of 2?
False
Let j be ((-175)/(-140))/(2/8). Suppose 0 = 4*d + j*w - 213, -124 = -4*d - 4*w + 92. Is 26 a factor of d?
False
Let j(l) = 2*l**3 + 10*l**2 + 7*l - 6. Let p(x) = 5*x**3 - 2*x**2 - 2*x - 1. Let h be p(-1). Let n be j(h). Let d = n + 208. Is d a multiple of 25?
False
Let t(m) = 7*m + 1. Let p(d) = 1. Let o = 2 - 4. Let n(y) = o*p(y) + t(y). Is 4 a factor of n(2)?
False
Suppose -3*u - h + 1799 = 0, 3*u - 5*h + 1795 = 6*u. Does 8 divide u?
True
Let w be ((-40)/5)/(-2) - 2. Suppose -3*s = -w*s + 4, 5*k = s + 479. Is 19 a factor of k?
True
Suppose -2*f = -46 - 8. Let o = 29 + f. Is o a multiple of 28?
True
Let o = 2929 + -2849. Does 8 divide o?
True
Suppose 15*i + 1625 = 7280. Is 40 a factor of i?
False
Let t = -613 - -1042. Is t a multiple of 13?
True
Let l(m) = -5 + 6 - 2*m - 3. Let r be l(-2). Let y(p) = 2*p**3 + 3*p**2 - 2*p - 2. Is y(r) a multiple of 19?
False
Let b(h) be the first derivative of -h**4/4 - 5*h**3/3 + h**2/2 - 4*h - 1. Is b(-6) a multiple of 5?
False
Let i(l) = -5*l**3 - l**2 + 1. Let u be i(-2). Suppose -5 = t - 6*t + 5*v, -23 = -2*t - 5*v. Suppose 3*g = -4*o + t*g + u, g = 3. Is 10 a factor of o?
True
Suppose 4*q - 3*b - 2589 = 0, 0 = -q + 2*b + 388 + 258. Does 54 divide q?
True
Is 17 a factor of (((-10)/(-6))/(-5))/(20/(-25440))?
False
Let c = 28 + -16. Let r(x) = -8*x + x**2 - 12*x - c + 13*x. Is 9 a factor of r(10)?
True
Let x = -113 - -115. Suppose 0 = x*n + 5*j - 144, -j - 72 = -n - 0. Is n a multiple of 14?
False
Let d(o) = -o**3 + 7*o**2 - 8*o - 3. Let v be d(5). Let l(i) = -i**3 + 8*i**2 - i + 10. Is 11 a factor of l(v)?
False
Let a = 1807 + -781. Does 17 divide a?
False
Let i be 2/8 + 166/8. Let j(a) = -a**3 - 16*a**2 - 2*a - 29. Let m be j(-16). Suppose m*c - 21 = i. Is 7 a factor of c?
True
Let c = 225 - -4. Let t = 342 - c. Is 8 a factor of t?
False
Let a = 59 + -50. Does 4 divide ((-918)/8)/a*-4?
False
Is (1 - 12/(-4))/(4/26) a multiple of 16?
False
Let u(y) = 9*y**2 - 2*y. Let a be u(-1). Suppose 5*p - 6 = 4, -v = 2*p - a. Is 7 a factor of v?
True
Suppose 2*z + 2 = -3*c + c, -c - 4 = 0. Suppose 5*k - 381 = z*o, -3*o - 227 = -3*k - 2*o. Is 15 a factor of k?
True
Suppose -329 = 5*c + 3*j - 97, 0 = 5*c - j + 236. Let p = c + 111. Is 16 a factor of p?
True
Suppose 0 = -2*r + 4 + 2. Suppose r*w - 3*t = -2 + 41, w - 3*t = 21. Suppose 0 = -2*y + w + 67. Does 19 divide y?
True
Let y(j) = j**2 - 7*j - 5*j**2 + 3*j - j**3. Is 8 a factor of y(-4)?
True
Let t(q) = -q**3 - 6*q**2 + 5*q + 4. Let h be t(-6). Does 5 divide 3 + -3 + -1 - h?
True
Let j be -168*(84/16)/(-7). Let a = 34 + j. Does 20 divide a?
True
Let y = -19 - -23. Suppose 5*k + 258 = 3*r + 66, -5*k = y*r - 291. Does 23 divide r?
True
Is (-5398)/(-2) + 65/13 a multiple of 52?
True
Let c(d) = -2*d + 138. Does 30 divide c(9)?
True
Let g(m) = -74*m**3 - 11*m**2 + 3*m - 9. Let j(w) = -37*w**3 - 6*w**2 + 2*w - 5. Let u(z) = 4*g(z) - 7*j(z). Let p be u(-1). Let c = -17 + p. Does 18 divide c?
False
Suppose 2*x + 40 = -8*x. Is (39/(-13))/(2/43)*x a multiple of 16?
False
Is 34 a factor of ((-454)/5)/((-10)/50)?
False
Let v(n) = n**2 - 2. Let q be v(-4). Let g = -7 + q. Is g a multiple of 3?
False
Suppose 2*d = 8*d - 228. Is 6 a factor of d?
False
Let r be 8/(-12) - (-2)/(-6). Let g be -27 + (r - (-4 + 1)). Let k = 51 + g. Does 8 divide k?
False
Let d(o) = -o**3 + 14*o + 6*o**2 + 7 + 6 - 10. Is d(6) a multiple of 6?
False
Let q be (-34)/8*(-6 - -10). Let r(z) = z**3 + 16*z**2 - 17*z + 16. Is r(q) a multiple of 16?
True
Suppose 5*l - 13 = 32. Let f(x) = 1 - 8*x**2 - 1381*x + 5*x**3 + 1375*x - 4*x**3. Is 9 a factor of f(l)?
False
Let r(g) = -8*g**3 - 2*g**2 - 3. Let m be r(-2). Let k = 60 - m. Is 2 a factor of k?
False
Let q = 88 - 404. Let p = -201 - q. Does 23 divide p?
True
Let r be 32/(-12) - 10/(-15). Is 13 a factor of r + 65 - (-8 + 5)?
False
Let x(m) be the first derivative of 4*m**3/3 + m**2 + 7*m - 14. Let r be x(-7). Let z = r - 109. Does 16 divide z?
True
Let u(a) = 611*a + 1. Let b = 0 - -1. Let g be u(b). Suppose 0 = -5*y - 4*y + g. Does 12 divide y?
False
Let t = -2927 + 4169. Is t a multiple of 54?
True
Let t(u) = 8*u + 312. Does 9 divide t(-11)?
False
Let d = 7 + -5. Let x(b) = b**2 - 8*b. Let n be x(9). Suppose -5*q - 159 = -4*t, -d*q = -5*q - n. Is t a multiple of 18?
True
Let p(a) = a**2 + 10*a + 88. Does 76 divide p(-25)?
False
Let r(f) = -4*f**2 - 2*f + 4. Let d be r(3). Let l = d + 69. Is 15 a factor of l?
False
Is (3 + -12)/(15/(-95)) a multiple of 12?
False
Is 14 a factor of (5/(-30) + (-600)/(-9))*2?
False
Suppose 5*c - 10 = -v, -2*v - c - 1 + 3 = 0. Suppose r - 2*r - 3*o + 54 = v, 5*r + o = 242. Is r a multiple of 3?
True
Suppose -10*b + 1062 + 468 = 0. Is 10 a factor of b?
False
Let i = 233 - 113. Let w be 2/(-6) + (-6)/9 + 1. Suppose 96 = 2*x - 4*g, w*g = 2*x + 2*g - i. Is x a multiple of 18?
False
Suppose 8 + 0 = 4*y. Suppose -2*r - 8 = 0, -5*r - 14 = -y*u + 56. Does 9 divide u?
False
Suppose 4*i - 26*v - 14070 = -24*v, 4*v = -4*i + 14064. Does 8 divide i?
False
Suppose -127 = -2*a - 5*n, 0 = -5*a - 3*n + 274 + 15. Is a a multiple of 5?
False
Let f be -74*(18/45)/((-1)/5). Suppose -118 = -2*v + f. Is 28 a factor of v?
False
Let y = 169 + -77. Let u = y - -58. Does 10 divide u?
True
Suppose 88 = 5*i + 28. Let g = 12 - i. Suppose 0 = -5*u - g*u + 355. Does 23 divide u?
False
Suppose -4*z = 1 + 3. Does 2 divide z/(4/72*-2)?
False
Suppose -l = -3*l - 3*n + 49, 0 = -4*l + 4*n + 68. Let j = l - -68. Is 11 a factor of j?
True
Let v = -40 - -40. Suppose -4*y + 5*y - 42 = v. Is 6 a factor of y?
True
Suppose 0 = -5*d + 3*m + 8, 0 = d - 3*m + 8. Suppose 6*f - d*f = -94. Let y = f - -68. Is 21 a factor of y?
True
Let b = 278 - -34. Does 78 divide b?
True
Let v be -1 + 216 - ((-28)/4 - -5). Suppose 0 = -5*x - 15, -p - x = 4*p - v. Is 4 a factor of p?
True
Let j(r) = 125*r - 10. Is 12 a factor of j(2)?
True
Is (5 - (18 - 3))*176/(-10) a multiple of 16?
True
Does 7 divide 58/145 + (17676/20)/3?
False
Let v(j) = 2*j**3 + 5*j**2 - 6*j - 6. Is v(3) a multiple of 3?
True
Suppose -5*c - n - 3*n = -31, -4*c = -4*n + 4. Let r = 3 + 2. Suppose 0 = -c*i - r*z + 15, i + z = 5*i - 43. Does 10 divide i?
True
Let x = -101 + 108. Is 5 a factor of 30/105 - (-278)/x?
True
Is (5/2)/(-11 + (-17563)/(-1596)) a multiple of 57?
True
Let n = 18 - 3. Is (-12)/n - 567/(-15) a multiple of 15?
False
Suppose 3*c = 0, -3*o + 1257 = -4*c + 2*c. Is 22 a factor of o?
False
Let d(t) = t**3 + 6*t**2 - 5*t - 5. Let v = -18 + 12. Is 15 a factor of d(v)?
False
Let r(w) = -w**2 - w - 32. Suppose -3*d = -0*t + 5*t + 20, -d - 4*t - 16 = 0. Let c be r(d). Does 6 divide 95/4 - 8/c?
True
Let m(a) = -a + 5. Let j be m(-5). Let g = 47 + j. Let l = -27 + g. Is l a multiple of 15?
True
Let s(l) = l**3 + 4*l**2 + 3*l + 3. Let b be s(-3). Suppose 5*q + b*z - 159 = 0, 4*q + z - 136 = 3*z. Suppose 31 = 2*a - q. Is 8 a factor of a?
True
Suppose -4*u - 5*n + 3987 = 0, u + n = 68 + 930. Is 9 a factor of u?
False
Suppose 0 = -3*k - 2*a + 2761, 3*k + k - 3682 = -3*a. Is 27 a factor of k?
False
Suppose 38*m = -0*m + 874. Is 6 a factor of m?
False
Suppose 2*v + 5*f - 1888 = f, -4*f = v - 950. Is 61 a factor of v?
False
Is (-37)/4*((-1800)/(-10))/(-3) a multiple of 34?
False
Let h be (-42)/(-8)*-2 - (-4)/8. Does 17 divide 1*226/(-4)*20/h?
False
Suppose 6*p + 6818 = -8*p. Let m = -279 - p. Does 16 divide m?
True
Let a(d) be the third derivative of -59*d**4/24 + d**3/3 - 4*d**2. Let y be a(-2). Suppose 0 = z - 4*z + y. Is