 Is k composite?
False
Let v = -7 - -12. Suppose -v*l + 18 = l. Suppose -l*b + 72 = -543. Is b a prime number?
False
Let o(h) = -h**3 + 17*h**2 - 12*h - 7. Let a(q) = -3*q - 31. Let d(u) = u**3 - 8*u**2 + 4*u + 6. Let c be d(7). Let w be a(c). Is o(w) composite?
True
Let p = 209 - 203. Suppose 0 = 3*m - s - 16033, 0 = -0*s + 3*s - p. Is m a prime number?
False
Let y(d) = 19*d**3 - 11*d**2 + 2*d + 1. Let c = 675 - 670. Is y(c) composite?
False
Let f(v) = -43*v - 8. Suppose 15 + 25 = 5*d. Suppose -7 = 9*q - d*q. Is f(q) a prime number?
True
Suppose 1405222 = 2*q - 4*y, 5*q + y + 871015 = 4384037. Is q a prime number?
False
Let s(b) = 6*b**3 + 63*b**2 + 223*b - 17. Is s(42) prime?
False
Suppose a + u - 2 = 2*u, -2*a + 4*u + 4 = 0. Suppose 8 = v - 0*v + j, 2 = a*j. Suppose 4847 = v*z - 4764. Is z composite?
False
Suppose 103*u = -i + 101*u + 29551, 3*i - 3*u = 88680. Is i composite?
True
Suppose -7*p + 3*p = 4. Let i = 80 - 72. Is ((-76)/i)/(p/26) a prime number?
False
Is ((-153927)/36)/(42/8 - 6) a prime number?
True
Suppose 2 = -q + 33. Let r = q + -28. Suppose r*b - f - 3168 = 0, 1904 - 5060 = -3*b - 3*f. Is b prime?
False
Suppose -3*p + 59 = 47. Suppose 5*j - 3*j = p*g - 18, g - 2*j = 9. Suppose -5*h + 2947 = -3*v, 2*h = -g*h - 4*v + 2919. Is h composite?
False
Let m = -131356 - -735365. Is m composite?
True
Let m(n) = -55*n**2 + 4*n + 2. Let v be m(4). Let p(c) = -2*c**2 + 25*c + 20. Let r be p(14). Is v/r - 2/33*3 composite?
True
Let q = 9730 + 1413. Is q prime?
False
Suppose 0 = 4*y - 3*b - 2*b - 43, 4*y - 2*b = 34. Suppose -4887 + 1240 = -y*s. Is s a prime number?
True
Suppose 0 = 2*o - c - 167, 5*o = -4*c - 155 + 540. Suppose 621 = 5*h - 29. Let w = o + h. Is w composite?
False
Suppose -3915534 = 1139*d - 1181*d. Is d prime?
False
Let i = -4388 + 22689. Is i prime?
True
Let v(o) = -7*o**3 - 147*o**2 + 146*o - 37. Is v(-27) a prime number?
False
Let g(o) = o**2 - 9. Let b be g(-3). Let a be -1 + -660 + (-4)/20*b. Let f = 1482 + a. Is f a prime number?
True
Suppose 57301 - 21421 = 12*b. Let y = b - 1575. Let z = 2686 - y. Is z composite?
True
Let v(z) = -28*z - 5. Let l be v(-1). Suppose 6766 = l*c + 11*c. Is c composite?
False
Is ((-384002)/1111)/((-6)/33) a prime number?
True
Suppose 2*v - 2*y = -y + 9, -5*v - 3*y = 5. Suppose -11844 = -4*w - v*f, 3*w - 10427 + 1538 = -3*f. Is w prime?
False
Suppose 38*p - 3808 = 30*p. Let w = 603 - p. Is w composite?
False
Suppose -7*x - 132 = 4*x. Let j(z) = -3*z**3 + 2*z**2 + 13*z - 5. Is j(x) composite?
True
Let f(t) = -3 + 2*t**2 - 698*t + 7*t**2 + 722*t + 8*t**3 - 20*t**3 - 5*t**2. Is f(-5) a composite number?
True
Let c(b) = 3*b + 55. Let t be c(-15). Suppose -t*j = 5*j - 64485. Is j composite?
True
Suppose 2*h - 1 = -3*y - 61, 5*h + 69 = -3*y. Let d be (-58)/y - 12/54. Suppose g - 94 = -3*p, 2*g - 5*p = -d*g + 370. Is g a composite number?
False
Suppose -s + 469 = -5633. Let n = -3431 + s. Is n a composite number?
False
Let o = 35 + -30. Suppose o*h = 9*h - 5*f - 23260, 0 = 5*h - 5*f - 29075. Suppose -12*n = -17*n + h. Is n prime?
True
Let d = -5497 + 6468. Let q = -40 + 64. Is d*30/q - (-1)/4 composite?
True
Suppose 5*w + 3*c = 6*w - 7784, -4*c = -2*w + 15562. Suppose -j + w = 2*h, 10465 = 4*j - 3*h - 20602. Is j composite?
True
Let q(b) be the first derivative of -b**3/3 - 3*b**2 + b + 2. Let r be q(-6). Is (-3)/((-9)/5847)*r composite?
False
Let p(c) = 2148*c + 611. Is p(6) prime?
True
Let w(d) = -3*d**3 - 269*d**2 + 126*d + 231. Is w(-112) prime?
False
Suppose -13*a + 13 = -12*a. Suppose -a*w = 6082 - 18081. Is w composite?
True
Suppose 0 = 5*b - 22 + 17. Let s be -1 + b - (2 - 2). Suppose s = -17*k + 54531 + 29908. Is k a prime number?
True
Suppose 0 = 13*y - 36*y + 6094080. Suppose 16*z = 24752 + y. Is z a composite number?
True
Suppose -5*o + 274*w = 276*w - 4072981, -3*o - w + 2443789 = 0. Is o a prime number?
False
Is -7 + 1420/(-2)*-82 a prime number?
False
Let l be 9*32 - 0*5/(-35). Let c = 1601 + l. Is c a prime number?
True
Let j(k) = -3*k + 21. Let q be j(9). Let g be (-15)/(-6) + (q/4)/(-1). Let l(f) = 4*f**2 + 3. Is l(g) composite?
False
Suppose 0 = -g + 5*t - 7, 0*g - 17 = -3*g - 4*t. Suppose -3010 = -g*c + 3845. Is c a prime number?
False
Let k(l) = l + 21. Let p be k(-17). Suppose -4*t = -2*y - 9734, p*y - 7*y = t - 2444. Is t composite?
True
Suppose 4*t - 2*v - 23 + 21 = 0, -5*v + 40 = 5*t. Suppose -4*x = 4*g - 16, 2*x + 3*g - 8 = 1. Suppose -8*b + 1060 = -t*b + i, -x*b + 658 = 5*i. Is b prime?
True
Let d(h) = 7514*h - 76. Let m be d(4). Suppose 0 = 3*g + 3*z - 22467, -z + m = 4*g - 3*z. Is g composite?
True
Suppose -7*m = -4*m + 8223. Let c = m - -4284. Is c composite?
False
Let d = -14 - -16. Let w(m) = 8*m**2 - 17 + 0*m + d*m - 14*m + 9*m. Is w(6) composite?
True
Suppose -4676 = -2*v - 2*v. Suppose d - 147 - v = 2*l, 2*d - 5*l = 2629. Suppose 563 + d = 5*y. Is y composite?
True
Let i be 72/8 + -8 - (1 + 0). Suppose 2*b + i*b - 3346 = 0. Is b prime?
False
Suppose -3*u - 9*u + 112383 = -30981. Is u a prime number?
False
Let w be 1/(4/1594)*2. Suppose -k + 2*h + 265 = 0, 0*k + 3*k - w = 4*h. Is k composite?
True
Suppose 7*h = 15*h + 240. Let t(n) = 3*n**3 + 99*n**2 - 26*n + 61. Is t(h) a prime number?
True
Let u(i) be the second derivative of -74*i**3/3 - 12*i. Let x be u(-2). Is (-3 - x/6)*-21 prime?
False
Let l(o) = -25*o**3 - 27*o**2 - 7*o - 14. Suppose 2*d + 487 = 469. Is l(d) a composite number?
False
Let r be 23/6 - (-45)/(-54). Let k(g) = 20*g**2 - 7*g + 32. Is k(r) a composite number?
False
Let g(y) = 1376*y**2 + 259. Is g(9) a composite number?
True
Suppose -14477430 = -5*c + 11427120. Is (c/(-140))/((-3)/2) a prime number?
True
Is 7020146/(-116)*10/(-35) composite?
False
Let m = 4 + -2. Let v = 524 - 131. Suppose -m*z + 784 = 3*c, -c + 3*c = -z + v. Is z composite?
False
Let m be ((-33)/22)/(1 + (-7737)/7734). Let t = m + 76. Is t composite?
False
Let v be (-69)/(-46) + (-6)/(-4). Suppose -5*a + 7561 = 3*t, 4539 = 2*a + a + v*t. Is a composite?
False
Suppose 120618 - 418267 = -11*x. Is x prime?
True
Let s be 0 + 2/3 - (-2)/(-3). Let u be 1 + s + -1 + (-3)/(-1). Is u/27*-3*-1959 a prime number?
True
Let o = 1563 + -2630. Let i = 2604 + o. Is i prime?
False
Let w(o) = o**3 - 10*o**2 - o + 13. Let x be w(10). Suppose 162530 - 59174 = 5*i + 2*f, 5*i - x*f - 103341 = 0. Is i/70 + 2/(-7) a composite number?
True
Let v = 290468 + -134266. Is v a prime number?
False
Suppose -3*d + 37 = 25. Suppose -d*t = t - 2005. Suppose 11*s = 1238 + t. Is s a composite number?
False
Let y(w) = 27930*w + 349. Is y(3) composite?
True
Suppose 2*q - 4*b = 269154, q - 36*b + 32*b - 134573 = 0. Is q composite?
False
Let v(b) = -632*b + 5. Let m be (-2)/(-3)*24/16. Suppose -m = 8*h + 23. Is v(h) prime?
True
Let b(l) be the first derivative of 5*l + 2138/3*l**3 - 7/2*l**2 + 33. Is b(2) a prime number?
True
Suppose -5*v - 10 = 0, -28*l + 24*l - 4*v = -150988. Is l composite?
True
Suppose 2*c - 2*a = 781620, -a = c - 400942 + 10134. Is c a composite number?
False
Let s be (-16)/(-6)*18/12. Let j be (-15)/(s - (-15)/(-3)). Is ((-110)/j)/(2/(-177)) a prime number?
False
Let u(k) = -522*k**3 + 24*k**2 - 122*k - 999. Is u(-10) a prime number?
False
Let q(v) = 61*v**2 + 3*v - 11. Let y be -12 + (-10)/(10/(-3)). Is q(y) prime?
True
Suppose 112*x - 18 = 106*x. Suppose x*h - 2897 = -v, -3*v + 4*h = -2*v - 2897. Is v a composite number?
False
Let v be 6/(-1)*(-1)/2. Suppose h - 2668 = -v*h. Is h a composite number?
True
Let y(w) = 350*w**2 - 52*w - 1793. Is y(-27) composite?
True
Let h(f) = -f**3 + 14*f**2 - 26*f + 26. Let x be h(12). Suppose -3*n + 4*k = x*n - 35371, -4*k + 21197 = 3*n. Let d = n - 4918. Is d prime?
True
Is ((-14853447)/(-441) + -25)/((-2)/(-7)) a composite number?
False
Let g(t) = 19*t**2 - 189*t - 627. Is g(-119) a prime number?
True
Let z(u) = -16 + u**2 + 94*u**3 - 4*u**2 - 7*u**2 + 12*u**2 - 3*u. Is z(5) a prime number?
False
Let s = 5771 - 2513. Let g(m) = m + 1536. Let x be g(0). Suppose 6*v - x = s. Is v a composite number?
True
Let q(n) = -140*n - 59. Let v be q(-5). Is ((-70)/10)/(1/(v*-1)) prime?
False
Let u be 5/1 + 0*(-2)/(-6). Let h(j) = 98*j**3 + 3*j**2 - 10*j + 6. Is h(u) composite?
False
Suppose 2*g - 41 = -5*t, 3*g - 19 = 2*t - t. Let z(x) = x**3 - 7*x**2 - 4*x - 27. 