= -72 + t. Is m a multiple of 10?
False
Suppose -5*p + 1 - 11 = 0. Let x be (p + -4)/(-3) - 12. Let d = -5 - x. Is d a multiple of 5?
True
Let o(a) = -a**2 + 57*a - 57. Is 47 a factor of o(31)?
False
Let m be 18/(-8) - 1/(-4). Let z be (-26)/4*(-4)/8*-4. Let r = m - z. Is 5 a factor of r?
False
Suppose -259 = 4*n + 121. Let g = n + 140. Let c = -26 + g. Is 4 a factor of c?
False
Let b = 25 + -29. Is (14/(-1))/(2/b) a multiple of 7?
True
Does 47 divide (15/30)/(1/1030)?
False
Let f be (-6)/(-6 - 18) + (-6)/(-8). Does 4 divide 6/15 - (f - 129/15)?
True
Let y(j) = -j**2 + j - 23. Let d be y(0). Let i = -12 - d. Let k = 19 - i. Is k a multiple of 7?
False
Let g be -330*3*2/(-4). Suppose -3*o = -5*o + 4*p + 318, -3*o = 3*p - g. Does 19 divide o?
False
Let x = -2985 - -5610. Is 105 a factor of x?
True
Is 12 a factor of (-6)/30*-205 - -6?
False
Suppose -256 = -2*w - 2*w. Does 8 divide w?
True
Let l(w) be the second derivative of -w**5/20 - w**3/2 + 43*w**2/2 + 11*w. Does 35 divide l(0)?
False
Let u(d) = -d**2 + 12*d - 24. Let p be u(10). Is p/14 - 46/(-14) a multiple of 2?
False
Let i(l) = -l**3 - 4*l**2 + 2*l + 6. Suppose -2*u - k = -4*u - 11, 5*k = -u. Let q be i(u). Is (39/91)/(1/q) a multiple of 4?
False
Suppose -t - 6 = 72. Let u = -28 - t. Let n = -28 + u. Does 15 divide n?
False
Let z = -1963 + 3323. Does 85 divide z?
True
Let t = 718 + 651. Is t a multiple of 37?
True
Suppose 0 = -5*t - 5*x, -5*t - 2*x + 4*x + 21 = 0. Suppose t = 5*g - 32. Is g a multiple of 7?
True
Does 8 divide 1*5/(-10)*-1550?
False
Let x(w) = 20*w**2 + 2*w - 2. Let z be x(4). Let h = 174 - z. Let r = h + 223. Is 17 a factor of r?
False
Suppose 10*c = -0*c - 30. Does 21 divide ((-84)/(-2))/(c/(-4))?
False
Let p(h) = 716*h**2 - 717*h**2 + 0 - 3 + 13*h. Does 16 divide p(10)?
False
Let q be 3 - (-6 + 4 - -8). Let d = 4 + q. Is 4 a factor of 130/13 - (1 + d)?
True
Suppose -9*f = -10*f + 552. Does 23 divide f?
True
Let w = 646 - 437. Is w a multiple of 11?
True
Let b be -53 - ((-1 - -1) + -3). Is 23 a factor of ((-276)/(-10))/((-15)/b)?
True
Suppose 126 = 9*y - 54. Let q be 10/2*(1 - 2). Let u = y - q. Is u a multiple of 11?
False
Let a(t) = 3*t + 58. Does 5 divide a(-17)?
False
Let g = -87 + 93. Let d be (1 - 0) + 3*1. Suppose d*h - g*h + 102 = 0. Is 13 a factor of h?
False
Suppose 0 = 5*w - 86 + 1. Let u = 19 - w. Suppose 96 = -u*n + 288. Is n a multiple of 16?
True
Suppose -6 = -4*j + 5*w + 55, 0 = -4*j - 3*w + 85. Suppose -u = -131 - j. Does 16 divide u?
False
Suppose 0*t - 6 = 3*t. Let b = t - -7. Suppose 3*u = b*n - 0*u - 62, 0 = 3*n - 5*u - 34. Is 9 a factor of n?
False
Suppose -64490 = -66*z + 96220. Is 13 a factor of z?
False
Suppose -4*f = -18 + 2. Is (-70)/(1/f - (-8)/(-16)) a multiple of 14?
True
Let j = 22 - 20. Suppose 199 = -j*l + 625. Does 51 divide l?
False
Let w(l) = 5*l**2 - 5*l + 1. Let v(k) = -6*k**2 + 6*k. Let m(d) = 6*v(d) + 7*w(d). Let c be m(0). Suppose 3*x - 2*x = c. Does 7 divide x?
True
Suppose 4*d = 6 + 26. Is 5 a factor of -3*(-6)/9 + d?
True
Suppose -17 = 9*w - 17. Does 22 divide 1*((w - -2) + 1) + 41?
True
Let k be 107/2 - 6/(-12). Suppose 3*g - k = 2*x, 0 = x + 2*x. Suppose -2*v + 62 = -g. Does 10 divide v?
True
Suppose -4*u = -1430 - 786. Is u a multiple of 5?
False
Let h = 113 + -104. Suppose -2*d - h*d = -1265. Is 18 a factor of d?
False
Suppose 0 = 3*t, 40 = 4*h - 0*h - 2*t. Suppose -208 = h*q - 12*q - 4*l, -8 = -2*l. Is 12 a factor of q?
True
Let q be (-4)/(-14) - 120/(-70). Suppose 2*j - j + q = 0, -5*g = 5*j. Let u(b) = 11*b - 1. Is 4 a factor of u(g)?
False
Suppose -2*c = 4*h - 529 - 135, 2*c + h = 649. Is 7 a factor of c?
True
Suppose 2*k - 2*a - 7 = 7, -3*k + 2*a = -17. Suppose 3*q - 401 = -5*u + 87, -4*u + 412 = -k*q. Let r = -26 + u. Is r a multiple of 18?
False
Let w(f) = -f**3 - 9*f**2 - 71*f - 3. Does 12 divide w(-6)?
False
Let y = -148 + 256. Suppose 4*v - 15 + 3 = 0. Is y/10*10/v a multiple of 23?
False
Let j = -12 - -18. Suppose 3*g = -4*l - 8, -j*l + 2*l = 5*g + 8. Suppose g = -6*n + n + 100. Does 6 divide n?
False
Suppose i = -i - 5*s - 76, 2*i + 64 = -2*s. Let o be ((-42)/i)/((-1)/(-2)). Suppose 4*r - o*c - 43 = 72, r + c = 27. Is r a multiple of 14?
True
Let a(h) be the first derivative of -4*h - 8/3*h**3 + 1/4*h**4 - 6 + 3*h**2. Does 11 divide a(8)?
True
Let a(t) = -t**2 + 30*t + 16. Is 8 a factor of a(14)?
True
Suppose -2*k - 143 = -5*w - k, -2*w = 4*k - 66. Let j(x) = -15*x - 11. Let r be j(-4). Let i = r - w. Is 19 a factor of i?
False
Let r(m) = 4*m**2 - 19*m + 101. Is 41 a factor of r(7)?
True
Suppose 0*w - 1290 = 6*w. Let c = w + 433. Does 48 divide c?
False
Let h = 33 + -29. Suppose 0 = y + h*y - 105. Does 5 divide y?
False
Let f(h) = 41*h**2 - 8*h + 17. Is f(4) a multiple of 8?
False
Let r(x) = -14*x - 43. Let z be r(-4). Suppose -292 + 71 = -z*v. Is v even?
False
Let q = 26 - 14. Suppose -3 = -4*i + 5*i + 2*o, -5*i - 3*o = 8. Let t = q - i. Is t a multiple of 8?
False
Let n = 5358 - 3328. Is 14 a factor of n?
True
Does 56 divide 168*(430/(-3))/(-10)?
True
Let y = -124 - -544. Is 14 a factor of y?
True
Suppose 24*i - 67*i + 114982 = 0. Does 78 divide i?
False
Suppose w + 32 = 2*w - 5*i, 0 = -5*w - 5*i + 100. Let u = w - 1. Is ((-60)/(-7))/(3/u) a multiple of 14?
False
Let a(g) = -5*g + 0 + 3*g + 0. Let k be a(-4). Let s = 24 - k. Is 8 a factor of s?
True
Suppose 0 = 29*l + 381 - 990. Let r(x) = x**3 - x**2 - x. Let g be r(-1). Let u = l + g. Does 10 divide u?
True
Let g be (1/2)/((-2)/(-6 + -14)). Suppose -143 = -5*w - 2*u, g*w - 2*u = -0*w + 127. Does 9 divide w?
True
Suppose -5*d + 5*b = -150, 2*b - 234 + 63 = -5*d. Is 3 a factor of d?
True
Let d be (-8)/(1 + -3) + 3. Let c(n) = 2*n - 2. Let i(b) = 4*b - 4. Let j(f) = 5*c(f) - 2*i(f). Is j(d) a multiple of 6?
True
Let h be (-5 - (-2 + 3))/(-2). Suppose -h*w + 26 - 2 = 5*p, -2*w - p + 9 = 0. Let d(m) = 4*m**3 - 2*m**2 - 4*m - 2. Is 23 a factor of d(w)?
False
Let i be (-3)/2*96/(-36). Suppose -5*l = 4*h - 144, 0 = -4*h - 4*l + l + 152. Suppose -x - 7 + 3 = 5*u, -h = -x + i*u. Is 7 a factor of x?
True
Let f = -52 + 69. Suppose -i = -143 + f. Is i a multiple of 42?
True
Let s be 655/(-40) - 3/(-8). Let h(z) = -z**3 - 17*z**2 - 22*z - 4. Is h(s) a multiple of 23?
True
Let j(a) = a**3 + 10*a**2 - 9*a - 6. Let n be j(-11). Let i = n - -76. Is i a multiple of 16?
True
Suppose -h = 3*k - 570, 1666 = 5*h + 2*k - 1145. Is h a multiple of 11?
True
Suppose 7 = 2*r + 3. Suppose -y - 3*x = -38, r*x = 4*y - 3*x - 135. Is y a multiple of 14?
False
Let a = -77 - -80. Does 13 divide (-914)/(-14) + (a - 46/14)?
True
Let c be 2/(-1) - (-2 - -3). Let l(j) be the first derivative of -3*j**2/2 + 2*j + 54. Is 11 a factor of l(c)?
True
Suppose 30*k - u = 25*k + 10920, 3*k = 5*u + 6574. Is k a multiple of 59?
True
Is 13 a factor of 724/96*69 + 3/(-8)?
True
Suppose -24 = -6*f - 6. Suppose f*h + 494 = -0*p + 4*p, 4*p + h = 486. Does 11 divide p?
False
Let f(n) = -n**2 - 7*n + 1. Let u be f(-7). Let j = 129 - 197. Does 7 divide u*j/(-4) - 1?
False
Let c = 1020 - 491. Is 68 a factor of c?
False
Let i = -3516 - -5203. Is 65 a factor of i?
False
Let u(i) = 2*i**3 - 8*i**2 + 15*i + 11. Is u(5) a multiple of 6?
False
Suppose 0 = -u + 5*u - 12. Let y(c) = 3*c - 4. Let v be y(u). Suppose -5*w + 5*d = -145, w + v*d = -0*w + 59. Is w a multiple of 18?
False
Suppose 5*j + 205 = 2380. Does 15 divide j?
True
Let i(x) be the third derivative of -x**4/12 + 5*x**3/6 + 6*x**2. Suppose 0 = 2*k + 1 + 3. Is 9 a factor of i(k)?
True
Let p(a) = -7*a + 1. Does 15 divide p(-2)?
True
Let d(l) = 8*l**2 - 2*l + 12. Is d(4) a multiple of 44?
True
Suppose 5*h = 2*h - y + 7, -8 = 4*y. Suppose 3*n - 66 = 3*i - 0*i, h*n - 41 = -2*i. Is n a multiple of 9?
False
Suppose -5*z = -b + 26, -z + 5*b - 14 + 4 = 0. Let a(y) = 3*y**2 + 12. Is 29 a factor of a(z)?
True
Let i(g) = -6*g + 3. Let a be i(4). Let z = -8 - a. Does 12 divide z?
False
Suppose 0 = -38*t - 12*t + 32250. Is 17 a factor of t?
False
Let m be -1 - 0 - 6/(-1). Suppose 4*v = p + 4*p + m, 14 = 3*p + v. Is p + -2 + -1 - -57 a multiple of 15?
False
Let b(g) = 9*g - 9. Let f(p) = -18*p + 19. Let x(n) = 9*b(n) + 4*f(n). Let i be (-17)/(-51) + (-17)/(-3). Does 11 divide x(i)?
False
Suppose -178 = -3*c + 218. Is 4 a factor of c?
True
Does 47 divide (-115)/(-10)*-57*(-