/7 composite?
True
Is (-1 - -2) + (8676 - -22) composite?
False
Let o(q) = 9*q + 67. Let k be o(-7). Suppose -u + 2417 = -4*i, 0 = k*u - i - 2*i - 9655. Is u a prime number?
False
Suppose 3*u = 5*o - 10769, -5*o + 2*u + 10765 = -3*u. Is o composite?
True
Let t be ((-172)/(-6))/((-2)/(-36)). Let d = t - 103. Is d composite?
True
Let m(h) = 481*h - 1. Let q be m(1). Suppose 1358 = -2*k + q. Is (-9)/12 - k/4 a composite number?
False
Let h(c) = 6*c. Let d(i) = -4*i + 1. Let w be d(1). Let u be h(w). Is (1 - u)/(1/1) prime?
True
Suppose -8*y + 10*y = 4*l - 2664, 4*y - 1342 = -2*l. Is l a prime number?
False
Suppose 0 = -274*i + 270*i + 2084. Is i composite?
False
Suppose 0 = 4*l - 6*l + p + 1925, -3*p = -5*l + 4814. Let k = l - 638. Is k a composite number?
True
Suppose 3*c = 4*c - 5*s - 17, -85 = -4*c + 3*s. Let l = c + -22. Suppose -4*q + 213 + 103 = l. Is q prime?
True
Suppose -t + 49580 = 5*h, -4*h + 9*t - 4*t + 39693 = 0. Is h a prime number?
False
Suppose -18*y + 20292 = -6*y. Is y prime?
False
Let l be (-67374)/(-66) - 3*4/(-66). Suppose -2*u = -p + l, -u = p + 2*p - 3084. Is p a prime number?
False
Let h = -361 - 175. Is (16/(-4))/(-4) - (h - -2) composite?
True
Is 536472/(-72)*(1/(-1) + 0) prime?
True
Suppose 490*o - 79645 = 485*o. Is o prime?
False
Suppose -21778 = 12*w - 6490. Let b = w + 2181. Is b composite?
False
Let u(o) = -o**3 - 6*o**2 - 12*o - 13. Let c be u(-9). Suppose 87 = 5*a - c. Is a a composite number?
True
Suppose -7 = -3*l - 1. Let n(s) = 16*s**2 - 60*s + 55*s + 2*s**2 + l. Is n(3) a composite number?
False
Let b = -34102 + 48049. Is b composite?
True
Let g(h) = -h**2 + 2*h - 15. Let x be g(15). Let c = 423 + x. Is c a prime number?
False
Let t be (-36)/(-10) - 3 - (-18)/(-5). Is 0 + (t - 98)*-7 a prime number?
False
Let p(x) = 2*x + 2*x**2 - 3*x**2 + 887 + 72. Is p(0) composite?
True
Suppose -5*a - l + 34 = 0, -a - 2*l = -0*a - 5. Suppose -3*s + a*s - 148 = 0. Is s prime?
True
Let v(b) = b**2 + 7*b + 2. Let u be v(-7). Suppose -3*f + 226 = -u*f. Suppose -3*y + 221 = -f. Is y a prime number?
True
Let d = -26 + 28. Is (573/d)/(36/48) composite?
True
Suppose 30*i - 789214 + 113344 = 0. Is i composite?
True
Suppose 0 = 3*p + 3, 0 = -3*o + 6*p - 4*p - 31513. Let w = o + 17026. Is w composite?
False
Suppose -2*g + 3505 = 5*f, -5*f + 1935 = -3*g - 1595. Let x = f + -26. Is x a composite number?
False
Let g(c) = -413*c**3 - 17*c**2 - 12*c + 4. Let v(r) = -103*r**3 - 4*r**2 - 3*r + 1. Let k(w) = -2*g(w) + 9*v(w). Is k(-3) composite?
False
Let t(i) = 16*i**3 + 17*i**2 - 9*i**3 + 9 - 6*i**3 + 0 + 16*i. Suppose 3*q - 18 + 60 = 0. Is t(q) a prime number?
True
Let y(t) = -171*t - 18. Let g(a) = -86*a - 9. Let j(l) = 7*g(l) - 4*y(l). Is j(4) a composite number?
False
Let s be 6/135*363 + (-2)/15. Suppose -s = 4*z, 4*n - 11240 = -4*z + z. Is n a prime number?
False
Let f = 6 + -1. Let c(d) = 9*d**3 + 3*d**2 + d - 10. Is c(f) a prime number?
False
Let v be 11/(-44)*8/(-1). Suppose v*l - 3*l + 635 = 0. Is l composite?
True
Let c be 1/(-3) - (-70)/(-6). Let g(f) = -f - 16. Let h be g(c). Let x(q) = -171*q - 1. Is x(h) prime?
True
Suppose -4*q = -3*f - 1676, -12*q - 2*f = -7*q - 2118. Is q composite?
True
Let v = 4420 + 1099. Is v composite?
False
Let f(t) = 2 + 3*t + 0 + 5. Let b be f(20). Let v = 326 - b. Is v a composite number?
True
Suppose 4*p = -2*y + 9114, 22*p - 9109 = -2*y + 19*p. Is y composite?
False
Suppose 751 + 333 = 4*v. Let a = v - -244. Is a a prime number?
False
Suppose -5*b = -4*r + 12, b - 2*r = 5*b - 6. Suppose b = 15*d - 14*d - 521. Is d composite?
False
Let r = 21 + -20. Let t be (-2 - -7)*r/1. Suppose 949 = t*b - 506. Is b a prime number?
False
Let k(z) = 3*z**2 - 61*z**3 - z + z + 4*z**3 - 1. Let o = -6 - -4. Is k(o) prime?
True
Let k(t) = t**2 - 4*t - 9. Let c be k(7). Let r be (1/1)/(3/c). Suppose 5*v = 24 - 4, 0 = r*f - 4*v - 188. Is f prime?
False
Suppose -2*q + 474 = 3*y - 9485, 3*q = 5*y + 14948. Is q composite?
True
Let z(a) = a**3 + 5*a**2 - 5*a + 18. Let n be z(-6). Suppose -n*g - 4347 + 26151 = 0. Is g a composite number?
True
Let x(q) = 2 + q**2 + 7*q + q + 16*q**3 - 11*q + 5*q. Is x(3) composite?
False
Is 303356/543*(261/4)/3 a composite number?
True
Let t be 4/(-14) - (-37)/7. Suppose 0 = t*r, 1916 = 4*n + r + 4*r. Is n composite?
False
Suppose 0 = t + 3*t - 588. Let o = t + -80. Is o a prime number?
True
Suppose -5*w - 6443 + 20728 = 0. Is w a composite number?
False
Let t(c) = -c**2 + 58*c + 64. Is t(23) prime?
False
Suppose -3 - 32 = -7*o. Is 772/o - 39/(-65) a prime number?
False
Let y(a) be the first derivative of 54*a**2 - 2*a - 7. Is y(1) composite?
True
Suppose -2*s = -s. Let t = -4 + s. Let h(f) = -12*f**3 - 5*f**2 + 2*f - 1. Is h(t) a prime number?
False
Is (22/(-66) - 14575/(-3)) + 3 a prime number?
True
Is (-20)/(-8)*(-15570)/(-75) composite?
True
Suppose h + 39099 = 5*y, -2*h - 15306 - 15972 = -4*y. Is y/36 - (-6)/(-27) a prime number?
False
Let u = -751 - -1142. Let k = u + -276. Is k prime?
False
Suppose -2*z + 0*z + 30 = -w, 4*z = 4*w + 104. Let g(o) = 2*o**3 - 4*o**2 + 2*o - 1. Let h be g(4). Let c = w + h. Is c composite?
True
Let f(a) = -923*a - 103. Is f(-6) composite?
True
Is (-1 - 0)*(-78 - 2255) a prime number?
True
Let h be (-3 + 7)*(-3)/6. Let u = 4 + h. Suppose -7*o + 870 = -u*o + 3*q, -2*o + 329 = 5*q. Is o a composite number?
True
Let q = 1401 - 969. Let z = q + 175. Suppose 2*b = -5*s + z, 0 = -6*s + s - 3*b + 608. Is s prime?
False
Let y be (-40)/15*9/2. Let v = -8 - y. Suppose v*o - 56 = -0*o. Is o composite?
True
Suppose -36496 = -4*s + 3*u, -5*s - 3*u + 13010 = -32637. Is s a composite number?
False
Let v = -2 - -4. Suppose -5*q + 267 = -v*p, -57 = -3*q + 2*q + 4*p. Is q a prime number?
True
Let s = -17 - -19. Suppose 1009 = s*f - f. Is f a composite number?
False
Let z = -1798 - -6797. Is z composite?
False
Let x(v) = v + 12. Let z be x(-9). Suppose z*k + k + 12 = 0. Is 0*k/(-3) + 145 prime?
False
Let i(n) = 11938*n - 87. Is i(2) prime?
True
Suppose -10 = 10*m + 20. Is (-9)/m + 438 + 2 prime?
True
Let i be (-6)/4*((-50)/6 - -3). Suppose -396 - 332 = -i*c. Is c a prime number?
False
Let z(r) = 14*r**2 + 3*r + 4. Suppose -5*a = 3*f + 14, -9 + 2 = f + 4*a. Is z(f) a prime number?
False
Suppose -5*j + 9*j = 228. Suppose 4*u = 7*u + j. Is (u/(-38))/(2/2164) prime?
True
Suppose 0*j = 5*j - 10830. Is j/4 + 1 + (-6)/4 a composite number?
False
Suppose -76 = 4*t - 2*d, 5*d = t + 6*d + 19. Let p = t - -15. Let n(o) = -2*o**3 - 6*o**2 - 4*o + 5. Is n(p) composite?
False
Let z(f) = -190*f + 471. Is z(-29) prime?
True
Suppose 4*x = x + 6. Suppose 2*g - n - 270 = n, x*n - 564 = -4*g. Is g composite?
False
Suppose 12*k - 3*p = 9*k + 5037, -1677 = -k + 2*p. Is k a prime number?
False
Is ((-1)/3)/((-64554)/(-7173) - 9) a composite number?
False
Let i(q) = q + 4. Let o be i(-8). Is (-250 + (-8 - o))/((-2)/7) a prime number?
False
Let j(n) = 209*n + 8. Let i be j(6). Suppose 0 = 5*m + b + b - i, -3*b = -m + 266. Is m a prime number?
False
Let y(c) = -c**2 - 7*c + 6. Let d = -25 - -18. Let x be y(d). Suppose 5*l = -f + 183, 5*f = -4 - x. Is l prime?
True
Let c = -63 - -68. Suppose -5*q - c*t + 2407 = -2*t, -2*q = 5*t - 978. Is q composite?
False
Let o = 21799 - 10784. Is o a composite number?
True
Let g = 931 - -262. Is g composite?
False
Suppose -211*w = -208*w. Suppose -m + 2*c + 511 = 130, 2*m + c - 737 = w. Is m a composite number?
True
Let h(i) = 68*i**2 + 28*i + 159. Is h(-18) prime?
False
Is 280/(-1260) + 1512238/18 a prime number?
False
Let v(d) be the second derivative of d**5/20 - 11*d**4/4 - 14*d**3/3 + 43*d**2/2 + 4*d + 3. Is v(36) composite?
True
Let q(l) = 7 + 2*l - 2 - 3*l**2 - 7*l**3 + 6*l**2 + l**2. Let x be q(-3). Suppose 4*a - 4*c - 204 = -6*c, 3*c + x = 4*a. Is a prime?
True
Let y(b) = -125*b - 3. Let h(v) = 62*v + 1. Let c(l) = -5*h(l) - 3*y(l). Let n be c(-10). Let g = 1041 + n. Is g a composite number?
True
Let t(b) be the third derivative of -2*b**2 + 0*b - 1/3*b**3 + 0 + 331/24*b**4. Is t(1) a composite number?
True
Suppose -4*h + 4*i + 340 + 388 = 0, 0 = 4*h - 5*i - 732. Let l = h - 99. Is l prime?
True
Suppose 2*n - 4*z - 644 = 182, 4*n + 2*z - 1652 = 0. Is n a prime number?
False
Let h = 15794 - -49211. Is h a composite number?
True
Is 5735 - 5 - (3 - 4)*1