es 4 divide c?
False
Let q(p) = p**3 - 13*p**2 + p - 7. Let u be q(13). Does 2 divide (u/(8 + -2))/(2/4)?
True
Suppose 0*n + 2*n = 708. Let h = n + -228. Is h a multiple of 21?
True
Let j(n) = n**3 + 13*n**2 + 11*n + 9. Let a be j(-12). Suppose 0 = -5*l + 4*l + a. Is l a multiple of 7?
True
Let u(x) = -x**2 - 10*x + 18. Let g(f) = -f**2 - 9*f + 17. Let n(b) = 4*g(b) - 3*u(b). Is 4 a factor of n(-6)?
False
Let d = 362 + 168. Is 5 a factor of d?
True
Let o(b) = -b**3 - 15*b**2 - 56*b + 11. Is o(-15) a multiple of 23?
True
Is 102/(-4)*(-20)/15 a multiple of 6?
False
Let h(z) = -z - 14. Let i be h(-17). Let l(r) = 7*r**2 + 2*r. Let x be l(-6). Suppose 6*g - 3*g - x = -i*q, -5*q = -5*g - 370. Is 16 a factor of q?
False
Let b = 304 - 256. Does 4 divide b?
True
Suppose -8*t + 75240 = 68*t. Does 66 divide t?
True
Let q = 245 - 370. Let j = q - -219. Is j a multiple of 12?
False
Suppose 0*r + 5*r + 805 = 0. Suppose 2*g + 2*o - 548 = 0, 2*o = g - 0*o - 259. Let d = r + g. Is 25 a factor of d?
False
Let v = -1752 + 3318. Does 27 divide v?
True
Let d(g) = -2*g + 8. Let z be d(-11). Suppose 0*h = -5*o + 4*h + 50, -4*h - z = -3*o. Suppose -b = -3*v + 52, 2 - o = -4*b. Does 18 divide v?
True
Suppose 8*q + 3*v = 9*q - 1261, 2*q = -4*v + 2562. Is 67 a factor of q?
True
Suppose -18*q + 40704 = 6*q. Is 58 a factor of q?
False
Suppose 3 = -q, 4*q + 3 = 4*i - q. Does 4 divide ((-10)/4)/(i/18*3)?
False
Suppose -5*g + 14 = 24, -3*a + 5*g = -49. Is a even?
False
Let f(d) = -9*d**2 - d - 2. Let t be f(-1). Let u be (-4)/t + (-28)/(-5). Suppose -h = u*h - 42. Does 3 divide h?
True
Suppose 6*g + 113 - 1241 = 0. Suppose w - 7 = -5*p + 17, g = 4*w - 3*p. Does 13 divide w?
False
Suppose 0 = -8*x - 0*x + 16. Suppose 0 = -x*b + 40 - 2. Is b a multiple of 3?
False
Suppose 5*q + 20 = 10*q. Suppose -q*p + 8*p = 288. Does 9 divide p?
True
Let w(n) be the first derivative of 5*n**3/3 - 8*n**2 - 8*n + 8. Let j(d) = 9*d**2 - 33*d - 17. Let h(r) = 6*j(r) - 11*w(r). Does 8 divide h(-17)?
False
Suppose w + 0*w = 0. Suppose 5*y = 3*x + 19, w*y + 2*x = -3*y + 19. Suppose -y*n - 72 = -192. Does 6 divide n?
True
Let h(l) = l**2 - 47*l + 503. Is 23 a factor of h(47)?
False
Suppose -46 = -6*q + 62. Let p = 18 + q. Is 18 a factor of p?
True
Let c(d) = -d**3 - 6*d**2 - 5*d + 2. Let y be c(-5). Let r = y + 2. Is r a multiple of 2?
True
Let h(f) = f**3 - 6*f**2 + 5*f + 3. Let b be h(5). Suppose x = b*i - 2, x - 2*x - 32 = 3*i. Let o = 53 - x. Is o a multiple of 12?
False
Let v(c) = 3*c - 28. Let u be v(11). Suppose 0 = 4*y - 163 - u. Does 2 divide y?
True
Let s = 2 - 2. Suppose s*x = 3*x - 9. Suppose x*h = 4*h - 18. Does 18 divide h?
True
Let p = 25 + -23. Is 3 a factor of (((-28)/(-5))/1)/(p/5)?
False
Suppose -p - 5*l = -24, 2*p + 3*l = -2*l + 23. Let t(q) = 255*q**2 - 2*q - 2. Does 46 divide t(p)?
False
Let s be 10/2*-2*15/10. Is (160/s - 1)*-3 a multiple of 17?
False
Suppose 302 = 4*v - 554. Suppose -d + 67 = -0*d - 5*g, 4*d - 2*g = v. Is d a multiple of 21?
False
Suppose 0 = -5*i + 2*n + 2210, -5*n + 6*n - 2195 = -5*i. Is 26 a factor of i?
False
Does 20 divide (330/11)/(5/(-2) - -3)?
True
Is (-4675)/(-20) + 4/16 a multiple of 13?
True
Suppose 2*y + 4*p = -p + 420, -5*y - 4*p = -1050. Is y a multiple of 30?
True
Suppose -c + 3216 = -4*o, -2*c = -6*o + 3*o - 6422. Does 93 divide c?
False
Let r(i) = -i**3 + i + 46. Suppose 5 = 4*d + 5*w - 9, -2*w + 5 = d. Let z(b) = b**3 - 2*b**2 + 2*b - 1. Let p be z(d). Does 14 divide r(p)?
False
Let a = -26 - -21. Is 8 a factor of 785/20 + a + (-2)/8?
False
Suppose 2095 = 2*y + 4*f - 625, -2*y = 3*f - 2722. Is 62 a factor of y?
True
Let n = -329 - -96. Let o = 329 + n. Is o a multiple of 31?
False
Let x be (20/(-3))/2*(-216)/40. Does 11 divide (x*(-2)/14)/(12/(-56))?
False
Suppose -5*g = 4*h + 1913, 5*g + 0*h + h = -1907. Is 17 a factor of ((g/2)/(-3))/((-4)/(-8))?
False
Is 77 + (540/(-84) - 12/21) a multiple of 35?
True
Let n = -2 + 77. Suppose y - n = -4*y. Is 15 a factor of y?
True
Suppose 0 = 8*k - 13*k + 15. Suppose -k*v + 0 + 54 = 0. Does 4 divide v?
False
Suppose -10 = 7*j - 2*j + 5*g, -4*g - 35 = -5*j. Suppose -3*p = j*t - 102, 0*t - 2*p + 104 = 3*t. Is t a multiple of 9?
True
Let w = -31 - -1. Is 6 a factor of 2/12 + (-895)/w?
True
Let r = 312 + 147. Suppose -r = -10*b + 861. Is b a multiple of 12?
True
Is 526 + -3*(-80)/(-30) a multiple of 14?
True
Let a(y) = -y + 74. Is a(35) even?
False
Let n(p) = -3*p**2 + 5. Let y(c) = 3*c**2 - 5 + 3*c**2 - 2*c**2. Let a(b) = -3*n(b) - 2*y(b). Is 10 a factor of a(5)?
True
Let m(o) = 2*o**2 - 4*o + 4. Let z be m(-4). Suppose z = -30*u + 29*u. Let a = -14 - u. Is a a multiple of 38?
True
Let z be 0/(-2) - (42 + -1). Let x = z - -23. Does 22 divide (-968)/x + (-14)/(-63)?
False
Let j = -1311 + 2186. Is 55 a factor of j?
False
Suppose 0 = 5*w + 3*z - 20, -5*z + 0*z - 8 = -2*w. Suppose 412 = -0*l + 2*l + w*s, 3*s + 663 = 3*l. Is 27 a factor of l?
True
Let b = 39 - 14. Let l = 53 - b. Is l a multiple of 6?
False
Let l be 4/((-16)/(-116)) - 1. Let r be (21/l)/((-6)/(-16)). Suppose 0 = i - r*j - 45, 0*i + 4*j + 196 = 4*i. Is 25 a factor of i?
False
Let h(b) = 10 + 17*b - 3*b**2 - 22 + 2*b**2. Let o be h(12). Suppose -4*u + o + 0 = 2*d, -u - 3 = 0. Is 15 a factor of d?
True
Suppose -10*z + 14*z - 8 = 0. Suppose -7*b + z*b + 507 = 4*c, 527 = 4*c + b. Is c a multiple of 19?
True
Let r = 16 + -10. Suppose 5*a - 11*m = -r*m + 855, 5*a - m - 839 = 0. Is a a multiple of 17?
False
Suppose -3*x + 3*g + 377 = 8*g, -3*x = 3*g - 387. Let u be 5/(-30) - x/(-12). Suppose 0 = b + c - 18, 2*c - 26 = -b - u. Does 6 divide b?
False
Suppose 3*h - 2702 = -8*b + 152, -3*b + 3813 = 4*h. Does 12 divide h?
False
Let r be (-1422)/72 + (-9)/4 + 2. Let t = 135 - 95. Let u = r + t. Is 17 a factor of u?
False
Suppose 5*p + 3 - 28 = 0. Suppose -4*t + 20 = 0, p*t = -2*o - 41 + 396. Is o a multiple of 20?
False
Let t(h) = h**2 - 8*h + 10. Let b be t(6). Let f be (-1 + b + 3)*1. Suppose f = -6*l + 5*l + 14. Is l a multiple of 5?
False
Let w(a) = -4*a - a + 4*a - 3. Let n be w(-7). Suppose n*t - z + 2*z - 213 = 0, -4*z - 12 = 0. Does 17 divide t?
False
Suppose 3294 = 3*m + x, 4*m - 4392 = -162*x + 161*x. Does 18 divide m?
True
Let u = 137 + -35. Is 51 a factor of u?
True
Suppose -3*x = 4*i - 351, 0*i = -4*i - x + 349. Does 7 divide i?
False
Suppose r - 6 = -5*n, -3*n - 4*r = -6*r - 14. Let s be (-1)/4 - 105/28. Is (-17 + 11)*n/s a multiple of 2?
False
Let o(n) = 5*n + 5. Suppose -11*a + 18 = -15. Does 5 divide o(a)?
True
Suppose -86*l + 942 = -84*l. Is 7 a factor of l?
False
Let f(c) = -151*c + 36. Is 86 a factor of f(-6)?
False
Let y = 5555 + -1811. Is 26 a factor of y?
True
Let z(o) = -o**3 + 3*o**2 + 3. Let n be z(2). Let s = n - -5. Is s a multiple of 12?
True
Suppose 0 = -3*g - 3*q + 12, g - 5*g + 2*q + 4 = 0. Suppose -2*y = -8, -g*p - 4*y - y = -314. Is p a multiple of 21?
True
Let u be (2 - 15/6)*28*5. Let l = -52 - u. Does 5 divide l?
False
Let u = -4 + 34. Let v = u + -25. Suppose -v*f + 22 + 78 = 0. Does 5 divide f?
True
Let f(p) = -p**3 - 16*p**2 + p + 18. Let j be f(-16). Suppose j*d - 7 = 3. Is ((-3)/d)/((-7)/210) a multiple of 6?
True
Let r(d) = 30*d - 220. Is r(27) a multiple of 19?
False
Let a(y) = 36*y**2 - 2*y + 1. Let i(b) = 7*b - 13. Let k be i(2). Is a(k) a multiple of 10?
False
Let k be -1 + 0/2 - (-1 + -6). Does 25 divide ((-50)/6)/((-637)/105 + k)?
True
Let s(f) = 4*f**2 + f - 2. Let u(b) = b - 1. Let d(t) = s(t) - 2*u(t). Suppose 2*g - 1 = -a, -a - 2 = -5*g - 4*a. Is 3 a factor of d(g)?
True
Suppose -736 = -4*k + 2*t, 0 = -4*k - 3*t + 4*t + 740. Is 62 a factor of k?
True
Let x(c) = -c + 13. Let s be x(10). Suppose -2*t - s*t = -3*v + 10, 2*v - 4*t - 8 = 0. Suppose v*m = -m + 93. Is m a multiple of 14?
False
Let v(m) = 6*m**2 + m. Let a be v(3). Suppose 110 = 5*t + 3*z - z, 0 = -3*t - 3*z + a. Does 12 divide t?
True
Let c(j) = j**2 + 13*j - 12. Let u be c(-14). Let r(x) = u + 9*x + 0 + 34*x + 63*x. Is r(1) a multiple of 27?
True
Suppose 1856 = 2*p + 4*k, -34*p - k - 3721 = -38*p. Is p a multiple of 5?
True
Is 90 a factor of 0*(-9)/27 + 2661?
False
Suppose 459 = 2*q - 699. Let v = q + -315. Is 44 a factor of v?
True
Is 2/11 + 552616/737 a multiple of 13?
False
Suppose -5*m = 4*h - 2, 7*m - 3*h = 3*m + 14. Let p(a) = a - 1 -