f 18?
True
Let j(y) = -2*y**2 - 29*y + 23. Let o be j(-15). Is 18 a factor of ((-26)/o)/((-3)/108 - 0)?
False
Let j(d) = 4*d**2 - 208*d + 349. Is j(58) a multiple of 55?
False
Suppose 0 = 5*r + 6 + 24. Let s be (-8)/28 - (-19)/(-7). Is 2/s*(r - 0) a multiple of 4?
True
Suppose -3*p + 30 = 15. Suppose 0 = p*k - 3*r - 1368, -k - 3*r = -318 + 48. Does 13 divide k?
True
Suppose 5*u - 794 = -2*y, -5*u = -y + 443 - 46. Let b = -107 + y. Suppose 5*k - 225 = -3*a, -5*a + b + 113 = -k. Is a a multiple of 20?
True
Let g(i) = 168*i**2 - 5*i + 78. Let q be g(6). Suppose -1010 = -19*t + q. Is 29 a factor of t?
False
Let p = -6 + 13. Let s = p - 3. Is 30 a factor of ((-826)/(-28))/(2/s)?
False
Let d = -5286 - -12396. Is 30 a factor of d?
True
Let u(y) = -y**3 - 11*y**2 + 24. Let s be u(-11). Let z be ((-80)/s + 1 + 2)*-141. Suppose -34 = -r + z. Is 9 a factor of r?
True
Let f = -294 + 298. Is 9 a factor of (f - 4 - 3) + 228?
True
Let s(v) = 8*v + 12. Let h(j) = -17*j + 128. Let p be h(7). Is s(p) a multiple of 6?
True
Let d = -129 + 4. Suppose 5*j + 78 = 3*t, -19 - 6 = -t + 2*j. Let q = t - d. Is q a multiple of 13?
True
Let i = 3381 + -1359. Suppose 4*l - 3*u + 2*u - i = 0, -4*l + 2018 = -3*u. Is l a multiple of 22?
True
Let o(j) be the first derivative of 59*j**2/2 - 202*j + 103. Is 10 a factor of o(8)?
True
Suppose -244*l + 250*l - 9873 = 3459. Is 11 a factor of l?
True
Let z = -16 - -28. Suppose 0 = z*l - 714 - 114. Is 26 a factor of l?
False
Let w(i) = -6 - 6 + 5*i + 69*i**2 + 9 - 3*i. Let a be w(1). Suppose 4 = 4*s, 2*d = s + a - 27. Does 7 divide d?
True
Let p(g) be the second derivative of g**4/12 + g**3/3 - 8*g**2 + 3*g. Let y = 66 + -76. Is p(y) a multiple of 16?
True
Suppose 1335978 = -30*u + 319*u - 181272. Is 21 a factor of u?
True
Suppose 2826 = 3*c - 1176. Let b be c/(-69)*(-3)/(-4)*-2. Let t = b - 11. Does 2 divide t?
True
Suppose -23*q - 16 = -27*q. Suppose z = -3*m + 587, 4*z + q*m - 1542 - 774 = 0. Suppose -8*w + 3*w = -z. Is 13 a factor of w?
False
Let n(r) = 3*r + 74. Let h be n(-20). Suppose -11*u - h = -16*u + w, -2 = -2*u + 4*w. Is (352/(-48))/((-2)/u) a multiple of 11?
True
Suppose -11*x + 1482 = 15*x. Is (-3 - x/(-12))/(10/3360) a multiple of 28?
True
Let b(g) be the third derivative of -26*g**2 + 0*g + 0 - 1/120*g**6 - 2/15*g**5 - 1/8*g**4 + 3*g**3. Is b(-8) a multiple of 14?
True
Suppose 5*n + 4*p + 8 = 100, 0 = -n - 3*p + 25. Suppose 18*j = 22*j - n. Suppose j*k = 13*k - 171. Is 2 a factor of k?
False
Let x be (-4)/(-18) - 14136/(-54). Suppose -5*y + 22 = 2*v - 3*v, -3*v - 2*y + 19 = 0. Suppose x = v*h - o, -h - 2*o - 65 = -164. Is 9 a factor of h?
False
Let o = -316 - -312. Is 20 a factor of 5 - ((-780)/o)/((-4)/4)?
True
Suppose -2*f + 4*v - 1 = -v, -2*v + 2 = 0. Suppose 6304 = 14*u + f*u. Is 18 a factor of u?
False
Suppose -3*v + 11 = 5*t, 5*t - 3*v - 35 = 2*v. Suppose -2*k - t*s + 2162 = 0, k - s = 4*s + 1088. Does 14 divide k?
False
Let m(r) = -30*r - 24. Let t(x) = -30*x - 23. Let p(g) = 5*m(g) - 6*t(g). Let n = 904 - 899. Does 24 divide p(n)?
True
Let a be (234/(-30) + (0 - -3))*10. Let r = -28 - a. Is 5 a factor of r?
True
Let q = -9 - -15. Let y be 50 - 44 - (-28)/(-1). Is 22 a factor of q/(-33) + (-3392)/y?
True
Suppose 0 = -0*t + 5*t + 285. Let p(d) = -d**3 - 4*d**2 - 4*d - 2. Let o be p(-6). Let k = o + t. Is k a multiple of 23?
False
Suppose 0 = -41*h + 112804 + 54230. Does 19 divide h?
False
Let a be (-4)/((-224)/328) - 2/(-14). Is 49 a factor of 1942/a - (-24)/18?
False
Suppose 0 = -343*z + 178*z + 179*z - 493136. Is 296 a factor of z?
True
Let n(t) = 105*t**3 - 78*t**2 + 236*t - 3. Is 140 a factor of n(5)?
False
Suppose 20*g - 18*g + 4*b - 9570 = 0, -b = -3*g + 14355. Is 11 a factor of g?
True
Let u = -102 - -108. Suppose u = -4*m - 10. Let g(q) = -6*q + 8. Does 4 divide g(m)?
True
Let g(i) = 12*i**2 - 155*i - 92. Is 106 a factor of g(31)?
False
Let v(r) = 8*r + 340. Let m be v(-42). Let z(g) = 89*g - 3. Is 48 a factor of z(m)?
False
Suppose -k = y - 19218, 5*k - 39464 - 56656 = 10*y. Is 62 a factor of k?
True
Let u(l) = l**3 + 23*l**2 - 29*l - 67. Is 19 a factor of u(-21)?
False
Let a = 23785 - 20035. Does 18 divide a?
False
Is 2380*(-6)/(-9) + 258/(-387) a multiple of 174?
False
Let s(b) = 783*b**2 + 20*b - 24. Does 22 divide s(-5)?
False
Let q(n) = -7*n**2 + 2*n + 2. Let s be q(-2). Let w(i) = 3*i - 25. Let r be w(20). Let j = r + s. Is 2 a factor of j?
False
Suppose 25 = -5*k, -2*k + 35 = -4*y + 1. Let o(t) = -2*t**2 - 17*t - 10. Let s(j) = -6*j**2 - 50*j - 31. Let c(p) = 11*o(p) - 4*s(p). Is c(y) a multiple of 19?
False
Let u be (18/3)/(-2) + (-1 - -4). Let m = 5 - u. Does 25 divide (26/(-5))/((-1)/m)?
False
Let m = -86 + 88. Let w be (1 - -265 - 1) + m. Suppose -189 = -3*d + 5*b, 5*d + 5*b - 48 = w. Is 7 a factor of d?
True
Let x(o) = o**3 - 10*o**2 + 7*o + 22. Let m be x(9). Suppose 5 = -n, 2*f = 4*f - m*n - 244. Does 7 divide f?
True
Let y = 2817 + -2809. Let s be (224 - (-2)/1)/1. Suppose 6*a = y + s. Is 18 a factor of a?
False
Suppose -5*l = -3*t + 61 + 30, -5*l = -t + 27. Suppose -2 = 6*h - t. Does 9 divide h/(-15) - (-70)/3?
False
Suppose 3*j - 242880 = -66*j. Does 40 divide j?
True
Suppose 0 = 74*u + 31170 - 131873 - 39009. Is 3 a factor of u?
False
Let x(f) = 5*f**3 - 52*f**2 + 59*f + 58. Does 22 divide x(14)?
False
Let a(t) = t**3 - 10*t**2 - 10*t - 15. Let r(c) = 6*c - 7. Let i be r(3). Let k be a(i). Let y(g) = 2*g**2 - g - 1. Is y(k) a multiple of 5?
True
Let q(i) = 4*i + 207. Suppose p - 3*s = -0*s - 6, -2*s = -3*p - 4. Let h be q(p). Suppose h + 585 = 12*n. Does 6 divide n?
True
Let m = 65 - 57. Suppose m*k = 272 + 160. Is 1708/k*6 + 4/18 a multiple of 19?
True
Let f(i) be the first derivative of 17*i**4/12 - i**3/3 + 3*i**2 + 5*i - 16. Let l(q) be the first derivative of f(q). Does 17 divide l(2)?
False
Let u(j) = 21*j + 1. Let g be u(-1). Let a = 319 - 346. Let h = g - a. Is h a multiple of 2?
False
Let t be (111 + 0)*(-8)/(-12)*1. Let u(p) = -3 + t*p - 4 - 4 - 3. Does 13 divide u(3)?
True
Let l = -220 + 642. Let f = -242 + l. Suppose 5*k - 4*t - f = 223, 237 = 3*k - 4*t. Is 31 a factor of k?
False
Let o = 41 + -49. Let q(h) = h**2 + 4*h - 30. Let d be q(o). Suppose 2*f + 4*c = 4, -d*f + 1 = 5*c - 0. Is 4 a factor of f?
True
Let b be (14 - 6)*4/((-96)/(-9)). Suppose b*a + 9*a - 4728 = 0. Is 31 a factor of a?
False
Suppose -2*p - 2693 = -y, 5*y - 13437 = -10*p + 13*p. Does 15 divide y?
True
Suppose 0*m + 4 = -4*m, 5*m = 2*n - 231. Is 8 a factor of 4 + (-2)/2 + n + -1?
False
Suppose -2*s = -2*h, -11*s = -13*s - 3*h + 20. Suppose 4*d + 3397 = 5*b + 1108, -5*b - s*d = -2321. Does 15 divide b?
False
Suppose 8028 = 5*w + 93. Suppose -w - 7843 = -23*g. Does 13 divide g?
False
Let p = 15975 + -10238. Is p a multiple of 7?
False
Let d be -2 - ((-10)/(-3))/((-10)/15). Let a(s) = 108 - s + 28*s**2 + 0*s - s**d - 28*s**2. Is 11 a factor of a(0)?
False
Let n(t) = -2*t**2 + 13*t - 20. Let a be n(3). Let j(o) be the second derivative of 13*o**3/2 + 5*o**2/2 + o. Does 44 divide j(a)?
True
Let w = 62 - 65. Let n be 5 - (-52 - 5 - w). Let a = -6 + n. Is 12 a factor of a?
False
Let u(o) = 7*o - 6. Let v(q) = -10*q + 7. Let j(a) = 3*u(a) + 2*v(a). Let f = 49 + -23. Does 7 divide j(f)?
False
Let z = 23763 - 8092. Does 144 divide z?
False
Let c(n) = n**2 + 17*n + 16. Suppose -j = -5*z - 80, -4*z - 64 = -0*z - 2*j. Let f be c(z). Does 16 divide 3*-1 + 214 + f?
False
Suppose -5*w + 1540 = -990. Suppose 0 = -4*g + w + 250. Is 27 a factor of g?
True
Suppose q = 3*n + 21637, n - 22671 = -3*q + 42170. Does 76 divide q?
False
Let q be 12/20 + -11855*(-12)/150. Let h = 2109 - q. Does 9 divide h?
False
Let c(y) = 25*y - 77. Let o be c(5). Let b = o + 80. Does 32 divide b?
True
Suppose -45 = 4*l + 23. Let u(g) = g**3 + 5*g**2 - 4*g + 17. Let s be u(-5). Let z = l + s. Does 4 divide z?
True
Let o = -251 - -242. Is 9 a factor of (-180)/(-405) - 3866/o?
False
Let a be 116/18 + (-8)/18. Is a/1*575/50 a multiple of 8?
False
Let s(b) = 53*b**2 + 3*b - 10. Suppose 10*c - 60 = -20*c. Does 6 divide s(c)?
False
Let i = 1061 + 29. Suppose 3*s = 6, -2*t + s + i = -t. Is t a multiple of 12?
True
Suppose 13*m - 859 = 236 + 153. Is 10 a factor of m?
False
Let d = 30294 - 9270. Does 36 divide d?
True
Let n = -1365 + 1618. Does 11 divi