12*x = 27*x - 25858. Is x a multiple of 16?
False
Suppose 96*w - 101*w + 39750 = 0. Is 15 a factor of w?
True
Suppose 711574 = 23*q + 52*q - 389051. Is q a multiple of 50?
False
Suppose -5*n = -28*n + 18469. Is n a multiple of 16?
False
Suppose -5*w - 10*w + 1785 = 0. Let y = 98 + w. Is y a multiple of 31?
True
Let l = -44 + 40. Let x be (-96)/162*-3 - l/18. Is 30 a factor of ((-12)/10)/(x/(-350))?
True
Suppose -16*g - 1390 = 3282. Let q = g - -1457. Is q a multiple of 9?
False
Suppose 0 = -5*o - 527 - 43. Let f = 380 + o. Is 40 a factor of f?
False
Let x = -306 - -308. Let t be (-1244)/(-3)*(-6)/(-4). Suppose 3*g - t = -x*g + 4*l, 2*l = 3*g - 374. Is 21 a factor of g?
True
Suppose 19*j = 10*j - 54. Does 40 divide (448/(-70))/(j/675)?
True
Let t(n) = n**2 - 7*n - 4. Let r be t(4). Let u be r/(-5)*(-1225)/(-14). Suppose -u = 5*w - 1045. Is 17 a factor of w?
True
Suppose -8*n = -14*n - 390. Is ((-188)/(-10))/((-13)/n) a multiple of 8?
False
Suppose 0 = 4*n - a + 64, -a - a + 83 = -5*n. Let c be 10/75 - 73/n. Suppose 4*o - 28 = -4*t, c*o + 3*t = 7*t + 44. Is o a multiple of 4?
True
Suppose 2*a = 3789 + 53. Suppose -3*j - 286 = -a. Let r = j - 182. Does 34 divide r?
False
Suppose 5*z - 120424 = -96484. Is z a multiple of 10?
False
Let q be 1/(-4 + 4 - (0 - -1)). Let f be (5 - q) + -4 + (-12)/(-2). Suppose 768 = 12*t - f*t. Does 39 divide t?
False
Suppose -25*m - 3878 + 39503 = 0. Does 75 divide m?
True
Let g(d) = 11*d**3 + 3*d**2 - 12*d. Let k(r) = -13*r**3 - 3*r**2 + 12*r + 1. Let w(j) = 5*g(j) + 4*k(j). Does 18 divide w(4)?
False
Let c = 57 + -42. Let a = -5 + c. Suppose -62 = 9*t - a*t. Is t a multiple of 14?
False
Let s(p) = -p**3 + 21*p**2 - 39*p - 6. Let f be s(15). Suppose -325 - f = -4*z. Is z a multiple of 70?
False
Suppose 672 = 16*z - 496. Suppose -q = -3*k - 21, 4*q + 4*k = 43 + z. Does 3 divide q?
True
Let s(g) = 2*g**2 + 0*g**3 - 10*g - g**3 - 12*g**2 + 2*g**3 + 24. Let u be s(11). Is 7 a factor of (-486)/(-14) + (-5)/u*-2?
True
Suppose -3*s - s + 2*y = 1172, 284 = -s + 5*y. Is 41 a factor of 12/3 + (-1 - s)?
False
Suppose 0 = 15*q - 191 + 71. Suppose -j = 2*h - 49, 0 = -5*j + 9*h - q*h + 300. Is 59 a factor of j?
True
Suppose 5*l + 20*f = 21*f + 336, 0 = -3*f - 3. Is 97 a factor of l*5 - (66 - 73)?
False
Let x(t) = -4*t - 45. Let z be x(-12). Let k = 0 + 2. Suppose h - 210 = -2*m + z*h, 0 = -k*m + 4*h + 212. Is 8 a factor of m?
True
Suppose -10 - 36 = -b. Suppose 5*r - 99 = b. Let x = 14 + r. Is 10 a factor of x?
False
Let v = 15588 - 5604. Does 64 divide v?
True
Let f be 3*1*8/12 + 1. Suppose -4*r + 781 = u, 0 = -5*u + f*r + 5597 - 1646. Does 17 divide u?
False
Suppose -1510 = -c + 608. Suppose -9*v + 4785 = -c. Is v a multiple of 13?
True
Suppose 346*z - 260*z = 1545936. Does 26 divide z?
False
Let v = 5755 + -5041. Does 172 divide v?
False
Is 42 a factor of ((-46)/2)/(159/(-16854))?
False
Let j(u) = -u + 16. Let d be j(7). Let i(p) = 4*p**2 - 7*p + 1. Let m be i(d). Let t = 378 - m. Does 29 divide t?
True
Let j(v) = -v**2 - 7*v + 41. Let k be j(-11). Does 25 divide -110*k/6 + -5?
True
Is 3 + 2*24/(-64)*-176 a multiple of 22?
False
Suppose 10*l + 2*l = 72. Suppose -92 = l*o - 266. Suppose 0 = -x + 71 + o. Is 20 a factor of x?
True
Let y = -49 - -51. Suppose g - 290 = 4*v, -y*g - 3*g = 3*v - 1450. Suppose -2*z = -5*x - g, -3*x = -2*x. Is z a multiple of 33?
False
Suppose 45 - 17 = -7*l. Does 22 divide ((-7 - l) + 5)*(-553)/(-14)?
False
Let s(c) = 26*c + 53. Suppose 6 = y - x, -5*x - 8 = 7. Is 6 a factor of s(y)?
False
Suppose -135570 = -20*g - 77017 + 156207. Does 11 divide g?
False
Suppose 10*n + 2398 + 482 = 0. Let h = 505 + n. Does 31 divide h?
True
Let l be (-13 + -1)*(-35)/(-70). Let a(f) = 2*f**2 - 37*f - 14. Does 7 divide a(l)?
True
Let i(d) = 5*d**2 + 12*d - 2. Let f be i(-3). Suppose -5*m + 7560 = f*m. Is 90 a factor of m?
True
Suppose 8 = 14*j - 12*j. Suppose 5*q - 3415 = -0*u - 2*u, -4*q + j*u + 2704 = 0. Suppose 5*x + 2*b + b = q, -x + 125 = -5*b. Does 15 divide x?
True
Suppose 0 = -l - 6, -4*l - 21618 = -3*s - 2982. Is 6 a factor of s?
True
Let w = 17865 - 15547. Is 47 a factor of w?
False
Let k(a) = -8*a - 17. Let g be k(-7). Suppose g = 3*l + 5*f, 4*l + 3*f = 3*l + 13. Suppose -l*y - 228 = -17*y. Is 10 a factor of y?
False
Let f(s) = 9*s - 126. Let x be f(14). Suppose -5*l - 18*d + 16*d + 400 = x, -l + 80 = 2*d. Does 2 divide l?
True
Suppose -45*u + 38*u + 28 = 0. Is 14*114/u - (2 + -3) a multiple of 16?
True
Let x be 5/(-2)*-2 + 255. Suppose -15*q = -19*q + x. Is 14 a factor of q?
False
Let i(u) = 128*u**2 - 325*u + 3751. Does 178 divide i(11)?
True
Let w be 1/((-6)/(-40))*12/16. Suppose 9*t - 660 = w*t. Does 33 divide t?
True
Let m = -16626 + 23808. Is m a multiple of 7?
True
Suppose 0 = 2*r - 3*d - 2, -5*r = -2*d + 6. Let j = r + 15. Is 25 a factor of ((-15522)/(-24))/j - (-1)/4?
True
Suppose y = -y + 4*s, -5*s + 30 = 5*y. Suppose -5*x = -y*g + 6, -5*g + 4*x = -3*g. Suppose 3*z - 3*l = 174, -l = g*z - 71 - 161. Does 14 divide z?
False
Let w(j) = -4*j - 10. Let b be w(-3). Suppose 12 = 3*m, -b*m = 3*c - m - 247. Is 18/c + 788/18 a multiple of 10?
False
Let a(k) = -2*k - 13. Let o be a(-9). Suppose o*y = 17 + 13. Suppose y*x - 195 = x. Is 8 a factor of x?
False
Suppose -4*f = -5*z + 35522, 222*z - 14214 = 220*z - f. Is 15 a factor of z?
False
Let q(t) = 17*t + 5. Let k be 4/(-8)*(-13 + 3). Suppose 0 = 2*o + 3*w - 13, -k*w - 10 - 3 = -o. Is 57 a factor of q(o)?
False
Let a(q) = 1024*q**2 - q - 2. Let n(j) = 12*j + 107. Let y be n(-9). Does 33 divide a(y)?
True
Let o(j) = 44*j**3 - 7*j**2 + 7. Is o(4) a multiple of 26?
False
Is 736/20*(-135)/(-18) a multiple of 46?
True
Let d = -9 + 11. Let a(v) = -9*v + 2. Let k be a(d). Does 13 divide (-3)/8 - 1382/k?
False
Let q(a) = -a**2 + 8*a + 8. Let p be q(6). Is 33 a factor of ((-1056)/p)/((-1)/5)?
True
Suppose a = 5*a - 16, -w - 3*a + 341 = 0. Let i = -243 + w. Is i a multiple of 4?
False
Let g = 16966 - 13824. Is 108 a factor of g?
False
Let g = 9093 - -2973. Is g a multiple of 76?
False
Suppose -6*z + 5*z = -3. Suppose -6*r + 2804 = -2*r - 4*a, -2805 = -4*r + z*a. Suppose 0 = -16*v + r + 706. Is 22 a factor of v?
True
Suppose 19*i = -2*i + 12012. Is i a multiple of 2?
True
Let q be (-1)/4 - (-51)/12. Let m = -87 + 87. Suppose m = d - q*i + 8 - 142, -5*i = 25. Does 19 divide d?
True
Suppose -52*z + 1142362 + 1425956 = 59*z. Is 14 a factor of z?
False
Suppose -20*v + 486 = -17*v. Suppose -7*a = -3*w - 4*a - v, 3*a = 0. Let z = -46 - w. Does 4 divide z?
True
Let b(j) = 1613*j**3 - j**2 + 2*j - 1. Let c be b(1). Suppose 8*f = c + 787. Suppose 0 = -4*s + 4*x + f, 311 - 2 = 4*s + 5*x. Does 19 divide s?
True
Suppose -5*a + 5*s + 328 = -2132, -s - 6 = 0. Is 9 a factor of a?
True
Suppose 9*n = 4*n. Let h(a) = n*a - a + 8*a + 8*a**2 + a**3 + 6 + a. Does 10 divide h(-6)?
True
Suppose 3*q - 141*z - 75416 = -136*z, 2*q - 3*z = 50278. Is 26 a factor of q?
True
Suppose 226*m - 223*m = 5*z + 74539, 4*z - 124170 = -5*m. Is m a multiple of 47?
False
Suppose 5*h - 69705 = 5*t, 9*t = -5*h + 12*t + 69711. Is h a multiple of 12?
True
Let n be (((-147)/6)/(-7))/(8/(-16)). Let y(r) = -34*r + 68. Is y(n) a multiple of 7?
False
Suppose 5*p - 37273 = -l, -25*p - 74486 = -2*l - 23*p. Is 6 a factor of l?
True
Is 153 a factor of (12 - -3137 - -14) + -8?
False
Let y = -1585 + 2691. Let a = y + -566. Is 9 a factor of a?
True
Suppose -v = -5*x - 6*v - 10, -5*x + 6 = -3*v. Let y be (x - (-188)/4) + 3*-1. Suppose -38*j + y*j - 1080 = 0. Does 20 divide j?
True
Does 15 divide -250*(-28)/(-105)*-9?
True
Suppose -2*z + z + 2*q = -23, 41 = z + 4*q. Let j(v) = 2*v**3 - 57*v**2 - 17*v + 4. Is 16 a factor of j(z)?
True
Is 40 a factor of (-9)/((-3 - (-2488)/824)/((-18)/3))?
False
Suppose 699*j = 694*j + 2820. Let x = -459 + j. Does 7 divide x?
True
Let q = -112 + 5992. Is q a multiple of 14?
True
Let k = -3406 + 3772. Does 12 divide k?
False
Suppose -7*r - 16*r - 4002 = -149868. Does 31 divide r?
False
Let p be 1 + 1 + 139 - -1. Let d = p - 67. Is 5 a factor of d?
True
Suppose 291*c - 384*c = -1368867. Is c a multiple of 146?
False
Let w = 7321 - 4577. Is w a multiple of 29?
False
Is 19 a factor of (-323)/(((-32)/(-144))/((-4)/9))?
True
Is 166 a factor of -6351*(2/(-2) - 0)?
False
Suppose y + 2*p = -4 - 4, -33 