 p = m + -1091. Is p composite?
True
Let w = -9466 - -101213. Is w composite?
True
Let i = -3796 - -8281. Suppose -3*j = -6492 - i. Is j a prime number?
True
Suppose -t + 18 = 13. Suppose -k + o = t, -3*k - 5*o + 17 = -0*o. Let r = 178 + k. Is r prime?
False
Suppose -4*o + 1871170 = 2*y, -5*y - 3*o + 3169960 = -1507951. Is y prime?
True
Let b = 4 - -7. Let v(i) = b + 3*i + 3*i + 3*i**3 - 2*i**3 - 2*i**2. Is v(12) prime?
True
Suppose v - 2*o - 21 = 0, 5*v = -0*v - 3*o + 92. Suppose -v*k + 48729 = -12622. Is k a composite number?
False
Suppose 0 = 19*z + 192886 + 6215. Let x = -5384 - z. Is x prime?
False
Suppose 0 = 2*w - 6, 3*l + 5*w = w + 48. Suppose 4*i = i - l. Is 265 + i + 8 + -4 a prime number?
False
Let p(b) = b**3 + 5*b**2 - 2*b + 9. Let u be p(-5). Let n be (-2)/(-9) + (-534)/(-27). Suppose u*j + 2417 = n*j. Is j prime?
True
Suppose 4*q = -4*c + 7 + 21, 3*q - 4*c = -7. Suppose 0*z - 2*z - 9367 = -q*k, 2*k - 6223 = -3*z. Is k prime?
True
Let k(p) = 4*p - 2. Let c be k(2). Suppose -31*w - 11 = -135. Is (3/w)/((c - 9)/(-1308)) a prime number?
False
Let h be 2 - (-10)/5*(-62 + 0). Let b = -113 - h. Suppose -1351 - 5066 = -b*g. Is g prime?
False
Suppose 2*f - 670466 = 11*o, -88*f = -83*f - 5*o - 1676120. Is f a composite number?
True
Let z(m) = -10*m - 30 - 23 + 50. Let d be z(-2). Suppose 0 = k - 194 - d. Is k prime?
True
Let f be 6/(-9)*(-1602)/(-2). Let q be 120/25*135/54. Is (0 - f/q)*4/2 composite?
False
Let c(d) = 664*d**2 - d + 3. Suppose -p + 3*k - 15 = -2, -12 = 4*p - 4*k. Is c(p) a prime number?
True
Let k = 17 - 7. Suppose k*u - 6933 = 7*u. Suppose -3*z = 2*i - u, 1148 = i - 2*z + z. Is i a prime number?
True
Suppose -3*y + 5*x - 19 = -4*y, -3*y - 33 = -3*x. Let u(w) = -1391*w - 95. Is u(y) a composite number?
True
Suppose 1196678 = 4*c - 8*f + 6*f, 897506 = 3*c - 4*f. Suppose 35*d - 45*d + c = 0. Is d composite?
False
Let s(x) be the first derivative of -1012*x**2 - 219*x + 130. Is s(-5) composite?
False
Let a be (-6)/((-8)/(-28)*(-7)/3). Let n be (-56)/(-252) - 8903/a. Let g = n - -1866. Is g prime?
True
Let m = 31017 - 20429. Is (-9)/(18/m)*(-3)/2 a prime number?
False
Let b = -45 + 50. Suppose 1 = -2*g + k, -b*g + k = 6*k - 5. Let c(t) = 3*t + 223. Is c(g) a prime number?
True
Suppose 3*b - 2399596 = -4*j, -4*b = -33*j + 29*j + 2399596. Is j composite?
False
Suppose -3*v = -4*o, -25*v + 24*v + 11 = -5*o. Is (4/((-16)/(-12)))/(o/(-211)) composite?
False
Let v(g) = -1237*g**3 - 4*g - 4. Let c be v(-1). Let b = c - 528. Is b prime?
True
Suppose -8 + 4 = 2*z. Let s be 7 + (1 - 2 - z). Suppose 359 = s*m - 209. Is m prime?
True
Let x be (2/4)/((-2)/(-20712)). Suppose 7*g = -139 + 391. Is (-3*(-8)/g)/(4/x) a composite number?
False
Suppose -5*n + 2155 = 54*j - 49*j, 2*j - 2167 = -5*n. Suppose -n*d + 245 = -430*d. Is d a prime number?
False
Let b(s) = 2842*s + 89. Let v be b(2). Suppose 0*z = -3*z - 4*m + v, 7719 = 4*z + m. Is z a composite number?
False
Suppose 14*b + 360160 = 94*b. Is b a composite number?
True
Suppose -41*o = -f - 39*o + 580435, -3*o = -15. Is f a prime number?
False
Suppose -243244 = 7*t + 689849. Is t/(-15) + (2 - (-32)/(-20)) prime?
True
Let r(s) = -10*s + 35*s**3 - 3 - 13*s + 38*s + 3*s**2 - 9*s. Is r(2) prime?
False
Let p(a) be the first derivative of 12*a**4 - 10*a**3/3 - a + 92. Is p(6) prime?
True
Suppose -2*i - 1 = -17. Let r(p) = -p**2 + 6*p + 18. Let a be r(i). Is ((-1)/2 - (-329 - -1))*a prime?
False
Is (-92673)/(-10) - (-411)/(-1370) a composite number?
True
Suppose 0 = -3*b + 127 - 121. Is 556/4*b*1 a prime number?
False
Let q(i) = 4*i + 32. Let a be q(-6). Suppose -1342 = a*d - 8678. Is d composite?
True
Suppose 21*s + 135 = -24*s. Suppose -4*p - 6 - 22 = 0. Is (p - s)*2*158/(-8) a prime number?
False
Suppose 4*j + 84067 = n, -101*j = 2*n - 103*j - 168104. Is n a composite number?
False
Let h(b) = -22*b + 61*b**2 - 27*b + 53*b. Let w be h(3). Suppose u + 570 = 4*u - m, 3*u - w = 4*m. Is u a composite number?
False
Let v = -1952948 + 6413551. Is v prime?
False
Suppose -31506104 = -165*p + 34758233 - 8152162. Is p composite?
True
Suppose 0 = -3*w - 3*l - 276891, -w - 6441 - 85856 = 3*l. Let q = w - -140678. Is q prime?
False
Let p = 72664 - -358777. Is p prime?
True
Let w = -106721 + 221176. Suppose 4*x + 7*x = w. Is x a composite number?
True
Suppose 0 = 5*g + 49 + 101. Let z = 33 + g. Suppose z*s = 2426 - 377. Is s prime?
True
Is ((-54958)/(-4))/((-93)/(-186)) a composite number?
False
Let v = -47336 - -106533. Is v composite?
False
Is (-238)/476*(0 - 51014) a prime number?
False
Let g = 271692 + -147221. Is g a prime number?
True
Let b(m) = -20*m + 13 - 148*m**2 + 294*m**2 - 140*m**2. Is b(36) a composite number?
False
Is (2/(-4) - 1)/(((-1230)/(-1010780))/(-41)) a prime number?
True
Let j(p) = -16*p**2 - p. Let z be j(1). Let u = z - -23. Suppose -3*n + 1157 = -5*y, u*y - 4*y + 387 = n. Is n prime?
True
Let a = 82367 - -84432. Is a composite?
False
Suppose 0 = 10*d - 112 - 118. Suppose d*c - 5444 = 19*c. Is c composite?
False
Suppose -6 = l - 8. Suppose 2*k + 3*d = -0*k + 6527, 2*k - 6528 = -l*d. Suppose -1627 - k = -4*b. Is b prime?
True
Let h(d) = 1053*d**2 - 8*d - 20. Let x be h(-7). Suppose 10*f - f = x. Is f prime?
True
Let j(h) = 1002*h. Let c be j(-10). Let x = -6067 - c. Is x a prime number?
False
Is (2/(-14))/((-1)/((-6781908)/(-15 - -3))) a prime number?
True
Let y = 32 + -25. Let n(m) = 29*m - 3 + 11*m**2 - 4*m - 11*m - 9*m. Is n(y) a prime number?
True
Is ((-518400)/375 + (-4)/(-10))/(-2) a prime number?
True
Suppose 16142 = -2*r - 3826. Let b = 17105 + r. Is b a composite number?
False
Suppose -3*t = -3*y - 21, 1 + 9 = -2*y + t. Let f(n) = -15*n - 25*n + 10*n - 2 - 21*n - 6. Is f(y) prime?
False
Suppose -8*d = -3*d + 5*c - 70, 4*c - 67 = -5*d. Suppose -w - d = q, q - 3*w = -2*q - 3. Is (6772/(-6))/(q/27*3) prime?
True
Suppose x = 4*w + 5*x - 656, 0 = -2*w - 4*x + 338. Let m = 3363 - 690. Suppose -6*o = -m + w. Is o prime?
True
Let s(g) = -34*g + 11*g + 16*g - 7 - 32*g**2 + 92*g**2. Let w = -49 - -55. Is s(w) a composite number?
False
Let j(g) be the second derivative of g**5/5 - g**4/2 - 41*g**3/6 + 10*g**2 - 127*g. Is j(13) a composite number?
True
Is (-3 - (-10)/6)*1 - 70010/(-6) prime?
False
Suppose -3*k = -5*d - 0*d - 175, -3*k = -2*d - 169. Let q = 57 - k. Suppose -3*g - 31 = -q*w + 267, -w + 5*g + 163 = 0. Is w prime?
False
Let k = 9454 - 2272. Suppose l - 20617 = -4*x, k = 4*x - 3*l - 13415. Is x a composite number?
False
Suppose -126 = 12*d + 42. Let z(v) = -1926*v - 227. Is z(d) prime?
True
Suppose 15 = g - 7. Suppose -20027 = -g*k + 15*k. Is k composite?
False
Suppose 2*v = 0, 5*v - 14816 = -2*f + 67312. Suppose -41*b = -17*b - f. Is b prime?
False
Let z(i) = 2362*i**2 - 2*i + 9. Let x be z(-5). Suppose -10*h + x - 12039 = 0. Is h composite?
False
Suppose 5*q - 15 = k, -4*q - q + 15 = -3*k. Suppose -3*t - 7*r + 35383 = -q*r, -3*t + 35399 = -4*r. Is t a composite number?
True
Suppose 0 = -2*f + 7*f + m - 710620, -4*m - 568520 = -4*f. Suppose -4*n - 106951 = -5*r + 6749, -5*n - f = -4*r. Is (-1)/(-2) + n/(-6) + 3 prime?
False
Suppose 4*m + 2*l + 74114 = 10892, 0 = -5*m + 4*l - 79008. Let b = -5748 - m. Suppose 0 = 3*c + a - b, c - 4*a - 3347 = -6*a. Is c prime?
False
Let d(t) = -t**2 + 10*t + 2129. Suppose -k = -4*a + k, 0 = 4*a - 5*k. Is d(a) a composite number?
False
Let b = 725402 - 478639. Is b a composite number?
True
Let w = -36410 + 130605. Is w a prime number?
False
Let m be ((-3)/(-1))/(0 + 1). Let q be (-304)/48 - (-1)/m. Let i(u) = 9*u**2 + 11*u - 1. Is i(q) a prime number?
True
Let u(n) = 39159*n**2 - 47*n - 9. Is u(-2) a prime number?
False
Let s = -17215 + 20252. Is s a composite number?
False
Let y be (-16)/6 + (-13)/39. Is (911/y)/((-9)/27) a prime number?
True
Let z = -1126 - -14703. Is z composite?
False
Let l(v) = -28*v + 3211. Is l(-37) a prime number?
False
Let r be (-1 - -1*(-3)/(-6))*-46. Suppose 4*u = -s + 17, -u + 0*u + r = 4*s. Suppose -l = u*b - 3*l - 795, -789 = -3*b + 4*l. Is b composite?
True
Let p(x) = 34*x**2 - x - 7. Let b be 3/((-45)/6)*-5. Suppose 0 = -3*a - 2*s - 8, 0*a - 4*s = b*a. Is p(a) a prime number?
True
Is (-47)/(-1692)*6 - (-1748434)/12 a prime number?
True
Suppose 29*m + 59004 = 4*x + 28*m, -2*x - 2*m = -29492. Suppose 2*v = 2