tor of 3/p*(-144)/z?
True
Suppose -31*d = -9369 - 86. Does 3 divide d?
False
Suppose -4*r - 2*x = -250, -r = -5*x - 2 - 33. Does 3 divide (-6)/(-1)*(-18)/r*-5?
True
Let t(a) = a**2 + 37*a - 36. Is t(12) a multiple of 65?
False
Let v be (0 + 2)/(4*3/(-150)). Is 15 a factor of (40/v - -2) + (-1106)/(-10)?
False
Let j(o) = o**2 - o. Let f(z) = -6*z**2 + 14*z + 3. Let p(b) = f(b) + 5*j(b). Let i(t) = 3*t + 1. Let k(w) = 7*i(w) - 2*p(w). Is k(3) a multiple of 19?
False
Let x(o) = 35*o + 3. Does 53 divide x(2)?
False
Let k = 13 - 1. Suppose 5*a + 5*u + 0*u = 35, -u = 2*a - k. Is a/15*282/2 a multiple of 11?
False
Let p = -70 - -58. Is (-132)/(1*8/p) a multiple of 33?
True
Let q = 34 + -23. Let a(s) = -15 + 3 + 0*s**2 - s**2 + 3*s + q*s. Is a(9) a multiple of 24?
False
Let i(p) = p + 12. Let z(n) = -n**2 - 6*n - 3. Let t be z(-7). Let m be i(t). Suppose -34 = -m*b + 46. Is 20 a factor of b?
True
Suppose 2*a = -2*a + 296. Let d(l) = -l**3 + 4*l**2 - 5*l + 20. Let g be d(5). Let k = g + a. Is 11 a factor of k?
True
Let p be 12/9 + -1 + 2522/3. Suppose -5*r - 301 = -p. Does 27 divide r?
True
Let t = -202 - -1188. Is t a multiple of 18?
False
Let i = 36 - 34. Suppose -5*z - 59 = -5*g + i*g, 2*g - 4*z = 38. Does 13 divide g?
False
Let i(t) = -33*t - 267. Is i(-11) a multiple of 32?
True
Suppose -4*d + 7*d - 4*r - 35 = 0, -5*d = 5*r. Suppose d*g = 6*g - 36. Is 12 a factor of g?
True
Suppose 37*t - 28599 - 64937 = 0. Is 85 a factor of t?
False
Suppose -b = -0*b + 6. Let v = 6 + b. Suppose -g + 128 = 3*r - v*g, 2*g + 217 = 5*r. Does 17 divide r?
False
Suppose 42*u - 41*u - 398 = 0. Does 20 divide u?
False
Let k = -437 - -1447. Does 62 divide k?
False
Suppose -4*j - 819 + 5059 = 0. Does 63 divide j?
False
Let o be (-4)/3*3 - (-26 - 0). Let j(t) = 17*t - 49. Is 62 a factor of j(o)?
False
Suppose 4*a + 4*j - 975 = 153, 2*a - 4*j = 564. Suppose -o = o - a. Suppose 0*r + 3*i = -r + 39, 3*i + o = 5*r. Does 8 divide r?
False
Suppose 21*f = -f + 4752. Does 9 divide f?
True
Let c(a) = -484*a - 88. Does 12 divide c(-4)?
True
Let a be 8*(-4 + 51*1/12). Is ((-1 - 325)/a)/(-48 + 47) a multiple of 25?
False
Suppose 0*q = 9*q - 234. Is 7 a factor of q?
False
Let q(s) = 2*s**2 - s + 340. Is q(0) a multiple of 15?
False
Let t be 1 + -2 - 12/6. Let r(a) = -8*a + 6. Let m be r(t). Suppose 4*u = 2*u + m. Is u a multiple of 9?
False
Suppose 5*n - 23 = -8. Let o be (2 - n/6)*26. Suppose -7*w + 10*w - o = 0. Does 9 divide w?
False
Let m = -15 + 29. Let u be (-1 - 4/12)/((-2)/(-9)). Let y = m + u. Is y a multiple of 5?
False
Does 17 divide 138*115/15 + -9?
False
Suppose 2*z - 1001 - 1215 = 0. Does 41 divide z?
False
Suppose -14*l + 2*l = -4200. Does 10 divide l?
True
Suppose 3*t = 3*u - 27, 2*t + 11 = 4*u - 17. Let o be 8/10 + 541/u. Suppose 87 = q + 4*r, 3*q + r - o - 163 = 0. Is q a multiple of 13?
True
Suppose 2*b = 4*b + 64. Let c = b - -46. Suppose -2*i - 2 = 5*u, 2*i = -0*i - u + c. Is 3 a factor of i?
True
Suppose -5*b + 3*i = -18799, 0 = i + 3 - 0. Is 20 a factor of b?
False
Let o(t) = -30*t**2 + 14*t - 1. Let k(p) = -28*p**2 + 13*p - 2. Let a(w) = -6*k(w) + 5*o(w). Is a(3) a multiple of 58?
False
Is 1080254/637 - (-8)/52 a multiple of 26?
False
Let q(p) = -8*p**3 + 1. Let w be (-5)/3*(1 - 4). Suppose -3*m - w = -2. Is 9 a factor of q(m)?
True
Suppose 0 = -4*k - j - 104, -j + 33 = -2*k - 19. Let m = k - -40. Suppose 13*a = m*a - 11. Does 4 divide a?
False
Let k(c) = -2*c + 30. Let p be k(13). Suppose 3*x - 2*x = 0. Let h = p + x. Is 3 a factor of h?
False
Let f(d) = 3 + 2 - d + 2 + 3. Does 3 divide f(-7)?
False
Let g(v) = -v + 5. Let n be g(3). Suppose -2*y + 6*z - n*z = 24, -5*y - 4*z = 18. Let u(q) = q**2 + 3*q + 15. Is u(y) a multiple of 11?
True
Let v(q) = -2*q + 10. Is v(-13) a multiple of 9?
True
Let h = 0 - -3. Suppose 3*z - 5*d + 89 = 0, -2*z - 31 = -z - h*d. Is 19 a factor of (-3 + -7)*z/5?
False
Suppose -2 = 2*w - 3*w, 1054 = 5*m + 2*w. Suppose 3*c = c - 5*u + m, 5*c = u + 471. Is c a multiple of 19?
True
Let m(j) = 12*j + 102. Does 20 divide m(13)?
False
Let z = 30 - 25. Suppose 11*u = -11 + 33. Suppose 0 = z*f - u*j - 273, 38 = f - 3*j - 27. Is 11 a factor of f?
False
Let y be (40/14)/(8/140). Let x = 72 - y. Does 7 divide x?
False
Let w(f) = 4*f**3 - f**2 - f + 1. Let c be w(3). Let h = -5 + c. Does 46 divide h?
True
Suppose -59 + 54 = -g. Suppose -3*a = -5*w - 410, 672 + g = 5*a - 2*w. Is 39 a factor of a?
False
Let v = 93 - 98. Is 7 a factor of -1*(v - -88)*-1?
False
Let m be (3 + -5)*(-2)/1. Suppose 4 = 2*c + 3*f - 0, -3*c = m*f - 7. Suppose -b + 6 + 11 = -2*v, 5 = c*v. Is 3 a factor of b?
False
Let o(k) = 2*k**3 - 13*k**2 - 3*k + 3. Let j(n) = -3*n**3 + 14*n**2 + 4*n - 2. Let h(p) = 3*j(p) + 4*o(p). Let w = 619 - 629. Is h(w) a multiple of 3?
True
Let t be 1 + 4/2 + 308. Suppose h - 307 = -4*h - i, 5*h - t = -3*i. Is 15 a factor of h?
False
Let i = 13 - 5. Let a = i - 17. Is 4 a factor of (a/(-6))/(6/32)?
True
Let u be (0/(-3))/(0 - 1). Suppose -34 = -h + 4*s, u = -0*h + 2*h + 3*s - 79. Is h a multiple of 10?
False
Suppose -7*q + 15 - 1 = 0. Is 2 a factor of q/((-2)/(-4) + 4/(-16))?
True
Let l(v) = v**3 + 740 - 740 - 3*v + 3*v**2. Is l(-3) a multiple of 4?
False
Is ((-190)/285)/((-2)/10950) a multiple of 50?
True
Let x be (-826)/(-4) + ((-3)/2)/1. Suppose 6 = 2*o, 5*d + 5*o - x = -0*o. Is d a multiple of 13?
False
Suppose -6*p + 1397 + 259 = 0. Suppose 0 = -5*n + 50 + 5. Suppose -7*m + n*m - p = 0. Is m a multiple of 23?
True
Let h = 4 - 3. Is -1 - 67*(-1 - h) a multiple of 17?
False
Let o = 2438 + -1178. Does 5 divide o?
True
Let i(k) = 4*k + 8. Let b be i(-4). Is (-562)/(-18) + b/36 a multiple of 13?
False
Suppose -3 = g, -u + 108 = -5*g + 3. Suppose 3*k = n + u, -3*k - 2*n = -6*n - 81. Is k a multiple of 9?
False
Let q(c) = -165*c + 408. Is q(-12) a multiple of 81?
False
Let p(u) = -2*u - 10. Let k be p(-5). Suppose -3*t - 3 + 21 = k. Suppose -4*n + 2*o - t*o + 224 = 0, -4*n + 232 = -4*o. Is n a multiple of 22?
False
Let f be 28*(14/4)/(-7). Let p = f - -17. Suppose -5*o + 32 = -p*o. Is o a multiple of 8?
True
Let x = -42 + 47. Suppose 3*a - 3*z = 6*a - 294, -x*z - 20 = 0. Does 17 divide a?
True
Let z(x) be the first derivative of x**2 - 4*x - 3. Let t be z(6). Is 15 a factor of ((-5)/(-2))/(t/144)?
True
Is (18/(-10))/((-69)/6670) a multiple of 9?
False
Let b(a) = a**2 + 18*a - 333. Is b(-30) a multiple of 3?
True
Let a = -1225 - -1703. Is a a multiple of 2?
True
Suppose -w = 5*g - 4*g - 2, 0 = -g + 4*w - 8. Suppose g = 16*h - 11*h. Suppose h = o - 30 - 21. Is o a multiple of 19?
False
Let z = 968 + 704. Does 88 divide z?
True
Let z be (-3 + 3)/(0 - 2 - -3). Suppose -g + z*w + w = -90, g - 70 = -4*w. Does 8 divide g?
False
Let n be 0 + -3 - 32/(-12)*3. Suppose -4*h = -x - 1052, n*x = 2*h - 0*x - 508. Does 49 divide h?
False
Let k = 177 + 93. Suppose -3*j + k = 2*j. Does 16 divide j?
False
Let z(f) = 5*f + 2. Let w be z(1). Let m be w/(21/(-9)) + 7. Suppose 2*o = -m*o + 186. Is 16 a factor of o?
False
Is 14 a factor of (8 - 2 - 0) + 2036?
False
Suppose p - 312 = 2*o, -44*o = p - 45*o - 308. Does 4 divide p?
True
Let a be 48/16*(-2)/(-3). Let h(i) = 16 + 27 + 2*i**a - 3*i**2 - 2*i. Is 21 a factor of h(0)?
False
Suppose n - 249 = -3*r, -2*n + n = r - 249. Is n a multiple of 28?
False
Let z = 663 - 376. Is z a multiple of 9?
False
Let i(m) = m + 28. Let b(o) = 19 + 2*o + 38 + 0*o. Let p(l) = -4*b(l) + 9*i(l). Is 8 a factor of p(0)?
True
Let a = 0 - -5. Suppose 0 = -c - 3*c. Suppose -a*h - 2*q + 283 = c, -62 = -h + 3*q + 2*q. Is 15 a factor of h?
False
Let s(p) = -1342*p - 16. Does 50 divide s(-1)?
False
Let s be (-241)/(-4) - (-5)/(-60)*3. Is (-22)/(3/(s/(-8))) a multiple of 8?
False
Suppose -2*h + 47 = 5*i, -3*i = h + 4*h - 13. Is 3 a factor of i?
False
Let h = -360 - -785. Does 17 divide h?
True
Let z(s) = -s**3 + 4*s**2 + 3*s - 10. Let v be z(4). Suppose -v*g - 3*g + 810 = 0. Is 24 a factor of g?
False
Let t(u) = -1. Let g(y) = -y**2 + 20*y + 45. Let d(o) = g(o) - 6*t(o). Is d(22) a multiple of 2?
False
Suppose -525 + 29 = -16*i. Is i a multiple of 13?
False
Let s be ((-36)/(-27))/((-2)/3). Let o be (-5)/2*8/(-5). Is 21 a factor of -3*(-23 + o + s)?
True
Let t = 11 + -9. Suppose 3*r + 33 = -t*z, 3*z - 7 = 5*r - 28. Does 28 divide 4*(3 + z/(-3))?
True