s 9 divide (36/(-10))/(u/(-30))?
True
Let z(m) = 49*m - 36. Let b(u) = 51*u - 35. Let x(s) = -5*b(s) + 6*z(s). Is 61 a factor of x(12)?
True
Let p(x) = 3*x + 14. Let m be p(6). Let g = -64 + m. Let y = g + 43. Is 2 a factor of y?
False
Let y(d) = -d**3 - 4*d**2 + 7*d + 6. Let i(z) = -21*z + 34*z - 12*z. Let l be i(-6). Is y(l) a multiple of 9?
True
Suppose 0 = -2*a + 5*d + 7798 + 2160, 4*a - 19826 = -5*d. Is 113 a factor of a?
False
Suppose -3*g = -4*u - u + 49, -g = 4*u - 46. Suppose u*r = 6*r + 115. Is 23 a factor of r?
True
Suppose 25 = -3*b - 2*a, -7*b - 8 = -6*b + a. Let w(k) = k**3 + 5*k**2 - 41*k - 23. Does 15 divide w(b)?
False
Suppose -6*g - i = -4*g + 5, -2*g + 4*i = -20. Suppose 4*z + 5*c - 145 = 0, 6*z - 2*z + c - 141 = g. Is z a multiple of 5?
True
Let s(y) = 58*y**3 - 4*y**2 - y - 13. Let d(r) = -116*r**3 + 9*r**2 + 3*r + 33. Let h(g) = -2*d(g) - 5*s(g). Is 26 a factor of h(-3)?
True
Let d be 1/(18/(-4)) + 840/378. Let p(q) = -16*q - 8*q + 3*q + 5*q - 15 - q**d. Is 5 a factor of p(-5)?
True
Suppose -4*o = 12, -3*o - 44 = -5*i - 0*o. Suppose -i*f - 75 = -2*f. Does 10 divide ((-32)/5)/(3/f)?
False
Let o(f) be the second derivative of f**4 - 13*f**3/6 - 2*f**2 - 3*f - 4. Does 15 divide o(-7)?
True
Suppose 5*y + 12*y = 34. Suppose -3*w = k - 159, -y*k + 298 - 8 = -w. Does 21 divide k?
True
Let k be 2*-2 - (67 + 4). Let m be (-11)/(-5) + (-60)/k. Suppose -l + 144 = m*l. Does 8 divide l?
False
Let a be (4 + 92/(-8))*2. Let g be ((-36)/a)/((-18)/(-495)). Let t = g - 26. Is t a multiple of 12?
False
Suppose -5 = 2*s + 3*p, -6*p + 2 = -2*s - 8*p. Suppose 0 = -s*h + 32*h - 40680. Is h a multiple of 12?
True
Suppose 5*m + 3*a = -0*a + 142, m + a = 30. Suppose -2*n + 3*w = -171, -5*w + 66 = -m*n + 27*n. Is 27 a factor of n?
True
Let p = 4511 + -3634. Does 5 divide p?
False
Suppose -2*w = -w - 2*u - 10, 3*w + 2*u + 10 = 0. Suppose r + 2*j = 60, w = r - 0*r - 5*j - 25. Let c = r + -42. Does 4 divide c?
True
Let q be -820 - (20/(-5))/4. Let w = q - -1645. Is 22 a factor of w?
False
Let t be -13 - -10 - (-2)/(-2). Does 5 divide (-21)/(-7)*4/(t/(-11))?
False
Suppose -52*o - 59*o + 6510000 = -6*o. Does 155 divide o?
True
Let y(i) = 3*i - 4. Let p be y(3). Suppose 3*k = p*j - 972, -2*k = -j - k + 196. Is 12 a factor of j?
True
Let m = 1 - -3. Let t(z) = z**3 - 2*z**2 - 3*z - 2. Let u be t(3). Is 7 a factor of m - (-2 - -5)*2/u?
True
Suppose 29*z + 16*z - 61*z + 405280 = 0. Does 170 divide z?
True
Suppose p + a = -p + 502, 2*p + 2*a - 504 = 0. Suppose s + y - 6*y = p, 0 = 2*y - 2. Does 15 divide s?
True
Suppose -2*s - u + 21 = 0, 0 = 4*s - 3*u - 2*u - 35. Suppose 2 + s = 6*d. Suppose 5 = q, -d*q - 440 = -4*k + 190. Is 32 a factor of k?
True
Let m(s) = 3*s**3 - 70*s**2 - 7*s - 129. Does 3 divide m(24)?
True
Let v = 38 + -41. Let r be 184 + 3/v*2. Suppose -3*t + r = 2*a, -2*t = 5*a + 2*t - 455. Is a a multiple of 10?
False
Suppose -22*f + 17*f = 10. Does 19 divide (170/70 - (3 + f))*133?
True
Let o(i) = -i**3 + 6*i**2 - i + 8. Let c be o(6). Let a be c/16 + (-3690)/(-48). Let v = a + -38. Is 9 a factor of v?
False
Is (-1027302)/(-2096) + 1/(-8) a multiple of 6?
False
Let t(a) = -2*a**2 - 2*a + 24. Let n be t(-4). Suppose -o - 16 + 38 = n. Is 15 a factor of o?
False
Let b be (-4 + 2)*1*(-2)/1. Suppose -3 = -3*r, 0 = -b*w - r + 1099 + 182. Does 4 divide w?
True
Let s = 15778 - 4660. Is 17 a factor of s?
True
Is (70 - 158)/(2/(-50)) a multiple of 40?
True
Suppose 29*t + 40*t - 611202 = 0. Is 13 a factor of t?
False
Suppose -3*w - 3*w = -24. Suppose 5*s = w*s + 52. Let t = s - -98. Is t a multiple of 30?
True
Let i(v) = -10418*v + 1976. Is 124 a factor of i(-4)?
True
Let y(m) = 36*m + 70. Let g be y(-15). Let b = 538 + g. Is b a multiple of 7?
False
Let c = -10207 + 11086. Is c a multiple of 4?
False
Let k(r) = 11*r + 40. Suppose 8*y + 14 - 38 = 0. Suppose -o - y = -3*l, -5*o - 4*l + 32 + 29 = 0. Is k(o) a multiple of 12?
False
Suppose 67707 = 21*a + 2342 - 212003. Is 13 a factor of a?
True
Let w = 29 + -22. Is 3 a factor of 110 + -6*w/(-42)?
True
Suppose 134*v = 83*v + 105774. Is v a multiple of 17?
True
Suppose 2*x - 37*z - 60 = -41*z, 5*x = -2*z + 126. Let i(p) = -p**2 + 23*p + 38. Does 5 divide i(x)?
False
Let y(j) = -j**3 + 20*j**2 - 14*j - 11. Let l be y(19). Suppose 33*c = l*c - 54417. Is 97 a factor of c?
True
Let v = 10046 + -5338. Does 22 divide v?
True
Suppose 0 = q + 3*w - 60, -5*w + 43 = 4*q - 204. Suppose -71*m + 1640 = -q*m. Does 5 divide m?
True
Suppose -13*n = -5*n - 16. Suppose -z = 5*i + z - 594, 234 = 2*i + n*z. Is 10 a factor of i?
True
Suppose 78 + 132 = -3*f - 3*n, 2*n - 160 = 2*f. Let x be 2/(-17) - 15570/459*234/(-65). Let a = f + x. Is a a multiple of 8?
False
Suppose 0*x - 194 = -2*h - x, h = -2*x + 91. Suppose -w = -5*w + 8. Suppose w*a = a + h. Is a a multiple of 11?
True
Suppose -a - 4*a = 4*a. Suppose -10*d + 0 + 100 = a. Does 3 divide d?
False
Let m = 42 - 38. Suppose m*g - 1381 = -3*l, 3*l - l = 3*g - 1023. Is g a multiple of 13?
False
Let t(q) = -26*q + 78. Let d(g) = 27*g - 78. Let n(p) = 5*d(p) + 4*t(p). Does 10 divide n(8)?
True
Let p(h) be the third derivative of h**5/12 + 2*h**4/3 + 35*h**2. Let z be p(7). Is 22 a factor of (z/2 + -1)*(-120)/(-150)?
False
Let d = 84 + -84. Suppose -2*l + 4581 - 773 = d. Suppose l = -3*t + 10*t. Is t a multiple of 50?
False
Is 4 a factor of 80*((-1485)/(-180) - 1*-7)?
True
Suppose 461 = x + m - 415, x = 3*m + 880. Let r = x + -591. Is r a multiple of 50?
False
Let c be (-6)/(-2) - 0 - (-4 - 97). Let t = -75 - c. Is 13 a factor of ((-10)/5 - t) + 5?
True
Suppose -3*v - 6 = 4*d - 102, -3*d = -3*v - 72. Is (-23 + d)/(2/416) a multiple of 13?
True
Let g = 64 + -61. Suppose g*q - 52 = -58. Does 3 divide q/4 - 63/(-14)?
False
Let j be (1/3)/(3/594). Suppose 3*i - 1035 + j = 0. Does 19 divide i?
True
Let p(k) be the first derivative of 3 + 15/2*k**2 + 1/4*k**4 + 5*k + 3*k**3. Does 23 divide p(-6)?
True
Let s = 128 + -59. Suppose -4*g + 5*u = -501, -2*g - 3*u - s + 292 = 0. Suppose -3*j - 5*o + 494 = 132, j - g = -2*o. Is 43 a factor of j?
True
Let p(r) = r**2 - 46*r - 31. Let c be p(-15). Let g = c - 518. Is 12 a factor of g?
False
Let x(p) = -7*p - 10. Let c be x(-4). Let a be (-4472)/32 - (-2 + c/8). Is 41 a factor of 2 + a/77 + 2770/11?
False
Let t(g) = 275*g**2 + 12*g + 13. Let q(v) = -8*v - 65. Let x be q(-8). Does 46 divide t(x)?
True
Let r(z) = 49*z**2 + 59*z + 102. Is 63 a factor of r(-20)?
True
Suppose -5424*y = -5405*y - 46512. Does 25 divide y?
False
Is -6 + 8/4 - -6*91970/51 a multiple of 10?
False
Suppose -4*l = 3*w - w - 24786, 9*w - 111581 = 4*l. Does 161 divide w?
True
Suppose -4*s = -9*s. Suppose 0*u + u = 4*l + 10, 0 = 2*u - 4*l - 12. Suppose 5*b + u - 47 = s. Is 9 a factor of b?
True
Is (-5)/(80/(-24)) + 1795/10 even?
False
Suppose -4*m + 1 = -3*h, -4*m = h + 18 - 7. Does 32 divide (-128448)/216*3/m?
False
Suppose 16*x - 145046 = 9*x - 15*x. Does 11 divide x?
False
Let u(l) be the third derivative of -5*l**4/8 - 2*l**3 + 13*l**2. Let k be (-10)/15 - (-22)/(-3). Is u(k) a multiple of 36?
True
Suppose 1262*w = -5*k + 1267*w + 3330, 4*w = -4*k + 2616. Is k a multiple of 60?
True
Suppose d = 9*d + 7*d - 109440. Is 179 a factor of d?
False
Suppose 5*r + 11 = 3*f, -2*f = -2*r - 0*f - 2. Let p be (1 - -1)*((-148)/(-8) + -15). Let l = p - r. Is l a multiple of 3?
False
Suppose 0 = q - r - 3657, 3*q + 172 = 4*r + 11134. Is 2 a factor of q?
True
Let d be -10*(-1 + (-22)/1). Let g = d - 191. Does 3 divide g?
True
Suppose -3*l + 0*l = 3. Let r be l/(((-3)/(-18))/1). Does 7 divide r/27 + 3542/63?
True
Let f = -33 - -89. Suppose -5*x + 2*x + 192 = 2*l, -x + f = -2*l. Is x a multiple of 2?
True
Suppose 6 = 3*w + 9. Let q be (w + 4/6)*-9. Suppose -q*h - 109 = -373. Is 44 a factor of h?
True
Let m(a) = 95*a**2 - 4*a - 1. Let z(i) = -3*i - 106. Let h be z(-35). Is m(h) a multiple of 18?
False
Suppose -67931 = -4*b - d, 3*b + 19*d = 15*d + 50971. Is 26 a factor of b?
False
Suppose -27 = 4*o + z, -z = 8*o - 3*o + 35. Is 32 a factor of (-30736)/(-64) + 0 + 2/o?
True
Is 10 a factor of 10803 - (-48)/(-20)*(-85)/34?
False
Let m = -8992 + 24194. Does 11 divide m?
True
Let y = 358 - 393. Is (28/y)/((-4)/780) a multiple of 63?
False
Let q(c) = 23*c + 325. Let k be q(-14). Suppose -d + 1216 = -4