7 = 15947. Let j(i) = -1784*i**2 + i. Let h be j(-1). Let l = h + r. Is l prime?
True
Let q = -1 - -11. Let i be 315/(-14)*(-8)/q. Is ((-60)/i)/((-2)/6) a prime number?
False
Let d be ((-44)/20 + 3)*-5. Is (-13795)/d - (-4)/16 a prime number?
True
Let t be 3 + -4 - -2 - 7. Let u be t/15 - (-81)/15. Suppose -b = o - 178, 4*o = -u*b + 625 + 266. Is b composite?
False
Let y = 8941 + -4560. Is y prime?
False
Let k = -3041 + 8976. Is k prime?
False
Suppose 2*q + 24 = 26. Is q/((-5676)/1893 - -3) prime?
True
Suppose 144*l - 19341 = 135*l. Is l prime?
False
Is 5034 + (8 - (-3 + 6)) a composite number?
False
Let z(x) be the second derivative of -467*x**3/3 + 3*x**2/2 + 23*x. Is z(-1) a prime number?
True
Suppose -5*s + 62310 = 5*i, 4 - 9 = -i. Is s prime?
True
Let z(d) be the first derivative of -d**4/2 - 6*d**3 + 19*d + 26. Is z(-15) composite?
False
Is (261/18)/(5/6730) composite?
True
Let y = 9967 + -6608. Is y composite?
False
Suppose 103*m - 100*m - 19641 = 0. Is m prime?
True
Is 15/(-12) + (-42)/56 - -2161 a prime number?
False
Suppose k - 3*o + 40 = 0, -2*o - 132 = 3*k + k. Is (k/6 - -5)/(4/(-12918)) composite?
False
Let r be (4/(-5))/(24/60). Is 7/r*(-2 + 2 + -934) prime?
False
Let b be 1 + (-1 - 3/(-1)). Let l be 4 - (2 - -4)/b. Suppose -5*a = 2*g - 1, 3*a + l*a - 10 = -5*g. Is g composite?
False
Let m be (4 - (3 - 0)) + -78. Let a = m - -22. Let j = a + 108. Is j prime?
True
Let q(f) = 219*f + 127. Is q(10) prime?
False
Let j(z) = -10*z**2 - 2*z. Let r(p) = 20*p**2 + 4*p - 1. Let c(g) = 5*j(g) + 3*r(g). Suppose 3*q = 5*q + 8. Is c(q) a prime number?
True
Let n = 494 + 744. Is n a composite number?
True
Let c(a) = a**2 - 4*a + 3. Let i be c(4). Let z = i - -18. Is z a prime number?
False
Let y(c) = -4*c**3 + 24*c**2 + 13*c + 14. Is y(-13) a composite number?
False
Suppose d - 525*y - 13783 = -520*y, 2*d - 27536 = -5*y. Is d a prime number?
False
Let m = 659 - 271. Suppose m = -2*u + 70. Let y = -68 - u. Is y a prime number?
False
Suppose -2*u = -2 - 2. Suppose 5*i - u = 8. Suppose -18 = -2*w + 5*p + 14, -4*p = i*w - 14. Is w composite?
False
Let f be (6/(-4))/((-3)/4). Let r = 497 + -491. Suppose -f*m - 860 = -r*m. Is m a prime number?
False
Let p be (-11 + 9)/(2/(-2648)). Suppose -p = -7*q + 131. Is q a composite number?
False
Suppose 0 = -3*u + 13*z - 8*z + 31296, -u - z = -10424. Is u composite?
False
Suppose -x - 3 = -1, 70439 = 5*v - 2*x. Suppose 6981 = 4*z - v. Is z composite?
True
Is ((-4)/30 + (-2)/10)*-16881 a prime number?
False
Suppose p - 5601 = -5*z, p - 78 = -3*z + 5517. Suppose h - 6*h + p = 3*i, -h - 4*i = -1107. Is h a composite number?
True
Suppose 42 = 6*x - 18. Suppose -2*v - 5112 = -x*v. Suppose -2*g = g - v. Is g a composite number?
True
Let o(d) = 15*d**2 - d - 247. Is o(24) prime?
True
Let k be 1*(-143 - 10/(-5)). Let w = k + 200. Is w prime?
True
Suppose o + 24 = 5*t, 4*t = 3*t - 5*o + 10. Suppose s + 2*f - 405 = 0, -5*s + 1922 = t*f - 123. Is s a composite number?
True
Suppose -55730 = -15*i + 119305. Is i a composite number?
True
Let a(z) = -305*z + 5. Let t(u) = 2*u**3 + 4*u**2 + 3*u. Let s be t(-2). Is a(s) prime?
False
Let h be 0/3*(-6)/6. Suppose -5*o + 1007 = z, h*o - 3*z = -2*o + 396. Is o a prime number?
False
Is ((-64218)/(-12) - 1/(-2)) + -5 a prime number?
True
Let g(i) = -i**2 - 9*i - 3. Let p be g(3). Is (-3211)/p + 2/3 composite?
False
Suppose 5*x = -16 + 136. Let f = -19 + x. Suppose -v + f*v - 3980 = 0. Is v a prime number?
False
Is (-720580)/(-112) + -2 + (-10)/(-8) a prime number?
False
Suppose -3*a - 11 = -5*z, -2*a - 2*z = -0*z + 2. Is ((-757)/2)/(1/a) composite?
False
Let d be 6495/20 + (-6)/8. Suppose 168 = -2*w - d. Let n = w - -445. Is n a composite number?
False
Suppose 118*w - 124*w = -9546. Is w a prime number?
False
Let a = -1 + -5. Let s be (a/4)/(1/(-36)). Let l = s + -31. Is l a prime number?
True
Suppose 3*l = -0*l + 72. Let q(r) = -r**3 + 7*r**2 + 8*r - 12. Let d be q(7). Suppose -2*g + d = -l. Is g prime?
False
Suppose 5*p - 218327 = -2*g + 8512, 2*g - 4 = 0. Is p a composite number?
True
Let t = 62 - 62. Let j(r) be the second derivative of -r**3/3 + 417*r**2/2 + r. Is j(t) composite?
True
Let i be (-5 - -6) + 14/1. Is (1671/i + 0)*5 a composite number?
False
Let a(k) be the first derivative of k**2/2 + 7. Let c be a(7). Is (-20)/35 - (-235)/c prime?
False
Let s(g) = -g**2 - 29*g - 39. Let f be s(-26). Let y = f + 26. Is y prime?
False
Suppose -5*r = -4*j + 3 - 10, -2*r = -j - 4. Let b(a) = 0*a**2 - 3 + 0*a**2 + r*a**3 - a**2 - 1 + 7*a. Is b(5) composite?
True
Suppose 43 + 11 = 9*l. Suppose -4 = -2*c, 0 = -l*f + 2*f + 3*c + 574. Is f a composite number?
True
Suppose -45*b - 50412 = -51*b. Is b a prime number?
False
Suppose 2*u + 2*o = 2738, 5*o + 853 = 4*u - 4668. Suppose 3*g = 4*p + 1862, -478 = -3*g + 2*p + u. Is g a composite number?
True
Let d(o) = 19342*o + 9. Is d(1) prime?
False
Suppose 1 - 7 = -2*r. Suppose r*b - 1 = 4*a + 3, -4*a - 4*b = -24. Suppose 504 + 758 = a*q. Is q a composite number?
False
Let t be 155 - (-1)/(-2)*6. Suppose -m + t = -39. Is m prime?
True
Let n(y) = -405*y - 238. Is n(-9) a composite number?
False
Suppose 0 = 7*m - 11*m + 2*n + 34540, -n + 17262 = 2*m. Is m composite?
True
Let d(h) = -20780*h**3 + 4*h + 3. Is d(-1) composite?
True
Suppose -3*a - 2*s - 29 = 0, 4*a - s = -2*s - 32. Let q be (6/a)/((-2)/7). Suppose -q*v + 103 = -14. Is v prime?
False
Let m(s) = 25*s - 37. Let n be m(13). Let r = n - 182. Is r a prime number?
False
Is -1*(-3 + 18)*(-463911)/63 prime?
False
Let l(r) = -r**3 - r**2 + 6. Let m be l(0). Let y = -4 + m. Suppose -106 = -0*h - y*h. Is h prime?
True
Let h = 608 - 430. Is h/26 + 18/117 a prime number?
True
Let n = -1 - 12. Let k = n + 17. Suppose -k*c + 20 = 0, -4*y + 0*y + 1293 = -3*c. Is y a prime number?
False
Let o(z) = -2*z**2 + 15*z + 5. Let c be o(8). Is 2712/36 + 4/c composite?
True
Suppose -5*m = 2*j - 4492 - 31573, m = -j + 7216. Is m a composite number?
False
Is 4 + -3*(-15)/(-9) + 6698 a prime number?
False
Let x(d) = -13*d + 11. Suppose -h + 1 = -2*f - 1, 0 = -2*h - 2*f - 14. Let u be (-19)/76 - (-31)/h. Is x(u) prime?
False
Suppose -1202*v + 8248 = -1194*v. Is v a composite number?
False
Let z = 3372 - -1690. Is z a prime number?
False
Let d = 21997 + -13566. Is d a prime number?
True
Suppose -21*q + 10464 = -66039. Is q composite?
False
Let u = 1603 + -205. Suppose d + d = u. Is d prime?
False
Is (3573/15)/((-2)/(-10)) a prime number?
False
Let u = 17151 - -2738. Is u a composite number?
False
Suppose -8 = -2*q - 3*j + 9, 9 = 3*j. Let l(c) = -3*c + 1. Let h be l(-2). Suppose -n + h = -q. Is n composite?
False
Let g = 28 + -23. Suppose -3*l + 5*u + 188 = 0, -5*l + g*u = -l - 244. Is ((-74)/(-8))/(2/l) prime?
False
Is 3 - ((-331737)/105 + (-3)/5) a prime number?
True
Let x = 172 + -72. Let y be (x/6)/(20/30). Suppose -u + 18 = -y. Is u a composite number?
False
Suppose -3*h + 33021 = -4*q, -2*q - 14249 = 3*h - 47252. Is h prime?
True
Suppose 3*p + 40 = -8. Is 5377 - 3/(12/p) a composite number?
False
Is 5 - (-16)/(-4)*-486 composite?
False
Suppose -2*o + 11366 = -2*g, 5*o - 24015 = g + 4416. Suppose 5*n = 3*c + o, 4512 = 3*n - 3*c + 1101. Is n a prime number?
False
Suppose 3*l + 5*k - 25 = 0, 1 = -k + 3. Is 586/5 - (-4)/l a composite number?
True
Is (3/(-2 - -3) - -77795)/2 a composite number?
True
Suppose 0 = -3*a + 2*a - 18. Is (141/(-9))/(2/a) a composite number?
True
Let z(d) = -500*d - 1. Let a be z(-1). Suppose 863 = 4*u - i, 2*u - 4*i + 85 = a. Let h = u - 54. Is h a composite number?
False
Let c(k) = k**2 + 10*k - 15. Let f be c(-11). Let x be f/6 + (-22)/(-6). Suppose -11 = x*a - 68. Is a prime?
True
Let q(c) = -30*c + 655. Is q(0) a composite number?
True
Suppose -h + 19 = -0*b - 2*b, 5*b = -2*h - 52. Let m be 2/b - 198/(-90). Suppose -m*i = -69 - 185. Is i a prime number?
True
Let h be (11/(-3) - -1)/(48/(-216)). Suppose -h*t + 18*t - 2658 = 0. Is t a prime number?
True
Suppose 5*d + 24 = 69. Is 1/(d/2) - 8020/(-36) a prime number?
True
Let g(k) = 473*k**2 - 71*k + 4. Is g(9) a composite number?
True
Let j(z) = 1652*z + 11. Let m be j(6). Suppose -2*p = -7*h + 2*h + m, 2*h + 3*p - 3973 = 0. Is h a composite number?
True
Suppose 0 = -4*j - 20, -4*j - j = 3*h - 1199. Let r = -10 - -127. Suppose -r = 3*