 k a multiple of 15?
True
Let q(y) = 4*y - 24. Let p(j) = j + 1. Let u(m) = 5*p(m) - q(m). Let w be u(-15). Suppose -w = t - 140. Is 12 a factor of t?
False
Suppose -3*i - 5*m - 1027 = 0, 3*m - m - 1404 = 4*i. Let q = 609 + i. Suppose -h + 7*g + q = 2*g, 804 = 3*h - 3*g. Is 39 a factor of h?
False
Let t be 4/((2/8)/(99/144)). Suppose 5*y = t*y - 3024. Is 24 a factor of y?
True
Let v = -4538 + 5341. Does 11 divide v?
True
Let p be 2*1 + -22 + 20. Suppose -2*h - 20 = j, 3*j + h = -p*h - 40. Is 1755/(-10)*8/j a multiple of 13?
True
Let a(k) = -k**3 - 23*k**2 - 21*k + 27. Let g be a(-22). Suppose -4420 = -5*r + 4*c, 0*r + c = -g*r + 4445. Suppose 158*y - r = 154*y. Does 15 divide y?
False
Let u(t) = 2441*t**2 - 13*t - 18. Is u(3) a multiple of 101?
False
Let m be ((-78)/(-12) + -4)/(1/2). Suppose -2*c = 3*p - 27, 2*p + m*c - c = 18. Suppose p*u = -118 + 307. Is u even?
False
Let i(a) = 16*a**3 - 4*a**2 - 37*a + 92. Is i(13) a multiple of 89?
True
Let t(r) = 13*r - 50. Suppose -9*a + 32 + 13 = 0. Let h(g) = -20*g + 75. Let l(k) = a*h(k) + 8*t(k). Is l(11) a multiple of 3?
False
Let h be (-2344)/(-6) + -5*2/15. Is 65 a factor of (h/(-12))/(3/(-30))?
True
Let x(a) = 22706*a - 150. Is 36 a factor of x(1)?
False
Let a(x) = -x**3 + 10*x**2 + 24*x + 2. Let u be a(12). Is 2 a factor of 3 + -5 + 118 + (u - 2)?
True
Let a be (-2 + (4 - 1200))/(-1). Suppose 0 = 10*z - 92 - a. Is z a multiple of 17?
False
Suppose 0 = 16*h - 825 - 1335. Is 5439/10 - h/(-1350) a multiple of 23?
False
Let x(r) = -2*r**3 + 3*r**2 + 12*r + 14. Suppose 2*y = -27 + 21. Is 9 a factor of x(y)?
False
Suppose -2*d = 7 - 1. Let f = -4 - d. Is 12 a factor of (f/(-3))/(12/468)?
False
Let y(u) = -u**2 + 5*u + 53. Let a be y(-4). Suppose 0 = 3*i, -139 = -2*k - 2*i - a. Does 4 divide k?
False
Let o be (-6)/(-4)*(-310)/(-93). Suppose -o*u - 4*d = -1712, u = 3*d - 6*d + 349. Does 8 divide u?
False
Let z(v) = v**2 - 13*v - 20. Let c be z(32). Let u = c - 419. Is u a multiple of 7?
False
Suppose -w + 19 = 14. Suppose 10069 = w*z + 3259. Suppose 0 = 12*s + 174 - z. Does 11 divide s?
True
Let i(v) = 6*v - 1. Let c be i(1). Let d = 852 + -411. Suppose -3*n + 3*o + d = 0, -n + 172 = c*o - o. Is n a multiple of 19?
True
Let f(j) = -3*j - 27. Let q be f(-9). Suppose q = -2*n - 4 + 2. Does 25 divide n*(-3)/12 - (-846)/8?
False
Let c = 26 - 21. Let x(j) = -j**2 + 4*j - 7. Let o be x(c). Let a = 27 + o. Does 2 divide a?
False
Let c = 2261 + 9067. Does 64 divide c?
True
Let m(z) = -628*z - 480. Is m(-20) a multiple of 40?
True
Let j(c) be the second derivative of -c**3/2 - c - 163. Does 26 divide j(-26)?
True
Let i be 10/(-125) + (-154)/(-50). Suppose -i*g + 685 = -869. Is 13 a factor of g?
False
Let m(p) = -p + 29. Let f be m(24). Suppose 6*l + 3*t - 743 = l, 5*t - 735 = -f*l. Does 10 divide l?
False
Let r = -6536 + 18878. Is 33 a factor of r?
True
Suppose 3*f + 20 = 2*b, 0*b + 3*b = -2*f + 30. Suppose 0 = -b*m + 9*m + a + 111, 4*m = -3*a + 465. Is m a multiple of 3?
True
Let d(f) = 6*f**3 + 13*f**2 - f + 7. Suppose 0 = 2*h + 12 - 20. Is 17 a factor of d(h)?
True
Suppose -4*c + 5*c - 2 = 0. Let u be (9 + -10)*c*10. Let p(m) = m**3 + 19*m**2 - 22*m - 8. Does 16 divide p(u)?
True
Let r(m) = -4*m**3 + 2*m**2 + 111*m - 1. Is r(-8) a multiple of 13?
True
Let h(t) = -1601*t - 4740. Does 54 divide h(-12)?
True
Let q(m) = 5*m**2 - 114*m + 122. Is 10 a factor of q(28)?
True
Let h be 17*2*(-16)/8. Is 3 a factor of (-3204)/h - ((-24)/(-68))/3?
False
Suppose -5*j - 16 = -3*w + 6*w, -2*w = -5*j - 31. Suppose -19 = 3*o - 13, 4*r = -w*o + 4890. Is 56 a factor of r?
False
Let j = -100 + 92. Let k(c) = 2*c**2 + 7*c + 53. Does 30 divide k(j)?
False
Suppose 835355 + 393430 = 187*i - 1077673. Does 64 divide i?
False
Let c = -1836 - -2038. Is c a multiple of 5?
False
Let t(f) = 394*f**2 - 54*f - 4. Is t(-5) a multiple of 12?
True
Suppose -11*k + 10*k + 18 = -3*d, 2*k = -4*d - 4. Let u(j) = 8*j**2 + 3*j + 33. Is 13 a factor of u(k)?
False
Is (64300/6)/((4 - 6)*1)*-3 a multiple of 25?
True
Let k(t) = t**3 + 14*t**2 + 5. Let i be k(-14). Suppose -5*m + i = 2*a, -9 + 1 = -2*m - 2*a. Let g(x) = 70*x**2. Does 19 divide g(m)?
False
Suppose -3*l + 2*l - 1 = 0. Let i be (-10)/l + 28/(-7). Suppose 5*k + 5*d - 310 = 0, -3*d + i*d + 326 = 5*k. Is k a multiple of 16?
True
Let d(s) = s**3 + 7*s**2 + 2*s - 4. Let o be d(-3). Suppose -o*a = -6*a - 840. Does 6 divide a?
True
Let h = 46 + -46. Suppose v + h - 1 = 0. Does 7 divide (v*2)/(6/105)?
True
Suppose 5856 = f + s, -1621 = -f + 5*s + 4211. Is f a multiple of 19?
True
Let z be (4/3)/((-5)/30*2). Let n be (-9)/z - (-5)/(-20). Is (40 - 0 - 1) + -1 + n a multiple of 9?
False
Let t(h) = -h - 2. Let d(p) = -2*p**2 - p - 2. Let k be d(0). Let c be t(k). Suppose -2*u - 5*q + 81 = c, -3*u + 2*u + 5*q + 3 = 0. Is 18 a factor of u?
False
Is ((-56)/(-3))/(26/36933) a multiple of 21?
False
Suppose 137 + 73 = -5*u. Let n = 46 + u. Does 8 divide (2 - 3 - -25) + n?
False
Suppose 0 = 4*n + 17*o - 12*o - 38059, -3*o = 4*n - 38061. Is n a multiple of 61?
True
Suppose -g - 11*g = -198475 - 30077. Is 15 a factor of g?
False
Let z(v) = 21*v**2 + 2*v - 8. Let f(u) = 64*u**2 + 5*u - 26. Let w(a) = -2*f(a) + 7*z(a). Is w(2) a multiple of 6?
False
Let t = 70608 - 37758. Does 75 divide t?
True
Let s = 5003 + -2455. Suppose s = 369*w - 362*w. Is w a multiple of 13?
True
Suppose -x - 2*h + 3*h = -1, -4*h - 4 = 0. Let s be ((-230)/(-3))/((-2)/(-6) - x). Suppose 0 = 2*t + 2*o + 2*o - 212, -2*t + 2*o + s = 0. Does 16 divide t?
True
Suppose 4*s - 83784 = 2*v - 4*v, -4*s + 83760 = -4*v. Does 56 divide s?
True
Let j(a) = 178*a + 200. Is j(3) a multiple of 6?
False
Let s(b) = 364*b + 2510. Is 5 a factor of s(4)?
False
Let l(t) = 43*t + 1885. Is 160 a factor of l(47)?
False
Suppose 6*u + 3*k = 3*u - 156, -5*u - 300 = -5*k. Let y = -62 + 167. Let b = y + u. Is 7 a factor of b?
True
Let i(b) = -b + 3. Let d be i(3). Let a be (501/(-6) + 6)/((-1)/2). Suppose d = -3*v + 4*y + a, -v - 5*y - 208 = -5*v. Is 18 a factor of v?
False
Let h = 24 + -22. Suppose 112 = 12*a + h*a. Suppose a*x + 24 = 14*x. Is 2 a factor of x?
True
Suppose 16*i - 110 = -46. Suppose -6*q + q = -5*v - 1090, 0 = -i*q - 3*v + 872. Is 25 a factor of q?
False
Let u(p) = -11*p**2 + 9*p - 4. Let x(f) = -5*f**2 + 4*f - 2. Let c(y) = 4*u(y) - 9*x(y). Let q = -6922 - -6934. Does 13 divide c(q)?
False
Let h(p) = 4529*p**2 + 39*p + 69. Is 62 a factor of h(-2)?
False
Let r = 4361 - 275. Does 19 divide r?
False
Let y be 13/(-52) + 17*(-1)/(-4). Let l be -1 - 2 - (-1 - (1 + y)). Suppose l*u + 3*u = 594. Is 46 a factor of u?
False
Let a(u) = 11*u + 2517. Is 6 a factor of a(23)?
False
Let h be (9*5230/75)/(4/10). Suppose 5*k + 15 = 0, -2*k + h = 3*z + 2*z. Does 21 divide z?
True
Let m(y) = -y**2 + y - 4. Let s = 51 + -48. Let z be m(s). Is 4 a factor of 24/z*(-7)/(21/15)?
True
Let x(t) = -2*t**3 + t**2 + 4*t - 9. Let o be x(-4). Suppose 9*q - 10*q + o = -r, -q + 114 = 4*r. Does 8 divide q?
False
Let w = -29 + 34. Let t = -137 - -110. Let a = w - t. Is a a multiple of 7?
False
Let k = -812 - -803. Let p(d) = 5*d**2 - 10*d + 25. Is 52 a factor of p(k)?
True
Suppose 411040 = 101*c - 21*c. Is 60 a factor of c?
False
Does 2 divide (-339)/1582 - 21345/(-42)?
True
Let g = -1022 + 2757. Suppose -5*x - 4*m + g = 0, 33*m - 15 = 30*m. Is 7 a factor of x?
True
Suppose -4*x = -3*q + 12, 0*q - 4 = x - q. Suppose 5*t - 350 = -x*t. Let z = t + -40. Is 3 a factor of z?
True
Suppose 2*d = 2*t + 5934, -28*t = -27*t + 8. Does 14 divide d?
False
Suppose 0 = -8*y - 966 - 586. Let g = y + 254. Is g a multiple of 5?
True
Is 56 a factor of (33 - 23)/10*4099*1?
False
Does 6 divide ((-16)/24)/(4 - 18403/4599)?
True
Is ((22/121)/((-90)/165))/(2/(-24636)) a multiple of 26?
False
Suppose -738 = -2*b + 8*b. Let r = b + 228. Does 35 divide r?
True
Suppose -4*n = 12 + 12. Let u be (-176)/(-66)*n/(-8). Suppose 5*b - 170 = -2*j, 0 = 5*j + u*b - 0*b - 446. Does 18 divide j?
True
Let a(z) = z**3 + 5*z**2 - 7*z - 3. Let g be a(-6). Let k be 3/(-9) + 232/g. Suppose -547 = -5*d - k. Is 9 a factor of d?
False
Let v be 0/(16/(-5 + -3)). Suppose v = -4*k - m + 922, 2*m - 108 = -3*k + 586. Is 10 a factor of k?
True
Let r be (-5 + 2 + 3)/(-2). Suppose r*l + 2652 = 12*l. Does 13 divide l?
True
Let c = -185 - -217.