 x be n(1). Is 2/(2/39)*x a multiple of 13?
True
Suppose -6275 = 13*i - 16*i - 5*t, -2*t = -7*i + 14587. Is 139 a factor of i?
True
Let y(x) = 3 - 3 + x + 0*x. Let g(f) = -8*f + 1. Let h(t) = g(t) - 3*y(t). Does 5 divide h(-2)?
False
Let m = 42 - 25. Suppose -20*y + 1767 = 3*x - m*y, -4*x + 2356 = -y. Does 42 divide x?
False
Let h be (-4 + 39/9)/(3/(-36)). Is h/(-8) + (-42)/4*-15 a multiple of 9?
False
Suppose -3*m + 732 + 223 = 2*w, -w = -4*m + 1277. Let i = 565 - m. Does 20 divide i?
False
Let z(h) = -7 - 123*h + 1 + 1 + 314*h. Does 13 divide z(2)?
True
Suppose p + 2*u = 34, 4*p + u - 83 = 2*p. Suppose a - p = -41. Does 2 divide 29/(2 + a + -4)?
False
Suppose -j - 6 + 5 = -2*z, 5*j - 22 = z. Suppose 1285 = 5*o + 5*y + 140, -o = j*y - 241. Let q = 371 - o. Is 10 a factor of q?
False
Suppose 109*d - 80910 = 78*d. Does 58 divide d?
True
Let a = 2499 - 5436. Let s = 4233 + a. Is s a multiple of 18?
True
Let x(u) = -u**3 + 6*u + 7. Let f be x(-2). Does 31 divide f*186 + 0/9?
True
Suppose -5*k - 10012 = -4*b - 3335, 5*k - 3301 = -2*b. Does 10 divide b?
False
Let a = -132496 - -194569. Does 19 divide a?
True
Let c = 39 - -4926. Does 59 divide c?
False
Let f = 36 + -72. Let j = f - -42. Does 37 divide 2*((-222)/(-14))/(j/21)?
True
Let a(b) be the first derivative of -7*b**4/2 - 7*b**3/3 - 2*b**2 - 7*b - 112. Is 10 a factor of a(-3)?
True
Suppose 6*f - f - 25 = -3*k, -4*f = -5*k - 20. Suppose l - 223 = -f*g, 5*l + 3*g - 4*g - 1193 = 0. Is 34 a factor of l?
True
Let v(i) = 1917*i - 1638. Is v(23) a multiple of 21?
False
Does 31 divide (0 - (-6)/(-2))/(-10*78/1265420)?
True
Suppose 0 = 15*f - 6648 + 2073. Let m = -202 + f. Is 27 a factor of m?
False
Let q = -3159 - -5521. Is 21 a factor of q?
False
Let z(y) = -y**3 + 10*y**2 - 3*y - 28. Let q be z(9). Suppose 2618 = -15*w + q*w. Is 14 a factor of w?
True
Let r be -2 - -1 - (-2 + -10)/3. Suppose -2 = -r*i + 2*i. Suppose i*k - 8*k = -828. Is k a multiple of 23?
True
Let i = 330 + -324. Suppose -i*r - 192 + 786 = 0. Is 3 a factor of r?
True
Suppose 273*d = 152*d + 822558. Is 76 a factor of d?
False
Let j = 14410 - 12541. Does 14 divide j?
False
Suppose 4*x - 7944 = 8694 - 2314. Is 60 a factor of x?
False
Let g be (-38)/(-34) - 1 - (-198)/51. Suppose b + 2285 = 3*b - 3*z, -g*b = -2*z - 4574. Does 16 divide b?
False
Let y(h) = 2*h**2 + 67*h - 14. Is y(-47) a multiple of 10?
False
Suppose 7*d + d - a - 84192 = 4*d, 0 = a. Is 8 a factor of d?
True
Let p(w) = 17*w**3 - 3*w**2 + w + 3. Let k be p(2). Suppose k = x + 33. Let m = x - -103. Does 20 divide m?
False
Suppose -12*m = -8*m. Suppose m = d + 2 - 4. Suppose t - 33 = d. Is 5 a factor of t?
True
Let a(f) = -5 + 225*f**3 + 232*f**3 - 442*f**3 + 2*f**2 - 3*f. Is a(3) a multiple of 15?
False
Suppose -19*g = -254 - 2748. Does 3 divide g?
False
Suppose 0 = -35*a + 366658 + 128837. Is 33 a factor of a?
True
Suppose 2*f - 22539 = -3*g, -5*g + 4*f + 34274 + 3269 = 0. Does 59 divide g?
False
Is (3336/2)/(((-3726)/(-460))/27) a multiple of 100?
False
Let m be (1/1 + 1821)*1. Suppose x + 4*q + 25555 = 6*x, 0 = -2*q - 10. Suppose -m + x = 15*p. Does 12 divide p?
False
Let j(v) = 76*v + 555. Is j(-3) a multiple of 20?
False
Suppose -5*h = -5*f + 15, 0 = -2*h - 4*f + 7 + 17. Suppose h*s - 240 = -2*s. Is (1 - 2) + s + -2 a multiple of 20?
False
Suppose 7*x - 605 = 1264. Suppose 3*m - f - 223 = 0, 0 = 3*m + 3*f + 36 - x. Does 15 divide m?
True
Let g = 16692 - 15605. Is 185 a factor of g?
False
Suppose -5*f = 2*j - 29069, -3611 - 13849 = -3*f + 5*j. Is 145 a factor of f?
False
Suppose 36*o - 158*o + 50678 = -51802. Is 21 a factor of o?
True
Let y be -4*(-2)/(-8)*-3. Suppose -y*u + l + 771 = 4*l, 4*u + 2*l - 1038 = 0. Suppose -5*h = -7*h + u. Is 36 a factor of h?
False
Let d be (12 + -11)/(1/135). Let l = d + -87. Is 12 a factor of l?
True
Suppose -3*g = -3*a + 27, 3*g + a = -0*g - 23. Is (-1 - -4 - -730) + (-13 - g) a multiple of 13?
True
Let t be (-62 + 2)/(10/(-35)). Let h = t - 102. Does 36 divide h?
True
Suppose u = 13*u + 360. Let l be ((-8)/u*-3)/(12/(-30)). Suppose -l*m = 2*n - 250, 77 = m + 4*n - 63. Is 10 a factor of m?
True
Suppose -148 = -4*l + 1364. Suppose 6*j = l - 1026. Does 22 divide -1 - j - (18 + -15)?
False
Let u = -6692 - -23267. Is 15 a factor of u?
True
Let y be 14427/49 + 3/(-7). Suppose 4*t + 3*t = y. Suppose -p - 3*h = -67, -p + 27 = 5*h - t. Is 21 a factor of p?
False
Let p(i) be the first derivative of 17*i**3/3 - i**2 - 3*i - 403. Let n = 0 + -2. Is p(n) a multiple of 23?
True
Suppose 2*c = 7 - 11. Let p be (c - 247/(-1))*(-4)/(-5). Suppose -2*l - z + p = z, l - 118 = 3*z. Is 21 a factor of l?
False
Let d(g) = 2236*g - 3298. Is 121 a factor of d(5)?
False
Let w(q) = -11 + 1 - 17*q - 5*q**2 - 7*q**3 + 2 + 4. Let b(s) = -13*s**3 - 11*s**2 - 33*s - 8. Let x(d) = -6*b(d) + 11*w(d). Is x(-8) a multiple of 27?
True
Suppose 0 = 13*b - 2341 - 1832. Suppose -44*a = -2627 - b. Is 2 a factor of a?
False
Suppose 24 = 8*n - 4*n, -5*n + 15670 = 5*d. Is d a multiple of 55?
False
Let q = 171 + -159. Is 5322/q - 6/4 a multiple of 26?
True
Suppose 217*u = 204*u + 62387. Is u a multiple of 21?
False
Let d be ((-1)/(-1))/(1/(2 + 2)). Suppose -5*r - d*y = -19, 2*r + 4*y - y = 2. Does 2 divide 8/(-14) + 39/r?
False
Let c(w) = w**3 - 14*w**2 + 26*w + 8. Let b be c(12). Let p = 65 - b. Does 20 divide ((-239)/3)/(-1) - (-11)/p?
True
Let d(l) = 30*l + 45. Let v be d(-3). Does 21 divide 2 + (-16)/9 - 49130/v?
True
Let t(n) be the second derivative of 25/3*n**3 + 0 + 19*n**2 + 29*n. Is t(6) a multiple of 38?
False
Let j be 15/(-90) - (-125)/(-6). Let w(b) = -b**3 - 21*b**2 - 2*b - 42. Let r be w(j). Suppose r = -2*h + 9*h - 1232. Is 22 a factor of h?
True
Suppose -15*j + 11*j + 156 = 0. Let v be (-19)/4 - (-1)/(-4). Let p = j + v. Is 17 a factor of p?
True
Let r(i) = 5*i**2 + 5*i + 3. Let z(p) = -4*p**2 - 4*p - 4. Let f(q) = -2*r(q) - 3*z(q). Let j = -467 + 462. Is f(j) a multiple of 7?
False
Suppose -54*y + 37086 = -41808. Does 30 divide y?
False
Suppose 12*u + 5*u = 34. Suppose 3*w = -4*f + 2292, -4*f - 1160 = -6*f + u*w. Does 18 divide f?
True
Suppose 3*n + 28 = 3*f + f, 40 = -4*n + 4*f. Let v be ((-80)/n)/(-2)*6/(-5). Suppose -3*y - 19 = -3*j + 32, -3*j + v*y = -47. Is 4 a factor of j?
False
Let u(a) = 883*a**2 - 1211*a - 1210. Is u(-1) a multiple of 4?
True
Let k = 20 + -11. Suppose -k*w + 30 = -3*w. Suppose -5*c - 2*v + 301 = 0, 4*c + 74 = w*c + 5*v. Is c a multiple of 14?
False
Let j(w) = -17*w**2 - 14*w - 5. Let d be j(6). Let f = d - -1286. Is f a multiple of 39?
True
Let u = 13330 + -9854. Does 3 divide u?
False
Let c = 375 + -10. Suppose c = h + 2*p + 30, -680 = -2*h + p. Is h a multiple of 31?
False
Let i(j) = j**3 + 20*j**2 - 3*j - 44. Let p be i(-20). Suppose 0 = -2*l + p*n - 15*n + 1371, 2*l + 2*n = 1362. Is l a multiple of 19?
True
Suppose -5*p - 30 = -5*a, -5*p + 0*p - 10 = 5*a. Let h be (a/5)/((-6)/(-30)). Suppose 0 = h*v - 14 - 34. Does 15 divide v?
False
Let o be 10/(-4)*(-7)/((-245)/(-798)). Does 2 divide (o/(-6) + 1)*-8?
True
Is (131/(-131))/(1/(-11453)) a multiple of 47?
False
Let l(o) = 16*o**2 + 2*o + 1. Let y be l(-1). Suppose 37*t - 41*t = -2*m - 4774, -3*t = 12*m - 3540. Suppose -7*k = -y*k + t. Does 26 divide k?
False
Let z be ((-54)/135)/(-1*1/95). Suppose -5*f + 431 = -c - z, 0 = -3*f + 3*c + 291. Suppose -3*v = 3*s - 81 - f, 0 = -v - 3*s + 62. Is 28 a factor of v?
True
Suppose -128 + 359 = 11*j. Suppose j - 199 = -2*a - 3*t, -2*a + 4*t = -164. Is a a multiple of 3?
False
Let w = -43 + 45. Suppose w*d = 5*g + 112, 2 = -5*d - 2*g + 311. Suppose 0 = 4*p + q - d - 55, -4*p + 116 = 3*q. Is p a multiple of 6?
False
Suppose q - 8*q = -3*q. Let l(y) = -2*y**2 - 4*y + 488. Is 8 a factor of l(q)?
True
Let p(m) = 2*m - 3. Let q be p(4). Suppose -5*u + 2*y + 119 = 0, -5*u = -4*u + 5*y - 40. Suppose 5 = -q*n + u. Is n a multiple of 3?
False
Let x(u) be the first derivative of -6 + 5/2*u**2 - 1/4*u**4 + 21*u - 1/3*u**3. Does 6 divide x(-5)?
True
Let f(y) = -5*y**3 - 32*y**2 - 6*y + 60. Is 6 a factor of f(-10)?
True
Let r(j) be the third derivative of -j**5/30 + 5*j**4/24 + j**3/6 + 20*j**2. Let g be r(-4). Does 12 divide 1 - (g - -3) - (-1 + 2)?
True
Suppose 2*q + 2*u + 0 - 8 = 0, 3*u = -15. Suppose -q*v + 1152 = -v. Is 12 a factor of v?
True
Let g(f)