or of -48*((-1)/2 + r)?
True
Let m(k) = -29*k - 14. Let v(p) = -15*p - 7. Let g(z) = 2*m(z) - 5*v(z). Is g(5) a multiple of 11?
False
Let r = -4225 + 6211. Is r a multiple of 23?
False
Let j = -34 - -73. Suppose -4*a + j = -a. Let p = 41 + a. Is 29 a factor of p?
False
Is 228/(-36)*(0 + -9) a multiple of 12?
False
Suppose p = -4*q + 2396, q - 291 = -4*p + 293. Suppose 6*h = h + q. Is h a multiple of 30?
True
Let t(o) = -o**2 - 2*o + 70. Let j be t(0). Suppose 3*v = 5*l + j, 4*v - 55 = -l - 0*l. Is v a multiple of 4?
False
Let l be -21*1*(-16)/12. Let g = 31 - l. Does 13 divide -13*g/6*-6?
True
Let p be (0/(9 - 3))/1. Suppose p = -0*f - 2*f - x + 683, 0 = 4*f - 4*x - 1336. Is 22 a factor of f?
False
Let n(c) = 99*c**2 + 15*c - 3. Is 11 a factor of n(-2)?
True
Let l(q) = -q + 0 - q - 3 + 4. Let w be l(1). Does 18 divide (2 + w)/(7/175)?
False
Suppose -m = -4*l + 11, 5*l - 5 = -3*m - 4. Let g(o) = 9*o**3 - 4*o**2 - 3*o + 5. Does 5 divide g(l)?
True
Let n be 14/91 + (-2)/13. Suppose l + 8 = 2*i, -l - i - i - 8 = n. Let p(t) = t**3 + 9*t**2 - 3*t. Does 16 divide p(l)?
False
Let z(u) = 956*u - 9. Let a be z(2). Suppose 0 = 13*b - a + 18. Does 29 divide b?
True
Let x(o) = -o**2 + 5*o + 1. Let c be x(5). Let n be 1930/40 - c/4. Is n/(-80) - (-283)/5 a multiple of 14?
True
Let z(b) = 15*b**2 - b + 2. Let v be z(2). Let i be v/(-18)*36/(-5). Let m = 45 - i. Does 7 divide m?
True
Let v be 4/(-3)*(-2 - 1). Suppose 0 = -l + 4*s - s + 16, -3*s + 94 = v*l. Does 6 divide l?
False
Suppose -7324 = -38*f + 8636. Does 38 divide f?
False
Let f = 0 + 2. Suppose 0 = r + 3*j + 21, 7*j = f*j - 25. Is 17 a factor of (r/(-4))/(4/136)?
True
Let q be (678/6)/(2/10). Suppose q = 3*o - 77. Suppose -4*h + o = -2*h. Does 31 divide h?
False
Suppose -4*x = -4*c + 24, -3*c - 4*x + 8 = c. Suppose u + 62 = 3*k, -18 = 3*k - c*u - 68. Let z = 19 + k. Is z a multiple of 12?
False
Let z(d) = -35*d - 22. Let h be z(-8). Suppose -h - 232 = -5*q. Is q a multiple of 26?
False
Suppose 5*f = -4*h + 2744, -15*f + 556 = -14*f - h. Is 69 a factor of f?
True
Let v = -206 - 27. Is (-72)/(-96) - v/4 a multiple of 8?
False
Suppose 0 = 30*v - 22*v - 15456. Does 23 divide v?
True
Suppose 26*v = 25*v + 425. Does 52 divide v?
False
Let x = 843 - 556. Is 19 a factor of x?
False
Let f(d) = -6 - 5*d**2 - 9*d + 5*d**2 - d**2 - 5. Let z be f(-6). Let p(l) = -l**2 + 9*l - 7. Is 3 a factor of p(z)?
False
Let w(n) = -n**3 + 22*n**2 - 9*n + 35. Is w(15) a multiple of 25?
True
Suppose 0 = -6*l + l + 15. Let j = 1 - l. Does 6 divide (10/(-15))/(j/51)?
False
Let j be (134/(-4))/(3/6). Let m be 2/(-8) + (-225)/12. Let r = m - j. Does 12 divide r?
True
Let n(t) = 16*t**2 - 4. Let w be n(2). Let k = w - 40. Does 20 divide k?
True
Let i be (-32)/(-6) - (-3)/(-9). Suppose -4*s + 2*a + 3 = 7*a, i*s - 5*a = -30. Does 14 divide 13/39 + (-53)/s?
False
Suppose 2*d - 39 = -29. Suppose 9 = 3*a, d*m - 3*a = -0*a + 41. Is 4 a factor of m?
False
Let p(g) be the first derivative of 5*g**2/2 + 15*g + 23. Does 5 divide p(2)?
True
Suppose -16*l + 19*l = 1260. Suppose -i = -0*t - 4*t - 84, 5*i = 5*t + l. Is i a multiple of 28?
True
Suppose 0 = -3*c - 3, 2492 = 5*a + 5*c - 848. Is 42 a factor of a?
False
Let s(r) = -3*r - 5. Suppose 0 = 3*z - 9 - 39. Let t = 10 - z. Is 8 a factor of s(t)?
False
Let z(v) = v**3 + 25*v**2 - 117*v - 11. Is z(-26) a multiple of 5?
True
Suppose 12*q = -12013 + 31597. Is 16 a factor of q?
True
Let r(v) be the first derivative of -1/3*v**3 - 5*v**2 - 4 + 0*v. Is 7 a factor of r(-7)?
True
Let k be (-27)/(-6)*16/(-12). Let m = -6 - k. Does 11 divide (-1 - m)/(13/(-286))?
True
Suppose 0 = 3*j + 2*i - 11 - 5, -3*j = -5*i - 23. Let s(y) = -y**3 + 10*y**2 - 11*y - 13. Is 13 a factor of s(j)?
True
Suppose 4*p - 1055 - 1038 = -f, 4*f = 4*p + 8272. Is f a multiple of 48?
False
Let f(q) = 8*q**2 - 4*q - 2. Let r be f(2). Let c be (4/(-5))/(r/(-55)). Suppose 3*t + c*t + 4*x - 212 = 0, 0 = 4*t - 3*x - 182. Is t a multiple of 13?
False
Let h(s) = -s**3 - 7*s**2 + 7*s - 7. Let l(c) = c**3 + c**2 - 2*c + 4. Let f be l(-3). Let o be h(f). Is 1/(-2 + o) - -25 a multiple of 12?
True
Let q = 23 + 14. Let g = 5 + q. Is g a multiple of 14?
True
Let s = -12 - -15. Let h(k) = 5*k**2 - k - 6. Is 6 a factor of h(s)?
True
Let y = 283 - 104. Suppose b - 90 = 5*f, -3*b + 449 = 5*f + y. Does 22 divide b?
False
Suppose 3*p - 18 = -4*j, -2*p + 12 = -0*p + 5*j. Suppose -p*h = -h - 240. Suppose z + z = h. Is z a multiple of 12?
True
Suppose -3*n + 6*n - 183 = 0. Let k = -42 + n. Is k a multiple of 19?
True
Let d = 7 - -6. Let g(z) = z**3 - 12*z**2 + 14*z - 10. Is g(d) a multiple of 46?
False
Let c(r) = r**3 + 4*r**2 + 2*r. Let h be c(-3). Suppose 0*u + h*u - 21 = 0. Suppose -607 + 110 = -u*m. Is 20 a factor of m?
False
Suppose 0 = 3*u - 3*o - 15, -5*u - 5*o = -2*o - 17. Suppose 0 = y - 5*m - 1, -5*y - 23 = u*m + 30. Does 9 divide (0 + (-1 - 0))*y?
True
Let s be (1 - 0)/((-5)/(-675)). Does 10 divide 4/(s/66 - 2)?
False
Let h = 0 + -9. Let m(j) = j**2 + 6*j + 18. Does 21 divide m(h)?
False
Suppose 0 = 2*r + 2, -4*r - 2 - 4 = x. Let m(y) = -y**3 + 2*y + 2. Is 6 a factor of m(x)?
True
Let l = 7 - 5. Suppose l*k = -k + 114. Is k a multiple of 8?
False
Suppose g - 795 = 1266. Is 21 a factor of g?
False
Let k(f) = 47*f + 5. Let b(u) = 41*u. Let r(v) = 42*v + 1. Let o(i) = 5*b(i) - 6*r(i). Let x(a) = -4*k(a) - 3*o(a). Does 23 divide x(-1)?
False
Suppose 8 = -3*k + 7*k. Suppose 5*q + k - 27 = 0. Suppose 0 = -q*x - 0*x + 45. Is x a multiple of 9?
True
Let f(s) = 16*s**2 + 25*s + 154. Does 4 divide f(-5)?
False
Let g be (16/10)/((-4)/10). Let t be g/(-3)*(-90)/20. Does 2 divide t/8 - (-253)/44?
False
Let v(s) = -s + 9. Let q be v(14). Let f = q + 31. Is 13 a factor of f?
True
Suppose -4*y = -2*y - 88. Let a = y - -177. Is a a multiple of 11?
False
Let t(h) = 141*h**3 - h**2 + 4*h - 4. Does 14 divide t(1)?
True
Suppose 14 = 2*s + 4*q, 4*s - 3*q - 21 = -4. Suppose s*i - 20 = 30. Suppose -2*b = -0*b - i. Is b even?
False
Let i(t) = -t**2 - 5*t - 4. Let k be i(-3). Suppose v = 4*a + 22, -k*a = -v - a + 13. Suppose -v = x - 3*x. Is 4 a factor of x?
False
Let s = -2546 - -3622. Suppose s + 1304 = 10*d. Is 9 a factor of d?
False
Let v(i) = 2*i. Let n be v(1). Suppose 3*b = 5*b - 8. Suppose -b*h + 88 = -2*z, 121 = 5*h + z + n*z. Is h a multiple of 15?
False
Suppose 5*y - 5631 - 2319 = 5*u, 0 = 5*y - 3*u - 7960. Does 55 divide y?
True
Suppose 2*u - 82 = -3*x + 43, 186 = 3*u + 4*x. Suppose -188 = -l - u. Suppose 0 = -2*y - 0*h - 2*h + l, -y = -3*h - 69. Does 33 divide y?
True
Suppose -4*p = -0*g - g + 16, -4*p = 4*g - 4. Suppose g*a = -a + 10. Suppose 3*y + a*y - 115 = 0. Is y a multiple of 3?
False
Let b = 626 - 381. Suppose 112 = 7*c - b. Does 51 divide c?
True
Let r = -122 + 312. Suppose -4*o + 122 = -r. Does 26 divide o?
True
Suppose 22*c = 19*c + 30. Let r be ((-6)/(-5))/(c/25). Suppose r*f - 26 = 2*f. Is f a multiple of 13?
True
Let i = -154 + 364. Is 20 a factor of (i/(-8))/((105/80)/(-7))?
True
Let t = -64 - -488. Suppose -5*u + j = -t, 2*j = 2*u - u - 83. Is 18 a factor of u?
False
Suppose 5*s + 3*k = 818, -2*s - 5*k = -5*s + 484. Does 8 divide s?
False
Let a(x) = x**2 - 4*x - 8. Let k be a(5). Does 38 divide (-1)/(-3)*579 + k?
True
Let l = -39 - -92. Let v(w) = 9*w - 2 + l*w**2 - 11*w + 1. Is 18 a factor of v(-1)?
True
Let i(o) = -15*o - 20. Let v(b) = 1. Let p(x) = i(x) + 30*v(x). Is 23 a factor of p(-7)?
True
Suppose -11*i + 1315 + 3173 = 0. Is 3 a factor of i?
True
Suppose 1082 = 4*c + 2*m, 5*c - 544 = 3*c - 4*m. Let b = c + -162. Does 18 divide b?
True
Suppose 4*q - 22 = -3*v, 4*q + 5*v + 4 - 22 = 0. Let m = q - -18. Is 5 a factor of m?
True
Suppose -5*i = -2*m + m - 99, 2 = 2*m. Let v = i - 23. Is v - (-2)/((-2)/(-21)) a multiple of 13?
False
Let x be 7/(3/(-12) - 0). Let y = x + 51. Is y a multiple of 23?
True
Let v be (-2)/(-5) - 65/(-25). Suppose -2*o - v*o = -2*i + 74, 4*o = -i + 24. Let z = i - -41. Is z a multiple of 20?
False
Let o(u) = -39*u - 26. Let i = 32 - 36. Is 10 a factor of o(i)?
True
Let o(c) = 6*c**2 + 2*c + 6. Let z be o(-6). Suppose -5*q = 5*m - z, -3*q + 0*m + 4*m + 98 = 0. Is 8 a factor of q?
False
Suppose 2*p + 2*m = 1464, p = -23*m + 20*m + 726. Does 70 divide p?
False
Let c = -862 - -1401. Is 49 a factor of c?
True
