ple of 15?
False
Suppose -2*p + 3*m = -36762, -6*m + 9*m + 73524 = 4*p. Is p a multiple of 60?
False
Let i(l) = -l**2 + 214*l - 205. Is i(44) a multiple of 42?
False
Let z = 412 - 412. Suppose z = -11*u - 10*u + 30219. Is u a multiple of 85?
False
Let h = 9576 - 6114. Is 29 a factor of h?
False
Suppose -5*o = -2*c + 2248 - 19416, -o = -3*c - 3444. Is 13 a factor of o?
True
Suppose 77*d - 262*d + 184500 = 115*d. Is d a multiple of 18?
False
Let t be (-116)/(-8) + 1/2. Suppose u - t = 4*p, -9 + 3 = -3*u - p. Suppose -u*l + 0*l - f + 80 = 0, -l + 5*f = -32. Is l a multiple of 9?
True
Suppose -27*w + 3 = -26*w. Let u(h) = -8*h**3 - h**2 - 2*h - 1. Let a be u(-1). Suppose -w*x + a*x = 205. Is x a multiple of 31?
False
Suppose 6*v + 36640 = 14*v + 12*v. Is 81 a factor of v?
False
Let o = -223 - -228. Suppose 0*u - 25 = o*u, -h = -5*u - 377. Is 32 a factor of h?
True
Does 9 divide 236/(-16)*(-25 + -11)?
True
Is 406 - -10 - (11 - -2) a multiple of 13?
True
Let g(v) = 3*v**3 - 13*v**2 - 9*v + 14. Let c(w) = -w**2 + w + 2. Let p(m) = c(m) - g(m). Is 63 a factor of p(-6)?
True
Let p = 791 + 10819. Does 17 divide p?
False
Let x(a) = -3*a - 22. Let i be x(9). Let o = 55 + i. Suppose l - 41 = o. Is l a multiple of 26?
False
Suppose 2*u + 2*l + l = 98, -44 = -u + l. Let i = u + -40. Is i a multiple of 2?
True
Let k = 6252 - 265. Is k a multiple of 60?
False
Is 11 a factor of 4/16 + 46759*3/12?
False
Let t(i) be the second derivative of i**4/12 + 4*i**3/3 + 5*i**2 - 7*i. Let u be t(-7). Suppose -140 = -2*n + u*j + 8, -5*j = 0. Is 37 a factor of n?
True
Let j = -389 - -383. Does 82 divide j/24 - 2625/(-4)?
True
Suppose -r - 5*f = -43, 80 = 2*r + 2*f + 2*f. Suppose -34*j + r*j - 16 = 0. Suppose 0 = u - j*x - 139, 0*u = 3*u - x - 439. Does 21 divide u?
True
Let g be 47*11*13/(-52)*-4. Let t = g + -463. Does 18 divide t?
True
Let c(d) be the third derivative of 7*d**4/6 - 241*d**3/6 + 161*d**2. Is c(24) a multiple of 23?
False
Suppose 5*m - 8*a - 110 = -3*a, 61 = 3*m - 2*a. Suppose -t + 19 = 5*j, 3*j - t - m = 4*t. Is 10 a factor of 358/6 + -4*j/(-48)?
True
Let r(q) = 6*q**2 + 7*q - 6. Let z(b) = 7*b**2 + 8*b - 5. Let k(j) = -6*r(j) + 5*z(j). Let y be k(-7). Does 34 divide -9*8*y/32?
False
Let t(m) = -m**2 + 21*m + 364. Suppose 0*z + 3 = -u + z, z = 5*u + 3. Is t(u) a multiple of 26?
True
Suppose 307 = x + 4*x + 3*h, 4*x + 2*h = 246. Suppose q + q - x = 0. Is 2 a factor of q?
False
Suppose -3*l = 5*v - 7, -30 = -4*l + 2*l + 3*v. Let h be 15*(15/l)/5. Suppose -40 = -c - 3*q, h*c - 2*q + 0*q = 132. Is 2 a factor of c?
True
Suppose 148*b = 145*b - 297. Does 7 divide (1 + 1/3)*b/(-2)?
False
Suppose 21402 = 2*b - 3*g, 8309 + 2407 = b - 4*g. Does 108 divide b?
True
Suppose 5893 = 2*d - 21*q + 22*q, -5*q = d - 2942. Does 54 divide d?
False
Suppose 9*y - 4*y = 65. Suppose y*k = 11*k + 280. Is 5 a factor of k?
True
Let n(i) = 718*i - 7549. Does 10 divide n(73)?
False
Let p(l) = -2*l**3 - 28*l**2 - 85*l - 1484. Is p(-17) a multiple of 2?
False
Suppose 2*v + 9 = 3*i + 4, 5*v = 5*i - 5. Let l(s) = 34*s**2 - 10*s - 4. Is l(i) a multiple of 10?
False
Let c be (4 + -8)*-1 - (2 - 1). Let d(l) = -c*l - 4*l + 4*l + 2. Is d(-5) a multiple of 5?
False
Let y(d) = -253 + 557 - 25*d + 656 - 5*d. Does 15 divide y(0)?
True
Let u be 13/(52/8) + 2. Is 16 a factor of (3 - 1)/(u/76)?
False
Suppose 237*z - 257*z + 60480 = 0. Is z a multiple of 21?
True
Let d(y) = 9*y - 35. Let r(u) = -9*u + 34. Let j(h) = -5*d(h) - 4*r(h). Does 4 divide j(-7)?
False
Let o(i) = i**2 - 3*i + 11. Let z be o(0). Let p = z - -142. Is p a multiple of 43?
False
Let a be -1 - -3 - 1*-1. Suppose a*j - 8 = 16. Is -45*(-3 + j/12) a multiple of 40?
False
Suppose 22828 = 4*a + 5436. Is a a multiple of 113?
False
Suppose 0 = p - 1 - 1. Suppose -p*t + 8*t = 102. Suppose -23 - t = -w. Does 7 divide w?
False
Suppose 9*m - 2466 = 2412. Let w = 1101 - m. Is w a multiple of 49?
False
Suppose -94*z = -7*z - 619440. Does 18 divide z?
False
Let u(a) = -5*a**3 + 4*a**2 - 6*a + 39. Let d(v) = 9*v**3 - 9*v**2 + 14*v - 79. Let x(q) = 3*d(q) + 5*u(q). Is x(6) a multiple of 10?
True
Let c(g) = 75*g**2 - 27*g - 123. Is c(-4) a multiple of 7?
False
Let a(q) = -q + 19. Let d be a(-12). Let c(z) = -z**3 - 6*z**2 - z - 2. Let o be c(-6). Suppose -o*j + 205 = -d. Does 9 divide j?
False
Suppose -41*y + 918720 = 46*y. Is y a multiple of 8?
True
Suppose -2*n + 8130 = -4*w, 0 = 55*n - 60*n - 3*w + 20260. Is 67 a factor of n?
False
Let a(r) be the second derivative of 13*r**3/6 - r**2/2 + 2*r. Let f(t) = -12*t - 11. Let k be f(-1). Does 12 divide a(k)?
True
Let y = -7 + 17. Suppose -y = -m - m. Suppose -4*p = -0*s + s - 115, 4*s + m*p - 460 = 0. Does 43 divide s?
False
Let c = -5 - -7. Suppose -2*f - 3*w = -15, w + c*w = -3*f + 15. Is 7 a factor of 192/4 - (0 + f + -1)?
True
Let g be 2499/(-51) + (1 - -2). Let i(q) = 45*q**3 - q**2 + q - 1. Let w be i(1). Let y = w - g. Is y a multiple of 10?
True
Let w = 106 + -108. Is (w + 181 - (-12)/3) + 3 a multiple of 7?
False
Let s be (6*(-237)/7)/((-6)/42). Suppose -584 = -2*a + 5*p, 2*p = -5*a + 5*p + s. Does 47 divide a?
True
Suppose -122*i + 117*i + 35 = -5*h, 5*i + h - 41 = 0. Let a(t) = -t**2 - 6*t - 3. Let k be a(-6). Does 32 divide i/20*(-10)/k*24?
True
Suppose 3*v - 8*o - 13362 = -9*o, 3*v - 13362 = -2*o. Is 17 a factor of v?
True
Let v(g) = -g**3 - 5*g**2 + 24*g + 6. Let o be v(-8). Suppose o*w - 2 - 154 = 0. Let m(a) = a**3 - 24*a**2 - 44*a + 7. Does 29 divide m(w)?
False
Is 6546227/708 - (-3 - (-111)/36) a multiple of 46?
True
Let a = -77 - 69. Let d = -268 - a. Does 31 divide 0 - -2 - 0 - d?
True
Let l(v) = -5*v + 27. Let p be l(5). Let y be ((-12)/15)/(p/(-5)). Suppose 0 = -y*b + 3*g + 150, -2*b + 4*g - 47 + 201 = 0. Is 16 a factor of b?
False
Let a = -276 - -1362. Does 18 divide a?
False
Suppose 116333 = 8*g - 258283. Is 18 a factor of 3 + g/45 + (-2)/(-5)?
True
Let j be (1 - -1)/(16/40). Suppose -j*s = 15 + 10. Let y(k) = -8*k + 10. Does 13 divide y(s)?
False
Let d be 4*(-1)/6*(7 + -16). Does 2 divide (4 - (-1 + d))*-142?
True
Suppose 22*w - 12252 - 4006 = 0. Does 13 divide w?
False
Suppose 3*h - 5*o - 581 = 155, 0 = h - 3*o - 244. Let r = -67 + h. Is 9 a factor of r/48*80/6?
False
Let z(u) be the first derivative of u**3/3 - u**2/2 + 36*u + 6. Is z(18) a multiple of 34?
False
Let g = -30 - -26. Let u be 18/15*10/g. Let a(n) = -9*n + 1. Is a(u) a multiple of 23?
False
Does 18 divide 1266 + -2 + -2 + 15?
False
Let c(h) = -h**3 + 15*h**2 - 7*h + 28. Let s be c(14). Suppose -4*q + s + 34 = 0. Suppose 511 = 47*l - q*l. Is 5 a factor of l?
False
Let j(h) = -98*h + 47*h - 7 + 52*h. Let n be j(12). Suppose 2*p + n*p = 350. Is 17 a factor of p?
False
Suppose n + 67 - 289 = 0. Let o = n + 91. Let b = o - 214. Is 21 a factor of b?
False
Suppose -3*u + 608 - 266 = 0. Suppose 4*v + 2*i - u = 112, 3*v = 5*i + 137. Is v a multiple of 18?
True
Suppose -875*v + 13580 = -865*v. Is 5 a factor of v?
False
Let u(z) = 2*z**2 + 14*z + 3. Let i be u(-6). Is i/((-27)/6)*(-10)/(-4) a multiple of 4?
False
Let t be -24 - -1 - -8*(-5)/(-10). Let u(s) = 3*s**2 + 41*s + 25. Is 7 a factor of u(t)?
True
Let v = -4 - -2. Let i(p) = -29*p - 99. Let x(m) = -9*m - 35. Let d(b) = 6*i(b) - 17*x(b). Is d(v) a multiple of 4?
False
Let x(s) = 78*s + 18. Suppose -216*a + 222*a - 6 = 0. Is 6 a factor of x(a)?
True
Suppose -6*x + x = 25. Let f(u) = -u**2 - 12*u - 36. Let k be f(x). Does 10 divide (42/(2*k))/(33/(-110))?
True
Let k = 297 - 298. Is (-2375)/(-3) - k - 8/(-24) a multiple of 13?
True
Suppose -6*z - 47 = -77. Suppose z*u - u - 2720 = 5*q, -4*u - 3*q = -2688. Is u a multiple of 15?
True
Suppose c + 19 = -c - 3*a, 0 = 2*c + a + 9. Let w(s) be the first derivative of 4*s**3 + 2*s**2 - 221. Is 20 a factor of w(c)?
True
Let l(g) = g + 10. Let v be l(-3). Let p = -4 + v. Suppose -p*d + 5*o + 332 = 0, 340 = 3*d + 2*o - 3*o. Is d a multiple of 19?
True
Suppose 0 = -5*s + 3*l + 89, -4*s - 2*l + 86 = 3*l. Let n = s + -15. Suppose -5*c + n*o = -44, 3*c - 3*o + 1 = 25. Does 2 divide c?
True
Let j(k) = 12139*k**2 + 131*k - 260. Is j(2) a multiple of 251?
False
Let z(p) = -11*p + 82. Let q be z(6). Suppose -20*k + q*k + 620 = 0. Does 57 divide k?
False
Let m(k) = 3*k - 1. Let n(y) = -y. Let x(b) = -m(b) - 4*n(b). Let d(r) = r**2 - 5*