(a) = 11*a**2 - 5*a - 29. Is v(m) prime?
True
Suppose 0 = 38*y - 15209702 - 18102428. Is y prime?
False
Is (4/2 + (-10672970)/20)*-2*1 composite?
False
Suppose 5*w - 373980 = y, -w + y + 299183 = 3*w. Is w composite?
False
Suppose -114 = -3*q - 18. Suppose q*c + 43687 = 132551. Is c a composite number?
False
Let w = 179757 + -57808. Is w prime?
True
Suppose 3*a + 3*r = a - 22, 5*a - 5*r = -30. Let v be a/(-20) + ((-2)/5 - -2). Let d(x) = 747*x + 5. Is d(v) prime?
True
Let o be 1*-3*748/(-102). Suppose 5*g = 2*y + 98017, o*y = g + 23*y - 19602. Is g a composite number?
False
Let h(a) = -a**3 + a**2 - 5*a - 3. Let x be h(0). Let w(z) = -1758*z + 23. Is w(x) a prime number?
True
Let b = 621 + -220. Suppose -b*v + 406*v = 23545. Is v a composite number?
True
Let y be ((-3)/2)/(((-60)/(-8))/15). Let i be y + -12*(-5)/10. Suppose -g - 4*z = -631, 5*z = i*g - 1237 - 656. Is g a composite number?
False
Is ((1 - 0)*-1)/((-283587216)/9778868 + 29) a prime number?
True
Suppose -5*w - 4*r = 16, 0 = w + 5*r + 8 + 12. Suppose 3*f + 0*f - 27 = w. Suppose 7*d = f*d - 470. Is d prime?
False
Suppose -2*m - 3*i - 53 = 0, 3*m + 28 = m + 2*i. Let k = m + 25. Suppose 2*t + v = 737, 5*v = -k - 19. Is t composite?
True
Let q = -4047 - -20864. Is q composite?
True
Suppose 8886*j - 8876*j = 1336990. Is j composite?
True
Let m = 140 + -92. Let d = m + -42. Suppose -d*w = -8*w + 1262. Is w a prime number?
True
Let u = -84923 - -146766. Suppose 4*z - s - 34891 = 14579, 4*s + u = 5*z. Is z a prime number?
False
Suppose -k + 0*f + f = -35, f = -5*k + 193. Let y = 4362 + -1484. Suppose k*b - 40*b + y = 0. Is b a composite number?
False
Suppose 0 = b + n - 466, -1404 = -3*b - 4*n - n. Suppose -u - b + 1116 = 0. Is u a composite number?
False
Suppose -4*k + i + 990939 = 0, 0 = 3*k + 2*i - 148518 - 594689. Is k a prime number?
False
Suppose 3*x = -n + 2730 + 1850, -3*n + 13756 = 5*x. Let r = n - 2262. Let q = r + -1291. Is q a prime number?
True
Let l(a) be the third derivative of a**6/120 + a**5/12 - a**4/3 + a**3/6 - 499*a**2. Suppose -5*n + 3 = -2*p + 1, 3*p - 2 = 5*n. Is l(p) a composite number?
False
Let l be (-16)/(-24)*(-42)/(-4). Let d(a) = 187*a**2 - 13*a + 1. Is d(l) prime?
False
Let w(b) = b**3 - 2*b**2 - 16*b + 49. Let d be w(6). Is d + (-5 - -12) + -1 a prime number?
True
Suppose 1055*f = 1075*f - 1502860. Is f prime?
False
Let z = 186195 + 114604. Is z composite?
False
Let w be (5 - 35)/((4*1)/(-2)). Suppose 0 = w*c - 11*c - 11284. Let h = c - 1916. Is h composite?
True
Let l = 17079 - 33188. Let f = -1966 - l. Is f a prime number?
True
Suppose -92*q - 173573 = -96*q - 3*l, -2*q - 3*l + 86791 = 0. Is q composite?
False
Let u be 70/(10 + -5) - 6. Suppose 0 = u*a - 21*a + 18967. Is a prime?
True
Let x(z) = -1570*z - 1. Suppose 3 - 27 = 2*w. Is x(w) a composite number?
False
Let b(u) = u**3 - 11*u**2 - 8*u - 11. Let q be 3 + 13/26*(33 + 1). Suppose 18*k = q*k - 24. Is b(k) a composite number?
False
Suppose 4*k + 35 = 3*k. Let b = k - -54. Suppose 3*r - b = 20. Is r prime?
True
Let c = 1568 - 3420. Let t = 10775 + c. Is t a prime number?
True
Let v(y) = 3*y + 7*y + 0*y - 19 + 2*y. Let m(k) = 6*k - 10. Let b(l) = -7*m(l) + 3*v(l). Is b(-22) composite?
True
Let w(g) = -8*g**2 - g + 2. Let v be w(2). Let b = v - -30. Is 830/2 + (-8)/b a prime number?
True
Let z(m) = 361*m**2 + 206*m - 55. Is z(18) composite?
True
Let c be (3/6)/((-1)/(-6)) + 29. Suppose 11*z = 34 + c. Suppose z*i + 0*i - 1074 = 0. Is i prime?
True
Let k = 360904 - -26287. Is k a prime number?
False
Let p = -205 + 203. Is (200/24 - p)/(2/6) composite?
False
Suppose 3*o = -5*g + 152962, 5*o - 57*g - 254949 = -53*g. Is o a prime number?
True
Suppose -2*n + 12 = -0*n - 3*w, 5*w + 22 = 4*n. Suppose -n*r = -4*r + 2. Suppose -4*v = -x - 776, -v + 194 = -r*x + x. Is v prime?
False
Suppose -26*x - 114*x = -135016780 - 135863200. Is x composite?
True
Let h = -3780 + 8699. Is h a prime number?
True
Suppose 5*s - 5 = 5. Let f be (-5 - -4)*634 - s. Let u = 1073 + f. Is u a prime number?
False
Let h(i) = 2*i**2 + 1 - 4 - 3*i**2 - 4*i + 1. Let x be h(-2). Suppose 3*y + 3456 = 6*y - g, 4*y = x*g + 4610. Is y a prime number?
True
Suppose 45 - 9 = 9*u. Suppose -u*x + 5145 = -13547. Is x prime?
True
Let d(b) = -b**2 + 18*b - 44. Let c be d(9). Let g(m) = -m**3 + 37*m**2 + 67*m + 22. Is g(c) composite?
True
Let q(u) = 843*u**2 + 148*u - 52. Is q(-15) composite?
True
Let x(r) = -8*r + 48. Let z be x(6). Suppose z = -t + 3*q + 14, -5*t - 3*q + 5*q + 18 = 0. Is t*1871 + (-65)/(-13) a composite number?
True
Let q be (0 - 1) + 7 + -4. Suppose 0 = -2*u - q*t + 2713 + 81, -3*t + 1387 = u. Is u a composite number?
True
Let g = 1803347 + -250720. Is g a composite number?
True
Let i(t) = -29*t + 34. Let k(z) = 14*z - 16. Let a(u) = -3*i(u) - 5*k(u). Is a(4) a composite number?
True
Suppose -474*r - 11652 = -471*r. Let g = -1251 - r. Is g composite?
False
Let u be -1 - 5 - -1238*55. Suppose -200*g + 204*g - u = 0. Is g a prime number?
True
Let q = -160442 - -515739. Is q prime?
True
Suppose -2*c = -3*u - 16, -2*u = 3*c + c - 16. Suppose -s = 0, -c*i + 0*i = -3*s - 10. Suppose i*k + 742 = 4*k. Is k composite?
True
Let i(a) = 3*a + 943. Let y(v) = -2*v - 47. Let c be y(-11). Let n be (0*5/c)/2. Is i(n) composite?
True
Let y be (-4)/5 + (-117)/(-15) - 3. Suppose y*d - 5143 = 13189. Is d a composite number?
False
Let f = 280620 + 5509. Is f prime?
True
Let x = 397 + 402. Is x a prime number?
False
Let x(a) = -4279 - 110*a - 4280 + 8562. Suppose -2 + 3 = -s. Is x(s) prime?
True
Let u(n) = 23*n**2 - 26*n + 7. Let d be (-1)/(4/(-12)*1) - 50. Let w = d - -53. Is u(w) prime?
False
Let p(d) = -16*d - 89. Let u be p(-6). Is 4/u + 207324/28 composite?
True
Is (-2)/((-434)/654162*(-4)/(-14)) a prime number?
False
Let x = 5833 - 10841. Is x*7/(-14) - 1 a composite number?
False
Let v(f) be the second derivative of -181*f**3/3 + 185*f**2/2 + 170*f. Is v(-36) a prime number?
True
Suppose 10290 = -2*s - s. Let x be s/(-182) + (28/13 - 2). Suppose -4*j = 3*d + j - x, 0 = 4*j - 8. Is d a prime number?
True
Let v = -585740 - -898777. Is v prime?
True
Let j(i) = i**2 + 23*i + 56. Let z be j(-20). Let r be (-3 - -4)*(z - -5). Is 1 + r - 1 - (-2016)/8 composite?
True
Let n(a) = -46*a. Let x be n(-1). Suppose 3*f + 28 - x = 0. Suppose 0 = f*r - r - 2465. Is r composite?
True
Suppose 1065*a + 8655154 = 1083*a + 606976. Is a prime?
False
Let h(n) = -7402*n - 51. Let b be h(-13). Suppose -9*t = -b + 10378. Is t prime?
True
Is 34/17*(-1)/(-10) + 1184928/10 prime?
True
Suppose -15695 = -9*b + 4204. Let y be (2 - (-3)/(-2))*0. Suppose 6*t - 3*t - b = y. Is t composite?
True
Suppose 3139421 + 1576005 = 34*x. Is x prime?
False
Suppose 2*a = 4*f + 16, -a = 5*f - 0*f + 13. Is 43240/24 + f/(36/8) a prime number?
True
Suppose 14*g + 4*g + g - 15207391 = 0. Is g a prime number?
False
Is 8/(-124) + -8 + (-12559670)/(-310) a prime number?
True
Let m = -70743 - -194084. Is m composite?
False
Let i(w) be the third derivative of -w**5/60 - w**4/24 + 4*w**3/3 + 11*w**2. Let n be i(0). Suppose -n*c + c = -8491. Is c a composite number?
False
Suppose -13*k + 11*k = 0. Suppose k = 8*a - 4*a. Suppose a = 3*m - 191 + 44. Is m a prime number?
False
Suppose 5*s = -4*m + 516869, 19*m - 103381 = -s + 17*m. Is s a prime number?
False
Let a(d) = 381*d**2 + 12*d - 46. Let j be a(4). Is 1/2*-4*j/(-4) a prime number?
True
Is ((-12095)/(-820))/(-1 - 11578/(-11576)) composite?
True
Is 6/(-14)*28/48*-962564 prime?
True
Let x(i) = -142*i + 73. Let v(d) = 143*d - 72. Let t(k) = 2*v(k) + 3*x(k). Let o be t(14). Let b = o - -3522. Is b composite?
False
Suppose 4*q - 43 - 874 = -3*o, -1145 = -5*q - 5*o. Suppose 12*y = 14*y + q. Let x = 96 - y. Is x composite?
False
Suppose -44590*g + 44548*g + 14789838 = 0. Is g a composite number?
True
Let f = -8012 + 11495. Let l = f - -278. Is l prime?
True
Let d(m) = -37 + 54*m**2 + 3*m + 29*m**2 + 58*m**2. Is d(-5) composite?
True
Suppose 3*o - 9 = -3*c, 0 = -c - c - o + 9. Suppose h - 3*v = 2789, c*h + 5*v - 8367 = 3*h. Is h a composite number?
False
Let w(f) = 3*f - 17. Let y be w(7). Suppose 2*t + 381 = -4*n + 1125, 2*t + y = 0. Is n prime?
False
Suppose 2*b = k - 6*k + 336797, 3*b - 505182 = -3*k. Is b a composite number?
False
Suppose 14*h - 4*x = 9*