d + 7. Suppose -j = -2*v + 2, 1 + 15 = -4*v. Is t(j) prime?
True
Let b be -1 + 2 + -10 + 1. Let g = b + 10. Suppose -4*c = -g*w + 46, -5*w + 2*c + 67 = -48. Is w a prime number?
True
Is (-8)/((-32)/1492)*7 prime?
False
Let r be 3/(-2) - 5187/(-6). Let s = r + -222. Is s a composite number?
False
Suppose 0*a + 16 = 4*a. Suppose -j + 2*j - q = 293, 4*q = -a*j + 1188. Is j prime?
False
Is 25/20 - (55506/(-24) - -5) a prime number?
True
Let j = 83 - 57. Suppose -3*p - j = -116. Is p*3 + 3 + -4 a composite number?
False
Suppose i + 31 = 80. Let o = -3 + i. Suppose -4*u + 4*h = -430 + o, u + 4*h = 101. Is u a prime number?
True
Let t(p) be the first derivative of p**4/24 + 431*p**3/6 + 2*p**2 - 12. Let v(j) be the second derivative of t(j). Is v(0) a prime number?
True
Suppose -2925 = -z - b + 11562, -z + 4*b + 14497 = 0. Is z a prime number?
True
Let f = -65 + 201. Let z = f + -37. Let p = -32 + z. Is p prime?
True
Let a be ((-5)/(-2))/(3/6). Let b be (1 - 3)/(2/(-17))*94. Suppose 0*k + b = 3*k - a*y, -556 = -k - 3*y. Is k composite?
False
Suppose 2 = c - 2. Let y = c + -2. Suppose y*u + u = 5*x + 355, 5*u - 5*x = 585. Is u prime?
False
Let o = -45 + 15. Let h = -21 - o. Suppose 0 = 4*m - 27 - h. Is m prime?
False
Suppose 0*s - 21508 = -2*s + 3*h, 5*s - 3*h - 53761 = 0. Is s a composite number?
True
Let b(z) = -z**2 + z - 15. Let r be b(0). Let w = 264 - 268. Let t = w - r. Is t prime?
True
Let g = 781 + 501. Is g a composite number?
True
Let z = -5156 - -16623. Is z a composite number?
False
Let z be 35/(-10) - 3/(-6). Let p(o) = o**3 + 4*o + 3. Let c be p(z). Let j = -21 - c. Is j a composite number?
True
Let r(c) = c + 10. Let v be r(-6). Suppose -v*p + 9*p = 335. Is p composite?
False
Suppose -2*m - n = -168995, 2*m = 2*n + 105780 + 63212. Is m composite?
True
Is 40486/10 + (38/5)/19 a prime number?
True
Let f(h) = -10*h - 5. Let u be f(-8). Let o = u - 18. Suppose -283 = -4*n - 5*k, -3*n - 5*k + 149 = -o. Is n a prime number?
False
Let i = -64 + 87. Let u = 38 + -58. Let q = i - u. Is q prime?
True
Let l be (26370/8)/((-27)/(-72)). Suppose 4*n + 178 = l. Is n a composite number?
False
Suppose -5*c + 5*k + 55 = 0, 4*k = -2*c + 1 - 3. Suppose c*r - 14999 = -166. Is r a composite number?
True
Suppose 28 = 3*m + 11*m. Suppose 4 = -m*y, -y - 6301 = -5*u + 2*y. Is u a prime number?
True
Suppose 5*z = 2*g - 10, 4*z + 4*g - 15 = g. Let x(c) = c**2 + c - 8. Let n be x(z). Is (2/n)/(14/(-3304)) a prime number?
True
Suppose -5*i + 19 = -2*d, d - 3*i + i = -8. Is 4708 + d + 1 - (-39 + 43) composite?
False
Let d(m) = 2*m**2 - 2*m. Let q be d(2). Suppose 0 = 5*f + 5*b - 30, -q*f - 14 + 3 = -3*b. Is f/((-4)/(-1348)) + 2 a prime number?
False
Let z(b) = 7*b**3 + 4*b**2 + 8*b - 6. Let f be 2*27/10 - (-46)/(-115). Is z(f) a prime number?
True
Suppose -3*r = -3*b + 7803, 10400 = 2*b + 2*b - 5*r. Is b composite?
True
Suppose -3*s + s - 5*r - 16 = 0, -3*s + 3*r = 3. Let u be (s + 33/3)/2. Suppose 3*z + 7*m = 4*m + 711, -482 = -2*z - u*m. Is z composite?
False
Let b = 1655 - 673. Is b a composite number?
True
Let p = -115 + 120. Is 2336 + (-5 - (p + -7)) composite?
False
Suppose -u + 257*j = 256*j - 23145, 5*j = -5*u + 115705. Is u composite?
False
Suppose 5*b - 6*j + 563 = -2*j, 112 = -b + j. Let y = b + 566. Is y a composite number?
True
Suppose 0*m + 32290 = 2*b + 4*m, 5*b + 3*m = 80732. Is b prime?
False
Is (-1898089)/(-106) + 14/(-4) a composite number?
False
Let s(u) = -6*u - 19. Let z(r) = -12*r - 38. Let p(b) = 5*s(b) - 3*z(b). Is p(15) a prime number?
True
Suppose 4*z = z + 687. Let f be z/2*4/(-2). Let h = -132 - f. Is h prime?
True
Let y(x) = x**3 - 11*x**2 + 11*x - 2. Suppose -2*a + 25 = 5. Let j be y(a). Let w(v) = 24*v - 1. Is w(j) prime?
True
Let v(k) = -17*k**3 + k**2. Let x be v(-1). Let t = x + -13. Suppose -t*s + 7*s - 2426 = 0. Is s a prime number?
True
Suppose -125*x + 130*x = 8705. Is x prime?
True
Let m(c) = -c**3 + 24*c**2 + 23*c - 1. Is m(-16) composite?
False
Is 9/(-45) + (-178632)/(-10) prime?
True
Let b be (-14)/(-4)*6/1*-1. Is (18/b)/((-2)/7) + 2540 a prime number?
True
Let l(f) = -13*f - 7 - 7 + 7*f. Is l(-6) composite?
True
Let s(l) = 1905*l**3 - 2*l**2 - 4*l - 3. Let v be s(-1). Let q = -1333 - v. Is q a prime number?
False
Let b = 109880 + -5059. Is b a prime number?
False
Suppose 0 = 31*j + 69*j - 3966100. Is j a composite number?
True
Let g = 6718 + -1415. Is g prime?
True
Suppose -46*y + 83787 = -13*y. Is y a prime number?
True
Let c be 30/7 - (-6)/(-21). Let v be c/(-7 - -3) - -5. Suppose -3*q - 23 = -v*g - 98, 2*q - 4*g - 54 = 0. Is q a composite number?
True
Suppose i - 4*i = 0. Suppose i*r - 8*r = -15560. Is r composite?
True
Let k(j) = 94*j**2 - 2*j + 17. Is k(4) a prime number?
False
Suppose -3*a + 10 = -t, -6*a + a = -20. Let m = 5 + -2. Suppose t*u + m*z - 83 = 0, -3*z = -3*u + 2*z + 153. Is u prime?
False
Let a = 691 + -262. Let p = -302 + a. Is p a composite number?
False
Suppose 0 = 5*a + 4 + 6, -4*x + 39098 = -3*a. Is x composite?
True
Let s be 3/(-2)*16/(-6). Suppose 0 = s*m - 8. Is m/(5/(130/4)) prime?
True
Suppose 9*l + 0*l - 27 = 0. Suppose 4*z = 0, l*f - 7*f + 3*z = -332. Is f a composite number?
False
Suppose 4388 + 3012 = 4*u + 4*n, 5*u - 9247 = -4*n. Is u prime?
True
Let o = 36 + -26. Let c = 12 - o. Suppose -4*d = -c*d - 446. Is d a composite number?
False
Suppose 74915 = 4*m - 5*o + 25613, -m + 5*o + 12333 = 0. Is m composite?
False
Is 2/2 - 290/(-5) a prime number?
True
Let b = 476 + 203. Is b a composite number?
True
Let d(f) = -1470*f - 226. Is d(-22) composite?
True
Suppose 4*j - 2*a - 2270 = -3*a, 3*j - 4*a - 1712 = 0. Let h = j + -335. Is h composite?
False
Let s(d) = -2*d**3 - d**2 - 38 + 10*d - 9*d**2 + 64 + d**3. Is s(-11) composite?
False
Suppose -37781 = -7*w + 162930. Is w a prime number?
False
Let u(k) = -k**3 + 17*k**2 - 4*k + 18. Let a be u(14). Let i = a - 359. Is i a prime number?
True
Let z be 27/6*8/12. Suppose -d - z = -11. Is (-307)/(-4) + 2/d a composite number?
True
Let n be (-5 + 4)*(-6)/(-3). Is (-6)/n + -4 + 318 composite?
False
Suppose 5*b - 48639 = -4*j, 5*b - 19*j = -15*j + 48671. Is b a composite number?
True
Suppose -10*y + 83488 = -42. Is y prime?
True
Suppose -2*x = v - 19821, 0 = -3*v + x + 41151 + 18312. Is v composite?
True
Is (-43032)/(-32) - 4/(-16) prime?
False
Let t(f) = f**2 + f. Let k be t(-2). Suppose -4*q - 2*d = d - 2807, k*q - 4*d = 1398. Is q a composite number?
False
Let q(m) = -m**3 - 6*m**2 + 8*m + 7. Let r be q(-7). Suppose -4*j + 2164 = p + p, r = p. Is j prime?
True
Suppose -30 + 11 = -j. Let y = j + -2. Let r(w) = -w**3 + 19*w**2 - 20*w - 15. Is r(y) composite?
False
Let z(g) = g + 5. Let j be z(0). Suppose 715 = j*b - 4*y, 0*b + 5*y + 720 = 5*b. Let o = b + 38. Is o prime?
False
Let b = 35601 - -22431. Is b/42 + 6/21 composite?
True
Suppose -3*d - 22 = -1. Let o = -5 - d. Suppose -280 = -5*h - 4*w + 674, 3*w - 376 = -o*h. Is h a prime number?
False
Let x(c) = -c**3 - 4*c**2 + 7*c + 1. Let u = -15 - -5. Let a = u + 4. Is x(a) a prime number?
True
Let p = 14435 - -7932. Is p prime?
True
Is 16542/5 + 6/10 a prime number?
False
Let f be 4*1 - (9 + -8). Suppose -2*o + f = -1. Suppose -o*j + 599 = -443. Is j a prime number?
True
Suppose -g = m + 4*m - 104, -g + 80 = -3*m. Is g a composite number?
False
Let d = 5 - 11. Let x(s) = -s**3 - 14*s**2 - 31*s + 12. Let h be x(-11). Is (h/(-3))/(d/(-873)) a composite number?
True
Let n(z) = -3277*z - 15. Is n(-4) composite?
False
Let g(x) = -7*x + 7*x**2 + 7*x + 9 + 11*x. Let l(r) = -8*r**2 - 12*r - 10. Let u(w) = 7*g(w) + 6*l(w). Is u(9) a prime number?
False
Is (-3 + (-5 - -9))*2159 a prime number?
False
Let t(x) = -3272*x - 13. Is t(-1) composite?
False
Suppose i + h = 794 + 95, 5*i - 3*h = 4445. Is i prime?
False
Is (6/(-12))/((-6)/(-36)) - -4190 a prime number?
False
Suppose 3*z + 1081 = -5*w, w = z + 191 + 164. Let o = -196 - z. Let b = 384 - o. Is b composite?
False
Is (-4597)/((1 - 8)/7) a composite number?
False
Suppose -5*x + 5371 = 1586. Is x prime?
True
Suppose 347736 = 44*j - 399340. Is j composite?
False
Suppose 0 = 7*o - 63. Suppose 2*f = o*f - 581. Is f composite?
False
Let m be ((-5)/2 - 0)*-2. Let w(d) = -24*d + 9. Let k(p) = 36*p - 14. Let c(t) = m*k(t) + 8*w(t). Is c(-1) composite?
True
Let w(f