 Does 6 divide v(-10)?
False
Let p(x) = -x**2 + 9*x + 73. Let o be p(-5). Suppose 28*m - 25*m = 0, -o*r + 1140 = -4*m. Is r a multiple of 76?
True
Let m = 6 + 47. Let v = 494 - 530. Let l = v + m. Is 2 a factor of l?
False
Suppose 16*x = 57*x - 17*x - 65736. Is x a multiple of 22?
False
Let c = -378 - -382. Suppose 5*v - 829 = -2*l + 4*v, 0 = -3*l - c*v + 1256. Is 14 a factor of l?
False
Let l be (72/(-90))/(4/(-50)). Suppose -263 = -2*p + z, 7*z = p + l*z - 135. Does 6 divide p?
True
Suppose -30*x + 69261 + 444951 = 97902. Is x a multiple of 139?
False
Suppose -2*v + 8 = 2*f, 20 = 5*f - 2*v - 14. Suppose -s + 4*a = 4, 5*s + 1 = -5*a + f*a. Suppose 9*l - 507 + 111 = s. Is l a multiple of 22?
True
Let x(w) = 436*w**2 - 361*w + 724. Is x(2) a multiple of 29?
False
Suppose -9*a + 9 = -6*a, 0 = 3*d + 2*a + 585. Let o = -167 - d. Does 30 divide o?
True
Suppose 0 = 2*g - m - 14 - 46, 2*g + 4*m = 40. Does 16 divide 2938/8 + 21/g?
True
Suppose -3*t = 5*u - 23484, 5*t + u - 24340 = 14756. Does 13 divide t?
False
Is 16 a factor of 866*(-3 + 9) + -7?
False
Let h(u) = u**3 + u**2 - u + 2. Let v be h(0). Let y be (-33 + (3 - (v + 3)))*-21. Suppose 21*i = 16*i + y. Is 15 a factor of i?
False
Let k be 2/3*-6 + 193. Let y be (75/(-12) - 3)/((-2)/16). Suppose k = h + y. Does 15 divide h?
False
Let y be -5 - 0*2/(-8). Let m be 15/75 - (2 + 64/y). Is 4 a factor of (-2 - -2) + m - (-2 - -1)?
True
Suppose -141 = -j + 75. Suppose 160 = 4*a - j. Suppose a + 5 = h. Is 11 a factor of h?
True
Suppose -184989 = -4*w + 3*o, -3*o = -5*w + 81972 + 149265. Does 164 divide w?
True
Suppose 3*u = -2*t + 11780, -2*t + 3*u = -5639 - 6141. Does 7 divide t?
False
Let i = -6897 + 13695. Does 15 divide i?
False
Suppose 38688 = 4*g - 4*x, 21*x + 19344 = 2*g + 22*x. Is 93 a factor of g?
True
Let y be 5/70*-4 - (-3812)/14. Let p = 303 - y. Is 8 a factor of p?
False
Suppose 69*k - 40186 = 75665. Is k a multiple of 23?
True
Let k(a) = -a**2 + 2*a + 11. Let f be k(4). Let r(u) = -9*u**f + 311*u - 13*u**3 - u**2 - 1 - 313*u. Is r(-1) a multiple of 11?
True
Suppose -47815 - 12164 = -41*o + 906. Is 11 a factor of o?
True
Suppose -165 = 5*z - 25. Let s = 48 - z. Suppose 2*v + i = -2*v + 61, 4*v + 4*i - s = 0. Is 7 a factor of v?
True
Is 8 a factor of ((57/12)/(1/262))/((-6)/(-12))?
False
Let i = -6168 + 8519. Is 81 a factor of i?
False
Let h(l) = -l**3 - 14*l**2 - 58*l - 75. Does 21 divide h(-16)?
True
Suppose 96*d + 46896 - 172147 - 31901 = 0. Is 3 a factor of d?
False
Let j(q) = 10009*q + 55. Is j(1) a multiple of 17?
True
Let t be (-6 - 3)/((-6)/(-4)). Does 46 divide (-15824)/(-129)*t/(-4)?
True
Let z be (1/(-3))/(17/(-102)). Is (-2 + 1)*(-1)/(z/270) a multiple of 2?
False
Let r = -137 + 219. Suppose 0 = -3*l + 3*p + 273, -2*p + r = 2*l - 104. Is l a multiple of 5?
False
Suppose 0 = -v - 4*l + 1394, 3*v + 1570*l - 1575*l = 4148. Is 77 a factor of v?
True
Suppose 5246 = 3*t - 3*t + 2*t. Is t a multiple of 5?
False
Let l(g) = 6*g**2 - 11*g + 132. Let r be l(9). Let p be (6/2)/((-6)/(-8)). Suppose p*a = r - 47. Does 27 divide a?
False
Suppose 4484 + 19201 = 4*n + x, -5917 = -n + 4*x. Does 63 divide n?
False
Suppose 0 = 5*u - 2*c - 50 - 128, -3*c + 56 = 2*u. Is 49 a factor of (-7499)/(-17) + u/(-289)?
True
Let u(x) = -x**3 - 44*x**2 + 180*x + 541. Is 292 a factor of u(-54)?
False
Let s(f) = f + 4. Let j be s(-3). Let i = -109 + 108. Is 14 a factor of i/4 + 519/12 - j?
True
Suppose 4*u = -14*u + 10*u + 7704. Does 107 divide u?
True
Suppose -13 + 39 = w. Suppose w = 10*c + 3*c. Is (1178/57)/(c/18) a multiple of 26?
False
Let w = 1246 + -626. Suppose 0 = 8*q - w - 676. Does 6 divide q?
True
Let g(s) = 11*s**2 + 57*s + 4. Suppose 17*w - 16*w + 8 = 0. Does 8 divide g(w)?
False
Let d(o) = 75*o**3 - o**2 + 5*o - 4. Let a be d(1). Is 19 a factor of -3 + a/20 - 399/(-12)?
False
Let w = 15985 - 11267. Is 70 a factor of w?
False
Let l = -491 + 649. Let i = 463 - l. Does 9 divide i?
False
Let h(j) = -j - 2. Let s be ((-14)/4)/(7 - 13/2). Let p be h(s). Suppose -p*u + 0*u = z - 50, 5*u = z - 90. Does 35 divide z?
True
Does 14 divide (-7 + (-693)/(-75))*-320*-5?
True
Let b = 89 - 50. Let h = 41 - 15. Suppose -23*w = -h*w + b. Is w a multiple of 13?
True
Suppose 5*g + 3389 - 914 = 0. Let q = -226 - g. Suppose i = 4*f + f - 1357, f + i = q. Does 21 divide f?
False
Let q(z) = 5218*z + 208. Does 19 divide q(2)?
False
Suppose -2*t + 59472 = 2*j, 15747 = t - 3*j - 13965. Is 15 a factor of t?
True
Let g(n) = n + 21. Let d be g(-15). Let b be (39*d/(-45))/((-2)/10). Suppose -5*z + 14 = -b. Is z a multiple of 2?
True
Let y(c) = -c**2 - 4*c + 14. Let t be y(-7). Let g(f) = 2*f**2 - 7*f - 14. Does 8 divide g(t)?
False
Let c be (-154)/385 - 6178/(-20)*6. Suppose 0 = 4*o - 12, 14*t + o + c = 18*t. Is 29 a factor of t?
True
Let x(z) be the second derivative of 24*z**3 - 27*z**2/2 - z - 13. Does 14 divide x(3)?
False
Suppose -8*c + 25 = -10*c - 5*s, 0 = -2*c - 3*s - 15. Suppose c = -3*f - 5*w + 43 - 5, 22 = 2*f + 4*w. Is 7 a factor of f?
True
Suppose -33*d + 150012 = -97521. Is d a multiple of 119?
False
Let g be 18 + -8 - (-33)/11. Suppose 2*x = 4*y - 2*x - 252, 4*x - 252 = -4*y. Let f = g + y. Does 20 divide f?
False
Let y(w) = 7*w - 30. Let t be y(6). Suppose 3*i = -3*i + t. Suppose -i*m + 50 = -4. Does 8 divide m?
False
Suppose -7201 - 25399 = -50*c. Does 5 divide c?
False
Let t = -10665 - -12501. Does 43 divide t?
False
Let d(u) = -2*u**2 + u + 31. Let w be d(7). Let p = 63 + w. Suppose h - 207 = p*q, -3*q - 817 = -4*h - 2*q. Is 17 a factor of h?
True
Let u be 5614/6 - 1*(-3)/9. Does 31 divide u/14 - 1/(-7)?
False
Let w = 928 + -918. Let d(p) be the first derivative of 7*p**2/2 - 34*p - 2. Is 12 a factor of d(w)?
True
Let g(y) = 2. Let j(c) = 6*c**2 + c - 6. Let d(n) = 4*g(n) + j(n). Let l(w) = w**3 - 5*w**2 - w + 4. Let s be l(5). Is 4 a factor of d(s)?
False
Suppose 4518711 + 3532059 = 546*d. Does 113 divide d?
False
Let v(n) be the first derivative of -n**3/3 - 17*n**2 - 10*n - 70. Is v(-14) a multiple of 30?
True
Let w = 50 + -41. Let k(m) = 2 - 2*m**3 + 0*m**3 - 13*m**2 - w*m + 4*m**2. Does 24 divide k(-5)?
True
Suppose -s = -4*s + 738. Suppose -7*k - s = -9*k. Let b = k + -96. Is 18 a factor of b?
False
Suppose 0 = -78*o + 85*o - 84. Suppose 4*q + 24 = o*q. Is q even?
False
Suppose -2*r = -4*r + 6. Suppose 3*q = r*d + 6, d + 12 = -2*q + 1. Is 79 + 3/(-1 + d)*-2 a multiple of 10?
True
Suppose -4*s = -g + 12611, g - 12603 - 2 = -2*s. Is g a multiple of 34?
False
Let m = 9 + -28. Let y be m/(-57) + 232/6. Does 40 divide ((y/4)/1)/((-4)/(-64))?
False
Suppose -282*d + 138083 = -746269. Is 58 a factor of d?
False
Let h = 33 + -43. Let r(p) = -p - 5. Let w be r(h). Suppose 2*q = -6*i + i + 256, 264 = w*i - 2*q. Is i a multiple of 26?
True
Suppose 5*v + 1032 + 458 = 0. Let h = v + 367. Is h a multiple of 4?
False
Suppose 6*q - 16616 = 4*l, -5*q = -41*l + 37*l - 13850. Does 9 divide q?
False
Let j(p) = -770*p + 4599. Is j(-11) a multiple of 146?
False
Suppose g = -3*l - 2, -1 + 11 = g - l. Suppose -x - 8 = -g, 3*x - 2897 = -5*o. Is o a multiple of 29?
True
Let a be -3 - (-21)/(((-165)/(-70))/11). Suppose -t = -a + 22. Does 19 divide t?
False
Let h be 8/(4 - (-6)/(-3)). Let w(l) = h*l - l**3 - 8 - 16*l**2 + 2 - 4 + 7*l**2. Is w(-10) a multiple of 10?
True
Let c(j) = j**3 + 12*j**2 - 23*j + 6. Let s be c(-14). Does 7 divide (-3 - 20/(-8))*s?
False
Suppose 7*g - 2640 = -3*g + 47540. Does 26 divide g?
True
Suppose 2*l + 4*t = 7*t + 37, -4*t + 2 = 2*l. Suppose -7716 = -l*v - 2678. Is 73 a factor of v?
False
Is 73 a factor of (-872)/(-6)*99/(-1848)*-1022?
True
Let b(u) = 15*u - 9. Suppose 2*s - 16 = -4. Let k(r) = -16*r + 8. Let y(q) = s*b(q) + 5*k(q). Is y(5) a multiple of 6?
True
Suppose -r - 4 = -1. Let a be 9/r + 5 + 1. Suppose a*q + 3*y - 288 = -q, 4*q - 288 = -5*y. Is q a multiple of 12?
True
Let q be 4 - (2/(-3))/(17/153). Suppose -q*n + 1076 = -164. Is n a multiple of 5?
False
Suppose -4*v + 12 = -3*w, 5*v = w - 5*w + 15. Suppose 0 = -10*d - v*d + 2860. Suppose 3*c = 5*l + 208 + 122, 2*c + 4*l = d. Is 11 a factor of c?
True
Let j be ((-56)/6)/(2/3). Does 2 divide ((-8)/j)/((-4)/(-182))?
True
Suppose 9*a = -6*a + 106680 - 13185. Is 9 a factor of a?
False
Suppose 10*y - 423354 = -5*y + 306546. Does 119 divide y?
Fa