 r?
False
Let w be (-2)/(-9) - 14300/(-45). Suppose -4*v + 0*v - x + 9 = 0, -3*v + 11 = 5*x. Does 23 divide w/14 + v/7?
True
Suppose -4*v + 8*z = 3*z - 17, -16 = -5*v + z. Suppose 4*x + 286 = v*w, 2*w + 0*x - 3*x = 190. Does 12 divide w?
False
Let x = 72 - -1061. Is 11 a factor of x?
True
Let f be 6/(-2*(-3)/1266). Suppose -2*t = 4*t - f. Suppose 4*j = t - 47. Is 9 a factor of j?
False
Suppose -2*t + 0*t = -9*t. Suppose h = -g + 51, -h = -5*g - t*h + 279. Does 55 divide g?
True
Let p = -87 + 153. Is 3 a factor of p?
True
Suppose 17*o - 18872 = 3*o. Is 28/126 - o/(-9) a multiple of 14?
False
Let w = 327 + 674. Is 91 a factor of w?
True
Let n(j) = -j**3 + 5*j**2 + 6*j + 5. Let t be n(6). Suppose -t*h = 2*m + 3*m - 455, 3*m = 5*h - 423. Does 29 divide h?
True
Let h be (-16 - -15)/(1/(-4)). Suppose -h*u = -7*u + 12. Suppose 3*k + 3*c - 333 = -c, u*c = -4*k + 440. Is 30 a factor of k?
False
Is 11 a factor of (1 + (1 - 1))*129 + 3?
True
Let k(u) be the first derivative of -u**2/2 + 26*u + 16. Does 8 divide k(-6)?
True
Let p(c) = -c**2 - 10*c - 9. Suppose 4*k = 3*z - 6 - 36, -k = z + 7. Let j be p(k). Suppose 0 = -j*x + 2*x - 16. Does 4 divide x?
True
Let k = 54 - 27. Let w = k + -8. Is w a multiple of 19?
True
Let g(d) = 129*d**2 + 7*d - 3. Is 13 a factor of g(3)?
False
Suppose -3*m - 67 = 3*o + 2*o, 5*m + 85 = 5*o. Is 8 a factor of 4/14 + m/(-7) - -85?
True
Does 33 divide 28/(-42) + 1*(-21788)/(-12)?
True
Let f(i) = -4*i**3 + 4*i**2 - 2*i. Let m be f(2). Let a be 85/m - (-2)/8. Let q(j) = -8*j - 6. Is q(a) a multiple of 13?
True
Suppose -4*d = -w - 30, 3 = 2*d - w - 13. Let m(z) = 2*z**2 + 5*z - 8. Is 23 a factor of m(d)?
False
Let x(o) be the third derivative of o**5/60 + 5*o**4/24 + 2*o**3 - 5*o**2. Is x(-5) a multiple of 12?
True
Suppose -3*j = 2*g - 699, 0 = j - 2*j - 5*g + 246. Does 33 divide j?
True
Does 18 divide 144/5*294/28*5?
True
Let h(r) = 8*r**2 - 5*r - 3. Let j(o) = 9*o**2 - 4*o - 3. Let s(a) = -2*h(a) + 3*j(a). Does 38 divide s(-2)?
False
Let u = 475 + -225. Is u a multiple of 3?
False
Let i be (-9)/(-6)*(-8)/(-6). Suppose -5*n + 503 = 4*r - 132, 237 = i*n + 5*r. Suppose s + 3*c - 52 = 0, 2*c = -4*s + n + 37. Is s a multiple of 10?
True
Suppose k - 5*k + 40 = 4*y, 10 = 5*y - 5*k. Suppose -y*f + 291 = -219. Is 17 a factor of f?
True
Let h be -2 - (8/6)/((-5)/15). Suppose -91 = -3*m + h. Is m a multiple of 16?
False
Let z = -284 - -766. Is z a multiple of 14?
False
Suppose 14*h = 26*h - 5232. Is h a multiple of 23?
False
Is ((-305)/5)/(3/(-6)) a multiple of 4?
False
Let y be (-20)/15*(-3)/(-1). Let m(o) = o**3 + 5*o**2 + o - 4. Is m(y) even?
True
Is 173 + (-6 - -5)*4 a multiple of 29?
False
Let l = 185 + -61. Let x = l + -113. Is 7 a factor of x?
False
Suppose 5*q = 3*h - 881, h + 205*q - 295 = 206*q. Does 9 divide h?
True
Let o(k) be the first derivative of -25*k**4 - k**3/3 - 2*k**2 - 3*k - 18. Is 5 a factor of o(-1)?
True
Suppose -7*t + 2*t + 495 = 0. Let w be (1 - 5)/((-18)/t). Is w/1 + -11 + 9 a multiple of 17?
False
Let w = 349 - 200. Is 44 a factor of w?
False
Let x(l) = -19 - 22*l + 20*l + 12*l. Is x(3) a multiple of 2?
False
Let v be 9 + (2/(-1) - -5). Let y be 1 + (-1 - (-3 - -7)). Is v*1/y*-6 a multiple of 9?
True
Let w(j) = j**2 + 2*j - 20. Let r be w(-6). Suppose d - 88 = -2*z, r*z - d = -6*d + 188. Does 25 divide z?
False
Let z = 59 + -59. Suppose z = -0*t - 5*t - 5*w + 1305, -5*t + 1297 = -3*w. Is t a multiple of 46?
False
Does 15 divide -202*((-900)/(-8))/(-15)?
True
Suppose i + 2*t + 8 = 0, 3*i + 14 = -6*t + 2*t. Let n(b) = b**3 + 2*b - 2. Is 4 a factor of n(i)?
False
Is 5 a factor of (-4)/((-28)/(-3)) - (-1244)/28?
False
Suppose -3*a = -4*h - 1117, -60 = -3*a - 2*h + 1087. Is a a multiple of 73?
False
Does 4 divide (514/6 - 1)*(-12)/(-4)?
False
Let u(w) = w**2 + 6*w - 7. Let v be u(2). Is 6/v + (-320)/(-6) a multiple of 15?
False
Is 0 + (-4)/14 + 3742/14 a multiple of 35?
False
Suppose 391 = -2*s + 5*s - 4*n, 0 = 4*n + 16. Does 20 divide s - (-1 + (9 - 3))?
True
Let y(b) = -b**2 - 6*b + 1. Let k(d) = d**2 + 9*d + 8. Let n be k(-7). Let w be y(n). Does 12 divide 4/((-68)/76 + w)?
False
Suppose -2*w - 12 = -4*f, 15*f - 6 = 13*f - 2*w. Suppose -5*j + 20 = -0*j. Suppose -j*g - f + 51 = 0. Is 4 a factor of g?
True
Let m = -72 + 39. Let n(y) = -y**2 - 35*y - 31. Is 16 a factor of n(m)?
False
Suppose -3*b = -3*h + 7*h + 722, 5*h - 3*b = -916. Let q = -104 - h. Is q a multiple of 13?
True
Let b(c) = -c**3 - 10*c**2 - 7*c + 6. Let z be b(-10). Let p = z - -54. Is 6 a factor of p?
False
Let v(i) = -2*i**3 - 6*i**2 - 7*i - 5. Let r be v(-4). Let s be 0 - 0/(-3) - r. Let n = 115 + s. Does 20 divide n?
True
Let u(c) = c**2 - c - 17. Let n be u(5). Suppose -h + 16 = 2*k, -8*h + 4*h = n*k - 19. Is 7 a factor of k?
False
Suppose 4*j - 6420 = -4*s, 8*j - 4775 = 5*j + 5*s. Is 50 a factor of j?
True
Suppose -5*q + 4*z + 330 = 0, -5*q = -3*q + 3*z - 132. Is q a multiple of 22?
True
Let r(l) = l**2 + 2*l + 2. Let p be r(-9). Suppose -5*d = -p - 115. Let u = -16 + d. Is u a multiple of 10?
True
Let g(y) = y**2 + 5*y - 3. Let j be g(-6). Let c(u) = 2*u**j - u**2 - 10*u - u**3 - 4*u**2. Is c(7) a multiple of 28?
True
Is 70 a factor of ((-3570)/(-306))/((-2)/(-156))?
True
Let q be 39/(9/(-3)) - 3. Let v = q - -19. Suppose -v*g + 0*g + 96 = 0. Does 7 divide g?
False
Let t(c) = -c. Let m(b) = b**3 - 25*b**2 + 41*b + 16. Let g(s) = -m(s) - 3*t(s). Does 42 divide g(23)?
True
Suppose 9*n - 16*n + 1533 = 0. Is n a multiple of 16?
False
Does 15 divide 120*8/(-4)*-1?
True
Let f(h) = h**3 - 1. Let m(a) = -4*a**3 + 11*a**2 - 5*a - 2. Let o(q) = 3*f(q) + m(q). Is o(10) a multiple of 9?
True
Let w be (2 + (2 - 4))/(-1). Suppose 0 = r - w*r - 12. Let v = r - 2. Is 4 a factor of v?
False
Suppose -24*t = -21*t + 15. Is 224 + (t - 5/(-5)) a multiple of 55?
True
Suppose -8687 - 19471 = -19*r. Is 15 a factor of r?
False
Suppose -5*y + 4314 = 3*c, -c = 3*y + 669 - 3259. Is 18 a factor of y?
True
Let k(y) = -y**2 - 9*y - 12. Let i be k(-7). Suppose -3*b = -0*b - 4*z + 262, i*z = 2*b + 172. Let u = b + 117. Is 16 a factor of u?
False
Suppose 5*i - 5 = 3*z, -i - 2*z = 1 - 2. Let b be (i + 0 + -2)*-3. Suppose -l + 42 = 5*p - 4*l, b*p - 4*l = 23. Is 9 a factor of p?
True
Let n be (-1)/7 - 792/(-56). Let i = 27 - n. Is 13 a factor of i?
True
Does 97 divide -8 - -203 - (-4)/(-4)?
True
Suppose -6*j - 5*j = -5610. Is j a multiple of 34?
True
Suppose 5*d + 8140 = 4*t - 224, -4*d = 2*t - 4156. Is 25 a factor of t?
False
Let b(n) be the second derivative of n**7/840 - n**6/45 + n**5/40 + n**4/6 - 7*n**3/6 + n. Let a(h) be the second derivative of b(h). Does 16 divide a(8)?
False
Suppose 0 = 9*u - 17*u + 15640. Does 23 divide u?
True
Suppose 113*x + 2560 = 118*x. Does 20 divide x?
False
Let s = 10 + -24. Let n be 4/s + (-176)/(-77). Suppose 0 = -n*f - 2*f + 192. Is 8 a factor of f?
True
Suppose 0 = -22*y + 23*y + 1. Is 15 a factor of (y/2)/((-2)/60)?
True
Suppose -17*x + 693 = -10*x. Does 4 divide x?
False
Let m(w) = -w**3 - 8*w**2 - 6*w - 5. Let b be 8/(-1 - -3 - 3). Let k be m(b). Let u = k + -3. Does 10 divide u?
True
Let b(j) = 4*j**3 - 5*j**2 + 6. Let p be b(3). Let k = -7 + p. Is k a multiple of 20?
False
Let f = 35 + -33. Suppose f*m = -0 + 60. Does 10 divide m?
True
Let r be 1/(-8)*-2 + (-17)/68. Suppose -3*c - 8*c + 396 = r. Does 4 divide c?
True
Suppose 4*c - 3*d - 12 = c, 0 = 5*c + 5*d - 10. Suppose 0 = -c*h + 4*h - 65. Suppose 5*q = -0*q + h. Is 6 a factor of q?
False
Let n = -9 + 23. Let l = n + -16. Is 4 a factor of (-2)/(-1)*(-14)/l?
False
Let o be 350/85 - (-4)/(-34). Suppose 0*y - o = -2*y. Suppose -h - y*h + 105 = 0. Does 7 divide h?
True
Let i = -83 - -138. Let n = 131 - i. Is n a multiple of 25?
False
Is 6 a factor of (-414)/(-4) + (-3)/2?
True
Suppose 5*a + 4*n - 2193 = 0, -4*n - 502 = -4*a + 1238. Suppose -w + 4*t + 305 = 0, 0 = -2*w - t + 137 + a. Suppose -5*d + w = 4. Does 24 divide d?
False
Let r(i) = -2*i + 2. Let a be r(0). Suppose -2*m + 5*q + 35 = 0, -140 = -4*m - m + a*q. Is m a multiple of 4?
False
Let y(x) = 3*x - 6. Let h be y(5). Suppose -5*l + 3*c = -214, -4*l + 149 = -4*c + h*c. Suppose 0 = p - l - 24. Is p a multiple of 13?
True
Is 10 a factor of 0/(-2)*-1 - (-193 - -13)?
True
Suppose -6*b + 3*y + 1920 + 5613 = 0, 3*y - 5047 = -4*b.