8))/(((-481)/(-16713476))/37) prime?
True
Let u(g) be the first derivative of 16*g**3/3 - 9*g**2/2 + 16*g - 8. Suppose -2 = -n, n + 2 = 2*x - 3*n. Is u(x) prime?
False
Let a be ((-42)/(-9))/(1*(-1)/3). Let n be 115/35 - (-4)/a. Suppose 4*y - n*y = 57. Is y composite?
True
Suppose -17895331 - 18960945 = -76*i. Is i a prime number?
True
Suppose -6*y - 3*q + 1121994 = 0, y - 92772 - 94249 = 5*q. Is y prime?
False
Suppose a = 5*b + 66, 0 = -7*a + 3*a + 2*b + 318. Suppose 0 = x - a + 26. Suppose 0 = -w + 42 + x. Is w composite?
False
Let a = -596 - -521. Is (-153925)/a + 6/9 composite?
False
Let c = 4640 + -4630. Suppose 4*n - 1068 = 2296. Suppose n + 129 = c*k. Is k prime?
True
Let m(l) = -5*l**2 + 3*l - 2. Let p = 66 - 65. Let j be m(p). Is ((-6)/j)/(42/24892) composite?
True
Suppose 0 = 2*d - 6, b + 3*b + 2*d = -14. Is b/((1/(-439))/(31 + -30)) a composite number?
True
Let a(s) = -8*s - 33*s + s**3 + 33 - 11*s**2 + 7*s - 14*s**2. Is a(29) composite?
False
Let y(j) = -11*j**3 + 4*j**2 + j - 3. Let f be y(3). Let i = -3203 + 3663. Let h = f + i. Is h a prime number?
True
Suppose 19 = 2*h + 13. Suppose 2 = -9*q + 4*q + 3*p, 0 = -4*q - h*p + 20. Suppose 0 = -2*b + q, -5*b - 400 - 413 = -2*a. Is a a composite number?
False
Let q(f) = 6*f**2 - 77*f + 77. Is q(-24) a composite number?
False
Let q be (-3 - -4)*(-2 - -1)*189. Is 6489 + (1 - 2) + q/63 a prime number?
False
Let q be (-7)/14*(0/(-1) + -12). Suppose 1 + q = -5*b - 4*m, -4*m - 8 = 4*b. Is b/((-1)/(-201)*3) a prime number?
True
Let a(s) = 461*s - 1. Let j(w) = w**2 - 7*w - 76. Let c be j(13). Is a(c) prime?
False
Suppose 3*d + 10*d - 39 = 0. Suppose -d*r + 1 = -26. Is ((-3682)/3 + -4)/((-6)/r) prime?
True
Suppose 4792899 + 665894 = 7*a - 5827104. Is a prime?
True
Let j = -16845 + 22316. Is j a prime number?
True
Suppose 69*t - 197526 = 62*t. Suppose 1028*l = 1034*l - t. Is l a composite number?
False
Let l = 8817 + -2186. Suppose k + 2*x - l = 0, k - x = 2506 + 4134. Is k composite?
False
Let a(w) = -w**2 - 12*w + 20. Let l be a(-13). Suppose -l*x + 510 = -x. Suppose -u + c + 252 = 0, 171 = u - 5*c - x. Is u prime?
True
Let h(s) = -74*s + 71. Let o be h(1). Let d = 13 - 3. Is 156/d + o/30*6 prime?
False
Let p = -1 + -2. Let n(s) be the second derivative of -77*s**5/20 + s**4/6 + 4*s**2 + 44*s. Is n(p) prime?
False
Let f(d) = d**3 - 12*d**2 + 267*d - 53. Is f(96) a composite number?
False
Let z(o) = -11*o**2 + 202 - 49 - o**3 - 31*o - 68 - 69. Is z(-13) a composite number?
False
Suppose -23*m = -920660 - 44650. Suppose 15*c - 9*c = m. Is c composite?
True
Let y(z) be the first derivative of 113*z**3 + z**2 + 2*z - 5. Let b be 24/(-60) - 3/5. Is y(b) composite?
True
Let l(f) = -81*f - 3. Let g be l(1). Is 2*(-2)/3*216279/g prime?
True
Is (-1435091)/(-28) - -2*(-1)/8 composite?
True
Let b = 24400 - -52796. Suppose 19*m - 7*m = b. Is m composite?
True
Let r = -5 + -3. Let x be ((-1)/(-4))/((-1)/r). Suppose 4*q - 436 = -x*j, 0 = -q - 0*j - j + 109. Is q composite?
False
Suppose -10*h - 21*h = -3237684 - 816217. Is h a prime number?
False
Let y(c) = 2*c**3 - 175*c**2 + 88*c - 83. Let q be y(87). Suppose 3*o - 4*o + 12 = 0. Is (838/6)/((q/2)/o) a composite number?
True
Suppose a - 4*w - 11 - 10 = 0, 0 = -3*a - 3*w + 3. Suppose 0 = -a*o + 2*x + 45, -4*x = -o - 4 - 5. Let h(z) = z**3 + 2*z**2 - 16*z. Is h(o) composite?
True
Let j be -7*(-10)/70*4/2. Suppose 1177 = j*u - 5*y, -4*u + 2330 = 2*y - 4*y. Is u composite?
True
Is (38/(-152))/((-2)/454136) composite?
False
Let f be (-3 + 1447 + -1)*172/(-3). Is (1 - 2)/(52/f) composite?
True
Let a = 487281 + -287758. Is a composite?
False
Suppose 6032823 = 92*h - 8807053. Is h composite?
False
Let n be (3621 - -1)/((-8)/(-12)). Let f = -2048 + n. Is f a prime number?
False
Let w be (-1 - -2)/(5/126060). Suppose g - 3*s - 8424 = 0, -3*s + w = 8*g - 5*g. Is g a prime number?
False
Suppose -v + 1683 = 3*z - 2129, 3*v - 2*z - 11491 = 0. Suppose -3*k + 1580 = 5*g - v, 4*g - 4332 = 4*k. Is g a prime number?
False
Let u be 1*3 - (33 - -1 - 5). Let h be 1087/(-9) - u/(-117). Is (h/3)/((-33)/(-9) - 4) composite?
True
Let k(w) = 10*w**2 + 4*w + 23. Let q be 12*(68/16 - 5). Is k(q) composite?
False
Let f = 679 + -669. Suppose f*m + 4693 = 25983. Is m composite?
False
Let w(l) = -131*l**3 + 5*l**2 - 5*l + 8. Let r be w(-5). Suppose -5367 + r = 6*n. Is n composite?
False
Suppose 6 = -2*q, 3*j + 13*q - 786 = 14*q. Suppose -254*l = -j*l + 47173. Is l prime?
False
Suppose 5*c + 2*f + 2*f + 60 = 0, -25 = 5*f. Is ((-85)/20)/(c/8864) a prime number?
False
Let q = 348 + 39. Suppose -3*y + 33 = q. Let d = y + 267. Is d composite?
False
Let m = -74 - -89. Suppose -10*i - m = 5*i. Let v(l) = -1558*l**3 - l**2 + 2. Is v(i) composite?
False
Suppose -8657 = -5*g + 9678. Is g prime?
False
Is (-18)/99 + 31451/(-22)*-46 a composite number?
False
Let s(z) = 37*z**2 - 13*z + 893. Is s(-30) prime?
True
Let h(j) be the second derivative of j**4/6 + 11*j**3/6 + 31*j**2/2 - j. Suppose 4*y - n + 50 = -3*n, -3*y - 48 = -2*n. Is h(y) a composite number?
False
Let k = -149258 - -242829. Is k prime?
False
Let g = 1695 + -772. Suppose -9947 = -8*d - g. Suppose 5*w - d = 187. Is w a prime number?
True
Suppose 0 = 3*o - i - 296961, -5*i = -8*o + 12*o - 395986. Is o a composite number?
True
Let y = -21 - 8. Let z(l) = l**2 + 28*l - 31. Let o be z(y). Is -115*5/(10/o) prime?
False
Suppose -184*c = -187*c + 5*d + 5939, -2*d = 16*c - 31560. Is c composite?
False
Suppose 17950 = -83*k + 84*k. Suppose 26*v - 70444 = -k. Is v a composite number?
True
Let g = 536 - 540. Is (g/(-3))/((-104)/(-354666)) composite?
False
Let k = -193 - -195. Suppose -13257 = -y - k*r, 3*y = r + 12779 + 26999. Is y composite?
False
Let h(b) = 1552*b**2 - 2138*b + 23. Is h(-34) a prime number?
True
Let c(j) = -j**3 + 41*j - 7. Suppose -5*h = -3*q + 80, -3*h - 2*q + 32 = -5*h. Is c(h) prime?
True
Let i(a) = 5288*a + 3635. Is i(54) a composite number?
True
Suppose 33*j - 3968 - 73031 = 20*j. Is j prime?
True
Suppose -2*v + 3135 = 31. Let s = v + 838. Suppose -3*x = -2*u + 408 + 535, -5*u + x = -s. Is u composite?
False
Suppose -5*n = -10, 2*g - 2*n = 2*n + 2. Let h = g + 17. Suppose -27*u + 3790 = -h*u. Is u a prime number?
False
Suppose n + f = 900056, -6*n - 776853 + 6177194 = 5*f. Is n prime?
True
Let x(z) = -z**3 + 18*z**2 + 41*z + 17. Let t = 82 - 65. Is x(t) prime?
False
Suppose -4*o + 0*o - 8 = -2*y, 2*y = 5*o + 9. Suppose 2*a + 5*q = -10, y*a + 2*q = -4 - 0. Suppose 2 = d - 0, -5*r - 3*d + 811 = a. Is r a composite number?
True
Let f(o) = -14 + 136*o - 29*o - 33. Let t be f(-15). Let q = 2971 + t. Is q a composite number?
False
Let z be (-205)/(-123)*2776/(-30) + (-4)/(-18). Let q = -407 - -710. Let s = q + z. Is s a prime number?
True
Suppose -5*r - 30 = r. Let m be (52/r)/((-10)/(-1475)). Let u = m + 3483. Is u composite?
False
Let h = -66218 - -163981. Is h a composite number?
True
Suppose -8*n = -168 + 280. Is 2 + 11 + n + 0 + 1466 a composite number?
True
Suppose 861*o - 857*o = 178076. Is o composite?
False
Suppose -9*u + 267306 = 29175. Is u a composite number?
False
Suppose 0*t = -4*t + 3*f + 354124, 5*f = 0. Is t composite?
True
Let l be 5/2*18/(-3). Let s = -614 + 589. Is (-6)/l + (-3165)/s a composite number?
False
Let z = -121 + 125. Suppose -1212 = -z*n + 4*d, -4*d - 4 = -5*d. Is n composite?
False
Let m(a) = a**2 + 14*a - 69. Let y be m(-18). Suppose -4001 = -s + y*x, -s + 1022 = 5*x - 2939. Is s prime?
False
Is 249886604/119 - ((-10)/(-56) + (-3)/(-12)) composite?
False
Let b be (3987 - (0 - -12)) + -4. Let r be (-4 + 4)*(0 + 1). Suppose -15*f + 19976 - b = r. Is f prime?
False
Let g(i) = 152*i**2 - i + 35. Let b(y) = 153*y**2 - y + 35. Let v(h) = 3*b(h) - 4*g(h). Let j(p) be the first derivative of v(p). Is j(-3) a prime number?
False
Is 1013170/22 + -2 + ((-1216)/(-88) - 14) a composite number?
False
Let f(j) = -631*j**3 - 26*j**2 + 18*j + 21. Is f(-4) a prime number?
False
Suppose 0 = 5*k - 9 - 26. Let j be k/(3/(-2) + (-687)/(-459)). Let x = j - -3349. Is x a prime number?
False
Let x(y) = -y. Let t(h) = -4*h + 13. Let g(u) = -t(u) + x(u). Let r be g(-9). Is (-1795)/(-4) - 10/r prime?
True
Is 1 + 10/(-12) - (336925176/(-144))/17 a composite number?
False
Let g be 2 - 2 - (-123 - 3). Let u = -123 + g. Su