2*r**2 + 19*r**q - 8*r**2 + 0*r**2. Does 36 divide k(-5)?
True
Suppose 2*d = -t + 6931, -3*t + 13*d = 10*d - 20748. Is t a multiple of 9?
True
Let i = -30 - 29. Let d = -1019 - -985. Let a = d - i. Is a a multiple of 5?
True
Let f = -328 - -946. Let a = f + -222. Is a a multiple of 22?
True
Let o = 7 + 1. Suppose 0 = 4*z - 4*u - o, 5*u = -5*z + 1 - 11. Does 13 divide (1 - z)/(3*(-2)/(-324))?
False
Let r = -4354 + 6921. Does 11 divide r?
False
Suppose 0 = 5*s - j - 23, -3*s + 11*j + 24 = 7*j. Suppose c = -c. Suppose c*n - 152 = -w + s*n, -4*w - n + 625 = 0. Does 26 divide w?
True
Let x = 33635 + -33083. Does 21 divide x?
False
Is 16 a factor of 0 + (-117)/13 + -6 + 2431?
True
Suppose -5*s = 2*k - 33791, -5*s + 4*k = -3*s - 13550. Is 78 a factor of s?
False
Suppose -2*m + 17 = -3*d, -3*m - 2*d + 3 = d. Suppose -8 = -0*k - m*k - 4*y, 5*y = 5. Does 9 divide (72 - k)*(1 + 0)?
False
Suppose 0 = -13*r + 2791 - 11410. Let a = r - -1350. Does 15 divide a?
False
Suppose 2*c - c = -16. Is 10 a factor of 0 + 67 - (c + 13)?
True
Does 63 divide (-4767 - 0)/((-485)/1455)?
True
Let y(n) = -20*n + 35*n - 18*n - 8 + 49. Is 4 a factor of y(8)?
False
Let v = 11222 - 6031. Does 29 divide v?
True
Let f(t) = -77*t + 9004. Is 45 a factor of f(107)?
True
Suppose 3*z + 1 = z - 3*h, h = -2*z + 5. Let m = z - -1. Suppose 264 = m*y - 426. Does 16 divide y?
False
Let a be -3 - -14*-5*3/(-30). Suppose -a*u = -5*r + 7362, -u + 3*u - 1464 = -r. Is 49 a factor of r?
True
Let i = -304 + 109. Let h = i + 499. Is h a multiple of 25?
False
Let x(l) = -l + 36. Let z be x(9). Is 2 a factor of (-3 - -6)*99/z?
False
Let q = -9600 + 10344. Is 20 a factor of q?
False
Let p(b) = -30*b + 3437. Is p(0) a multiple of 8?
False
Let c(q) = -2*q**3 - 6*q**2 + 10*q + 7. Let p be c(-4). Let m(o) = -177*o**3 - o**2 - o - 1. Is m(p) a multiple of 37?
False
Let n(o) = -1057*o - 8103. Does 58 divide n(-21)?
True
Let k be (11/(-5))/(6/(30*-1)). Suppose -k*v + 0*v = -176. Is v even?
True
Let a = -3503 + 26005. Is 51 a factor of a?
False
Let m(j) = j**3 + 95*j**2 - 234*j - 513. Is m(-96) a multiple of 15?
True
Suppose -9*m + 5*m + 168 = 0. Let j = m + -37. Suppose -j*p = -p - 336. Is 14 a factor of p?
True
Let n be 27/5 - 2/5. Suppose 0 = 2*h + n*u - 27, -2*h - 6*u = -2*u - 28. Is 16 a factor of h?
True
Let j(v) = 3*v - 1. Let w(i) = -i**2 + 2*i + 1. Let d(r) = 2*j(r) - 6*w(r). Suppose 12 = -c - 4*x, 4*x + x = -5*c. Is 12 a factor of d(c)?
False
Is (6 + (-6636)/(-8) - 0)/((-15)/(-190)) a multiple of 15?
False
Suppose -6*l - 113 = -1541. Is l a multiple of 12?
False
Suppose -f = 132*d - 135*d + 39604, 0 = 2*d - f - 26401. Is 81 a factor of d?
True
Let o(h) = -11 - 11*h - 26 + 2. Let n be (1 - -1)*(18/(-4) - 0). Is 8 a factor of o(n)?
True
Suppose 13*t = 20*t + 158*t - 4878060. Is t a multiple of 58?
False
Let q(w) = -w**2 - 2*w + 21. Let k = 49 - 44. Let s = k + -5. Is 9 a factor of q(s)?
False
Suppose 5*h = -3*w + 6027, 0 = -h + 77 - 80. Suppose -11*u + 1176 = -w. Is u a multiple of 10?
True
Let t be (-21)/7 - 5 - -12. Suppose 0 = -t*m + 3*f + 3414, -5*m - 4*f + 4045 + 238 = 0. Does 15 divide m?
True
Let h be (-1 + -1)/((-1)/18*2). Let o be (h + (-6)/(-2))*-1. Let s(a) = -2*a + 7. Does 13 divide s(o)?
False
Let o(a) = a**3 - 8*a**2 - a + 34. Let l be o(8). Let b = l - -39. Is 13 a factor of b?
True
Let s be 305/(-10) - 1/2. Let n = s + 91. Suppose -5*g = -2*j + 120, -j + 0*j - 2*g = -n. Is j a multiple of 12?
True
Let r(c) be the third derivative of -9*c**6/40 - c**5/30 - c**4/8 + 27*c**2. Let d be r(-2). Let j = d + -64. Is 25 a factor of j?
True
Let m be (14 - (-4 + 4)) + 4/(-2). Suppose -35*c = -m*c - 11385. Is c a multiple of 15?
True
Let w(t) be the third derivative of -7*t**4/6 - 2*t**3/3 - 55*t**2. Is 17 a factor of w(-5)?
True
Suppose -63028 - 12774 = -22*o - 11474. Does 43 divide o?
True
Suppose 89*t - 1409231 = -50557. Is t a multiple of 17?
True
Let t = 242 + -167. Suppose 0 = 4*h, -3*c - h = -8*c - t. Is (0 - c)*(-340)/(-51) a multiple of 10?
True
Let h = -49 - -13. Let u be (h/8)/(1/(-2)). Is 2*1 - (-1494)/u a multiple of 24?
True
Let h(i) = 5*i**2 - 2*i + 1. Let u be h(1). Let q be (0 + -1)/(-1*1/u). Suppose 0 = -q*x + 92 + 24. Is x a multiple of 6?
False
Let u(n) = 3*n - 80. Let h be u(28). Suppose 0 = h*p - j - 24, 30 = 2*p - 6*j + j. Suppose -p*y + 388 = -332. Is 9 a factor of y?
True
Suppose 2*p + f + 97 = 0, 6*f - 4*f - 106 = 2*p. Let m = -31 - p. Suppose 3*n - 79 = -0*u + u, -4*u - m = -n. Does 7 divide n?
False
Let w = 454 - 450. Suppose -6*h + 5*h = -5*o + 5370, -3*o + w*h = -3239. Is 37 a factor of o?
True
Let l = -33975 + 69178. Is 47 a factor of l?
True
Let i = 37 + 7. Let c = i + -41. Suppose -3*d = -6, -7*o + c*o = -5*d - 386. Is 11 a factor of o?
True
Is 9*(-40)/(-36) - -9013 a multiple of 20?
False
Let x = 131 - 131. Suppose 2*z = -v + 825, x = -4*v - 5*z - 35 + 3338. Is 62 a factor of v?
False
Let j = -15 + 61. Let g = -73 + j. Is 10 a factor of (-9)/(g/2) - 866/(-6)?
False
Suppose -40 = -31*t + 23*t. Suppose -1406 = -t*x - 3*p + 343, -3*x + 5*p = -1029. Is x a multiple of 58?
True
Let k(h) = 6*h**2 + 13*h - 3. Let a = -636 + 645. Is 75 a factor of k(a)?
True
Suppose 7*g = 2876 + 918. Let t = g - 212. Does 55 divide t?
True
Let t = 4145 + -1033. Is t a multiple of 38?
False
Let h be -3778*3/27 - (-12)/(-54). Is 46 a factor of 1/((-3)/h) + 1?
False
Is 120 a factor of (8 - -1)/(61/74054) - 3*2?
True
Suppose -2128 - 4122 = -10*a. Let q = a - 380. Is q a multiple of 25?
False
Let z = -1355 + 2367. Does 13 divide z?
False
Let w be -3*(-5)/(-4)*-1060. Does 49 divide w/9 + (4 - (-14)/(-3))?
True
Let n be (15/(-6))/((-2)/(-48)). Let t = n - -147. Is 32 a factor of t?
False
Suppose 32 = -0*p - p. Let c = 279 - 284. Is (p - 3)*4/c a multiple of 7?
True
Suppose -33 + 373 = 34*u. Is 15/u*-2 - -558 a multiple of 26?
False
Let u = -1711 + 2976. Suppose 3*d + d = -3*v + 1881, -2*v = -d - u. Does 18 divide v?
False
Suppose -197*w + 505 = -489 - 188. Let y = -44 + 79. Suppose 0 = -5*x + w*x - y. Is 5 a factor of x?
True
Suppose -35*w = -47*w + 67*w - 1816980. Does 12 divide w?
True
Let c be 6/(9175/(-48950) + (-2)/(-11)). Let n = -613 - c. Is 35 a factor of n?
True
Let q = -190 + 192. Suppose q*d + 106 = n, -2*n = 7*d - 4*d - 205. Does 11 divide n?
False
Let f = 32 - 42. Let n = -97 - f. Is 4 a factor of n/(-4) - (75/20 + -4)?
False
Let b(o) = 3*o**2 - 11*o - 26. Suppose n + 17 = -2*i, -5*i - 30*n + 32*n = 20. Is b(i) a multiple of 37?
True
Suppose 5*j + n = 49, n + 44 = 4*j + 3*n. Suppose 0*q - 5*q + 171 = 2*t, 5*t - 4*q - 510 = 0. Suppose -s = -j - t. Does 20 divide s?
False
Let a = -31 + 34. Suppose -2*g = -5*g - z + 8, 5*g - 4 = a*z. Suppose 3*p = -g*p + 200. Is 7 a factor of p?
False
Let j(r) = -3*r - 202. Let p = 43 + -43. Let s be j(p). Is s/(-7) + (-2)/(-14) a multiple of 5?
False
Let t(h) = -h**2 - 15*h - 25. Let n be (45/6)/3 - 1/2. Let s be 30/(-4) - n - 1/2. Is 9 a factor of t(s)?
False
Suppose -10*f + 41895 = 11*f. Suppose 19*r - 24*r = -f. Is 19 a factor of r?
True
Suppose 0 = -48*p + 12942 + 35058. Is 100 a factor of p?
True
Suppose -3*b - 2*h + 26964 = -19477, 3*h + 30991 = 2*b. Is 19 a factor of b?
True
Let i(n) = -4*n**2 - 47*n - 10. Suppose -5*q + h - 39 = 0, q - 3*h + 9 = -4*h. Does 11 divide i(q)?
True
Let q(g) be the second derivative of g**4/6 + 3*g**3/2 - 29*g**2 + 33*g. Is q(4) a multiple of 5?
True
Suppose 4*j - 2172 = -k, -5*j + 24*k - 21*k = -2732. Let v = j - 317. Is 4 a factor of v?
False
Let p be (-3468)/8*-1*(-2)/(-3). Let o = 609 - p. Does 40 divide o?
True
Let z = 18 - 21. Let r be (0 + z + 3)/(-2) - 220. Let p = r + 341. Is p a multiple of 11?
True
Suppose a - 5 = -h, 4*h + h - 2*a + 10 = 0. Suppose -t = -c + 11 - 1, 5*t - 2*c + 50 = h. Let w = 17 - t. Is 8 a factor of w?
False
Let m(q) = -q**2 + 4*q - 1. Let v be m(1). Suppose 0 = -4*b + 2*d + 4, -3*b - 5*d + 20 = -9. Suppose l + 63 = 3*f - 41, 74 = v*f - b*l. Does 17 divide f?
True
Let s = 144 + -120. Does 4 divide s/(-96) - (-1570)/8?
True
Let p(x) = 10*x. Let z(a) = a - 13. Let r be z(7). Let q(i) = -11*i. Let n(y) = r*p(y) - 5*q(y). Does 13 divide n(-7)?
False
Let r = -11093 + 15635. Is r a multiple of 63?
False
Let o(x) = -x**2 - 7*x. Let y be o(-7). Suppose -4*q - 2 = -s - 1, y = 3*q - 5*s + 5.