Let h = 646429 - 372530. Is h a prime number?
True
Suppose 649*c - 42998451 = 547*c + 7546935. Is c a prime number?
False
Let r = 629490 + -24019. Is r composite?
False
Let u(p) = -p**2 - 10*p - 18. Let k be (-22)/7 - (-9)/63. Let j be u(k). Suppose 7319 = 3*c - 2*y, j*c - 12197 = -2*c + 4*y. Is c a prime number?
True
Let d be (40/(-15) - -4)*3*1. Let g be (16 - 0)/d - 2. Suppose -4*b - 62 = -2*h, -g*b - 3*b + 137 = 3*h. Is h prime?
False
Let m be (-3)/(-7) + 4 + 54400/(-7). Let d = m - -15050. Is d a prime number?
True
Let l(w) = -w**2 - 9*w - 9. Let t be l(-4). Suppose 0 = -8*g + t*g - 57. Suppose -p + m = -4*m - 21, 0 = -p + 4*m + g. Is p a prime number?
True
Let x = 44 + -74. Let b = x - -36. Suppose -5*c - 1540 = -5*i, -c + b*c = 4*i - 1233. Is i prime?
True
Let v be (1912/(-6) + 2)*3. Let f be 7 - (-250320)/189 - 8/18. Let c = f + v. Is c a prime number?
False
Let m(d) = d**3 + 7*d**2 + 3*d + 21. Let v be m(-7). Let n be (3 - v)/(5/27980). Suppose 6*h + 6*h = n. Is h a prime number?
True
Let a(r) = 8*r**3 - 5*r**2 - 67*r - 49. Is a(12) a prime number?
True
Let b be -15 + -4 + (0 - 0). Let f = b - -10. Is (-2)/6*f + 250 prime?
False
Suppose 0 = -3*s - 5*d, -5*s + 0*s + 5*d = 0. Suppose 245*q - 240*q - 9805 = s. Is q composite?
True
Let a(k) = -k + 3. Let d be a(3). Let y(l) = -l**2 - 55*l - 60. Let s be y(-49). Suppose d = -4*n + s + 2. Is n a composite number?
False
Let j = 0 + 6. Suppose 0 = -1617*w + 1695*w + 156. Is (j - (w - -4)) + 5775 prime?
True
Suppose 2*a - 20 = -2*a. Suppose -4*z + 3*s = -20112, 42 = 2*z - a*s - 10000. Suppose 1808 = -g + z. Is g a composite number?
True
Suppose -9*k - 62 + 8 = 0. Is k/24 - (-3)/(24/11506) a composite number?
True
Suppose 0 = 7*y - 0 - 7. Let x be (y/(-2)*-10)/1. Suppose 2*d = -5*a + 805, 0*d = -x*d - 3*a + 1984. Is d a composite number?
True
Is 5225062/(-268)*6*(-1)/1 prime?
False
Let i(u) = u**3 + 10*u**2 + 17*u + 8. Suppose -14*f = -12*f + 16. Let v be i(f). Suppose v = 5*t + 12*t - 7769. Is t a composite number?
False
Let o(f) = f**3 + 37*f**2 + 33*f + 44. Let n be o(-24). Suppose -138*u = -148*u + n. Is u a composite number?
True
Suppose -8*o - 1487 - 385 = 0. Let f = o + 3691. Is f a prime number?
True
Let g(y) = 7*y**2 + 9*y - 10. Let r(p) = -p**3 - p**2 + p. Suppose -3 = -5*m - 8. Let h(u) = m*r(u) + g(u). Is h(7) composite?
True
Let b(o) = -735*o**3 - 11*o**2 - 7*o - 1. Let x(y) = -38*y + 187. Let g be x(5). Is b(g) a prime number?
False
Suppose -20*s + 9278 + 2 = 0. Let b = s + 653. Is b composite?
False
Is 1621286/(((-3)/15*-4)/(20/50)) a prime number?
True
Let p be -3*-4*8/(-48). Let n(y) = -119*y**3 - 5*y**2 + 4*y + 19. Is n(p) a prime number?
False
Let n(v) = v**3 + 6*v**2 + 3*v + 25591. Is n(0) prime?
False
Let r(p) = 634*p**2 + 4*p - 11. Let y(h) = -3*h + 98. Let g be y(32). Is r(g) a prime number?
False
Let c be -4 - (-12 + -6 + 1). Suppose 9*q + 61756 = c*q. Is q prime?
True
Is (727/3)/(25/3975) prime?
False
Let m(l) = 6*l - 95. Let h be m(0). Let i be ((-38)/h)/((-1)/(-10)). Suppose -5*t = 15, 5*y = y - i*t + 344. Is y composite?
False
Let u = -1607 - 1037. Let c = u - -5793. Is c a composite number?
True
Let v = -41 - -81. Suppose 0 = c + 2*c + g - 22, 4*g - v = -4*c. Suppose 0 = -4*k + c*k - 1636. Is k prime?
False
Let a be 334 + (-16)/(-4) + -2. Suppose 5*r - a = 8*r. Is 1608/14 + (-16)/r a prime number?
False
Suppose -n = 2*c + 3*c - 371, 0 = -2*n + 2. Suppose 15337 = 14*y - 2835. Suppose -y = -c*l + 72*l. Is l prime?
False
Let c(i) = -115*i**3 - 2*i**2 + 2*i. Let b be c(-3). Let u be (1*-2)/(36/(-10404)). Let p = b - u. Is p composite?
False
Suppose -6*d + 7*d - 2 = 5*h, 0 = -h. Suppose -5*p + m + 97850 = 0, -89106 = -5*p + d*m + 8739. Is p composite?
False
Suppose -122*b = -134*b + 2170956. Is b a prime number?
False
Let j = 1506 - -2050. Let w = -19389 + 28127. Suppose w = 2*q + j. Is q a prime number?
True
Let w be ((-15)/10)/(5/(-750)). Is (579075/w)/(8/6 - 1) a prime number?
False
Suppose 2*s + 0*s = 2*u + 10158, 20308 = 4*s - 2*u. Let q = -2179 + 141. Let p = q + s. Is p a prime number?
True
Suppose 44*s - 16923928 = -46*s + 34*s. Is s composite?
False
Suppose 6*s = 74181 + 41553. Suppose s = -7*k + 53316. Is k prime?
True
Let v = -4548 + 7651. Is v a prime number?
False
Let n(h) = 6*h**2 + 8*h - 85. Let a be n(8). Suppose 4*d - 5*d - 184 = 0. Let y = a + d. Is y prime?
True
Let t(v) be the third derivative of v**6/120 + 5*v**4/24 + 11*v**3/6 - v**2 - 5. Let j be t(6). Let z = 356 + j. Is z composite?
False
Let f(p) = -16*p**3 + 9*p**2 - 57*p - 397. Is f(-14) a composite number?
True
Suppose -298*f + 56 = -291*f. Suppose -5*k - 501 = -i, -f*i + 2072 = -4*i - 3*k. Is i a composite number?
False
Suppose -6*j + 17 = -2*j - 3*r, 5*j - 3*r = 19. Suppose 4*t = 3*c + 24776, j*c - 24756 = 3*t - 7*t. Is t composite?
True
Let c = -263 - -272. Suppose -4*z = -c*z + 2585. Is z prime?
False
Let a(l) = -15*l**3 + 4*l**2 - l + 1. Let f = -35 - -36. Suppose -q + f = -z - 2*z, -5*q - 29 = 2*z. Is a(z) a prime number?
True
Let l(o) = -32*o**2 + 1. Let q be l(7). Suppose 223213 = 39*x + 73063. Let c = x + q. Is c prime?
False
Let l = 930004 - -948399. Is l a composite number?
False
Let f = 126802 - 66922. Suppose f = 18*g - 122550. Is g composite?
True
Let g be (-14)/((-4)/(-2)) + (-6)/(-6). Let s be g/33 + (-4)/(-22). Suppose s = -4*t - p - 3*p + 8532, -10629 = -5*t + 4*p. Is t prime?
True
Let d(o) be the second derivative of -o**4/12 + 5*o**3/3 - 3*o**2 - 16*o. Let q be d(9). Let w(p) = 41*p**2 + 4*p - 2. Is w(q) a composite number?
False
Suppose -16*b + 48*b = 408896. Let a = b + -1765. Is a a prime number?
False
Let v(y) = -121*y**3 + 39*y**2 + 46*y + 95. Is v(-14) composite?
True
Suppose -228*a + 93 = -225*a. Let f(s) = 30*s**2 + 46*s - s**3 - 11*s - 66 + 21. Is f(a) composite?
False
Let z = 67 + -61. Suppose 10*t - 13*t + z = 0. Suppose 0 = t*l - 5*l + 1005. Is l composite?
True
Suppose 3*z = -2*i - 3967 + 338, z + 4*i = -1203. Is (6/((-6)/z))/1 a prime number?
False
Let c be (-1368)/(-54)*(-3)/(-4). Suppose c*o - 72192 = -21709. Is o prime?
True
Let y(g) = 3*g + 16. Let u be y(-5). Is 4569*(u - -1)*(-1)/(-3) composite?
True
Let b = -296 + -357. Suppose 5*i = 2*i + 2760. Let g = b + i. Is g a composite number?
True
Let y = 29371 - -19732. Is y composite?
False
Let r(i) = 24*i**2 - 2*i + 32*i**2 - 4*i**2 - 5. Let z(s) = -s**2 + 29*s + 135. Let f be z(33). Is r(f) a prime number?
True
Let c be (42/(-12) - 3)*-2. Suppose -93265 = -c*o - 10*o. Is o prime?
False
Let v = -195275 + 281022. Is v prime?
False
Let f be 2/4*-2*5. Let b(z) = z**3 - 55*z**2 + 59*z - 55. Let u be b(54). Is 1/(((-25)/u)/f) a prime number?
True
Let q(b) = -2*b**3 + 6 + 11 + 6*b**2 - 13*b - 24*b**2. Let c be q(-12). Suppose -2851 + c = -2*r. Is r a composite number?
False
Let y be (14*(-3)/24)/(17/(-952)). Is 43629/7 - (-28)/y composite?
True
Let m(k) = -43755*k - 24. Let r be m(-4). Suppose -13*c + r = -c. Is c a composite number?
True
Is (-1423994)/(-10) - (-404)/(-1010) a composite number?
True
Let d(l) = -3*l - 27. Let c be d(-10). Suppose c*b = -4*g + 44 - 9, -5 = 2*g - 3*b. Suppose -5011 = -4*p - 5*k, -g*p - 4*k = -3703 - 2572. Is p composite?
False
Let t(u) = 2299*u**2 - 64*u - 298. Is t(-5) prime?
False
Suppose 4*z + 5*r - 84 = -0*r, -2*r + 8 = 0. Suppose -z = -6*t - 4. Suppose c - 197 = -5*p, -5*p + 129 = t*c - 70. Is p a prime number?
False
Let f(u) = u**2 + 14*u + 23. Let t be f(-12). Is 3360 - ((-24)/(-28) + t/(-7)) a prime number?
True
Let u = 64 - 57. Let b(v) = -3*v + 21. Let y be b(u). Suppose y = -2*d - 2*d + 2756. Is d prime?
False
Suppose 18 = 5*g - 2. Let r be (-120)/9*(-42)/g. Suppose 0 = -d + 5, -5*d = 3*s + 2*s - r. Is s a composite number?
False
Suppose -6*j + 2*j + z + 304 = 0, 4*j - 5*z = 304. Let y = 84 - j. Suppose 8628 = y*g + 4*g. Is g composite?
False
Suppose 5*c = 2*o + 3*o - 7395, -3*o = -5*c - 4447. Suppose 5*j - 4*a - 1449 = o, 0 = -2*a + 6. Is j a prime number?
True
Is -11 - (9/(-9) - 75441) a composite number?
False
Let y(h) = 96865*h - 18. Is y(1) composite?
False
Suppose -60*t - 104*t = -414869 - 682127. Is t a composite number?
False
Let z(m) = 303*m - 1. Suppose -5*a = q + 25, 4*a = -2*q + 6*q + 28. Let n be q/(-2) - (0/6 + -1). Is z(n) prime?
False
Let s(b) = -5956