 divide r?
False
Suppose 0 - 3 = -r. Suppose -o - 26 = -r*o. Is 11 a factor of o?
False
Let i be 485/(-20) + (-2)/(-8). Let z be i/(-32) + 354/8. Suppose -5*o + 5*l = -z, 0*o - 2*o + 10 = 2*l. Is 3 a factor of o?
False
Suppose -3*t - 10 = -8*t. Suppose 0 = t*n - 5*n + 18. Suppose -n*u + 7*u = 9. Is 3 a factor of u?
True
Let p(n) = 7*n - 7. Is 3 a factor of p(23)?
False
Let w be 1832/4*2/4*4. Is 23 a factor of (3 - 0)/(w/(-184) - -5)?
True
Let d(p) = -p**2 + 28*p - 38. Is d(16) a multiple of 8?
False
Let c(p) = -p**3 - 3*p**2 + 3*p + 1. Suppose 5*x + 13 = -7. Let w be c(x). Suppose -2*m - t + 86 = m, 0 = -5*m - w*t + 130. Is 10 a factor of m?
True
Let m(t) = -3*t + 69. Let u be m(6). Suppose -s + u - 8 = 0. Is s a multiple of 3?
False
Suppose -3*u - y + 202 = 0, 5*u + y + 4*y = 330. Suppose -b = -2*j + 13 + 23, 4*j - b = u. Is j a multiple of 8?
True
Suppose -2*p + 4*p - 6 = 0. Suppose -p*q = 2*q - 490. Is q a multiple of 39?
False
Let v(x) be the first derivative of -x**4/4 + 2*x**3/3 + 15*x + 1. Let j be (-3)/6*(2 - 2). Does 15 divide v(j)?
True
Let v = -38 - -33. Let u be 2/(v/(-15) + 0). Is 7 a factor of ((-2)/u)/(9/(-567))?
True
Is 27 a factor of 470 + 18/6*1?
False
Let p(q) = -q**2 - q + 48. Let h be p(0). Let g be (-2)/7 - h/(-21). Suppose -g*r + 84 + 30 = -2*o, -5*o = -2*r + 117. Is 14 a factor of r?
True
Suppose 3*c - 2 = -5*a + 14, 16 = 3*a + 5*c. Suppose 4*n - a = 2*n + 2*i, -5*n - 4*i = -23. Suppose -n*y = y - 4*k - 208, 0 = y - 5*k - 44. Does 13 divide y?
False
Let w(z) = 4*z - 4. Let s be 7*(0 + 12/14). Let q be w(s). Suppose 5*x = 2*h - q, 3*h - x - 23 = 20. Is h a multiple of 4?
False
Suppose 0 = 3*r + 4*j + 844, -r + 1138 = -5*r + j. Is 28 a factor of (r/(-6))/((44/18)/11)?
False
Let x = 3395 + 601. Is 36 a factor of x?
True
Suppose 2*u - 5*q = 1015, -1289 - 1301 = -5*u + 2*q. Is 26 a factor of u?
True
Let v = 132 - 142. Is 5 a factor of (-12 - v) + 2 + 50?
True
Is (-99)/(-264) + (-1527)/(-24) even?
True
Let n = -2 - 21. Let x = 88 + n. Suppose -x = -2*o - 3*b, 3*b + 72 = 3*o - b. Is o a multiple of 19?
False
Suppose 2*z - 4 = -4*q, -3*z + 4*q + 16 = -0. Suppose 3*i + 12 = -4*m + 199, z*m = 5*i - 365. Does 23 divide i?
True
Suppose 0 = -13*m + 1438 + 941. Is 61 a factor of m?
True
Suppose -2*b - 3*c - c + 6 = 0, 5*b = c + 15. Let l(j) = 2*j**2 + 54*j**b - 2*j**2 - 7*j**3. Is l(1) a multiple of 22?
False
Let p = -20 + 10. Is 15 a factor of (6/(-9))/(p/1065)?
False
Let b = -375 - -1298. Is b a multiple of 71?
True
Is (2/(-4))/(0 + 9/(-6804)) a multiple of 18?
True
Suppose -483*l + 459 = -480*l. Does 9 divide l?
True
Let o(h) = h**3 - 8*h**2 + 9*h - 9. Suppose 0 = -5*f - 5, -3*d - 3*f + 19 = -f. Let a be o(d). Suppose -1 = z, -a*q + 5*z + 92 - 27 = 0. Is 12 a factor of q?
True
Suppose 0 = 2*q + 3*v + 67, 4*q + 2*v = 2*q - 68. Let l = 5 - q. Does 20 divide l?
True
Let n be (-1)/(-4)*0 - (-1 + 4). Let a(f) = 14*f + 2. Let h(u) = 15*u + 2. Let b(t) = 2*a(t) - 3*h(t). Does 21 divide b(n)?
False
Let l(q) = 3*q + 0*q - 2*q. Let n(y) = -8*y + 7. Let k(i) = 3*l(i) + n(i). Is 16 a factor of k(-10)?
False
Let j = 22 + -18. Suppose -j*y = -16, -5*y + 391 = 3*z - 10*y. Is z a multiple of 12?
False
Suppose -g - 7*u + 2*u + 491 = 0, -2*g + 1018 = -2*u. Does 17 divide g?
False
Let s = 30 + -27. Let f be (s/(-1))/((-9)/6). Is -26*(-1)/f*1 a multiple of 13?
True
Let l = -1357 + 1781. Does 32 divide l?
False
Let y = -54 + 111. Let w = y + -5. Is w a multiple of 13?
True
Let j = 1349 - 947. Is j a multiple of 67?
True
Suppose -5*u + 14888 = 2*c, 3*u - 45*c = -46*c + 8932. Does 45 divide u?
False
Suppose -2*m - 2*s - 3*s = -25, m = -3*s + 14. Suppose 0*c + 3*i = 2*c + 9, m*i - 25 = 0. Suppose 0*g - c*g = -195. Is g a multiple of 13?
True
Suppose 845 - 509 = 3*v. Does 25 divide v?
False
Let x(t) = -5*t**3 + 1 + 4*t**3 - 15 + 2*t - 3*t**2 - 6*t**2. Let k be x(-10). Suppose -4*d = k - 282. Does 16 divide d?
False
Let g(y) = -y**3 + 4*y**2 + 5*y + 6. Let u(j) = j**3 + 5*j**2 - 2*j - 7. Let c be u(-5). Suppose 4 - c = -d - 2*l, 0 = -2*d + 5*l + 25. Is g(d) a multiple of 6?
True
Let d be (-2486)/(-10) + (-14)/(-35). Suppose m - 4*t - 190 = 0, -55 = m - 3*t - d. Does 12 divide m?
False
Let h(n) = 3*n - 10 + 6 - 2*n - 7*n - 4*n**2 - 2*n**3. Let r be h(4). Is 2 a factor of r/(-18) + (-8)/36?
True
Suppose 8 = -b - 4. Let r be (232/b)/(2/(-6)). Let x = r + -41. Is 6 a factor of x?
False
Let u(p) = -6*p - 3. Let y be u(5). Let m = 55 + y. Is 22 a factor of m?
True
Suppose -3*g = 3*x + 24, -g - 3*g = -4*x. Let b = 34 + x. Does 5 divide b?
True
Let o = -33 - -33. Suppose o = j + 2*j - 198. Is 30 a factor of j?
False
Let f(g) = -6*g + 114. Does 15 divide f(-6)?
True
Let w(h) = 176*h**3 - 2*h**2 + 5. Does 34 divide w(2)?
False
Suppose -34*l = -30*l - 16. Does 12 divide 8 + -12 + 7*l?
True
Suppose -1827 = -2*d - d. Does 9 divide d?
False
Let w(x) = 2*x**3 - 11*x**2 + 6*x - 12. Is 10 a factor of w(6)?
True
Let z = 62 + -63. Let c(t) be the first derivative of 23*t**3/3 + t**2/2 + t - 1. Does 9 divide c(z)?
False
Let o = 42 - -126. Does 7 divide o*1/6*2?
True
Let g(x) = 22*x**2 + 7*x - 38. Does 40 divide g(7)?
False
Let l be (-10)/4*16/10. Let y = 35 + l. Suppose 4*q - y = 249. Is 10 a factor of q?
True
Suppose -5*l - 8 = 7. Let d be l/(-3) - (1 - 1). Is 1 + 15 + (2 - d) a multiple of 8?
False
Let o = 36 - -572. Does 16 divide o?
True
Suppose -2*k + 42*k = 20520. Does 4 divide k?
False
Suppose -7*l + 3712 = 25*l. Does 13 divide l?
False
Let j be -10 + 11 + (2 - 1). Let u(y) be the first derivative of 3*y**4/4 - 2*y**3/3 - y**2/2 - 1. Is u(j) a multiple of 7?
True
Is 2 a factor of 6 + -7 + -11 - -136?
True
Is 12 a factor of (-787)/(-1) - 75/(-15)?
True
Let m = 1017 - 1011. Does 3 divide m?
True
Suppose -l = -5 + 2. Let a be (-2)/l*90/(-20). Suppose -p + a + 14 = 0. Is 3 a factor of p?
False
Let u(h) = 2*h + 24. Let v be u(-10). Let r = 55 + v. Is r a multiple of 12?
False
Suppose -25*t = 3286 - 16536. Is 29 a factor of t?
False
Let o(s) = 6*s**2 + 7*s + 2. Let q(r) = 5*r**2 + 7*r + 1. Let z(a) = 4*o(a) - 5*q(a). Let k be z(-7). Let d(m) = m + 4. Does 3 divide d(k)?
False
Let n = -73 - -432. Is n a multiple of 8?
False
Suppose 3*i + i + 4*w + 4 = 0, -3*w + 1 = -i. Suppose 0 = -4*c + 5*j - 17, -c - 2*c = j - 11. Is 6 a factor of (c/(-6))/(i/18)?
True
Is 2*115/(9 - 4) + 0 even?
True
Suppose -57*k = -64*k + 19103. Does 8 divide k?
False
Suppose -22*h + 1370 = -12*h. Does 19 divide h?
False
Let k(j) be the first derivative of j**4/4 - 4*j**3/3 + 3*j**2/2 + 5*j + 2. Let l(v) = 4*v + 12. Let u be l(-2). Is k(u) a multiple of 5?
False
Is (-7 - 4060/(-16))*(-4)/(-1) a multiple of 60?
False
Suppose -v - 9 = -3*v - x, 3*x = 3. Is 15 a factor of (-1520)/(-28) + v/(-14)?
False
Suppose 22*p = 878 + 1872. Does 8 divide p?
False
Suppose 4*p - 3*p + 112 = 4*v, 2*p = -2*v + 56. Does 37 divide 373 - ((-21)/v)/(1/(-4))?
True
Let d be (5 + -4 - -3) + 23. Let g = -15 + d. Does 3 divide g?
True
Let c(l) = 2*l**2 + 79 + l - 79 - l**3. Let z be c(-2). Let i = -5 + z. Does 3 divide i?
True
Is 11 a factor of 1 + (-1 - 257)*24/(-16)?
False
Let j(d) = -d**2 - 2*d + 11. Let i be j(-5). Let n be ((-25)/20)/(1/i). Suppose 2*x = n*x - 33. Is 11 a factor of x?
True
Let q(d) = -14*d**2 - 30*d - 22. Let j(k) = 5*k**2 + 10*k + 7. Let g(x) = -11*j(x) - 4*q(x). Let c be g(-9). Suppose -2*h = c - 134. Is 19 a factor of h?
False
Let u(t) be the first derivative of -3*t**2 + 3 - 1/3*t**3 + 2*t. Is u(-5) a multiple of 7?
True
Suppose 2*i + 91 = 3*i - 5*t, 2*t = 2. Let w = i + -63. Does 15 divide w?
False
Is 19 a factor of (-8)/((-392)/13951) + 6/21?
True
Let d = -401 + 1421. Does 51 divide d?
True
Suppose -4*b - 934 = 5*v - 6623, -2266 = -2*v - 4*b. Is 23 a factor of v?
False
Suppose 75 = 3*x - 4*n, 2*x - n = n + 50. Is 103*(-4 - x/(-5)) a multiple of 27?
False
Let q(o) = 5*o**2 + 14*o - 20. Let k(c) = -11*c**2 - 28*c + 40. Let h(n) = -4*k(n) - 9*q(n). Is h(-14) a multiple of 15?
False
Let p = 17 - 26. Let g = p - -5. Is ((-87)/2 - g)*-2 a multiple of 12?
False
Let y(t) = -t**2 + 3*t - 2. Let z be y(3). Let j be ((-156)/(-65))/(z/(-165)). Let b = j + -125. Is 16 a factor of b?
False
Let n(q) = q**3 - 2*q**2 + 4*q - 6. Let w be n(3). Suppose -k = -2*y + w, -5*k + 5*y = -2*k + 41. Does 22 divide (1/(-2))/(k/9