ltiple of 8?
True
Suppose -3*l + 5469 = a, 15*l - 3668 = 13*l + 3*a. Is 25 a factor of l?
True
Suppose -4*t = -2*q - t + 12, 0 = -5*q - t + 30. Let h(f) be the first derivative of -f**4/4 + 2*f**3 + 13*f**2/2 - 13*f + 19. Is h(q) a multiple of 13?
True
Suppose 4838 = 5*y - 832. Suppose 44*p - 35*p - y = 0. Is 3 a factor of p?
True
Let o(y) = -1361*y + 2722. Is o(-7) a multiple of 34?
False
Let t = -13166 - -20411. Does 115 divide t?
True
Suppose 322014 = 57*k - 51*k + 27*k. Is 14 a factor of k?
True
Let g be -294*-8*(-3)/36. Let a = 268 + g. Is a a multiple of 24?
True
Suppose 421*k - 13*k - 439723 = 530093. Is k a multiple of 6?
False
Let j = -119 - -123. Suppose 0 = -3*g - 2*g, -j*i = -g - 592. Does 10 divide i?
False
Let s(f) = -f**2 + 5*f - 1. Let i be s(5). Does 2 divide 252/60 - i/(-5)?
True
Let w = 59 - 54. Let l be 2 + (4 - -14*w). Let h = 150 - l. Does 13 divide h?
False
Let a(s) = s + 25. Let r be a(-22). Suppose -5*j + 1705 = r*u, 3*j = 2*j - 5*u + 341. Let l = j + -137. Is l a multiple of 12?
True
Let b = 80287 - 57119. Is b a multiple of 9?
False
Let f = -1067 - -1074. Let u(d) = 5*d**2 + d - 1. Let a be u(-5). Let l = a - f. Does 27 divide l?
False
Suppose 106 = 4*k + 66. Suppose -2*v + k = 0, 5*v - 8*v = 3*c - 252. Is 19 a factor of c?
False
Let q(j) = 41 + 61 + 2*j**3 + 8*j - 145 - 82*j**2. Does 11 divide q(41)?
False
Suppose -3*x = -3*y + 102, 0*x = -y - 2*x + 49. Let q = 5120 - 5117. Suppose y = q*a - 21. Is 10 a factor of a?
True
Let m(v) = -5*v**2 - 13*v + 63. Let n(h) = 11*h**2 + 29*h - 125. Let g(y) = 13*m(y) + 6*n(y). Is 5 a factor of g(9)?
True
Is 4676 + (4/(-6))/((-192)/2016) a multiple of 2?
False
Suppose -48 = -248*s + 249*s. Is 34/(429/s - -9) a multiple of 16?
True
Let q(k) = 202*k**2 - 60*k + 257. Is 28 a factor of q(9)?
False
Suppose -74 = -i + 4*l, -i = -4*i + 4*l + 206. Suppose 7*v = 5*v + i. Suppose 3 + v = 3*j. Is j a multiple of 3?
True
Let s(m) = 1245*m - 1629. Is 83 a factor of s(3)?
False
Let t = 3529 - 1017. Is 43 a factor of t?
False
Let v(c) be the first derivative of -2*c**2 + 22*c + 31. Suppose -2*t - 16 = -0*n + n, -3*n = 5*t + 44. Does 6 divide v(n)?
True
Suppose -2*d - 114*g + 7833 = -111*g, -d = 12*g - 3990. Does 21 divide d?
True
Suppose 245 = 2*i - 1435. Suppose 13*q - 21*q = -i. Does 19 divide q?
False
Let a(v) = 162*v**2 + 19*v - 207. Is a(8) a multiple of 86?
False
Let v(b) = -6*b + 4*b + b - 8. Let d be v(-10). Does 30 divide 3/18 + (-802)/(-12) - d?
False
Let w(f) = f**3 - 35*f**2 + 73*f - 13. Let p be w(33). Let k = 458 - p. Is 16 a factor of k?
True
Suppose -p + 4*v = -170, 2*v + 102 = 2*p - 226. Let s = 288 - p. Is 28 a factor of s?
False
Let s = 30436 - -8749. Is s a multiple of 66?
False
Let q(p) = -p**2 + 8*p + 11. Let j be q(9). Suppose 5*v + y + 28 = 0, 2*v + j*y + 22 = -2*y. Let o = v + 58. Is o a multiple of 20?
False
Is 49 a factor of (-14)/441*-9 - (-5)/((-35)/(-20473))?
False
Suppose -4*s + 0*s = -5*u - 192, -2*s = 4. Suppose -g - 4 = 0, i - 2*g + 4*g + 15 = 0. Let r = i - u. Is 6 a factor of r?
False
Suppose 5*h = -5*x + 462 - 117, -h = 4*x - 291. Let t = x + -186. Let c = -62 - t. Is 7 a factor of c?
False
Is 8 a factor of (-1 - -8) + (-24)/4 + 731?
False
Let x = 12084 + 1676. Is 50 a factor of x?
False
Suppose f + 3*w - 129 = 595, -4*f = -3*w - 2851. Is f a multiple of 13?
True
Let z = -555 + 266. Let c = z - -583. Is 14 a factor of c?
True
Let t(v) = -1446*v + 412. Is 54 a factor of t(-7)?
False
Let p(n) = -n**2 + 7*n - 9. Let x be p(4). Suppose -1098 = -3*a - 4*w, x*a + 4*w = w + 1095. Let t = -110 + a. Is t a multiple of 14?
True
Suppose 21603 - 84039 = -12*x. Is x a multiple of 11?
True
Suppose 3*u - 97238 = -5*x, 4*u + 32*x - 129659 = 27*x. Is 101 a factor of u?
True
Suppose -12 = -4*f, 2*y = 3*y + 5*f + 839. Let p be y/(-42) - (-1)/(-3). Is 0 + (5/(p/(-16)) - -74) a multiple of 8?
False
Suppose 3*y + 8587 = -42*x + 47*x, 0 = 2*x - 4*y - 3446. Is x a multiple of 6?
False
Suppose 18*z = 22*z - 20. Suppose z*j = 20, 5*j - 14 = 3*s - 0*s. Let b(v) = 5*v + 4. Is b(s) even?
True
Let u(w) = -w**2 - 21*w - 35. Let q be u(-19). Suppose q*d - 571 = 128. Is 11 a factor of d?
False
Let p = -30 + 34. Let n(a) = a**3 - 6*a**2 + 4*a - 8. Let d be n(p). Does 10 divide ((1 - 0) + (-150)/d)*8?
False
Suppose 632*s = 604*s + 258132. Is s a multiple of 127?
False
Let m(k) = k**3 + 26*k**2 + 21*k - 20. Let c be m(-10). Suppose -115*q + 110*q + c = 0. Is q a multiple of 9?
False
Suppose -d = -2*o - 3, 5*d = 4*o + 11 - 2. Is ((-7)/(70/25))/(o/22) even?
False
Let w(f) = 746*f + 4*f**2 - 16 - 740*f + 43 - f**2. Does 43 divide w(-12)?
True
Let d(t) = -6623*t - 2988. Is 104 a factor of d(-4)?
True
Let f be ((-2)/(-10) - 0)*85. Suppose o = f*o - 256. Is 16 a factor of o?
True
Let v(d) = 2*d + 1. Let q(r) = 88*r + 91. Let p(z) = -q(z) + 4*v(z). Is p(-5) a multiple of 8?
False
Let r(w) = -3*w**3 - w**2 - 7*w - 15. Let t(l) = -l**3 - 13*l**2 + 15*l + 10. Let x be t(-14). Does 32 divide r(x)?
False
Let n(g) = -g**3 - 22*g**2 + 650*g - 82. Is 12 a factor of n(-39)?
False
Let c be ((-848)/(-10))/((-19)/(285/(-6))). Let u = -184 + c. Is u a multiple of 4?
True
Suppose -j - 4*j = 3*d - 33349, 0 = -4*d - 4*j + 44468. Suppose -1356 - d = -22*m. Is 27 a factor of m?
True
Let k be ((-288)/20)/9*-40. Is 32 a factor of (-18)/((-12)/k - 0)?
True
Suppose 20*b - 3639 = 18*b - 5*n, 0 = 3*b - 5*n - 5521. Is 4 a factor of b?
True
Let u(l) = l**3 + 6*l**2 - 12*l - 30. Let t be u(-7). Suppose v + 4*m + 101 = 405, t*m + 25 = 0. Is 54 a factor of v?
True
Let l(r) = -10*r**2 - 4*r**2 + 15*r**2 + 1 + 2. Let f be l(-4). Suppose -26*u + f*u + 196 = 0. Is 28 a factor of u?
True
Suppose z = -5*v - 16, -2*z - 16 + 32 = -2*v. Suppose -4*k - 1801 - 234 = -5*j, -z*j + 1592 = 4*k. Does 35 divide j?
False
Let o(t) = 3*t**3 - 26*t**2 + 13*t - 53. Let x(k) = 2*k**3 - 13*k**2 + 7*k - 27. Let r(b) = 3*o(b) - 5*x(b). Let d be r(-12). Let p = d + 312. Does 32 divide p?
True
Let m(c) = -c**3 + 4*c**2 + 7*c - 28. Let y be m(3). Does 28 divide (125 - y)*(4/6 + 2)?
False
Let b(f) = -12 + 15 - 14 - 18*f - 13. Is 47 a factor of b(-5)?
False
Let h(r) be the first derivative of -r**3/3 + 47*r**2/2 + 10*r - 50. Is 26 a factor of h(17)?
True
Suppose 5*w - 48 = 117. Suppose 29*t - 52 = w*t. Let b = 3 - t. Is 4 a factor of b?
True
Let d = 650 + -521. Let l = d + -30. Is 11 a factor of l?
True
Let y = 2185 + -561. Does 113 divide y?
False
Let b be 2/(-5) + (-3)/((-60)/1648). Let o = b + -79. Suppose -o*p = -5 - 10. Is p a multiple of 5?
True
Suppose -2*s = 5*d - 3203, -s - 4*d + 396 = -1207. Is s a multiple of 65?
False
Let l be -30*((-180)/8)/9. Let g = l + 124. Suppose -n - 53 = -g. Is n a multiple of 14?
False
Does 82 divide (564/(-24) + 3)*-48?
True
Let w be 11*-1*(-26 + 25). Suppose 1342 = w*j - 1122. Is j a multiple of 22?
False
Let i = -13731 + 17592. Is 3 a factor of i?
True
Suppose -12*t + 30 - 6 = 0. Suppose -1017 = -t*k + 75. Does 14 divide k?
True
Suppose 4*i = -3*h, 5*h - 3*h - 7*h = 0. Suppose i = 2*m + 3*q - 1017, 4*q = -m - m + 1012. Is m a multiple of 14?
False
Suppose 0 = 3*q + 9, q - 3*q + 6 = 2*b. Suppose b*i - 7*i = -87. Does 3 divide i?
True
Suppose 4*a + 84*z - 87*z = 147864, -2*a - 4*z = -73932. Is a a multiple of 303?
True
Let p(y) = -13*y**2 + 2*y + 11. Let n(h) be the second derivative of h**4/12 - h**3/6 + 6*h. Let z(u) = -6*n(u) - p(u). Does 16 divide z(-5)?
True
Suppose -53*z = 406*z - 10445922. Does 6 divide z?
True
Suppose h - 2 + 0 = -2*d, -4*d + 16 = -4*h. Is h + 3848/11 - 80/(-440) a multiple of 29?
True
Let i = -321 - -520. Let c = 226 + -84. Let g = i - c. Does 19 divide g?
True
Let j be 2*((-2362)/(-3) + 6/9). Suppose q + j = -3*q - n, n + 1182 = -3*q. Let m = 645 + q. Does 15 divide m?
False
Let h be 100/((7 + -3)/332*2). Suppose 31*y - h = 6*y. Is 13 a factor of y?
False
Suppose 22595 = 23*g - 19*g + 5*p, -g = 4*p - 5668. Is 188 a factor of g?
True
Let h = 38 - -8. Suppose 14 = -k - h. Let l = -41 - k. Is 5 a factor of l?
False
Suppose 0 = 3*z - 7*z - z. Suppose b + m - 3*m - 112 = z, 5*m = b - 100. Is (0 + -128)*(b/16)/(-5) a multiple of 12?
True
Let n(f) = f**2 - 9*f + 9. Let w be n(9). Suppose 3*q = 4*r + 234, -2*q - 3*r = 3*q - 390. Is q/(w/((-27)/(-2))) a multiple of 27?
False
Let l be -1 + -1*(1 - -1