. Is j(f) a multiple of 16?
False
Let q = 101 - 97. Let j = q - -38. Suppose 38*v = j*v - 96. Is 24 a factor of v?
True
Let u(v) = 2*v. Let p be u(-5). Let r(h) = 33 + 2*h + 0*h - 1. Does 3 divide r(p)?
True
Let d = 5920 + -3327. Is 7 a factor of d?
False
Let r be (6/(-4))/(2931/488 + -6). Let w = 567 + r. Suppose 2*b - 134 = p + p, -p + w = 5*b. Is b a multiple of 11?
False
Let f = -220 - -491. Let c = f + -123. Is 37 a factor of c?
True
Suppose -2*o = 2*h - 218, -40 = -2*h + 3*o + 168. Let y = 187 + h. Is 7 a factor of y?
True
Let s(b) = -2 - 6 + 11 - 20 - 32*b. Is s(-4) a multiple of 3?
True
Let f(b) = -2*b**3 - 8*b**2 - 2*b. Let n be f(-3). Let y be 3/2 - (-18)/n. Suppose 3*d - 123 = z - 51, y = 3*z + 9. Does 4 divide d?
False
Suppose -40*u + 4160 = -35*u. Let f = -363 + u. Is f a multiple of 31?
False
Suppose 5*q - l - 22 = 0, -2*l + 14 = 3*q - 3*l. Let m be -57 - 2/(-1) - q. Let y = 116 + m. Is y a multiple of 14?
False
Suppose 3*k - 17 - 58 = 0. Suppose 25 - k = -2*s. Suppose s = 4*d - 4 - 12. Is d a multiple of 3?
False
Let t be 55/(2 + 1 + -4). Is (-1 - -425) + (t - -49) a multiple of 42?
False
Suppose 156 = -667*x + 666*x. Does 19 divide -42*(-24)/32*x/(-7)?
False
Let u(z) = 5*z**2 - 2*z - 1. Let h be u(2). Let f(r) = -44*r + h - 15 - 15. Is 14 a factor of f(-4)?
False
Let a(c) = -3048*c - 335. Is a(-5) a multiple of 100?
False
Let o = -79 - -186. Let y = 155 - o. Is 4 a factor of y?
True
Let m(v) = 805*v - 583. Is 12 a factor of m(13)?
False
Suppose -2*t + 2*i + 1074 = 0, 0 = -5*t - 2*i + 643 + 2007. Is t a multiple of 48?
False
Suppose -33*y = -19*y - 56. Suppose 0 = y*u + 251 - 1419. Does 75 divide u?
False
Let t(a) be the second derivative of -37*a**3/6 + 51*a**2/2 + 56*a. Does 16 divide t(-33)?
False
Let t(q) be the second derivative of -q**5/20 - 3*q**4/4 + q**3/6 + 3*q**2/2 + 15*q. Let s be t(-9). Is 4 a factor of 935/30 + 1/s?
False
Let a(g) = g**3 + 5 - 5*g**2 - 6*g + 10 - 17. Let r be a(7). Suppose -5*q = -4*q - r. Is q a multiple of 12?
False
Suppose -3*u - u = -0*u. Let d(c) be the first derivative of 7*c**2/2 + 24*c + 7. Is d(u) a multiple of 8?
True
Let k = -4453 - -9114. Is 56 a factor of k?
False
Let s be 1*(-105)/5 + -3 + 7. Let v = 146 + s. Is v a multiple of 37?
False
Let q(a) = 114*a**3 - 17*a + 61. Is 33 a factor of q(3)?
False
Suppose -34*f = -28*f + 1080. Let a = f - -267. Is a a multiple of 44?
False
Let r = 202 - 26. Let t = 236 - r. Is 5 a factor of t?
True
Let c be -6 - (314/(-2))/(3/12). Let n = -590 + c. Does 8 divide n?
True
Let l(t) = 12*t**3 - 87*t**2 - 9*t + 30. Is 25 a factor of l(9)?
True
Suppose -27*m + 4*j + 15 = -22*m, -m + 2*j = -3. Suppose 0 = -4*x + m*x - f + 331, 4*f - 340 = -x. Does 20 divide x?
False
Let x(z) = 2*z**2 - 4*z - 41. Let h be x(-5). Suppose -h*b - 2394 = -43*b. Is 13 a factor of b?
False
Suppose 0 = 2*k - 3*q - 1801, 0 = 28*k - 29*k - 3*q + 887. Suppose -5*t + 1120 = -3*i, -t = -5*t + i + k. Is t a multiple of 16?
True
Let c be ((-3)/6)/(1/(-16)*-2). Let z be (-21)/(-5) - c/(-20). Is (-384)/(1 - 5) - z a multiple of 24?
False
Let m be 19/(-76) - 2/(-8). Suppose m*s = -2*s + n - 68, -5*s - 167 = -n. Let u = s + 178. Is u a multiple of 29?
True
Let x(y) = -y**3 + 10*y**2 + 29*y - 56. Let v be x(12). Suppose -3*b + g + 341 = 0, -v*g = -2*g - 2. Is b a multiple of 8?
False
Let l be 15/4 - (-17)/68. Suppose 0 = -4*c + 3*w + 1132, 2*c + 6*w - 552 = l*w. Is c a multiple of 8?
True
Is 8*(1 + 1006) + 16 a multiple of 9?
False
Let j = 12376 - -6662. Is j a multiple of 225?
False
Let y(u) be the second derivative of 0 - 20/3*u**3 - 4*u**2 + 14*u. Is 14 a factor of y(-3)?
True
Suppose -5*w + 44*i - 43*i = -116154, 92898 = 4*w + 2*i. Is w a multiple of 89?
True
Is (-2)/21 - 280/147 - -6226 a multiple of 33?
False
Let h = -173 + 369. Let w = -5 - -11. Suppose -o + 5*t = -w*o + 330, -3*o + h = t. Is 5 a factor of o?
True
Let b(h) = 6295*h**2 - 24*h + 25. Is b(1) a multiple of 8?
True
Let i be (1404/(-28) + 9)/(2/(-105)). Suppose i = 31*f - 19*f. Is f a multiple of 18?
True
Suppose 0 = -n - 39 + 42, -3*n + 7249 = 4*t. Does 10 divide t?
True
Does 7 divide 14/(728/117) + 407670/8?
False
Suppose -2*s - j = 1348, 24*s + 4*j + 3376 = 19*s. Let d = s + 1458. Is 8 a factor of d?
False
Suppose 0 = -3*z + 173 + 493. Suppose 0 = -q - 20 + z. Suppose 3*n = -j - 4*j + q, 84 = 2*j - 2*n. Does 22 divide j?
False
Suppose 0 = 121*h - 117*h - 12. Let q(t) = t**3 + t**2 - 2*t - 8. Is q(h) a multiple of 14?
False
Suppose d - 89 - 457 = 0. Suppose 0 = -20*k + 14*k + d. Suppose 0 = -7*g + 1477 - k. Is g a multiple of 33?
True
Let y(b) = b**3 + 17*b**2 + 2*b - 21. Let t(i) = 3*i**2 - i + 17. Let m be t(0). Suppose 52 = -3*o + c + 3*c, -o - m = -c. Does 29 divide y(o)?
True
Suppose -4 = -8*x + 20. Suppose -24 = -x*n + 9*n. Is 8 a factor of 71 - ((-6 - n) + 1)?
True
Suppose 12 = -3*t, -18*j - 5*t = -15*j - 19. Suppose -3*d - 1510 = -2*g, 11*g + 5*d + 1518 = j*g. Is g a multiple of 37?
False
Suppose 5*y = 4*r + 29, -3*y + 2*r = -2*r - 19. Suppose y*n - 76 = -3*q + 195, -15 = -3*n. Does 24 divide q?
False
Let y(a) = 27*a + 26. Let z be y(12). Let t = z + -577. Is (1 + t)/(-12 + 10) a multiple of 22?
False
Let b(i) = -2*i**2 - 28*i - 19. Suppose 5*r - 4*z = -49, z + 4 = -r - 13. Is b(r) even?
False
Does 61 divide (1/(-1) + 1303995/84)/(240/320)?
False
Let q = -225 - -547. Is 6 a factor of -5 + 0 + q/14?
True
Let f = -310 - -285. Let y(o) = -o**3 - 23*o**2 + 23*o - 18. Does 25 divide y(f)?
False
Suppose -3*k + 20499 = -3*i, k + 313*i - 311*i - 6848 = 0. Is 39 a factor of k?
False
Is 14 a factor of (-12267217)/(-391) - (136/46 - 3)?
True
Let a = 55 + -80. Let o be -9 + a/(-5) - 6. Is (0 - 365)*4/o a multiple of 11?
False
Let w(d) = -15*d - 144. Let c(z) = 13*z + 142. Let n(i) = 2*c(i) + 3*w(i). Is n(-26) a multiple of 10?
False
Let b(d) = d - 34. Let u be b(-3). Let r = u - -647. Does 83 divide r?
False
Let l(w) = -3*w + 9. Let s be l(9). Let o(v) = -6*v**3 + 289*v - 17*v**2 - 143*v + 1 + 5*v**3 - 133*v - 31. Is 6 a factor of o(s)?
True
Suppose 4*a + o = 1601, 2*o = -14*a + 10*a + 1606. Suppose -d = -104 - 174. Let c = a - d. Is c a multiple of 14?
False
Let l be (-1 + 4)/(1/36). Let g = 12672 - 12764. Let v = l - g. Is v a multiple of 50?
True
Let o(m) be the first derivative of -5*m**2 + 25*m + 75. Does 35 divide o(-12)?
False
Let v(a) be the third derivative of a**6/120 + a**4/12 + 40*a**3/3 + 6*a**2. Let t(z) = z**3 - 3*z**2 - 3*z - 4. Let c be t(4). Does 13 divide v(c)?
False
Suppose -5565 = 15*y + 3390. Let v = y + 909. Is 26 a factor of v?
True
Is 62 a factor of 147105/21 - 1/(-1)?
True
Is (-205630)/(-22) + (-18)/(-99) a multiple of 24?
False
Let t(u) = -u**2 - 3*u - 5. Let i(l) = l**2 + 7*l + 9. Let r be (6/(-4))/(6/16). Let q(s) = r*i(s) - 7*t(s). Does 11 divide q(6)?
False
Let s be -3 + 7 + -13 + 236. Let j = 281 - s. Does 18 divide j?
True
Is 205 a factor of (-30)/45 + 33214/6?
True
Let i(s) = s**3 - 6*s**2 + 11. Suppose 57*h = 60*h - 15. Let c be i(h). Does 18 divide -3*(-12)/c*-77?
True
Suppose -40404 = -4*x + 4*a, -3*x = a + 1013 - 31316. Is 21 a factor of x?
True
Let c be (48/80)/(0 - (-3)/10). Is 351 - (c - -1)*-2 a multiple of 17?
True
Let t = -76 - -83. Suppose 16*n - t*n - 252 = 0. Is n a multiple of 21?
False
Let h(u) = 2*u + 20. Let x be h(-15). Let b(g) = 2*g + 12*g + 2*g**2 + 7*g + g**2 - 2. Is 11 a factor of b(x)?
True
Suppose -80*t + 86*t - 258 = 0. Suppose -46*k + 1809 = -t*k. Is k a multiple of 13?
False
Let l(h) = h**2 - 3*h - 6. Let y be l(5). Let o be (-14)/(-21)*2*(5/10 - -1). Suppose 2*p - 264 = 4*b, -o*b = -y*p + 70 + 476. Is 23 a factor of p?
True
Suppose 12 = -8*o + 4. Let l be 159*(13/(-13))/(o/1). Suppose -5*w + l = 3*q, -5*w + 138 = 4*q - 24. Is 30 a factor of w?
True
Let h = -149 + 149. Suppose -6*r + 2082 = -h*r. Let p = -132 + r. Is p a multiple of 18?
False
Suppose -a + 2*l = -l - 3449, 2*a = 5*l + 6901. Does 25 divide a?
False
Suppose -23*h + 25 = 2. Does 32 divide (37/(-2) - h)*(-1024)/48?
True
Let q(u) = -2894*u - 4937. Does 9 divide q(-7)?
False
Let p(k) = k**3 + 11*k**2 + 8*k - 17. Let v be p(-10). Suppose 9 = v*l - 0. Suppose l*y + 3 = 2*f + 76, 3*y - 5*f - 79 = 0. Does 23 divide y?
True
Suppose 6*o = 235 + 125. Does 4 divide (-5)/5 + o/(-1 - -2)?
False
Suppose -q = -4*