)/2*1682. Let r = -581 - b. Is r a prime number?
True
Suppose -3*a - 600574 = -29*a. Is a a prime number?
True
Let m be ((-3)/(-6))/(-3 - (-23)/8). Let u be 100*-1 - (-1 + 1). Is m/(-10) + (-114060)/u composite?
True
Let l be (265 + 0)*(-84)/(-30). Suppose p + 4*w = -541, -3*p + w = 855 + l. Let y = p - -1164. Is y composite?
False
Let y(r) = 4*r - 83. Let c be y(23). Suppose -5*q = -11061 + 461. Suppose -q = p - c*p. Is p prime?
False
Suppose -p + 34141 = 5876. Is p a prime number?
False
Suppose -4*f + 4267 = 4*m - 3925, -f - 5*m + 2060 = 0. Is f a prime number?
False
Let z(y) be the second derivative of y**4/12 - 5*y**3/3 + 5*y**2/2 - 7*y. Let n be z(10). Suppose 0 = n*f - 52 - 733. Is f composite?
False
Let h be (48/(-36))/(2/(-6)). Suppose -3385 = -h*j - 653. Is j a prime number?
True
Let k(g) = -8*g - 27. Let b be k(-15). Suppose -2*w - 4*c + 651 = b, 4*c + 16 = 0. Is w prime?
False
Suppose -14*s + 18*s = -2252. Let f = 1246 + s. Is f prime?
True
Let m = 2927 + 2852. Is m a prime number?
True
Let t(q) = -q**3 + q**2 + q - 1. Let m(j) = 2*j**3 - 30*j**2 + 4*j - 11. Let u(v) = -m(v) - 3*t(v). Is u(-21) composite?
True
Let k be -3 + 3 + (2219 - 2). Let x = k - -2428. Is x composite?
True
Let i = -7 + 12. Suppose -i*q = 39541 + 11624. Is (-4)/6*q/18 a composite number?
False
Let j(v) = -v**3 + v**2 + 3*v - 2. Let q be j(2). Suppose 30*s - 29*s - 149 = q. Is s a composite number?
False
Let m(h) = h**3 + h**2 + h - 127. Let i be m(0). Let a(k) = 4*k**2 + 2*k + 4. Let v be a(-7). Let c = i + v. Is c a prime number?
True
Let u be (-183)/(-6) - 3/6. Let g = 24 - u. Is 1/((g/3)/(-98)) a prime number?
False
Let j = -5 + 5. Suppose j = 2*i + s - 852 + 268, -3*s = 5*i - 1459. Suppose 5*g + h - i = 1247, 0 = -g + 4*h + 287. Is g a composite number?
False
Is (-240)/(-160)*(-442)/(-3) composite?
True
Suppose 2*j + 951 + 12321 = 4*h, -2*h + 3*j = -6628. Let w be h/15 + (-2)/(-3). Suppose 2 = -4*d + w. Is d composite?
True
Let d = 14 + -10. Suppose -g = d*g. Suppose 4*s - 3*m = 337, -2*s - s + 5*m + 250 = g. Is s prime?
False
Let c(w) = -3*w**3 - 12*w**2 - 21*w - 41. Is c(-22) a composite number?
False
Let w(z) = -8*z + 219. Is w(10) prime?
True
Suppose 9*v - 109149 = 218748. Is v prime?
True
Let x = -15 - -28. Let m(o) = 5*o + 2. Let g be m(9). Let n = g - x. Is n a prime number?
False
Suppose -4*h - 3*x - 32968 = -134519, -2*x = 5*h - 126937. Is h a composite number?
True
Let z(b) = 2*b**2 + 9*b - 21. Let v(y) be the third derivative of y**6/120 - 13*y**5/60 - y**4/2 - 7*y**3/3 - 3*y**2. Let l be v(14). Is z(l) composite?
True
Suppose -10*j + 26 = 16. Is (2*(-597)/(-6))/(j/5) a prime number?
False
Suppose 15*m + 2167 = 13882. Is m a composite number?
True
Suppose -4*f = -3*o - 38007 + 951, 4*o = -f + 9283. Is f prime?
False
Let y(o) be the first derivative of -5*o**4/4 + 10*o**3/3 + 11*o**2/2 + 3*o + 2. Let r(p) = -p**3 + p**2 + p. Let m(k) = -6*r(k) + y(k). Is m(5) a prime number?
False
Is (-18)/(-30)*5 - -15724 a prime number?
True
Let j(q) = 730*q**2 - q. Let k be j(1). Suppose 4*u = 3*y - k, -1192 = y - 6*y - u. Is y composite?
False
Suppose 0 = -3*q - 2442 + 25335. Is q composite?
True
Let p(l) = -l**2 + 6*l + 3. Let x be p(5). Let w = -6 + x. Suppose -27 + 411 = 3*c + 3*u, -w*c + 2*u = -252. Is c prime?
True
Suppose 985*q - 981*q - 72052 = 0. Is q prime?
True
Let c = 0 + -6. Let i be (262 + 5)*(-4)/c. Suppose -w + 69 = -i. Is w composite?
True
Suppose 6*w + 3*k = 3*w + 32493, 3*k = -w + 10831. Is w a prime number?
True
Suppose -3*q - 5 = -l + 1, 0 = l + 3*q. Suppose a = 7 - l. Suppose 3*c - 3*g - 24 = 0, a*g + 2 = -6. Is c a composite number?
True
Let q = -320 + 214. Let s = 6 - 81. Let l = s - q. Is l a prime number?
True
Let d(a) = -a**2 + a + 3. Let w be d(0). Let n be -1272*w/2*-1. Let q = -1343 + n. Is q a composite number?
True
Suppose 2*q - 9078 = -4*u, 8524 + 5097 = 3*q + 5*u. Is q composite?
False
Let k = 3125 - 1588. Is k composite?
True
Let q(r) = 38*r**2 + 4*r - 143. Is q(-16) a composite number?
False
Let s be (3/(-9))/((-2)/(-6) + 0). Is s/(-5) + 5268/10 composite?
True
Let l = -2 + 5. Suppose 4*u + 2*w = -l*w + 933, -5*w - 726 = -3*u. Is u a prime number?
False
Suppose 4*l + 2*n + 14 = 0, 0 = 5*l + 4*n + 1 + 12. Let p be 26/8 + l/20. Suppose -3*x + 2352 = -h, -3*x + p*h = -h - 2343. Is x a composite number?
True
Suppose 0 = -3*h + 38 + 7. Suppose 5*k + 3*y + 2 = 17, 3*y = -4*k + h. Suppose k = 3*i + 2*n - 485, -2*i + 5*n + 825 = 3*i. Is i composite?
False
Suppose n + 4*m + 7980 = 5*n, -n = m - 1985. Is 1 - n/4*(-8)/5 prime?
True
Let a = -1782 + 2817. Suppose -j - 131 = -a. Let w = j + -501. Is w a prime number?
False
Let d(t) = -89*t**3 - t**2 - 2*t - 1. Let j be 2 + -5 - 10/(-5). Is d(j) a composite number?
False
Let w = -8 - -30. Suppose 2*r - 166 + w = 5*k, 2*r - 164 = -5*k. Is r a composite number?
True
Let u(v) = 5*v**3 - 55*v**2 + 68*v - 19. Is u(21) a prime number?
True
Suppose 8310 + 7476 = 6*w. Is w/(-6)*(-2 + 0) composite?
False
Suppose 0 = 3*q - 235 - 83. Is q a prime number?
False
Let k(o) = -3*o - 14. Suppose -4*c = -c + 18. Let z be k(c). Suppose 0 = -z*w + 909 + 23. Is w composite?
False
Let k be (-30)/(-20)*(-1 - -3). Let m be 8/(-2) + (k - -3). Suppose -2*n - 574 = -m*c, -865 = 2*c - 5*c + 2*n. Is c prime?
False
Is 5*(337924/(-20))/(-1) a composite number?
False
Let w = 2449 + 35262. Is w a prime number?
False
Suppose -2*c + 2296 = -42. Is c a prime number?
False
Suppose 3*s = 4*u + 6, 4*u = 3*s + 9*u - 6. Suppose -3*w = -2*c + 593, 1210 = 2*c + s*c + 2*w. Is c composite?
True
Let p(c) = c**3 + 10*c**2 + 10*c + 12. Let g be p(-9). Suppose g*o - 1061 + 182 = 0. Is o composite?
False
Suppose 754369 = -2*d + 79*d. Is d a prime number?
False
Let a be (2/1)/((-1)/236). Let z = 729 - 1042. Let l = z - a. Is l a prime number?
False
Let f(q) = -109962*q**3 - 5*q**2 + 4. Is f(-1) composite?
False
Suppose p - 242 = -2*z + 3*p, 469 = 4*z + p. Let w = z - 39. Is w prime?
True
Let s = 15 + -9. Let a(h) = -13*h**2 - 2*h - 6. Let l be a(s). Let o = l + 1481. Is o a prime number?
False
Is (-10 + (9 - -3))/(4/10454) composite?
False
Suppose 2*n + 55 = 3*v + 16, v + 57 = -4*n. Let i = n - -94. Is i prime?
True
Let v = -34 - 176. Let z = 541 + v. Is z prime?
True
Suppose 4 = -o - 3*o, 4*o - 156 = -2*g. Suppose 0 = 5*z + 4*f - 1921, -z - 5*f + 481 - g = 0. Is z a prime number?
False
Suppose -i = -n - 5*i + 590, -5*n - 5*i + 2905 = 0. Is (n + 4)*(9/(-6) + 2) prime?
False
Let n(p) be the second derivative of -5/6*p**3 - 1/20*p**5 - 2*p + 0 - 3/4*p**4 - 1/2*p**2. Is n(-10) prime?
True
Is 5*((-4628)/(-20) + 6) prime?
True
Suppose 5*q - 7195 = -2*z, -z + 4276 = -q + 682. Is z a prime number?
False
Let x(r) = -r**3 + 3*r**2 - 4*r + 4. Let i be x(2). Let q = i - -118. Is q a prime number?
False
Suppose -13*s + 11*s = -22. Let b = s - 15. Is 2/(b*(-1)/38) composite?
False
Let q = 3569 + 758. Is q composite?
False
Let x(k) = 1495*k + 4. Let w(g) = 997*g + 3. Let m(o) = -8*w(o) + 5*x(o). Is m(-1) prime?
False
Let b(n) = 11*n**3 - n. Let i be b(1). Let f be 6532/10 + (-2)/i. Let p = f - 330. Is p composite?
True
Let x(y) = 7*y + 6 + 10 - 24 + y**2. Let t be x(-8). Suppose t = -w - 37 + 150. Is w a composite number?
False
Is (-13 - (6 + -2))*-450 + 5 prime?
False
Let m be 0*(-2 - (-3)/2). Suppose -5*a - 118 + 3 = m. Is 3/(-9)*a*3 prime?
True
Let f be 36/(-27)*(-18)/4. Let p be 17/(-2)*(-108 + f). Suppose 0 = 7*k - p - 176. Is k a composite number?
False
Let y be (-21630)/(-147) - (-12)/14. Let d(w) = -33*w. Let u be d(-7). Let h = u - y. Is h a prime number?
True
Is 2/(-5) - (-5122350)/250 a composite number?
True
Suppose 2*h - 3*h = 2. Let s be (-141)/h + (-5)/10. Suppose -i = -1, -2*a + 3*a + i - s = 0. Is a composite?
True
Let f(c) = c**2 - 12*c. Let i(z) = 4*z**2 - 49*z - 1. Let j(t) = 9*f(t) - 2*i(t). Suppose -47 = 2*n - 37. Is j(n) prime?
False
Suppose -2*w - g + 8 = -5, 0 = -2*g + 10. Suppose 0*k - h = -2*k + 310, 0 = 2*k + w*h - 310. Is k prime?
False
Suppose 3*u + u = 32. Suppose 0*f = 2*f - u. Suppose 7*d - f*d = 237. Is d a composite number?
False
Suppose 0 = -7*h + 4*h + 16872. Suppose -h = -m - 3*m. Suppose -m = -3*o - 269. Is o composite?
False
Let u(q) = 3*q**2 + q - 14. Let p be u(-6). Suppose 5*a - p = 5*h + 3*a, 4*h = -5*a - 