f 27?
True
Suppose 0 = 5*b + 25, -5*b - 18 = a - 4*b. Let m(l) = -5*l - 22. Does 19 divide m(a)?
False
Let q(l) be the first derivative of -l**2 + 24*l - 6. Let n be q(10). Suppose -48 = -n*r + 28. Is r a multiple of 11?
False
Let k = 9 - 6. Let r(a) = 0*a + a + 2 - a**k + 2*a + 10*a**2. Is 16 a factor of r(10)?
True
Suppose -2*u + 1677 = -8*s + 3*s, 3*u + 4*s = 2504. Is u a multiple of 38?
True
Is (-3320)/32*168/(-15) a multiple of 14?
True
Suppose -5*d = 5, 5*v + 5*d - 118 = 72. Is 39 a factor of v?
True
Suppose -36*t + 31*t = -780. Is 29 a factor of t?
False
Does 13 divide 18640/64 + 2/(-8)?
False
Let x(y) = y**2 + 12*y + 75. Is x(-17) a multiple of 30?
False
Let f(k) = k**2 - 18*k - 58. Is f(-6) a multiple of 4?
False
Let r be (-2)/8 - 611/52. Let t be (-4)/r + 244/(-12). Let z = t - -80. Does 13 divide z?
False
Let b = 29 + -27. Suppose 5*n = -2*f + 474, b*n + 0*f - 2*f = 198. Does 12 divide n?
True
Let f be (1 - (-41 - 2))*4. Suppose -f = -b + a, -6*b + 3*b = 2*a - 548. Is 9 a factor of b?
True
Let p = -1275 + 3375. Is p a multiple of 24?
False
Let l(b) be the second derivative of 3*b**4/2 + b**3/6 - b**2/2 + 2*b. Let r be l(1). Does 2 divide 1/3 + 120/r?
False
Let a = 14 - -1007. Is 9 a factor of a?
False
Let p be (-1*(-14)/8)/((-2)/(-24)). Is 28 a factor of 127/3*2 + (-14)/p?
True
Suppose q + 15 = -3*s, 2*s + 2*q + 20 = -2*s. Let w(p) = -3*p + 1. Let a be w(-3). Let o = s + a. Is 5 a factor of o?
True
Let i be 8/12 - 46/(-3). Let o = i + -26. Let j = 57 + o. Is j a multiple of 12?
False
Let r = -108 + 156. Suppose r + 400 = 14*p. Is 6 a factor of p?
False
Suppose 41*p - 29*p = 3324. Does 7 divide p?
False
Let v = -11 + 16. Suppose 0 = -2*x - 5*w + 48, 3*x + 20 = v*x - 2*w. Does 14 divide x?
True
Suppose -10*l = -4*l + 6. Does 5 divide (l/(-2))/(10/100)?
True
Suppose -6 = 3*t + 24. Does 13 divide (-4)/(-10) + (-156)/t?
False
Let d be (-43)/(-5) + 2/5. Suppose 90 = -d*a + 12*a. Is 30 a factor of a?
True
Suppose 33*i = 29*i + 12. Is i/2 - 916/(-8) - -4 a multiple of 22?
False
Let c be (-3)/4 - 78/24. Let v(q) be the second derivative of 5*q**4/12 + 5*q**3/3 + 2*q**2 - 18*q. Is 6 a factor of v(c)?
False
Let g = 12 + -13. Suppose -4*q + 6 - 30 = 0. Is 6 a factor of q*g/(6/8)?
False
Let d(u) = u**2 - 9*u + 8. Let l be d(9). Is 32 a factor of (2 - 4)/8 - (-1450)/l?
False
Suppose 5*v - 11 = 3*v + 5*t, -4*t = 3*v - 5. Is (188 - (v - -1)) + 2 a multiple of 31?
True
Let b(x) = x + 22. Let m(c) = -4*c**3 - 1. Let h be m(-1). Suppose -3*q = -v - 21, -v = -h*v + q - 22. Does 5 divide b(v)?
False
Suppose -6*p = -30 - 78. Suppose -4*t + p = -3*t. Is 20 a factor of (32/12 - 1)*t?
False
Suppose 3*w - 2805 = -5*i, i - 544 = -0*i - 4*w. Does 12 divide i?
True
Let w = -46 + 53. Let s(l) = 16*l - 9. Is 14 a factor of s(w)?
False
Let z(r) = r**3 - 4*r**2 + 6*r - 2. Let y be z(2). Suppose -b + 3 = -t, t - 5*b = y*t - 9. Is 4 a factor of 5*((-12)/15)/t?
True
Suppose 0 = -55*d + 92 + 73. Let b = 11 - 2. Suppose -d*o - 4*r + 200 = 0, -r + 212 = 3*o + b. Does 17 divide o?
True
Suppose -85*z = -93*z + 2264. Is 19 a factor of z?
False
Suppose -4 = 2*w, 3*o - 96*w = -91*w + 4111. Is o a multiple of 13?
False
Is 9 a factor of (7344/20)/(-17)*(-10)/4?
True
Suppose -4*q + 5*h - 412 = 567, 246 = -q + h. Let n = q + 391. Does 18 divide n?
False
Let r be ((-15)/45)/(1/18). Let b(d) = -d**3 - 5*d**2 + 3*d - 12. Does 6 divide b(r)?
True
Let p(r) = r**3 + 16*r**2 - 26. Does 5 divide p(-10)?
False
Let t(x) be the first derivative of 1/2*x**2 + 0*x + 8/3*x**3 + 5 + 1/4*x**4. Is t(-6) a multiple of 22?
True
Let g be -3 - (8/(-2) - 3). Let n(j) = j**3 - 4*j**2 + 2. Let k be n(g). Suppose -c - 2*q + 19 + 21 = 0, -k*q = -3*c + 88. Does 15 divide c?
False
Let q(m) = 4*m + 44. Let b be q(-8). Suppose -b*o = -4*o - 280. Is o a multiple of 30?
False
Let h be (-7)/(-2) - 9/18. Suppose -2*q + h*v = v - 84, 4*q + 5*v - 132 = 0. Suppose 0 = a - 3*m + 4*m - 19, 2*a - q = -m. Is a a multiple of 19?
True
Suppose z + 24 = 4*z. Suppose -z*f + 234 = -5*f. Is f a multiple of 11?
False
Let b(g) = -20*g + 10. Is b(-19) a multiple of 39?
True
Suppose 4*t + 5*p - 2 = -10, 0 = -5*t + 2*p + 23. Suppose -t*s = -40 - 173. Let v = s - 42. Is v a multiple of 29?
True
Suppose -20*s + 56 = -16*s. Suppose -141 - s = -v. Is 40 a factor of v?
False
Let m = 596 + -253. Does 7 divide m?
True
Suppose -4*w + 15 = 3. Suppose 2*l - 1455 = -w*l. Suppose -l = -5*u + 189. Is u a multiple of 19?
False
Let p(t) = t**2 + 4*t - 6. Let m be p(-11). Suppose 0 = n - 5*u - m, 0 = -2*n + 4*u + 148. Suppose -n = d - 5*d. Is 8 a factor of d?
False
Suppose -b + 4*o = -28, 6*o - o - 265 = -5*b. Is 4 a factor of b?
True
Suppose -2 = -c, -3*z + 8*z - 5*c - 10995 = 0. Does 31 divide z?
True
Let t = -847 + 1643. Is t a multiple of 32?
False
Let k(z) = -z**3 - 2*z**2 - 4*z - 3. Let q be k(-2). Suppose -2*t = -q*b - 22, 5 - 10 = 2*b + 3*t. Let s = b + 12. Is 4 a factor of s?
True
Let p(y) = y**2 + 7*y + 6. Let o be p(-7). Suppose 4*k = -o + 214. Is k a multiple of 14?
False
Let q(c) = -c**3 - 5*c**2 + 6*c. Let t be q(-6). Is 43 a factor of 119 - (3 + t - (1 - -1))?
False
Let c = 19 - 23. Let u(j) = 4*j + 23. Is u(c) a multiple of 7?
True
Let l = 39 - 34. Suppose l*s = -5*b + 120, 0*s - 3*s = 2*b - 51. Does 4 divide b?
False
Let k(b) = 8*b**2 - 9*b + 155. Does 45 divide k(8)?
False
Let v(x) = -x**3 + 3*x**2 + 2*x - 5. Let l be v(5). Let c = -74 + l. Let a = c + 167. Is a a multiple of 8?
True
Let a be (2*85)/(-5) - 4. Is 5 a factor of (-57)/a*36/2?
False
Let n = -7 + -7. Let b = 9 + n. Is (-78)/(b + (-12)/(-4)) a multiple of 13?
True
Suppose 0 = 3*u - 4*y + 7 - 28, -2*u - 2*y = -28. Let k(a) = 10*a - 79. Is 18 a factor of k(u)?
False
Let h = 77 - 79. Let n be 11*2*(-2)/4. Let s = h - n. Is s a multiple of 3?
True
Suppose 3*y - 5*p = -105, 3*y = -0*y - 4*p - 78. Let s = -34 - y. Is 2 - (s/(-4) + -4) a multiple of 4?
False
Let u be 168/9 - 4/6. Let b = -11 + u. Let z = b + 48. Is 14 a factor of z?
False
Let w(v) = -4*v + 1103. Is 47 a factor of w(-18)?
True
Suppose 32*j + 30324 - 150708 = 0. Does 19 divide j?
True
Let l = 27 - 25. Let v(c) = 3 - c**3 + 1 + 8*c**2 + 4*c + 2*c**3 + l. Is v(-6) a multiple of 18?
True
Suppose z - 18 = 2*r, -z - 26 = 2*r - 6*z. Let j = r - -42. Is 17 a factor of j?
True
Suppose 0 = 4*o + 2*q - 518, o + 4*q - 23 = 96. Is 20 a factor of o?
False
Let j = -228 - -375. Is j a multiple of 7?
True
Let a(v) = v**3 - 13*v**2 + 4. Let s be a(13). Let x = 7 - s. Suppose 2*y + x*y - 80 = 0. Is y a multiple of 16?
True
Let o be 3789/(-6)*(6/18 + -1). Let v = o + -84. Is v a multiple of 11?
False
Let d be -5 + -80 + (-12)/(-4). Let c = d + 155. Is 15 a factor of c?
False
Suppose -o + l + 40 = 14, 5*o = l + 122. Does 3 divide o?
True
Let n = 1 - 1. Suppose u - 48 = -15*u. Suppose 4*m + 115 - u = 4*d, d - 2*m - 28 = n. Is 7 a factor of d?
True
Let t be (-4)/(-10) - 18/45. Let o be 4 - (t/3 - 1). Suppose 0 = -o*n - 2*v + 42, 18 = 2*n + 2*v - 0*v. Is 8 a factor of n?
True
Let r(w) = 2*w - 63. Let x be r(0). Let g be x/49 - 4/(-14). Is g + 59 - (-2 - 0) a multiple of 18?
False
Let p = -60 - -60. Suppose -3*f + 3*a + 453 = -p*a, 3*a = -f + 139. Is f a multiple of 15?
False
Let l(j) = -3*j**2 - 11*j + 416. Is 37 a factor of l(0)?
False
Suppose -5*z + 42 = 4*b, -15 = -3*b - 2*z + 13. Suppose -24 - b = -v. Does 7 divide v?
False
Let y = 60 - 99. Does 13 divide 26/y - (-1 + 374/(-3))?
False
Let z be (-25)/10*(0 - 2). Suppose 0 = z*a + 5*b - 225, 3*a - 3*b - 193 = -2*a. Suppose 3*d - a = y, 4*d = d + 4*y + 47. Is 3 a factor of d?
False
Suppose 0 = -29*x + 696 - 174. Is x a multiple of 9?
True
Let u(c) = -2*c**2 + 10*c - 2. Let f be u(4). Suppose o - 273 = -f*o. Is o a multiple of 39?
True
Let p(x) = -6*x**2 + 16*x - 21. Let i(h) = 5*h**2 - 15*h + 20. Let g(y) = 5*i(y) + 4*p(y). Let s = 526 - 515. Is g(s) a multiple of 14?
False
Suppose r - 17 = 2*r. Let t = r - -52. Let q = 62 - t. Does 9 divide q?
True
Suppose -4*c - 476 = 4*s, -c - 4*c - 247 = 2*s. Let g = s + 155. Does 39 divide g?
True
Let h(g) = -g**3 + 8*g**2 + 5*g - 8. Does 3 divide h(6)?
False
Suppose 3*d + 15 = -36. Let h = 10 - d. Does 7 divide h?
False
Let b be 2/12 + 934/12. Suppose -9*w = b - 978. Is 20 a factor of w?
True
Let z(b) = b**2 + 7*b + 57. Is z(11) a multipl