*r - 1. Let o be t(-4). Does 23 divide o + (-3 - -2) + 119?
False
Suppose -2*a - 310 = -5*o, -186 = -3*o - 0*o - a. Is o a multiple of 31?
True
Suppose -4*p - 50 = -62. Suppose -2*c + 0*h = -p*h - 29, 2*h = 10. Is 11 a factor of c?
True
Let m(b) = 2*b**2 + 2. Let i be m(0). Suppose i*q - 274 = -5*j, 2*q = -0*q + 2*j + 260. Is q a multiple of 33?
True
Suppose -16*i = 13*i - 16965. Does 3 divide i?
True
Let h(w) = 5*w**3 - 13*w**2 + 6*w - 11. Let a(c) = -c**3 + c**2 - c + 1. Let n(m) = 4*a(m) + h(m). Does 11 divide n(9)?
True
Let l(j) = 15*j**2 + 58*j - 23. Does 82 divide l(8)?
False
Suppose -19*t - 5 = -14*t. Suppose 0 = -0*x + 2*x - 5*u + 7, -42 = 3*x + 3*u. Let i = t - x. Does 5 divide i?
True
Let q = -36 - -559. Is q a multiple of 19?
False
Let f(u) = u**3 + u**2 + 9*u + 504. Is 24 a factor of f(0)?
True
Let l = 16 + -8. Let w = -6 + l. Suppose -w*t = -2*n + 88, -3*n = -t + 2*t - 152. Does 13 divide n?
False
Let g(c) be the third derivative of -191*c**5/60 - c**3/6 - 9*c**2. Let a be g(1). Let u = a - -280. Is 22 a factor of u?
True
Suppose -5*j = -17 - 23. Does 7 divide 20/j*((14 - 2) + 2)?
True
Let z(m) = -m**2 + m + 37. Let k be z(0). Suppose -2*g + 215 = -k. Is g a multiple of 14?
True
Let c = -31 - -36. Suppose -3*l = c*l - 912. Does 38 divide l?
True
Let c be ((-4)/2 + 1)*(2 - 1). Is 4 a factor of 4 + 0 + (c - -17)?
True
Does 25 divide 20/30*(-675)/(-6)?
True
Let z(y) = -6*y + 7. Let x be z(5). Let p = 0 + -4. Does 10 divide (-3 + 4 - x) + p?
True
Let g = -6 + 6. Let j(a) = a**2 + 2*a + 1. Let l be j(g). Is -1 - (-185)/(4 + l) a multiple of 6?
True
Let l be -2 + (1 - -1) + 7. Let k(y) = 13*y**3 - 16*y**2 + 10*y - 7. Let d(j) = 7*j**3 - 8*j**2 + 5*j - 4. Let o(n) = 11*d(n) - 6*k(n). Does 7 divide o(l)?
False
Suppose 456 = 2*j + 6*h - 4*h, -915 = -4*j - 5*h. Does 4 divide j?
False
Suppose -13790 = -5*i - 9*i. Does 15 divide i?
False
Suppose 5*r - 3*k = 851, -5*k + 131 = 4*r - 535. Is 2188/26 + (-26)/r a multiple of 4?
True
Suppose -1060*i - 2170 = -1061*i. Is 14 a factor of i?
True
Let y = 444 - 363. Does 50 divide y?
False
Let b be ((-42)/(-15))/((-2)/10). Let x = b + 8. Is 14 a factor of -1 + -10*9/x?
True
Suppose 12*a = -6*a + 3996. Is a a multiple of 44?
False
Is 0 + 3/6 + 45/6 a multiple of 8?
True
Suppose 4*c = -0*c. Suppose 0 = -4*k - c*k. Suppose k = 5*u + 15, 0 = 3*m + m + 5*u - 41. Does 14 divide m?
True
Let d(i) = i**2 + i - 10. Let w be d(-4). Suppose 2 = 4*j - 3*j. Suppose -j*t = 5*b - 201, b = w*t + t + 30. Is b a multiple of 13?
True
Let x be 6 + 0 + -4 + 3. Suppose g - x = -q, -g + q + 5 = 5*q. Suppose o - 115 = -3*h + 2*o, 109 = 3*h + g*o. Is 14 a factor of h?
False
Suppose 0 = -0*f - 4*f + 80. Let r be (126/10)/(2/f). Suppose -6 = 3*b - r. Is b a multiple of 12?
False
Suppose 10 = -2*s, -52 = -4*x - 3*s + 109. Let p = x - -4. Is p a multiple of 16?
True
Does 27 divide (-30)/36 + (6058/12 - -2)?
False
Let i(j) = -2*j**2 - j + 1. Let f be i(-1). Suppose f = 5*n + 5*a - 825, -5*n + n - a = -657. Is n a multiple of 31?
False
Let f be 0 - -2 - (-4)/(-1). Let u = 509 - 501. Is 7 a factor of ((-60)/u + 0)*f?
False
Suppose 4*d - 2*d = -4*o + 10, 0 = -3*o + d - 5. Suppose -5*f - 1 - 84 = 2*t, o = 2*t + 10. Is f/20*(-56)/2 a multiple of 8?
False
Let l(n) = 4 - 3*n + 4*n - 3 + 0*n. Let u be l(1). Suppose -5*g = 4*q - 170, 154 = 4*q + u*g - 10. Is q a multiple of 26?
False
Suppose -4*y + 12 + 8 = 0. Suppose 0 = -2*h + 2*b + 18, 0 = y*b - 1 - 4. Is 10 a factor of h?
True
Suppose 4*c - 2*l + 3*l = 44, l = -3*c + 32. Let f(u) = 4*u - 13. Does 7 divide f(c)?
True
Let h(o) = 5 + o**2 - 1 - 5*o + 0*o. Is 8 a factor of h(6)?
False
Let o = -12 - -15. Suppose 2*p = 2*u + 80, 2*u + o*p + 89 = 2*p. Is (-1 + u/(-3))*3 a multiple of 9?
False
Let h(b) = -2*b**3 - 64*b**2 - 74*b + 8. Does 4 divide h(-31)?
True
Let x = -127 - -463. Is 21 a factor of x?
True
Let l(m) = 2*m**2 + 14*m + 11. Let k(s) = 5*s + 11. Let w be k(-4). Is l(w) a multiple of 6?
False
Let i be (-2 + 1 + 0)*132. Let y be (296/12)/((-4)/(-30)). Let r = i + y. Is r a multiple of 15?
False
Let q(x) = x**3 + 27*x**2 - 6*x + 49. Does 14 divide q(-23)?
False
Let z = -11 - -13. Suppose 7*x = z*x + 235. Suppose -r - 6*d + x = -5*d, 143 = 3*r + d. Is 12 a factor of r?
True
Let g = -9 - -9. Suppose -m + 4 + 14 = g. Suppose -m*z - 108 = -20*z. Does 18 divide z?
True
Suppose 2 = 5*n + r, -2*r + 4 = -5*n + 9*n. Suppose 5*s + 3*q - 76 = n, -2*s = 3*s + 5*q - 70. Is 8 a factor of s?
False
Let y(v) = 5*v - 17. Let f(j) = 11*j - 34. Let h(q) = 6*f(q) - 13*y(q). Let p = 125 - 135. Is h(p) a multiple of 7?
True
Let d = 6 - 21. Let f = 17 + d. Suppose -4*r = -0*r - 2*s - 96, f = s. Is 24 a factor of r?
False
Suppose 7*d = 9*d. Suppose d = 5*v - 36 + 6. Is 5 a factor of v?
False
Suppose 0 = p + 7*p - 24. Let k be (-1)/((-3)/(-6)) - -5. Suppose -k*m - s = -5*s - 132, p*m = 3*s + 129. Is 8 a factor of m?
True
Let s(l) = -l**3 + 14*l**2 + 19*l + 34. Is s(12) a multiple of 19?
False
Let u(t) = t**2 - 5*t - 5. Let p be u(5). Let f(v) = v + 13. Is f(p) a multiple of 4?
True
Suppose 5*k - 16 = 9. Suppose 274 = k*t - w, -2*t + 3*w = -t - 66. Does 4 divide t?
False
Let t = 726 + -614. Does 24 divide t?
False
Let h(x) = -2*x + 5. Let s be h(-7). Let f = -22 + s. Is 21 a factor of 63*(-1)/3*f?
True
Suppose -4*a + 7 = -5*a. Let g = a + 29. Is 7 a factor of g?
False
Let y be (6 + -9)/(2/(-30)). Does 19 divide (684/y)/(2/10)?
True
Let r = 331 - 88. Is 11 a factor of r?
False
Suppose -4*k = 0, -3*y - 3*k = -48 + 198. Let w = 114 + y. Is w a multiple of 20?
False
Let d(a) = -25*a - 2. Suppose -k + 5*j = 29, -2*j = -4*k - 0*j - 26. Does 12 divide d(k)?
False
Does 69 divide 695 - (18 - 14)*5/4?
True
Is (256/20 - -1)*(1 + 24) a multiple of 15?
True
Let v(d) = d**2 + d + 7. Let z be v(0). Suppose -2*o + z*o - h + 369 = 0, 3*h - 12 = 0. Let p = o + 145. Is p a multiple of 18?
True
Suppose 15*z = z + 10066. Does 8 divide z?
False
Suppose -2*j + 121 = 5*v - 136, 4*v = 3*j - 351. Let c be 1 + j*(2 - 1). Suppose -c = -w - w. Does 12 divide w?
False
Suppose 13*k - 7*k - 72 = 0. Is k a multiple of 12?
True
Let p be -13 - ((4 - -1) + -2). Let b be (-12)/p + 1251/12. Suppose 5*s + b = 10*s. Is 13 a factor of s?
False
Let a be (1 + -2)*(-13 + 8). Suppose -3*u = -4*u + a. Suppose u*p - j - 57 - 5 = 0, 4*j - 40 = -4*p. Is p a multiple of 4?
True
Suppose 4*j - 316 = 3*r - 88, -j + 4*r = -57. Suppose j = 4*c - 115. Is c a multiple of 18?
False
Let j(z) = 12*z + 30. Let k be j(14). Let f = 354 - k. Does 39 divide f?
True
Let f(r) = 4*r - 31. Is 4 a factor of f(17)?
False
Let g = 89 - 85. Suppose g*f = 3*f - 3*o + 29, -4*o + 30 = f. Does 8 divide f?
False
Suppose -1094 = -2*c - 2*h + 5*h, 4*c - 2180 = 4*h. Is c a multiple of 23?
False
Let j(n) = 4*n**3 - 18*n**2 + 4*n - 25. Is j(5) a multiple of 9?
True
Let j = -95 + 98. Let a be (-10)/(-3)*(-36)/10. Let y = j - a. Is y a multiple of 3?
True
Let o = -12 - -4. Let s = o - -20. Is 7 a factor of s?
False
Let a(r) = 2*r + 3. Let d be a(0). Is (525/30)/(d/42) a multiple of 35?
True
Let k = 1134 - 797. Does 23 divide k?
False
Let r = 45 - 96. Is 12 a factor of (-42)/56 + r/(-4)?
True
Let o = 1232 + -1185. Is 47 a factor of o?
True
Let r(s) = 13*s**2 - 3*s - 11. Let v be r(7). Does 20 divide v/15 + (-2)/6?
True
Suppose 0 = 3*x - 15, 632 = -5*p + 8*p - 2*x. Is 84 a factor of p?
False
Suppose 55 = -2*w + 23. Let i = w - -17. Suppose p - 5 - i = 0. Is p a multiple of 6?
True
Let v(j) be the second derivative of -1/20*j**5 + 0 - 3*j**2 + 2*j - 1/4*j**4 - 2/3*j**3. Is 13 a factor of v(-4)?
True
Suppose 1848 = 135*s - 129*s. Does 14 divide s?
True
Suppose 0 = -2*k + l + 1, 4*l - 19 = -5*k + l. Let p(w) = -k*w**2 + 2*w**3 - w**2 + 8 - w**3 + 4*w**2. Is 4 a factor of p(0)?
True
Let a be 3521/49 + 2/14. Suppose a = 7*p - 285. Is p a multiple of 17?
True
Does 12 divide (-6 + (-4 - 0))*-66?
True
Let n(x) be the first derivative of x**4/4 + 7*x**3/3 - 3*x**2/2 - 9*x - 2. Let g(l) = 3*l + 9. Let o be g(-5). Does 18 divide n(o)?
False
Suppose 0 = -2*z + d - 2*d + 35, -5*d = -z + 45. Is 3 a factor of z?
False
Let l(b) = -5*b + 2. Let o(r) = r**2 + 4*r - 2. Let p(u) = 3*l(u) + 4*o(u). Does 11 divide p(-3)?
False
Is (-8 - 18658)/(-9) - -5 a multiple of 63?
True
Suppose 5*h + 143 = d, -4*d + 312 = -2*d +