r of (-19896)/(-108)*(-6)/(-8)*6?
False
Let n(d) = 3*d - 35. Let q be n(13). Suppose 0 = -0*i - 5*i - 20, -136 = -4*m - q*i. Does 3 divide m?
False
Let n(h) = -2*h**2 - 15*h + 6. Let m(a) = 3*a**2 + 16*a - 5. Let u(g) = -4*m(g) - 5*n(g). Is 2 a factor of u(4)?
True
Let c = 6 + -1. Suppose -c*k + 0*k = -170. Let y = 57 - k. Does 23 divide y?
True
Let p(q) be the second derivative of -3*q**3/2 + 45*q**2/2 + 31*q. Does 32 divide p(-11)?
False
Suppose -4*u + 122 = -2*z + 18, -4*z = 0. Suppose 28*f - u*f = 176. Is 22 a factor of f?
True
Suppose 4*z - 7 = d, -2*d = -4*z + 2*d + 16. Let m(c) = -10*c - 5. Let i be m(-7). Let j = i + z. Is j a multiple of 19?
False
Let m be 8/(-60)*-5*6. Suppose m*a - 704 = -0*f - f, -197 = -a + 5*f. Suppose 3*k = 7*d - 2*d - a, 3*d - 5*k - 103 = 0. Is d a multiple of 36?
True
Suppose -3*w - 5*j = -253, 7*j = 4*w + 10*j - 330. Does 3 divide w?
True
Let o = 0 - 0. Suppose 5 + 3 = 2*t, 2*t + 1232 = 5*a. Suppose 5*u - a + 3 = o. Is 12 a factor of u?
False
Is ((-33024)/215)/((-6)/160) a multiple of 64?
True
Let a(h) = 3*h - 25. Let d be a(10). Let s = -10 - -12. Suppose 2*q - 125 = -d*y, 3*q - s*q = 3*y - 75. Is y a multiple of 15?
False
Is 11*(-34608)/(-312) + (-4)/26 a multiple of 5?
True
Let x(i) = -5*i - 34. Let n be x(-10). Suppose -n*a + 14*a = -80. Is a a multiple of 6?
False
Suppose -2*r + 2*y + 7 = -r, 35 = 5*r - 3*y. Let s = r + -10. Is 4/12 - 77/s a multiple of 16?
False
Suppose 2*z + w = -3, 4*z - z + 3*w = -6. Is 19 a factor of (-243)/z - 20/(-5)?
True
Suppose 1428 = r - 57. Is r a multiple of 20?
False
Let j(k) = -k**3 + 0*k + 32*k**2 - 30*k**2 - 1 + 0 + 3*k. Does 19 divide j(-3)?
False
Suppose -4*y - 9 = -y. Let c(g) be the third derivative of -5*g**4/24 - g**3 + 97*g**2 + 2*g. Is c(y) even?
False
Let j(s) be the third derivative of s**6/120 + s**5/5 + s**4/8 - s**3/3 + 8*s**2. Let d be j(-11). Suppose r = 2*z - 3*z + 17, 5*z = 4*r - d. Does 12 divide r?
False
Is 48 a factor of 11/44 + (-1151)/(-4)?
True
Suppose 4*t = 12, -4*l - 4*t - 5 = 3. Let h be (-15)/l + 38/(-2). Is 3 a factor of h/(-10)*(-10)/(-4)?
False
Suppose -2*r = -4*h + r + 193, h - r - 47 = 0. Let o = -329 - -346. Let m = h - o. Does 13 divide m?
False
Suppose -3*u - 84 = 5*g + 159, -2*u = 3*g + 146. Let o = -25 - 3. Let a = o - g. Is 10 a factor of a?
True
Let r be (-2 + 0 + 7)*26/(-65). Let b = 8 - r. Is b a multiple of 10?
True
Suppose 2*p - 12 = 4. Let l(s) = s**2 - 32*s + 224. Let f be l(22). Does 19 divide 74/f + 4/p?
True
Let t(m) = -1405*m - 28. Is t(-3) a multiple of 112?
False
Suppose 5*f - 43 = 12. Let a be (f/(-22))/((-2)/(-52)). Let s = 8 - a. Is s a multiple of 6?
False
Suppose -2*c + 8 = 3*m, m = -2*m. Suppose c*a + 2*l - 102 = 0, 2*a = -2*a + 3*l + 117. Is a a multiple of 9?
True
Let u be (5 - 6)/(2/(-106)). Let n(g) = g**2 - 2*g - 6. Let k be n(7). Let s = u - k. Is s a multiple of 5?
False
Let p(d) = 49*d - 567. Does 50 divide p(33)?
True
Is 118541/171 + (-2)/9 a multiple of 27?
False
Let l be (-1)/(1*(-2)/(-12)). Let s be (4/(-8))/(1/l). Suppose s*d - 165 = -0*d. Is 16 a factor of d?
False
Suppose -g - 832 = -4*z + 418, -2*z - 2*g = -620. Is z a multiple of 15?
False
Let l(r) = -6*r**2 + 3*r. Let d(q) = 5*q**2 - 2*q + 1. Let f(o) = -3*d(o) - 2*l(o). Let a be f(-2). Let c = a - -30. Is c a multiple of 5?
True
Let v be ((8 + 6)/7)/((-2)/(-257)). Suppose v - 73 = 4*n. Is 5 a factor of n?
False
Let v(x) = -11*x**3 + 13*x**2 - 12*x + 37. Let p(i) = 3*i**3 - 3*i**2 + 3*i - 9. Let j(f) = 9*p(f) + 2*v(f). Is 43 a factor of j(3)?
False
Let x(y) = -y**3 - 16*y**2 + 18*y + 11. Let j be x(-17). Let i(z) = -z - 4. Is i(j) even?
True
Suppose g - d = 7, 4*g + 2*d + 0 = 10. Suppose -494 = -4*j + 634. Suppose -90 + j = g*a. Is 12 a factor of a?
True
Suppose -a + s = -100, -13*a - 500 = -18*a + 2*s. Is a a multiple of 20?
True
Suppose 124*z = 119*z + 60. Is 12 a factor of z?
True
Suppose 62 = 2*u - u. Let q(o) = -6*o**2 + 6*o. Let f be q(3). Let r = f + u. Is r a multiple of 14?
False
Suppose -126 + 431 = 5*d. Let n = 85 - d. Is 12 a factor of n?
True
Does 20 divide 12/(-8) - 9387/(-18)?
True
Suppose 0 = 18*b - 9*b - 36. Let v(j) = j**3 + 7*j**2 + 5*j + 2. Let l be v(-6). Let g = b + l. Is 6 a factor of g?
True
Let k = -1 - -96. Suppose 196 = 2*p - 5*u + 31, -p + 5*u + k = 0. Suppose -p = -4*o + 230. Does 12 divide o?
False
Let m = 14 + -10. Let c(q) = 15 - 5*q**2 + 2 - 6*q - 3*q + m*q**2. Is c(-10) even?
False
Suppose -5*m + 7 = 2. Let u(b) = -43*b**3 + 2*b**2 - 1. Let x be u(m). Is 34 a factor of (-4302)/x - 6/14?
True
Let f = -8 - -7. Let d(w) = -14*w**3 - w**2 - 2*w - 1. Is d(f) a multiple of 7?
True
Is (4 + -5)/(3/(-33))*18 a multiple of 9?
True
Let c = 34 - -271. Does 10 divide c?
False
Suppose 4*x = 3*z - 32, 5*x - 5*z = 2*x - 35. Let q = x + 3. Does 8 divide (-110)/(-7) + q/(-7)?
True
Suppose 44*z - 269 - 1183 = 0. Is 23 a factor of z?
False
Let p(x) = -x**2 + 16*x - 25. Let t(d) = -d**2 + 16*d - 26. Let u(i) = 3*p(i) - 2*t(i). Does 16 divide u(11)?
True
Let a(g) = g + 5 + 51 + g - 4*g. Is 16 a factor of a(20)?
True
Let a(f) = 27*f - 36. Let u be (1/(6/11))/((-32)/(-192)). Is 14 a factor of a(u)?
False
Suppose 13 = 2*c - 5. Suppose 0 = c*m - 12*m. Suppose 3*j = m, 159 = -i + 4*i - 4*j. Is 18 a factor of i?
False
Suppose 0 = -u + 16 - 10. Suppose 0 = p - 5*s - 46, -4*p + 4*s = -u*p + 162. Is 22 a factor of p?
False
Suppose -14*s = -8*s - 18. Suppose -4 = -2*y + 2, s*y - 214 = -5*v. Does 13 divide v?
False
Suppose 5*l + f + 8 = 23, l - 2*f + 8 = 0. Does 14 divide 5/15 - l/((-12)/754)?
True
Let d = -768 - -867. Is 11 a factor of d?
True
Let v = -43 + 282. Is 6 a factor of v?
False
Let h = -1330 + 2322. Does 32 divide h?
True
Suppose -5*s + 10 = 0, -7*s = 2*n - 2*s - 36. Does 2 divide (-28)/(-13) - 2/n?
True
Suppose 4*t + g = -2*g + 482, 0 = 3*t + 2*g - 361. Is 17 a factor of t?
True
Let z = -301 - -637. Is 56 a factor of z?
True
Suppose -4*n - 28 + 316 = 0. Suppose n = -7*s + 10*s. Is 4 a factor of 4 + s + 3 + -6?
False
Let g = -37 - -41. Suppose 368 = 4*k - 3*c + 20, 2*c + 352 = g*k. Is 21 a factor of k?
False
Suppose 4*d - 562 = g, -d + g + 178 = 39. Suppose -3*j + 5*v + d = 0, -103 - 77 = -4*j + 4*v. Suppose -2*i = -p + i + j, p = -4*i + 21. Does 13 divide p?
False
Let m be (5/(-2))/(((-15)/(-10))/(-3)). Suppose -j + 19 = -m*b, -b - 3*b - 200 = -5*j. Is j a multiple of 22?
True
Let y(a) = -a**2 + 72*a - 417. Is 17 a factor of y(30)?
False
Let g = -806 + 1001. Is g a multiple of 5?
True
Let g(r) = 5*r**2 + 4*r + 9. Is 2 a factor of g(4)?
False
Suppose -j - 259 = x + 4*j, 2*x - 2*j = -458. Does 13 divide (0 - (0 + 2/3))*x?
True
Suppose 9*u = -7*u + 7776. Is u a multiple of 9?
True
Is 1/(2 - (-132)/(-68)) a multiple of 5?
False
Let l(q) = -1 - 5 + 2195*q - 2201*q. Suppose 12 = -2*v + 4*w, 3*w + 0*w - 15 = 3*v. Is l(v) a multiple of 6?
True
Let f be (-8)/28 - (-788)/14. Suppose -2*l - 5*v + f = 0, l - v = -3*v + 27. Does 14 divide l?
False
Let v(j) = 402*j**2 - 22*j + 58. Does 38 divide v(3)?
True
Let p be (-11)/3*(-1 - 2). Is 10 a factor of (-5 - (-114)/22) + 174/p?
False
Suppose 4*g - 3*l = 2*g - 127, -l - 3 = 0. Let z = -18 - g. Is z a multiple of 10?
True
Let h(c) = -955*c - 57. Is 72 a factor of h(-3)?
True
Is 4 a factor of 57 - -38 - 6/2?
True
Let i = -93 + 352. Does 10 divide i?
False
Suppose 3*j + 3*g = 6 + 3, g = j - 1. Does 12 divide (1*j)/((-3)/(-6)) + 175?
False
Let c = 87 + -81. Is (-6)/18 - (-206)/c a multiple of 17?
True
Let r be 2/8 - 3/12. Suppose r = 8*x - 11*x - 12. Does 11 divide 22/(3 + x + 2)?
True
Let c(j) be the first derivative of -j**4/4 - 8*j**3/3 - 7*j**2/2 + 3*j + 3. Let w be c(-7). Suppose -m + 32 = w*m. Is 4 a factor of m?
True
Let j(g) = g**2 + 6*g + 5. Let t be j(-6). Suppose -t*p + 4*p - 16 = -4*z, 0 = -3*z + 2*p + 12. Does 25 divide (z - (2 - -3))*-40?
False
Suppose -4*w - 4*b = 184, -4*w + 0*w - 156 = -3*b. Let u = -17 - -21. Does 21 divide w/7*(-14)/u?
True
Let s(a) = -2*a**3 - 2*a**2 + 2*a - 1. Let d be s(1). Let g be (-1)/((-1 - d)/4). Is (1 - g - -78) + 0 a multiple of 24?
False
Let v(z) = -2*z - 5. Let f(w) = -5*w - 14. Let a(p) = -6*f(p) + 17*v(p). Is a(-5) a multiple of 8?
False
Let h be -1*((-40)/(-4) - 0). Let n be (-4)/((4/402)/(-1)). Is 20 a factor of 2/(-10) - n/h?
True
Let a be 3*(5 + 5