((-1)/(-3))/((-3)/(-108)). Let u(h) be the first derivative of 7*h**2/2 + 48*h + 40. Is 11 a factor of u(w)?
True
Suppose -3*z = z. Suppose -2*p - 2*a + 20 = z, -4*p + 20 = 3*a - 18. Suppose -p*v + 97 = -7*v. Is 20 a factor of v?
False
Let b(r) = 937*r**2 + 138*r + 405. Is 24 a factor of b(-3)?
True
Let z = 5892 + 2975. Is 29 a factor of z?
False
Let w be 120/(-180)*(27/(-2))/3. Suppose 0 = -w*j - n + 1618, -3*n - 363 - 183 = -j. Does 6 divide j?
True
Let s(a) = a**3 + 12*a**2 - 30*a + 225. Is s(10) a multiple of 26?
False
Let d(m) = -96*m - 20. Let y be d(-12). Suppose 6*l - y - 1574 = 0. Does 11 divide l?
True
Let o = -9483 + 14743. Suppose -3*r - o = -23*r. Is r a multiple of 65?
False
Suppose 0 = -199*i + 204*i - 225. Suppose -37*u + i*u - 2992 = 0. Is 40 a factor of u?
False
Is 3/(2/12974 - 0/(-26)) a multiple of 32?
False
Let k(q) = q**3 - 6*q**2 - q + 16. Suppose 10*r - 3*r = -49. Let y(u) = -u**2 - 6*u + 14. Let m be y(r). Is k(m) a multiple of 29?
True
Suppose 0 = 5*n, 2*q = q - n - 12. Let v = q - -105. Suppose 9*k + v = 12*k. Does 15 divide k?
False
Let k be 6 + 7/((-14)/4) + -12. Let u be (k/16)/((-1)/(-46)). Let g = 31 - u. Is g a multiple of 18?
True
Let c = -23 - -27. Suppose c*b - 184 = -2*q + 9*b, -3*q + 298 = -2*b. Let p = q - 68. Is 11 a factor of p?
False
Let o(q) be the first derivative of 5*q**2 - 12*q - 5. Let g be o(0). Let b = g - -78. Does 11 divide b?
True
Does 35 divide 6 - -6410 - 6/15*-5?
False
Let s(q) be the second derivative of q**5/30 + 11*q**4/8 - 5*q**3/3 - 16*q. Let u(x) be the second derivative of s(x). Is u(0) a multiple of 11?
True
Let z(f) = 19*f**2 + 2*f + 4. Suppose 3*h + h + 5*n = -2, 5*n = 4*h - 18. Is z(h) a multiple of 7?
True
Let y be (-3)/(-6) + (-7)/(-2). Suppose 0*q + 8 = y*q. Suppose 3*p = q*p + 50. Is p a multiple of 10?
True
Suppose 3*r - 23 = -11. Suppose -r*i + 7*i = 12. Does 6 divide -42*i/(-12)*3?
True
Let c(x) = -87*x**2 + 47*x**2 + 2*x + x**3 + 39*x**2 + 2. Let n be c(0). Suppose 5*k - 752 = n*i + 363, 3*i + 899 = 4*k. Does 15 divide k?
False
Let z(r) = 16*r**2 + 30*r + 4. Let q(p) = -15*p - 96. Let j be q(-6). Does 13 divide z(j)?
False
Suppose 5*o + 3603 = -2*d, -829 = -2*o - d - 2271. Let b = 319 - o. Does 39 divide b?
False
Is 47 a factor of (43145/(-30))/((-30)/135)*8/3?
False
Suppose 3*j - 5*k = 631 + 569, -5*j = 4*k - 1926. Is 30 a factor of j?
True
Let l be 9 + -9 + (-2 - -7). Suppose -5*a = -5*o + 25, 10 = o + o - l*a. Is 12 a factor of ((-104)/(-10))/(o - 69/15)?
False
Let s(q) = -9*q - 54. Let d be s(-6). Suppose 7*w - 1233 - 111 = d. Does 8 divide w?
True
Let b = -20482 + 44755. Does 27 divide b?
True
Let u be -3*2*6/(-12). Suppose -2*z + b = -29, 0*z + u*z + 5*b = 50. Is z a multiple of 5?
True
Let l = -2125 + 5217. Is 65 a factor of l?
False
Suppose -2*m - t = -4193, m + 72*t - 75*t - 2072 = 0. Is 23 a factor of m?
True
Let l(v) = 634*v**2 + 32*v + 148. Is 77 a factor of l(-4)?
True
Suppose 3*o = 0, 5*o = -4*q + 1 + 15. Suppose 2*s + q*a - 556 = 0, -s - 3*a - 109 = -386. Is 28 a factor of s?
True
Suppose 258*g - 261*g + 273483 = 4*m, -2*m + 2*g = -136710. Does 12 divide m?
True
Let d(j) = j**2 + 9*j - 5. Let x be d(-10). Suppose 911 + 654 = x*i. Is 17 a factor of i?
False
Let x(z) = 2*z**3 + 40*z**2 - 7*z + 3. Let b be x(-20). Suppose -3*s + 1837 = t, s + t - b = 470. Is 68 a factor of s?
True
Does 29 divide -4*(-4 - -8) - -7527?
True
Suppose -5*r - 4992 = -13*r. Suppose -840*g + 846*g = r. Does 8 divide g?
True
Let f = -39423 - -64275. Is 228 a factor of f?
True
Let z = 9783 + -5538. Is 28 a factor of z?
False
Suppose 3*l - 15*l + 5124 = 0. Let m = l - 139. Does 16 divide m?
True
Let m(x) = -x**2 + 4*x + 4. Suppose 25 = 5*h - r - 5, 0 = 4*h + 4*r. Let q be m(h). Let a(n) = -45*n**3 + 2*n + 1. Is 11 a factor of a(q)?
True
Let y(u) = -2*u - 16. Let x be (-330)/40 + 3/(-4). Let k be y(x). Suppose -3*b = k*i - 161, 5*i - 31 = -b + 14. Is b a multiple of 7?
False
Let f(h) = -6*h**3 + 6*h**2 + h + 25. Let z be -4*-2*9/(-18). Does 13 divide f(z)?
False
Let a(q) = 2*q - 40. Let b be a(16). Is (4/b)/((-1)/42) a multiple of 7?
True
Let b(u) = -26*u**3 - 3*u**2 + 6*u - 1. Let c(l) = -27*l**3 - 4*l**2 + 7*l. Let o(y) = -3*b(y) + 2*c(y). Is 4 a factor of o(1)?
True
Let b(i) = -2*i**2 - 28*i + 15. Suppose 3*j = u - 4 + 6, -16 = 4*j. Let h be b(u). Suppose -25*f + 2180 = -h*f. Does 33 divide f?
False
Let n(z) = -z + 44. Let s(u) = -20*u**3 + 2*u**2 - 2. Let f be s(1). Let p be n(f). Let x = 114 - p. Is 15 a factor of x?
False
Suppose 0 = -18*x + 478 + 206. Does 47 divide (x - 31) + 149*5?
True
Let n be (-9185)/(-3) - (-14)/(-21). Suppose 13*b - n = 1736. Is b a multiple of 41?
True
Let z = -43 - -46. Let u be (-2)/(-1 + 3)*(-9)/z. Let v = u - -8. Is v a multiple of 11?
True
Suppose 2*x - 51 = -19. Let c(t) = -6*t**3 + 49*t**2 - 9*t + 8. Let o be c(8). Suppose o = x*i - 14*i - 90. Is i a multiple of 6?
False
Suppose -39474 = -39*v + 21*v. Is 43 a factor of v?
True
Suppose -m + 56 = 3*z, 4*z - 79 = m + 2*m. Suppose -2*w + 294 = z*w. Is 14 a factor of w?
True
Let f = -15 - -23. Suppose 4*a + 604 = 5*h + f*a, -3*h + 3*a + 384 = 0. Is 4 a factor of h?
True
Let t = 12817 - 10894. Is t a multiple of 8?
False
Suppose 3*i + 5*o - 34395 = 0, i = 3*i + 2*o - 22938. Does 45 divide i?
True
Suppose -230 = -b + 5*m, 0 = -13*b + 10*b - 3*m + 762. Does 5 divide b?
True
Let v be 2/7*315/(-90). Is -5 - v*(245 + -1 - -3) a multiple of 20?
False
Let n be (110/(-20))/((-6)/4)*3. Suppose 0 = 3*l - 53 + n. Suppose 6*k + 880 = l*k. Is 5 a factor of k?
True
Let k(w) = -2*w**3 + 17*w**2 + 8*w + 12. Let p be k(9). Suppose -4*n + 207 = p*g - 88, 0 = 4*n + g - 293. Is n a multiple of 5?
False
Suppose -5*t = -d - 113045, 10*d - 14*d = -5*t + 113030. Does 5 divide t/130 - (-5)/65?
False
Let m(p) be the second derivative of -p**3/3 + 10*p**2 - 9*p. Let o be m(9). Suppose -574 = -3*q - q - o*f, 0 = -q + f + 145. Is q a multiple of 36?
True
Let l(g) = -126*g + 2424. Is 24 a factor of l(0)?
True
Let m(u) = -7*u - 34. Let o be m(5). Is (-6 - -39 - 6)/((-3)/o) a multiple of 18?
False
Let t(k) = 28*k + 47. Let i(c) = -29*c - 47. Let o(s) = -3*i(s) - 2*t(s). Let l(n) = -32*n - 48. Let q(d) = 3*l(d) + 2*o(d). Is 33 a factor of q(-8)?
False
Let m = 7935 + -6882. Does 13 divide m?
True
Suppose 14*i - 59072 - 22450 = 0. Does 9 divide i?
True
Suppose 837540 = 507*f - 460*f. Is f a multiple of 99?
True
Let v(w) = -w**2 - 54*w + 28. Let s be v(-42). Let d = 804 - s. Does 19 divide d?
False
Is 55663/5 + (-38)/(-95) a multiple of 17?
False
Let b be 2 + -6 + 2 - -52. Does 21 divide 504/(-5)*-1*b/15?
True
Let a(v) = 12*v**2 + 7*v + 8. Let f(r) = 5*r + 0 - 22 - 3*r. Let x be f(10). Is a(x) a multiple of 7?
True
Suppose 2*l + 63096 = 57*l - 114224. Is l a multiple of 21?
False
Suppose 0 = 4*b - y + 1821, -2*b - 349 - 569 = 2*y. Let o = -40 - b. Does 13 divide o?
True
Let d be 20/6*12/10. Suppose -x = -3*z + 13, 3*x + 0 + 19 = d*z. Is 18 a factor of 94 - (z + -3 + 3)?
True
Let b(w) = -w**3 - 9*w**2 + 9*w - 5. Let m be b(-10). Suppose -14*p - m = -15*p. Let q(n) = -n**3 + 5*n**2 + 4*n - 5. Is q(p) a multiple of 3?
True
Let w = 11353 + -6153. Does 25 divide w?
True
Suppose 9232*k + 141372 = 9238*k. Is k a multiple of 119?
True
Suppose 7*a = 2*a + 15. Suppose t = -5*g + 43, 4*t - 4*g - 70 = a*t. Let u = -54 + t. Is 2 a factor of u?
True
Suppose 0 = 115*t - 175*t + 118680. Is t a multiple of 28?
False
Let f(d) = -2*d**2 + 8*d. Let x be 14*(-5)/(-70)*4. Let o be f(x). Suppose -27 - 11 = -4*v - 5*g, -2*g - 4 = o. Is v a multiple of 8?
False
Let d = -119 - -63. Suppose 36 = -7*r + 13*r. Let a = r - d. Is 44 a factor of a?
False
Suppose -5*t + 7*w - 301 = 5*w, -4*w = t + 47. Let y be ((-30)/8)/(2/(-64)). Let g = y + t. Is g a multiple of 28?
False
Let q(r) = 320*r + 11. Let t be q(-2). Let p = t + 989. Does 13 divide p?
False
Suppose 48 = 92*j - 80*j. Suppose 50 = -j*i + 650. Is 6 a factor of i?
True
Let y(j) = 2*j - 32. Let a = 51 + -49. Suppose 0 = 4*o + 3*b - 103, -5*b + a*b = 5*o - 125. Does 12 divide y(o)?
True
Suppose 0 = 3*f - 4*l - 20669, -10*f + 9*f + 4*l + 6871 = 0. Is f a multiple of 15?
False
Suppose -2*n = -p + 18, 72 = 2*p + 2*p + 2*n. Let t be (-3)/p - 1029/(-18). Is t/(3/1) + -4 a multiple of 5?
True
Suppose -8*s - 39*v + 31