, -l + 60 = 5*y. Is v a multiple of 15?
False
Let p = 113 + 21. Suppose -4*f + 8*f = 5*v - p, -f + 124 = 4*v. Is 30 a factor of v?
True
Let c be -48 - (0/(-9))/(-5 + 3). Is 37 a factor of 2/(c/(-10652)) - 2/(-12)?
True
Let m = -10420 - -10421. Let h(b) = -67*b - 4. Let s(x) = -67*x - 3. Let t(k) = -3*h(k) + 2*s(k). Does 29 divide t(m)?
False
Let u be 6/4*-10*6/(-18). Let p be (-88)/110 - 26/u. Is 18 a factor of 3/(-18)*-3 + (-213)/p?
True
Suppose 4*f = 2*h - 9232, 19346 = 5*h - 4*f - 3704. Is 49 a factor of h?
True
Suppose 4*c + 535 = -u + 2025, 3*u - 4487 = 5*c. Suppose 5*d + u = s, 4*d + 1922 = 3*s - 2571. Is 36 a factor of s?
False
Is 20 a factor of (35/(-2))/(21 + 30041/(-1430))?
False
Suppose 4*a - 1289 = -3*d - 402, 13*a = -52. Does 7 divide d?
True
Let p be (-2 - -455 - 3)*24/10. Suppose p + 936 = 14*u. Does 6 divide u?
True
Suppose -97140 = -28328*p + 28313*p. Is 10 a factor of p?
False
Suppose 0 = 27*b - 16104 - 3066. Is 5 a factor of b?
True
Let n be 12/(-9)*2*84648/(-32). Suppose g = -3*z + 4543, 5*z - n = -g + 515. Is 17 a factor of z?
True
Suppose -22*v - 433 + 5625 = 0. Is v a multiple of 2?
True
Let p = 167 - 179. Is 5 a factor of p*((-45)/(-20))/(-9)*20?
True
Let h be (2 + 1)/(-12)*0/(-4). Suppose -15*z + 33*z - 5184 = h. Is z a multiple of 32?
True
Let v(g) = 3*g**3 - 28*g**2 + 9*g + 3. Let y be v(9). Suppose 0 = 2*h + y*c - 185, -8*h + c = -10*h + 191. Is 17 a factor of h?
False
Let r(t) = -t**3 - 27*t**2 - 25*t + 29. Let k be r(-26). Let b(m) = 2*m**2 - 11*m**3 - k + 0*m**3 - m + 1 - 10*m**3. Is b(-1) a multiple of 7?
False
Let a(w) be the third derivative of -w**5/60 - 9*w**4/8 - 103*w**3/6 - 123*w**2. Is 17 a factor of a(-18)?
False
Let d = -16965 - -30944. Does 90 divide d?
False
Let t be 1/(262/52 - 5). Suppose -t*n = -309 - 965. Is n a multiple of 7?
True
Let m = -4218 - -5644. Is 7 a factor of m?
False
Suppose -6*m + 17 = 5. Suppose 4*k - 3*a - 1831 = -m*a, 2*a - 928 = -2*k. Is k a multiple of 27?
True
Let u = 39 + -37. Let k be (6 - u) + -1 - 3. Suppose 269 = 3*c + 5*n, k = -4*c - 2*n + 73 + 267. Is 19 a factor of c?
False
Suppose 2*s - 5*c = 49, 3*s = 5*c - 3*c + 79. Suppose 79 - s = 2*r. Is r a multiple of 24?
False
Let d = -4 + 21. Suppose w + d + 122 = 3*z, -5*w - 200 = -4*z. Suppose 9*h - 711 = -z. Is h a multiple of 12?
False
Let q(o) = -274*o + 62. Let z be q(-5). Suppose 20*b - z = 2328. Is b a multiple of 40?
False
Let p(o) = 32*o**2 + 133*o + 882. Is p(-7) a multiple of 19?
False
Let p be (4/(-6))/((-30)/135). Suppose -9 = -p*z - a - 95, z + 27 = -2*a. Let o = 41 + z. Does 4 divide o?
True
Suppose -5*r + 14864 = -6386. Suppose -6*l + r = -4*l. Suppose l = 12*i + 877. Does 13 divide i?
True
Is (-3)/(976/1024 - 1) a multiple of 32?
True
Let f = -14159 + 26362. Does 5 divide f?
False
Suppose 3*i - 13*k + 15*k = -1165, -3*i = 4*k + 1175. Let q = 397 + i. Is 9 a factor of q?
False
Suppose 3*x + o - 32 = -o, -5*x + 32 = -2*o. Suppose x*k - 4140 = 2*k. Does 15 divide k?
True
Suppose -2*p - 723 = -3*d - p, d + 2*p - 234 = 0. Let m be 6/9 + (-1040)/(-78). Suppose m*q - d = 8*q. Is q a multiple of 10?
True
Suppose -90 = -6*k - 60. Suppose x - 5*t = -2*t + 626, -k*x - 5*t + 3050 = 0. Is x a multiple of 15?
False
Suppose -x - 5*c = -3*x - 33, -4*x = 4*c + 24. Let z(j) = -20*j + 29. Let r be z(x). Suppose 3*h = 181 + r. Is h a multiple of 26?
True
Suppose z - 11 - 11 = 0. Let n(v) = 11 - z + v - 5*v - v. Is 19 a factor of n(-8)?
False
Let z(m) = -13*m**2 + 15*m + 54. Let o be z(-4). Let v = -59 - o. Does 27 divide v?
False
Suppose 32 = 9*r - 40. Let m = 169 - r. Is 7 a factor of m?
True
Let z(n) = 18*n - 96. Let a be z(4). Is 16 a factor of (-15 + 0)*(4 + 352/a)?
True
Is (156/8)/(48/10368) a multiple of 17?
False
Suppose 0 = -3*g - 3*u, 4*u - u = 9. Is 49 a factor of (512 - g) + 45/9?
False
Suppose z = -3*c + 637, 0 = 5*c + 2*z - 60 - 1002. Suppose 0 = -3*v + 4*m + 276, 5*v - 234 = 2*m + c. Let h = -50 + v. Is 19 a factor of h?
True
Let z(m) = -2140*m + 100. Let s(u) = -428*u + 20. Let c(n) = -14*s(n) + 3*z(n). Is 28 a factor of c(-1)?
True
Let v = -503 - -632. Let r = 16 + v. Is r a multiple of 29?
True
Let o = -23001 - -30297. Is 57 a factor of o?
True
Is ((212681/23)/(-7))/(((-2)/6)/1) a multiple of 23?
False
Is -1*(-4)/34 + 92133375/3281 a multiple of 125?
False
Suppose 207*v - 7144760 = -133*v. Does 7 divide v?
True
Suppose -t + 0*v - 862 = -3*v, 0 = 3*t - 3*v + 2574. Let o be 6/10 - t/(-10). Is 7 a factor of 5/2*(-1904)/o?
True
Let i = -77 + 153. Let x = 192 - i. Is x a multiple of 29?
True
Suppose -244 = 7*n - 398. Suppose -n*s + 15*s = -2898. Is s a multiple of 46?
True
Suppose -3*m - 4*b = -96, 4*m + 33*b = 34*b + 109. Does 3 divide m?
False
Let z = 898 + 3323. Is z a multiple of 21?
True
Let a = 162 + -182. Is 56 a factor of -2 - (6/15 + 11248/a)?
True
Let o be -28 + (-2 - 0) - 2. Let q be 3/(-9)*2*12. Does 23 divide o/(-5)*(-120)/q?
False
Suppose o + u - 28516 = 0, 0 = -1986*o + 1983*o - 5*u + 85540. Does 15 divide o?
False
Let m be 210/(-8) + 24/96. Is 19 a factor of -3 - (4/26 - (-4112)/m)?
False
Suppose 2*c + 3 = -t - 7, 4*c = 2*t - 20. Let z(o) = o**2 + 4*o - 3. Let n be z(c). Let m(j) = 7*j**3 + 4*j - 6. Is m(n) a multiple of 15?
False
Let f be ((-1428)/8)/3*-6. Let r = -137 + f. Is 11 a factor of r?
True
Suppose -4*b + 7*b - 5*r = -302, -493 = 5*b + 2*r. Let g = 107 + b. Let c(x) = -x**2 + 18*x - 25. Is 9 a factor of c(g)?
False
Let l be 6/2 - (2 - 5). Suppose 0 = -0*p - 3*p - l. Does 12 divide (-4)/(-6) - (272/(-6) + p)?
True
Let i be (7 - (-1 - 0))*519/12. Let r = -238 + i. Is r a multiple of 6?
True
Let m(n) = -n**3 - 6*n**2 - 2*n - 8. Let x be m(-6). Let v(i) = i**2 - 2*i - 3. Let a be v(x). Suppose a*j - 162 = 3*j. Is j a multiple of 27?
True
Let u be 9 + -2 + 2/4*-2. Let k(i) = -i**2 + 18*i - 45. Is 27 a factor of k(u)?
True
Let p(k) = k**2 + k + 9. Let i be p(-9). Is ((-13)/((-26)/4))/(3/i) a multiple of 11?
False
Let a(r) = r**3 - 8*r**2 + 19*r + 12. Let l be a(5). Suppose l*h + 17*h = 21364. Is 6 a factor of h?
False
Let n(w) = -2*w**3 + 15*w**2 + 7*w + 9. Let f be n(8). Is f*((-4)/(-12) + 348/9) a multiple of 3?
True
Suppose 0 = 5*p - 3*o + 4, 14 + 4 = 3*p + 5*o. Let z be (-1*p)/(33/2937). Let l = z + 95. Is 4 a factor of l?
False
Suppose -16*i - 28837 = -4*v - 17*i, 3*i = -5*v + 36048. Is v a multiple of 66?
False
Let l(k) = -138*k + 8115. Does 15 divide l(-25)?
True
Let k be 56/(-7)*(-1)/2. Let c = 224 - k. Is c a multiple of 11?
True
Suppose 3*o + 1455 = 4*j + 325, -1411 = -5*j + 3*o. Let n = j - 160. Let q = n + -22. Does 33 divide q?
True
Let w(z) = 31*z + 56. Suppose 3*y - k = 2*k + 39, 0 = k. Does 27 divide w(y)?
True
Let o be 12159/14 - (-12)/(-8). Suppose -a + o = -5*d + 3*d, -5*a - 3*d = -4348. Does 9 divide a?
False
Let m(p) = p**3 + 36*p**2 + 10*p - 42. Is m(-24) a multiple of 35?
False
Let h(f) = 4*f**2 + 42*f + 24. Let v be h(-9). Let s = -2 - v. Is 4 a factor of s?
True
Let r(q) = 2268*q**3 + 2*q**2 - 33*q + 31. Does 9 divide r(1)?
True
Let p(a) = 10*a + 225. Let d be p(31). Let z = 1310 - d. Does 71 divide z?
False
Let a(x) = -4*x - 160. Let d be a(29). Let j = d - -444. Is j a multiple of 24?
True
Let o = 20337 - 13577. Is 180 a factor of o?
False
Let l(q) = -408*q**3 - 2*q**2 + q. Let x(o) = 816*o**3 + 5*o**2 - 2*o. Let v(i) = -7*l(i) - 3*x(i). Is 29 a factor of v(1)?
True
Suppose -n = 2*n + 3*x + 27, -2*x = -5*n - 10. Is n/(-10) + -3123*(-6)/30 a multiple of 48?
False
Let h be 6/9*(-113295)/(-70). Let l = -689 + h. Is 13 a factor of l?
True
Suppose 35497 = 217*s - 206*s. Is s a multiple of 25?
False
Let k = 12612 - -867. Is k a multiple of 46?
False
Does 11 divide 12 - ((-250349)/11 - -23)?
True
Let g be 4*(-3)/(-16) - (-115899)/28. Suppose -70*c - g = -75*c. Does 23 divide c?
True
Let o = 311 + -289. Suppose -3349 = -o*l + 8773. Is l a multiple of 29?
True
Let c = -10023 + 20550. Does 22 divide c?
False
Suppose -4*k = -0*b + 2*b + 2, -2*k = 3*b + 11. Let n(g) = -291*g + 2 + 6*g**k - g**3 + 291*g. Is n(4) a multiple of 26?
False
Suppose 2*a = 3*m + 3, 0 = 2*m + 3*m - 5*a + 5. Does 13 divide -54 - -58 - (1 + m - 87)?
True
Let w be -22*(45/6)/(-15). Suppose -2*a - 6*p + p = w, 4*p = -a - 13. Does 3 divide a?
False
Suppose 7*q - 2*q = -5*y + 1495, -1468 = -5*q + 4*y. Let t 