divide z?
True
Let z(r) = 1210*r - 29. Let q be z(3). Suppose 0 = 14*u - 4995 - q. Does 19 divide u?
False
Let f(t) = 83*t**2 - 9*t - 10. Let r be f(-5). Suppose 295*w + r = 305*w. Is 14 a factor of w?
False
Let w(m) = -43*m + 6. Let z be w(-16). Suppose 332 = 2*l + 5*y, 7*l = 3*l + 5*y + z. Is 20 a factor of l?
False
Suppose -3*k + 103 = -4*r, 0 = -5*k + 3*r + r + 169. Suppose -k*q = -47*q + 21000. Is q a multiple of 12?
True
Let y be (1/8*0)/(4/2). Let n = y + 12. Suppose -n*b + 298 = -10*b. Is 11 a factor of b?
False
Let m be 14/4*(-136)/(-14). Suppose -2*q - m = -3*x - 3*q, 5*x - 62 = -3*q. Suppose 0 = x*y - 152 - 148. Is y a multiple of 7?
False
Let d(m) = 32*m + 205. Is d(25) a multiple of 15?
True
Is 260 a factor of 9 + 16374 + -13 + 10?
True
Suppose -14*g + 67 = -17. Suppose 3*y = 7 + 41. Let z = g + y. Is 7 a factor of z?
False
Suppose -4*w + 5*x - 287 = 0, 3*x + 24 + 147 = -2*w. Is 58 a factor of (-930)/(-4) - (w/12)/(-13)?
True
Let d be (-3)/3*(-13 + 7). Let l(w) = w**3 - 2*w**2 - 5*w - 5. Is l(d) a multiple of 6?
False
Let z(a) = -a**3 + 5*a**2 - 40*a + 33512. Does 17 divide z(0)?
False
Let o = 170 + 74. Let m be (-1)/((1 - -1) + (-489)/o). Suppose 356 = 5*b - m. Is 13 a factor of b?
False
Let q(j) = j**3 - 10*j**2 - 11*j + 1. Let y be q(11). Let i be 194/y - 9/9. Let s = -65 + i. Is s a multiple of 18?
False
Does 25 divide 40/(-60) - (-2 + 94496/(-12))?
False
Let p(i) = 3*i - 385 - 60*i + 138. Is 19 a factor of p(-14)?
True
Suppose 57*l - 56*l = 2395. Let t = l - 1388. Is t a multiple of 18?
False
Let l(p) = -4*p + 92. Let y be l(21). Suppose -7*i = -y*i + 53. Does 14 divide i?
False
Suppose -56*c + 64*c - 34632 = 0. Is 111 a factor of c?
True
Suppose 4*j - 1 = -17, 4*j = -3*o + 11336. Is 86 a factor of o?
True
Let z(f) = 9*f - 30*f + 9*f + 7*f - 4 - 6. Let s be (-3 + -1 - 0) + -1. Does 5 divide z(s)?
True
Suppose -b + 20 = -2*m, 5*b - 93 = 15*m - 12*m. Does 27 divide (4 - 10668/b)/((-4)/6)?
False
Let a(b) = -b**3 + 31*b**2 + 2*b - 67. Let v be a(31). Let f = 53 + v. Is f a multiple of 5?
False
Let q(l) = l**3 - 38*l**2 - 409*l - 17. Is q(48) a multiple of 8?
False
Suppose -19*q = r - 23*q - 7412, 4*r - q = 29603. Is r a multiple of 7?
False
Let t(y) = -y**3 + 53*y**2 - 137*y + 12. Does 17 divide t(28)?
True
Suppose -5*r = 3*x - 100, 2513 = -r + 2509. Does 5 divide x?
True
Let i = -58422 - -116467. Is 10 a factor of i?
False
Let z be (4 - 7)*(250/(-15) + -2). Is 23 a factor of (z - -4) + -18 + 19?
False
Let x(i) = i - 2. Let w be x(6). Let d(l) be the first derivative of 43*l**2/2 - 23*l - 395. Is 10 a factor of d(w)?
False
Suppose -3*s - 5 = -4*s + 3*w, -3 = 3*w. Suppose 20*o - 1412 = -s*h + 16*o, -2*h + 1404 = -4*o. Does 64 divide h?
True
Suppose -24 = -4*c - 24. Suppose 2*b - 411 - 77 = c. Does 35 divide b?
False
Is 9 a factor of -24 + 28 + (-49474)/(-34) - 4/34?
False
Does 35 divide 70987/14 + (-5)/2?
False
Suppose z + 347 - 100 = 3*k, 3*k = 4*z + 250. Let t = k - 21. Does 16 divide t?
False
Suppose 152*u = 147071 + 86786 - 18473. Is u a multiple of 4?
False
Let w = 41 + -25. Is 37 a factor of (3 + -1 - -1)*592/w?
True
Let i(w) = -2*w**2 - 4*w + w**2 + 7 - 2*w**2 + 2. Let l be i(4). Let g = -28 - l. Is g a multiple of 14?
False
Suppose 0 = -d - 136 - 18. Let j = d - -192. Does 2 divide j?
True
Suppose 3*y - t + 22 = 0, -3*t + 27 = -3*y + 9. Let s(l) = -16*l + 41. Is 19 a factor of s(y)?
False
Let d = -2926 - -2945. Is d a multiple of 19?
True
Suppose 0 = -v - 2*v + 216. Suppose 3*j - v = -9. Suppose -s + 3 = 0, -2*s - j = -c + 121. Does 37 divide c?
True
Suppose 25*f - 34*f = 0. Let w(t) = t**2 + 4*t + 93. Is 22 a factor of w(f)?
False
Suppose -432 = -7*d - 2*d. Let j = d + -48. Suppose -2*x - 5*v + 60 = -j*x, -4*v - 96 = -2*x. Does 24 divide x?
False
Suppose -45 = 6*f - 15*f. Suppose 4*d = -4*i + 44, -5*i = -4*d + 30 + f. Suppose 4*h = 2*q + 80, 2*h = -q + d + 34. Is 11 a factor of h?
False
Let m be 4/((-16)/(-14)) - 13/26. Suppose 0 = -m*d - 4*f + 308, -3*f + 364 = 4*d - 7*f. Is 4 a factor of d?
True
Suppose -21*y + 3*b = -25*y + 612, 459 = 3*y - 4*b. Suppose -2298 = -2*g + 4*m, -y = -5*g + m + 5619. Does 55 divide g?
True
Let q(f) = -f**2 - 15*f - 13. Suppose -5*i = 16*i + 273. Is q(i) a multiple of 13?
True
Let v = 4307 - 4154. Is v a multiple of 4?
False
Let p be (6/9)/(((-48)/9)/(-16)). Let v(d) = 265*d + 2. Let j(i) = -177*i - 1. Let y(r) = -8*j(r) - 5*v(r). Is 18 a factor of y(p)?
True
Suppose 0 = -5*r - 18*r + 2162. Does 52 divide 6/(4 + -1)*1 + r?
False
Let n(z) = -z**2 - 9*z - 7. Let j be n(-6). Let r(y) be the third derivative of y**5/60 - y**4/4 + y**3/3 + 73*y**2. Is r(j) a multiple of 7?
False
Suppose -62*p - 93902 = -91*p. Is p a multiple of 11?
False
Suppose 839664 = 363*v - 237*v. Is v a multiple of 8?
True
Let j(k) = 10*k**2 - 2*k - 176. Is j(-8) a multiple of 40?
True
Suppose 1871*i + 131950 = 1900*i. Is 10 a factor of i?
True
Let c = 9936 + -9516. Does 3 divide c?
True
Suppose -44100 = -30*x + 23*x. Suppose 66*d + x = 75*d. Does 70 divide d?
True
Let p(d) = -6*d - 15. Suppose -5*v = -9*v + 16. Suppose -g - 27 = v*b, 3*b + g - 4*g + 9 = 0. Does 21 divide p(b)?
True
Let i be 64/24*((-9)/4 - 0). Let m be (3/2)/(1 - (-9)/i). Does 16 divide 3 - (-69 - (m - -3))?
False
Let v = -5 - -28. Let k = -29 + 34. Suppose -213 = -k*o - v. Does 12 divide o?
False
Let u = 33 - 38. Is 3 a factor of 524/6 + u/(-60)*-4?
True
Let x(p) = -4*p + 19. Let n be x(5). Is 3 a factor of n - (-836)/30 - (-2)/15?
True
Let f = -21 + 44. Let q = 45 - f. Suppose q*c = 18*c + 188. Does 4 divide c?
False
Let k be 22 + -8 + 1 + 1. Let y(u) = 17*u + 28. Is y(k) a multiple of 25?
True
Let u(p) be the second derivative of p**5/20 - 7*p**4/12 - 4*p**3/3 + 9*p**2/2 - 41*p. Let w be u(6). Let n = w + 131. Does 12 divide n?
False
Let y(o) = -o**2 + 20*o + 1383. Does 6 divide y(45)?
True
Suppose 53996 = 12*x - 33577 + 23901. Is 121 a factor of x?
False
Let c be 0/(-4 + 15/5). Suppose r - z - z = c, -r = z. Does 8 divide r + 286/2 - 0/5?
False
Let l = 16956 + -3906. Does 29 divide l?
True
Let f(o) = 3*o**2 + 5*o + 5. Let m be f(-1). Suppose t = -m*y - y + 1, 5*y + 2*t - 2 = 0. Suppose y*z + z = p - 161, p + z - 151 = 0. Does 26 divide p?
True
Suppose 4*k + 113*s = 118*s + 59969, 10 = -2*s. Is 34 a factor of k?
False
Let x = 23 + 9. Let f = x + -32. Suppose 3*o - 33 - 210 = f. Is o a multiple of 27?
True
Suppose 2*k = j - 1258, 4*k = -j - j + 2500. Suppose -21*l - j = -32*l. Does 5 divide l?
False
Let b be 1 - ((-964)/12 - (-2)/6). Suppose 0*q - 3*q + 12 = 0. Let r = q + b. Is 17 a factor of r?
True
Is (-1 - -136)*-18*(-4)/((-640)/(-176)) a multiple of 33?
True
Let z = 504 + -524. Is 24 a factor of (396/(-9) + 6/3)*z?
True
Suppose 2*w + 4082 = -5*m - 723, 5*m + 3*w + 4800 = 0. Let o = m + 1072. Does 2 divide o?
False
Suppose -5*i - 18*u + 22*u + 14674 = 0, 5*u = 20. Is 29 a factor of i?
False
Let z(v) = 3*v**2 + 5*v - 168. Let s be z(-9). Let c be (-70)/3*1*-3. Let y = c - s. Is y a multiple of 4?
True
Is 12 a factor of ((-22)/(-22))/((-2)/(-22616)) - (3 - -1)?
True
Suppose 9340 = -5*i + 9410. Suppose 3*a - 5 - 12 = 5*n, 5*a - 5*n = 35. Suppose -375 = -i*d + a*d. Is d a multiple of 10?
False
Suppose 3*k - 14355 = -6*k. Let u = -726 + k. Does 12 divide u?
False
Is (452/(-10))/(366/(-4575)) a multiple of 60?
False
Let k = 12 - -2. Suppose k*n - 115 = 9*n. Suppose 6*i - 3*i + 34 = 2*j, j - 3*i = n. Does 5 divide j?
False
Let b(d) = 11*d**2 - 55*d + 14. Let t(j) = -5*j**2 + 27*j - 7. Let k(l) = 4*b(l) + 9*t(l). Let q be k(-18). Does 16 divide ((-1)/5)/(3/q)*3?
False
Let z(f) = -16*f**2 - 2*f + 3. Let u(w) = 1 + 10*w**2 - w**2 - 6*w**2 - 8*w**2 - w. Let j(g) = -7*u(g) + 2*z(g). Does 7 divide j(-4)?
True
Suppose -l - 3 - 5 + 4 = 0. Let n(o) be the second derivative of -o**5/10 + o**4/6 + o**3/3 + o**2/2 + o. Does 17 divide n(l)?
True
Let o(g) = g**2 + 5*g - 14. Let w be o(4). Suppose -19*b + w*b = 168. Does 8 divide b?
True
Suppose -11*k - 14*k + 463488 = -k. Is 61 a factor of k?
False
Let c(r) = -r + 2 - 11*r**2 - 2*r**3 + 4*r + 5. Let f be c(-8). Let y = -123 + f. Is y a multiple of 19?
False
Let u be 12/(-54) + 2476/(-36) + -4. Let l = u + 122. Does 7 divide l?
True
Let d(h) = -3*h**3 - 7*h**2 - 7*h + 6. Let s be d(6). Does 53 divide ((-50)/(-20))/((-