- 336/(-9)). Suppose 3*q = -w + t, w = -0*q - q + 19. Does 5 divide q?
True
Let o(l) = -8*l + 116. Let u be o(26). Is 18 a factor of 1509/4 - 69/u?
True
Let f(v) = -7310*v**3 + 27*v**2 + 42*v - 12. Is f(-2) a multiple of 256?
False
Let x be 3 - (-4 + 54/9). Let j(l) = 973*l - 13. Does 32 divide j(x)?
True
Let w be (-4)/(-6)*(-6 - -3). Let z be ((-1)/w)/(1/6). Suppose -6*t + 3*k + 129 = -z*t, 151 = 4*t + 3*k. Is t a multiple of 8?
True
Let q be ((-36)/45 - 0) + 1809/5. Suppose q*u = 366*u - 2030. Is u a multiple of 40?
False
Let x(u) = 205*u - 453*u + 43 + u**3 + 214*u - 16*u**2. Does 16 divide x(19)?
True
Suppose -5*z + 15 + 160 = 0. Suppose -z = -3*m + 4*u, 2*m - 3*u - 30 = -m. Is 3/(-9*m/(-1020)) a multiple of 20?
False
Suppose -g - 3205 = -244. Is g/(-72) + (-2)/16 a multiple of 4?
False
Let r = -6981 - -8678. Is 3 a factor of r?
False
Suppose -3*w = -4*o - 7, o + 5*w = -8 + 35. Suppose 0*j = -3*j + 4*c + 67, -o*j + 40 = -5*c. Let a = j - 21. Is 2 a factor of a?
True
Let t = -5544 - -5670. Is t a multiple of 4?
False
Does 30 divide (2*-50 + 0)*(-864)/40?
True
Let i = 163 - 183. Let h(s) = 6*s + 149. Is 10 a factor of h(i)?
False
Is (0 - (-78)/(-4))/((-15)/2330) a multiple of 39?
False
Suppose 4*a = 7*q - 194322, -3*q - 26*a = -28*a - 83280. Is 7 a factor of q?
True
Let z(s) = -28*s + 3*s**2 + 28 - 61 + 30. Is z(10) a multiple of 8?
False
Suppose 0 = 19*s - 23*s + 29276. Does 14 divide s?
False
Let f(k) = 136*k**2 - 110*k + 553. Is 12 a factor of f(8)?
False
Let i = 48 + -31. Let v(k) = 20*k**2 - 20*k + 15. Let w(r) = -7*r**2 + 7*r - 5. Let y(s) = i*w(s) + 6*v(s). Does 9 divide y(9)?
False
Does 15 divide (-144266)/(-30) - ((-80)/75)/8?
False
Let a = 5895 + -1818. Is a a multiple of 99?
False
Let m be 7/((-20)/7 - -3). Let i = m + -44. Let b = i - -33. Is 38 a factor of b?
True
Suppose 32*c = -131299 + 402372 + 334495. Is c a multiple of 38?
True
Let u(x) = x**2 + 4*x - 138. Let n be u(-10). Let i = -60 - n. Is 18 a factor of i?
True
Suppose -2*l + 475 = -5*a, -3*a - 2*l = l + 264. Let v = 22 + -13. Is ((-24)/v)/(-4) + a/(-9) a multiple of 10?
False
Let a(b) = b**2 - 6*b + 7. Let g be a(3). Let t be (-3)/g - (-66)/(-4). Is (-1030)/t + (-4)/6 a multiple of 17?
True
Is 17 a factor of ((-300)/(-45))/((-3994)/1332 - -3)?
False
Suppose 10*m = 1586 + 1764. Let a = m - 151. Is 23 a factor of a?
True
Suppose -221 = 8*o - 517. Suppose 33*a + 1440 = o*a. Does 20 divide a?
True
Let t(u) = -16*u**2 - 29 + u**3 + 37*u**2 - 20*u**2 + 5*u - 12*u**2. Let g be t(11). Suppose g*o = 19*o + 1197. Does 12 divide o?
False
Let n(i) = -i**3 + 18*i**2 - 8*i - 8. Let y be n(16). Let k = -115 + y. Is k a multiple of 9?
True
Suppose -16 - 14 = -u + 5*b, 0 = 5*u + 2*b - 42. Let i(r) = -r**3 + 20*r**2 - 25*r + 119. Is i(u) a multiple of 70?
False
Let p(b) = 4*b**3 + 8*b**2 - 14*b - 1. Let w(y) = 4*y**3 + 8*y**2 - 13*y + 1. Let c(g) = -6*p(g) + 5*w(g). Is 6 a factor of c(-5)?
True
Does 6 divide -3 + (51 + -43)*(1076 - -1)?
False
Is 135 a factor of -8 - (-35)/((-770)/(-101156))?
True
Let s(j) = 646 - 646 - 8*j. Suppose -5*z = 30 + 10. Does 32 divide s(z)?
True
Suppose 4*u - g - 2383 = 1424, -1909 = -2*u - 5*g. Is u a multiple of 68?
True
Suppose s = -32*u + 37*u + 8437, 5*s - 42095 = -5*u. Is 24 a factor of s?
False
Let a(x) = 6*x + 4614. Does 15 divide a(-109)?
True
Suppose -2*y - 60*h + 65*h = -1620, -3*y - 3*h + 2367 = 0. Is y a multiple of 77?
False
Is 145/580 - 3526/(-8) a multiple of 21?
True
Suppose 4*n - 7*n = -12. Let v(p) = -94*p - 968. Let u be v(-13). Suppose -n*d + 466 = -u. Does 18 divide d?
True
Let f(g) = 2*g**3 - 62*g**2 - 193*g - 11. Does 33 divide f(34)?
True
Let f(i) = -93*i - 8. Let u be -4*2/(-28) - (-45)/(-35). Is 17 a factor of f(u)?
True
Let i(h) = h**3 + 4*h**2 - 5*h - 7. Let q be i(-4). Let a = q + -13. Suppose 2*n - 66 = -a*n. Is n a multiple of 5?
False
Let v(c) = 34410*c**3 + 7*c**2 + c - 8. Does 186 divide v(1)?
True
Let b = -7076 + 13413. Is b a multiple of 5?
False
Let x be 12*((-12)/8 - -3). Suppose -4*b = -5*w - 28, -5*b + w = -w - x. Suppose 55 = b*q - 393. Is 19 a factor of q?
False
Suppose 20*r - 46 - 94 = 0. Suppose -7*j = r*j - 924. Does 6 divide j?
True
Let y = -49 - -50. Let i be (y - 1) + (-5 - (-5 - -2)). Does 3 divide (-2)/5 - i/((-20)/(-474))?
False
Suppose -h = -4*y + 12794, 482*y - h + 15988 = 487*y. Is 13 a factor of y?
True
Let z = 113 - 119. Is z/(-2 + -2 + 6) + 88 a multiple of 6?
False
Let l be -4 + (-4)/(-10)*10. Suppose l = 9*c - 2*c. Suppose c = -2*i - 4*q + 96, -4*i + 167 = 4*q - q. Is i a multiple of 29?
False
Suppose -144*v = -195*v + 290445. Is 40 a factor of v?
False
Suppose 42*i - 147858 = 10*i - 25*i. Does 34 divide i?
False
Suppose -23*b + 15*b = 0. Suppose 7*u - 755 + 188 = b. Does 33 divide u?
False
Let d(j) = 8 + 0 + 6*j**2 - 4 + 0 - j**3. Let g = 22 + -17. Is 5 a factor of d(g)?
False
Suppose -2*y = -3*i - 134448, 0 = -2*y + 5*i - 7*i + 134488. Is 86 a factor of y?
False
Suppose -2*v + 417 = 5*k + 71, -v = 3*k - 207. Let n = k - 133. Let x = n - -70. Is x even?
False
Suppose 50482 + 16664 + 24946 = 154*d. Is 37 a factor of d?
False
Suppose 16 = 4*m + 4. Suppose m*v - 3*j = 2133, -2*j - 2853 = -4*v - j. Is v a multiple of 17?
True
Let z(d) = d**2 - 5*d. Let k be z(-7). Let a = k - 22. Suppose j - 2 - a = 0. Does 16 divide j?
True
Let a = 173 + -275. Let g = -75 - a. Does 27 divide g?
True
Is 19 a factor of 22/33 + (-104687)/(-33)?
True
Let z(c) = -c**2 + 3*c - 35. Let n be z(8). Is 9 a factor of ((-324)/(-5))/(-2 - 160/n)?
True
Let p be 1/12 - (-138)/144*2. Suppose 13*q + 517 = 2*z + 10*q, z - 262 = -p*q. Is z a multiple of 13?
True
Let a(n) = -7*n + 84. Let g be a(13). Let q(t) = 11*t**2 + 6*t - 46. Does 41 divide q(g)?
True
Does 25 divide -3 + 27/((-27)/(-3428))?
True
Let r = 6627 - -6397. Does 44 divide r?
True
Is 26 a factor of (-6)/10*(-553610)/69?
False
Suppose 2*z - 118 - 180 = -4*c, -3*z - 2*c = -435. Suppose 0 = -4*b + 615 - z. Is 17 a factor of b?
False
Suppose 2*v = -2*v + 4, v = 2*r - 6729. Suppose -11*q = -5501 - r. Does 58 divide q?
False
Suppose 37*q - 35*q + 11*q = 299234. Is 34 a factor of q?
True
Let q(m) = 781*m**2 + 278*m + 2016. Is 34 a factor of q(-8)?
True
Let w be (32/3)/((-3)/(-18)). Let j = w + -62. Does 32 divide ((-7)/(147/36))/(j/(-224))?
True
Let l(v) = 135*v - 42. Let c be l(-4). Let m = 726 + c. Is m a multiple of 8?
True
Let p(q) = -7*q**2 - 5*q + 10. Let k(t) = 8*t**2 + 6*t - 11. Let l(c) = -5*k(c) - 6*p(c). Let d be l(-2). Is 39 a factor of (-6)/(-15) - (1378/(-5) + d)?
True
Does 23 divide (-24 - 870540/(-24)) + (-2)/4?
True
Let s be 2*(-1)/1 + 150. Suppose 23*n - s = 25*n. Let u = n + 99. Does 6 divide u?
False
Suppose -8*n + 10 = -3*n. Suppose 195 = 2*v - n*a - 991, -4*v + 2384 = 2*a. Is v a multiple of 32?
False
Suppose 4*p + 2*v - 250 = 66, -3*v = -5*p + 384. Suppose -p*u + 1715 = -73*u. Is 49 a factor of u?
True
Suppose 253 = -4*r + 2817. Let g = r + -422. Suppose -h + 3*t + g = 6*t, -15 = -3*t. Is 51 a factor of h?
True
Suppose b - 4*t + 37 = -t, -4*b - 128 = -2*t. Let k = b + 43. Suppose 9*l = 13*l - k. Is l a multiple of 3?
True
Let p be 11/(-1) - (-4)/(9 - 5). Is 2*15/p + 103 a multiple of 20?
True
Let k be -4 + 5/((-25)/45). Let c be (-3)/(-4) + k/(-4). Suppose 2*r + 4 = 3*r, -312 = -c*z + 2*r. Does 16 divide z?
True
Let f = 4360 + -4102. Is f a multiple of 6?
True
Suppose -10*w = 7 + 3. Is 28 a factor of w + -2 + (2 - 3) + 60?
True
Let u be (-10)/(35/(-28)*2). Suppose 0 = 3*n + 3*g - 411, -n = u*n - g - 691. Is n a multiple of 23?
True
Let a be (-11)/((-165)/558) - (-8)/10. Suppose -f + 228 = -a. Does 14 divide f?
True
Let v(u) = -3973*u + 3. Let s be v(-1). Let b be 2/10 - (4 - s/20). Is 4 + 2/3*b/10 even?
False
Let z be 2*(-5 - 2)/(2/(-4)). Suppose -z*c = -11*c - 816. Is c even?
True
Suppose 2*b = -0*b + 5*g + 3, 0 = 2*b + 4*g + 6. Let u(v) = -66*v - 5. Let y(s) = 66*s + 4. Let i(c) = -3*u(c) - 4*y(c). Does 7 divide i(b)?
False
Let g = -1497 - -7566. Is 21 a factor of g?
True
Let c(n) be the second derivative of 1/3*n**4 - 13/6*n**3 + 0*n**2 - 12*n + 0. Does 23 divide c(9)?
True
Let o(w) = 12*w**2 + w - 6. Let b(y) = -11*y**2 - 2*y + 7. Let h(a) = 3*a - 35. Let g be h(13). Let x(u) = g*o(u) + 3*b(u). Is 14 a factor of x(-1)?
True
Let s(q) = 1606*q - 926. D