 multiple of 64?
True
Let c = 34 - 19. Suppose -18*p + 9 = -c*p. Suppose -3*z - 2*z = 2*j - 18, -p*j + 50 = -4*z. Is j even?
True
Let c = 286 + -244. Is 31 a factor of 9/((-8)/(-2) - 166/c)?
False
Suppose -8*l = 11*l - 5852. Suppose -313*w = -l*w - 100. Is w even?
True
Let l(a) = 180*a - 10. Let z be l(2). Let w = z - 64. Is 22 a factor of w?
True
Suppose -5*l + 5804 = 2*d, 0 = -5*l + 11*d - 9*d + 5816. Does 14 divide l?
True
Let h = -266 - -268. Let u(c) = 16*c**2 + 7. Is 3 a factor of u(h)?
False
Let n be (-1 + -2 - -2)/(-1). Suppose -2*t - 8*o = -7*o, 2*o + 6 = 2*t. Does 12 divide (n/3)/(t/153)?
False
Let g(z) = 4*z + 18. Let y be g(0). Let q be (192/9)/(12/y). Let p = q + -22. Does 10 divide p?
True
Suppose -118*h = -90*h - 143080. Is 14 a factor of h?
True
Let s(z) = -z**3 - 3*z**2 - 5*z - 2. Let k be s(-2). Is 3/k + 5250/8 a multiple of 73?
True
Suppose 9*t + 10*t - 57 = 0. Is 17 a factor of -2*(-153)/6*t?
True
Suppose -4227 = -11*w - 905. Suppose 2*v - 308 = -3*p, w = -13*p + 16*p + 5*v. Is 4 a factor of p?
True
Let h(g) = g**3 - 5*g**2 - 5*g + 25. Let o = 109 + -103. Is h(o) a multiple of 6?
False
Suppose -26 = 4*p + 8*c - 9*c, 2*p - c = -12. Does 10 divide (-2305)/p - (-34)/(-119)?
False
Suppose -3*l + 226 = -m - 800, -5*l = -3*m - 1714. Suppose 3*s = l + 175. Does 54 divide s?
False
Let g be (-11 - -5)*(-666)/(-4). Is 3 - (-4)/((-12)/g) a multiple of 28?
True
Is (134 + 0 - 3) + 11 a multiple of 4?
False
Let b(g) = 3*g**2 - 30*g + 18. Let i be b(9). Is 14 a factor of -1 - ((-2)/(-9) + 2909/i)?
True
Let x(g) = 8*g + 61. Let w be x(-8). Does 2 divide 3055/30 + w/(-18)?
True
Let q = 42 + 402. Is 95 a factor of q?
False
Let b be -20 - (0 - (-9)/(2 + -5)). Let c(n) be the first derivative of -n**4/4 - 6*n**3 - 9*n**2 + 37*n + 20. Is c(b) a multiple of 6?
True
Suppose 135 = -6*c + 891. Does 9 divide -4 + 3 + -8 + c?
True
Suppose 4*b + 2*i = -2*i + 4332, 2*i = -4*b + 4326. Is b a multiple of 21?
False
Suppose 12*n - 12955 - 3815 = 7*n. Does 26 divide n?
True
Suppose -w = 313 - 17. Let u = w - -469. Let g = u - 77. Is g a multiple of 35?
False
Let p be ((-42)/(-9))/(-7)*-18. Suppose 16*k - p = 15*k. Is 14 a factor of 2397/27 + k/54?
False
Let i(u) = u**3 + 2*u**2 - 13*u - 126. Is i(13) a multiple of 20?
True
Suppose 0*t - 5*m + 8419 = 2*t, 5*t + 2*m - 21016 = 0. Is t a multiple of 118?
False
Is ((-855)/(-25))/((-188)/1560 + 2/13) a multiple of 60?
False
Let p(g) = 3*g**2 + g + 4 + 2*g**2 + 15*g**2 - 9*g**2. Does 24 divide p(4)?
False
Let i(j) = -2*j - 3. Let n be i(7). Suppose -4*v + 3*c = 197, 14*c + 32 = -v + 9*c. Let x = n - v. Does 15 divide x?
True
Suppose 623 = -13*x + 4575. Suppose 5*n + 5*m - 1448 = 4*m, x = n + 5*m. Is 13 a factor of n?
False
Suppose -3*d = -u + 15, 4*u + 5*d - 4 = 22. Suppose -u*c = -4*c. Suppose 5*z - 96 + 31 = c. Is 13 a factor of z?
True
Let b = 170 + -166. Suppose b*w = 824 - 40. Is 7 a factor of w?
True
Suppose 0 = -192*v + 201*v - 288. Let g = v + 119. Is 4 a factor of g?
False
Suppose -60 + 87 = 3*c. Suppose -q + 4 = 5*d + c, 0 = 2*q + 4*d - 14. Suppose 448 = 17*a - q*a. Does 28 divide a?
True
Let k(y) = 3*y**2 - 10*y + 7. Let z be k(5). Suppose -34*h = -z*h - 648. Is 36 a factor of h?
True
Is 22 a factor of ((-13634)/16)/((-143)/1144)?
False
Suppose 14 = -22*k + 29*k. Suppose -2*s + 452 = -k*x - 280, -10 = 5*x. Is 14 a factor of s?
True
Suppose 5*y = 4*k + 12, -3*y - 2 + 22 = 4*k. Suppose -y = -6*f + 20. Suppose -3*l + 215 = 3*n + 2*n, -f*l - 2*n = -268. Is 13 a factor of l?
True
Let h(f) = 10349*f**2 + 816*f - 815. Does 18 divide h(1)?
True
Let h = -1130 - -1291. Is h a multiple of 132?
False
Let o be ((-266)/(-11) - 56/308)/2. Suppose -o*s - 303 = -6423. Does 51 divide s?
True
Let x(w) = 2*w**3 - w**2 + 28. Let d be x(-7). Let c = -408 - d. Is c a multiple of 54?
False
Suppose 297*u - 87344 = 244*u. Is 2 a factor of u?
True
Let y(l) = 120*l**2 + 5*l - 10. Does 4 divide y(2)?
True
Is (-332)/(-913)*(15 + -4) + (0 - -12471) a multiple of 25?
True
Let t(m) = 233*m**2 + 38*m - 72. Let u(h) = 6*h + 38. Let v be u(-6). Does 14 divide t(v)?
False
Suppose -303290 - 372538 = -190*z + 376962. Is 33 a factor of z?
False
Let v(p) = 23*p + 99. Let g be v(-18). Let z = 335 + g. Does 5 divide z?
True
Suppose 0 = -3*a + 2 + 34. Suppose 0 = v - 2*v + a. Suppose -v = -2*f + 5*u + 18, -4*f = 3*u - 60. Does 5 divide f?
True
Suppose 2*v - 6*n + 2*n = 10, 2*n - 15 = -3*v. Suppose -j = -2*s - 110, -j - 3*s - 34 = -139. Suppose v*d = 127 + j. Does 13 divide d?
False
Let r = 15802 - 9822. Is r a multiple of 26?
True
Let n(g) = 11*g + 11. Let c = -18 - -26. Is 17 a factor of n(c)?
False
Let y(d) = 2*d**3 + 17*d**2 + 115*d + 12. Does 107 divide y(13)?
True
Let t be 2/4 - (266/(-4) - -3). Let j = 64 - t. Let h(x) = -3*x + 71. Is h(j) a multiple of 6?
False
Let s = 21562 + -15535. Does 41 divide s?
True
Let c be -17 + 23 - (2 + -4). Suppose 0 = i - 3*s - 127, 0 = -12*s + c*s. Does 15 divide i?
False
Suppose -g = -17*g - 512. Is 5 a factor of 207 + ((-10)/(-40))/((-2)/g)?
False
Suppose -2*j + 3*d + 790 = 0, 5*j - d - 134 = 1828. Is -12*(j/(-12) + 6) a multiple of 23?
False
Suppose 11 = -h - 5*z, -2*z + 7 = -3*h + 42. Suppose 0 = -r + 2*j - 1, -4*r + 9 = 3*j - h. Suppose -r*d + 303 = 2*b, -d = 4*d + b - 512. Is d a multiple of 51?
False
Suppose 0 = -13*g + 17*g - 8760. Suppose 10*s - 2250 = g. Is 24 a factor of s?
False
Let y be 9 + 120/(-55) + (-4)/(-22). Suppose y*b = 11*b - 744. Is b a multiple of 31?
True
Suppose 57*a - 200038 + 139334 - 231193 = 0. Does 9 divide a?
True
Let u = -408 - -412. Suppose -4*c = -5*i + 8817, u*i - 12*c = -8*c + 7056. Does 19 divide i?
False
Let i = 19428 - 13196. Is 8 a factor of i?
True
Let f(h) = -2*h**2 - 14*h - 21. Suppose 5*g = 3*c - 7*c + 9, -2*g + 6 = 4*c. Let a(l) = l**2 - l + 1. Let y(o) = g*a(o) + f(o). Does 6 divide y(-11)?
True
Let f(u) = u**3 - u**2 + 1. Let p be f(1). Let d be 5/(-25) + (p - 62/(-10)). Suppose 3*q - d = 71. Does 4 divide q?
False
Let g = -12036 - -12506. Does 10 divide g?
True
Let p(b) = b**3 + 8*b**2 - 19*b + 2. Let f = -79 + 92. Suppose 0 = -q + 4 - f. Does 23 divide p(q)?
True
Let m(j) = -7*j - 11. Let p be m(-5). Let x = p + 101. Suppose u - 5*u = q - x, -10 = -2*q. Does 3 divide u?
True
Let w = 50 - 120. Let q = w - -70. Is 12 a factor of (6/(-8) - q)/((-1)/304)?
True
Let q(a) = -a**2 - 29*a + 61. Let t be q(-26). Is 9 a factor of t - -12*(-6)/18?
True
Suppose 0 = 10*o + 2*o - 1404. Let t be (-18)/o + 600/13. Suppose -39*r - 581 = -t*r. Is 29 a factor of r?
False
Let j = 2541 - 1595. Suppose -528 - j = -2*y. Is y a multiple of 11?
True
Suppose 6*u + 479312 = 116*u + 6*u. Is u a multiple of 12?
False
Is 10 + (-7)/((-70)/10260) a multiple of 37?
True
Let g(j) = -5*j + 54. Let p be g(-17). Is 41 a factor of (9 + p)*(14/4 + -3)?
False
Is 13690/10 + (5 - -3) a multiple of 81?
True
Let v = 7017 + -4269. Does 82 divide v?
False
Let i = 332 - 330. Suppose 1588 + 1437 = 4*p + 3*f, -i*p = -5*f - 1493. Is p a multiple of 13?
True
Suppose -2*i - 5*u + 393 = -469, 4*i - 3*u - 1724 = 0. Suppose 4*p = 2*y - 30, -2*y + 2 = 4*p - 68. Suppose 2*l = y + i. Is l a multiple of 13?
False
Let j = 238 + -76. Suppose r + 27 = -3*y, -y = -3*r - j + 61. Let i = r + 203. Does 24 divide i?
False
Let x(k) = 4*k**2 - 24*k - 8. Suppose 3*t = 2*l - 25, 6*l - 5*t = 2*l + 47. Does 8 divide x(l)?
True
Suppose 18*y - 234 = -36. Suppose -m + y*m - 5670 = 0. Is m a multiple of 27?
True
Let g(y) = 30*y**2 - 13*y - 31. Does 3 divide g(11)?
True
Let b = -3493 + 5563. Suppose b = 8*q - 522. Is 18 a factor of q?
True
Suppose 6*x + 24 = 8*x. Suppose -q + x = 5*a + q, -5*q - 28 = -2*a. Suppose -36 = -a*i + 4. Does 4 divide i?
False
Suppose 24*b = 36*b - 36. Suppose 0 = -b*q - 3*l + 987, -682 = -3*q + 5*l + 337. Is 40 a factor of q?
False
Suppose -3*c = -3*z - 741, 2*z - 7*z - 503 = -2*c. Suppose -5*u + c + 342 = 4*t, -4*u + 8 = 0. Does 4 divide t?
True
Let k be (5 - (-9 + 11)) + 1*1347. Suppose -870*h = -873*h + k. Is h a multiple of 8?
False
Let b(g) = 11*g**2 + 49*g + 214. Let x = -693 + 688. Is b(x) a multiple of 61?
True
Suppose 392*a - 93*a + 88*a - 2157138 = 0. Does 37 divide a?
False
Let g = 51 - 6. Let b be 1/((g/(-10))/9). Is 29 a factor of (87/12)/(b/(-4*4))?
True
Let w(z) = z**3 + 12*z**2 - 71*z + 53