t, 0 = 5*p + 3*t - 1303. Does 20 divide p?
True
Let z(p) = 73*p + 28. Is z(6) a multiple of 15?
False
Let z = -259 - -390. Does 7 divide z?
False
Let r(u) = -30*u + 5. Let m(h) = -31*h + 5. Let q(w) = 2*m(w) - 3*r(w). Is q(5) a multiple of 37?
False
Does 84 divide (-435 + 3)*(27/(-12) - 3)?
True
Is 29 a factor of -4 + 12 - (-170 + 4)?
True
Let r(u) = 9*u**2 - 2*u + 12. Let t be r(5). Suppose 5*d = 3*d - 3*n + t, n = -1. Does 23 divide d?
True
Let j(k) = -k**2 + 8*k + 8. Let g be j(8). Let z be (g/(-12))/(4/(-180)). Let f = z - 12. Is f a multiple of 18?
True
Suppose 10*x = -5*u + 1180, 5*x + 38 - 509 = -2*u. Is 34 a factor of u?
True
Let o be (-519)/(-15) + 6/(-10). Let w = -20 + o. Is w a multiple of 7?
True
Let c = 145 - 55. Let m = c + -59. Is m a multiple of 8?
False
Suppose 404*l = 392*l + 17424. Is 33 a factor of l?
True
Suppose 396 = 44*g - 42*g. Is 9 a factor of g?
True
Suppose -q + 3*q = -5*x + 303, 5*q = -2*x + 117. Let h = x + -2. Is h a multiple of 40?
False
Suppose -45 - 187 = -2*q. Is q a multiple of 11?
False
Suppose -6 = -o - 3. Suppose -3*d - 8*i + 25 = -o*i, 3*i - 15 = d. Suppose d*x + x = 3. Is x a multiple of 2?
False
Suppose -1 = -4*a + 3*s, -2*a = -s + 4 - 3. Let t(u) = 9*u**2 + u + 1. Is 32 a factor of t(a)?
False
Let f be 24*(39/12 - 1). Let b be (-24)/(-10) - (12/30 - 0). Suppose f = b*p - 98. Is 38 a factor of p?
True
Let v be -12*2*(-225)/40. Let p = v - 69. Is 11 a factor of p?
True
Suppose 337 = -13*g - 40. Let m(f) = -f**3 - 30*f**2 - 37*f + 2. Is m(g) a multiple of 18?
True
Let g = -5 + 8. Let v(n) = 2*n**2 - 9*n + 7. Let h be v(5). Suppose y + h = -5*s, -g*y + 5*s + 52 = y. Is y a multiple of 3?
False
Let g(t) = -3*t + 7. Let n be g(3). Is 24 a factor of (40 - n)*(5 + -1)?
True
Let d be 11 - 8 - (-60 - 3/(-3)). Suppose -z = 4*x - 114, -d = -2*x - 2*z - z. Is x a multiple of 26?
False
Let l(x) = -2*x + 0*x - 11 - 2*x. Suppose -t - 16 = 5*a, -4*t - a + 0*a - 26 = 0. Is l(t) a multiple of 13?
True
Let a(f) = 8*f + 28. Let i be a(4). Let k = i + -35. Does 5 divide k?
True
Let o = 797 - 360. Is o a multiple of 15?
False
Let k = 730 - -857. Is 69 a factor of k?
True
Suppose 0 = 2*h + j - 29, -26 - 24 = -3*h + 5*j. Let b be 179/(-1)*-5*1. Does 20 divide b/h + 1/3?
True
Let n(w) = -8*w**3 + 1. Let l = -4 - -9. Suppose -l*i - 8 = -i. Is n(i) a multiple of 11?
False
Suppose 0 = a - 5*d - 26, 3*a + 2*d + 16 - 43 = 0. Let n(t) = t**3 + 9*t**2 - 8*t + 11. Let m be n(-10). Let o = a - m. Does 8 divide o?
False
Let n = -1117 + 1129. Is n a multiple of 2?
True
Suppose 52*u - 50*u + 4*h = 1608, 0 = 2*u - h - 1598. Is 11 a factor of u?
False
Let j(w) be the second derivative of -w**5/20 + 5*w**4/12 - w**3/3 + 3*w**2 + 5*w. Let m be j(5). Does 23 divide -105*m/6 + -1?
True
Suppose -4*m + 3*m = 2*m. Suppose 2*y + 4*k - 140 = 0, 5*y + 2*k = -m*y + 358. Is y a multiple of 36?
True
Let u = 2 + 0. Suppose v - 37 = -0*c + 2*c, -u*c = -2. Is 13 a factor of v?
True
Suppose -4*s + 6*s = 166. Suppose 5*y - s = -4*v, 2*v = -7*y + 2*y + 79. Is 5 a factor of y?
True
Let d = -5 + 7. Suppose -2*c = 4*n - 184, 0 = -n - 0*n + d*c + 46. Is 8 a factor of n?
False
Suppose 63*d = 50*d + 3796. Is 4 a factor of d?
True
Let k = 53 - 78. Suppose -2*q = q - 150. Let f = q + k. Is 5 a factor of f?
True
Suppose 0 = y - 3*y + 3*h, 4*y = 5*h + 2. Suppose -2*q = 0, l = -2*l - y*q + 198. Is l a multiple of 22?
True
Suppose -4*u - 11 - 53 = 0. Let o = 32 + u. Suppose -5*x + o + 4 = 0. Is x a multiple of 4?
True
Suppose 0*j - 4 = j, -3*a - 188 = 2*j. Let b = a + 114. Suppose 3*y = 5*q - b, 0 = q + 3*q + 4*y - 56. Is q a multiple of 5?
False
Let q be (0/(-1))/2 + 0. Suppose 2*a - x = -a + 96, q = 4*a - x - 128. Suppose -2*g - a = -4*g. Is g a multiple of 16?
True
Let s = 12 - 10. Suppose 3*g - 3*x + 5*x - 136 = 0, x = s. Suppose -n - 4 = -g. Does 20 divide n?
True
Let w(p) = -339 + 337 + 7*p**2 + p - p**2 - p**3. Let x(m) = 2*m - 4. Let a be x(5). Does 4 divide w(a)?
True
Let a(p) = -p**3 + 15*p**2 + p - 11. Let v be a(15). Let q(l) = l**2 - 2*l - 6. Let h be q(v). Is 23 - h/(-3)*6 a multiple of 9?
True
Suppose -5*r = 5*n, 3*n - n = -2. Let v(z) = -z - r + 1 + 4*z - 3. Does 2 divide v(4)?
False
Let a be 4/12*0 + 2. Suppose 5*l - 29 = -2*n, 5*l - 15 = a*l. Suppose -8*p + n*p = -240. Does 20 divide p?
True
Let j = -48 + 51. Suppose -4*h - 133 = -5*x, -j*h + 19 = x - 0*h. Is 9 a factor of x?
False
Suppose 4*u - 1 = 3*y, -2*y = 5*u - 4*y - 10. Suppose 4*n - 515 = 5*b, -n + 3*b = u*n - 634. Is n a multiple of 25?
True
Suppose 12*l = 8*l - 3*i + 1610, 812 = 2*l + 5*i. Does 42 divide l?
False
Is 144 + 10*(-14)/(-35) a multiple of 4?
True
Let d(o) = -71*o - 1. Does 17 divide d(-6)?
True
Suppose 0 = 164*j - 158*j - 16704. Does 96 divide j?
True
Let n(x) = -125*x + 892. Is n(4) a multiple of 56?
True
Suppose 21 = -2*i + 3*x - 3, i + 2*x = -19. Let k(b) = -7*b - 45. Is k(i) a multiple of 12?
True
Suppose 0 = -17*d - 1665 + 7955. Is d a multiple of 21?
False
Let d = -69 - -73. Suppose -o - 387 = -5*o - 5*w, d*o + 2*w - 390 = 0. Is o a multiple of 7?
True
Suppose 2*a + 320 = -3*a. Let y = a + -1511. Is 18 a factor of (-2)/(-3)*y/(-14)?
False
Let q(r) = -r**2 + 8*r + 3. Suppose y - 5 - 3 = 0. Let d be q(y). Let g(n) = -n**3 + 4*n**2 + 2*n - 5. Does 5 divide g(d)?
True
Let d = 112 - 40. Is 6 a factor of d?
True
Suppose 2*p = 1528 - 576. Is p even?
True
Let x(p) be the first derivative of 2*p**2 + 35*p - 2. Is 7 a factor of x(0)?
True
Let g(o) = o**3 + 7*o**2 - 6*o + 5. Let q(i) = i**3 + 9*i**2 - 10*i + 2. Let l be q(-10). Let t = l - 8. Is g(t) a multiple of 20?
False
Suppose 3*u + 4*d = 3*d - 18, 0 = -2*u + 4*d - 12. Let i be (-10)/u - (-15)/45. Suppose 0 = i*h + h + 4*x - 113, -5*h - 2*x + 207 = 0. Does 19 divide h?
False
Let n(r) = 10*r + 32. Let z be ((-8)/4)/(5/(30/4)). Is n(z) a multiple of 2?
True
Suppose 0 = -u + 22 - 52. Let m = u - -55. Suppose -2*w + 59 = w + z, z = w - m. Does 4 divide w?
False
Let k be 1 + (-3)/1 - -4. Let d(r) = -k*r + 8*r - r + 10 + 0*r. Is 15 a factor of d(7)?
True
Suppose 3*u - 7*u - h = -13, 4*h - 19 = -5*u. Let x(n) = 12*n**2 - 6*n - 4. Does 19 divide x(u)?
False
Suppose -412 = -2*l - 3*i, -5*l + 5*i + 536 = -519. Does 11 divide l?
True
Suppose 12*g - 15*g - 1677 = -3*l, 3*g = -9. Does 55 divide l?
False
Let j = 2741 - 1391. Does 45 divide j?
True
Let f = 35 + -33. Suppose -4*p + 74 = -326. Suppose -14 = -z + b, -f*z + 7*z + b - p = 0. Does 7 divide z?
False
Does 2 divide (-4 - 0) + ((-2240)/14)/(-5)?
True
Let w = -84 + 85. Let s(d) = 111*d**3 + d**2. Is s(w) a multiple of 24?
False
Suppose 4*k + 10 + 244 = a, -4*k = -12. Is a a multiple of 8?
False
Let t(a) be the third derivative of -11*a**4/24 + a**3/6 + 9*a**2. Let s be t(1). Let c(j) = j**2 + 10*j + 9. Is c(s) even?
False
Let q = 6 - 10. Let j be (-2)/(q*2/(-92)). Let u = -9 - j. Is u a multiple of 7?
True
Is -9 - (-3288)/(8 + -2) a multiple of 11?
True
Let y(f) = 20*f + 426. Does 42 divide y(27)?
True
Let u(b) = 6*b**3 - 7*b**2 + 9*b + 4. Let l be u(4). Suppose 6*h - 228 = l. Does 9 divide h?
True
Let t be (4 - 1)/(30/20). Suppose 5*y + 4*u - 378 = t*y, 0 = y - 4*u - 126. Does 11 divide y?
False
Let m = -1 + 3. Let h(l) = -l**2 + 1. Let w be h(m). Is 1 - (-74 - w/(-3)) a multiple of 20?
False
Let b(x) = -183*x + 42. Does 9 divide b(-4)?
True
Does 44 divide (-42322)/(-35)*(-40)/(-16)?
False
Let n be (37 - -5)/6 - -53. Suppose 108 = 4*q - 3*o - 2*o, 0 = 2*q + 2*o - 54. Suppose 22*d = q*d - n. Is d a multiple of 6?
True
Let c = 551 + -309. Is c a multiple of 22?
True
Let j(m) = -m**3 - 11*m**2 - 18*m - 28. Is 16 a factor of j(-11)?
False
Let p = -146 + 263. Suppose 0*k = 3*k, 2*k + p = 3*y. Suppose 2*a - y = 57. Is a a multiple of 12?
True
Suppose -4*j - 4*u = -52, 3*j - 2*j + 5*u - 13 = 0. Let w(i) = i**3 - 4*i. Let d be w(3). Let p = d + j. Is 11 a factor of p?
False
Suppose 35*p - 40968 - 7192 = 0. Does 32 divide p?
True
Let h = 285 - 138. Suppose 3*s - 115 = -o, -o + h = s - 6*s. Does 19 divide o?
False
Suppose 3*c - p - 2*p - 33 = 0, c = 4*p + 17. Suppose c = -q - 2*q. Is (q + 2)/(2/(-206)) a multiple of 27?
False
Suppose 35 = -0*w + 7*w. Suppose -w*u + 721 = d, -2*d = 3*u - 7*d - 455. Is 29 a factor of u?
True
Suppose 2*j - 3*j - 3*u = -95, 10 = 2*u. Suppose -120 = -3*h + 4*q, 0*h