 954 + -10. Is t a multiple of 19?
False
Suppose 39*v - 37*v + 4*q - 6060 = 0, 2*v - 5*q = 6024. Is v a multiple of 12?
False
Suppose -4*n + 93 = -v, 3*v + n - 165 = -457. Let c = -128 - -69. Let j = c - v. Is 19 a factor of j?
True
Suppose 2*a + 5 = 3*a. Suppose a*w - 482 = 7*w. Let o = 355 + w. Is o a multiple of 21?
False
Let j(g) = -g**2 - 4*g + 5. Let r be j(-5). Suppose 164*p = 162*p + 22. Is 5 a factor of p - (r - 5/(-5))?
True
Let w(s) = s - 1. Let y(n) = -72*n + 5. Let h(f) = -4*w(f) - y(f). Let d(b) = 135*b - 1. Let t(m) = -3*d(m) + 5*h(m). Does 21 divide t(-1)?
True
Let y be (-14*1)/(6 - 8). Let o = -2 + y. Suppose -2*d + q = -0*d - 179, o*d - 441 = -4*q. Does 18 divide d?
False
Is 40 a factor of -10*316*(-13)/13?
True
Suppose 1422 - 110 = 16*j. Let g = -9 + j. Is 5 a factor of g?
False
Let w = 1422 - 658. Is w a multiple of 76?
False
Suppose -4*v = -15 + 3. Suppose v*f = -0*f + 288. Suppose 9*x - f = 5*x. Is x a multiple of 8?
True
Does 17 divide (9 - -64)/((-5)/(-5))?
False
Suppose -10 = 3*s + 2*f, -14 = 2*s + 6*f - f. Is -3 + (10 - -3) + s even?
True
Let s(d) = d**3 - 9*d**2 - 5*d. Let z be 1*(-2)/10 + (-1785)/(-175). Is 7 a factor of s(z)?
False
Suppose 3*v + 11 = -1. Let s be 5 - (0/v - -3). Suppose -184 = -3*o - s*a - 3*a, -4*a - 16 = 0. Is 17 a factor of o?
True
Suppose -3*m - 3 = -9. Suppose g + 0*a = -a + 7, -g = -m*a - 7. Suppose c + 126 = 2*x, c + g - 70 = -x. Is x a multiple of 9?
True
Let b = 69 - 163. Is (0 + 4/(-8))*b a multiple of 6?
False
Suppose -q - 237 = 8*v - 4*v, 2*v + 96 = 4*q. Let s(r) = -r**2 + 8*r + 6. Let n be s(9). Let j = n - v. Is 9 a factor of j?
False
Let d(c) = c**2 - 10*c - 20. Let n be d(12). Suppose s = -5*y + 4*s + 267, -n*s - 104 = -2*y. Is y a multiple of 6?
True
Suppose 3*z + 6 = 21. Suppose l - 4 = z*f, 17 - 5 = 3*l + f. Suppose l*c = 4*k + 416, -2*k + 310 = 3*c - 4*k. Does 34 divide c?
True
Suppose -u + 8 = 3*u. Suppose 2*t = -u*t + 5*g - 2, -5*t + 3*g + 4 = 0. Suppose -2*p + 5*l = -80, 3*p + t*p - 227 = -l. Is 15 a factor of p?
True
Let x(g) = 3*g**2 + 15*g + 4. Let d(u) = -u**2 - u + 1. Suppose -m - 10 = 4*m. Let l(a) = m*d(a) - x(a). Does 9 divide l(-5)?
False
Let r(d) = -d**2 + 36*d + 38. Let f be r(20). Let c = f - 248. Does 34 divide c?
False
Suppose 0 = 3*p + 3*h - 6129, -5*p - 7*h - h + 10200 = 0. Is p a multiple of 32?
True
Suppose a - 2*c = 2*a - 607, a - 3*c = 602. Is 12 a factor of a?
False
Let b be (-1 + 0)/(6/(-42)). Suppose -b*h - 36 = -4*h. Let r = h + 27. Is r a multiple of 8?
False
Let q = 535 + 422. Does 13 divide q?
False
Suppose -393 = -4*g + 667. Does 4 divide g?
False
Suppose -2*w - 4 = 5*f, -2*f - 23 = 3*w - 3*f. Let g be (-6 + 4)*w*1. Does 15 divide (g - -1)/(8/24)?
True
Let h = 40 + 290. Is h a multiple of 11?
True
Let p = 1072 + -612. Suppose -9*h - p = -14*h. Is h a multiple of 13?
False
Let f(t) = -t**3 + t**2 - t + 1. Let w(l) = -5*l**3 - 6*l**2 - 14*l - 49. Let p(g) = -6*f(g) + w(g). Does 10 divide p(13)?
True
Suppose 4*j = -v - 150, -144 = 4*j + v + 3*v. Let i = j - -10. Let f = 16 - i. Is 11 a factor of f?
True
Suppose -4*z + 1 + 15 = 0, 0 = -4*t - 3*z + 28. Suppose 15 + 45 = t*v. Let s = 59 - v. Does 35 divide s?
False
Does 34 divide -34*(-7 + (-120)/(-5))/(-1)?
True
Let a = 243 + -367. Let m = -68 - a. Does 22 divide m?
False
Let b = 7 + 2. Let u = 13 - b. Suppose -6*d + u*d = -38. Is 19 a factor of d?
True
Suppose 4*y - y + 5*h = 7, -y = 3*h - 1. Suppose -10*n - y = -11*n. Does 4 divide n?
True
Let n = 5274 - 2882. Does 52 divide n?
True
Let a(z) = -z + 5. Let b be a(5). Let p(n) = -n + 73. Let t be p(b). Let o = t + -6. Does 18 divide o?
False
Suppose 0 = -5*y + 15, 3*y - 336 = -5*f + y. Suppose 0 = -6*r + 300 + f. Is 11 a factor of r?
False
Suppose j - 218 = -p, -3*p + 4*j = j - 642. Does 27 divide p?
True
Let b(n) = -8*n. Let s be b(1). Let j = 11 + s. Suppose 2*q + 35 = 3*y, 0*q + 25 = j*y - 4*q. Does 7 divide y?
False
Suppose 5*n - 382 = 4*v, 4*n - 5*v - 314 = -6*v. Is 14 a factor of n?
False
Let p = -7 + 13. Suppose x + p = 4*x. Does 8 divide x/1*114/12?
False
Let t = 20 - 13. Does 8 divide (-10)/(-35) - (-425)/t?
False
Is 0 + (-15673)/(-35) + 3/15 a multiple of 11?
False
Suppose 4*d + 4*s = 192, -d + 4*d + 2*s = 149. Is 18 a factor of -3 + (-2 + d - -1)?
False
Suppose -2*m = -2*t + 344, -7*t + 684 = -3*t - 3*m. Does 56 divide t?
True
Let d(f) = 2*f**2 + 12*f - 6. Let g be d(5). Suppose -4*s = -3*z + 412, -2*z + 276 = -0*z - 4*s. Suppose 5*c - z = g. Is c a multiple of 24?
True
Suppose 0 = -3*n - 2 + 11. Suppose -n*q + 2*q = -2. Suppose q*w = 42 + 8. Does 19 divide w?
False
Let f(i) = 31*i**3 - 10*i**2 - 21*i - 1. Is 18 a factor of f(5)?
False
Suppose -f - u = -41 - 34, 4*f = 4*u + 324. Is f a multiple of 6?
True
Suppose -3*v + 104 = -2*y, -2*v + 127 = 2*v - 5*y. Is v a multiple of 12?
False
Suppose 2*z - s = -54, -s + 2 = -2*s. Is 17 a factor of (-4 - 120/z) + (-1900)/(-14)?
True
Let j = -6 + 11. Suppose j*f - 73 = 17. Does 18 divide (-1)/(-3) - (-1362)/f?
False
Suppose -z - 4*z + 15 = 0, 0 = 3*d - 4*z - 372. Suppose 0 = 2*i - 0*i - d. Is 16 a factor of i?
True
Is 30 a factor of -6 - (-3 + -2 - 280)?
False
Suppose -5*d - 59 = -499. Suppose 3*x = -d - 62. Let n = x + 86. Is 12 a factor of n?
True
Suppose -3*n - s + 249 = 0, 3*n - 3*s = 4*n - 83. Does 11 divide n?
False
Suppose 0 = -2*g - 2*g - 136. Let c = 345 + g. Does 26 divide (-3)/(-12) - c/(-4)?
True
Is (13 - 11)/((-9)/(-630)) a multiple of 35?
True
Let p = 4392 + -2412. Is 60 a factor of p?
True
Let r = 11 + -11. Suppose r*o = 2*h + 5*o - 3, 2*o = 3*h - 14. Suppose -3*v = -5*v - 5*f + 48, 4*v - 96 = h*f. Is 24 a factor of v?
True
Suppose -5*o - 30 = -a, 9*a - 7*a + 15 = -5*o. Let n = -2 - -2. Suppose -a*w = 2*v - 122, n*w + 3*w = 4*v - 270. Is v a multiple of 22?
True
Suppose -4*o = -2590 - 3550. Is 44 a factor of o?
False
Let g be 3/(-11) - (-464)/88. Suppose -3*p + 285 = -33. Suppose -5*v + p = t - 181, -10 = -g*t. Does 15 divide v?
False
Let g(n) = -n - 2*n + 2*n - 14. Let h be g(-7). Is 12 a factor of ((-48)/(-28))/((-1)/h)?
True
Suppose 0 = 4*t + 2*g - 4, -5*t + 4*g - 3*g + 19 = 0. Suppose -m + 3*v = -309, -3*m + t*v = -0*m - 903. Is m a multiple of 33?
True
Let q be (-1)/(3 - (-40)/(-12)). Let c be 0 + q + (-27)/(-3). Is 1*-68*c/(-16) a multiple of 14?
False
Let i = -297 + 342. Suppose -2*a + 0*a = -28. Let m = i - a. Is m a multiple of 9?
False
Suppose -5*p + 3993 = k, 2*p - 2387 = -p - 5*k. Does 47 divide p?
True
Let b(l) = 2*l**2 - 13*l - 27. Let i(p) = p**2 - 6*p - 13. Let d(v) = -6*b(v) + 13*i(v). Let h be d(5). Suppose -5*n = -6*n + h. Is 9 a factor of n?
True
Suppose -3*m = 5*k - k + 41, 12 = -4*m. Let y = k - -25. Let p = y + -4. Does 11 divide p?
False
Let f be (-3 - -4)*-3 + 17. Let y(z) = -f*z + 5*z - 11*z. Is y(-1) a multiple of 10?
True
Let h be 0*((-10)/4 - -3). Let y(x) = -x**3 + x**2 - 8. Let u be y(h). Let s = 32 + u. Is s a multiple of 12?
True
Let t(j) = -2*j - 12. Let o be t(-7). Suppose -o*c + 6 = 3*v + 2, 0 = -c - 5*v + 2. Suppose q + 54 = 5*q + c*b, -3*q - 4*b + 33 = 0. Is q a multiple of 15?
True
Let f(g) = 3*g - 7 + 3*g - 11 + 7. Does 5 divide f(10)?
False
Let h(u) = u + 9. Let x be h(-6). Suppose -2 = c - x. Suppose 5*z = -3*q + z + 89, 0 = z + c. Is 11 a factor of q?
False
Let c = 564 - 396. Suppose -2*f = 4*t - 544, 2*f + 104 = 2*t - c. Is t a multiple of 34?
True
Suppose 0 = 6*h - 231 + 267. Let x be 1 + (-1 - 0 - 0). Is 3*((-46)/h - x) a multiple of 5?
False
Suppose -414*h = -418*h + 332. Is 10 a factor of h?
False
Let l(n) = 54*n**2 + 2*n + 2. Let q be (4/(-8))/((-3)/(-6)). Is 9 a factor of l(q)?
True
Is 52 a factor of 7 + 105/(-14) - (-210)/4?
True
Let k(t) = -t**2 + 84*t + 245. Does 16 divide k(37)?
True
Let y(v) = 2*v**3 - 6*v**2 + 8*v - 4. Let x(l) = -3*l + 5. Let c be x(0). Does 22 divide y(c)?
False
Suppose 4*s - 38 = -2*g, 5*s + 2*g = 7*g + 10. Let r = 7 - s. Is 4 a factor of r/(0 + 2) - -7?
False
Suppose 11*p - 18 = 5*p. Suppose 0*c = -3*c + 4*b + 686, -3*c = -p*b - 681. Is c a multiple of 37?
True
Does 4 divide 192 + (-6)/5*10/3?
True
Suppose 0*g + 7*g + 273 = 0. Let o = g + 58. Is 6 a factor of o?
False
Let h = -1970 - -2114. Is h a multiple of 2?
True
Let t(f) = 6*f - 8 + 3*f**2 - 2 + 12*f - 13*f. Does 10 divide t(5)?
True
Let l be 3*3 - (10 