04. Let c = s - 18. Is c a multiple of 15?
False
Suppose -3*c + 2*c = -15. Suppose -5 = l - c. Is 2780/25 + (-2)/l a multiple of 10?
False
Suppose -219 = -6*c - 195. Let t(y) = y**3 + 4*y**2 + y - 4. Let n be t(-3). Suppose 0 = -b + 4*s + 129, n*s + 2*s + c = 0. Does 12 divide b?
False
Suppose 5151 - 34131 = -28*n. Does 10 divide n?
False
Let q(m) = -7*m**2 + 10*m - 1. Let c(f) = -15*f**2 + 21*f - 3. Let t(r) = r + 7. Let h be t(-3). Let g(n) = h*c(n) - 9*q(n). Is g(-2) a multiple of 4?
False
Let o be 3 + (-1 - -6 - 2). Suppose 0 = -19*k + o*k + 468. Does 6 divide k?
True
Let z(l) = l - 2. Let g be z(6). Suppose 0*t + u = -g*t + 275, -3*u + 66 = t. Let w = 209 - t. Does 35 divide w?
True
Suppose 9*z = 12*z + t - 27229, z + 5*t - 9053 = 0. Does 199 divide z?
False
Suppose 0 = 5*n - 49 + 19. Suppose -56 = -61*y + 66. Suppose 9 = w - y*r + 2, n = 2*r. Is 9 a factor of w?
False
Suppose -2*u - 35 - 57 = 0. Let w = u - -50. Suppose -6*g + 643 = -g + 4*v, -w*g + 5*v = -498. Is g a multiple of 19?
False
Let l(z) = 971*z**2 - 20*z - 120. Is 70 a factor of l(-4)?
False
Suppose 0 = -n - 4*n + 675. Suppose 100 = 4*q + 4*b, -49*q + 4*b = -50*q + 19. Let v = n - q. Is v a multiple of 20?
False
Let p(u) = -u**3 - 31*u**2 + 101*u - 48. Let t be p(-34). Let c be (-1)/(0 + 2/4). Is c/((-8)/t)*(-126)/7 a multiple of 21?
True
Let k = -139 - -142. Suppose -3*g - 1329 = -k*o - 6*g, -2*o + 892 = -g. Is 38 a factor of o?
False
Let x be 232/145 + (-54)/(-10). Suppose -x*q + 830 + 227 = 0. Is 4 a factor of q?
False
Suppose 7*l - 3*m = 3*l + 1041, 4*l - 1049 = -5*m. Let t = l - 56. Suppose -q + t = -5*f, -155 = 2*q + 4*f - 579. Does 21 divide q?
True
Suppose 100*n = -21*n + 60379. Is n a multiple of 20?
False
Does 17 divide (26674 + 4)*(-9)/(-72)*4?
False
Let p = -88 - 37. Let l = 233 + p. Does 12 divide l?
True
Does 9 divide 39706/10 - 344/215?
True
Let u be 1/((-1)/264*-4). Suppose -u*c = -71*c + 15. Suppose 0 = -7*o + c*o + 3*j + 756, 4*j = -2*o + 400. Is 25 a factor of o?
False
Let x = 20947 - 2615. Is 11 a factor of x?
False
Suppose -104*a + 105*a = 609. Suppose -48*l - a = -49*l. Is l a multiple of 29?
True
Let a(n) = n**2 - 3*n - 1. Let h be a(2). Let b be 132/(-8)*8/h. Let l = b - 28. Is 2 a factor of l?
True
Let c(t) = 15*t**2 + 8*t - 7. Let f be c(-3). Suppose 5*u - 168 = -3*h + 8*u, 0 = 2*h + 2*u - f. Does 3 divide h?
True
Does 10 divide -16*14/28 - -12288?
True
Suppose -5*o + 4*g + 2 = 0, -2*o = -0*o - 2*g. Suppose 5*t - w = 2*w - 16, -o*t = 2*w + 16. Is 6/t*6*(-240)/9 a multiple of 34?
False
Let c(b) = 0*b - 2*b**2 - 20*b**3 + 22*b**3 + 2*b + b**2. Is 2 a factor of c(3)?
False
Let k(n) = n**3 - 8*n**2 + 13*n - 1. Let q be (-3 - (-4 + -8)) + -3. Let u be k(q). Is 1035/12 - u/4 a multiple of 17?
True
Let c be -119*8/(-4) - (5 - 4). Suppose -c = 27*w - 1776. Is 57 a factor of w?
True
Suppose g - 6508 = -c - 0*g, 0 = -c - 4*g + 6502. Does 107 divide c?
False
Let m(h) = 7*h**3 - 7*h**2 - 3*h - 36. Does 21 divide m(9)?
True
Let m(d) = -4*d**3 + 132*d**2 + 2*d - 62. Let j be m(33). Is 5 a factor of j*9/(-12)*-5?
True
Suppose -15*i = -10*i - 15. Suppose -i*d = -13 - 2. Suppose 16 = q + 2*k + 3*k, d*k = 5*q - 50. Is 5 a factor of q?
False
Let d be 1/(-11) + 2520/(-110) + -10. Does 44 divide (2662/d)/((-4)/24)?
True
Suppose 58*n = 185*n - 3683. Is 29 a factor of n?
True
Let a(b) be the second derivative of -59*b**3/6 + 19*b**2/2 - 9*b. Let v be a(-7). Suppose -4*w + v = 2*w. Is w a multiple of 18?
True
Let c = 2 - -2. Suppose 29 + 43 = -c*a + 2*n, 0 = -4*a - n - 72. Is (109 - 2) + -4 + a/(-6) a multiple of 23?
False
Let k(h) = 8*h**2 + 57*h + 299. Does 5 divide k(-6)?
True
Let a be 1/(5 + 12/(-3)). Let d be (85/34)/(a/2). Is 25 a factor of (-5383)/(-28) - d - (-2)/(-8)?
False
Let w be ((-104)/5)/(-1) + 18/15. Suppose 8*c - 10730 - w = 0. Is 23 a factor of c?
False
Let t be 6 - (1 - 10/(-5)). Let z(c) = -7*c + 16. Let j be z(t). Is 13 a factor of 2 + 0 - (-261 + j + 8)?
True
Suppose 170*t - 11*t + 118*t = 5141120. Is 8 a factor of t?
True
Suppose 0*x = -2*h + 5*x + 457, x = -1. Suppose 4 = -2*m, 0 = v + 5*m - h + 21. Does 10 divide v?
False
Let f be (242/44)/(2*(-2)/488). Let a = f - -1136. Does 19 divide a?
False
Suppose 4*w = -18*w + 66. Is 2 - (30/(-2) - w) a multiple of 4?
True
Suppose -29 = 2*x - 39. Suppose -23 = -n - x*h, -n - 3*n = -5*h + 8. Is ((-20)/(-5) + -5)/(n/(-492)) a multiple of 29?
False
Let d = 31 - 30. Suppose i + 1 = z, 2*z - z - 2*i = -d. Suppose z = -5*l + 188. Does 9 divide l?
False
Let t = 903 + -1317. Let i = -12 - t. Is 53 a factor of i?
False
Does 65 divide (155/(-20) + 3)/(((-32)/4)/36320)?
False
Let z(d) = 3*d**3 - 2*d**2 - 2. Let a be z(3). Let r = a + 142. Suppose -141 = 2*h - 5*h + 3*u, -3*u + r = 5*h. Is h a multiple of 14?
False
Let t = -5490 - -11650. Is 55 a factor of t?
True
Let g = 28 - -10. Let m(z) = -g - 233*z + 263*z + 7. Is 55 a factor of m(10)?
False
Suppose -n = p - 8, -22 = -8*n + 9*n - 5*p. Suppose n*b - 502 = -a + 5*b, 2*a + 3*b = 969. Is 68 a factor of a?
False
Suppose -a = -4*s - 28, -2*a - s - 4*s = -4. Let h = a - 12. Suppose 164 = u - h*u. Does 21 divide u?
False
Suppose -29796 = -4*d - 4*l, 33*d + l + 37257 = 38*d. Is 78 a factor of d?
False
Suppose -3 = -15*a + 12*a. Let c(x) = -184*x**2 + x + 7. Let f(z) = -368*z**2 + 2*z + 11. Let g(p) = 5*c(p) - 3*f(p). Is g(a) a multiple of 34?
False
Let u(q) = 0*q**2 - 1468 + 20*q + 1459 - q**2. Let x be u(9). Does 2 divide (6/9)/(5/x)?
True
Let s(z) = z**3 + 12*z**2 - 13*z + 4. Let p be s(-13). Let g be 38/8*(p - -52). Suppose -v = 4*i - 89, -5*v + 2*i = -v - g. Is v a multiple of 23?
True
Suppose 6*h - 30*h = -5*h - 87856. Does 2 divide h?
True
Does 4 divide (112/49 + -2)/(19/9443)?
False
Suppose -m - 10*l + 9*l = -122, -4*l = -m + 122. Let w = m - -112. Is w a multiple of 9?
True
Let s = 17693 - 10800. Is 113 a factor of s?
True
Suppose 91*u - 103607 = 160082 + 77834. Is 5 a factor of u?
False
Suppose 0 = -2*j - 6*j + 3336. Suppose 5*w = 4*o + 1484 + j, -4*w = o - 1504. Does 29 divide w?
True
Let c = -56 + 58. Suppose c*z - r = 184, 8*z - 13*z + 442 = 2*r. Is 6 a factor of z?
True
Let v(h) = -18*h**2 + 4 - 41*h**3 + 3*h + 18*h**3 + 25*h**3. Let p be v(11). Suppose p = 5*r - 2*x, -301 - 117 = -4*r + 2*x. Is 8 a factor of r?
False
Suppose -5*s = -2*s - 3*q - 7050, s + 4*q - 2345 = 0. Let h = 3540 - s. Does 50 divide h?
False
Let b(y) = -64*y + 59. Let c(n) = -n + 2. Let g(d) = -b(d) + 3*c(d). Is 29 a factor of g(8)?
True
Let k(m) = -m**3 - 15*m**2 - 20*m - 78. Let z be k(-14). Suppose 2*d - 5*g + z*g - 104 = 0, 0 = -5*d - 5*g + 260. Is 13 a factor of d?
True
Let r(b) = -b**2 + 7*b + 10. Let x be r(8). Let z be (-3)/x*((-8)/(-6) - 4). Suppose z*d = -5*f + 46 + 90, 0 = -4*f + 3*d + 115. Is 14 a factor of f?
True
Suppose 29*t - 34*t = -1450. Let o = 164 + t. Is 51 a factor of o?
False
Suppose -7 - 8 = -15*d. Suppose 0 = x + 4*p - 12, d = p - 0. Is 8 a factor of x?
True
Let m(h) = -2 - 2*h**3 + 26*h - 3*h**3 - 6*h**2 + 4*h**3 + 0. Let r be m(-9). Does 17 divide (-1436)/(-28) - (2/r)/1?
True
Suppose 0 = -4*g + 4*l - 33313 + 3081, 15128 = -2*g - 4*l. Is (-8)/(-132)*-3 - g/77 a multiple of 14?
True
Suppose 42036 = 21*u - 25*u. Is 12 a factor of u/(-31) + -1 + (-3 - -1)?
True
Let m be 14*(-15)/420*-208. Let x be (-15)/1*(-31)/3. Let o = x - m. Does 17 divide o?
True
Suppose 29 = 13*f + 3. Suppose -k - 2*u + 218 + 159 = 0, f*u + 1131 = 3*k. Does 29 divide k?
True
Suppose -3*q + 43 = -6*q - f, 5*q = -4*f - 67. Let o = q + 24. Is (-712)/(-12) + 2 + (-21)/o a multiple of 18?
False
Suppose -34*m + 193 = 23. Does 4 divide 140 - (0/(-6) + 4 - m)?
False
Suppose 131*p - 134*p + 10492 = 5*x, 4*p = 2*x + 13998. Is p a multiple of 24?
False
Let f(o) = 2*o**2 + 3*o + 2. Let d(u) = u**3 - 10*u**2 + 2*u - 21. Let w be d(10). Let l be f(w). Let g(s) = 82*s**2 - 1. Is 11 a factor of g(l)?
False
Is 4693 - 1 - (-26 - -16) a multiple of 5?
False
Let t(y) = 3*y**2 + 27*y + 3. Let g be t(-9). Suppose 3*q + 4*m - 58 = 6*m, 5*q + g*m - 103 = 0. Suppose q*f - 144 = 16*f. Does 4 divide f?
True
Let v(h) = -h**3 + 3*h**2 + 2*h - 2. Let b be v(2). Let u(x) = 2*x**2 - 4*x - 14. Let j be u(b). Suppose 2*g + j = 114. Does 8 divide g?
True
Suppose 1510 = 4*j - 3658. Suppose -9*m + 23 = j. Let q = -33 - m. Does