*v - 12 = 0. Does 10 divide 32 + 12/v + -5?
True
Let l = -39 + 69. Suppose -7*u = -10*u + 33. Let f = l + u. Is 13 a factor of f?
False
Suppose -15 = -3*x, -k + 4*k + 2*x - 295 = 0. Is 25 a factor of k?
False
Let c(z) = 7*z**2 - 4*z - 23. Is c(-15) a multiple of 20?
False
Suppose -4*y + y + 51 = 0. Let g be y*-1*(-9 - -6). Let t = 15 + g. Is t a multiple of 22?
True
Suppose 19*n - 16*n = 510. Does 52 divide n?
False
Let o = -20 + 30. Let h be (9 - -5)*1*o. Let m = 204 - h. Is 19 a factor of m?
False
Suppose 2*u + 0*h + 3*h = 2575, 0 = -2*u + h + 2555. Is 38 a factor of u?
False
Let r be 1/2 - (364/8)/(-7). Let u(j) = 9*j + 19. Is u(r) a multiple of 14?
False
Suppose -2*f + 9*m - 4*m = -16, 3*f + 3*m - 3 = 0. Suppose 4*n + f*j = 324, -2*n + 148 = -0*j + 5*j. Does 17 divide n?
False
Let t(c) = 2*c**2 - 4*c - 61. Does 6 divide t(-10)?
False
Let l = 2398 - 1618. Is 30 a factor of l?
True
Suppose -20 = 4*m, -73 + 838 = 5*x + 3*m. Let d = -74 + x. Is 14 a factor of d?
False
Does 29 divide (-72)/(-108) + 4957/3?
True
Let o = 48 - 29. Suppose 5*g + 155 = 5*y, o + 121 = -4*g - 4*y. Let j = g - -55. Does 7 divide j?
False
Let w = 24 - 36. Let s be 1692/11 + w/(-66). Suppose y - 19 = 2*t + 15, 4*y + t = s. Does 19 divide y?
True
Let y be ((-110)/(-7))/(6/42). Let x = y - 89. Is 16 a factor of x?
False
Suppose -4*x + 728 = 2*n, 0*x = 4*n + x - 1491. Is n a multiple of 19?
False
Let p = -6 + -42. Suppose 0 = -4*m + 5*z - 26 - 13, -4*m - 5*z = 9. Let o = m - p. Is o a multiple of 9?
False
Let c = 90 + -87. Let a be (2 - 17*-1) + -2. Suppose a = w - c. Does 13 divide w?
False
Let q(u) = u. Suppose 0 = -5*t + 38 - 3. Let b be q(t). Let z(v) = v**2 + 2*v - 10. Does 23 divide z(b)?
False
Suppose 9*z - 11*z = -4*q + 3024, 2*q - 5*z = 1520. Does 9 divide q?
False
Let m = 268 - 141. Suppose m = 4*z - 145. Is 16 a factor of z?
False
Suppose -4*c + 10 - 30 = 0, -5*g - c = -890. Is 10 a factor of g?
False
Suppose -5*p - 3*n + 8*n = -3390, 3*p - 4*n = 2032. Does 17 divide p?
True
Let g(d) = d**2 + d + 51. Let u be 9/36 - (-2)/(-8). Let f be g(u). Let x = f - 31. Is 18 a factor of x?
False
Suppose 6*r = -111 + 663. Suppose 2*v - 4*b - r = 0, -4*v - 6*b + 3*b = -217. Is v a multiple of 16?
False
Suppose 48*d = 46*d + 728. Is 7 a factor of d?
True
Let r be (-60)/(-50)*20/(-6). Is 3 + -1 + (-68)/r a multiple of 19?
True
Is 14 a factor of (-121660)/(-42) + (-32)/(-24)?
True
Suppose 170*h - 152646 = 56*h. Is h a multiple of 28?
False
Let f = -309 + 870. Is f a multiple of 11?
True
Let t = 101 + 107. Does 3 divide t?
False
Let i = 37 + 3. Let v = 8 + i. Is v a multiple of 24?
True
Let k(p) = -57*p - 91. Does 13 divide k(-9)?
False
Let v be (-4)/(-3) - (10/(-15))/1. Suppose -4*h + 50 = v*j, -4*h + 6 = -4*j - 14. Is 5 a factor of h?
True
Let a be -5*7/(35/8). Let k = 10 + a. Suppose 2*s = -k*s + 140. Is 12 a factor of s?
False
Suppose 13*g + 696 = 25*g. Is (-23 + 1)/(g/(-203)) a multiple of 13?
False
Suppose -5*v - 145 = 5*w, -43 = 3*v + 5*w + 50. Let f = v + 48. Does 11 divide f?
True
Let l be (-48)/(-18)*(1 + -10). Let a be (2/6)/((-4)/l). Suppose -2*x + 0*z + 42 = -z, z - 46 = -a*x. Is x a multiple of 11?
True
Suppose 50*w - 48*w - 320 = 4*g, 4*w = 4*g + 640. Is 20 a factor of w?
True
Let q = -570 - -659. Is q even?
False
Let g be (1 - (-3)/(-12))*(-20)/(-1). Is 6 a factor of 3*(g/9 - 2)*-18?
True
Let t(x) = -x**3 + 4*x**2 - x - 3. Let u be t(3). Suppose u*q - 387 = -0*q. Does 25 divide q?
False
Let c = 4 - 1. Suppose 5 = 2*n - c*n, -5*k - 3*n = -1080. Does 15 divide k?
False
Let c(o) = -o**3 - 6*o**2 - 3*o - 8. Let d(h) = -h**2 - h - 1. Let s(j) = c(j) + 2*d(j). Let p be s(-7). Is 12 a factor of p*(3/(-2) + -1)?
True
Suppose 5*m - u + 0*u = 34, 14 = -m - 5*u. Suppose -21 = -2*l + 5*o, 4*l + 28 = m*l + 2*o. Let t = l - 5. Is t a multiple of 8?
True
Suppose 32 = -14*i + 18*i. Does 4 divide i + -3 + (31 - -6)?
False
Let t(p) = p**2 + p + 5. Let n(j) = j - 6. Let f be n(0). Is t(f) a multiple of 29?
False
Let i(a) = 495*a**2 - 5*a + 7. Does 21 divide i(1)?
False
Let z(j) = 130*j**2 + 6*j - 4. Is 66 a factor of z(2)?
True
Let i = 380 + -568. Let y(t) = 4*t**2 - 11*t - 22. Let k be y(-8). Let g = i + k. Is 35 a factor of g?
False
Suppose -j + 2*r - r - 2 = 0, -5*j - 2*r = -18. Is 14 a factor of ((-7)/j)/((-1)/14)?
False
Suppose -8*k + 10 = -3*k. Suppose 61 = k*x + 21. Suppose -3*m + 43 = -x. Is m a multiple of 13?
False
Let c(a) = -44*a + 2. Let t be c(-2). Let r = -47 + 52. Suppose -t = -r*y + 20. Is 11 a factor of y?
True
Is ((-3)/(-24)*2)/((-3)/(-2076)) a multiple of 18?
False
Let h = -549 - -555. Does 6 divide h?
True
Let v be 214/14 + 36/(-126). Suppose -1 = -4*d + v. Does 3 divide d?
False
Suppose z - 2*i - 6 = 0, -8 = -z - 0*z + 4*i. Suppose 2*d = -3*h + 5*h - 74, 5*h + z*d = 185. Does 16 divide h?
False
Suppose 0 = 9*h - 14224 + 3460. Does 23 divide h?
True
Is 16 a factor of (2/3)/(14/(-37989)*-9)?
False
Suppose -2*w + 7*w + 50 = 0. Let m be ((-36)/30)/(3/w). Suppose l = -m*l + 50. Is 5 a factor of l?
True
Suppose 99 = -7*o + 4*o. Let v be 110/o*6/(-5). Let f(i) = 4*i - 5. Does 4 divide f(v)?
False
Suppose 3*d + 51 = 4*d + 5*m, -165 = -3*d - 3*m. Is 4 a factor of d?
True
Let i(a) = -51*a**3 + 3*a + 2. Suppose -11 = 5*z + 2*u, 0*u - 9 = -3*z + 4*u. Is 28 a factor of i(z)?
False
Let n = 1282 + -762. Suppose -4*d = -2*v + n, 4*v - 320 - 765 = -d. Suppose -4*c + v = c. Does 9 divide c?
True
Suppose 3*a - 7*a + 8 = 0. Suppose -14*r + 11 = -87. Is (14/a + -4)*r a multiple of 9?
False
Suppose 37*b - 40*b = -8172. Does 5 divide b/39 - (-6)/39?
True
Suppose 0 = -5*m + n + 15, -4*m + 9 = 4*n - 3. Suppose -h - m*r = -r - 7, 2*h + 2*r - 12 = 0. Let t(u) = u**3 - 2*u**2 + 3*u - 12. Does 13 divide t(h)?
True
Let z = -695 + 805. Is 55 a factor of z?
True
Let b(j) = j**3 - 7*j**2 - 9*j + 11. Let l be b(8). Suppose l*y = 5*y - 10. Suppose y*a - 8*a + 108 = 0. Does 12 divide a?
True
Suppose -1 = 2*o - 5. Suppose 0 = -o*g + g + 4*w - 84, 16 = 4*w. Is (-2)/4 + g/(-8) even?
True
Suppose 5*c - 3*u = 2068 - 528, 0 = -2*u. Is 77 a factor of c?
True
Suppose -3*p + i = -2, -2*i - 2 + 4 = -3*p. Let a be (-1 - p) + 51*1. Does 9 divide (6/(-8))/((-2)/a)?
True
Is 16 a factor of 76329/44 - (-9)/(-12)?
False
Let b(i) = -i + 2. Let u(r) = 5*r - 17. Let d(m) = -6*b(m) - u(m). Let w = 24 - 13. Is 6 a factor of d(w)?
False
Is 13*2*(-20 + 22) a multiple of 52?
True
Suppose -77*g + 85*g - 6376 = 0. Does 28 divide g?
False
Suppose g + 6 = -2*y, 0*y - 4*g = 2*y + 12. Is ((-354)/12)/(y/4 - 0) a multiple of 32?
False
Let q = 462 - 315. Is 3 a factor of q?
True
Let l = 803 + -484. Does 37 divide l?
False
Suppose -5*d + 3*h + 552 = 0, 3*d - h - 3*h = 340. Let t(f) = 9*f + 8. Let g be t(-6). Let m = d + g. Is 17 a factor of m?
False
Suppose 8*r - 4*r = 56. Suppose 5*j = -r - 1. Let a = j + 26. Is 10 a factor of a?
False
Suppose -d + 6*d - 3*o - 26 = 0, 0 = 3*d - 4*o - 20. Suppose -594 = -d*c + 3*m, -2*c + 2*m = 79 - 375. Is c a multiple of 5?
True
Let o(y) = y**2 - 9*y - 7. Let n be o(10). Let t be n - 9*(-2)/(-3). Let x(a) = -13*a + 1. Is x(t) a multiple of 10?
True
Suppose 2*k + 18 = 5*r, k - 3 + 5 = -r. Does 31 divide (-75 + 5)*((-5)/2 + r)?
False
Let s(t) = 10*t - 7. Let h be s(-9). Let g be (-1 - h) + (2 - -2). Suppose 0 = 4*j + 5*i - g, j - 4*i + 1 = 26. Is j a multiple of 25?
True
Suppose -7*s + s = -1560. Is s a multiple of 26?
True
Let p be ((-120)/9)/(2/(-6)). Let i = -23 + p. Suppose j - 2*d - i = 16, -3*j - d + 134 = 0. Is 11 a factor of j?
False
Let q(k) = -5*k + 14. Let w(a) = a - 16. Let u(x) = 17. Let t(l) = -3*u(l) - 4*w(l). Let m(v) = -5*q(v) + 6*t(v). Is m(0) even?
True
Let v(z) = -z**2 - 21*z + 12. Let j be v(-22). Suppose i - 3*d + 0*d = 20, -2*d = -i + 18. Let k = j + i. Is k a multiple of 4?
True
Suppose -20 = -5*o + 25. Is 3 a factor of o?
True
Suppose 0 = 102*c - 83069 - 24439. Is c a multiple of 31?
True
Suppose 5*l = -4*y - 33, l = 3*y - l - 4. Let n be (-1 - 0)/(y/10). Suppose -4*r + n*x = -0*x - 43, 3*r - 15 = -2*x. Is 4 a factor of r?
False
Suppose 0 = 5*d - 2*c - 20468, 5*d - 20464 = -42*c + 43*c. Is 33 a factor of d?
True
Let a(y) = 73*y**2 + 10*y - 35. Is a(5) a multiple of 46?
True
Suppose 0 = 3*c - 312 - 45. Suppose 0 = -0*f - f + 3, -3*f = t - c. Is 7 a factor of t?
False
Le