iple of 48?
True
Let j = -380 - -768. Is 48 a factor of j?
False
Let i(f) = -45*f**3 - 2*f**2 + 2*f. Let j(r) = -r**3 + r**2 + 1. Let l(o) = i(o) + 2*j(o). Is 5 a factor of l(-1)?
False
Let w(x) = 2*x + 10. Let i be w(5). Suppose 3*p + 4 = 10, -3*q = -5*p - i. Is q a multiple of 5?
True
Let j(x) = 22*x**2 - 1. Let w be j(-1). Let o = w + 15. Suppose 3*n = 5*k + 52, 4*k + o - 14 = n. Is 4 a factor of n?
False
Let z(q) = 2*q**3 + 7*q**2 - 14*q + 2. Does 15 divide z(8)?
False
Suppose 46*f - 11*f = 68425. Does 23 divide f?
True
Let w(h) = -4*h**2 - 2 - h**2 + 6*h**2. Let y be w(-2). Suppose -y*u - 138 = -5*u. Is u a multiple of 22?
False
Let g be (12/(-10))/((-24)/(-80)). Let x be 11/2 + g/8. Suppose -55 = -x*o + 5. Is 6 a factor of o?
True
Suppose 0 = 2*b - w + 5, 4*w - 11 = 2*b + 9. Suppose 3*k + 0*k = b. Suppose 3*i = -5*c - k*i + 224, 0 = 2*i - 6. Does 15 divide c?
False
Suppose 3*l - 18 = -2*z, 4*z = 3*z + l - 1. Suppose -4*x - 56 = -k + 24, -z*k - 2*x = -198. Is 34 a factor of k?
True
Suppose 7*a = a - 30. Is -1 - 1/a - (-3312)/115 a multiple of 14?
True
Let p be (-1*6/18)/((-2)/24). Suppose 0*t + 4*t - 748 = p*r, -5*t = 2*r - 949. Does 42 divide t?
False
Suppose -2*y - 3*y = -25. Let c(a) = -4 + 82*a - 76*a + 5*a**3 - 4*a**3 - 4*a**2. Does 17 divide c(y)?
True
Let n(j) = 21*j**2 - 9*j - 29. Does 42 divide n(-6)?
False
Suppose -10*f + 3*f + 1813 = 0. Does 42 divide f?
False
Let y(t) = -t**2 - 11*t - 9. Let s be y(-10). Let i be (7 + -2 - 1)*s. Suppose -4*g = i*r - 96, -5*g - r + 138 = -2*r. Does 9 divide g?
True
Let y = -463 - -1765. Is y a multiple of 14?
True
Suppose -3*p = -3*j - 6, -6*j + j - 10 = -4*p. Suppose p = 3*s - 70 - 194. Is s a multiple of 22?
True
Is 87 a factor of (((-73950)/(-40))/5)/(3/24)?
True
Let w(f) = -f**2 - 9*f + 11. Let r be w(-9). Let v = 14 - r. Suppose 0 = -m - v*m + 40. Does 7 divide m?
False
Suppose 0 = 5*r + 5*w - 215, 5*r - 279 = -w - 76. Let g = 64 - r. Is g a multiple of 6?
True
Suppose -i - 4*l + 1332 = 0, -33*l = -34*l + 5. Does 16 divide i?
True
Let k(w) = 4*w + 5. Let a(j) = 11*j + 14. Let l(b) = 3*a(b) - 8*k(b). Let v be l(-2). Suppose 5*h - 2*h - 6 = v. Is h even?
True
Let n(z) = z**3 + 17*z**2 + 7*z - 14. Suppose -5*k = -p + 80, -3*p = -4*k + 11 - 75. Does 26 divide n(k)?
True
Suppose -5*w = g - 504, 5*g - 6*w = -3*w + 2520. Is g a multiple of 36?
True
Let s(u) = -u**3 - 5*u**2 + 2*u. Let m be s(-3). Let k be 16/m + (-2)/(-3). Suppose 4*l + 5*v - 13 = k, -l + 2*l = -4*v - 5. Is 7 a factor of l?
True
Suppose -4*d - d = -15. Suppose -4*z - 4 = -z - 4*u, -d*z = -3*u + 3. Suppose -5*c + 2*f + 380 = 0, z*c + 2*c = 5*f + 152. Is c a multiple of 25?
False
Let i(r) be the first derivative of r**2/2 + 2*r + 1. Let z be i(6). Suppose 0 = z*x - 12*x + 132. Is x a multiple of 8?
False
Let p = 493 + 47. Is p a multiple of 12?
True
Let k be 3/((6/(-27))/((-2)/3)). Let t = 2 - 4. Is 7 a factor of (k + t)/(9/36)?
True
Suppose 0 = -5*f + x - 2*x + 8726, 3*f - x - 5242 = 0. Suppose -10*k + 654 = -f. Is k a multiple of 12?
True
Suppose 3 = 3*o - 0, 393 = 4*a - 3*o. Let h be (-22)/a - (-295)/(-9). Does 10 divide -1 - (-1 - -3) - h?
True
Let r(h) = 53*h + 185. Is r(4) a multiple of 14?
False
Suppose -585 = -8*u + 1239. Let k = u - 97. Is 18 a factor of k?
False
Let y(i) = i**3 - 3*i**2 - i. Let j be (2 - 2)/1 - 2. Let u be y(j). Is (-3 + 0)*84/u a multiple of 7?
True
Let h(m) = 12*m**2 + 3*m - 8. Does 10 divide h(7)?
False
Let j be 45 + (0 - -1)*1 + 3. Suppose -24 = -4*x + 2*i, 3*x - 4*i = -3*i + 16. Suppose -5*n + 29 = x, -2*d - n + j = 0. Does 11 divide d?
True
Let p be (2 - (-1)/(-5))*5 + -1. Is (4 + 5 + -13)*(-78)/p a multiple of 13?
True
Let b(t) = 144*t - 28. Is 51 a factor of b(9)?
False
Let r(j) be the third derivative of 31*j**4/8 + j**3/2 - 7*j**2. Is r(1) a multiple of 19?
False
Let k = -105 + 49. Is (-7)/k - 1239/(-8) a multiple of 16?
False
Let s(p) = 2*p - 1. Let c(i) = 10*i - 4. Let z(g) = -3*c(g) + 16*s(g). Let q(x) = -x + 3. Let f(a) = 2*q(a) + 3*z(a). Is f(7) a multiple of 13?
False
Let o = 630 - 178. Is 21 a factor of o?
False
Suppose -36*y + 35*y = -64. Suppose 4*x = 4*w - 220, -4*w - 4*x + 156 = -y. Is w a multiple of 5?
True
Let w(b) = -18*b - 35. Let h(j) = -j**3 - 2*j**2 + 5*j - 1. Let z be h(2). Is w(z) a multiple of 13?
True
Let n(q) = -q**3 - 16*q**2 - 20*q + 45. Is 14 a factor of n(-16)?
False
Suppose -5*o - 41 = -376. Let d = 15 + -40. Let k = d + o. Is 14 a factor of k?
True
Suppose -f + 301 = 3*f - t, 374 = 5*f - 2*t. Suppose u - 3*u - f = 0. Let a = -27 - u. Is a a multiple of 11?
True
Let g be -1*(18 - -1)*-1. Let q be (-1)/(-5) + g/5. Is 8/3*6/q a multiple of 3?
False
Let u(z) = -z**2 + 12*z - 21. Let o be u(9). Suppose o*r = 10*r - 444. Is 15 a factor of r?
False
Let l(k) be the first derivative of k**3/3 + k**2 - 5*k + 3. Let s be ((-5)/(-2))/((-4)/8). Is 3 a factor of l(s)?
False
Let b(i) = -i**2 + 11*i - 5. Let l be b(8). Let z = l - 4. Is 5 a factor of z?
True
Let h(o) = -13*o**3 - o**2 - 3*o - 2. Suppose 0 = 16*t - 15*t - 4. Let i be (7 - 4) + -1*t. Is h(i) even?
False
Let r = 563 + -200. Does 14 divide r?
False
Is 25 a factor of (-2702)/(-12) - (-7)/(-42)?
True
Let v(r) = 3*r**2 + 15*r + 6. Let w be v(-5). Suppose 5*f - 2*g = 476, 0*g - 3*g = -w. Is 8 a factor of f?
True
Let f = 29 + 1070. Suppose 4*q + 3*k - f = 59, 1442 = 5*q + k. Does 12 divide q?
True
Suppose 12*k + 22 + 2 = 0. Does 5 divide -36*(-3 - k) - 1?
True
Is 19 a factor of 5*1 + 150 + -3?
True
Let i(x) = -2*x**2 + 11*x + 5. Let z be i(5). Suppose -z*s = -8*s - 216. Is s a multiple of 36?
True
Let a = 284 - 32. Let p = a - 114. Does 23 divide p?
True
Let x(d) = 4*d**3 + 7*d**2 - 21*d + 10. Does 15 divide x(4)?
False
Let i(d) = 9*d - 2 + 2 - 1 - 5. Does 18 divide i(12)?
False
Let z(p) = -4*p + 101. Is 26 a factor of z(-7)?
False
Let a(s) = s**3 - 14*s**2 + 13*s - 18. Let m be a(13). Let n be (-4)/(-3) - 948/m. Does 4 divide 180/n*24/5?
True
Suppose -1 = 2*t - 35. Suppose -4*b = -t + 5. Does 18 divide 6/(b/(-1)) - -40?
False
Suppose 5*j + 55 = -145. Suppose 0 = -3*c + 5*f - 69, 103 = -7*c + 3*c + 3*f. Let a = c - j. Is a a multiple of 4?
True
Suppose 10297 = 9*m - 8045. Is 10 a factor of m?
False
Suppose 5*x = 4*u + 60, 0 = 4*x - 4*u + 2*u - 42. Let h(a) = -a**3 + 13*a**2 + 5*a + 4. Let j be h(13). Is 9 a factor of (-2)/x - j/(-4)?
False
Suppose 52 - 7 = 5*x. Let l(f) = f**2 - 8*f - 1. Let c be l(x). Suppose b + 14 = 4*o, -2*b = -2*o - o + c. Is b even?
True
Let s(k) = 22*k**2 - 3*k - 1. Let t be s(-2). Let p = -138 + t. Let g = p - -77. Is 16 a factor of g?
True
Let i(g) = -g**3 - 6*g**2 - 3*g - 10. Let c be i(-5). Is (-8)/c + (-99)/(-15) a multiple of 4?
False
Suppose 0*k + 4*k - 20 = 0. Suppose t + 12 = k*t. Suppose -f - 16 = -u, 3*u - 63 = -u + t*f. Is u a multiple of 4?
False
Let c be (-2)/(-4) - (708/(-8) - -4). Let d = c - 72. Is 11 a factor of d?
False
Let s(h) = h**3 - 7*h**2 + 4*h - 4. Let y be s(6). Let f = 22 + y. Does 6 divide f?
True
Let o(y) = -y**2 + 2*y. Let m be o(2). Suppose m = 6*i - 8*i - 6. Is 14 a factor of i/6 - (-29)/2?
True
Suppose 0 = -0*x - x - 4*q + 19, -2*x - q = -24. Let t = x + -9. Is 35 + (t - 1) + 3 a multiple of 13?
True
Suppose -129 = -4*a + 159. Is a a multiple of 36?
True
Suppose 26*d - 21*d = 1430. Does 22 divide d?
True
Suppose 0 = 5*z - 902 + 257. Suppose 0 = 4*a - 3*a - z. Does 29 divide a?
False
Does 11 divide (-105678)/(-95) + (-1)/(-5)*3?
False
Let l(k) = k + 15. Let t be l(-18). Is 13 a factor of t/(-9)*3*(-1 - -27)?
True
Let h = 1003 - 202. Is 89 a factor of h?
True
Is 77 a factor of 9*(6732/(-27))/(-4)?
False
Let p = 26 + 172. Suppose -5*g - 335 = -3*w, 0*w + p = 2*w + 3*g. Suppose w = -12*n + 15*n. Does 5 divide n?
True
Suppose 33*n = 38*n - 1780. Is n a multiple of 35?
False
Let z(i) = 4*i - 4. Let f(d) = 5*d - 5. Let k(h) = 5*f(h) - 6*z(h). Let q be k(5). Suppose -q*v + 4*b + 36 = -0, v - 9 = 2*b. Is 9 a factor of v?
True
Is ((-4)/(-12))/((-1)/(-912)) - 3 a multiple of 17?
False
Suppose 14 = 4*z + 2, -327 = -5*n - 4*z. Is 3 a factor of n?
True
Let g(c) = 3235*c**2 + 36*c - 37. Is 48 a factor of g(1)?
False
Let x(y) be the second derivative of y**4/6 - y**3/6 - 8*y - 1. Let c(z) = z**3 - 6*z**2 + 2*z - 8. Let t be c(6). Is x(t) a multiple of 13?
False
Let h(q) be the