 = s. Is d a multiple of 4?
True
Suppose 56 = -9*a + 101. Is a/((-10)/(-6)) - -88 a multiple of 8?
False
Let p(d) = 3*d**2 - 81*d - 126. Is p(38) a multiple of 24?
True
Let d(u) = -6*u + 1164. Does 30 divide d(-23)?
False
Let l(n) = -n**2 - 12*n - 26. Let m be l(-11). Let b = -1 - m. Suppose b = 6*s - 46. Does 5 divide s?
True
Suppose -2*f - 30 = f. Let c = -7485 + 7488. Is c + 708/22 + f/55 a multiple of 3?
False
Suppose -19*c + 5*c + 14 = 0. Let j(h) = 188*h + 9. Is 12 a factor of j(c)?
False
Let o(w) = 3*w**2 + 3*w - 591. Let p(q) = -2*q**2 - 3*q + 395. Let m(b) = -5*o(b) - 7*p(b). Does 11 divide m(13)?
True
Suppose 24*m - 10860 = 21*m. Does 28 divide m?
False
Let j(f) = -f**2 + 234*f + 12599. Is j(0) a multiple of 26?
False
Let k(y) = 2*y**2 - 10*y + 13. Suppose -29*q = -27*q - 20. Let c be k(q). Suppose -14*n - c = -911. Is 6 a factor of n?
False
Suppose -3*u + 4*n = -20, 13*u - 5*n = 9*u + 27. Is 384 - ((-12)/9 + u/24) a multiple of 10?
False
Is 15731 - -30 - 10/(2 + 1 + -1) a multiple of 12?
True
Suppose -107*u + 110*u = 11031. Suppose 4*w - 5*s = 4895, -3*w - 3*s = -s - u. Is 25 a factor of w?
True
Let t(o) = 272*o - 423. Is 14 a factor of t(10)?
False
Let j(k) = 32*k**3 + 11*k**2 - k - 49. Is 63 a factor of j(5)?
True
Suppose -8 = 4*r + 5*d, 4*r + 6 = -3*d - 2. Is 15 a factor of (r/4)/(11/(-110)) - -422?
False
Suppose 0 = -13*m - 4*m - 136. Does 6 divide 116/5 + ((-252)/35 - m)?
True
Suppose 3*w + 7*w = 20. Let c be w + (-3 + 2 - -1 - 109). Let v = -75 - c. Is 8 a factor of v?
True
Is 5 a factor of (134*(-4)/(-16))/(62/372)?
False
Suppose -3*r + 17 = 4*m - 43, 0 = 4*r - 2*m - 80. Is ((-335)/r - 5)/(6/(-64)) a multiple of 4?
True
Let f be ((-132)/32 + (-3)/8)*18. Is f/(-135) + (-4)/(-10) - -84 a multiple of 5?
True
Suppose 0 = -4*p + 2*f + 86, 0 = -0*p - 4*p + f + 83. Let r(v) = 84*v - 492. Let i be r(7). Suppose -p*z = -24*z + i. Does 3 divide z?
True
Let v = -5896 - -9808. Is v a multiple of 12?
True
Let l = 654 - -104. Suppose 11*m - 15*m + 5*t = -l, -m + 4*t + 195 = 0. Is 11 a factor of m?
True
Let q(a) = a**2 - 10*a + 11. Let v be q(9). Suppose -v*k + 30 = 2*t, k - 2*k = 5*t - 3. Is k a multiple of 18?
True
Let x = -3426 - -3957. Does 7 divide x?
False
Suppose 396 = -4*n - 18*n. Let l(k) = 2*k**2 + 32*k - 42. Is 5 a factor of l(n)?
True
Suppose -112*s = -28*s - 427980. Is 9 a factor of s?
False
Suppose o = -4*b + 128737, 24*o - 22*o - 32179 = -b. Is b a multiple of 157?
True
Suppose 3*f = 5*o, o - 5*f = 4*o. Let j = 7931 - 7924. Suppose o = -j*m + 1167 + 149. Is m a multiple of 54?
False
Suppose -37 = -3*r - 1. Let y = 8 - r. Is (-82)/y*(7 + -5) a multiple of 5?
False
Suppose -5*u + 1830 = 3*k, -2*u + k = -3*u + 364. Let t = u - -51. Is t a multiple of 10?
True
Let q = 158459 + -97669. Is 267 a factor of q?
False
Suppose -569 = -2*n + 5*j + 3538, 4*n - j = 8187. Does 31 divide n?
True
Let d(w) = 3*w**2 + 18*w - 9. Suppose 3*x + 4*t + 5 = -t, -5 = -5*x - 5*t. Let f(p) = 7*p**2 + 36*p - 19. Let k(q) = x*d(q) - 2*f(q). Is 3 a factor of k(-22)?
True
Let a(k) = -9*k - 25. Let g be a(-5). Let b = g - 17. Suppose 0*l + 33 = l - b*n, -3*l - 5*n + 85 = 0. Does 9 divide l?
False
Let c = 4504 + 4638. Is c a multiple of 14?
True
Suppose 2*m = v + 4, -5*v + m = -0*v - 7. Suppose 0 = -0*r + 3*r + 4*a - 1259, -v*a + 1249 = 3*r. Does 15 divide r?
False
Let m be ((-110)/3)/5*3. Let y = -16 - m. Suppose 0 = -2*r + y*r - 584. Is 26 a factor of r?
False
Let l = 64 + -4. Let m be (1 + 1)*-5*(-4398)/l. Suppose 15*n - m = 2327. Is n a multiple of 51?
True
Is 4 a factor of ((-1)/2)/(701/(-100) + 7)?
False
Does 17 divide 265*((-12)/(-3) - -4)?
False
Suppose 3*h + 8*l = 5*l + 29136, -h = 2*l - 9704. Is h a multiple of 36?
True
Let l be 130 - (-18)/(-4)*18/(-27). Let x = l + -88. Is 3 a factor of x?
True
Suppose 0 = 3*b - 3*o + 3, -2*o = 2*b + b - 7. Let v = -7 - 95. Is (v/15)/(b/(-10)) a multiple of 34?
True
Does 24 divide (-1185)/(-6)*7/((-70)/(-192))?
True
Suppose 2*x - 11740 - 46374 = 2*u, -2*x + 58119 = -3*u. Is 18 a factor of x?
True
Suppose 18 + 2 = -2*x. Let r(z) = -1 + 1 + z + 15*z**2 - 13*z**2 - 11 + 14*z. Is 11 a factor of r(x)?
False
Let r(o) = -o**2 - 9*o + 11. Let w be r(-10). Let k be (-1)/(w/9*1). Is 14 a factor of 9/(k/(-2)) - -54?
True
Suppose 4*t + 6*t = 53560. Is 107 a factor of t?
False
Suppose a = 5*s - 3*s + 9, 21 = 3*a - 3*s. Suppose r - 4*r = d - 1762, a*r + 2*d - 2938 = 0. Does 33 divide r?
False
Let q = -114 + 188. Suppose 2578*l - 136 = 2576*l. Suppose q*k + l = 75*k. Does 6 divide k?
False
Let b = -90 + 96. Suppose -504 = -3*z + j, -2*z - j + b*j + 336 = 0. Does 12 divide z?
True
Suppose 0 = 4*c + 2*n - 35372, -40829 - 3377 = -5*c - n. Is 17 a factor of c?
True
Let j(t) = -5*t**3 - 3*t**2 + 30*t + 95. Let c be j(-5). Let b = -279 + c. Does 6 divide b?
True
Suppose -26*h + 736840 - 142428 = 0. Does 48 divide h?
False
Let w(n) = -53*n - 333. Let x be w(-25). Let y = -906 + x. Is 3 a factor of y?
False
Let d = 210 - 207. Suppose 437 + 616 = d*s. Does 27 divide s?
True
Let w(x) = 68*x + 3. Let a(k) = -273*k - 11. Let g(r) = -2*a(r) - 9*w(r). Does 17 divide g(-2)?
False
Let a(s) = s**2 + 7*s + 1315. Let w be a(0). Suppose w = -4*j + 9*j. Let m = 450 - j. Is m a multiple of 11?
True
Suppose 6*q = q + 2880. Suppose -7*z = -163 + q. Let s = -41 - z. Does 8 divide s?
False
Let y be (-33)/(-4)*16/72*6. Let b(l) = -l**3 + 15*l**2 - 5*l - 63. Does 61 divide b(y)?
True
Suppose -2610*g + 1939 = -2609*g. Is 8 a factor of g?
False
Let f be (-2)/1 - (0 - 1)*6. Suppose 445 + 407 = f*n. Suppose -5*x + n = 3*u - 235, 4*u = -5*x + 444. Is 12 a factor of x?
False
Let m(x) = 2*x**3 - 10*x**2 - 22*x + 4. Let q be m(9). Suppose q = 6*y + 82. Is y a multiple of 45?
False
Let d = -5884 + 14568. Does 95 divide d?
False
Suppose 2*v + 4 = 3*v. Suppose -v*i = -3 - 9. Suppose 0 = -i*z + 3*n + 207, 0 = 4*z - 0*z - 3*n - 277. Does 14 divide z?
True
Suppose 520 = 2*s - 10*s. Let c = -59 - s. Suppose -5*b - 14 = -c*b - 2*f, 2*b - 4*f = 36. Is b a multiple of 16?
True
Let i(n) be the second derivative of 5/6*n**3 - 20*n**2 + 39*n + 0. Is 5 a factor of i(13)?
True
Let s(u) = 2*u**3 - 25*u**2 + 8*u + 37. Let x be s(12). Does 3 divide -25*(-7 + 14 + x)?
False
Does 7 divide -103*3932/(-18) - (-872)/3924 - -1?
False
Suppose 0 = -9*s + 9*s - 34*s. Suppose -30*q + 4674 + 5826 = s. Is q a multiple of 23?
False
Let c be -6*((-64)/36)/(-8)*-129. Suppose -c*k + 163*k + 7506 = 0. Does 11 divide k?
False
Let w = 4185 + -1530. Does 39 divide w?
False
Suppose -11*k + 6*k = -10. Suppose 0 = -4*j, 0*f - k*j - 324 = -4*f. Suppose n - 27 = f. Is n a multiple of 9?
True
Suppose m + 14 + 37 = 0. Let v = m - -96. Let j = v - 28. Is j a multiple of 2?
False
Let b = 465 + -467. Let m(q) = 39*q**2 + 15*q + 27. Is m(b) a multiple of 51?
True
Let h be 30/9 + 18/27. Suppose -55 = -o - 4*m + 6, 0 = h*o + 5*m - 266. Is 40 a factor of o?
False
Is (68/(-17) + 1)/(30/(-776))*110 a multiple of 44?
True
Suppose -914310 - 1707808 = -89*y. Is y a multiple of 162?
False
Suppose -4*q - 2*k + 2960 = 0, 2221 = q + 2*q + 2*k. Suppose 6*m - q - 125 = 0. Is 12 a factor of m?
True
Let g = 130 - 122. Does 50 divide (-28644)/(-32) + (-1)/g?
False
Let c be 21*(2 + -1) + 0/(-8). Let i(n) = -4*n + n - n + 3*n + c. Is 21 a factor of i(-21)?
True
Let b(f) be the first derivative of -9*f**2/2 - 17*f + 38. Let r be b(-7). Suppose 0 = r*k - 50*k + 988. Is k a multiple of 30?
False
Let m(t) = t**3 - 2*t**2 + 2*t + 1. Let s = -93 + 95. Let n be m(s). Suppose -n = 3*c - 29. Does 5 divide c?
False
Suppose -t = 9 - 12. Let h be ((-42)/(-28))/(t/136). Suppose 3*c + c = h. Is c a multiple of 4?
False
Suppose -213*o - 150 = -210*o. Is 5 a factor of 1 - (96/5)/(15/o)?
True
Let z(l) be the third derivative of l**7/2520 - l**6/180 - l**5/60 + 5*l**4/6 + 2*l**2. Let v(f) be the second derivative of z(f). Does 10 divide v(-4)?
True
Suppose 12 = -3*o + 9*o. Let b be 0/8*(-1)/o. Let c = 43 + b. Is c a multiple of 13?
False
Suppose 2*o = 35*i - 40*i + 11988, 0 = -o - 4*i + 6000. Is 44 a factor of o?
True
Let j(f) = 27 + 8 + 10 + 2*f. Let n be j(-19). Suppose -n*h = -269 - 11. Does 8 divide h?
True
Let f = 268 - 299. Let c(g) = 4*g**2 + 112*g + 7. Does 8 divide c(f)?
False
Let t be (-2 + -8)*16/10. Let c be (-6646)/t + 9/(-24). Su