+ 12 + 0 + 12. Does 4 divide q(n)?
False
Suppose 2*u + 4*q - 10 = 3*q, 3*u - 5*q + 11 = 0. Suppose z - 2*j - 35 = -4*z, 0 = 3*z + u*j. Suppose -z*p = -0*p - 255. Does 17 divide p?
True
Suppose -81*x = 25*x + 39*x - 6147130. Is x a multiple of 174?
False
Let y(a) = a**3 - 9*a**2 + 12*a + 24. Let c be y(8). Let q = c - 3. Does 12 divide q?
False
Let x be 1 - -762 - (14 + 1 + -9). Suppose 243 = j - x. Does 100 divide j?
True
Suppose -q + 21 = -8. Suppose -1274 - 346 = -20*g. Suppose 0 = g*s - 82*s + q. Is 18 a factor of s?
False
Suppose 0 = -9*x + 707 + 19399. Suppose 0 = -5*u - 4*t + 2972 - 720, 5*u = 2*t + x. Does 32 divide u?
True
Suppose -a = 9 - 31. Suppose -118 = -6*i - a. Is 8 a factor of i?
True
Suppose -4*g + 2*l + 58 = 0, g - 4*l = -2 + 20. Is 5656/10 - 7*g/(-245) a multiple of 25?
False
Does 11 divide 11967 + (-9)/243*-9*-30?
True
Let w be 3*(29 + -34)/(-4 + 1). Suppose -u + 2*u = -w*y + 2305, y + 5*u - 437 = 0. Is y a multiple of 14?
True
Suppose 3584 = 3*w - 2*u - 1752, 0 = -5*u + 25. Is 81 a factor of w?
True
Let x(c) = -c**3 - c**2 + 132. Suppose -3*r = -6*n + n - 83, -13 = n + 3*r. Let b = -16 - n. Is x(b) a multiple of 22?
True
Suppose 24 = -8*x + 10*x. Is (-18)/x + 6/(-4) - -771 a multiple of 16?
True
Let z be 4/34 + 32451372/(-612). Is 0 - (-1)/4 - z/300 a multiple of 45?
False
Let x = -38200 + 46012. Does 16 divide x?
False
Suppose f = -2*g + 2519, -2*g + 214*f + 2516 = 218*f. Is g a multiple of 4?
True
Suppose u - 10 = -5. Let f(m) = -64*m + 27*m + 32 + 35*m + 25*m. Is 21 a factor of f(u)?
True
Suppose 0 = 53*j - 260 - 853. Is 19 a factor of (-38)/(320/504 + (-18)/j)?
True
Is (56/196 - (-22)/(-28))/(3/(-17466)) a multiple of 41?
True
Suppose -41*o + 1705 = -20107. Is 5 a factor of o?
False
Let a be -1 - -4 - (3 - -3). Let c be (-4)/18*a*3. Suppose -5*l + 465 = c*x, -2*l + 7*l - 3*x = 465. Is 34 a factor of l?
False
Suppose -3*t - 3456 = z, 2*z - 5760 = 5*t + 4*z. Let i = -811 - t. Is i a multiple of 28?
False
Suppose -q = 4*y - 1698, 2*q = -4*y + 3*q + 1702. Suppose 12*v - 7 = y. Is v a multiple of 18?
True
Let x(i) = -i**3 - 12*i**2 - 11*i - 4. Suppose -150 + 51 = 9*f. Let s be x(f). Is 122 + (s - (-9 - -1)) a multiple of 12?
False
Let v(a) = 7*a**2 + 13*a + 6. Let m(q) = -3*q**2 - 13*q - 5. Let y(i) = -i**2. Let t(o) = m(o) + 5*y(o). Let n(j) = 4*t(j) + 5*v(j). Does 25 divide n(-6)?
False
Suppose -t + 8 = -5*t, 3*o = 2*t + 7. Let k be (83 - (2 + 0))/o. Suppose 0 = 3*z + z + 5*n - 71, k = 4*z + 3*n. Is z a multiple of 6?
True
Let t(m) = 16*m - 2. Let d be 24/9*(2/4 + 1). Let q be t(d). Suppose -3*k = -4*s - 0*k + 313, s - 4*k = q. Is 26 a factor of s?
False
Suppose -28*u = -145*u + 194805. Is 5 a factor of u?
True
Let x = 12 - 10. Suppose -2*p = p + 3*i + 63, 10 = -2*i. Let z = x - p. Does 6 divide z?
True
Suppose 4*c + 0*c = -5*o + 1543, 5*c = 2*o + 1970. Suppose 10*w = -4*w + c. Does 2 divide w?
True
Let f(i) be the second derivative of -7*i**3/6 - 19*i**2/2 + 9*i. Let y be f(-5). Is 4 a factor of (-5 - -4 - (1 + 0)) + y?
False
Let y = -1242 + 870. Let x = y - -772. Is x a multiple of 25?
True
Let w(t) = 38*t - 10. Suppose 4 = -h + 2*h. Let y be 3*2/(h/2). Is 26 a factor of w(y)?
True
Let c = -1197 - -6083. Is 24 a factor of c?
False
Suppose -3*l + 61*y + 30321 = 60*y, 5*l = 5*y + 50525. Is 133 a factor of l?
True
Let y(u) = -11*u + 15. Suppose 2*n = -5*n + 7. Let v be (-4)/(-14) + (n - 90/21). Is y(v) a multiple of 48?
True
Let f = -7643 + 10300. Is 15 a factor of f?
False
Let t(z) = 26 + 1 + 0*z - 2*z - z + 12*z. Let w(v) = v**2 + 7*v - 4. Let p be w(-8). Is t(p) a multiple of 37?
False
Suppose 0 = 35*g - 436699 + 237532 - 464608. Does 95 divide g?
False
Let p = 1037 - 1044. Let j(h) = 2*h**3 + 9*h**2 - 17*h - 25. Let z(m) = -3*m**3 - 14*m**2 + 25*m + 38. Let s(b) = -7*j(b) - 5*z(b). Is s(p) a multiple of 27?
True
Let u(d) = -d + 11. Let j be u(8). Suppose -7*y = 5*y - 60. Suppose -j*r + 36 = -r - 5*q, y*r - 152 = -3*q. Is r a multiple of 4?
True
Let h be ((-3)/(-63)*7)/((-1)/(-363)). Suppose -3*x - 8*x = -h. Let f = x - -88. Is f a multiple of 10?
False
Suppose 7*f + 236 + 1612 = 0. Let z = f + 723. Is z a multiple of 51?
True
Let z(i) = 14498*i + 1406. Does 32 divide z(1)?
True
Suppose -4*y - 64 + 80 = 0. Suppose 4*m - 423 = -o, 7*o - 9*o - 426 = -y*m. Is m a multiple of 10?
False
Suppose -c = -6*u + u + 5801, 3*u - 4*c = 3484. Is u a multiple of 8?
True
Let r(o) = -o**3 - 4*o**2 - o - 15. Let m be r(-5). Let d = -12 + m. Let p(s) = 2*s**3 - 4*s**2 + 3*s + 2. Does 8 divide p(d)?
False
Suppose -451 + 5441 = 4*i + 5*j, -5*i - 5*j + 6230 = 0. Does 62 divide i?
True
Let d = -63 - -234. Let x = d - 116. Does 5 divide x?
True
Let l = 14691 + -9192. Is l a multiple of 13?
True
Suppose -5*s - 17 = -2*j + j, -6 = 2*j - 2*s. Let l(i) = -5*i - 4 + 6*i - i**2 - 14*i. Does 11 divide l(j)?
False
Let p be (4374/36)/((-3)/16*-4). Is 20 a factor of 4*p/8 - -4?
False
Suppose -474 = 6*c + 78. Let t = 62 - c. Is t a multiple of 11?
True
Let h(l) = -33*l + 186. Let o be h(28). Let a = 796 + o. Is 29 a factor of a?
True
Suppose 81359 + 232543 = 26*s + 49638. Is s a multiple of 18?
False
Let b be (-3)/6 + 35/(-10). Is 17 a factor of b/30 - 4834/(-30)?
False
Let h be (4 - 7/2)*(-1 + 11). Suppose v - h*q = 20, -3*q = 4*v - v - 42. Let g = v - 6. Is 2 a factor of g?
False
Let b = -2210 - -4168. Is 33 a factor of b?
False
Let a(q) = 4 + 113*q + 23 + 1. Is a(3) a multiple of 39?
False
Suppose -2 + 8 = -3*d. Let i(j) = -3*j**3 + 2*j**2 + 2*j - 1. Let o be i(2). Does 31 divide (o/d)/(2/28)?
False
Let x(k) = k - 8. Let h be x(12). Let s be 2/(-8) - 15/h. Is 0/(-1) - 72/s a multiple of 18?
True
Let g(q) = 3*q**2 - 4*q + 14. Let l be g(-7). Let d be 1665/(-21) - 2/(-7). Let j = d + l. Is 11 a factor of j?
True
Let a = -7079 + 11111. Does 12 divide a?
True
Let i = 10914 + -1857. Is 10 a factor of i?
False
Let g = 20534 - 447. Is 31 a factor of g?
False
Let g be 2 + 24/6*(-22)/(-8). Suppose -15*v = -g*v - 42. Let w = 89 - v. Is 13 a factor of w?
False
Let o(n) = -2428*n - 6500. Is o(-20) a multiple of 12?
True
Let v(i) = -338*i + 3786. Is 12 a factor of v(0)?
False
Let r be ((-4)/(-2))/((-29)/(-58)). Suppose -7*c + 5*o = -r*c - 281, c - o - 97 = 0. Is c a multiple of 34?
True
Suppose 4*n = x - 2*x + 48, -5*x = -2*n + 24. Suppose 0 = -2*i + 13*d - n*d + 926, 20 = 5*d. Does 31 divide i?
True
Suppose 0 = 5*u - n - 34365, -5*n + 27521 = -88*u + 92*u. Does 8 divide u?
False
Suppose 5*n - 364 = 766. Let w = 11 + n. Is 9 a factor of w/6 + ((-2)/4 - -2)?
False
Suppose 8*n + 2*y = 3*n + 56430, y = 5. Is n a multiple of 7?
True
Let u = 579 + -573. Suppose 51 = -u*w + 453. Is 4 a factor of w?
False
Does 33 divide (-5 + 9 - 7 - -6 - -2) + 3328?
True
Let o = -3343 + 5011. Suppose 4*u - 4*t - o = 0, 12*u + 414 = 13*u + 2*t. Is u a multiple of 32?
True
Let q = 20 - 9. Suppose -q*c = -13*c. Suppose -3*t + 9*t - 528 = c. Is 44 a factor of t?
True
Suppose 7*a + 15 = 50. Suppose -262 - 153 = a*l. Let m = l - -129. Is 13 a factor of m?
False
Suppose 3*t - 5*m = 12, -2*t = t + 5*m - 42. Suppose 5*b + t*n - 874 = 11*n, 698 = 4*b - 2*n. Is 22 a factor of b?
True
Let u(n) = n**3 + 18*n**2 - 1. Let h be u(-18). Let v(w) = -110*w**3 - w**2 - 3*w. Does 14 divide v(h)?
True
Suppose 11*f = -4*f + 375. Let d = -105 + f. Is 20 a factor of 1802/8 + 20/d?
False
Let o be -634 - 4/(5/(-2 + -3)). Does 37 divide (o/50)/(3/(-15))?
False
Suppose 0 = -6*l + 18. Suppose 417 = 2*u + a, -l*u + 2*u = -4*a - 195. Is 70 a factor of u?
False
Let c = 3483 + -1226. Does 29 divide c?
False
Let u = 56 + -52. Is u + (-20)/4 - -54 a multiple of 5?
False
Let d = -193 + 49. Let x = d + 336. Is 10 a factor of x?
False
Let a(f) = 5 + 32*f**2 - 11*f**2 - 14*f**2 + 5*f. Let q be (0 - 8/3)*3/2. Is a(q) a multiple of 15?
False
Let r = -3964 + 4271. Does 12 divide r?
False
Let o(f) = -5*f + 50. Let c be o(7). Suppose 19*s = c*s + 332. Is s a multiple of 8?
False
Let o = -4718 + 8444. Is 46 a factor of o?
True
Suppose 2*d - 168 = -5*z + 972, -3*z = d - 684. Let s(k) = 31*k. Let x be s(-4). Let p = x + z. Does 26 divide p?
True
Does 18 divide ((-1232)/(-220))/((-4)/(-110))?
False
Suppose -16*v = -13*v - 12. Suppose -9*i + 1125 = -v*i. Let s = i + -76. Is s a multiple of 44?
False
Let b = 2 - 2. Let p be 14*14*(