of o?
False
Suppose 0 = -8*b + 31 + 1. Suppose 244 = 2*o - 3*w + 72, b*w = -8. Does 2 divide o?
False
Suppose -212 = -c - n, -325 - 85 = -2*c - 4*n. Let t be (-1124)/(-3) + 2/6. Let o = t - c. Is 31 a factor of o?
False
Let o(t) be the second derivative of t**5/20 - t**4/4 - t**3/6 - 3*t**2/2 - 4*t - 29. Suppose 2*s = -3*x - 0*s + 19, 13 = x + 4*s. Is 8 a factor of o(x)?
False
Is 35 a factor of ((-4600)/(-100))/(6/105)?
True
Let x be (0 - -1)*6 + -3. Suppose -4*r + 374 = 3*j, -6*j + x*j + r + 394 = 0. Is 13 a factor of j?
True
Let s = -8215 + 18111. Is s a multiple of 8?
True
Let n(x) = 5*x**2 + 20*x + 6. Let w be n(-9). Let o = w + -142. Does 51 divide o?
False
Let s be (-6)/((-2)/13 - 105/78). Suppose 0 = -5*u + 3*u + 144. Suppose -a = -4*m + 3*m - 38, -2*a + u = -s*m. Does 6 divide a?
False
Suppose 0 = -4*c - x + 1 + 3, 2*x + 6 = -c. Suppose -4*k - 3*r = 1254, r - 1562 = 5*k + c*r. Let b = -151 - k. Is b a multiple of 36?
False
Suppose -38*m - 300483 = -73*m + 105377. Is 52 a factor of m?
True
Let o(i) = i**2 - i - 87. Let k be o(-9). Suppose 960 = 3*q - 3*j, 4*j - k*j = -q + 320. Is q a multiple of 10?
True
Is 38548/10 + 18*24/(-540) a multiple of 5?
False
Suppose -2*d - l + 2 - 3 = 0, -2*d = -5*l + 19. Let z be d*(-3)/(-6) - 2 - 0. Let a(h) = -5*h + 18. Is 10 a factor of a(z)?
False
Is 7 a factor of 1523 + 15 + -14 - -2?
True
Let v(f) = 16*f - 21. Let o be v(6). Let d = o - 83. Is 5 a factor of -48*d/6 + 1?
True
Let q(i) = -i**3 + 32*i**2 + 84*i - 370. Does 3 divide q(33)?
False
Suppose n - 2*n = -5*u - 62, -169 = -3*n - 2*u. Let p = 0 + 0. Suppose p = -k - 17 + n. Does 8 divide k?
True
Suppose -2*l - 1990 = -7*l. Let y = 942 + -660. Let q = l - y. Is 28 a factor of q?
False
Is ((-115092)/(-10))/((-24)/18*138/(-460)) a multiple of 9?
True
Suppose 8*u = 3 + 29. Suppose 0 = -5*y - u*k + 31, -2*y - k + 3*k - 2 = 0. Is 40 a factor of 7/((-105)/(-640))*(y + 0)?
False
Let w be 3 + 2 + 4 + 9. Suppose 0 = -w*g + 364 + 950. Is g a multiple of 2?
False
Let j = -26229 - -81221. Is 17 a factor of j?
False
Let n = -7338 + 8470. Does 22 divide n?
False
Let u(m) be the third derivative of -m**6/60 + m**5/60 - m**4/3 - 2*m**3 + 127*m**2 + 2*m. Is u(-2) a multiple of 12?
True
Let n be 54/36*16/(-6). Let q be ((-12)/15)/(n/(-10)*-1). Does 36 divide 1/q + 539/14?
False
Suppose 0 = 3*c, -2 - 10 = -4*o + 2*c. Suppose -4*d = 5*h - 16, -o*h + h = -3*d - 11. Is -24*10/(-15) + (0 - d) a multiple of 17?
True
Suppose -350*l + 354*l + 30008 = 4*r, 4*l = -5*r + 37465. Does 147 divide r?
True
Suppose -47*z + 7032 = -104*z + 59*z. Is z a multiple of 12?
True
Let o be (234/27)/13 + 2668/3. Suppose 0 = -f - 4, -r + 7*f + o = 5*f. Does 67 divide r?
False
Suppose -28*j - 2714857 = -225*j. Is j a multiple of 26?
False
Let b(j) = -2*j**3 + 4 - 4*j**2 + 12 + 3*j + j**3 + 0*j**2. Is 11 a factor of b(-5)?
False
Suppose 8 = 48*w - 44*w. Suppose 5*c - 15 = -5*n, -3*c + w*n + 2*n + 23 = 0. Suppose c*z - 6*z + 723 = 4*j, 3*j - 548 = 5*z. Is j a multiple of 8?
False
Let k = -11 + 18. Let i(b) = -b**3 + 11*b**2 - 5*b - 1. Let j be i(k). Suppose 0*y - j = -3*y + m, y - 60 = -m. Is y a multiple of 7?
False
Let u(r) = r**2 + 19*r - 28. Let a be 0 + (-681)/27 + 6/27. Let x be u(a). Let p = -23 + x. Is p a multiple of 30?
False
Let v = 1090 - -1635. Is 25 a factor of v?
True
Suppose -11*v = -35*v - 125*v + 3873851. Does 9 divide v?
False
Let m be 6/8 + ((-765)/(-36))/17. Suppose -3*z = 5*j - 1290, m*j - j - 235 = 4*z. Does 7 divide j?
False
Let q = 32935 + 43356. Is q a multiple of 30?
False
Suppose c - 4822 - 7377 = -6*d, -2*c + 24346 = -d. Is c a multiple of 21?
False
Let c be (312/30)/(4/10). Let o = 60 - c. Suppose 3*s - o = -5*a, -5 - 5 = 5*s. Is a a multiple of 4?
True
Let g = 12 - -7. Suppose -g*p = -13*p - 132. Suppose 25*k - p*k = 78. Is k a multiple of 13?
True
Suppose 499 = -7*a - 320. Let j = 19 - -22. Let b = j - a. Does 40 divide b?
False
Let c = 107 - -283. Suppose -664 = 5*d + 2*x, -c = 3*d + 4*x - 0*x. Let s = d + 236. Is 25 a factor of s?
False
Does 66 divide (421 + -13)*(987/12 + (-7)/(-28))?
True
Suppose -5*v + 5*b = 6*b - 455, 2*v + 3*b - 169 = 0. Suppose -119*l = -v*l - 7344. Is 17 a factor of l?
True
Let t be -2*(-2)/4 - -60. Suppose 507*o = 504*o + 111. Let w = t - o. Is w a multiple of 12?
True
Suppose 3*n + 0*n - 3*h - 156 = 0, 16 = 4*h. Let t be 4/(-14) - (-128)/n. Suppose -2*u + 222 = 2*b, t*b - 101 = b - 3*u. Does 17 divide b?
False
Let i(h) = -34*h - 27. Let t be i(6). Is t*((-1)/2)/(15/50) a multiple of 38?
False
Let v(j) = -j**2 - 7*j - 3. Let u be v(-3). Let c be (-72)/u*(-1 - 0). Is 7 a factor of 25/100 - (-2)/(c/643)?
True
Suppose b = -0*b. Suppose 35*a + 27*a = -15 + 635. Suppose b = -a*z - 23 + 683. Is z a multiple of 11?
True
Let u = -49 + 51. Suppose -4*y = -f + 245, u*f = 5*f - y - 790. Let l = f + -181. Does 13 divide l?
False
Suppose 196 + 140 = 7*r. Let i = 45 - r. Does 41 divide 19/57 + (1 - 278/i)?
False
Let o be 282/8 - (7/28 - 0). Suppose -5*b + 10 = -5*u + o, b + 13 = 3*u. Does 16 divide b/((4/(-26))/(4/1))?
False
Let u be 0 - ((-2)/(-12) - 825/198). Suppose 0 = -2*f + u*r + 430, 2*f - 103 - 348 = -3*r. Is 13 a factor of f?
True
Let b = -207 + 216. Is (3 - b)*52/(-6) + -3 a multiple of 49?
True
Suppose -136*q + 3726703 + 1039542 = -660835. Is 143 a factor of q?
False
Let c(o) = -o**2 - 10*o + 13. Let t be 7/42 - (-67)/(-6). Let x be c(t). Let b = x + 28. Does 15 divide b?
True
Let y(q) = -q**3 - q**2 - 33*q + 80. Does 6 divide y(-18)?
False
Let p(j) = 6*j**2 + 51*j + 3. Let x be p(-8). Let q = 65 + x. Is q a multiple of 8?
False
Let m(f) = -5*f**3 + 5*f**2 - 31*f + 341. Does 7 divide m(-16)?
False
Let d(u) = -15*u + 0*u - 14 - u + 2*u**2 + 8*u. Suppose y - 18 + 8 = 0. Is d(y) a multiple of 53?
True
Let d be (-96)/(-21) + (-4)/7. Let h(q) = 14*q**2 + 11*q + 4. Let c be h(d). Suppose 0 = 2*n - 5*m - 119, -3*n + c = 2*m + 46. Is 9 a factor of n?
True
Let d = 17006 - 12268. Is 37 a factor of d?
False
Let q(y) = -y**3 - 9*y**2 - y + 3. Suppose 2*t + 4 = -12. Let a be q(t). Let k = 66 + a. Is k a multiple of 4?
False
Let d(n) = n + 6. Let s be d(0). Let f be (-28)/s*(-2)/(-12)*9. Does 20 divide (66/(-6) - 4)*(f - 1)?
True
Suppose -4*f + 1933 = -4*i - 15123, -f = -3*i - 4260. Is 79 a factor of f?
True
Suppose -81*t - 432978 = -1219569. Is 83 a factor of t?
True
Let b(s) = -212*s + 208*s + 5 + 5. Let z be b(-6). Let i = z - -12. Is 7 a factor of i?
False
Let u(g) = -g**2 - 5*g + 1. Let b = -35 + 30. Let v be u(b). Is 4434/78 + (-6)/(-39)*v a multiple of 19?
True
Let n(r) = r**3 + 9*r**2 - 7*r. Let v(d) = -2*d**2 - 6*d - 6. Let f be v(-3). Is n(f) a multiple of 15?
True
Let y(x) = 12*x**2 + 32*x - 25. Is 23 a factor of y(-5)?
True
Let m(q) = -100*q + 25. Let c be m(-2). Let o = 150 + c. Is o a multiple of 11?
False
Let q(a) = -2*a**3 + 14*a**2 + 26*a - 26. Let k be q(20). Let g be k/33 - 20/(-110). Let s = g - -456. Is 11 a factor of s?
False
Let u = 90 + -182. Let d = u - -94. Suppose 70 = d*f + 2*p, 8*f - 3*f + 4*p - 176 = 0. Is f a multiple of 11?
False
Let a(b) = 6*b**3 - 3*b**2 - 4*b - 2. Suppose 0 = 2*k + 6 - 0. Let w be a(k). Let r = 323 + w. Is r a multiple of 34?
False
Suppose 3*k = -2*k + 10, -2*s - 5*k - 166 = 0. Let w = 98 + s. Is 2 a factor of w?
True
Suppose 4*q + 138 = -2*h - h, -5*q + 165 = -3*h. Let t = -1245 + 1315. Let p = t + h. Does 10 divide p?
True
Suppose -2*g - 13 = -3*j, -3 = 2*j - 4*g - 9. Let w be (-5)/(3/(36/38) + -4). Suppose j*u = w + 14. Is u a multiple of 2?
True
Suppose 27*a - 20570 = -83*a. Is a a multiple of 20?
False
Let q = -89 - -283. Suppose -6*i + 1886 - q = 0. Is i a multiple of 47?
True
Let n(o) = -1390*o**2 - o + 1. Let t be n(1). Let v = 2059 + t. Is 33 a factor of v?
False
Let w(m) = -m**3 + 11*m**2 - m - 13. Suppose -2*b + 36 = 12. Suppose 0 = i + 3*p - b - 9, 0 = 2*i + 2*p - 26. Is w(i) a multiple of 35?
True
Let a be -5 + (-15)/(-5) + (1 - -16). Let l be (-4)/(-12) + 10/a. Is (-156 - -6)*l/(-2) a multiple of 15?
True
Suppose 6*t = 2*t - 3*t. Suppose -2*f - 46 + 216 = t. Let n = f - 55. Is 15 a factor of n?
True
Let r be 0/((-16)/(-44)*(-33)/(-6)). Suppose c - 135 = -4*b + 6*b, r = -c + b + 130. Is 12 a factor of c?
False
Does 20 divide 3*32/10*(-300)/(-8)?
True
Let g(y) = 4*y**3 - 2*y**2 - 23*y + 