factor of h?
True
Let b = 21 - 17. Suppose -b*f = f - 70. Does 3 divide f?
False
Let x be ((-54)/(-225)*5)/(4/110). Suppose 12 = -3*t + 5*u + 1, 0 = 4*t + 3*u - 24. Let r = x + t. Is r a multiple of 18?
True
Let t be ((-2)/2)/(1/(-6)). Let v be (-22)/6 - (-4)/t. Does 9 divide 1 - (v + 1 + -42)?
True
Let v(a) = -1 + 9 - 6*a - 3 + 7. Let c be v(7). Let r = c - -46. Is r a multiple of 6?
False
Let m = -1 - -3. Let d be -602*((-1)/(-2))/(-1). Suppose -m*w + 112 = 2*c, -4*w + 5*c - 68 = -d. Is 19 a factor of w?
True
Let r(g) = -9*g**2 + 2*g - 1. Let a be r(-2). Is 41 a factor of ((a/(-4))/1)/((-1)/(-8))?
True
Let n(a) = -64*a + 3. Let t be n(-2). Let g = 241 - t. Is g a multiple of 22?
True
Let o = -4 + 13. Suppose 0 = -21*g + 3*g + 252. Let j = g + o. Is j a multiple of 11?
False
Is 60 a factor of (225/(-12))/(7/(-224))?
True
Suppose 0 = 4*t - 5*f - 1405, -4*t + 701 = -2*t - f. Is t a multiple of 35?
True
Let s be 284/14 - 8/28. Let w = s + -18. Let k = w - -6. Is 6 a factor of k?
False
Let h(j) = -j**3 + 9*j**2 - 10*j + 6. Suppose -3*a - 3*n + 6*n + 12 = 0, 2*n = -5*a + 41. Is h(a) a multiple of 6?
False
Suppose -3*n + 2202 = -0*n. Does 19 divide n?
False
Suppose 2*j - 64 = x - 4*x, -3*j + 3*x = -66. Let i be 2/(-5) + j/(-10). Does 15 divide (6 + -3)/(i/(-15))?
True
Let i be 1431/2 + (-2)/(-4). Suppose 4*p - 52 - i = 0. Is p a multiple of 16?
True
Let a = -47 - -166. Let s = a - 103. Is 2 a factor of s?
True
Suppose 3*a + 4*a = 3360. Does 15 divide a?
True
Suppose g + 0*g - 3*o - 491 = 0, -3*o - 1946 = -4*g. Suppose 4*u - 5*t + 0*t = g, 0 = -t - 1. Is 12 a factor of u?
True
Let j(v) = 3*v**2 + 2*v + 3. Let r be j(-2). Suppose 10*a + 20 = r*a. Does 4 divide a?
True
Let i(u) = -9*u - 48. Let m be i(-5). Let p(r) = -7*r**3 + 3*r**2 + 8*r + 3. Does 13 divide p(m)?
True
Let a = 451 + -436. Let b be (4/2)/(2/(-5)). Let v = a + b. Is v a multiple of 4?
False
Let l(d) be the second derivative of 5*d**4/6 - d**3/6 + d**2 - 12*d. Does 23 divide l(2)?
False
Let l(k) = 4*k - 2*k + 4*k**2 + 2*k**2 + 4 + 3*k - k**3. Let h be 0 - -9 - (11 + -8). Is 16 a factor of l(h)?
False
Let n = 252 - 74. Let v = n + -87. Suppose 0 = -10*k + 109 + v. Is k a multiple of 13?
False
Let n(f) be the second derivative of 61*f**5/10 + f**4/6 - f**3/6 + 2*f. Does 24 divide n(1)?
False
Suppose u - 56 = -u. Suppose 3*m + 2*v - u = m, 2*v = 2*m - 20. Suppose -m = -2*r - 2*r. Is r a multiple of 2?
False
Let z = -123 + 39. Let t = z + 99. Is 5 a factor of t?
True
Let v = -51 + 24. Let i be 4/(-3)*v/12. Suppose 25 = i*s - 20. Does 11 divide s?
False
Suppose 3*m - 14 = -4*z + 6, -4*m + 6 = -5*z. Suppose -m*c + 2*c = 0. Is 11 a factor of 3 - (c - (42 - 3))?
False
Let m(j) = j**3 + 1. Let w(d) = 3*d**3 + 4*d**2 - 4*d + 6. Let x(s) = -4*m(s) + w(s). Let h be x(2). Suppose h*v + 0*v = 32. Does 8 divide v?
True
Let r(q) = -2*q**3 - 2*q**2 - q - 5. Let z be r(-2). Suppose 0 = -z*o - 2*o + 350. Is 21 a factor of o?
False
Does 45 divide 2*((-39)/(-3) - -2)*21?
True
Suppose -5*a + 12 = -a. Suppose -c + 1 = -a. Is c a multiple of 4?
True
Suppose 3*h - 10 = -i + 3, -h = 2*i - 6. Suppose s - 18 = -5*l + 10, h*s = l + 91. Is s - (-2 - -1)/(-1) a multiple of 11?
True
Let s(r) = 40*r + 1. Let t = 3 + -1. Let k be s(t). Is 18 a factor of (k/4)/(6/16)?
True
Suppose -3*v - 4*j + 71 = 0, 8*v = 4*v + 5*j + 43. Is 17 a factor of v?
True
Does 50 divide ((-6561)/(-6))/(4*4/32)?
False
Let j(n) = n**3 + 5*n**2 - n + 5. Suppose -5*f + 0*f = -80. Suppose 5*m = q + 2*q - f, -35 = 4*m + 5*q. Is 5 a factor of j(m)?
True
Let a = -120 + 585. Is 15 a factor of a?
True
Let f = -1305 - -2289. Does 24 divide f?
True
Suppose 0 = 4*p, -3*m = -7*m + 3*p + 40. Suppose 3*s - 3*b = 72, 0*s - 3*s = -2*b - 71. Suppose 3*f = s + m. Does 2 divide f?
False
Let q be 0 + 0 - (-4 - 0). Suppose 0 = -2*x + 3*i - 5*i + 60, 0 = -q*i + 4. Is 7 a factor of x?
False
Suppose -98 = -4*q + 2*q + 3*d, -54 = -q + 4*d. Let a = q - -85. Is 30 a factor of a?
False
Let d = -16 + 8. Let n = 8 + d. Suppose 0*q - 4*f + 6 = 2*q, q - f - 6 = n. Does 5 divide q?
True
Suppose 0 = -515*v + 520*v - 4370. Is v a multiple of 11?
False
Let q = -1522 + 2709. Does 23 divide q?
False
Does 47 divide (42/9)/((-6)/(-369))?
False
Suppose 5*d - 2*d - 27 = 0. Suppose -d*y + 11*y - 54 = 0. Is y a multiple of 10?
False
Let m(x) = 9*x**2 - 2*x - 10. Is m(4) a multiple of 9?
True
Suppose -5*c + 1 - 11 = 0. Is 0 - (c + 5 - 35) a multiple of 8?
True
Let r = -177 + 402. Is 7 a factor of r?
False
Let w(y) = y**3 - 4*y**2 + y + 14. Let l be w(6). Suppose 0 = 4*z + 4, 8*x - 5*x - l = 2*z. Let q = x + 20. Is q a multiple of 19?
False
Is (((-114)/(-2))/(-1))/(6/(-40)) a multiple of 22?
False
Suppose 2802 = -14*q + 646. Let i = q + 166. Is 2 a factor of i?
True
Let n = -9 - -19. Suppose 3*m + 1 = n. Suppose 7*u - 4*u = m*s, 0 = s - 3. Is 3 a factor of u?
True
Let h(f) = -f**3 + 19*f**2 + 16*f + 16. Let p be h(20). Let u = 10 - p. Does 34 divide u?
False
Let r = 3 - 8. Is 7 a factor of (r/(-4))/((-4)/(-80))?
False
Suppose 5*t = 15, -3*t + 0*t = -2*g + 493. Is 31 a factor of g?
False
Suppose 4*l = 2*x + 8, 5*l - x - 10 = 2*x. Suppose 3*k - l = 1, 4*d - k - 11 = 0. Suppose 2*s + d*b = 59 + 71, 4*s - 3*b - 260 = 0. Does 13 divide s?
True
Let t(w) = -w**2 + 107*w - 8 + 105*w - 202*w + 20. Is 7 a factor of t(8)?
True
Let j(u) = -11*u**3 + u**2 - u + 1. Is j(-2) a multiple of 11?
False
Let a be (-2)/(-1 + 5 + (-318)/81). Let j be (-40)/6*(2 - 8). Let m = j + a. Does 13 divide m?
True
Let a = -446 - -1392. Is a a multiple of 33?
False
Suppose 0 = 44*c - 43*c + 3*o - 883, -c = o - 881. Is 10 a factor of c?
True
Suppose 10*l + 3*m + 12084 = 14*l, -2*l + 6032 = -4*m. Is l a multiple of 56?
True
Suppose -2*h + 4*c + 108 = 0, 2*h + 2*c + 40 = 178. Suppose -3*y + 5*u = 124, 0 = 2*y - u + 89 - 4. Let b = h + y. Is b a multiple of 21?
True
Suppose -2*u = -3*u + 2. Suppose -4*l + 4*w = 14 - 2, 6 = -u*l - w. Does 7 divide l + 9 + -3 + 10?
False
Does 12 divide -4 - 21/(-14) - (-25398)/12?
False
Let k(l) be the third derivative of l**5/15 + l**4/12 + l**3/6 - 12*l**2. Is k(-2) a multiple of 12?
False
Suppose 3*b - 800 = 2*s, -s + 4 = 5. Suppose -4*r + b = 2*l, -3*l - 155 = -5*r + 194. Is r a multiple of 34?
True
Let l be (10 - (-1 - -5))/1. Suppose 0 = -5*q - z + 102, q + 2*z + 96 = l*q. Is 5 a factor of q?
True
Suppose 676 = -49*g + 50*g. Is g a multiple of 36?
False
Let q(j) be the first derivative of j**4/4 + 5*j**3/3 - 5*j**2 - 13*j + 3. Is q(-6) even?
False
Suppose -1 + 3 = 2*b. Suppose -3*i = u - 14, 7*i - 4*i + b = 2*u. Suppose -i*m = -7*m + 240. Is m a multiple of 20?
True
Let t(v) be the third derivative of -v**4/24 + 25*v**3/6 + 6*v**2. Let q be t(11). Is (6 + q)*30/8 a multiple of 25?
True
Suppose -4*j + 5*l = -32, 0 = -0*j + 4*j - l - 16. Is 3 a factor of (-3)/(-6)*2*j?
True
Let l(r) = -r**3 - 4*r**2 + 7*r + 12. Let w be l(-5). Suppose -5*k - 21 = -w*t, -4*k + 6 = t - 2*k. Is t a multiple of 8?
True
Let g be 144/16*2/3*16. Let b = g + -6. Is b a multiple of 17?
False
Let l(q) = -378*q**3 - 3*q**2 - 5*q - 3. Is l(-1) a multiple of 14?
False
Let h(r) = 2*r**2 + 7*r - 11. Let u be h(-5). Suppose u*x - 180 = -c + 5*c, 3*c = x - 43. Does 7 divide x?
False
Suppose -g - 2 = -11. Suppose -7*o - 1024 = -g*o. Suppose 5*s + 3*s - o = 0. Is 18 a factor of s?
False
Suppose -4*t = 3*n - 3 - 1, -5*n - t + 18 = 0. Suppose -36 = -6*z + 4*z - n*b, 2*b + 42 = 5*z. Is (-6)/z - (-1098)/30 a multiple of 13?
False
Does 4 divide 2286/15 - 2/5?
True
Let y(a) = 4 - 207*a - 2 + 209*a. Is y(14) a multiple of 10?
True
Let f(t) = -t - 9. Let v be f(-12). Suppose -r = -g + 5, -v*r - 30 + 11 = -5*g. Does 10 divide (87/(-9) - -3)*r?
True
Is -55*3*14/(-21) a multiple of 11?
True
Let q = 4 - 0. Suppose q*y + 4*v - 156 = -0*v, 4*v = -3*y + 116. Is y a multiple of 9?
False
Let a(o) = -7*o - 1. Let w(s) = s. Let i(z) = -a(z) - 6*w(z). Let b(h) = -4*h - 9. Let m(t) = 4*b(t) + 20*i(t). Does 4 divide m(8)?
True
Let q(f) = 78*f + 91. Is 3 a factor of q(3)?
False
Let g = 21 - 18. Suppose 5*m = -5*z + 45, 0*z - 29 = -z + g*m. Is 21 a factor of 4/z + 4102/49?
True
Let s = 14 - 17. Let q be 2 + -1 + 8 + s. Let n = 22 - q. Does 8 divide n?
True
Let d = -7 - -10. Suppose 0 = d*y - 0*y - 360. Is y a multiple of 12?
True
Let z(c) = c + 6.