
True
Let s be ((-13092)/(-20))/(9/15). Let m = s + 3480. Is m composite?
True
Suppose -95*v + 1796265 = -50*v. Is v a composite number?
True
Is 6 - ((-26332919)/298 + (1 - (-5)/(-2))) a composite number?
True
Suppose 458 - 323 = 5*d. Is ((-14)/(-4))/(d/16902) prime?
False
Let c(s) be the first derivative of 2*s**3/3 + s**2 - 33*s - 7. Let b be c(0). Is (7 + -2)/(1 + 30/b) a prime number?
False
Let t = 1506630 - 1059229. Is t a prime number?
True
Suppose 63*p = k + 60*p - 1111318, k + 4*p = 1111283. Is k a composite number?
True
Let x = -71 - -74. Let q(j) = 2 - 2*j**3 + 3*j**x + 0*j**3 + 15 - 11*j + 3*j**2. Is q(8) composite?
True
Let t(v) = v**2 + 4*v - 18. Let w be t(-7). Suppose 0 = w*j + 4*j - 24843. Suppose 11704 = 4*g - 4*z, -618 = g + 4*z - j. Is g prime?
True
Is -1*(-39)/(-13)*180759/(-9) a composite number?
True
Let y be (-21 + 7)*((-238)/4)/1. Let u = 2856 - y. Suppose u = 16*j - 313. Is j a composite number?
True
Let l(x) = -6*x**3 + 261*x**2 - x - 144. Let t(d) = -d**3 + 52*d**2 - 29. Let y(p) = -2*l(p) + 11*t(p). Is y(-42) a prime number?
True
Let v(q) = 126*q - 23. Let j(c) = 60*c - 14. Let i(m) = 59*m - 15. Let o(r) = 3*i(r) - 4*j(r). Let w(f) = 7*o(f) + 3*v(f). Is w(-7) prime?
True
Let t be 30/(-40) - 23/(-4). Suppose z - j + 20393 = 5*z, t*z = 4*j + 25507. Is z composite?
False
Suppose -f = -3*j + 22222, j = -2*j - f + 22226. Let s = -4947 + j. Is s prime?
False
Suppose -5*i + 3*i + 5772 = 2*v, -10 = -2*v. Suppose -3*d + 2*c = 23072, -2*c + 35575 + i = -5*d. Is (d/9)/2*6/(-4) prime?
True
Let q = -258 + 272. Suppose -q*j = -12*j + 3*m - 2288, 2*j + 4*m = 2290. Is j a composite number?
True
Let h be 862*(-3 + 0 - 0). Let b = h + 518. Is (b/(-6))/(30/45) a composite number?
True
Let g(f) = 1938*f**2 + 25. Is g(-3) a composite number?
False
Is ((-78)/(-390))/((-3)/(-10)) - (-191078)/6 a prime number?
True
Let m be 9/(-45) + 432/10. Let a = 46 - m. Suppose a*u - 1618 - 11 = 0. Is u a composite number?
True
Let f(u) = -10*u**2 - 9*u + 29. Let g = 5 - 6. Let x(d) = -1. Let a(l) = g*f(l) - 3*x(l). Is a(-9) a prime number?
False
Let q(u) = -u + 40. Let j be q(-10). Let y = 50 - j. Suppose y*i - 9092 = -5*l - i, 0 = -l - 2*i + 1813. Is l a prime number?
False
Let n(d) = 10*d**2 + 28*d - 115. Let v(p) = p**3 + 9*p**2 + 16*p + 5. Let j be v(-6). Is n(j) a composite number?
False
Is (-3 + -2 + 3)*6/(-60)*1020295 composite?
False
Let r(y) = y**3 + 2*y**2 - 21*y - 3. Let d be r(9). Suppose -2*n + 7183 = 5*b, -b + 3*n = -741 - d. Is b a prime number?
False
Suppose 6 - 14 = -4*q. Suppose -q*y = -26 + 8. Is 2/y + (-37842)/(-54) a composite number?
False
Let i(q) = 1161*q**2 + 43*q + 503. Is i(23) a composite number?
False
Let b(x) = -8*x + 19. Let q(k) = k**3 + 14*k**2 - 5*k + 6. Let y(s) = -s**2 - s. Let a(i) = -q(i) - 5*y(i). Let l be a(-10). Is b(l) composite?
False
Let m = -4 - -8. Suppose m*q - 20 = -0*q. Suppose q*i + 377 = 2*z, -230 = -z + 4*i - 43. Is z composite?
False
Let y(p) = 49*p**2 + 23*p + 191. Is y(-10) composite?
False
Suppose 47*p = -5*p + 24*p + 1903804. Is p composite?
False
Let c(k) = 850*k**2 + 256*k + 5. Is c(9) a prime number?
False
Is -7 + 910 + 224/14 a prime number?
True
Let n be -2*2/(-8)*(29 + -19). Suppose -2 - 18 = -n*a. Suppose -l = a*l - 4195. Is l a prime number?
True
Let m = 369322 + -851608. Is (1 - (-3)/(-2))/(21/m) composite?
False
Suppose -159064 = -h - 3*f + 419658, 0 = 3*h - f - 1736156. Is h a composite number?
False
Let p = -41 + 43. Suppose -3*g - 3972 = -3*a + p*g, 0 = 2*a + 3*g - 2648. Suppose -2*i - a = -6*i. Is i a prime number?
True
Let x = -14 + 19. Suppose x*a + k = -k, 15 = -3*k. Suppose -a*c + 1486 = -0*c. Is c composite?
False
Suppose -2*w = -11323 - 1963. Let d = 9316 + w. Is d composite?
False
Let y = 196692 + -116811. Is y prime?
False
Suppose 3*h = -2*f + 12666 - 566, -8080 = -2*h - 4*f. Let v be -471*-5*476/35*1/(-12). Let x = v + h. Is x prime?
True
Suppose -5*f + 4*p + 27 = 0, 0 = -3*f - 4*p + 3 - 6. Suppose 4*n = -f*w + w - 20, 0 = -2*n - 5*w - 2. Is n/(-27) + 709/9 prime?
True
Suppose 3*s + 196264 = 31258. Is (-6)/12 - s/12 composite?
False
Suppose 2*i = 2*s + 396630, 2*i - 396636 = -2*s + 6*s. Suppose -33*f + i = -9*f. Is f a composite number?
False
Suppose h = u + 15401, 10*u - 5*u = -20. Let d = h - 8644. Is d a prime number?
False
Suppose 5*u - 10 + 5 = 0. Suppose -21 = g + g - 5*m, 2*g + u = m. Is ((-31)/g + -1)*-2 a composite number?
True
Suppose 35*j + 147*j - 228091318 = 0. Is j a composite number?
False
Let r(h) be the third derivative of -3*h**6/20 - h**5/6 - 17*h**4/24 - h**3/2 + 180*h**2. Is r(-4) prime?
False
Suppose 0 = -2*h + 5*j + 33, 6*h - 2*j - 30 = h. Suppose 0*o = -2*z - 3*o + 30309, 2*o - 60614 = -h*z. Is z composite?
True
Let h be (-16 - 2)*-1*(-16)/(-12). Let c be (h/(-16))/(-2 - (-9)/6). Suppose p = c*p - 254. Is p a prime number?
True
Suppose 4129069 + 4078438 = 77*y. Is y composite?
False
Let g be (-10)/80 + 69988/32. Suppose -568 = -2*p + 3*b + g, -4*p = -5*b - 5513. Is p composite?
True
Let c = -17994 - -27924. Suppose 0 = -2*d + c + 13096. Is d a composite number?
True
Suppose 2*f - 4 = 2, 3*o + 4*f = 12. Suppose o = -2*u + 4*r + 20, -6 = -2*u + 5*r + 17. Suppose -5*d - u*q = q - 4665, 2*q = -8. Is d a prime number?
True
Suppose -1096043 = -20*l - 68703. Is l a composite number?
True
Let g = 99457 - -124294. Is g a composite number?
True
Let j(m) = 9*m**2 - m. Let s be j(1). Let r be ((-6)/(-21))/(14/539). Suppose r*n = s*n + 33. Is n a composite number?
False
Let r(m) = m**3 - 33*m**2 + 82*m - 49. Is r(37) prime?
True
Let i = -16 + 18. Suppose i*n - 2313 = -555. Suppose -3*x = -0*x - n. Is x prime?
True
Suppose w - 5*z - 42 = 0, 3*w + 0*w - 4*z = 71. Suppose -3*p + w = 2*m, 2*p = -4*m + 14 + 8. Suppose -6*r - p*r = -5823. Is r prime?
True
Suppose 42 - 10 = 4*p. Suppose -p*k = -k - 28. Suppose 2*r + k*t - 2806 = 0, r - t = 4*t + 1389. Is r composite?
False
Let x(g) be the second derivative of g**7/840 - g**5/30 - 5*g**4/12 - 7*g**3/6 - 9*g. Let y(f) be the second derivative of x(f). Is y(7) composite?
True
Let d(w) = 11*w**3 - 7*w**2 - 2*w + 5. Let v(r) = 10*r**3 - 8*r**2 - 2*r + 6. Let y(l) = 3*d(l) - 2*v(l). Let g be y(-3). Is (-8)/20 - g/5 composite?
True
Suppose -4*g = -5*i + 3*i, -i - g = -6. Is i + 34/(-4)*(-1580)/10 a composite number?
True
Suppose 0 = -11*w + 16*w + 16705. Let o = 1809 + w. Let v = o - -3633. Is v a prime number?
False
Is ((1 + 1)*(-64505960)/(-80))/((-8)/(-8)) prime?
True
Suppose 4*n - 3 = -103. Let v = -26 - n. Is ((-2)/(-8))/(v*(-1)/2348) prime?
True
Let j(p) = -p**3 + 7*p**2 + 8*p + 3. Let s be j(8). Suppose -s*r + 3*d = -2469, -4*d + 8 = -8*d. Suppose -2*f + f = -r. Is f composite?
False
Let w(d) = 7975*d**2 - 36*d + 181. Is w(4) prime?
True
Suppose -16*v + 527302 = -68874. Is v a composite number?
True
Let b be 7 + (6 - 8) - -1. Suppose 9*u = b*u + 8997. Is u a prime number?
True
Is 3/(-21) - (-12)/2*(-388044)/(-1134) a prime number?
True
Let k(l) = -25 - 3086*l + 2408*l + 2645*l. Is k(6) a prime number?
True
Let y be 4 - 2 - ((-10)/(-2) + -3). Suppose -3*p + 10*t - 8*t + 4856 = y, 2*t = -2. Is p a prime number?
False
Let m be (0 - (-2)/(-4))*-160. Suppose -5*x + 0*g = -5*g - 250, -2*x = 2*g - m. Suppose 2*o - 78 = 2*w, -o + 4*w + 0*w = -x. Is o prime?
True
Let g(n) be the second derivative of 423*n**3/2 - 74*n**2 + 2*n + 17. Is g(3) a composite number?
False
Let l = -146802 - -244609. Is l a composite number?
True
Let c be (-39054)/9*(-15)/10. Let r = c - 2832. Suppose 2*h - 4*i - r = i, -5*h + i + 9204 = 0. Is h a composite number?
True
Let t(p) = -50*p**3 - 18*p**2 + 119*p + 1526. Is t(-12) a composite number?
True
Let b(c) = -2*c**3 - 2*c**2 - 3*c - 4. Let o be b(-2). Suppose 3*w + o = 2*r - 0*w, -2 = w. Is (r + 3)/(-1)*(-166)/10 prime?
True
Let s be 2*(-15)/(-20)*8/6. Suppose s*i - 2 = 3*i. Is (6/(36/(-1155)) + -2)*i prime?
True
Let l(m) = 5*m**3 - 13*m**2 + 21*m - 244. Is l(11) prime?
False
Is (-1557)/(-12)*((-3221)/(-3) - -5) prime?
False
Let u be 2/4 + (3768/16 - -6). Let i be ((-4)/(-2))/2*(u - -9). Suppose -13*o + 1790 = -i. Is o a composite number?
False
Let n(k) be the second derivative of -11*k**3 - 6*k**2 + 3*k. Let j be n(-1). Is (-12)/j*-2193 + 2/(-6) composite?
False
Suppose 3*z + p = -18, 6*z - 2*z 