Is d a prime number?
True
Suppose 10*m - 7*m - 262694 = -4*j, -j = 5*m - 65682. Is (-3)/2*j/(-12) prime?
True
Let j(s) = -4*s + 2*s - 16 + 6 - 16. Let m be j(-14). Suppose 11*v = -m*v + 6539. Is v a prime number?
True
Suppose 3*a + 739 = -248. Let x = -3384 - -3385. Is (x + -6)/(7/a) composite?
True
Let r(x) = -x**2 + 17*x + 9. Let s(z) = z**2 - 35*z - 17. Let p = -9 + 7. Let w(g) = p*s(g) - 5*r(g). Is w(-10) prime?
True
Suppose 24*w = 30*w - 1158. Let q = 338 - w. Is q composite?
True
Let j(x) be the second derivative of 5*x**4/12 + 77*x**3/6 + 67*x**2/2 + 101*x. Is j(-34) a composite number?
False
Suppose 0 = -224*j + 5175058 + 15591119 - 3136705. Is j a composite number?
True
Let s = -30818 - -19844. Let q = s - -26467. Is q composite?
False
Suppose -3*f + 278472 + 48735 = 0. Is f prime?
False
Is 536434/7 + -1 + 1*(-44)/(-77) composite?
True
Is 847933/(-2)*(-15)/(-6)*64/(-80) a composite number?
False
Suppose -226114 - 214376 = -5*u. Suppose 0 = -6*w - u + 421488. Is w prime?
False
Let d = -242 + 245. Let w(a) = 219*a + 61. Is w(d) composite?
True
Suppose -3 = -y - 2*o, 3*y + 3*o = -0 + 9. Suppose -y*a = -a - 6. Is (3/12)/(a/7692) composite?
False
Is 1/((-34600020)/(-11533314) - 3*(-1)/(-1)) a composite number?
False
Let u be (-1)/((-3)/(-8248))*27/(-12). Suppose -8*h + 5662 = -u. Is h prime?
True
Let d(c) = -c + 6. Let o(t) = -4*t - 26. Let a be o(-7). Let m be d(a). Suppose n - 154 = -m*h, h - 39 = n + 2. Is h prime?
False
Is 864982 + (6685/945 - 4/54) a prime number?
True
Suppose -57*g - 126*g + 19120071 = -12637932. Is g composite?
True
Let x = -172 + 312. Suppose -156*f + 310672 = -x*f. Is f prime?
True
Suppose -d - 2*d - 2*s = -26504, 3*s = 2*d - 17678. Suppose -12 = -3*a, -4*w + a - d = -3*a. Let i = w - -3264. Is i prime?
False
Let j(t) be the first derivative of -t**2/2 + 19. Let q be j(-2). Suppose -q*d - 11 = -53. Is d a prime number?
False
Let c be ((-362352)/(-21))/4 - (-4)/14. Suppose -2*u - 4314 = -2*k - u, 0 = 2*k + u - c. Suppose 0 = -0*q - 3*q + k. Is q a prime number?
True
Is (-360090)/(-44)*6 - 132/726 prime?
True
Suppose 0 = -3*w - w + 5*v + 18, 2*v = w - 6. Let d be 31866/27 - w/9. Suppose -5*r + d = -0*r - k, 25 = 5*k. Is r a composite number?
True
Suppose 5*a - 17086 = w, 5*a - 4*w = -8*w + 17106. Is a a composite number?
True
Let q be (-295)/(-15) + -8 - (-2)/(-3). Suppose -8198 - 63 = -q*s. Is s a prime number?
True
Suppose -2*a + 0*a = r - 26, -4*a + 2*r + 36 = 0. Suppose -a - 7 = -3*t. Suppose t*j - 3*j - 2*x = 2157, j - 712 = 3*x. Is j a composite number?
True
Let y(n) = n**3 + 4*n**2 - 8*n - 11. Let s be y(-5). Suppose -2*m + s*p + 3363 = -m, 5*m + 3*p - 16792 = 0. Is m composite?
False
Let o(z) = 0*z - 3*z + 55 - z + 0*z. Let s be o(13). Suppose s*x + 5*c = 6*x - 13175, x - 4373 = -3*c. Is x a prime number?
False
Suppose 13*c + 29509 - 157520 = 0. Suppose 0 = 10*k - c - 13483. Is k a composite number?
False
Let u = 32777 - 19410. Is u a prime number?
True
Let r be (-48429)/(-2)*328/123. Suppose -122*m = -110*m - r. Is m prime?
True
Let k(q) = 4*q + 37. Let n be k(-10). Let y(p) = -241*p - 61. Is y(n) prime?
False
Suppose 0*m + 2*m = -3*a + 13420, 0 = 5*m + 20. Let n = a + -503. Is n prime?
False
Let j = -347 - -349. Suppose -3*x - p + 11388 = 0, 0 = 2*x - j*p - 10566 + 2966. Is x a prime number?
True
Let t = 86694 - 47359. Is t a prime number?
False
Let x(j) = j**3 + 11*j**2 + 4*j - 49. Let k be x(-10). Let l(u) = 146*u**2 + u + 28. Is l(k) prime?
False
Is 50871931*16/616 - (-1)/7 composite?
False
Suppose -8*z = 2*s - 6944164, z - 3*s - 426574 - 441427 = 0. Is z a composite number?
False
Let t = -3694 + 36941. Is t composite?
False
Let f(d) = 47*d - 3*d + 30*d - 49 - 10*d. Is f(10) composite?
True
Suppose -b = -4*z + 25, 4*z - 4*b - 30 = -2*b. Suppose 0 = -3*l - f + 23258, z*l - 3*f = f + 38735. Is l prime?
False
Let h(x) be the first derivative of x**5/30 + x**4/6 + 5*x**3/6 + 33*x**2/2 - 10. Let o(m) be the second derivative of h(m). Is o(9) a prime number?
False
Let b be (-1 - (2 + 1))/(9/(-9)). Suppose -4*m - s = -25, -3*m - 5*s = -39 + 16. Suppose m*n = b*n + 838. Is n a prime number?
True
Let y(l) = 1. Let f(r) = -r**2 + 13*r + 27. Let m(v) = f(v) + 5*y(v). Let d be m(15). Suppose 3*s - 725 = z + 717, 0 = 2*s - d*z - 960. Is s composite?
True
Let z = 453501 + -310648. Is z prime?
False
Let x(w) = 11*w**2 - 7*w + 17. Let s(a) be the second derivative of a**3/6 - 2*a. Let u(j) = -4*s(j) + x(j). Is u(9) a prime number?
True
Let q = 827731 + -433112. Is q a prime number?
True
Let s(f) be the second derivative of -8*f**3/3 - 41*f**2/2 - f - 32. Is s(-7) composite?
False
Let v(p) = -p - 21. Let i be v(-15). Let k be (-24)/(-9)*(i - -57). Suppose -1057 + k = -f - 5*q, 4 = 2*q. Is f prime?
True
Suppose 2*o - 1 - 11 = 0. Suppose -6*v = 3*w - 3*v - 3093, 0 = -2*v + o. Suppose -5*y + 10773 = w. Is y a composite number?
False
Suppose 5*s = -g + 19967, -g + 0*g - 19973 = -5*s. Let c = s - -333. Is c a prime number?
True
Suppose -110*s = -86*s - 25704. Suppose 3*l - 10*q - 3229 = -5*q, -l - q = -s. Is l a prime number?
False
Suppose -2*a - 1056 = -4*f, 4*f - 833 - 761 = 3*a. Is a/(-3) + 315/27 + -12 composite?
False
Suppose 5*w - 6 = 4. Suppose -2*t + 6 = 3*d, -3*t + 2 = -7. Suppose 5*s = 4*r - 1173, d*s - w*s - 1445 = -5*r. Is r prime?
False
Let n = -271 - -299. Suppose -31*q + 5793 = -n*q. Is q prime?
True
Let s(u) = -188*u**2 - 34*u - 197. Let j be s(-8). Is 2/(44/j)*1*-2 a composite number?
False
Suppose 15 = -13*d - 11. Is 4/2 + d + 557 a composite number?
False
Let m(g) = -82*g**3 + 103*g**2 + 57*g - 13. Is m(-18) a prime number?
False
Let f be -12939 + (12 - (1 - -7)). Let x = f - -27212. Is x composite?
True
Suppose -337*g - 24229927 + 184270890 = 0. Is g composite?
False
Is ((-11)/(-33)*780591)/((1 - 2) + 2) a prime number?
False
Suppose 187076 = 3*v - 5*f, -2*v + 249473 = 2*v + f. Is v composite?
True
Is (-1388)/(-6)*(-11223)/(-258) a composite number?
True
Let q(x) = 5*x**3 - 3*x - 5. Let o be q(-2). Is o*((-590)/6)/5 a prime number?
False
Let d(p) = -358*p**3 - 5*p**2 - 3*p + 65. Let o be d(5). Let b = -25722 - o. Is b a composite number?
True
Let v be 95*4/((-140)/21). Is ((-56907)/(-12))/(v/(-76)) prime?
True
Let x(a) = 21019*a - 243. Is x(4) composite?
False
Let l be (12/16)/(4/48). Suppose l*u = 13675 + 29525. Let s = -3239 + u. Is s a composite number?
True
Let x(q) = 380*q**3 - q + 1. Let i be x(1). Let f = i + 246. Let a = f - 367. Is a a composite number?
True
Suppose 5*c - 3*c - 4658 = 27928. Is c a prime number?
False
Let s(j) = 11*j**3 - 23*j**2 - 13*j + 7. Suppose h - 6 = 3*p, -24*h = -21*h - 5*p - 18. Is s(h) composite?
True
Suppose 4*s - 9166 = 5*d + 4049, -3*s = -4*d - 10571. Let f = -3986 - d. Is 1*1/(-3)*f a prime number?
True
Suppose -t - 8*w + 2076 = -12*w, -4*t + 4*w + 8328 = 0. Suppose 392*y - t = 388*y. Is y prime?
True
Let c be 33/11 - (-150)/2. Let h = 81 - c. Suppose -2*p = y + h*y - 1458, -2*y + 3*p + 749 = 0. Is y prime?
True
Let d(h) = h - 1. Let b(q) = -24*q**2 + 5*q. Let x(g) = -b(g) - d(g). Let l be x(-6). Suppose 2*a - l = 3*i, 0*a - 445 = -a - 4*i. Is a prime?
True
Suppose 6*q - 5*q + 42446 = j, j + 3*q - 42438 = 0. Suppose -13*r + 17720 = -j. Suppose -106*m = -102*m - r. Is m composite?
True
Suppose 4*z + 154039 = 881507. Is z composite?
True
Let n be (-65)/30*-2 - 1/3. Is 4027/n - (-17)/68 composite?
True
Let b be (8/(-3))/(2/(-9)*3). Suppose -19661 = -3*p + 4*g, -5*p + 0*g + 32715 = b*g. Is p a composite number?
False
Suppose 173613 = 2*o - q, -46422 = -3*o + q + 213997. Is o a composite number?
True
Let l be 5/2*(-60)/(-50) + 1. Suppose -l*v + 9 = 1. Is 302/(-10)*-37 + v/(-5) prime?
True
Let i(b) be the first derivative of -7705*b**2/2 + 12*b - 66. Is i(-1) a prime number?
True
Let y be 99/6*4/3. Suppose y = 4*q - 2. Is 10386/10 + q/15 prime?
True
Suppose 4*d - 135984 = -40*u + 39*u, -5*d + 170001 = -4*u. Is d a prime number?
True
Let n(y) = 22897 - 2*y**2 + y**2 + 0*y**2 + 0*y - 16*y - 3*y. Is n(0) a composite number?
True
Let f be 0/(-1) - (-29 - -29). Suppose r - 2632 = -p, -3*p - 2*r + 10915 - 3018 = f. Is p a prime number?
True
Let o(k) = 88827*k + 47. Is o(2) a prime number?
False
Let x(o) = 3039*o**2 + 697*o - 9. Is x(-8) a prime number?
True
Let p(v) = -728