 -3*b + 43 - 10. Suppose b*r - 2704 = -h. Is 28 a factor of r?
True
Let r(d) = 85. Let l(s) = s. Let h(i) = -l(i) + r(i). Does 47 divide h(-9)?
True
Suppose -201600 = 34*p - 154*p. Is p a multiple of 14?
True
Let g(u) = 105*u**2. Let f = -305 - -306. Does 15 divide g(f)?
True
Suppose -11*y = -2923 - 5327. Is y a multiple of 50?
True
Suppose d - 24 = -2*k, 3*d - 7*d + 41 = -3*k. Let j(f) = -f**2 + 17*f - 38. Let r be j(d). Suppose 1440 = r*q + 4*q. Is 9 a factor of q?
True
Let o(j) = 20*j - 302. Let s be o(15). Let w(z) = -54*z**3 - z**2 + 13*z + 22. Does 28 divide w(s)?
False
Let z = 67 + -53. Suppose -z*q + 4310 = -3600. Let o = q + -335. Does 23 divide o?
True
Let p = -55556 + 105697. Is p a multiple of 207?
False
Suppose -4*b = 11*b - 135. Let s(k) = 59*k - 6. Is 5 a factor of s(b)?
True
Suppose 0*i + o = i + 33, i + 27 = -2*o. Let k = 64 + i. Suppose 0 = 3*f + 4*z - 46, -5 = 4*f - 3*z - k. Is 2 a factor of f?
True
Suppose h - 3*h = -342. Suppose 2*d + 41 - h = 0. Let g = 15 + d. Is g a multiple of 8?
True
Suppose -24344 = -4*i - 2*b, -882*i + 4*b + 18258 = -879*i. Is i a multiple of 34?
True
Let z be 0 - (1 - (1 + 0)*3). Suppose -a = a - 4*d - 56, -3*a = z*d - 100. Suppose 0 = 35*p - a*p - 9. Is 2 a factor of p?
False
Suppose 9*m = 4*k + 6*m - 7, 3*k = -3*m - 21. Does 15 divide (k + -135)*-1 - 2?
True
Let y(i) = i**3 - 8*i**2 - 4*i. Let m(t) = 8*t**2 - 1 - t - 4*t - 9*t**2 - 2*t. Let r be m(-5). Is 14 a factor of y(r)?
False
Let x = -205 + 237. Suppose -8712 = 21*j - x*j. Is 81 a factor of j?
False
Suppose -10570 = 17*z - 3*z. Let m = -389 - z. Is m a multiple of 61?
True
Let s(p) = 7*p**2 + 17*p - 68. Let g(x) = -41*x**2 - 101*x + 412. Let o(a) = -6*g(a) - 34*s(a). Is o(8) a multiple of 18?
True
Suppose 4*w = -2*g + 8*g + 10440, -4*g = -w + 2605. Is 67 a factor of w?
True
Let a(p) = p**3 - 5*p**2 - 8*p + 14. Let r be a(6). Suppose -r*f = -7*f + t + 18, -6 = -3*f + 3*t. Suppose -f*b + 8*b = 64. Is b a multiple of 8?
True
Let a(q) = 60*q + 354. Let s be a(-11). Let n = s + 333. Does 4 divide n?
False
Let t be (1 - 1)/((-22)/(-11)). Let k be (t*4/8)/1. Suppose k = 40*j - 43*j + 180. Is j a multiple of 36?
False
Suppose -277 - 4523 = 6*x. Is 24 a factor of ((-5)/(25/36))/(24/x)?
True
Suppose 252 = 32*g - 18*g. Does 9 divide 1*g + 47 + -47?
True
Let l = -379 + 400. Suppose -286 + 2008 = l*y. Is y a multiple of 41?
True
Let b(j) = 457*j**2 - 13*j - 33. Let f be b(-5). Is 33 a factor of 14/(-77) + f/33?
False
Suppose 0 = -3*y + 6. Is 13 a factor of (36 + -34)/(y/52)?
True
Suppose -52935 + 145024 = -17*s + 34*s. Is s a multiple of 114?
False
Let y = 511 + -504. Suppose -4109 = -5*j + z, y*z + 4112 = 5*j + 9*z. Is 90 a factor of j?
False
Let q(d) = -975*d + 3944. Is q(4) a multiple of 2?
True
Let c(z) = 3*z**2 - 13*z + 1. Let g be c(5). Suppose -3538 - 3612 = -g*i. Is i a multiple of 25?
True
Suppose 0 = 3*n - 6, 3*n + 5746 = 11*h - 9*h. Suppose -5*m + 3*c = -h, m - 5*c = 637 - 53. Is 14 a factor of m?
True
Is 17/((-2336)/779 + (-252)/(-84)) a multiple of 19?
True
Let w = 440 + -444. Is (2 + -34 - -1)*w a multiple of 6?
False
Suppose -19*y + 502 + 2842 = 0. Suppose p - 94 = y. Is 20 a factor of p?
False
Suppose 163*j - 8562 = 2685. Let q = -162 - -232. Suppose 58 = q*k - j*k. Does 10 divide k?
False
Suppose -3*x + 0*x + 4*z - 7 = 0, x + 2*z = 1. Let f(k) = -k**2 + k + 1. Let p(r) = 2*r**2 + 18*r - 34. Let n(j) = x*p(j) - 4*f(j). Does 38 divide n(16)?
True
Suppose 3*u - 1591 = -4*r + 1472, 5*u + 2319 = 3*r. Is 128 a factor of r?
True
Let c = -92 + 91. Does 12 divide c - 1 - 10/15*-21?
True
Suppose 96*q - 122 = 105*q - 1742. Is 6 a factor of q?
True
Let i be -5 - (-188)/28 - 4/(-14). Let n = i + -11. Does 26 divide 3/n + (-457)/(-3)?
False
Let v(u) = 671*u + 5449. Is 21 a factor of v(-3)?
False
Suppose 69354 = -92*s + 95*s + 5*m, 2*s = 2*m + 46268. Is 49 a factor of s?
True
Let n = 20 - 19. Suppose -n = -3*s - 4*y, 5*s + 1 - 12 = -2*y. Suppose 2*k = -s*w + 156, 18 = 4*k + 6. Does 12 divide w?
False
Suppose 148*r - 1676682 = -283262. Is r a multiple of 10?
False
Let h = 25516 - 16776. Suppose 20*o = o + h. Does 46 divide o?
True
Is (1/5)/(15/76575) a multiple of 6?
False
Let n(h) = 331*h**2 - 188*h - 380. Does 15 divide n(-2)?
True
Suppose 7*d = 4*d - 3*z - 3, 5*d = -3*z + 1. Suppose -4*c - 176 = -d*h, 4*c - 57 = -h + 1. Is 3 a factor of h?
True
Let v = 2600 + -38. Does 7 divide v?
True
Suppose 0 = 19*p - 49*p + 16*p + 17458. Does 29 divide p?
True
Suppose 50628 = 4*w + 8*q, 2*w - 7*q = -5*q + 25344. Is 19 a factor of w?
False
Let y(r) = -3*r**3 - 5*r**2 - 6*r - 24. Let f = 84 + -87. Is 15 a factor of y(f)?
True
Suppose 121*g + 70*g = -23*g + 3456956. Does 82 divide g?
True
Let j be 34 - (-10)/20*(-2 + 2). Suppose 9*k = -j*k + 34830. Is 45 a factor of k?
True
Let n = 22293 + -22187. Is 53 a factor of n?
True
Suppose 21*p + 3*q - 1569 = 18*p, -4*q + 2613 = 5*p. Let o = p + -143. Is o a multiple of 63?
True
Suppose 0 = -4*g - 400 + 8. Let d = g - -54. Does 14 divide (17*1)/((-3 + -1)/d)?
False
Is (2 + 221/(-68))*-648 a multiple of 5?
True
Let v(i) = i - 4. Let r(a) = 4*a - 17. Let k(g) = -4*r(g) + 18*v(g). Let w be k(12). Let d = 60 - w. Is 5 a factor of d?
True
Suppose -17*z = 2*n - 14*z - 17784, 2*n - 4*z = 17756. Is n a multiple of 14?
False
Let u(z) = z - 13. Let d(v) = -3*v + 26. Let w(o) = -4*d(o) - 9*u(o). Let b be w(-5). Let y(r) = -3*r**3 - r**2 - r - 1. Is 11 a factor of y(b)?
False
Let z(w) = -w**3 + 7*w**2 - 5*w + 4. Let c be z(6). Suppose c + 0 = -2*s. Does 4 divide 9 + s/((-15)/(-9))?
False
Suppose -4*t - 16 = 0, -5*z - 8*t + 18 = -10*t. Suppose 3*d + 5*k = -38 + 359, -3*d = -z*k - 300. Does 51 divide d?
True
Suppose 2*k - 2 = 0, k - 2*k + 11 = 2*m. Suppose 5*i - 594 = -3*g, 3*g + 409 = m*g - i. Does 27 divide g?
False
Is ((-57780)/20 + -23)*120/(-28) a multiple of 6?
True
Suppose -r = f - 0*f - 4356, -f = 4*r - 17412. Suppose r = -7*p + 1125. Let m = -308 - p. Is m a multiple of 34?
False
Let u(a) = 358*a - 4. Let p be u(-1). Let m = p - -670. Does 22 divide m?
True
Let g(r) = 1493*r**2 - 48*r + 175. Does 91 divide g(3)?
True
Suppose 9*u - 1646 = 901. Let t = u + 521. Does 56 divide t?
False
Suppose 2*x + 3*q = 17160, 0*q - 2*q = 2*x - 17160. Suppose 39*k = 28*k + x. Does 26 divide k?
True
Is (34/102*14908)/(-2 + (-8)/(-3)) a multiple of 97?
False
Suppose -4*t = 3*w + t + 13, 15 = 5*w + t. Suppose -w*q + 40 = 5*j - 3*j, j - 2*q = 28. Let u = j + 21. Is 5 a factor of u?
True
Let o(j) = -5*j + 40. Let v be o(8). Is 14 a factor of ((-617)/2)/(6/(-12 + v))?
False
Is (0*1/(-8) - -4) + (-3224)/(-1) a multiple of 14?
False
Is 24 a factor of (4 + (-26505)/3)/(-4) - 16/(-64)?
True
Suppose -o - 25 = -5*u - 0*u, u - 5 = 5*o. Let q be (6/u)/(6/20). Is 30 a factor of (4 + 0)/q - -97?
False
Suppose x + 57 = 3*t, -4*t - x = -67 - 2. Suppose -3*p + t = 3*v, -3*p + 15 = 2*v - 0*p. Suppose v*l + 720 = 6*l. Is l a multiple of 48?
True
Suppose -1429 = -5*d - 6*h, -3*d - 207 + 1065 = 3*h. Is 3 a factor of d?
False
Suppose -o - 3*i + 11 = -5*i, -3*o + 55 = 5*i. Suppose -o*f + 88 + 77 = 0. Suppose -f*n + 227 = -4. Is n even?
False
Suppose -62*s + 66*s - 28 = 0. Suppose 5*f = -15, -4*f = 4*v - s*v + 15. Does 16 divide 383/4 - (v - (-20)/(-16))?
True
Suppose 81*i + 98*i + 37632 = 195*i. Is i a multiple of 14?
True
Let k = 917 + -912. Let v be (-1 - (-6 - 1)) + -3. Suppose 3*z - 2*z - 43 = v*l, -z + k*l + 43 = 0. Does 8 divide z?
False
Let n be 556*(-7)/(-14)*2/4. Suppose 4*l + y = 5*l - n, y = -3*l + 437. Is l a multiple of 18?
True
Suppose 3*f + 2*u - 4651 = 0, -4*u + 6212 = -16*f + 20*f. Is f a multiple of 9?
False
Let h = 221 + -225. Does 8 divide ((-32)/10)/h - (-632)/10?
True
Suppose 0 = -183*h + 198*h - 32610. Does 26 divide h?
False
Suppose 0 = 14*u - 8*u - u. Suppose 2*d + u*r - 2*r - 16 = 0, 24 = 4*d - 2*r. Does 9 divide 2 - (4/16 + (-205)/d)?
False
Suppose -16*r + 15*r + 5*l + 299 = 0, -3*r - 2*l = -931. Does 4 divide r?
False
Suppose 3*u - 6990 = 3*y - 25554, -6 = 3*u. Does 50 divide y?
False
Let q(p) = 731*p**3 + 3*p**2 - 16*p + 42. Is q(3) a multiple of 178?
True
Let x(a) = 490*a - 333. Does 243 divide x(20)?
False
Is (0 - (-2)/2)/(-25 - 85278/(-3411)) a multiple of 49?
False
Suppose 28*j + 16092 = 3*k + 30*j, -4*k - 4*j + 21464 = 0. Does 92 di