d prime?
False
Let k(f) = 320*f**3 + 2*f**2 - 23*f - 36. Is k(7) composite?
False
Let h(s) = s - 3. Let i be h(9). Suppose -9*d - 9 = -i*d. Let g(n) = 147*n**2 - 6*n - 4. Is g(d) prime?
False
Suppose 11*c - 3146 = -2*h + 8*c, 4*c - 7879 = -5*h. Suppose 0 = -5*u + 2*i + 7843, 0 = u - 0*u - 3*i - h. Is u a prime number?
True
Suppose -20 + 0 = -5*z - 4*x, 4*x - 20 = 0. Suppose z = -16*j + 11*j + 1655. Suppose o + j = 2*o. Is o a prime number?
True
Let u = -11655 - -18168. Is ((-46)/3)/((-26)/u) a prime number?
False
Suppose 2621542 = 26*r - 4965778. Suppose -22*n - r = -42*n. Is n a prime number?
True
Let k(r) = 360*r - 153. Let s(f) = -90*f + 38. Let d(m) = 5*k(m) + 21*s(m). Is d(-8) a prime number?
False
Suppose -27388 = 13*m + 30891. Let f = -2504 - m. Is f prime?
True
Let l(h) = -h**2 + 2*h + 1. Let o be l(2). Let i(f) = 3658*f**3 + 2*f**2 - f. Is i(o) composite?
False
Let n(c) = -40*c**3 + 19*c**2 - 12*c - 46. Let p be n(-19). Suppose 0 = -5*h + p + 171594. Is h composite?
False
Let i be (-3 + 95/10 - 3)*434. Let u = 118 + i. Is u a composite number?
False
Is 340850 - (-39 + 41)/(3 + (-3)/3) a composite number?
False
Let w = -267 - -246. Suppose a + 3*j + 654 = 2*a, -2*a + 5*j + 1304 = 0. Is (-9)/w + a/21 a prime number?
True
Suppose 15 = 4*m - 29. Let n(f) = 27 + 0 + f**2 - 8*f - 1 - 10. Is n(m) composite?
True
Let h = 28 + -25. Let k be (1/h*0)/(3 + -4). Suppose y - 6*y + 2515 = k. Is y a prime number?
True
Let t be (-2501)/(-21) - (298/42 + -7). Is (t/(-28) + 6)*1268 prime?
False
Let m = -203014 - -759651. Is m prime?
False
Let k be ((-6)/18)/((-1)/9). Suppose -k = -r, 0 = -7*h + 9*h + 3*r - 7211. Is h a composite number?
True
Let j = 12777 + -24103. Let y = -7949 - j. Is y composite?
True
Suppose -5*u + 10*u + 21840 = 5*l, 4*l - 2*u - 17482 = 0. Let m = 6528 - l. Is m prime?
False
Suppose 4*t = -y + 31106, 46*t + 93303 = 3*y + 43*t. Is y a prime number?
False
Suppose -1931 + 258 = -7*m. Let d = -96 + m. Let x = d - -96. Is x a composite number?
False
Suppose -4*l = 2*j + 2, 5*l + 2*j + 3 = 1. Suppose l = -18*o + 22*o - 12. Suppose -4*y - 5*c = -156 - 273, -o*y + 339 = -2*c. Is y prime?
False
Let t(j) = j**2 + 12*j + 31. Let d be t(-9). Suppose 8 + 0 = n. Suppose -n = -2*q, -2*y - 218 = -d*y + q. Is y a prime number?
False
Let m(r) = -r**2 - 16*r - 58. Let a be m(-7). Suppose 3*q = -5*h + 193 + 535, -4*q - a*h + 979 = 0. Is q composite?
False
Let m(t) = -t - 19. Let u be (-22)/55 + (-86)/10. Let b be m(u). Is (32325/b)/3*-2 prime?
False
Let m = -189282 + 305413. Is m a composite number?
False
Let t(s) = -3467*s + 1258. Is t(-5) composite?
False
Let m(i) = i + 12. Let k be m(-16). Let p(b) = -14*b**3 + 6*b + 35. Is p(k) a prime number?
True
Suppose 4*s - 2*z = 46092, 5*s - 87 = 3*z + 57527. Let p = s + -3137. Is p a composite number?
False
Let a(s) = 118*s**2 + 6126*s + 19. Is a(10) prime?
True
Suppose -4*m + 5*x = 2*x - 69, -4*x = -m + 14. Let h(q) = -2*q - 4*q + m*q**3 - 20*q**3 - 10 + 3*q. Is h(-7) a composite number?
True
Is 2193/1462 - ((-1)/4 + 63877/(-4)) composite?
False
Let l(a) = 61*a**2 + 22*a - 351. Let y be l(10). Let c = 8928 - y. Is c prime?
False
Let h(u) = 5*u**2 - 31*u + 79. Suppose 4*d + 3*k = -0*d + 91, 92 = 4*d + 4*k. Is h(d) composite?
True
Let q(d) be the first derivative of 9/2*d**2 + 4*d + 4*d**3 + 16. Is q(-5) prime?
False
Let p be -1402*4/(-16)*2. Let m = 993 - p. Suppose 6311 + m = 3*n. Is n a composite number?
True
Suppose -5*a - m + 1732087 = -a, 2*a - 866036 = -2*m. Is a composite?
True
Let j = 7745 - -15402. Suppose -11*z + 41940 = -j. Is z a composite number?
True
Suppose 2872819 = -123*n + 36438412. Is n prime?
False
Let h(f) = 6163*f + 233. Let s = -573 - -581. Is h(s) a prime number?
True
Suppose 0 = -3*s + 3*s - 3*s. Suppose s = 2*h - 20 - 24. Let a(b) = 2*b**2 - b - 32. Is a(h) composite?
True
Is 630162596/442 + (-21)/91 a composite number?
False
Suppose -3*d + 5*u = -833194, -2*u - 1388595 = -5*d - 6*u. Suppose 40*k - 66637 = d. Is k composite?
False
Let y = 1670262 + -1139565. Is y a composite number?
True
Suppose -5*y = -4*h + 30, -2*y + 0*y + 5*h - 12 = 0. Is 4143 - (y/15)/((-6)/30) prime?
False
Let o(u) = u + 8. Let l be o(-5). Suppose 0 = l*n - 33 - 9. Is (-27 + 1)/(n/(-77)) a prime number?
False
Let o(p) = 3*p**2 + 3*p - 30. Let b be o(-5). Is (8602/(-85))/((-3)/(b/4)) composite?
True
Let l be 130/11 - (-26)/143. Is 314*65/3 + (-4)/l composite?
False
Let b(o) = 342*o**2 + 14*o - 39. Let t be b(5). Let s = t + -3200. Is s a prime number?
True
Let l(h) = -h**3 - 3*h**2 + 8*h - 9. Suppose -5*u + 10 + 10 = 0. Let y be l(u). Let i = y - -195. Is i a composite number?
True
Let t = -222 - -975. Let m be t*((-1)/(-3) + (-16)/(-24)). Suppose -2*o - u = -0*u - m, 5*u - 1112 = -3*o. Is o a prime number?
True
Let r(j) = -7*j**2 - 16*j - 33. Let o(w) = -5*w**2 - 17*w - 35. Let b(z) = 4*o(z) - 5*r(z). Is b(-6) composite?
True
Let j(x) = 5*x - 8. Let a(f) = -9*f + 3. Let y be a(3). Let i = y - -33. Is j(i) composite?
False
Let q = -99528 + 171992. Let c be q/24 + (-2)/6. Suppose 5921 + c = 12*l. Is l a composite number?
True
Let f = -1404 - -4579. Suppose -f = -6*k + k. Suppose 9*c = 14*c - k. Is c a composite number?
False
Let i(d) = 743*d + 1. Let k be i(1). Let t(w) = 29*w + 123. Let g be t(10). Let a = k - g. Is a composite?
False
Let h = -151952 - -252781. Is h a composite number?
False
Let g be 424/((2/(-4))/((-23)/(-46))). Let w = g - -731. Is w a prime number?
True
Let g(p) = p**3 + 21*p**2 + 19*p - 16. Let d be g(-20). Suppose b - 6434 = -2*r, -3*b - 6965 = d*r - 19833. Is r a prime number?
True
Let t(h) = 32*h**3 + 7*h**2 - 5*h + 1. Let l = 134 - 129. Is t(l) composite?
True
Suppose -2*u - 4*r + 732 = 0, 3*u - 1108 = 2*r - 3*r. Suppose -522 = -h + u. Suppose -25*w + 29*w - h = 0. Is w composite?
False
Let n(j) = 281*j - 120. Let f(m) = -m**3 - 7*m**2 - m. Let z be f(-7). Is n(z) a prime number?
True
Let t(a) = -4*a + 4 - 4*a**2 + 3*a + 3*a**2 + 4*a. Let w be t(4). Suppose -4*n - 3*d + 6*d + 406 = 0, w = n + 5*d - 113. Is n prime?
True
Let g = -286 + 284. Is (4621/4)/(10/(-20))*g a composite number?
False
Let q(l) = -692*l - 27. Let r be q(-8). Suppose -17*y + r = -10*y. Is y a prime number?
True
Let s(p) = 52*p + 15. Let h(l) = l. Let a(z) = 3*h(z) - s(z). Let v(q) = 6*q**2 - 161*q - 35. Let c be v(27). Is a(c) composite?
True
Let f(w) = w**3 - 6*w**2 - 11*w + 5. Let q be (-1)/(-2) + (-273)/(-26). Suppose 2*o - 5*n + 11 = 49, 3*o + 4*n - q = 0. Is f(o) a composite number?
False
Suppose -322636898 = 32*u - 150*u. Is u a composite number?
False
Suppose -5*q - 7*j + 5*j = 13423, 4*j = 4. Is ((-299)/(-65))/((-3)/q) a prime number?
False
Let x(p) be the second derivative of -19*p**3/2 + 7*p**2 + 164*p - 11. Let h = 18 + -31. Is x(h) a composite number?
True
Suppose -116*u = -118*u + 16970. Let n = 13358 - u. Is n a composite number?
True
Let d(w) = -39*w**2 + 2*w + 26. Let z(y) = 13*y**2 - y - 9. Let h = 94 - 105. Let c(o) = h*z(o) - 4*d(o). Is c(5) a prime number?
False
Suppose 6*t = -9533 + 208388 + 63579. Is t composite?
True
Let q(f) = -26941*f**3 - 4*f**2 - 58*f - 107. Is q(-2) a prime number?
True
Suppose 3*s - 5*f = 3862, 0*s - f - 6466 = -5*s. Let o = s + 159. Let r = -776 + o. Is r a prime number?
True
Let v = 22127 - -1716. Is v a prime number?
False
Let l(a) = -1594*a + 55. Let w be l(-1). Suppose -2*d - w - 1153 = -4*n, -2817 = -4*n - d. Is n composite?
True
Let y = 74099 + -39376. Is y composite?
True
Suppose 5*u = -4*o - 5555, 7162 - 207 = -5*o - 4*u. Suppose 2*a + a + 5*k = 14082, 4*k = -3*k. Let m = a + o. Is m prime?
True
Let p be (2/4)/(17/34). Let f(i) = i**2. Let g(t) = 29*t**2 - 7*t - 11. Let d(v) = p*g(v) - 5*f(v). Is d(10) prime?
False
Let v = 3847 + -463. Let s = 6311 - v. Is s prime?
True
Suppose 3 = 3*l + 8*z - 11*z, 2 = -2*z. Is 4741 + l*(-5)/(-20) composite?
True
Let z = -3718 - -2475. Let h = z + 2646. Is h a composite number?
True
Suppose -4*f + 9353 = -o, 4*f + 2*o - 2336 = 3*f. Suppose -108238 = -16*c + f. Is c prime?
True
Suppose -2*z = -0*z + 2*a - 16, -15 = -5*a. Suppose 15*b = z*b. Suppose -o - 4*o + 7805 = b. Is o a composite number?
True
Let b(o) = -35*o**2 + 2*o + 99101. Is b(0) a prime number?
False
Suppose 4*l = 8*l - 344. Let u(a) = -58*a - l + 13*a + 78. Is 