u**2. Is d(1) a multiple of 14?
True
Let d(q) = q**2 + q + 13. Let f be d(0). Let v(a) = a + 3. Let x be v(0). Let l = f - x. Is l a multiple of 5?
True
Suppose o - 38 = -2*p, -5*p + 102 = -0*p - o. Suppose 124 = 2*v + p. Is 12 a factor of v?
False
Let g(h) = -h**3 + 13*h**2 - 8*h - 16. Is g(12) a multiple of 13?
False
Suppose 0 = -4*g + g + 51. Let u = g - -8. Does 13 divide u?
False
Suppose 0 = -h + 3 - 0. Suppose -231 = -4*f - h*j, 0*f - j + 113 = 2*f. Is 18 a factor of f?
True
Let t be (7 - 5) + 1*-9. Let b = 7 + t. Suppose 3*i - i - 48 = b. Is 9 a factor of i?
False
Let r(n) = -3*n**2 + n. Let z be r(3). Is z/4 + 4 + 18 a multiple of 5?
False
Is 102 - (6 - (-4 - -16)) a multiple of 18?
True
Let v(i) be the third derivative of i**5/4 - i**4/24 + i**2. Let x = -81 - -80. Is v(x) a multiple of 16?
True
Let b be (5 - 1) + (0 - -1). Suppose -50 = -b*q + 40. Is q a multiple of 9?
True
Let p = 7 - 4. Let v = p + 0. Suppose -4*o + 7*o = -v*t + 117, 49 = t - o. Does 13 divide t?
False
Suppose o = 2*l + 10, -l - 3*l = o + 8. Suppose -14 = -o*j + z + 5, 0 = -2*j + 3*z + 7. Is 5 a factor of j?
True
Suppose 0 = 2*d + 12 + 18. Let n = 4 + d. Is 15 a factor of 4/(-2) - (-6 + n)?
True
Suppose -4*v + 5*w = -33, -5*w - 31 = -0*v - 3*v. Suppose v*s = -s. Let a(d) = d**2 + 35. Is 17 a factor of a(s)?
False
Suppose -m = 3*m + 148. Let p be (-2)/(288/(-142) - -2). Let n = p + m. Does 17 divide n?
True
Let r(l) = -l**3 + 3*l**2 + 4*l - 6. Let j be r(4). Is 8 a factor of 3*4/6 - j?
True
Let n be 1 + (1 - (-3)/3). Suppose 0 = 2*t - n*t + 2. Is t*2*(-34)/(-8) a multiple of 12?
False
Let j = -6 + 36. Is 12 a factor of j?
False
Let f be 6/(-6)*(-5 - -1). Suppose 36 = -f*q + 100. Suppose 2*k + q = 4*k. Is 4 a factor of k?
True
Let t(i) = -7*i + 12. Let a(x) = -7*x + 13. Let j(s) = 6*a(s) - 7*t(s). Is j(4) a multiple of 9?
False
Suppose 4*i = 10 - 2. Suppose i*d + 5 + 239 = 0. Is 6 a factor of 2/9 + d/(-18)?
False
Suppose -18 = -0*o - 2*o. Is 9 a factor of o?
True
Let f(t) = -7*t**3 + 8*t**2 - 7*t - 4. Let s(z) = 6*z**3 - 7*z**2 + 6*z + 3. Let d(h) = 4*f(h) + 5*s(h). Is 7 a factor of d(2)?
True
Let h = -23 - -37. Is h a multiple of 7?
True
Let s be (-4)/10*25/(-5). Let x be (2/(-2) + 1)/s. Suppose x = 2*a - 97 + 7. Does 16 divide a?
False
Let m = 374 - 98. Does 12 divide m?
True
Let r(g) = g**2 + g - 1. Let u(o) = o**2 + 4*o - 3. Let l(i) = -4*r(i) + u(i). Let x be l(-1). Is 7 a factor of 7 - -1 - (x + 2)?
False
Suppose 3 = -3*a + 99. Suppose -2*y + 26 = -a. Is 21 a factor of y?
False
Let x(u) = u + 20. Let y be x(0). Let h = y - 9. Is h a multiple of 5?
False
Let w(f) = 27*f + 2. Let u be w(2). Let h = u + -3. Is h a multiple of 19?
False
Suppose -2*y + 0*q + 4*q = -74, 5*y = -4*q + 185. Does 14 divide y?
False
Let b(i) = -i. Let o be b(-5). Suppose 2*q + 0*q = o*u - 7, 16 = -q + 5*u. Is q a multiple of 9?
True
Let d be 4 - (-1 - (0 + -2)). Suppose -3*b = -3*a - 144, -b - a - 97 = -d*b. Does 17 divide b?
False
Let m = 6 - 3. Let k(w) = 9 - 3*w**2 - 8*w + w**2 - 2*w**2 - 4 + w**m. Does 13 divide k(6)?
False
Suppose -2*m = -152 - 28. Is 9 a factor of m?
True
Let v = 88 + -58. Is 9 a factor of v?
False
Suppose -3*s + 5*f = -88, -2*s = -0*s - 4*f - 62. Is 12 a factor of s?
False
Let w(v) = v**2 - 3*v + 4. Let q(t) = -6*t**2 + 15*t - 21. Let h(z) = 2*q(z) + 11*w(z). Let y be h(-4). Is 10 a factor of 1/y + 82/4?
True
Does 24 divide 2 + -22*(-2 + 1)?
True
Suppose -35 = -4*w - 7. Let a(q) = 3*q - 10. Does 5 divide a(w)?
False
Let x = -2 + -4. Let n(l) = -2*l + 14. Is n(x) a multiple of 11?
False
Suppose 4*s = d - 15, 3*d - 5*d = -3*s - 50. Suppose -b - 3*b - 26 = -u, b = -u + d. Is 16 a factor of u?
False
Let s = 18 + 0. Is s a multiple of 18?
True
Let j(n) = -n**3 - 4*n**2 - 3*n - 3. Let b = 2 + -5. Let w be j(b). Does 3 divide 10 - (w + 0)/(-3)?
True
Suppose 3*q = -7*q + 580. Is 29 a factor of q?
True
Let g(k) = k**2 + k + 1. Let q be g(2). Suppose -q = 5*h - 57. Does 6 divide h?
False
Let s = -94 + 190. Does 16 divide s?
True
Let v(t) = 2*t**2 + t. Is v(-5) a multiple of 11?
False
Suppose -x - 5 + 2 = 0. Does 14 divide 42/(-3)*(x - 0)?
True
Suppose 0 = 2*s - 5*p - 79, 2*s - 65 = 4*p + 15. Is s a multiple of 7?
True
Suppose -5*r - d + 4*d = -136, -18 = -r - 4*d. Is 13 a factor of r?
True
Suppose -19 = -j - 3. Let b = -8 + j. Is b a multiple of 3?
False
Let h be -1 - (6*1)/(-1). Suppose -k + h*o = 1, -65 = -4*k - o - 2*o. Is 14 a factor of k?
True
Suppose w - 2*w - 3*c - 11 = 0, 3*c - 5 = -5*w. Suppose 2*l - 54 = 2*k, -6*k - 114 = -4*l - w*k. Is l a multiple of 10?
True
Let x = -6 + 11. Suppose 3*k + 2*d - 3*d = 10, 0 = 4*k - 5*d - 28. Suppose -k = -q + x. Is q a multiple of 7?
True
Suppose 3*f + 206 - 1176 = 5*c, 0 = -2*c + 8. Is 6/(-27) + f/27 a multiple of 3?
True
Suppose 2*v = 2, 2*d + 3*v - 30 - 11 = 0. Let u = d + -11. Is u a multiple of 7?
False
Is (1 - 8)/(-1)*2 a multiple of 6?
False
Let h = -9 - 13. Suppose -13 = -3*t - 49. Let d = t - h. Is 7 a factor of d?
False
Let a(s) = 2*s**2 - 9*s - 8. Let b be a(7). Let h be 2/(-3) - 76/(-6). Is 18 a factor of 1*h/9*b?
True
Let x(r) = r**2 - 8*r + 7. Let h be x(7). Suppose 3*l - 327 = -h*l. Suppose 5*b - l = 61. Is b a multiple of 13?
False
Suppose -3*i - 458 - 247 = 0. Is 5 a factor of (-1)/(-3) + i/(-15)?
False
Let u(y) = -y**2 + 5*y - 4. Let q be u(4). Suppose q = -3*z + 2*t - t - 21, z + 4*t - 6 = 0. Is 15 a factor of (-178)/z - (-2)/(-3)?
False
Suppose -2*o + 70 = -2*f, -o - f = -57 + 18. Is 37 a factor of o?
True
Let i = -36 + 183. Does 12 divide i?
False
Let t = -5 + 10. Suppose 4*a + 20 = 0, -6*p + p + 35 = t*a. Does 5 divide p?
False
Let k(x) = -2*x + 2. Let o be 3 + -3 - (-1)/1. Suppose -2*a = 3 + o. Is 4 a factor of k(a)?
False
Let o = -60 - -122. Let l = o - 35. Is l a multiple of 8?
False
Let c = 36 - -46. Does 17 divide c?
False
Does 9 divide 5/(15/6) + 7?
True
Let t(x) = 4*x**3 - x**2 + 3*x - 1. Let d(n) = -3*n**3 + n**2 - 2*n. Let r(h) = 3*d(h) + 2*t(h). Let k be r(-2). Let o = k - -10. Does 20 divide o?
True
Let i(d) = 15*d + d**2 - 7 - 15*d. Suppose -x + 4 = y, 5*y - 4*x - 26 = -3*x. Is i(y) a multiple of 7?
False
Let m = 86 + -58. Is m a multiple of 14?
True
Let i(x) be the third derivative of x**4/2 + x**3/3 + 6*x**2. Is 14 a factor of i(4)?
False
Suppose -4*j = -5*z + 105 + 146, -3*z - 4*j + 157 = 0. Suppose -2*y - 13 = -3*k, 3*y - 3 = 5*y - k. Does 21 divide y/(-3)*-3 + z?
False
Let m be (-14 - -1) + (-3 - -2). Let p be (-1060)/m - (-4)/14. Suppose 23 = 3*d - p. Does 11 divide d?
True
Suppose 3*s - 33 = 21. Let n be (s/3)/(2/2). Suppose -15 = -3*k - n. Is k a multiple of 2?
False
Let a be (-17)/(((-15)/(-6))/(-5)). Let r = a - 21. Does 5 divide r?
False
Let o be 12/2*4/6. Let b(m) = -m + 4. Let z be b(o). Suppose z = -q - 3*q + 96. Does 14 divide q?
False
Let b = 55 - 38. Suppose -2*w = -3*c + b + 3, c + 2*w = -4. Is c a multiple of 2?
True
Let h(d) = d**3 + d**2 + 2. Let r be h(0). Does 10 divide 1*(-46)/(r - 4)?
False
Suppose -2*i + 4*v - 73 = -5*i, 26 = 2*i - 3*v. Suppose i + 5 = r. Is r a multiple of 8?
True
Let y(c) = -c**3 + 5*c**2 + c + 2. Let n be y(5). Suppose 2*l - 5*z + 2 = 0, 0 = 2*z - n + 3. Suppose 5*i - l*v + 1 = 0, -9 = -v - 5. Is i even?
False
Is 4 + 2*39 - 2 a multiple of 40?
True
Let z = -37 - -65. Does 4 divide z?
True
Suppose -2*v + 7*v = 210. Suppose -2*t - t + v = 0. Is t a multiple of 12?
False
Does 14 divide ((-1)/1)/(1/(-14))?
True
Let j(m) = -16*m**3 - 20*m**2 - 31*m - 16. Let k(g) = 3*g**3 + 4*g**2 + 6*g + 3. Let v(f) = -2*j(f) - 11*k(f). Let c be v(-3). Let d = 13 - c. Does 4 divide d?
False
Let k(w) = -79*w - 6. Let i be k(-5). Suppose -4*s - 61 = -i. Is s a multiple of 22?
False
Let k(q) = -q**2 + 8*q - 3. Suppose 3*l = -0*l. Suppose l*o - o + 5 = 0. Does 6 divide k(o)?
True
Suppose 4*f = v + 5, 4*f + 2 = -v - 3. Let o = -11 - f. Let l = o + 29. Is 10 a factor of l?
False
Let w be 44/10 - (-22)/(-55). Suppose 0 = -w*n - 27 + 251. Is 14 a factor of n?
True
Suppose 0 = -j + 4*q + 10, 0 = -4*j + q + 2*q + 40. Suppose 2*p - j = -u, 4*u + p = 6*p + 53. Is 4 a factor of u?
True
Let u = 97 - -3. Suppose -4*k + 3*n - 2*n = -92, 5*n = 5*k - u. Does 8 divide k?
True
Suppose 0 = -4*j + 8*j - 16. Let t(c) be the second derivative of 5*c**3/6 - 3*c**2 + 4*c. Does 7 divide t(j)?
