 4 divide z?
False
Suppose 646*r + 1566000 = 791*r. Does 70 divide r?
False
Let o(u) = -5*u - 74. Let i be o(-17). Suppose -12*h + i*h + 268 = 0. Suppose 3*s - 41 - h = 0. Is s a multiple of 10?
False
Let f(w) = 29 - 93 - 50 + 131*w. Is f(5) a multiple of 83?
False
Let v = 12577 + -4941. Is v a multiple of 63?
False
Let s(h) = 77*h**2 - 699*h + 5510. Is s(8) a multiple of 3?
False
Let f be 1092/18 - (-4)/(-6). Let j = 61 - f. Let p(r) = 3*r**2 + r + 1. Is 2 a factor of p(j)?
False
Let c(b) = 4*b - 34. Let k be c(8). Let r be ((-12)/33)/2 - k/11. Suppose -14*l + 6*l + 1280 = r. Does 17 divide l?
False
Is 28 a factor of (-7530 + 1)/(-1) - (-22 + -10 + 27)?
False
Let r(t) = t**2 - 3*t - 4. Let w be r(4). Suppose 5*m - 6*h = -4*h + 1504, -5*m + 5*h + 1495 = w. Is 3 a factor of m/18 - (-14)/63?
False
Suppose 2*y + 1438 = -4*j + 39598, -2*j = 5*y - 19080. Is 14 a factor of j?
False
Let z(j) = -17*j - 42 + 22*j - 13. Let i be z(9). Does 9 divide (2 + (-5)/i)*696/15?
False
Suppose 2*o + o - 12 = k, -o + 4 = k. Suppose k = 12*a - 2289 + 549. Is a a multiple of 12?
False
Let k = 15109 - 12831. Does 34 divide k?
True
Let d = 1901 - -5531. Is 42 a factor of d?
False
Let i be (340/(-102))/(5/(-6)). Suppose -3*h = -0*h + i*w - 169, -4*h + 267 = -3*w. Does 7 divide h?
True
Let d(n) = n**2 + 14*n - 51. Let f be d(-17). Suppose f = 4*v - 848 + 148. Does 10 divide v?
False
Suppose -7749 = -8306*l + 8285*l. Is l even?
False
Suppose 0 = -2*u + 4*k + 2256, -4*k = 7*u - 3317 - 4453. Is u a multiple of 10?
False
Let i(l) = 7*l + 0*l**3 + 12 + 6*l**2 - l**3 + 2*l**3 + 0*l**3. Let k be i(-5). Suppose 0 = -2*f - k*f + 156. Is f a multiple of 3?
True
Let u be (-76)/(-8)*(2 + -10). Let k = u - -84. Suppose -9*g + 69 = -6*g - 3*r, -g + k = 4*r. Is g a multiple of 10?
True
Suppose 95*p - 312 = 4*o + 91*p, 2*o + 5*p = -142. Suppose -2*s = -s + 181. Let h = o - s. Does 35 divide h?
True
Let v be (-3 + (-4)/(-3))*3/(-1). Suppose v*h - 570 = 5*o, -7*h - 4*o + 440 = -3*h. Is 7 a factor of h?
True
Let j = 13 + -14. Let g be ((-2)/(-4))/((-1)/(-2)). Does 5 divide (g/j)/((-4)/76)?
False
Let j = -114 + -90. Let v = -8 - -9. Is (-3 + v)/(8/j) a multiple of 23?
False
Let i be (27/18)/((-1)/(-2)). Let l(u) = 2*u**2 - 2*u - 7. Let w be l(i). Suppose -2*d - w*o + 12 = 2*d, 4*d - 12 = 5*o. Is d a multiple of 3?
True
Suppose 28*u + 63*u - 1437064 = -519784. Is 35 a factor of u?
True
Let k(n) be the second derivative of -23*n**3/6 - 13*n**2 + 15*n. Let g be k(-6). Suppose 0 = 4*h + 16 - g. Is 7 a factor of h?
False
Let o be (-125)/(2/(4/(-1))) + -4. Let n = -86 + o. Is n a multiple of 17?
False
Let x = -8 - 12. Is x/6*744/(-10) a multiple of 31?
True
Suppose -2*y + x + x = -134, 0 = 5*x. Suppose 7*s - 5 = 2*s. Let c = y - s. Does 8 divide c?
False
Let c be (612/(-27))/(2/9). Let h = 104 + c. Suppose 5*f + 7*x - 475 = h*x, 380 = 4*f - 2*x. Does 5 divide f?
True
Let a = 39 + -36. Suppose 43 - 163 = -4*f. Suppose -a*r + 3*t = -84, 3*t - 6*t - f = -r. Does 9 divide r?
True
Let q(x) = x**3 - 6*x**2 - x + 8. Let i be q(6). Let l(k) = -k + 11. Let c be l(i). Is 19 a factor of (5 + c)/(2/7)?
False
Suppose -3*f = -0*r - 2*r + 6148, 4*f + 8199 = 3*r. Let p = -796 - f. Does 68 divide p?
False
Is 124740/(-440)*-1*(-12)/(-2) a multiple of 81?
True
Let q be (-6)/((-30)/35) - 1. Is 52 a factor of 1102/q + (-32)/48?
False
Suppose -2*r + 3 = -11*m + 10*m, -5 = -m. Suppose 6*g - 9*g = -p + 485, 2*p = r*g + 964. Let b = -263 + p. Does 9 divide b?
False
Let s be (4*(1 + 0) - 3) + 2. Let y = -72 - -14. Is -1 - (y + s/(-1)) a multiple of 10?
True
Does 16 divide 6/(-15) - ((-4585120)/175 - (-18)/63)?
False
Suppose -23 = 3*l - 20, 0 = 3*z - 4*l - 4657. Is z a multiple of 141?
True
Let z(v) = 291*v - 13. Let w be z(4). Let x = w + -782. Let b = x + -260. Is 12 a factor of b?
False
Let y = 306 - 241. Suppose -52 - y = -z. Is 13 a factor of z?
True
Let j = 5994 - 3498. Is j a multiple of 104?
True
Let s be 196/(-7)*10/8. Let q be s/(-25) - (-9)/15. Does 14 divide -1 - (q/(-1) - 116)?
False
Let i(k) = k**3 + 26*k**2 + 2*k - 26. Is 15 a factor of i(-14)?
False
Suppose 0 = -5*a + 3*n - 840, 14*a + 5*n = 19*a + 830. Let o = a + 243. Does 12 divide o?
True
Let d(q) = q**2 + 12*q + 29. Let f be d(-9). Suppose i - 2 = f*i. Is 7 a factor of (i - 0/(-4))*14/(-4)?
True
Let s(g) = 38*g**2 + 46*g + 687. Does 201 divide s(-35)?
True
Let u be 6/(-4) + (-222)/12. Let d be -10*(52/u - -1). Does 18 divide ((-62)/(-8) + 0)*d/2?
False
Let p = 6087 - 3108. Does 110 divide p?
False
Suppose -3*b = 5*p - 678, -b = -3*p - 5*b + 398. Suppose 0 = -3*j + 693 - p. Suppose 5*o = 3*u + j, 2*o + 3*o - 155 = -3*u. Does 17 divide o?
True
Let h(x) = x**2 + 15*x + 19. Let b(k) = k**2 + 14*k + 19. Let q(n) = 5*b(n) - 6*h(n). Let m be q(-19). Suppose m*w + 168 = 8*w. Is w a multiple of 5?
False
Suppose p + 190 = 2*b, -3*p + 1 + 5 = 0. Let s = -31 + b. Suppose 5*i - 95 - s = 0. Is 16 a factor of i?
True
Suppose -5 + 20 = 3*n, 4*m + 5*n - 49 = 0. Suppose m*z + 7*z = 39. Suppose 0 = -5*v - 5*t + 95, z*t + 63 = 3*v + 4*t. Is v a multiple of 22?
True
Let j(d) = -d**2 + 3*d + 6. Let y be j(4). Suppose 5*m + r = 244, -m = y*m - 2*r - 136. Suppose -46*l + m*l - 292 = 0. Is l a multiple of 27?
False
Let u(b) = -5*b - 30. Let q be u(6). Let x = -38 - q. Suppose -12 = -3*h, -h = l - x - 58. Is 12 a factor of l?
False
Let s be ((-144)/(-27) + -5)/(1/9). Suppose 17 + 361 = s*t. Is t a multiple of 21?
True
Let n be (132/14)/(-3*(-1)/21). Suppose -3*b = -9, u + n*b - 68*b = 162. Does 9 divide u?
False
Let n = 387 - -1278. Suppose 10*b = 15*b - n. Does 26 divide b?
False
Let k(p) = -179*p + 828. Is 4 a factor of k(4)?
True
Let n(w) = w + 31. Let l be n(8). Suppose 33 = 2*u - l. Suppose 0 = 5*p + 3*y - 60, -8*y - u = -3*p - 12*y. Is 4 a factor of p?
True
Let r(w) = w + 2. Let q be r(0). Let m(t) = 2*t**3 - 4*t**2 + 8*t - 2. Is m(q) a multiple of 3?
False
Is 9 a factor of 218*((-387)/(-18) + 0)?
False
Is (133/21)/19*(-2 - -14057) a multiple of 63?
False
Let k(m) = 15*m**2 + 3*m - 2. Suppose 6*q = 11*q - 25. Suppose 2*i = q*w - 12, -w + 3*i + 9 = 2*w. Is k(w) a multiple of 13?
False
Suppose 3*u - i + 146 = -u, -2*u + i = 74. Let b = -34 - u. Suppose -b*r + 46 - 10 = 0. Is 6 a factor of r?
True
Let c(u) = u**3 - 24*u**2 - 52*u - 2. Let t be c(26). Let a(f) = 16*f**2 - 2*f - 3. Is 13 a factor of a(t)?
True
Let d be (-3)/((-3)/1292) - 5. Suppose 0 = -8*j + 633 + d. Does 48 divide j?
True
Suppose 34*v - 245874 = -24228. Does 14 divide v?
False
Let h = -12413 - -17664. Does 20 divide h?
False
Does 52 divide ((-1316)/(-21))/((50/195)/10)?
True
Let d(l) = 1101*l + 102. Is d(5) a multiple of 21?
True
Let c = -26 - -34. Let o(j) = -j**2 + 5*j - 17. Let m be o(c). Let s = -13 - m. Is 15 a factor of s?
False
Let y = -1571 - -2443. Is 14 a factor of y/(-14)*(77/(-22) - 0)?
False
Let w(o) = o**2 + o. Let l be w(0). Let b(x) = -2*x**2 + 2*x + 14. Let z be b(l). Suppose -2*y + 3*y = z. Does 7 divide y?
True
Does 65 divide (-11 - 26184/36)/(((-8)/78)/4)?
True
Let d = 118 - 111. Suppose 0 = d*n - 560 + 189. Is 23 a factor of n?
False
Let y be 3/(-3) + -15 + 1. Let t be y + 58 - (0 - 4). Let w = 114 - t. Is w a multiple of 23?
False
Suppose 24*i = 17*i - 98. Let m be (2/(-7) - 102/i) + -1. Does 15 divide ((-20)/m)/(2/(-9))?
True
Does 88 divide (6 - (5 + 111))*(4 - 20)?
True
Let x = 41869 + -1246. Is 76 a factor of x?
False
Suppose -32*r + 34*r = -6, 2*b + 2*r = 12594. Is b a multiple of 42?
True
Let z(h) = -161*h**3 + 4*h**2 + 4*h + 1. Let t be z(-1). Let j = t - 107. Suppose -3*q - j = -3*p + 161, -204 = -3*p - q. Does 35 divide p?
False
Let r(x) = 30 + x + 3*x - x - x. Let l be r(-14). Suppose l*q = 5*y - y + 8, 0 = -q + 3*y - 1. Is q a multiple of 7?
True
Suppose -3*p = -b - 11, -2*b = 2*p - 3*p + 7. Let n be 4 - 4/4 - p. Suppose -3*o + n*o = -5*y - 174, 2*o = 2*y + 112. Is 15 a factor of o?
False
Let k(j) = -j**3 - 9*j**2 + 7*j - 21. Let i be k(-10). Suppose -i*a - 4 = -10*a. Suppose 3*f + a*o = 146, -3*o = 3*f - 92 - 52. Does 25 divide f?
False
Let q(g) = -3*g**3 + 7*g**2 + 38*g - 8. Let b(s) = 7*s**3 - 14*s**2 - 74*s + 15. Let k(r) = -2*b(r) - 5*q(r). Is k(12) a multiple of 10?
False
Let y(h) = 5*h**3 - 2*h + 1. Let s be y(1). Suppose 0 = g, -t = -0*g - 3*g + s. Let z(r) = -8*r