, 0 = 3*r + 2*u - 122484. Is r a multiple of 11?
True
Let i = 255 + 49. Let d be i*((-60)/(-48) + 2/(-8)). Suppose z + z - d = 0. Is z a multiple of 13?
False
Suppose a - 135 = -4*a. Let q be ((-9)/a)/((-1)/(-33)). Let n = 41 + q. Is n a multiple of 18?
False
Let i(p) = -p**2 + 1. Let c be i(0). Suppose 11 = n - c. Suppose -n*s + 7*s = -100. Does 10 divide s?
True
Let z = -3690 + 6090. Does 20 divide z?
True
Let n(u) = -775*u - 1961. Does 23 divide n(-7)?
False
Suppose 6 = -3*a, 4*a - 7485 = 5*g - 18283. Suppose -35*c + 33*c + g = 0. Is 13 a factor of c?
True
Suppose -17 = -f + 28. Let l = f + 47. Let u = l + -77. Does 5 divide u?
True
Let x be 0 - (-5 - -1 - 413). Let s = -89 + x. Is 8 a factor of s?
True
Let d be 0 + -5 + 7 + 3. Suppose -d*u + 3*b = -b - 220, -u - 3*b = -25. Is u a multiple of 3?
False
Suppose 4*k + 4*x - 8424 = 0, 10506 = -442*k + 447*k - x. Is 4 a factor of k?
False
Suppose -113220 = -24*i - 13*i. Does 102 divide i?
True
Let y(f) = 221*f + 84. Let v(g) = 73*g + 29. Let j(x) = 17*v(x) - 6*y(x). Does 46 divide j(-5)?
True
Suppose -5*h + 15 = -50. Let u(y) be the first derivative of -y**3/3 + 7*y**2 + y - 11. Does 3 divide u(h)?
False
Let a = -41847 + 43329. Is 13 a factor of a?
True
Suppose -2*o - 5*n = -35, 3*o + 0*n = -2*n + 36. Suppose 3*g - 455 = -o*g. Let z = -2 + g. Is 12 a factor of z?
False
Let q = 42057 + -23278. Is q a multiple of 22?
False
Suppose 5*x + 215 = 5*p, -189 + 11 = 4*x - p. Let k be 78/27 + 8/(-9). Does 6 divide (29 - (k - 0))*(-120)/x?
True
Let s(i) = -51*i + 3626. Is 10 a factor of s(14)?
False
Is 14 a factor of ((-145168)/215)/((-2)/10)?
False
Suppose 3*g - 652 = -655. Let t(q) = 74*q**2 + 4*q + 4. Is t(g) a multiple of 37?
True
Suppose -5*i - 3*z = -z - 37, -4*i - 5*z = -33. Suppose -700 = -i*v + 1484. Is 39 a factor of v?
True
Is 17 a factor of (-7 + (5 - (-7)/14))*-5542?
True
Let c = -176 - -176. Suppose -u - 5*n + 568 = c, -12*n = -16*n - 16. Is u a multiple of 17?
False
Let c(r) = -r**3 + 13*r**2 - 13*r + 20. Let m be c(12). Let j = m - -10. Suppose 4*o - j - 66 = 0. Does 21 divide o?
True
Suppose -639*t = -786*t + 559776. Is 16 a factor of t?
True
Let m(a) = -91 - 4*a**2 + 5*a + 10*a + 5*a**3 - 3*a**3 - 14*a**2 + a**2. Is m(11) a multiple of 11?
False
Suppose -111 = -2*f - 3*z - 37, 0 = -2*f - 4*z + 70. Let y = f - 39. Does 19 divide (-245)/(-5) + y + -4?
False
Let f(q) = -5*q + 9. Let r be f(0). Suppose -33*o + 576 = -r*o. Is 4 a factor of o?
True
Let j = -37 - -34. Let l be j/(-1) + -5 - -38. Suppose -a = -107 - l. Is 23 a factor of a?
False
Is 20 a factor of 60/(-2 - 3)*((-3068)/12 - -7)?
False
Let f = -10188 - -19356. Is 25 a factor of f?
False
Let i(w) = 3*w**2 - 8*w + 5. Let x be i(11). Suppose 55*c = 57*c - x. Suppose 4*a + 158 = 3*f, -4*f - 5*a + c = -f. Does 11 divide f?
False
Let r be (-10)/2 + (141 - (-1)/(-1)). Let t be ((-696)/(-32))/(1/(-4)). Let v = t + r. Does 11 divide v?
False
Let f be (2253/6 + (-1)/2)/1. Suppose 5*i - 3*i + 174 = q, -2*q - 5*i = -f. Is 15 a factor of q?
True
Let c(k) = -189*k - 20. Let v be c(-3). Let t = 842 - v. Is 31 a factor of t?
False
Suppose -4*x = -x - 174. Let o = x + -94. Let v = 45 + o. Does 2 divide v?
False
Let p(x) = -x**3 - 3*x**2 + 2. Let j be p(2). Let i = 24 + j. Is 13 a factor of (1 - 7)/(i/(-39))?
True
Suppose -c + 39 = -8. Let a = 51 - c. Suppose 4*f + 2*h = 54, 0*f + 2*h + 74 = a*f. Is f a multiple of 16?
True
Let z be 7542/(-42) + (-9)/21. Does 28 divide (-21)/9*(-19)/((-95)/z)?
True
Is 86 a factor of 407654/10 - 3003/2145?
True
Let r(x) = -2*x**2 - 251*x**3 + 26 + 44*x - 44*x - 25. Is r(-1) a multiple of 25?
True
Suppose 10*o + 18*o = 140. Suppose 0 = -o*c - 3*k + 4018, 5*c - 3263 = 2*k + 775. Is c a multiple of 31?
True
Let y(q) = 9*q**2 - q - 5. Let i = 56 - 53. Let l be y(i). Let g = l + -36. Is g a multiple of 37?
True
Let n = 37076 - 25736. Does 18 divide n?
True
Suppose 61*z = 14*z - 32*z + 1723464. Is 101 a factor of z?
True
Let t(u) = 48*u - 49. Let k be t(15). Suppose -2*w = 3*j - 1260, 4*w - 5*j - 1849 - k = 0. Is w a multiple of 21?
True
Let r = -11 + 17. Let x be 3/r + (-875)/(-2). Suppose -s + x = 4*d - 3*s, 2*d + 3*s = 231. Is d a multiple of 19?
False
Let a be -3 + (-40)/(-12) - 62/(-3). Let u be (-1 - a/(-3))/2. Suppose u*x = 4*o - o - 222, 0 = -o + 4*x + 65. Does 11 divide o?
True
Let t(i) = -1278*i - 35. Let d be t(-9). Suppose -14*x + d = -3499. Is 11 a factor of x?
False
Suppose 12*d = 33*d - 4061 - 68998. Is 71 a factor of d?
True
Suppose 0 = 3*f + 5*x - 5 + 4, 5*f - 19 = -4*x. Suppose 0 = -2*k + f*k - 3350. Suppose 256 = 2*q + 2*m, -k = -4*q - q + m. Is 47 a factor of q?
False
Suppose 0 = 4*o + 5*q - 6351, q = 9*o - 13*o + 6339. Is 24 a factor of o?
True
Let h(f) = -13*f + 15 + 10 + 244*f**2 - 15 + 16. Is 16 a factor of h(2)?
True
Suppose 4*w - p - 1989 - 2452 = 0, 4*p + 2210 = 2*w. Is 3 a factor of w?
False
Suppose 0 = 3*z - 6*z + 43470. Suppose 0*f = -23*f + z. Does 18 divide f?
True
Let o(w) = -2*w - 72. Let y be o(-29). Let p(h) = h**2 + 6*h + 41. Is p(y) a multiple of 3?
True
Suppose 9482 + 4675 = 33*a. Let h = a - -489. Is h a multiple of 18?
True
Let x(f) = -456*f - 357. Is x(-2) a multiple of 2?
False
Let d(c) = c**3 + 16*c**2 - 3*c + 26. Suppose -25 - 38 = 5*r - 2*b, 2*r = -2*b - 14. Is 31 a factor of d(r)?
False
Is ((-5)/1)/(65/(-91)) + 159 a multiple of 23?
False
Let m(k) = -k**2 + 20*k - 28. Let o be (-2)/(-3)*(-120)/(-75)*15. Is m(o) a multiple of 9?
True
Let g be (-330)/(-132) - (-2 - 5/(-2)). Is 240/g + 1 + -1 + -1 a multiple of 5?
False
Suppose -2*m - 5*d = -4*d - 10528, m - 5264 = 3*d. Is m a multiple of 9?
False
Let i(y) = -757*y - 26. Is 4 a factor of i(-2)?
True
Let w(t) = -t - 4*t + t**3 + 0*t + 20*t**2 - 9*t - 7*t + 27. Is w(-17) a multiple of 23?
False
Let j(l) = -43 - 6*l**2 + 66 - l**3 - 16*l + 20*l**2. Let p be j(12). Let k = p - 54. Is 3 a factor of k?
False
Let r(f) = -f + 34. Let d be r(30). Suppose -280 - 609 = -2*u - 3*m, d*m = 12. Suppose 2*v = 4*v - u. Is 23 a factor of v?
False
Let g(t) = 2208*t + 318. Is g(29) a multiple of 18?
True
Is (-1042)/6*(16 - (55 + -30)) even?
False
Suppose 0 = -5*u + 8*u - 5*l - 22951, -6*l = 5*u - 38180. Does 10 divide u?
False
Suppose 0 = -3*x - 8*x + 924. Suppose u - 29 - 10 = -2*r, x = 2*u + r. Does 4 divide u?
False
Let c(o) = 5*o**2 - 14*o - 28. Let u be c(-3). Let z = 333 + u. Is z a multiple of 49?
True
Let a be 1 + (-3 - 0) - -4. Suppose 0 = 2*w + 8, -a*y - 3 = y + 3*w. Suppose 378 = y*l + 4*l. Does 11 divide l?
False
Suppose 7164 = -20*t + 22*t - 4*i, -i - 3589 = -t. Is t a multiple of 31?
True
Suppose 79*d = 76*d + 2*y + 46654, 5*d = -4*y + 77764. Does 14 divide d?
False
Let v = -42 + 44. Is ((-21)/v)/7*2744/(-21) a multiple of 7?
True
Let v = 14965 - 7546. Is 50 a factor of v?
False
Is 16 a factor of 242*1099/42 - (-2)/15*-10?
False
Let l(q) = -7*q**3 + 52*q**2 + 19*q + 167. Is l(-11) a multiple of 11?
False
Let c be (-5 - (-38)/34) + 2/(-17). Is (-32)/12*531/c a multiple of 5?
False
Let u = 37474 - 8248. Does 29 divide u?
False
Let c = -251 - -255. Is 2 a factor of 1/c - (3 + (-1041)/12)?
True
Does 9 divide (-44)/77 + (-342060)/(-70)?
False
Let x = -71 + -442. Let w = 432 - x. Is w a multiple of 15?
True
Suppose m - 3*k = 259, m = 5*k - 17 + 268. Is 30 a factor of (2*-4)/(1353/m - 5)?
False
Let g = -674 - -1276. Let s = -305 + g. Does 33 divide s?
True
Let u be (-8)/68*1 + 132/(-34). Does 8 divide (0 + u)/(2 - (-1026)/(-510))?
False
Let g be ((-546)/15)/(4/20). Let z(r) = r**3 - 4*r - 10. Let q be z(7). Let u = g + q. Is 26 a factor of u?
False
Let t be 17/7 - (-3)/(-7). Suppose 3*u = 3*b + t*b - 2534, -2*b + u = -1013. Is 7 a factor of b?
False
Let j = 3338 + -202. Does 49 divide j?
True
Let n be ((-3)/(-2))/((-9)/(-1506)). Let j = 282 - n. Is j a multiple of 10?
False
Let d be 0 + (-171)/(-2) + 1/(-2). Let z = d + -12. Suppose -2*r = 5*j - 595, j + 2*r - z = 54. Is j a multiple of 25?
False
Suppose 0 = 3*n - 3276 - 708. Suppose 21*s = 5*s + n. Does 2 divide s?
False
Suppose 4*r + 20 = 0, -4*c + 35 = -3*r + 8. Suppose 2*x + c*f + 216 = 3*x, 0 = -5*x - 5*f + 1040. Does 77 divide x?
False
Suppose 0 = -o + 4*z + 36373, 9*o - 7*o = 3*z + 72751. Does 7 divide o?
False
Let v be (3 - 2)/((-1)/(-7)). Suppose 6*z = v*z - 112. Suppose -2*p + p