5*z + 69. Let a be y(-37). Is (-2 - a) + 440/2 a prime number?
True
Suppose -4*j - 513 + 2685 = 0. Suppose -m + 0 = -4. Suppose -j - 2021 = -m*u. Is u composite?
False
Let f = -68 + 65. Let a be 6/f - -1 - (0 - 411). Let r = -199 + a. Is r prime?
True
Let f = 2876 + -2873. Let g(b) be the second derivative of 41*b**4/4 + b**3/3 + 2*b**2 + 2*b. Is g(f) composite?
False
Let m = -78 + 463. Let f = 190 - m. Let b = f - -322. Is b prime?
True
Let l(c) = -5*c**3 + c**2 - 2. Let b be l(-1). Suppose -b*j - 4*p + 15 = -9, 3*p = 4*j + 4. Suppose -11*a + 2313 = -j*a. Is a composite?
False
Suppose -10*h - 36518 + 1888074 = 18*h. Is h prime?
False
Let v(k) = 1375*k**2 - 61*k + 15. Is v(12) a composite number?
True
Let h(s) = 11*s**3 + 17*s**2 + 48*s - 467. Is h(19) prime?
True
Let w = 313 + -303. Let f(j) = 61*j**2 - 7*j - 61. Is f(w) a composite number?
True
Let b(m) = -13862*m + 4385. Is b(-4) composite?
False
Let o = 80564 - -84005. Is o a composite number?
False
Let d be (66/22)/(3/5). Suppose -h - 3 = -4*p + 1, 2*h + 5 = d*p. Suppose h = b + 3*b - 296. Is b prime?
False
Suppose 0 = 2*p - 7*p + 28020. Suppose 1102 = 2*o - p. Is o composite?
True
Suppose 26*o - 19*o - 7 = 0. Is o + 547*7 + (-30 - -33) a composite number?
False
Suppose -97*b = -64*b - 883047. Is b a prime number?
True
Suppose 0 = -10*s + 7*s - 5*v + 912841, -v - 1521383 = -5*s. Is s composite?
True
Suppose 175633 - 239358 - 294321 = -26*i. Is i composite?
True
Let y be 827/5 - 21/(-35). Let f = y + 21. Is f prime?
False
Let b = 353836 + -2367. Is b a prime number?
True
Suppose -5*c - 4*z + 7 = 0, 4*c = -4*z + 4 - 0. Let b be 0*(-2 + -2 + c). Suppose b = -3*a + a + 238. Is a a prime number?
False
Is (-1 - (-423915)/(-20))*8*(-6)/12 prime?
True
Let j = -226 - -234. Is (-1 + (-8420)/(-8))/(12/j) a prime number?
True
Suppose 0 = 3*z - 15, -2*x - 2*z + 1441 + 825 = 0. Suppose -3*i - x = -4*i. Let r = -601 + i. Is r prime?
False
Is (-7)/((-84)/1500084) - -10 a prime number?
True
Is (5 + -3)/((-3)/((174129/2)/(-1))) prime?
True
Let a(d) = 223*d**2 + 0*d - 1663*d**3 - 218*d**2 + 3 - 3*d + 1. Let z(o) = -1662*o**3 + 4*o**2 - 2*o + 3. Let k(w) = 6*a(w) - 7*z(w). Is k(1) a prime number?
True
Let f = 2009 - 1114. Suppose 7*q - 4768 = f. Is q composite?
False
Let d(s) = 1627*s. Let m be d(1). Suppose -94*k + 93*k + 2 = 0. Suppose -8*a + m = -4*a + 3*l, k*a + 2*l = 816. Is a prime?
False
Suppose -4*o = l - 66591, 2989*o - 199764 = -3*l + 2986*o. Is l composite?
False
Let f(t) = 0 + 8 + 12*t - 2*t. Let u be (-23)/(-5) - (2 + (-12)/5). Is f(u) prime?
False
Let j(g) = 3*g - 19 - 3*g - g. Let p be j(-19). Suppose p = -w + 1653 + 1490. Is w composite?
True
Suppose 58*s - 265*s + 40833182 - 4324799 = 0. Is s prime?
True
Suppose 3*n = 3 + 9. Let g = 11 - n. Is (-988)/(-2) + (-7)/g prime?
False
Suppose -1455*c = -1407*c - 5285424. Is c composite?
True
Let i be 1/(2 - (-14)/(-8)). Suppose 7*l = 8*l - i. Suppose o + 2301 = l*o. Is o a prime number?
False
Let y(t) = -t**2 - 8*t + 19. Let u be y(-10). Let g be -2 + (-5145)/(-14) - u/2. Suppose 6 = 6*k - g. Is k a prime number?
False
Let y be ((-4)/2)/((-4)/10). Let c(d) = 31*d**2 - 124*d + 2. Let m be c(4). Suppose q - x = 24, m*q + y*x - 2*x = 23. Is q a prime number?
True
Suppose -2*z - 2*m = -491376, 7*m = -3*z + 3*m + 737059. Is z composite?
True
Let h(i) = -4*i - 22. Let k be h(-5). Is k - (3 + (-3942 - 0)) composite?
True
Suppose -92731 = -3*j - 5*y, 12570 = j + 3*y - 18335. Is j a prime number?
False
Let v = 250 + -247. Is (v/(-9))/(7/(-75453)) prime?
True
Let d(n) = 11*n + 38506. Let i be d(0). Suppose 0 = 6*c - 32*c + i. Is c prime?
True
Let s = 105550 - 18041. Is s a composite number?
False
Suppose -2*q = 62 - 12. Let t = q - -25. Suppose 4*x - 6*x + 794 = t. Is x composite?
False
Is (-67003456)/(-260) + 7/5 a composite number?
False
Let b = -85574 - -207691. Is b a prime number?
True
Suppose 14*i = -3*y + 16*i + 572251, 2*i = -5*y + 953773. Is y prime?
True
Suppose -2*x - f + 664579 = -2*f, 4*f + 20 = 0. Is x a prime number?
True
Let u = -42 + 44. Suppose -4*f = u*b - 6*f - 2, -2*b + 3 = -3*f. Suppose b = -2*k + 4*k - 410. Is k prime?
False
Let y(h) = -2 + 9 - 14 + 1679*h. Let k be y(3). Suppose 0 = -l - 5*x + 1032, l - k = -4*l + x. Is l composite?
True
Suppose 27 - 117 = 3*t. Let p be (-48)/t*(-130)/(-4). Suppose 4*q - p = -4*z, 4*z + 54 - 8 = 3*q. Is q a prime number?
False
Let r(z) = -38*z**3 + 4*z**2 + 3*z + 28. Let n be r(-4). Suppose 2*j - 6*b = -4*b + n, 4*j - 5045 = -3*b. Is j composite?
False
Suppose -5*s = 3*b - 1878153, 6*s = b + 3*s - 626051. Is b a prime number?
True
Let c be (-5)/(8/16*3 + -4). Suppose 1 = j - 3. Suppose j*p = c*x - 1258, -5*x + p + 4*p + 3160 = 0. Is x a prime number?
False
Let d be (-21 - 156/(-13)) + 1*2. Is (d + (-94)/(-14))*-75817 prime?
False
Suppose 0 = -5*i - 5, -10*r + 2*i + 14 = -7*r. Suppose 2*v + 2*v = b + 1656, 5*v - 2*b - 2070 = 0. Suppose 0 = r*a - v - 7742. Is a prime?
True
Let p be 10/8*12/3. Suppose 8997 = 3*h + w - p*w, 3*h - 3*w - 8997 = 0. Is h composite?
False
Let x be (19 - 1/(-1))*(-15625)/(-50). Suppose x + 24632 = 6*j. Is j a prime number?
True
Suppose 3*n + 216082 = -4*w + 1773359, 3*n + 1167984 = 3*w. Is w a prime number?
False
Suppose 0 = h - 998 + 114. Suppose 6*y = -h + 80. Let k = 515 - y. Is k a prime number?
False
Let p(v) = -v + 22. Let h be p(5). Let z be (25/(-3))/((17/18)/h). Let i = z - -296. Is i a composite number?
True
Let d(u) be the second derivative of 7*u**4/4 + 5*u**3/6 - 75*u**2/2 - 160*u. Is d(14) prime?
True
Suppose 75101 = 4*v - 3*p, -4*v = -5*p - 34026 - 41081. Is v a prime number?
True
Let s be (0 + -13)/(6 - 7). Suppose -5*b = -25 + 10. Suppose s*a - 1790 = b*a. Is a prime?
True
Let z(n) = -2*n + 30. Let h be z(14). Suppose h = -2*c + 5*f + 16, c = -5*f - 8. Suppose -5*u - 2149 = -4*b, 0*b = c*b - 2*u - 1076. Is b a composite number?
False
Let y = 31 + -27. Suppose -3*p - y*g + 1615 = 0, -2*p + 1078 = 2*g - 0*g. Suppose p = 3*b - 2810. Is b composite?
False
Let f = 14 - 10. Suppose 0 = 3*a + g - 17, -2 = f*a - 2*a - 2*g. Suppose a*z = 595 + 137. Is z a prime number?
False
Let f(g) = -97*g + 7. Let s = 53 - 44. Let k = 3 - s. Is f(k) prime?
False
Suppose 2*a + 20 = 5*i, 4*a = 4*i - 10 - 6. Suppose -2*v + 6 = -4*j, -i*v = 2*j - 3*v + 9. Let s(k) = 14*k**2 + 6*k + 5. Is s(j) a composite number?
False
Let u(w) = -63*w**3 + 12*w - 59*w**3 - 4*w**2 + 129*w**3 + 2. Is u(3) prime?
True
Is 60/140 + (-3656721)/(-21) + 1 composite?
True
Let c be 9854*6/17 + (-4)/(-34). Let z = c - 1829. Is z a prime number?
False
Let s be 3233/6 - (-25)/150. Is (6 - 3) + (-1 + s)*1 prime?
True
Suppose -62 = -3*u + 5*n, 2*u + 5*n - 2*n = 35. Suppose -u*m = -10*m - 40491. Is m a composite number?
True
Let q = -30 + 28. Is q - (-9220 + ((-4)/1 - -1)) a prime number?
True
Suppose -4 = -2*c + 5*r + 20, 22 = c - 5*r. Suppose 4 = c*o, 0 = -7*k + 2*k - o + 1577. Suppose 10*l - 455 - k = 0. Is l a composite number?
True
Let y = 13 - 11. Suppose 3*n = -4*k + 286 + 400, 0 = -y*k + 4*n + 332. Is -2*(-1 - (-12)/(-16)*k) prime?
True
Is ((-12)/(-3))/(172/14748527) prime?
True
Let q(t) = 4*t**2 - 15*t - 2. Suppose -35*c + 347 = -178. Is q(c) a prime number?
True
Let v(y) = 3*y. Let g(a) = 13*a + 2051. Let b(t) = g(t) - 2*v(t). Is b(0) a prime number?
False
Suppose 0 = 4*f + 4*z - 110460, -z = 3*f + 26933 - 109770. Is f a composite number?
False
Let x(b) = -11*b - 5 - 82*b**3 - 5*b**2 + 56*b**3 - 64*b**3 - 115*b**3. Is x(-2) a composite number?
False
Suppose 28*k + 525 = 3*k. Is 16/(-56) + (-23043)/k a prime number?
True
Let p be -7 + -7 + (6056 - -3). Let v be ((-373)/(-2))/(1/162). Suppose -i - x + p = 0, 5*i - v = x - 0*x. Is i a composite number?
False
Let d(l) = 152*l + 29. Let a = -226 + 232. Is d(a) a composite number?
False
Let l = 33821 - 48414. Let k = -10094 - l. Is k a composite number?
True
Let q = -273472 - -824025. Is q a composite number?
False
Let d(a) = 56*a + 11. Let p be d(3). Suppose p*c = 175*c + 21436. Is c a composite number?
True
Let w = -725355 + 1066186. Is w composite?
True
Let g(o) = -o - 2. Let l be g(-2). Suppose 5*y = i + 72, 0*y - 4*y - i + 54 = l. Suppose -10*s - 1892 = -y*s. Is s a prime number?
False
Is (3 + -5 + 3)/((-11)/(-1093147)) prime?
True
Suppose -168*h = -163*h -