Let g be v(6). Let f = g + -18. Let c = 207 + f. Is c prime?
False
Let v(k) = -k**2 + 5*k + 5. Let i be v(5). Suppose i*m + 1323 = -407. Let b = 235 - m. Is b a composite number?
True
Suppose 2*l - 525 = -2111. Let g = 1068 - l. Is g a prime number?
True
Let a = 245335 + -155906. Is a a composite number?
True
Suppose -5*q = -10*p + 5*p - 230, 0 = 3*q + 5*p - 98. Suppose -2 - 4 = -3*x. Suppose 2*c - o = 39, -3*c - x*o + 7*o + q = 0. Is c prime?
False
Let c be 4*(8/(-48))/(2/(-3)). Is 3/(c/859 + 0) prime?
False
Let t = -61 + 269. Let k = t - 141. Is k prime?
True
Suppose -3*z - 3 = 0, -8*z + 1 = -h - 13*z. Suppose -3*m = h*r - 22042, -6*r = -3*r + 4*m - 16535. Is r a prime number?
False
Suppose -32*l = -2041543 - 1487641. Is l prime?
False
Suppose -26797 = 3*t + 17282. Let f = 22884 + t. Is f a prime number?
True
Let j = -193 + 198. Suppose -3*q + j*w + 2537 = 3*w, 5*q - 4203 = -3*w. Is q composite?
True
Let w(i) = 678*i**3 - 9*i**2 - 20*i + 104. Is w(3) prime?
True
Is 1826531/(-51)*7110/(-210) a prime number?
False
Is 56/(-20 + 13) + 32281 a prime number?
False
Suppose 21*f - 10*f = 7106. Suppose -f = 19*l - 2375. Is l prime?
False
Suppose -145 = -4*p - 133. Suppose -b = -2*a + 64277, -a + 4*b = -p*a + 64302. Is a composite?
False
Suppose 23*p - 11*p = 1236. Let r be (-2754)/(-12) - (-1)/2. Let l = r - p. Is l composite?
False
Suppose 179 = -11*j - 217. Suppose 0 = 3*v - 9*v + 6. Is (3*(-20)/j)/(v/141) a prime number?
False
Suppose 3*r + 1 = -2*z, -29 + 10 = 5*r - z. Is -1 + ((-12)/r - -1754) a composite number?
True
Let a = 17 - 19. Is ((-48854377)/(-117))/19 + a/(-9) a prime number?
True
Suppose 0 = 4*s - n + 112, -8 - 17 = s - n. Let k = -142 + s. Let w = 328 - k. Is w a prime number?
True
Let j(q) = 2*q**3 - 18*q**2 - 32*q - 10. Let u be j(15). Let s = 5783 + u. Is s composite?
False
Suppose 9*u = 23*u - 445354. Suppose 24*s - 11*s = u. Is s prime?
True
Let y(i) = 103*i**2 + 47*i + 779. Is y(-31) a composite number?
True
Suppose 40*u - 1714910 = 30*u. Is u a composite number?
False
Suppose 33*s - 29*s - 18 = -2*k, -9 = 2*k - 5*s. Suppose 48936 = k*f + 2433. Is f composite?
True
Suppose -15422 = z - 2*r, 2*r = -4*z - 57172 - 4526. Let s = z + 7339. Is (-2)/12 - s/18 composite?
False
Suppose a = 4*b - 93, 5*b = 7*a + 105 + 17. Suppose 84725 = b*l + 2*l. Is l a composite number?
False
Suppose -19960 = 9*y - 17*y. Let f = -494 + y. Let h = f - 784. Is h a prime number?
True
Let d(r) = -2*r**3 - 10*r**2 + 9*r + 27. Let g be d(-8). Let m = g - 158. Is m a prime number?
True
Let j(i) = 157*i**3 + 15*i**2 - 34*i + 16. Let v(m) = 78*m**3 + 7*m**2 - 17*m + 9. Let b(k) = 4*j(k) - 9*v(k). Is b(-6) a composite number?
True
Let d(p) = -9*p**3 - 106*p**2 - 48*p - 30. Is d(-21) prime?
False
Suppose -4*q + 3086 - 366 = 0. Let l = q + 1313. Is l composite?
False
Let v be 422*60/(-4)*12/(-30). Let j = v - 373. Is j prime?
False
Let y be (-2 + -3)*(-42)/(-245)*-7. Let r(p) = -p**3 + 6*p**2 - 2*p - 6. Let g be r(5). Is g/54 + 12965/y a composite number?
False
Let n(d) = d**3 + 35*d**2 + 5*d + 36. Let p be n(-17). Suppose 0 = -y - v + p, v + 16761 = 5*y - 9004. Is y prime?
True
Suppose 0 = 4*s + 5*x + 184, -4*x - 307 + 77 = 5*s. Let o = s - -1805. Is o prime?
True
Let j(y) = 3*y**3 + 4*y**2 - 9*y + 7. Let f(l) = l**3 - 2*l**2 - 28*l - 5. Let s be f(-4). Is j(s) a composite number?
True
Let n = -16 + 44. Suppose n = 5*v + 8. Is 13*(7 - (0 - v)) a composite number?
True
Let o = 128511 + -54794. Is o a composite number?
True
Let t = -853 + 1406. Let w = -163 + 355. Let c = t + w. Is c a prime number?
False
Suppose -143*a = -149*a + 120912. Let j = a - 9311. Is j a prime number?
False
Let l(z) = -z**2 + 38*z - 196. Let q be l(32). Let n = -9 + 0. Is (-1671)/n*(q + 7) a prime number?
True
Let r = 44 + -16. Suppose 7*d = r + 84. Let w(p) = 227*p + 62. Is w(d) prime?
False
Let n(s) = 115*s**2 - 21*s - 88. Let i be n(-9). Is -1 - (-15)/(60/i) a prime number?
False
Suppose -3*c + 3*b - 3 = 0, 0 = -3*c - 2*c - 4*b + 40. Suppose 4*p + 592 = c*r - 880, 0 = -3*r - 3*p + 1128. Let m = -215 + r. Is m a composite number?
False
Let n(i) = 2*i**3 - 12*i**2 + 2*i - 10. Let a be n(6). Let o be 2 - (-9)/(-4) - 5871/(-12). Suppose 2434 = l + 4*l - s, -o = -l - a*s. Is l a prime number?
True
Is (-38)/(-171)*219*(-1434)/(-4) prime?
False
Suppose 72*o - 20918576 = -10*o - 30*o. Is o composite?
False
Let n(j) = j**3 - 9*j**2 + 3*j - 6. Let r be n(9). Suppose -r*f = -11*f - 64450. Is f a prime number?
False
Let y(d) = -23740*d + 1. Is y(-1) prime?
True
Let c be -8*(-1 + 1/2). Suppose -3*a - 4*r + 8445 = 0, 10*a - 9*a - 2815 = -2*r. Suppose a = c*p - 2565. Is p prime?
False
Let i = -51 - -54. Suppose 4*f - 7054 = i*r, 2*r + 1804 + 1724 = 2*f. Suppose -2*q - 4*s = -f, -2*s + 10 = 3*s. Is q composite?
False
Let u = -9665 + 6904. Let s be (-9)/(-3) - (1400 + 3). Let o = s - u. Is o a prime number?
True
Let b(s) = -10 - 69*s - s**2 + 150*s - 67*s. Is b(5) a composite number?
True
Is (-69798)/4*(-7 + (-190)/(-30)) a prime number?
True
Let y(n) = 1331*n**2 - 10*n + 178. Is y(-9) a prime number?
True
Let o(l) = 2*l + 22. Let x be o(-11). Let h be (x - 3) + -7 + 0/8. Is (2056/h)/(4/(-10)) - -3 composite?
True
Let k be -182*1*1/(-14)*12. Suppose 10*f - k = -6. Suppose 2*i - f = -r, -r - 2*r - 4*i = -55. Is r prime?
False
Suppose -5*r + 74 - 74 = 0. Suppose r = -2*s - y + 1276, -2*s + 2007 = -2*y + 719. Suppose -o = g - s, -660 = -g - 4*o - o. Is g a prime number?
False
Is (-952783)/(-39)*(-2 + -2 - (-77)/11) a prime number?
True
Let s(f) = 32*f**3 - 4*f**2 + 3*f - 3. Let k be s(-4). Let y be k/(-6) + 3/(-2). Suppose 200 = 7*m - y. Is m composite?
False
Let u(r) = -705*r**2 + 2*r + 20. Let y be u(-7). Let k = -14044 - y. Is k a composite number?
True
Let p(r) = -2*r - 1. Let x(w) = 159*w - 1. Let s(a) = 2*p(a) + x(a). Is s(2) prime?
True
Let o(d) = 5213*d - 98. Let x be o(3). Suppose 8890 = 11*q - x. Is q composite?
False
Suppose 17*m - 25 = 26. Suppose -2 - 13 = -5*n, m*b - 3*n = 372. Is b a prime number?
True
Let k = 66 + -58. Suppose 3*h = -2*v + 6, 2*v + v + 4*h = k. Suppose -5*b - 176 - 6604 = -5*f, 3*f + 4*b - 4103 = v. Is f a composite number?
False
Let o(u) be the second derivative of 1065*u**3/2 + 2*u**2 + 2*u. Let h(x) = x**2 - 10*x - 10. Let d be h(11). Is o(d) a prime number?
False
Let n be 3 + 3 + (-12 - -9). Suppose 12*r - 9745 = 7*r + 5*z, -n*z + 1949 = r. Is r composite?
False
Let y(g) = 93*g**2 - 7*g + 457. Is y(36) a composite number?
True
Let p = -163 + 93. Let r = 62 + p. Is 268*(r/28 - 22/(-28)) a prime number?
False
Suppose -6*z = 1097904 - 4399974. Is z a prime number?
False
Is 257751 - (3 - 7)*1 prime?
False
Let d = 396893 + -188842. Is d a prime number?
False
Let d be 6763/7 - (275/(-35) - -8). Suppose 6*j = 4*j + d. Let u = j - -202. Is u a prime number?
False
Let x be (-1 + 1)/(11 + -13). Let q = x + 7. Let u(i) = 2*i**3 - 6*i**2 - 4*i - 5. Is u(q) composite?
False
Suppose -27*k + 1674785 = 84782. Is k composite?
False
Let a be (-1)/3 + 1 + 91/21. Suppose a*w + 427 = k, -4*w - 905 = -5*k + 1230. Suppose 509 = 5*f + 2*r, -k = -0*f - 4*f + 5*r. Is f prime?
True
Let d(h) = -13*h**2 - 4*h + 4. Let v be d(-4). Let f(w) = -34*w**2 + 17*w - 54. Let c be f(3). Let t = v - c. Is t prime?
False
Suppose -2*h - 5*y = -40862, -10*y = 2*h - 7*y - 40862. Is h a prime number?
True
Let o(x) = 149*x - 33. Let w be o(4). Let v(s) = w*s**2 - 5*s - 13*s - 3 + 28*s - 7*s. Is v(1) composite?
False
Suppose -2*t = -6*t + 8. Let q = 115 - 113. Suppose q*c - 530 = -t*a - 10, 5*c = 2*a - 513. Is a composite?
True
Let r be (-10 + -5)*-3*1/5. Let d(t) = 2*t**2 - 17*t. Let q be d(r). Suppose q*b = 7*b + 46. Is b composite?
False
Suppose 4*t - 6*t - 1746 = 0. Let f be 15*7/(126/2868). Let b = t + f. Is b prime?
False
Suppose 2*n + 2*n = 4*f + 1185540, 0 = -4*n + 5*f + 1185542. Is n prime?
False
Let a(d) = d**3 + 14*d**2 - 33*d - 6. Let k be a(-16). Suppose 29275 = 15*i - k*i. Is i a composite number?
True
Suppose 5*j - 9530 - 1113 = 2*h, 8517 = 4*j + h. Is j prime?
True
Suppose 27*i = 4*i - 24334. Let l be (-5896)/(-3) + 2/(-6). Let x = i + l. Is x prime?
True
Suppose 23*n = 18*n - 4*b + 393463, -4*n = 2*b - 314768. Is n composite?
False
Suppose -5072718 = -20*f - 1838141 + 1070203. Is f prime?
True