Let c = -63 - -279. Suppose -2*y + 7114 = c. Is y a prime number?
True
Suppose 85*t + 27744 = 91*t. Suppose 4*x + 3063 = n, 2*n = x + t + 1509. Is n a composite number?
False
Suppose -12*a + 601584 = -0*a. Suppose -25*j - 8607 = -a. Is j a prime number?
False
Let k(w) = 50*w**2 + 164*w + 1. Is k(12) composite?
True
Suppose -26885 = -2*k - 3*k. Suppose 0 = 6*d - k - 14429. Suppose d = 8*q + 1181. Is q a composite number?
True
Let a(g) = -902*g + 43. Let m = -44 + 26. Let k be a(m). Suppose 21776 = 15*d - k. Is d a prime number?
False
Let c(h) be the second derivative of -h**5/20 + 5*h**4/6 - h**3/3 - 5*h**2/2 + 5*h. Suppose -4*a = -34 + 18. Is c(a) a prime number?
True
Let k(d) = -d**2 - 18*d + 3. Let u be k(-18). Suppose -u*j = -29 + 17. Suppose -j*f + 2636 = -0*f. Is f a prime number?
True
Suppose -5*g + p + 2706906 = 0, 3*p + 13 = 10. Is g prime?
True
Let o(v) = 11*v - 11. Let p be o(3). Suppose -p = 4*i - 5*i. Let g(b) = 2*b - 23. Is g(i) a prime number?
False
Suppose 0*j - 40 = -4*j. Is 54/(-90) - (-38276)/j composite?
True
Suppose -7247 = -127*r + 548124. Is r composite?
False
Let j(m) = -m**3 - 6*m**2 + 5*m + 53. Is j(-15) composite?
False
Let i be ((-21)/3 + (3 - 3))/(-1). Let p(x) = -x**2 + 8*x - 4. Let v be p(i). Is (0 + 3)/(v/877) a composite number?
False
Let i(f) = -f**3 - 10*f**2 + 11*f + 8. Let k be i(-11). Let b(t) = t**2 - 9*t + 14. Let u be b(k). Suppose -u*d = 7*d - 16471. Is d composite?
True
Suppose 2*c + 424 = 3*l + 6*c, 2*l + 4*c = 280. Let b(h) = 9*h**2 + 11*h - 37. Let o be b(10). Let n = o + l. Is n composite?
False
Suppose -2*i - 4*b = -6032, 6027 = 2*i + 12*b - 7*b. Let v = -279 + i. Is v composite?
True
Let n = -270 - -274. Suppose -3*v - 2*v - i + 31434 = 0, -25146 = -n*v - 2*i. Is v composite?
False
Suppose 2*c - 5 = c - 4*u, c - 5*u = -13. Let j(r) be the third derivative of -103*r**4/24 + 16*r**3/3 - 92*r**2 - r. Is j(c) prime?
False
Let k = 9356 + 773. Let c = -1600 + k. Is c a prime number?
False
Let o = -7365 - -12871. Suppose 351 = -5*k + o. Is k composite?
False
Suppose 0 = g - 1, -10*g + 2404 = -2*f - 14*g. Let q(y) = -445*y**2 + 2*y - 1. Let t be q(2). Let n = f - t. Is n composite?
True
Let v = 30 - 28. Suppose -c - 3*u = 8, 1 = -v*c - 7*u + 4*u. Suppose -2*d + c = j - 12, -5*d - 115 = -4*j. Is j composite?
True
Let f = -9614 - -19285. Is f a prime number?
False
Let b be 3*(1 - 4/12). Suppose -n - b*g = -337, -g + 84 = n - 250. Is 1 + n + -1 + 2*-1 a composite number?
True
Suppose -2*g + i + 215 = -2*i, 0 = -g - 2*i + 118. Let d be (32/g)/((-2)/(-7)). Is ((-3 + d)*(-14548)/8)/1 a composite number?
False
Let b(h) = 201*h + 66*h - 46*h - 99 - 85*h + 199*h. Is b(14) a composite number?
False
Let b(k) = -38*k**3 - 6*k**2 + 8*k + 5. Let h(o) = -36*o**3 - 7*o**2 + 10*o + 5. Let n(i) = -5*b(i) + 4*h(i). Let q be (-3)/(((-2)/1)/2). Is n(q) prime?
False
Suppose 3*h + 346 = 397. Suppose m + 7259 = -h*f + 19*f, -f + 3625 = -2*m. Is f a prime number?
True
Let p be -9*((-11)/3 - -3) - 2. Suppose 5*b + 4*z = 5032, 0*b + p*z - 4028 = -4*b. Is 2/(12/(-45))*b/(-6) a prime number?
False
Let a = -1 + 8. Suppose -a*l + 8*l = 2*m - 8947, -l = 5. Is m prime?
False
Suppose 5*c = 4*v - 13 - 20, -v - 3*c = 13. Suppose -4*n - 5*k = -889, -v*n + 150 = 5*k - 287. Let r = 489 - n. Is r a composite number?
False
Is ((-21)/(-5))/(2037/174100935) a prime number?
False
Suppose 10*m - 5*m - 4*j - 7379 = 0, 3*j = -2*m + 2947. Let a = 2172 - m. Is a prime?
False
Let y be 157/(-1727) - (-14268)/11. Suppose -3*h + 5*g + 15033 = h, -7521 = -2*h + g. Suppose -y + h = 5*m. Is m a prime number?
False
Let f(q) = 480*q - 30. Let d be f(12). Let a = d + -531. Is a a composite number?
True
Suppose 17*f = 1782076 + 401761. Is f composite?
False
Let n(a) = 11*a - 4. Let i be n(4). Let j = i - 35. Suppose -2*h - 753 = -3*f, 3*f + 518 = j*f + 4*h. Is f prime?
False
Is (-4 - -1) + -5 + (-139935)/(-3) composite?
True
Let n(s) = s**2 - s - 6. Let o be n(-7). Suppose o = 6*p + 8. Is (p - 10)/((-1)/191) a composite number?
True
Let f be (-5)/70*4 - 30/(-7). Suppose -2*m = -b + 601, b - f*m - m - 616 = 0. Is b a prime number?
False
Is ((-295605)/(-12) + 2)*(-184)/(-46) prime?
True
Let u be (-1)/(-2) + 7896/(-16)*-1. Let c = u + 1525. Is c composite?
True
Suppose -53953*q - 405735 = -53968*q. Is q a prime number?
False
Suppose 2*t - 5*m + 46855 = -3*t, -3*m = -2*t - 18746. Let a = 20394 + t. Is a prime?
True
Suppose 268*a = -61*a + 27947563. Is a a composite number?
False
Let x = -20 - -30. Suppose 9*o - x = 17. Is (7 - (o - 0)) + 649 composite?
False
Let a(q) = -q**2 - 14*q + 3. Let x be a(-14). Suppose -6*h - x = -7*h. Suppose -36 = -h*o + 291. Is o a composite number?
False
Let s = -118087 - -239748. Is s a prime number?
True
Suppose -11*n - 3*j + 49653 = -8*n, 3*n - 49633 = 2*j. Is n composite?
False
Let d(p) = 4*p**2 - 15*p + 9. Suppose 3 = 4*m - 73. Let k = -9 + m. Is d(k) prime?
False
Is (-1)/(4595106/7658535 - (-9)/(-60)*4) prime?
True
Suppose 0 = -2*u - 4*g - 12, -3*g = -0*u + 4*u + 9. Let l be u + (-3)/(-9)*(-9)/3. Let o(d) = -2598*d**3 + 1. Is o(l) prime?
False
Let i(v) = 5*v**2 + 19*v - 7. Let d = 118 + -136. Is i(d) composite?
True
Suppose 2*h + 7 = 83. Suppose -43*m + h*m = -1455. Is m a prime number?
False
Let l be (-2)/(-2 + 0/(-1)). Let n = 1725 + -1722. Is (-3 + (37 - n))/l a composite number?
False
Suppose 92 = v + 51. Suppose -46*x + v*x + 24425 = 0. Is x composite?
True
Let w(v) = 4347*v - 80. Is w(23) prime?
True
Suppose f = 3*r + 22577, 199 = r + 197. Is f a prime number?
False
Let j be 272/72 - (-6)/27. Suppose -j*b + 774 = -430. Is b a prime number?
False
Let p(q) = 6*q**2 + 89*q + 154. Let g be p(39). Suppose -k = 4*r - 10206, 14*r - 2*k - g = 9*r. Is r composite?
False
Suppose -191*k - 1249028 = -235*k. Is k a composite number?
False
Suppose 205 = -u - 4*y + 1408, 2*u - 2*y - 2406 = 0. Let i = u + 182. Is i a composite number?
True
Is 900040/1 - (-11 + -4)/(-5) composite?
False
Suppose o - 440*h = -442*h + 148987, -4*o - 5*h = -595951. Is o a composite number?
True
Let l(s) be the second derivative of -83*s**5/10 - s**4/6 - s**3/2 - 9*s**2/2 - 126*s. Is l(-2) a composite number?
True
Suppose -54064 = -f + 5*u, -510*u + 514*u - 54001 = -f. Is f composite?
True
Let t(w) = 2242*w + 12. Let r(n) = -4486*n - 23. Let k(v) = 3*r(v) + 5*t(v). Is k(-2) a prime number?
False
Let t(c) = 1179*c**2 - 67*c + 473. Is t(9) a composite number?
False
Suppose 8561553 = -0*t + 21*t - 8700888. Is t composite?
True
Suppose -3*l + x + 797424 + 392060 = 0, -2*x + 396483 = l. Is l a composite number?
True
Let o = -20 + 22. Suppose z + 5*g = -17, o*g + g = 2*z - 31. Suppose v - 3757 = -7*x + z*x, -3*v = 2*x - 11291. Is v a prime number?
True
Suppose 28*i - 1803786 - 2479983 = 1464547. Is i composite?
False
Let j(y) = 3*y**3 - y**2 - 11*y + 4. Let d be j(2). Let n(p) = 1759*p**2 - 2*p - 1. Is n(d) prime?
False
Suppose n + 2*n = 12. Suppose -n*x = 12 - 44. Is (-1 - (4 - x)) + 154 a prime number?
True
Let p(b) = 351*b**2 + 153*b - 5. Is p(5) prime?
False
Let i be 6/(-9) - 2/((-12)/22). Suppose 1269 = b - q, i*q - 2523 = -3*b + b. Let p = b + 1193. Is p a composite number?
False
Suppose 0 = 3*w - k - 147764, 5*w - 10*w = 5*k - 246240. Is w a composite number?
False
Let p = -433 - -287. Let v = p - -145. Is (-724 + 25/5)/v a prime number?
True
Suppose -23743 = -36*o + 140705. Let b = -294 + o. Is b composite?
True
Let o be 24/(-96) - (-3325)/4. Suppose 3*j + 605 = f - o, 5*j = 3*f - 4312. Is f prime?
True
Let i be 4/(-22) - 414/(-99). Suppose -773 = -i*p - p + 3*z, 0 = 4*z + 4. Suppose -4*n = 2*q - p, -4*q + 53 + 107 = 4*n. Is n a composite number?
False
Suppose -6312 = 2*o - 36114. Is o a composite number?
True
Let c be 704/132 + 8/(-6). Let j = -8 - -10. Is (0/c)/2 - (-4109 - j) prime?
True
Suppose 174*s - 1120 = -4*y + 170*s, -s = -y + 290. Let d = -181 + 17. Let h = y - d. Is h prime?
True
Is 15/2*(-526192)/(-60) a composite number?
True
Suppose -5*j = 5*z - 989535, 2*j + z = 410252 - 14440. Is j a composite number?
True
Suppose -3*f = h - 18398, f - 49*h = -45*h + 6111. Is f a prime number?
True
Let a(r) be the second derivative of -681*r**5/10 - r**4/6 - 2*r**3/3 - 3*r**2/2 - 10*r. Let g = 71 + -72. Is a(g) a prime number?
True
Let n(w) = 2*w**3 + 8*w**