number?
False
Let q(v) = v**2 + 3*v + 24003. Let h be q(0). Let w = h + -15944. Is w composite?
False
Suppose w - 60*a = -64*a + 945141, 5*w - 4725705 = -5*a. Is w composite?
True
Let p be 26/78 + 31362/9. Let n = 174 + p. Is n a prime number?
True
Let r(o) = o**3 + 14*o**2 - 11*o + 28. Let i be r(-14). Let f(w) = -w**2 + 6*w - 1. Let b be f(5). Suppose -b + i = q. Is q a prime number?
False
Let s be (-13 + 15)*(-1 - (-126034)/4). Suppose -378*y - s = -381*y. Is y composite?
True
Suppose 25 = 5*a - 3*p, -2*a = p - 0*p - 21. Suppose -53886 = -a*s - 6*s. Is s composite?
True
Suppose -2 = -7*f - 51. Let h(i) = -4*i**2 + 4*i**2 + 9*i**2 - 3 - i - 3*i**2. Is h(f) a prime number?
False
Suppose 2*i = -3*k + i + 1, 7 = k - i. Suppose 0*g + 63857 = -5*t - 3*g, -k*t + 4*g = 25548. Is t/(-36) + 2/9 a composite number?
True
Suppose 6*p + 47 = -97. Let i = p - -28. Is 592 + -4 - (1 + i) a prime number?
False
Let f be (0 - -856)*(-15 - -18). Let n = f + -1679. Is n a prime number?
False
Let d be (-2)/(16/48988)*-4. Suppose -2*c + 5*r = -39813, 4*c = -3*r + d + 55171. Let o = c + -2645. Is o a prime number?
False
Suppose 0 = -11*a - 18 - 15. Is (70974/(-9))/(-6 - (a + -1)) a prime number?
True
Suppose 0 = t - 4*t + 4*z, -3*z + 9 = 0. Let g(m) = 609*m - 103. Is g(t) prime?
True
Let x(h) be the third derivative of 7*h**7/360 - h**6/360 + h**5/60 + h**4/3 - 8*h**2. Let y(v) be the second derivative of x(v). Is y(3) prime?
False
Is ((-582)/18)/(1/(-29961)*3) prime?
False
Suppose 7*x = 5 + 9. Suppose 0 = x*k + k. Suppose a + m - 52 = k, -a + 0*m + 67 = -4*m. Is a a prime number?
False
Let x(l) = 5*l + 34. Let y be x(19). Suppose -y*r = -128*r - 307. Is r a composite number?
False
Suppose -2451176 - 8590725 = -149*t + 39030294. Is t a prime number?
False
Let c = 155023 - 42336. Is c a composite number?
False
Let r(q) = 253904*q**2 + 127*q - 130. Is r(1) a composite number?
False
Suppose 0 = 3*g - 18*g + 109425. Let c = -4031 + g. Suppose -s + 4*v - 5*v = -c, -2*s - 4*v + 6534 = 0. Is s a prime number?
False
Let x(g) be the first derivative of 223*g**2/2 - 3*g + 1. Let n = -2621 + 2625. Is x(n) composite?
True
Is 93336/6 - 4/((-28)/(-35)) composite?
False
Suppose 5*f - y - 27950 + 4268 = 0, 4743 = f + 2*y. Is f a prime number?
False
Suppose 4*c + 5 = -7. Suppose l = 2*q - 23, 33 - 19 = q + 2*l. Is q/(-30) + 2604/10 + c composite?
False
Let w = 6929 - 4355. Suppose -k + 5*u = -w, 7*u - 8*u = -5*k + 12846. Is k a prime number?
False
Is 378190/15*(-1 - (-40)/16) prime?
False
Let y(z) be the second derivative of 817*z**3/2 - 35*z**2 + 7*z. Is y(3) composite?
False
Suppose k - 13682 = -3*p, -2*p + 9118 = -6*k + 5*k. Suppose -n + 4666 = q, -3*q + 9403 = -4*n - p. Is q prime?
False
Let z(c) = -158046*c - 965. Is z(-1) a prime number?
True
Suppose 38178 + 55526 = 53*n. Let r(f) = 70*f**2 + 6*f - 7. Let o be r(5). Suppose 0 = -2*z - 2*q + n, 2*z + 8*q - o = 7*q. Is z a composite number?
True
Suppose -76*k = -37*k + 48*k - 7595709. Is k a prime number?
False
Let s(p) = -2*p - 11. Let n be s(-9). Let m(k) = -k**3 + 23*k**2 - 31*k + 31. Let a(c) = c**3 - 12*c**2 + 16*c - 16. Let b(i) = 11*a(i) + 6*m(i). Is b(n) prime?
True
Let b(f) = f**3 - 20*f**2 + 12*f + 2. Let m be b(9). Is -2 - (1 + -2)*-1*m prime?
False
Let s = -26136 - -80268. Suppose -2*f - 8*t = -9*t - s, 2*f - 5*t - 54124 = 0. Is f a prime number?
True
Suppose 29*s + 615 = 34*s. Let f = -496 - s. Let d = 1300 + f. Is d composite?
True
Suppose 2*o = -g, 7*g - 2*g - 3*o = 39. Let d = 934 - 922. Suppose -d*y = -g*y - 22722. Is y a composite number?
True
Is (-19)/(171/411)*-141 composite?
True
Suppose -15*h = -16*h + 8*u + 443493, -h + 443498 = -3*u. Is h prime?
True
Let u(a) = -817*a + 260441. Is u(0) prime?
True
Let w = 107 + -98. Is (1610/20 + -5)*(w + 1) composite?
True
Let k(v) = -1497*v - 37. Let a be 1/(-6 + 4)*(-2 + 10). Is k(a) a composite number?
True
Is 200105/4 - (51 - 9338/184) a composite number?
True
Let b(i) be the first derivative of 8*i**3/3 + 19*i**2 + 23*i + 91. Is b(-11) a composite number?
True
Let r(p) = 409*p**2 - 26*p + 52. Is r(15) a prime number?
False
Let l be (((-116)/(-3))/1)/(1/64401). Suppose l = 59*d + 647307. Is d a composite number?
True
Let f(t) = 2*t**3 - 70*t**2 + 11*t + 32. Let z be f(38). Let h = -3733 + z. Is h a prime number?
True
Suppose 5*c - x + 0*x - 28 = 0, 4*c = 4*x + 16. Let b be 0 + (-7)/(-3) - 2/c. Suppose -b*s + 489 = s. Is s prime?
True
Let h(z) = z**2 - z - 69. Let a be h(-8). Suppose 3*i - 1493 = -a*x + 4*i, -x + 511 = 3*i. Is x a prime number?
True
Let i = -145 + 253. Let s(k) = 89 - 60 - i*k - 64*k. Is s(-15) a prime number?
True
Suppose 4*r + 89*b = 87*b + 198008, 5*b = 4*r - 197966. Is r prime?
True
Suppose -147*d = -3868033 - 5175260. Is d composite?
False
Suppose -2*f - 14*g + 15*g = -216691, -4*f + 5*g + 433397 = 0. Is f composite?
False
Let i(u) = u**3 - 10*u**2 + 4*u - 2. Let h = -22 + 27. Let c be i(h). Is c*5/(20/(-8)) composite?
True
Suppose 2*v + 4*v - 24 = 0. Suppose -i - 15 = w - 6, -3*i - 4*w = 26. Is 22*((-95)/i - v) a prime number?
False
Suppose 4905610 = -66173*k + 66183*k. Is k a prime number?
False
Let l = 2709 - -3271. Suppose t - 76 = l. Suppose 5841 - 1312 = 3*n + w, 4*n - 3*w = t. Is n composite?
False
Let o = 524 - 909. Let a = o + 884. Is a a composite number?
False
Let g be (-708)/(-4) + -3 + 3 + -2. Let a = 588 - g. Is a prime?
False
Let l be (-1 + (-14)/10)/((-4)/60). Suppose -4*q - l = -2204. Suppose 0 = -0*n - n + k + 560, n + 5*k = q. Is n prime?
True
Let f = 56 + -51. Suppose 5*c = 5*l - f, 0 = c - 2*l - 4 + 9. Suppose c*i = 5*w + 2124, 3*i = -i + 4*w + 2824. Is i a prime number?
False
Let z be 21/(-5 + 3 + 5). Suppose 7002 + 85384 = z*x. Is x composite?
True
Let a = 1077 - 238. Let c = a - 1344. Is (-1 - (-10)/25)*c composite?
True
Let w(c) be the second derivative of -c**5/20 + 5*c**4/4 - 13*c**3/6 - 17*c**2 - 60*c - 2. Is w(11) a prime number?
True
Let v = -7754 + 19065. Is v prime?
True
Suppose -5*g + 3*g = 24. Suppose -5*y = 5, -4*f + 6*f + 3*y = -601. Is f/(-2) - g/(-24) composite?
False
Let o(f) = 5*f + 36. Let n be o(-6). Suppose 2*m - 2978 = -2*x, 4*x = -4*m + n*m + 5938. Suppose -t + x = t. Is t prime?
True
Let g = -4537 + -823. Let n be 20/15 - g/(-6). Let u = -534 - n. Is u a prime number?
False
Let i(k) = -219*k**3 + 6*k**2 - 13*k - 51. Is i(-5) a prime number?
True
Suppose v + 24733 + 15315 = 4*u, -2*v = -u + 10012. Let a = 16251 - u. Is a a prime number?
False
Suppose -4*w + 1052 = -q, 4*w - q - q - 1056 = 0. Is w prime?
False
Let r(m) be the second derivative of 1759*m**5/20 - m**4/12 - m**3/3 + m**2/2 + 60*m. Is r(1) a composite number?
True
Suppose -22*y + 33183 + 353661 = 3406. Is y a composite number?
True
Suppose 135467 = 2*r - 3*p, r - 63219 = p + 4513. Is r prime?
False
Suppose m + 3*z - 5 = 1, 5*m = z - 34. Is (-117900)/(-54) - (-8)/m a prime number?
False
Suppose -13777 = -a + 4*u + 17986, -5*a - 4*u = -158719. Is a prime?
False
Let k = 12907 + -22206. Let x = -1228 - k. Is x composite?
True
Suppose 107*n = 109*n - 89576. Is 2*n/8*(6 + -5) a composite number?
False
Let i(a) = -29*a - 9. Let o be i(-4). Suppose 4*v = -3*y + 193, o = 2*y + 3*v - 22. Suppose -2*b - 4*s = -y - 667, -3 = s. Is b a composite number?
True
Let j(n) = 5442*n**3 + 15*n**2 - 7*n + 5. Is j(3) a prime number?
False
Suppose 5*p = 8*p - 9. Suppose -60 - 44 = -4*f + 2*n, -p*f = -n - 79. Let u = f + 418. Is u a prime number?
False
Suppose -2*x = -3*d - 0*x - 343, d + 91 = -4*x. Let a = -111 - d. Suppose a = -2*q + 5254 - 1164. Is q composite?
True
Let s(z) = 2651*z**2 - 2*z + 8. Is s(-5) prime?
True
Let x = 502086 + -220165. Is x a prime number?
True
Let a(j) = -14*j**3 - 22*j**2 - 168*j + 139. Is a(-18) prime?
False
Suppose -4*r - 4*n = n - 3, 3*n - 5 = -4*r. Is ((-16665)/(-22) + -8)*(0 + r) prime?
True
Let k(o) = 3*o + 139. Let d be k(-31). Suppose -5*p + 5 = 0, p = -9*i + 4*i + d. Is i prime?
False
Suppose 113*m - 59*m + 333*m = 46525527. Is m a composite number?
True
Let w(m) = -m + 33. Let q be w(37). Let d(i) = 31*i**2 - 6*i - 1. Is d(q) composite?
True
Suppose -2*t - 91 = 601. Suppose 5863 = 56*k - 2705. Let i = k - t. Is i a prime number?
True
Suppose p - 13 = -42. Is (-28 - p) + 647*4 a composite number?
True
Suppose 0 = w - 3*v