 9*a - 3897. Let t = 524 - a. Does 17 divide t?
False
Let y = -3752 - -10232. Does 82 divide y?
False
Let y(c) = -36*c**2 - 2*c + 3. Let o be y(1). Let g = 66 + 86. Let u = g + o. Does 25 divide u?
False
Suppose 5*p = -11*p + 11888. Suppose 271 = -8*j + p. Is j even?
False
Suppose -2*m + 3*k + 10764 = 0, 2*m - k - 1232 = 9544. Is 41 a factor of m?
False
Let r = -54 + 24. Let g = r + 3. Let l = 40 + g. Is l a multiple of 13?
True
Let d = -169 + 190. Suppose 1316 = -14*h + d*h. Is h a multiple of 11?
False
Suppose 5*c - 1796 = 1389. Suppose -6*v + 191 = -c. Is 47 a factor of v?
False
Let c(h) = -7*h**3 - 9*h**2 + 21*h + 60. Let m(v) = -10*v**3 - 14*v**2 + 32*v + 91. Let f(d) = 8*c(d) - 5*m(d). Is f(-3) a multiple of 18?
False
Suppose 0 = 10*x - 154 + 24. Suppose q - x = -9. Suppose -y - 42 = -q*y. Does 9 divide y?
False
Suppose 3*z - 1 = 35. Let h be 93/((-7)/(-6) - (-4)/z). Suppose 2*j + 5*l = j - 1, 4*j = 2*l + h. Does 14 divide j?
True
Let x = -221 - -479. Suppose 5*h = 3*k + x, -2*k + 187 = 3*h + 17. Suppose -2*p = -4*v - h, -2*v = 5*p + v - 200. Does 8 divide p?
False
Let w(z) = -17 - 12*z + 7*z**2 + 49*z**2 + 63*z**2 + 1 + 26. Is w(2) a multiple of 42?
True
Let l(x) = 25 - 1 - 938*x + 6*x**3 + 935*x + 2*x**2. Is l(5) a multiple of 84?
False
Let g = 75 - 73. Suppose i = g, -6 = 2*w + 2*i + i. Is 14 a factor of 4/w - (0 + (-1675)/15)?
False
Let t(b) = -104*b - 25. Suppose 37 = -11*a - 7. Does 25 divide t(a)?
False
Suppose -11*r + 21*r - 20 = 0. Suppose r*o - 3*y - 203 = 0, 22*o = 20*o + 2*y + 202. Is 3 a factor of o?
False
Suppose 14310 = 43*s - 97*s. Is -10*(s/5 - -1) a multiple of 8?
True
Suppose 0 = -5*y - c + 915, 7*y = 4*y - 4*c + 549. Is y a multiple of 52?
False
Is (18/(-4) + 2)*(-8 + 90016/(-20)) a multiple of 14?
False
Let o be (5*4/(-40))/(2/(-596)). Suppose 0*p = 3*p + 279. Let y = p + o. Does 14 divide y?
True
Let o(g) = 58*g**2 + 16*g + 23. Does 29 divide o(4)?
True
Suppose g = -2*v + 560, 106 - 114 = -2*v. Is 188 a factor of g?
False
Let d(g) be the third derivative of g**5/60 - 7*g**4/24 - 7*g**3/3 + 15*g**2. Let p be d(9). Is 7 a factor of (-1*34)/(p/(-10))?
False
Suppose 66*s - 13*s - 46428 = 0. Is 12 a factor of s?
True
Does 21 divide 1*21*(-32310)/(-135) - 7?
True
Suppose -3838*g + 3824*g + 106218 = 0. Is g a multiple of 18?
False
Let y(p) = p**2 + 3*p - 52. Let u be y(6). Suppose -u*z = 2*o - 1206, 4*o = -3*z + 7*z - 2444. Is z a multiple of 26?
False
Let x(q) = 57*q - 21*q - 18*q - 19*q - 14. Let s be x(2). Does 9 divide -20 + 22 - (s - 0)?
True
Suppose 2*c + 36 = 4*g - 2*c, -g - c = -7. Is 23 a factor of 3310/g - 2*(-3)/24?
True
Let c(n) = -5339*n - 11. Does 37 divide c(-1)?
True
Suppose 0 = -74*x - 147500 + 913064 + 769196. Is x a multiple of 181?
False
Let i = 38 - 31. Suppose -1800 = -i*q + q. Is q a multiple of 25?
True
Let i = 307 - 23. Let n = 363 - i. Does 11 divide n?
False
Suppose -20*m - 1870 = -10*m. Let z = 827 - m. Is 78 a factor of z?
True
Suppose 0 = 75*i - 206 + 2456. Let r = -276 + 194. Let l = i - r. Is 18 a factor of l?
False
Suppose -4*s = -608 + 320. Let a = s - -349. Does 29 divide a?
False
Suppose -5*k + 66937 = 657*f - 654*f, -89236 = -4*f - 4*k. Does 34 divide f?
True
Suppose 0 = -x + 22 - 73. Let b = -52 - x. Does 8 divide 29 - (2 - b) - -2?
False
Suppose 69*x = 131*x - 67*x + 97405. Does 51 divide x?
False
Suppose -499 = -6*t + 1211. Suppose m + 469 = 3*r - t, -r + 233 = -4*m. Is 11 a factor of r?
True
Let w = 2766 + -2056. Is 18 a factor of w?
False
Let f(d) = -15*d - 2*d**3 - 61*d**2 + 50*d**2 + 2*d**3 + d**3 + 29. Let m be f(12). Is 398/4 + m + 75/10 a multiple of 10?
True
Is 267 a factor of 68356/8 - 1 - ((-10)/(-4))/(-5)?
True
Does 89 divide (-196452)/(-288) + (-9)/8?
False
Suppose 0 = -1128*q + 1137*q - 86751. Does 13 divide q?
False
Suppose -2*v + 30 - 1 = -k, -3*k - 5*v - 32 = 0. Let i be (k - 2)*(-140)/21. Suppose i = -3*m + 356. Is m a multiple of 12?
True
Let t(o) = 37*o**2 - 4*o + 3. Let s(p) = 2*p**2 - 9*p - 4. Suppose 0 = 20*m - 18*m - 10. Let a be s(m). Is t(a) a multiple of 12?
True
Suppose 2*l = 3*w + 248, -3*l - w + 496 = l. Let g = 161 - l. Let z = 96 - g. Is z a multiple of 7?
False
Let u be (-2)/6*(7 - 312/(-12)). Let l(k) = -k**3 - 6*k**2 + 46*k. Is 11 a factor of l(u)?
True
Suppose 78*r - 3341042 = -51*r + 262702. Is r a multiple of 43?
False
Suppose 2*h - 4*d - 659 - 183 = 0, 0 = -3*d - 12. Suppose -h = -5*g + 387. Suppose -2*t = -4*f + g, -2*f + 7*f = 4*t + 200. Is 8 a factor of f?
True
Let n(v) = 12377*v**2 - 171*v - 171. Is 192 a factor of n(-1)?
False
Let p(u) = 33*u + 1. Let n be p(3). Suppose 4*q - n = i, -4*i = 2*q + 3*q - 146. Is q even?
True
Suppose -21*t = -2*h - 28*t + 28092, -4*h = -t - 56064. Is 4 a factor of h?
False
Let y = 148 - -214. Suppose 0*j + m - y = -3*j, j - 5*m - 110 = 0. Is 10 a factor of j?
True
Suppose 0 = -21*z + 16*z + 160. Let g = z - 93. Let h = g + 84. Does 15 divide h?
False
Suppose -5*w + 253383 = -277. Does 94 divide w?
False
Does 218 divide (12302 + 2 + 13)/((28/(-16))/(-7))?
True
Let f = -88 - -31. Let p = -55 - f. Suppose 651 = p*z + 5*z. Is z a multiple of 13?
False
Let z be (-7 - (-4)/2) + (-7 - 45). Is 95/z + (-488)/(-3) a multiple of 7?
True
Let b be (-2501)/(-6) + 7/42. Suppose a - 163 = c, -5*c = -a + 135 + 676. Let n = c + b. Is n a multiple of 51?
True
Let f be (498/4)/((-1)/2). Let g = f + 468. Is 23 a factor of g?
False
Let b = -90 - -484. Suppose b = 6*o - 74. Let w = o + -29. Is 36 a factor of w?
False
Let s(o) = -2*o - 1. Let n(w) = -10*w**3 - w**2 + 3*w - 3. Let h be n(1). Let i be s(h). Suppose 21 = i*a - 14*a. Is 2 a factor of a?
False
Let r = -3302 - -11264. Does 6 divide r?
True
Suppose 3*b + g = -1936, -5*g + 2578 = -4*b - 3*g. Let o = -353 - b. Is 7 a factor of o?
False
Let r(t) = -69*t + 42. Let u be r(8). Let f = 978 + u. Is f a multiple of 9?
True
Suppose 8*l - 9*l = -9, -4*l = -4*n + 364524. Is 10 a factor of n?
True
Let s(p) = 237*p + 2471. Does 4 divide s(-9)?
False
Let p(i) = -i**3 - 14*i**2 - 15*i - 205. Let w be p(-14). Let v = 6 + -3. Suppose w = -v*h + 41. Is 6 a factor of h?
True
Suppose y + 3*q - 66 = 0, -2*y + q = y - 228. Suppose -5*w + 2*w + 12 = 0. Suppose -33 = -w*t + 5*c, 9*t - 4*t + 5*c - y = 0. Is 4 a factor of t?
True
Let k(u) = -u + 1. Let s be k(5). Let i be -1 - s - 1 - 0. Suppose -63 + 219 = i*h. Does 29 divide h?
False
Suppose 112 = 16*x - 8*x. Suppose -5*n - q + 2033 = 0, -x*n + 2*q - 403 = -15*n. Is 18 a factor of n?
False
Let w be -9 + (2/(-5 - -3))/(-1). Let p = 6 - 14. Is (-314)/p + 2/w a multiple of 16?
False
Suppose 0 = 3*u - c - 8 - 148, 2*u - 3*c - 104 = 0. Let g = -68 + u. Let k = g - -32. Is k a multiple of 6?
False
Let d(r) = -1802*r + 392. Does 40 divide d(-3)?
False
Suppose -4*b = -2*b - 2, 4*b = i - 2. Let r(x) = 4*x + 1. Let h be r(i). Suppose -h*y + 21*y + 960 = 0. Does 22 divide y?
False
Let p(r) = -r**3 + 5*r**2 - r + 5. Let c be p(5). Suppose -13*m + 4*m - 171 = c. Let s(j) = -2*j + 1. Does 3 divide s(m)?
True
Is 91806/12*-4*4/(-8) a multiple of 21?
False
Suppose 0 = 4*w - 16, -s + 4 = -2*w - 39. Suppose 22*m - 215 + 127 = 0. Does 21 divide s + 14 + m/(-2)?
True
Let z = -7 + 3. Let c(v) = -v**3 - 4*v**2 + 33*v - 40. Let m be c(3). Is 17 a factor of (-273)/z - m/(-16)?
True
Suppose 107*k = 87227 + 44384 + 23325. Is k a multiple of 8?
True
Suppose -13*x + 20411 = 5*g - 11*x, -8163 = -2*g - x. Is g a multiple of 43?
True
Let i(f) = 579*f + 34. Let h be (3/(-3) + -5 - 0) + 7. Is i(h) a multiple of 10?
False
Let c = 233 - -3397. Is c a multiple of 12?
False
Suppose 12*f - 67*f - 17*f = -979992. Is 217 a factor of f?
False
Suppose 5*n - 37 = -w - 851, 632 = -4*n + 4*w. Let j = n + 356. Is j a multiple of 13?
False
Let t = -34 - -36. Suppose 7*v - 4*a - 90 = 5*v, t*v - 2*a - 98 = 0. Let z = v - 41. Is z a multiple of 12?
True
Let f(l) = 28*l**2 - 20*l + 11258. Is 13 a factor of f(0)?
True
Suppose -37*f - 219 = 3037. Is 35 a factor of f/(-10) - 9 - 1401/(-5)?
True
Suppose 83*y - 69 = -78*y + 160*y. Let f be (-2)/3 - (-14)/3. Suppose y + 147 = f*n. Is n a multiple of 6?
True
Suppose -2*d - 3*c + 6263 = 0, 5*c - 12637 = -4*d - 104. Is 2 a factor of d?
True
Let y be 4/14 - (-946)/(-77). Let a(p) = p**3 + 13*p**2 + 12*p. Let b be a(y). Suppose -i + 3 = 0, b*v + 50 = 4*v + 