-5039 + 15104. Is 82 a factor of f?
False
Suppose -89*m = -60*m - 77546. Is m a multiple of 6?
False
Is 222 a factor of ((-10)/12)/((-5)/8) - 3543044/(-57)?
True
Suppose 7*a - 5*w = 2*a - 95, -3*w = -21. Let o be 1016/6*(8 - -1). Does 64 divide o/8 - a/8?
True
Let k(m) = -1. Let c(n) = -4. Let f(d) = -2*c(d) + 7*k(d). Let u(p) = -4*p + 1. Let s(t) = -5*f(t) - u(t). Is 10 a factor of s(14)?
True
Suppose -4*w + 4 = -16. Let g be 0*w/(-10) + 3. Suppose -2*p - v + g*v = -36, -66 = -5*p - v. Is p a multiple of 14?
True
Suppose 11*k - 36244 = 9*k - 3*c, 3*k - 54417 = 4*c. Is k a multiple of 17?
False
Suppose -2*r = -4*b + 23802, -2*r + 5056 = 4*b - 18734. Does 14 divide b?
False
Suppose 0 = -10*q + 13*q - 111. Suppose 0 = -5*b + 5*z - 44 - 56, -3*b - 60 = -z. Let l = q - b. Is 7 a factor of l?
False
Does 46 divide (-6682676)/(-325) + (-4)/50?
True
Let o = 135 + -170. Is 14 a factor of o/42 + (-4220)/(-24)?
False
Let z(i) = -i**3 - 26*i**2 - 19*i + 181. Is 73 a factor of z(-29)?
False
Does 170 divide -65*((-6)/(-75) + 54432/(-400))?
True
Is ((-9)/(-6))/(102/(-8)) - (-5923954)/2006 a multiple of 6?
False
Does 12 divide 3/((44/(-2))/(760448/(-34580)) - 1)?
False
Suppose 348*n + 5*i + 6678 = 352*n, -5*n + 8341 = -3*i. Is 28 a factor of n?
False
Is (-4 - (-72)/(-135)*-453)*(3 + 122) a multiple of 12?
True
Let z(u) = -u + 25. Let x be z(15). Let h be (-5)/x - (-1 - -2)/(-2). Suppose 3*b = -h*b + 12. Is b a multiple of 4?
True
Suppose g - 3120 = 7*g. Let z = g + 940. Is 20 a factor of z?
True
Does 8 divide (-2392)/(-138)*(0 - (-378)/3)?
True
Suppose 6*d - 10*d - 4*l + 3904 = 0, l + 2944 = 3*d. Does 140 divide d?
True
Suppose -879 = -7*b + 598. Suppose -2*h - 5 + 211 = 3*o, -b = -3*o - h. Suppose -w - o = -4*l - 15, -2*l + 36 = 2*w. Does 11 divide l?
False
Let g(x) be the third derivative of x**8/80 - x**6/720 + x**5/120 + 11*x**4/12 - 19*x**2. Let n(k) be the second derivative of g(k). Does 6 divide n(1)?
True
Let u(y) = 4*y**2 - 75*y + 611. Is 20 a factor of u(49)?
True
Is (-5501)/(-2) - (-77)/(-154) even?
True
Suppose 34 = 3*i + 5*q - 170, q + 312 = 5*i. Does 31 divide 6/i - (3757/(-21) - 4)?
False
Let s(w) = -142*w + 1049. Is s(-87) a multiple of 10?
False
Suppose -3*o + 70 = -8*o. Let t be o/(-4) - (-7)/(-14). Suppose -2*x - t*x + 2*i + 436 = 0, 0 = x - 4*i - 80. Is 11 a factor of x?
True
Is (-3)/((-39)/89206) - -12 a multiple of 17?
False
Suppose -3*o + 2*m + 6 = 0, -2*o = -3*o + 4*m + 2. Suppose o*j - 2*p = 2, 5*p + 1 - 11 = 0. Is (3 - 2) + j + 59 a multiple of 7?
True
Let l be (-3)/(1/(-3 + 2)). Suppose m = l*i - 7, 3*i = 4*i + 2*m. Suppose 2*c - 58 = -5*a, -i*c + 76 = a - 5*a. Is 12 a factor of c?
False
Is -5 + 5385 - 5 - ((-5 - -4) + 2) a multiple of 3?
False
Suppose 3*c = -15, -5 = -23*r + 18*r - 3*c. Let u(k) = -k + 8. Let d be u(4). Is (496/4)/r + d a multiple of 35?
True
Suppose -2*d = -5*v + 173114, -v + 137*d + 34609 = 132*d. Is v a multiple of 64?
True
Let w = -297 + 300. Suppose 15*c - 10*c + 105 = p, w*p + 4*c = 372. Is 8 a factor of p?
True
Let o be (5*6)/((-75)/350). Is (o/4)/5 - -80 a multiple of 19?
False
Suppose -16*i + 5*i + 6072 = 0. Does 40 divide (16/(-56))/(2/(-7))*i?
False
Let v = -24287 + 33720. Is v a multiple of 22?
False
Suppose -c + 44 = 3*q, 2*c - 83 = -4*q - q. Suppose -30*x = -c*x - 4. Suppose a + 510 = x*z - a, -2 = 2*a. Is 17 a factor of z?
False
Let b be 4/4*-2 + 25. Let k = -4 + b. Let l = 48 - k. Is 7 a factor of l?
False
Let o(l) = -2050*l - 4400. Is o(-13) a multiple of 6?
False
Suppose 0 = -86*q + 81*q + 40. Let l(j) = 9*j - 28. Is 22 a factor of l(q)?
True
Suppose 0 = 28*m + 18861 - 92333. Suppose 0 = -4*u + 3*d + m, u - 2*d + 667 = 2*u. Is u a multiple of 17?
False
Let d = 826 + -590. Is 33 a factor of d + (-5 + 0)*1?
True
Suppose -3*m + 28*m = 0. Suppose p = -r + 116 + 34, m = -3*r + 3*p + 468. Is 17 a factor of r?
True
Let k = 2520 + -1468. Is 5 a factor of k?
False
Let f = -20811 + 109761. Is f a multiple of 25?
True
Let t(h) be the second derivative of h**4/6 - 17*h**3/6 - 11*h**2 - 8*h. Let k be t(13). Is 31 a factor of k - ((-5)/(-5) - 0)?
False
Let n be 2 - ((-12)/4 + 129). Let a = n + 130. Does 10 divide (4/a)/(2/48)?
False
Let p(v) = 606*v + 3728. Is 40 a factor of p(22)?
False
Let l(r) = 40*r**3 - 2*r**2 + r + 6. Suppose -p - 28*p + 58 = 0. Is l(p) a multiple of 12?
False
Let x(l) = -2*l**3 - 56*l**2 + 94*l - 36. Let m be x(-29). Let w = 2158 + m. Is w a multiple of 14?
True
Let v be (-135)/(-18)*(4 + -2). Does 5 divide 2/(-4)*(-2850)/v?
True
Let o = -34 + 34. Suppose -882 = 5*j + 3*z, 3*z - 6*z - 12 = o. Let u = 279 + j. Does 22 divide u?
False
Suppose 80*w + 8916 - 27532 - 20024 = 0. Does 7 divide w?
True
Suppose -41 = -7*f + 36. Suppose -10*l + 5019 = f*l. Does 28 divide l?
False
Let f = -229 - -223. Is f/4*7296/(-18) a multiple of 16?
True
Let c be (9/(-27))/(1/6). Let w be 5/c*(2 + -4). Suppose 5*t + 730 = 4*u + u, 2*u - 320 = -w*t. Does 30 divide u?
True
Let d = -94 - -598. Let c = d + -442. Is c a multiple of 22?
False
Suppose -6384 + 16458 = 3*q. Let f = q + -1616. Is f a multiple of 26?
True
Let w(o) = 5*o**3 + 37*o**2 + 34*o - 150. Let p(i) = 14*i**3 + 110*i**2 + 103*i - 450. Let h(d) = -4*p(d) + 11*w(d). Does 19 divide h(-32)?
True
Suppose -134*w - 1545805 + 1827506 = -4028543. Is w a multiple of 59?
False
Suppose 4 + 1 = -2*t + 3*s, 5*t = 5*s. Let c = 63 - t. Suppose -4 = 3*q - c. Is q a multiple of 16?
False
Let j(l) = 12*l + 256. Let a be j(-21). Suppose 2*u = v + 1012, -5*u - a*v + 3379 = 836. Does 31 divide u?
False
Let i = -3416 - -3812. Does 99 divide i?
True
Let y = -18 - -36. Let h be -3 + (-78)/(-30) + 512/80. Suppose -6*v = -y + h. Is 2 a factor of v?
True
Let t(o) = 33*o**2 - 130*o + 4123. Does 5 divide t(28)?
True
Let w(h) = 4470*h + 404. Does 146 divide w(2)?
True
Suppose j - 6*j = 10. Is 5 a factor of j/(-13) + (-27720)/(-312)?
False
Let d(j) = -1298*j + 430. Is 71 a factor of d(-14)?
True
Let f(u) = 223*u**2 - 517*u + 3059. Is 3 a factor of f(6)?
False
Suppose -228 = -5*u + 2*m + 42, -3*m = u - 71. Is 4 a factor of (-301)/(-2) + 7/u*4?
False
Suppose m + 2085 = 4*l + 9433, -2*m - 3*l + 14608 = 0. Is m a multiple of 31?
True
Let q be -3*(-3)/(-9) + 2 + 0. Is (-5)/(-5 + 0) + 141*q a multiple of 11?
False
Suppose 0 = -196*v + 98*v + 746270. Is v a multiple of 76?
False
Let m = 6545 + 2795. Is 20 a factor of m?
True
Let w(o) = -2522*o - 7766. Does 16 divide w(-7)?
True
Does 8 divide (-50230)/(((-112)/84)/(8/12))?
False
Suppose -15*u + 9*u = -612. Let k = -468 + u. Let n = 645 + k. Is 29 a factor of n?
False
Suppose 0 = d + 3*m - 317, 2*m + 984 = -0*d + 3*d. Suppose -4 = 4*h, 0 = 3*k + 2*h - 11 - d. Suppose -q + 3*u + 43 = -0*u, -2*q + k = 3*u. Is 26 a factor of q?
True
Let u be 2*(5/(-2) + 3). Suppose r + u = -2*c - 3, -2 = 2*r + 2*c. Suppose 2*k - 408 = -r*k. Is k a multiple of 17?
True
Let x(y) = 5*y**3 + 101*y**2 + 9*y - 2. Does 29 divide x(-15)?
True
Let p = 5852 - 5446. Is p a multiple of 3?
False
Let z(h) = -992*h + 174. Let i be z(-5). Does 8 divide (-36)/270 + i/30?
False
Let u be -4*(-4)/4 + -64. Let d = -54 - u. Let f(k) = 9*k - 28. Is f(d) a multiple of 13?
True
Suppose -360628 - 182772 = -130*q. Is q a multiple of 76?
True
Let h(r) = -r**3 + 8*r**2 + 5*r + 1. Let q be h(6). Let g = q - 13. Suppose -3*j + 9*j - g = 0. Is 5 a factor of j?
True
Suppose -18 = -4*w + 10. Is 8 a factor of 3632/w + 16/14?
True
Suppose 42*l = -76394 + 406262. Is 238 a factor of l?
True
Suppose 10*m - 2*m + 20*m = 46816. Is 19 a factor of m?
True
Let f = 1956 - 410. Is 22 a factor of f?
False
Suppose 50*t - 71691 = 104259. Does 23 divide t?
True
Let z(l) = -3*l - 38. Let a be z(-15). Is 14 a factor of (123552/154 - 2/a) + -4?
True
Is 14 a factor of (-51)/(-68)*(-491452)/(-39)?
False
Does 14 divide (-12)/384*-80*(-37184)/(-10)?
True
Let u be ((-4)/(-5))/((-22)/880). Suppose -4*s - f = -274, 286 = 4*s - 8*f + 3*f. Let t = u + s. Is t a multiple of 8?
False
Suppose 0 = -508*z + 514*z - 432. Is 4 a factor of 4/72*6*z?
True
Suppose -3*p + 4*p = 5*b + 599, 4*p + b - 2501 = 0. Suppose 0 = -31*v + 2507 + p. Does 31 divide v?
False
Let g be 0*(-2 + 22/10). Let s(l) = -15*l + 832. Is s(g) a multiple of 26?
True
Suppose -b - 5*m + 661 = b, 2*b + 4*m - 662 = 0. Does 7 divide 1 + 1004/6 - 111/b?
True