ppose 3*a - 4*c = 193, 4*a - 168 = -c + 83. Is 56 a factor of (7 + (-293)/3)*a/(-6)?
True
Let w = -130 + 124. Is 323/5 - (w + 84/15) a multiple of 3?
False
Suppose -4*s - 2*n = -12, -s + 87*n - 90*n = -8. Suppose 0 = 6*o - s*o + 12, -5*u - o = -2467. Does 26 divide u?
True
Let b = 552 + -146. Suppose 0 = -j - b + 1064. Is 47 a factor of j?
True
Suppose 3*y = h - 4249, -2*y - 27148 = -5*h - 5877. Does 24 divide h?
False
Suppose 3*m - 12565 = 2*z, 5*m - 3*m = -z + 8393. Is m a multiple of 6?
False
Suppose 3*a - 16316 = -16*x + 14*x, 3*x = 5*a - 27168. Does 12 divide a?
True
Suppose 0 = -3*b + 16 - 13. Let k(m) = 9 - 11*m + b - 5. Is k(-11) a multiple of 21?
True
Suppose -b = -7*s + 5*s - 170, b - 171 = 3*s. Suppose b = 57*j - 50*j. Does 6 divide j?
True
Suppose u = 2, -4*m + 2*u + 10 = -3*u. Suppose 69 = m*q - 446. Is 10 a factor of q?
False
Is 3 a factor of -18*(-665)/35*2/4?
True
Suppose -64*l = -332*l + 7985864. Is 246 a factor of l?
False
Is 566018/26 - (-144)/1872 a multiple of 77?
False
Let q(z) = 3*z + 14. Let l be q(-7). Let b be 43 + l/((-28)/12). Suppose -14 = -2*r + 4*j, -2*r = 3*r + j - b. Is r a multiple of 3?
True
Suppose 5*j = h + 11694, 0 = 134*j - 137*j - 3*h + 7038. Does 20 divide j?
True
Is (16/16)/((-16)/(-168912)) a multiple of 18?
False
Suppose 3 = -3*s + 21. Suppose 0 = -4*u + 5*v + 1125, -2*u - 1118 = -s*u - 2*v. Is u a multiple of 10?
True
Suppose 4*d = j - 203, -d = 3*d - 2*j + 206. Let f be -47*(10/d - (-4)/(-5)). Let y = 59 - f. Does 7 divide y?
False
Let z = 9933 + -6413. Does 16 divide z?
True
Let j = 4142 + -2006. Does 12 divide j?
True
Let n(z) be the third derivative of -z**5/60 - z**4/24 + 2*z**3 - 27*z**2. Let v be n(3). Suppose -6*u - 8*u + 420 = v. Is 5 a factor of u?
True
Let p(b) = 44*b + 302. Let x be p(-7). Is 35 a factor of 455 - ((-8)/x - 3/9)?
False
Suppose -20*a + 5566 = 26*a. Let b = 151 + a. Is b a multiple of 19?
False
Let u = 91 - 76. Is 4556/30 + 2/u a multiple of 4?
True
Let h be (18/(-15))/(2/(-90)). Suppose -2*f + 3*f - 3*r + 10 = 0, -h = 4*f - 5*r. Is 6 a factor of f*(-4 - (-21)/12)?
True
Suppose 49000 = -27*x + 97*x. Is x a multiple of 28?
True
Suppose -5*v + 6016 = 11*v. Let o = v + -87. Does 19 divide o?
False
Let c be (1 - -888) + 55/11. Let h = -795 + c. Is 5 a factor of h?
False
Suppose -8*u - 4421 = -17557. Let p = u - 1136. Is p a multiple of 22?
True
Let l be 3/(-9) + 96/18. Suppose 3*y - 632 = y - 4*h, -l*y + 1558 = -h. Suppose 4*x = 200 + y. Does 16 divide x?
True
Suppose -227 = 7*m - 1375. Suppose -m = 10*a - 394. Is a a multiple of 10?
False
Suppose -2*r + 8 = l - r, r - 23 = -4*l. Is (3/4)/((-381)/(-76) - l) a multiple of 19?
True
Let q = 3337 + 1313. Does 20 divide ((-4)/(-5))/(-3 + 13956/q)?
True
Does 9 divide (-386)/((-679)/(-63) + -11)?
True
Suppose -3*v + 3*j + 24 = 0, -3*j - 6 = -2*v + 12. Suppose -5*w + 2*q = -703, -2*w - v*q = -9*q - 290. Is 24 a factor of w?
False
Let q = -4836 - -10656. Is 4 a factor of q?
True
Let v(l) be the first derivative of 23*l**3/3 + 6*l**2 + 10*l + 143. Is v(-1) a multiple of 7?
True
Let g(a) = 535*a + 57. Is 23 a factor of g(20)?
False
Suppose -118*o = -6*o - 8848. Suppose 5*t - 130 - 120 = -5*l, 192 = 4*l + 2*t. Let z = o - l. Does 33 divide z?
True
Suppose 4*f = -2*v + 3225 + 3277, 3*f = -v + 4876. Suppose 13*k - f = 13. Does 7 divide k?
True
Let y = -11395 + 22125. Is y a multiple of 185?
True
Let l(q) = -q**3 + 11*q**2 + 24*q - 7. Let n be l(12). Suppose -3*f + 421 = h + h, f = -4*h + n. Suppose 4*a = -37 + f. Does 5 divide a?
False
Suppose -7*u = -3*u - 36. Suppose 16 = -b + u. Is 37 a factor of (b - -9)*(76 - 2)?
True
Suppose 0 = -2*i - 2*b + 26914, 5*b + 423 - 433 = 0. Does 207 divide i?
True
Let d(h) = h**3 + 12*h**2 + 26*h - 3. Let v be d(-8). Does 8 divide 210/v*12*1?
True
Let o(x) = 8*x**2 + 109 + 16*x - 36 - 30 - 38. Is 17 a factor of o(-7)?
False
Suppose t - 1 = 5*x - 2, 2*t + 2 = -x. Suppose -4*y + 544 = 2*c, x = 2*y - y + 2. Is 39 a factor of c?
False
Let v(q) = q**3 - 23*q**2 - 78*q - 148. Is v(31) a multiple of 36?
False
Let s = -12 + 17. Let b be (-28)/(-35)*s - (1 + -1). Suppose 0 = -4*j + 5*d + 455, -5*j + 0*j + b*d = -580. Is j a multiple of 30?
True
Suppose -38874 = 233*t - 264*t. Does 19 divide t?
True
Let v(i) = 123*i - 13. Let p be v(5). Suppose n - 2*n + 2*l + 204 = 0, p = 3*n - l. Is (12/(-10))/(1 + (-206)/n) a multiple of 35?
False
Let t(z) = z**3 + 43*z**2 - 42*z + 49. Let r(h) = -2*h**2 + h. Let y(n) = 2*r(n) + t(n). Is y(-40) a multiple of 3?
False
Suppose 0 = -23*n + 27*n - 5052. Let y = n + -783. Is 24 a factor of y?
True
Suppose z = v - 5181, 2*z - 1417 = 3*v - 16965. Does 55 divide v?
False
Suppose -304 = 2*m + 2*m. Suppose 0*y + y = f - 20, 0 = 3*f + y - 72. Let h = f - m. Does 8 divide h?
False
Let z be 3 + ((-614361)/18 - 2/(-12)). Is 6/16 + z/(-128) a multiple of 23?
False
Let q = -3639 - -4456. Is 43 a factor of q?
True
Let u(a) = -5*a**2 - 81*a - 14. Let t be u(-16). Suppose -3*q + 1108 = 4*r, -860 = -5*r + t*r + 5*q. Is 4 a factor of r?
True
Suppose -1438 - 662 = -7*f. Suppose -d + 232 + 72 = -2*l, -f = -d + l. Is 58 a factor of d?
False
Let u(a) = -4*a**2 - 324*a - 116. Does 57 divide u(-70)?
True
Let w(o) be the first derivative of -o**3/3 + 21*o**2/2 + 23*o - 10. Is 2 a factor of w(10)?
False
Let p = 17256 - 5403. Does 15 divide p?
False
Let d be -4*((-3 - -2) + 3 + -4). Is 40 a factor of (-182)/(-4) - 4/d?
False
Suppose -45*a - 62781 = -62*a. Is a a multiple of 29?
False
Suppose -6 = -60*x + 62*x. Let g(r) = 5*r**2 - 5*r. Let f be g(x). Suppose -96 = 3*v - 7*v + 2*a, -2*a = 2*v - f. Is v a multiple of 14?
False
Suppose -2*w - 22 = -3*j, -5*j - 5*w = -3*w - 42. Is -6*((-3646)/28 + j/(-28)) a multiple of 56?
False
Suppose 0*v - 5082 = 7*v. Is v/11*15/(-2) a multiple of 45?
True
Let q = -401 + 2103. Is q a multiple of 3?
False
Let b be (1 - 1)/(-1 + 2). Let a be 8/(-5) + (126/10 - 4). Suppose 16*h - a*h - 252 = b. Is 16 a factor of h?
False
Let u = -43 + 45. Suppose 6*t + u*t = 40. Suppose t*x + 12 = 42. Is 2 a factor of x?
True
Let f = 51274 + -30736. Is 14 a factor of f?
True
Suppose -14*w + 7141 = -61990 + 16155. Does 3 divide w?
False
Let p(o) = -o**3 + 13*o**2 - 18*o - 52. Let h be p(11). Is (56/42)/(3/((-342)/h)) a multiple of 3?
False
Let s = 13302 - -7148. Is s a multiple of 42?
False
Let n be (-204)/(-153) + -2 + (-41704)/(-6). Suppose 7*m - 4*m - 3*d = 4179, -2*d - n = -5*m. Is m a multiple of 12?
False
Is (-2)/(-6) - (-4388420)/354 a multiple of 104?
False
Let b(h) = -h**3 - 14*h**2 + 13*h - 10. Let n be b(-15). Suppose -3*l + n = 8. Suppose -30 = -3*q + l*i + 58, -4*i = 16. Is q a multiple of 4?
True
Let x(p) be the first derivative of 7*p**2/2 + 16*p + 3. Let h be x(13). Let f = h - 29. Does 26 divide f?
True
Let z(u) = 42*u + 8. Let a be z(0). Suppose -3*q + 310 = 2*l - a*q, 4*q = -16. Is l a multiple of 29?
True
Let c(h) be the second derivative of h**5/20 - h**3/6 + 305*h**2/2 + 34*h. Let y = -43 - -43. Is c(y) a multiple of 44?
False
Let j be 2204/(-10) + 138/345. Is (j/(-80))/((-2)/(-272)) a multiple of 11?
True
Let n(o) = o**3 + 8*o**2 + 6*o - 5. Let k be n(-7). Suppose 162 = -3*r + 4*r + 3*m, -k*r - 5*m = -320. Suppose -r = -57*t + 54*t. Is 2 a factor of t?
True
Let d = 4993 + -4856. Is d a multiple of 14?
False
Suppose 0 = t - 20*t - 475. Does 41 divide (1640/t)/((-10)/225)?
True
Suppose -266*m + 17520 = -260*m. Is m a multiple of 10?
True
Let o be 610*(-14)/(-175)*5/2. Let x = 339 - o. Does 6 divide x?
False
Suppose -4*i = g, 4*g + 3*i = -0*i. Suppose g*w - 1054 = -2*j + 2*w, -4*j + 2104 = -3*w. Is 7 a factor of j?
False
Suppose 144*y - 540690 = -57*y. Is y a multiple of 14?
False
Is (-4343575)/(-375) + (-2)/(-15) a multiple of 42?
False
Let j(k) = 12*k + 55. Let y be j(-4). Suppose -88 = y*f - 2986. Is f a multiple of 13?
False
Let r = 1733 + 2200. Does 9 divide r?
True
Let v(b) = b**2 - 2*b - 8. Let f be v(-2). Suppose f = k + 3, -k - k - 6 = r. Suppose -6*h = -r*h - 738. Is 18 a factor of h?
False
Suppose -8*q + 3*z + 0*z + 27837 = 0, -z - 17399 = -5*q. Is 15 a factor of q?
True
Suppose -17*j + 19*j - 111379 = -3*y, 5*j - 74282 = -2*y. Is 27 a factor of y?
False
Let q(d) = 2*d - 19*d - d**3 + 12*d + 8*d. Let g be q(-2). Suppose g*n + 9 = b, 4*b - 4*n = -8*n + 60. Is b a 