f f?
True
Suppose -12 = -3*q + 18. Let t = 127 - q. Does 39 divide t?
True
Is 23/(-6)*-1*2*3 a multiple of 23?
True
Suppose 0 = -9*z + 4*z + 25. Suppose 2*p + 117 = k - 11, 0 = z*k - 5*p - 640. Let c = k - -3. Is c a multiple of 33?
False
Let o = 15 - 10. Suppose -u - u + 16 = 2*t, 0 = 2*t - o*u + 12. Suppose -w - 30 = -t*w. Is 3 a factor of w?
False
Suppose 214 = 2*c + 4*d, -4*d = 4*c + 14 - 462. Does 29 divide c?
False
Let m = 52 - 54. Is 11 a factor of (98/(-21))/(m/33)?
True
Suppose -4*x + 3*g - 4 = 0, 3*x + 2*x = -4*g + 26. Suppose x*l - 7*l = -330. Is l a multiple of 10?
False
Suppose 2*t - 8 = -4. Is 19 a factor of t/2*-1 + 96?
True
Let q(p) be the second derivative of p**7/252 - p**6/240 + p**5/120 - p**4/4 + p. Let m(h) be the third derivative of q(h). Is 16 a factor of m(2)?
False
Let h(w) = 648*w**3 - w. Let g be h(1). Suppose 4*q - g = 73. Is q a multiple of 18?
True
Let q(b) = -2*b**2 + 54*b - 16. Let h be q(12). Suppose 0 = -5*d + 241 + h. Is 37 a factor of d?
False
Suppose 0 = -7*j + 1394 - 43. Is j a multiple of 10?
False
Let c(z) = -2*z**2 - 17*z - 4. Let k be c(-8). Is (4 - (-48 - -1))*k a multiple of 17?
True
Suppose -5*f - 1 = -26. Suppose -2*c = -f*c + 267. Is 15 a factor of c?
False
Suppose -4*j - 3*m + 259 = 2*m, 4*j - 2*m - 294 = 0. Suppose -4*u - r = -2*r - 67, -4*u = 3*r - j. Suppose 2*a - 15 = u. Is a a multiple of 4?
True
Is 26 a factor of 162/27*(-2)/3 + 45?
False
Let f = -366 + 466. Is f a multiple of 25?
True
Let d(j) = j**2 - j + 17. Let n be d(0). Suppose 8*y - n = 63. Does 10 divide y?
True
Let h(p) = -p**3 - 5*p**2 - 8*p - 8. Let m be h(-4). Is 76/(-6)*(-24)/m a multiple of 24?
False
Let q be 8 - 5 - -38 - -4. Is q + (0 - (0 - 2)) a multiple of 47?
True
Suppose 0 = x - 2*a + 3*a - 398, -3*a + 800 = 2*x. Is x a multiple of 11?
False
Let t = 19 + -31. Let c = t - -12. Suppose 3*z + 9 = c, 0 = -r + 5*z + 25 + 10. Does 15 divide r?
False
Is 11 a factor of 115/575 - 3409/(-5)?
True
Let r = 3166 + -2087. Is r a multiple of 94?
False
Let z = 169 - 88. Let s be 13/(-1)*36/(-8 + 4). Let p = s - z. Is p a multiple of 11?
False
Let k be ((-12)/(-10))/(597/(-100) + 6). Suppose -k = -7*r + 30. Is 2 a factor of r?
True
Suppose -16*z + 6 = -14*z. Suppose 0 = z*t - 312 + 96. Is t a multiple of 9?
True
Let z = 11 - 7. Let c(a) = 7*a + 2 - z - 3*a + a**2. Is c(-6) a multiple of 3?
False
Let j = -2372 - -6692. Is j a multiple of 20?
True
Let b(m) = 7 + 68*m + 20 - 70*m. Does 11 divide b(8)?
True
Let k(o) = -o + o + 3*o + 7 - o**2. Let q be k(5). Does 21 divide (-252)/(-8)*(-2)/q?
True
Let j = -353 - -374. Does 21 divide j?
True
Let v(r) = -50*r - 10. Let a be v(5). Let z = 375 + a. Is z a multiple of 20?
False
Let m(i) = -2*i**3 + i**2 + 2*i - 1. Let v be m(3). Let n = -25 - v. Let g = 26 - n. Is 3 a factor of g?
False
Let q = 260 + -74. Suppose 131 = 3*t + 2*b, -3*t = 4*b + 47 - q. Is 30 a factor of t?
False
Suppose -5*l - 3 = 2*k - 9, 12 = -5*l + 4*k. Suppose l = -6*y + 3*y + 18. Is y a multiple of 3?
True
Suppose 5*b - 5617 + 1117 = 0. Does 30 divide b?
True
Let o(b) = 2*b**2 - 13*b + 8. Let n be o(8). Suppose -112 = 28*d - n*d. Is 21 a factor of d?
False
Is 16 a factor of (192/(-10))/(2/(-100)*3)?
True
Suppose g + 28 = -3*h - 0*g, -10 = -2*g. Let o(t) = t**2 + 8*t - 13. Does 10 divide o(h)?
True
Let m be 3 - (1 - (1 - 4)). Let h(q) = 94*q**2 - 4*q - 1. Is 16 a factor of h(m)?
False
Suppose 9*j = 57 - 12. Suppose -3*h = -22 - j. Is 2 a factor of h?
False
Let o(j) = j**2 + 3*j - 6. Let z be o(-5). Let v be (-41 + 8)/((-6)/z). Suppose 3*t = v + 11. Is t a multiple of 11?
True
Let v = 28 + 114. Suppose 6 = -2*z - z, -4*r + v = -3*z. Is r a multiple of 9?
False
Let s(c) = 3*c**2 - 6*c - 4. Let t(n) = n**2 - 2*n - 1. Let o(i) = -4*s(i) + 11*t(i). Let a be o(-4). Let y = a - -31. Is y a multiple of 4?
True
Suppose -77*a + 1064 = -69*a. Does 54 divide a?
False
Let d be -20*((-1)/(-2))/(1/4). Is 6 a factor of 511/5 - (-8)/d?
True
Let i be (-8)/((-40)/35) - (0 - -3). Suppose -j + 67 = 4*o, -373 = -i*j + 2*o - 123. Does 5 divide j?
False
Let w be ((-2)/(-4) - 2)*(-32)/12. Suppose -5*r + 2*o = 3*o - 338, -w*r = 5*o - 283. Is 11 a factor of r?
False
Is (-107408)/(-21) - 9/(-27) a multiple of 15?
True
Let k(d) = 35*d - 11. Suppose 24 = 2*g + 6*g. Does 15 divide k(g)?
False
Suppose 0 = -k - 4*y - 39, 2*k - 3*y = 3*k + 39. Suppose -684 = -24*h + 12*h. Let l = h + k. Does 4 divide l?
False
Let n = -10 - -13. Suppose -295 + 7 = -n*i. Is 32 a factor of i?
True
Suppose -20*i + 770 = -31*i. Let f be (-3)/((-1*2)/2). Is 10 a factor of -1*f*i/15?
False
Suppose 0 = 2*l + d - 11, 3*d = l - 6 - 3. Let j(p) = p**2 + 4*p - 11. Does 29 divide j(l)?
False
Suppose -1188 = -52*x + 43*x. Is x a multiple of 12?
True
Let n(k) = -k + 18. Let s be n(5). Let b(u) = u**2 - 14*u + 1. Let v(i) = -i**2 + 14*i. Let f(p) = 4*b(p) + 5*v(p). Does 9 divide f(s)?
False
Let g = 16 + -16. Let o(z) = z**3 - z**2 - z + 66. Does 13 divide o(g)?
False
Let m(o) = o**2 - 3*o + 1. Let g(n) = 1 + 2*n - 2 - 1 - 4*n**2 + 7 - n**3. Let p be g(-4). Does 7 divide m(p)?
False
Let o(f) be the third derivative of 7*f**6/720 + f**5/20 + 5*f**4/24 - 5*f**2. Let i(n) be the second derivative of o(n). Is 10 a factor of i(4)?
False
Is 11 a factor of -232*(-6 - -2 - (-10)/8)?
True
Let r be 4/22 - (-230)/(-55). Let m(z) = 101*z**2 + 8*z + 15. Let y(f) = -50*f**2 - 4*f - 7. Let s(x) = r*m(x) - 9*y(x). Is 9 a factor of s(-1)?
True
Let f(v) = 16*v**2 + 2*v + 9. Let u be f(5). Let b = u + -244. Is b a multiple of 27?
False
Let r(d) = -7*d - 23. Let z be r(-4). Suppose -z*o + 447 - 7 = 0. Does 11 divide o?
True
Let v(c) = c**2 + 5*c + 6. Suppose -l = 4 - 18. Let s = -21 + l. Is v(s) a multiple of 12?
False
Is (-21)/(252/184)*-99 a multiple of 13?
False
Let d = -2 + 7. Suppose -3*u - 2 + 5 = 0, i + 5*u = d. Suppose -2*q - 5*h = -25, -4*q + 3*h - h + 62 = i. Is 4 a factor of q?
False
Suppose g - 3*f - 119 = 0, 5*g - 4*f - 363 - 210 = 0. Suppose -8 = 7*a - g. Does 6 divide a?
False
Suppose 0 = -5*h + 4*t + 3206, -4*h = -4*t - 538 - 2026. Is h a multiple of 6?
True
Suppose 2*c = 3*k + c - 1549, 0 = -3*c + 6. Is k a multiple of 29?
False
Let q(g) = 4*g + 124. Is 10 a factor of q(-11)?
True
Let n(l) = -2*l**2 + 6*l**3 + 3*l**3 + l**3 + 5*l - 8*l**3 - 8. Let i be n(3). Suppose 3*p = z + i, -5*z + 63 + 22 = 5*p. Is 15 a factor of p?
True
Let t = -29 - -40. Let f(d) = -d**3 + 12*d**2 - 16*d - 1. Let n be f(t). Is 15*(n/6)/(-7) a multiple of 20?
True
Let a be (-3)/15 + (-55)/(-25). Suppose n = 6*q - a*q - 120, -3*n - 60 = -2*q. Is 15 a factor of q?
True
Let c = -847 + 1624. Is c a multiple of 30?
False
Let r = 309 + -55. Is r a multiple of 12?
False
Let p(q) = -124*q - 454. Is p(-12) a multiple of 8?
False
Let m(w) = w**3 - w**2 - w + 2. Let r be m(0). Let a = r + 1. Suppose -a*f = -21 - 66. Is 25 a factor of f?
False
Let q be (18/(-36))/(2/(-684)). Let a be q/(-18)*2*-1. Suppose a = 4*x + b, b + 4*b - 11 = x. Is 4 a factor of x?
True
Let v = 178 - 168. Is 10 a factor of v?
True
Suppose 3*i = 3*s + 21 - 0, 2*s = -10. Suppose 2*d - 14 = -3*w, 4*w - 4*d = -i*d. Suppose 5*t - 3*q - 2*q - 170 = 0, -w*t - 4*q + 92 = 0. Is 15 a factor of t?
False
Let b = -20 - -32. Let a be ((-2)/6)/(b/72). Is (236/6)/(a/(-3)) a multiple of 29?
False
Is 0 - (-290)/6 - 8/24 a multiple of 6?
True
Let m(t) = -1 - t + 7 - t**3 + 4*t**2 - 3*t**2. Let d be m(0). Does 6 divide 3/((-45)/d)*-70?
False
Suppose b + b + 3*i - 30 = 0, -3*i = 4*b - 72. Suppose o + 15 = 2*o. Let x = b - o. Does 2 divide x?
True
Let k(y) = 58*y + 53. Is k(7) a multiple of 33?
False
Is 7 + -9 + 9 - -252 a multiple of 2?
False
Suppose -6*r + 59 + 19 = 0. Let w = -11 + r. Suppose 5*o = 3*a - 4, w*o - 43 + 11 = -3*a. Is 4 a factor of a?
True
Suppose -15*y + 9*y + 216 = 0. Suppose -216 = -y*u + 33*u. Does 12 divide u?
True
Suppose -32 - 79 = -3*v. Suppose o - 11 - v = 0. Is 8 a factor of o?
True
Suppose -108 = 4*b - 536. Let k = -35 + b. Is 33 a factor of k?
False
Let u(y) = -20*y + 305. Is 13 a factor of u(-39)?
False
Let g be (-2 - 1)*20/(-12). Suppose g*n = 10*n + 25. Is -1 - (n + 3 + -10) a multiple of 4?
False
Let k(s) = 38*s - 17. Is k(4) a multiple of 29?
False
Let y(i) = i**2 - 21*i - 246. Does 12 divide y(-33)?
True
Let b(m) = 2*m + 6*m - 3*m. Let a = 87 +