j?
True
Suppose -2*d = 3*q - 532, -2*q - 2*q + 701 = d. Is q a multiple of 4?
False
Let u = 141637 + -86098. Is 363 a factor of u?
True
Let j = -6383 - -19943. Is 24 a factor of j?
True
Let v(d) = 4438*d**2 - 117*d + 33. Is v(3) a multiple of 78?
True
Suppose -34 = -4*l + 2*y, 4*l - 5*y - 36 = -11. Let w(a) = -3*a + 24. Let f be w(l). Let g(i) = i**2 + i - 5. Is 16 a factor of g(f)?
False
Suppose -30 = 9*x - 15*x. Suppose x*r - 5*c = -102 + 387, 5*r = -c + 267. Is 9 a factor of r?
True
Suppose u + 4*f - 1914 = 0, 0*u + 4*u + f = 7581. Suppose j = -4*i - 3*j + 1892, 4*i + 5*j = u. Is 14 a factor of i?
False
Suppose 6 = 2*d - 4*b, 8*b - 4*b = -d - 3. Is (-2)/(8/(-8)*d) a multiple of 2?
True
Does 65 divide 25/200*72 - (-8268)/1?
False
Let i(f) be the first derivative of 19 + 29*f - 1/2*f**2. Is 10 a factor of i(9)?
True
Let u be 0/(-1 + 2 - 0). Let a(m) = m**2 + 2*m + 319. Let q be a(u). Let v = q - 195. Does 31 divide v?
True
Suppose -3*n + 3*u + 1374 = -0*u, -3*n + 5*u + 1372 = 0. Let t be (2/(-6))/(17/n) - 0. Let w(l) = 3*l**2 + 12*l - 2. Is w(t) a multiple of 13?
False
Let g be (452/339)/((-8)/6). Let w be 0 + -3 + (-1)/(-1). Is w/8*g + (-447)/(-4) a multiple of 8?
True
Let p(k) be the third derivative of 13*k**4/24 + 143*k**3/6 + k**2 + 47. Does 9 divide p(16)?
True
Let s(x) = 23*x**2 - 60*x + 970. Is s(38) a multiple of 39?
True
Let i(t) = t**3 - 14*t**2 - 35*t + 9. Is i(18) a multiple of 25?
True
Suppose -11*h + 10*h + 286 = 0. Let f = h + -554. Let n = 526 + f. Does 37 divide n?
False
Let d be -2*18*(-3)/12. Suppose -4*b + 5*q = -404, 202 = -7*b + d*b + 2*q. Is b a multiple of 2?
False
Let f = -560 + 557. Is 9 a factor of ((f - (5 + -9)) + 0)*585?
True
Suppose 0 = 5*x - 3*w - 55806, 6*x + 5*w - 10*w - 66956 = 0. Does 87 divide x?
False
Let v(h) = 4*h - h + 20 - 4*h + 4*h. Let m be v(12). Suppose -2*d + m = -140. Is d a multiple of 15?
False
Suppose -4*d + 2*d - 8 = 0, 5*c + 4*d + 26 = 0. Is -6 - 6/c - -535 a multiple of 28?
True
Let s(u) = -32*u + 107. Let g be s(3). Suppose -819 = -5*t - g*h + 8*h, 0 = 4*h + 8. Is t a multiple of 16?
False
Let o be 6*(4/(-18) - (-230)/(-180)). Let v(a) = -6 + 7 - 12*a - 19. Does 30 divide v(o)?
True
Suppose 112*s - 176022 = -15*s. Is s a multiple of 22?
True
Let l be (0/1)/(-1 + 0). Let m be 113 + 2 + l + 0. Let n = -59 + m. Does 14 divide n?
True
Suppose u - 7 = -5*m, -8 = 2*m + 4*u - 0. Suppose 0 = m*l - 5*k - 926, -l + 5*k - k = -463. Let f = -295 + l. Does 14 divide f?
True
Let k = 3848 - 3801. Is 8 a factor of k?
False
Does 220 divide 26*364/(-4)*(10 - (-10 + 24))?
False
Let h(u) = 11*u**2 - 1025*u + 238. Is 77 a factor of h(97)?
True
Suppose 3*d + 2*c = 58, 0 = -4*d + 8*c - 4*c + 84. Suppose s = -5*u + 16 + d, -33 = -s - 4*u. Is s a multiple of 9?
False
Suppose -198*n = -236*n + 410709 + 1913485. Is 142 a factor of n?
False
Let l = -88 - -114. Is 17 a factor of (-18)/(-24) + 148/32*l?
False
Is (-49)/(-98)*(1898 + 2) a multiple of 31?
False
Suppose -288 = -4*f + 12*f. Is 32 a factor of (1893/9 + 3)*f/(-30)?
True
Suppose 0 = -5*a, -2*g - 4*a + 3 + 11 = 0. Suppose 42*t - 10885 = g*t. Is 7 a factor of t?
False
Let r(j) = -13*j + 5. Let x be r(0). Suppose -f + 1385 = 5*m - 6*f, 1383 = x*m - 4*f. Is m a multiple of 11?
True
Let k(t) = 2*t**2 + 23*t + 40. Let m be k(-9). Let g(l) = -2*l**3 - 6*l**2 + 2*l - 1. Let n be g(-5). Let w = n + m. Is w a multiple of 28?
True
Suppose -2*u + 9125 = 3*u. Let c be 1/(-3 - u/(-610)). Let s = -76 - c. Does 12 divide s?
False
Suppose 3*n - 3 = 3*b, -4*b = -b + 5*n - 29. Suppose -2*d - b*a + 100 = -28, 128 = 2*d - 3*a. Is d a multiple of 8?
True
Suppose 3*i + 4*z - 13 = 45, -3*i + 53 = 5*z. Let x(a) = 11*a + 6*a - a**2 + 12*a + 54 - a**3 + i*a**2. Is x(26) a multiple of 22?
True
Let w = 13833 - 6325. Does 4 divide w?
True
Suppose -5*t = -b - 115, -4*t = 5*b - 4*b - 83. Suppose t*k + 42900 = 77*k. Is 78 a factor of k?
True
Does 11 divide ((-54)/9*(-2)/(-9))/((-46)/43401)?
False
Let k = 40 + -29. Suppose -5*j - 55 = -165. Let r = j - k. Is 2 a factor of r?
False
Let q(d) = -16*d + 40. Let t(c) = 16*c - 42. Let v(z) = -5*q(z) - 4*t(z). Is 12 a factor of v(5)?
True
Suppose 1031 + 1349 = 5*u. Suppose 3*h - 2460 = -2*c, h - 349 = c + u. Does 77 divide h?
False
Let q = 54 - -18. Let h be q/7*(-20 + 13). Let w = 117 + h. Is w a multiple of 15?
True
Let s = 413 - -7035. Is s a multiple of 142?
False
Suppose 6284328 + 176561 = 146*c + 452843. Does 12 divide c?
False
Let m(c) = c**3 + 6*c**2 - 10*c - 16. Let q be m(-7). Suppose q*d - 36 = -6. Is (85/1 - 2)*(-4 + d) a multiple of 26?
False
Suppose -88*a + 5*a + 3687221 = 96*a. Does 36 divide a?
False
Let l(j) = j**3 + 96*j**2 - 135*j + 320. Is l(-95) a multiple of 30?
True
Let s = 12 - -7. Let v(u) = 14*u + 15*u + 5*u + 191 - 160 - 33*u. Does 16 divide v(s)?
False
Let t(u) be the second derivative of 567*u**5/20 + u**4/12 + u**3/6 - u**2 - 79*u. Is 26 a factor of t(1)?
False
Let d = 587 - 583. Suppose 34 = 2*m + a - 6*a, 4*a - 96 = -d*m. Is 9 a factor of m?
False
Suppose -4*u + 38 = -2*u. Let p be 54/21*(u + -5). Suppose c + 16 = -5*q, 0 = -5*q - p + 11. Is 9 a factor of c?
True
Does 22 divide (-4995)/(-222)*(-582)/(-15)?
False
Suppose -358612 = -92*m - 34680. Is m a multiple of 41?
False
Suppose 4*l = 5*z + 427, -l + 2*z - 542 = -6*l. Suppose l = 11*n + 31. Suppose -n*s - 5*s + 1080 = 0. Does 10 divide s?
True
Let c be 6*1/12*2. Let k be ((3 - 4) + c)*-1. Suppose k = -10*w + 9*w + 41. Is w a multiple of 14?
False
Is ((-125)/15 + 3)/((-6)/3681 + 0) a multiple of 8?
True
Suppose -5*i = -11 - 14, 5*q + 2475 = -i. Let d = 962 + q. Does 28 divide d?
False
Let b(g) = 3*g**2 + 19*g + 25. Let n be b(-7). Let a be (228/n + 2/13)*66. Suppose 368 = 3*f + 4*p, -f + 3*p + a = 2*f. Is 18 a factor of f?
False
Let u be (1215/6)/15*6. Suppose 2*m - 2*n - 883 = -u, 3*m = -3*n + 1215. Is m a multiple of 9?
False
Let b be (225/(-30))/(3/(-2)). Suppose b*n = 2*r + 484, 10*n - 2*r + 476 = 15*n. Is n a multiple of 8?
True
Let w = 3252 - -38951. Is w a multiple of 73?
False
Let u(s) = -s**3 + 9*s**2 + 89*s + 618. Is 66 a factor of u(-24)?
True
Suppose 5*f = -0*u - 2*u + 37, 4*u - 4*f - 4 = 0. Suppose u*q - q = -15. Does 27 divide (-1 - -1*104) + q?
False
Let m = 34 - -2. Let i = 38 - m. Suppose 0 = i*n + 3*g - 48 - 87, 5*n - 2*g - 309 = 0. Is 9 a factor of n?
True
Let f(y) = 76*y - 2. Let s(h) = 153*h - 2. Let i(d) = 13*f(d) - 6*s(d). Does 30 divide i(3)?
False
Let g(t) = -2*t**2 + 399*t + 48. Does 27 divide g(54)?
False
Let u = -1708 + 1778. Is u a multiple of 3?
False
Suppose 10*w = 3*w + 6524. Suppose 165 = -4*i + 5*r + 914, -5*i + 2*r = -w. Does 31 divide i?
True
Let q(b) = 76*b + 312. Is 7 a factor of q(-3)?
True
Suppose 9*u = 2286 - 7227. Let b = u - -647. Does 2 divide b?
True
Let w(f) be the third derivative of -f**6/120 + 37*f**5/60 + 23*f**4/12 - 83*f**3/6 - 7*f**2 + 4. Is w(38) a multiple of 24?
False
Let q(c) = -3*c**3 + 10*c**2 + 6*c + 72. Is 39 a factor of q(-10)?
False
Let u = -266 - -133. Let h = u + 156. Does 4 divide h?
False
Let y = 352 - -542. Is 6 a factor of y?
True
Suppose 15 = -8*i + 13*i, f + 5*i = 19. Does 3 divide 8 - (3 + ((-3)/(-1) - f))?
True
Let y(j) = -4*j**2 + j + 55. Let w be y(0). Let k = 29 + w. Let s = k - 70. Is s a multiple of 14?
True
Suppose -10*w - 4*k + 16403 = -7*w, -7*w + 2*k + 38251 = 0. Is 64 a factor of w?
False
Let a = -133 + 132. Let b(r) = r + 4. Let j be b(a). Suppose -j*u + 2*v + 183 = -2*u, 930 = 5*u + 5*v. Is u a multiple of 37?
True
Suppose -30*p + 32*p = -190. Let c = 186 + p. Let x = c + -47. Is 11 a factor of x?
True
Let k = 1442 - 1452. Let x(t) be the second derivative of t**3/6 + 11*t**2 + t. Does 3 divide x(k)?
True
Suppose -10 = 5*a + 5*y - 45, -3*y = -4*a. Is 16 a factor of -4 - a/9*-573?
False
Suppose 20 = -a + 5*n, -3*a + 7*a + 11 = -3*n. Is 1/(-4) + a + 21102/24 a multiple of 38?
True
Let j(g) = -3*g**3 + 2*g**2 - 77*g + 15. Does 41 divide j(-7)?
True
Suppose -5*y + 4*a = -2700, 1285 + 1420 = 5*y - 3*a. Is 8 a factor of y?
True
Let m(b) = b**3 - 2*b**2 + 10*b - 2. Let s be m(4). Let k be (-10)/(-14) + -1 + (-190)/s. Is 30 a factor of k/((-2)/((2 - 2) + 106))?
False
Let p be (-1)/(25/(-3770))*5. Let l = p + -526. Let h = -48 + l. Does 13 divide h?
False
Suppose 33 = -6*o - 177. Is 9 a