 = -c**3 + 6*c**2 - 9*c + 2. Let d be q(5). Is u(d) prime?
False
Let q = -1400 - -2409. Is q composite?
False
Suppose -3*p + p - 1 = -3*t, 0 = t - 3*p + 2. Let h(q) = 2*q + 1. Let j be h(t). Suppose -200 = -3*a - v, -j*a - 3*v = -a - 145. Is a a prime number?
False
Suppose -c - 5*r = -3901, c + 50*r - 54*r = 3883. Is c a prime number?
False
Let b(r) = 2*r**2 - r - 22. Let w(k) = k**3 + 5*k**2 - k + 4. Let g be ((-21)/14)/((-3)/(-10)). Let s be w(g). Is b(s) a prime number?
True
Suppose 0 = -2*s + 4*q - 14, 1 = 2*s + q - 0. Let g be 1/s - (-1 - 15). Let u = 41 - g. Is u a composite number?
True
Let j = 384 - -601. Is j prime?
False
Let v(p) = p**2 - 8*p - 8. Let z be v(10). Suppose -z*m = -8*m - 340. Is m a prime number?
False
Let x(a) be the first derivative of 751*a**2/2 - 37*a - 29. Is x(8) prime?
False
Let z(w) = -w**2 - w + 10. Let k be z(-4). Is k - (1 + 602)/(-3) composite?
False
Let a = 573 - -100. Is a composite?
False
Suppose 2*p = -4*b + 2530, -4*p + 22*b + 5112 = 17*b. Is p a composite number?
True
Suppose -x + 143 + 25 = -2*b, 4*b = -5*x + 910. Let m = 341 - x. Is m a composite number?
False
Let s(z) = -4 + 5 - 5 + 36*z + 5. Is s(13) a prime number?
False
Let j = 24 - 20. Let h(v) = 23*v**3 + 4*v**2 + 2*v - 9. Is h(j) a composite number?
True
Let g = -53 + 74. Let p be (-3 + g/6)*6. Suppose p*b = 271 + 482. Is b a composite number?
False
Let n(u) = -1410*u**3 + 14*u**2 + 39*u - 4. Is n(-5) a composite number?
False
Let c(f) be the third derivative of -f**5/60 + f**4/24 + 5*f**3/6 + 2*f**2. Let g be c(0). Suppose -g*r = -15, -3*k + 5*r + 2004 = -0*r. Is k prime?
True
Suppose 0 = 2*w - w. Let j = 4 + w. Suppose -j*d = -y - 136, -98 = -4*d - 5*y + 14. Is d composite?
True
Let x(a) be the third derivative of -a**5/60 + 5*a**4/24 + a**3/6 - 5*a**2. Let q be x(4). Suppose 4*j - 4*l - 188 = 0, l - 228 = -q*j - l. Is j a prime number?
False
Suppose 289949 = 14*u - 491153. Is u prime?
True
Suppose 0*f + 2*f + 28 = 5*t, -5*t = -f - 29. Let j be 2/(-8) - (-2 - 25/20). Suppose j*c - t*c = -333. Is c a prime number?
False
Is (-4)/(-12) + -38523*(-12)/54 a prime number?
False
Suppose -q = 4*q + 3*f - 41797, 5*f - 25091 = -3*q. Is q composite?
True
Suppose 0 = -17*i + 2516 + 2601. Is i composite?
True
Suppose -5 = -2*s + 19. Suppose 375 = -s*o + 1011. Is o prime?
True
Let y(g) = -g - 17. Let i be y(-13). Let r be 0/i - (0 - 3). Suppose 7*m - 3*m = -2*o + 1054, -r*o + 1316 = 5*m. Is m composite?
True
Let k = -9 - -34. Suppose 5*t + 0 = k. Suppose p - 488 = -2*f - p, -2*p + 1235 = t*f. Is f composite?
True
Suppose -j + 115 = -0*j. Suppose 2*n + j = 7*n. Is n composite?
False
Let j = 732 - 200. Suppose -3*p - p - j = 0. Let u = 426 + p. Is u a prime number?
True
Suppose 0 = 3*q + 6, 6*q = -3*b + 3*q - 51. Is (670/b)/((-3)/9) prime?
False
Let k(c) = -55*c + 31. Let x(s) = 54*s - 32. Let r(y) = -6*k(y) - 5*x(y). Is r(7) a prime number?
False
Suppose 6*z = -4*p + 349862, -4*z + p + 311840 - 78606 = 0. Is z a composite number?
False
Let q = 4182 - 1511. Is q prime?
True
Let q = -3834 + 6997. Suppose -m + 2185 - 88 = 2*u, 0 = 3*u + 5*m - q. Is u a prime number?
False
Let u(j) = 14*j**2 + 4*j - 7. Suppose 0*o + 65 = 5*o. Suppose p + o = 5*s + 41, 4*s = -5*p - 34. Is u(s) a prime number?
False
Let h = 50484 + -29381. Is h a composite number?
True
Is -7*(-4)/84*31623 composite?
True
Is 5*2/(-35) - 62985/(-21) prime?
True
Let d(c) = -3*c**3 + 2*c**2 + 8*c + 6. Suppose 0 = h + 4*h - 4*p + 40, 0 = -4*h + 3*p - 32. Let o be d(h). Let q = o - 905. Is q a composite number?
False
Let h(o) = 39*o - 1 + 1 - 38*o. Let z be h(5). Suppose 2*k - 800 = 3*a, a - 2025 = -z*k - 4*a. Is k a prime number?
False
Let z = 3184 - 2039. Is z prime?
False
Let n(l) = -l**3 + 4*l**2 + 7*l - 5. Let y be n(5). Is (-1936)/(-20) - (-1)/y a composite number?
False
Let y(q) = -1691*q**2 - 4*q + 3. Let z be y(1). Let m = z + 3784. Let c = -975 + m. Is c a prime number?
True
Suppose -5*i - 9*i + 28686 = 0. Is i prime?
False
Let i = -5953 - -15818. Is i a prime number?
False
Let w(x) = 2*x**3 + x**2 - 7*x + 20171. Is w(0) prime?
False
Suppose -85*n = -87*n + 10938. Is n prime?
False
Suppose -8 = 7*i - 5*i + 5*s, 0 = 2*i - 5*s - 32. Is (0 + 48 + -2)*417/i a prime number?
False
Let i(m) = 117*m - 12. Let x be i(5). Let q = -122 + x. Is q a composite number?
True
Suppose -9*u + 5*u = -13764. Suppose -4*t = -4*v - 4592, 0*t + 3*t - 4*v - u = 0. Is t prime?
True
Suppose 0 = -4*h + f - 9172, h = -0*h - 4*f - 2276. Let w = -1549 - h. Is w a composite number?
False
Suppose 0 = -4*i + 4, -6*l = -9*l - 2*i + 278765. Is l composite?
False
Let l be 1/(3/(-4 - -19)). Suppose -l*p + 4*k + k = -8670, 2*p + 5*k = 3461. Is p a prime number?
True
Let f(r) = 31*r**3 + 2*r**2 - 2*r + 1. Let k be f(1). Suppose -d = -57 - k. Is d prime?
True
Let v = -151 + -1674. Let g be v/3 + (-4)/6. Let k = g + 940. Is k a composite number?
False
Suppose -2*t - d + 2389 = 0, 0 = t - 2*d - 1440 + 238. Let v = t + 3719. Is v a prime number?
False
Let f(j) = 3*j**2 + 2*j - 18. Let o be f(-7). Suppose -o = y - 1124. Is y composite?
False
Let t be (-16155)/(-20) - (-2)/8. Suppose 3*o = -3*j + 603, 5*j - j + 2*o - t = 0. Is j a prime number?
False
Let c(m) = 50*m + 30. Let h be c(15). Is (2/(-3))/(0 - 8/h) composite?
True
Is (13/26)/((1/1)/5266) a composite number?
False
Is (-15541)/32*-8*5*4 composite?
True
Let b = 118655 - 48376. Is b a composite number?
True
Suppose -2*y + 4*y - 2*f = 1868, 0 = f. Suppose -5*z = -y - 721. Is z prime?
True
Let u(l) = -l - 1. Let z = 5 - 6. Let c(f) = -11*f - 13. Let i(w) = z*c(w) + 2*u(w). Is i(4) a composite number?
False
Let p(m) = -2*m**3 - 16*m**2 + 50*m + 43. Is p(-18) prime?
True
Let p(t) = -2*t**3 + 11*t**2 - 53*t - 89. Is p(-11) a composite number?
True
Suppose 2*c - c - 30 = 0. Suppose -25 - c = -5*w. Suppose -3*y = -5*a - 131, -84 - w = -3*y - 4*a. Is y a prime number?
True
Suppose -7*u = -6*u - 31. Let d(i) = 4*i**3 + 20*i**3 + u*i**3. Is d(1) a composite number?
True
Let b(s) = -75*s - 159*s + 35 - 12. Is b(-22) a prime number?
True
Suppose 19497 = -117*r + 120*r. Is r composite?
True
Let x = 54 - 41. Let a(z) = 2*z**2 + 5*z + 4. Is a(x) a composite number?
True
Suppose -9 = -5*o + 4*k, 5*o - 3*o + k - 1 = 0. Let j(b) = -169*b. Let p be j(o). Let r = p + 356. Is r a composite number?
True
Let v be -4*-1*1/2. Let g be 178*((-1)/v + 1). Let z = g + 38. Is z a prime number?
True
Is (1 + 1)*2285/2 composite?
True
Let c(p) = 631*p - 31. Is c(2) prime?
True
Is 18059*(-10 + 15 + -4) a prime number?
True
Is 1726520/119 - (-9)/21 prime?
False
Let y(b) be the third derivative of b**6/120 + b**5/10 + b**4/4 + 7*b**3/6 - 6*b**2. Let g be y(-5). Is 2*37*1/g a prime number?
True
Let b = -131 - -320. Let s = b + -70. Suppose 3*r - 127 = s. Is r a composite number?
True
Is ((-2338)/21 - 1)*-51 a composite number?
True
Let f be (-4 + -6)*(-4)/10. Let t(j) = 16*j + f*j + 9 - 6*j. Is t(5) a composite number?
False
Suppose -5*u + 25 = -0*u. Suppose -2*y - u*o + 4*o + 3 = 0, -3 = 3*o. Suppose -3*z + 12 = 0, -y*z = v - 0*z - 361. Is v prime?
True
Let v(t) be the first derivative of 2*t**3/3 - 3*t**2 - 5*t - 2. Let q be v(5). Suppose 0 = 5*l - 830 + q. Is l prime?
True
Let s(j) = j**3 + 9*j**2 - 5. Let y be s(-9). Let c be ((-8)/(-20))/((-1)/y). Suppose 2*u - u = -c*r + 383, -1147 = -3*u - 4*r. Is u a prime number?
False
Suppose 4*h + 3*b - b = 838, -h + 3*b + 220 = 0. Suppose 0 = -5*z + 2666 - h. Is z prime?
True
Let m(x) = -x**2 + 3*x - 3. Let y be m(3). Let u be y + -12*4/(-8). Suppose -u*j + 1 = -554. Is j a composite number?
True
Let f be (1 + -2)*(-3 + 0). Suppose 2*c + 4000 = 7*c - f*s, -2386 = -3*c - s. Is c a prime number?
True
Let p = 4848 - 2785. Is p composite?
False
Is ((4 - 3) + -21599)/(6/(-3)) prime?
True
Let k = -75 + 100. Suppose 0 = -5*r - j + 19530, -3*r = -2*j + k - 11756. Is r a composite number?
False
Let b be (-1 + (-2)/1)*1. Let r = 6 + b. Suppose -q = -3*w + 464, 0*w = -3*w + r*q + 462. Is w prime?
False
Let b = 1615 + -62. Is b a composite number?
False
Let z(l) = l - 17. Let u be z(11). Let q(p) = -2*p + 5. Let d be q(4). Is (d/u)/(1/74) a prime number?
True
Suppose -3*f = -4*u - 300, 3*u - 2*f + 60 = -165. Let a be 24/(-16)*(-4)/2. Is (-10770)/u - a/5 prime?
False
Suppose 0 =