u - 436. Let v be g(0). Let a = v - -580. Is a a multiple of 31?
False
Let g(x) = 3*x**3 - 32*x**2 + 10*x - 1. Let s be g(11). Let r = 260 - s. Does 3 divide r?
True
Suppose 4*x - 4 = 3*z + 27, -27 = -4*x - z. Suppose 0 = 2*p - 4*c - 472, 35*p + 936 = 39*p - 4*c. Suppose -x*m + p = -76. Does 11 divide m?
True
Suppose 1062*r - 32220 = 1057*r - 5*v, -12892 = -2*r + 2*v. Does 5 divide r?
True
Suppose -7*y = -12*y - 3*p + 32, -2*p = 4*y - 24. Suppose q + q - 2*r = 400, r + y = 0. Is q a multiple of 84?
False
Let j(i) = 14*i**3 - i**2 - 3*i + 2. Let g be j(2). Let r = -27 + g. Is 9 a factor of r?
False
Let b be ((-2)/(-8)*-57)/((-126)/168). Suppose -b*q - 3 = -18*q. Is 6 a factor of 2 + 0 + q + 87?
False
Let u(s) = s**3 + 3*s**2 + 1. Let t be u(-3). Suppose j + x + t = 0, -x - 13 = j + 3*x. Suppose -4*k = 3*p - 72, -j*k = 2*p - 4*k - 37. Is p a multiple of 4?
True
Let m = -244 - -294. Let a be (-9)/(-3) + 0 + 0. Is 25 a factor of (a/(3/m))/1?
True
Is (-15740)/(-8)*(30/6 + -3) a multiple of 7?
False
Let h(y) = 597*y**3 - 20*y**2 + 81*y - 290. Does 82 divide h(4)?
False
Let x(b) = -b**2 - 3*b + 16. Let k be x(4). Does 5 divide ((-80)/k)/(-4)*-123*1?
True
Let f(b) = 561*b + 2601. Is f(15) a multiple of 27?
True
Suppose -2*r + 218 = -d, -3*r - 2*d - 2*d = -349. Suppose -219 = -5*t + r. Is 6 a factor of t?
True
Suppose g + g - 50 = 0. Let i be 15393*6/45 - 10/g. Suppose j = -5*j + i. Is j a multiple of 57?
True
Suppose 5*m + 2 = -4*t, 2*t + 6 - 2 = -4*m. Suppose -t*i + 3*j = 53, 3*i + 0*j = -5*j - 32. Let n(u) = u**3 + 20*u**2 + 15*u - 21. Is n(i) a multiple of 14?
False
Let w(q) = 1169*q**2 + 825*q - 4138. Is w(5) a multiple of 67?
True
Suppose 4*r - j = 4*j + 5097, -1258 = -r - 2*j. Suppose 3191 = 5*m - 3*d, m - 3*d = 3*m - r. Suppose 4*w - 826 = -5*z, m + 400 = 5*w + 4*z. Is 17 a factor of w?
False
Suppose -2*g - 6*x + 42262 = -3*x, 3*g - 4*x = 63444. Is 10 a factor of g?
True
Let d(p) = 7*p**3 + 13*p**3 + 51*p**3 - 20 + 19 + 2*p**2. Let m(u) = u + 3. Let n be m(-2). Does 10 divide d(n)?
False
Suppose -2*o + 3*u + 642 = u, -1635 = -5*o - 5*u. Suppose 5*z = 14*s - 11*s - 1057, 0 = s + 4*z - o. Is 7 a factor of s?
False
Suppose -36 = 5*h - 36. Is 55 a factor of 7/(((-18)/(-402))/(h + 3))?
False
Suppose -33 = -5*p + 12, 2*p - 102096 = -2*q. Is 53 a factor of q?
True
Let x(p) = -p - 4. Let i be x(-6). Let s(o) = 197*o**2 - 56*o**2 + 20 - 9*o - 63*o**2 - 44*o**2 - 7. Is s(i) a multiple of 11?
False
Let k = 6423 + -2503. Suppose -k = 6*v - 16*v. Is 5 a factor of v?
False
Let c = 393 - 382. Suppose c*b = -1660 + 5994. Does 41 divide b?
False
Let x = 300 - 302. Does 7 divide (-3)/(-15) - (9804/(-30) + x)?
True
Let l be (758/8)/(11/(-44)). Let c = l - -731. Does 50 divide c?
False
Let f = 27480 - 9880. Is f a multiple of 40?
True
Let o(b) = b**2 + b - 1. Let j be o(0). Let y be 1*(1 + -2) - j. Suppose -93 = -3*n + 3*f - y*f, 2*n - 66 = 4*f. Does 14 divide n?
False
Suppose -3*r + 1082 = -2*f - 4533, 7*f = 35. Is 25 a factor of r?
True
Let j be ((-3)/(-9))/(2/(-14856)). Let q = j - -3914. Is 14 a factor of q?
False
Suppose -3*a + 5*v + 14 = 0, -7*a = -10*a - 5*v + 4. Suppose 0*q = -a*q + 342. Is 30 a factor of q?
False
Let r be 26/78 + (-22)/(-6). Suppose -k = -4*t + 927, 0 = -r*t + 16*k - 18*k + 930. Is 13 a factor of t?
False
Is 37 a factor of (0 + (-2)/1)*(-49 + 12)*26?
True
Let x = 14120 - 2546. Does 9 divide x?
True
Let p be 4*(-7 - 40/(-4)). Suppose p*t - 10*t + 4998 = 4*b, 4*b - 5013 = -3*t. Is 39 a factor of b?
False
Suppose 14*k = 73*k - 41064. Is k a multiple of 8?
True
Suppose -3*c = -5*f + 18, -3*f + c - 2 = -12. Suppose -o + 79 = -2*l, -f*o + 2*l = -117 - 140. Is o a multiple of 11?
False
Let p = -15042 - -22998. Is p a multiple of 13?
True
Let m(z) = 19*z**3 + 42*z - 29. Is m(4) a multiple of 15?
False
Suppose 69 = 5*b - 49*k + 51*k, 3*b - 3*k = 33. Let g(o) = -13*o**2 + 2*o + 2*o - 19 + o + o**3. Is 11 a factor of g(b)?
False
Suppose -248 = -2*n - 108. Let y = -49 + n. Does 2 divide y?
False
Let o be -6*5 - (6 + -4). Let f = o + 31. Is 28 a factor of f/(-2)*-10 - -285?
True
Let f(p) = 2*p**3 - p**2 - 10*p - 10. Let s be f(-1). Is 8 a factor of (1520/(-19))/(s/48)?
True
Suppose 0 = -n - 1437 + 2436. Is 9 a factor of n?
True
Is 69 a factor of (5 - ((-2632)/(-72))/7) + (-19660)/(-18)?
False
Suppose 0 = -4*u + 3*u + 2. Let f(a) = 0*a + 30 + a**3 + 9*a**u + 11 + 9*a. Is 9 a factor of f(-8)?
False
Suppose 69210 = 5*v + 5*z, -18*v = -13*v + 2*z - 69225. Does 24 divide v?
False
Let c = 23 + -25. Does 12 divide ((-188)/6 - -5)/(c/12)?
False
Let u(g) = -2*g**2 - g + 4. Let d(t) = -2*t - 30. Let r be d(-15). Let n be u(r). Suppose 0 = 5*l - 5*x - 50, -n*x - 1 = 15. Is l a multiple of 5?
False
Let s be 69/2 - 10*(-2)/8. Suppose 2*r - s = 149. Does 6 divide r?
False
Let u = -22104 + 35629. Does 11 divide u?
False
Let p(a) = -30*a + 9040. Is 64 a factor of p(-45)?
False
Suppose -5*o = -5, -5*o - 5 = -z - 2*o. Let h(l) = -l**3 + 7*l**2 + 5*l + 4. Let i be h(z). Let k = 130 + i. Does 22 divide k?
True
Let k(i) = -38*i**2 - 2*i + 4. Let u = -22 - -16. Let o(h) = -h**2 - 1. Let d(s) = u*o(s) - k(s). Does 17 divide d(-1)?
False
Suppose -3*i = 2*y - 1330, -3*y = -18*i + 22*i - 1997. Is y a multiple of 11?
True
Let m(u) = 316*u - 60. Let i be m(10). Suppose -i = -678*n + 673*n. Does 31 divide n?
True
Suppose 6*l - 105 = 315. Suppose 8*g + 6*g = l. Suppose -212 = 2*m + 3*b - 569, 0 = -5*b - g. Is m a multiple of 18?
True
Suppose 4*c + 12 = 2*u, u - 3*u = 2*c. Let j(t) = 2*t + 2 + 1 - 33*t**2 - 6*t + 155*t**u. Is 36 a factor of j(1)?
False
Let y(s) = s**2 - s + 41. Let c be (0/(-1))/((-16)/40*5). Is y(c) even?
False
Suppose 5*w - 6*w + 16 = 0. Suppose 4*a - 37 = 3*d, -4*a - w = 4*d + 80. Let z(k) = k**2 + 18*k + 44. Is 7 a factor of z(d)?
True
Suppose -12 = -v - b + 6*b, -2*b - 4 = 0. Let m be 1141/14 - -1 - v/(-4). Suppose 4*d - 5*r - 204 - m = 0, -3*r + 405 = 5*d. Does 13 divide d?
True
Let c be 7 + (-39)/5 + 1269/5. Let n = c + -116. Does 7 divide n?
False
Suppose -c + 2*j - 12 + 4 = 0, -j + 4 = 2*c. Suppose 18*x - 3147 = 13*x + 3*k, -4*x + 2*k + 2518 = c. Is x a multiple of 15?
True
Let l(a) = 3*a - 127. Let b be l(44). Suppose -b*d - 4920 = -5*n, n - 3*n + 1968 = 2*d. Is 82 a factor of n?
True
Let f(d) = -37*d + 78. Let u be f(2). Suppose 2008 = u*h - 552. Is h a multiple of 88?
False
Let p(k) = -k**2 - 6*k + 30. Suppose -7*m + 7 = 7. Does 6 divide p(m)?
True
Let p(a) be the second derivative of 15*a**3/2 - a**2 + 446*a. Let r(w) = -2*w - 2. Let z be r(-2). Is p(z) a multiple of 8?
True
Suppose -282*f = -337*f + 642675. Is f a multiple of 41?
True
Suppose 0 = -6*a - 7 + 25. Suppose -c + 4 = a. Is 19 a factor of 805/(-7)*(c - 2)?
False
Suppose -2*p - 337 = 129. Let l = 458 + p. Is 11 a factor of l?
False
Let y(u) = 220*u**2 + 264*u - 4. Is 26 a factor of y(2)?
True
Suppose -n - 203 = -10*w + 5*w, n + 3 = 0. Let d(f) = w*f - 37 + 7*f - 29 + 41. Is d(5) a multiple of 15?
True
Let b(c) = c**3 + 13*c**2 + 3*c + 32. Let l be b(-13). Does 31 divide 286242/462 + (-3)/l?
True
Suppose -5*m - 19 = 2*i, -4*i + 10 = -9*i. Let h be (7 + m)*3/(-4) + 9. Suppose -93 = -t + h. Is 9 a factor of t?
True
Does 9 divide ((-1378105)/(-10))/17 + (-3)/6?
False
Suppose -17*t - 24933 - 11243 = 0. Is ((-7)/(-4))/((-14)/t) a multiple of 7?
True
Suppose -4*q + 96 = -q. Let i = q + -37. Let u(o) = o**2 + 4*o - 2. Is u(i) a multiple of 2?
False
Let n(l) = -2*l**3 + l**2 - 2*l + 7. Let z(k) = -k**3 - k + 1. Let f(g) = n(g) - 3*z(g). Let b be f(0). Let j(p) = -p**2 + 12*p - 11. Is 7 a factor of j(b)?
True
Suppose 3*s - 4*q = 24161, 3*q - 4*q = 5*s - 40276. Does 48 divide s?
False
Suppose -5*z = 6*n - n - 110, 0 = 2*n - 4*z - 20. Is 4 a factor of (120/n - 5) + 764/6?
False
Suppose -4*a + a + 2967 = 0. Let g = 1549 - a. Is g a multiple of 80?
True
Let m(d) = -d**3 - 8*d**2 + 12*d - 7. Let p be m(-17). Let h = p + -1346. Does 18 divide h?
True
Is 16 a factor of ((-6)/4*-1)/((-54)/(-44964))?
False
Let d = 172 + -167. Suppose 51 = -d*p + 156. Is p a multiple of 18?
False
Suppose -5 = -2*g + 5. Suppose 178 = l + 2*j, -g*l = -0*j - 5*j - 950. Suppose 0 = 6*m - l + 48. Is m a multiple of 10?
False
Is -169*-20*(-10)/4*72/(-120) a multiple of 195?
True
Let q be (-14 - (-189)/14)/((-2)/12). Suppose 237 =