u(d) prime?
False
Let r(c) = 120*c - 2051. Is r(37) a composite number?
False
Let u(b) be the third derivative of -b**4/4 + 2*b**3/3 - 22*b**2. Let h be u(3). Is (-4)/h + 2194/14 a prime number?
True
Let y(p) be the first derivative of 2*p**4/3 + 17*p**2/2 - 4*p + 7. Let v(w) be the first derivative of y(w). Is v(-8) prime?
False
Suppose 11*c + 354 = 17*c. Let z = 66 - c. Is z a composite number?
False
Let q = -251 + 255. Suppose 3*b + 184857 = 3*y, 248728 = 3*y + q*b + 63857. Is y a composite number?
True
Suppose 3*b + 3*q - 8094 = 2*q, -3*b - 4*q = -8085. Let j = 3968 + b. Is j a prime number?
False
Let t(f) = f**3 - 3*f**2 - 2*f - 2. Let p be t(5). Suppose -33*h + p*h = -20. Is (-1893)/h*36/27 prime?
True
Let n = 167 + -163. Suppose -3*c - 9853 = -8*c + n*h, -4*c - h + 7895 = 0. Is c a prime number?
True
Suppose -28*y - 16*y + 2903224 + 49518772 = 0. Is y a composite number?
False
Let j(r) = 4*r**2 - r - 21. Let a be j(4). Let o = a + -33. Is (4/6)/(o/15651) composite?
True
Suppose -4*h - 33 = -5*j, 0*j + 3*j + 4*h - 7 = 0. Suppose 7953 = j*n - 1297. Let k = -69 + n. Is k a prime number?
False
Suppose -3*v - 677 = -2*v. Is (12/(-4) - v) + 5 composite?
True
Let i = 71 - 43. Suppose -6*k = k - i. Suppose -6*o + k*o + 1066 = 0. Is o a prime number?
False
Let m(r) = 3 - 44*r**2 + 12*r - 10*r - 794*r**3 + 43*r**2. Is m(-2) a prime number?
False
Let g = 310261 - 219428. Is g a prime number?
True
Let v(g) = 481*g - 1761. Is v(52) prime?
True
Let o be ((-132)/5)/(-3 + 33704/11240). Suppose 40*t - o = 34*t. Is t a prime number?
False
Suppose -2*v - 3796 = -4*w + 454, -5*v - 3*w = 10664. Let z = -1440 - v. Is z a composite number?
False
Let q(l) = 533*l**2 - 170*l + 661. Is q(4) a composite number?
True
Suppose 3*z - 635 - 4 = -4*c, -2*c = 2*z - 320. Let g = c + -57. Suppose 16*s - 19*s = -g. Is s composite?
True
Let c = 108053 + 29454. Is c a prime number?
True
Let y(p) = 489*p - 1. Let g(d) = 3*d**2 - 10*d - 6. Let l be g(4). Is y(l) prime?
True
Is 63/(-105)*(-126050)/6 prime?
False
Let z(h) = 612*h**2 + 20*h - 41. Is z(9) composite?
False
Suppose -4*n + 8 = z - 2*z, -3*z + 8 = 4*n. Suppose n*l + 4*k - 56 = 0, 3*l + 0*l - 85 = -5*k. Is 8/60 - (2 - 32666/l) prime?
True
Suppose -4*m - 739 = -s + 6854, 2*s - 15251 = -5*m. Is s composite?
True
Let g(w) be the second derivative of 57*w**4/4 + w**3/3 + w**2 - 4*w. Let a(v) = v**3 - v**2 - 6*v - 3. Let x be a(-2). Is g(x) prime?
False
Let n(b) = -11045*b - 5060. Is n(-17) prime?
False
Suppose 5864 - 1032 = -4*b. Suppose 0 = -3*n - 5*h - 6618, -5*n - 11017 = -4*h + 8*h. Let p = b - n. Is p prime?
False
Let h(x) = -377*x + 9. Let k(w) = -w**3 + 14*w**2 - 21*w + 102. Let c be k(13). Is h(c) a composite number?
True
Suppose 6*n - 2025 - 579 = 0. Suppose 4*o = n - 98. Suppose -7*f + d = -3*f - 96, -o = -4*f + 4*d. Is f a composite number?
True
Is ((-1368930)/(-15))/((-184)/(-44) - 4) prime?
False
Let m be ((-108)/(-60))/(6/(-20)). Let v be m/9 + -5017*(-2)/3. Is (-2)/6 - v/(-6) a prime number?
True
Let q(y) = 24*y - 215 - 4*y**2 + 3*y**2 + 243. Let l be q(25). Suppose l*k = 169 + 5. Is k a composite number?
True
Let b be ((112/21)/8)/(4/102). Suppose 0 = b*t - 28579 - 4843. Is t a prime number?
False
Let w be (-1)/(-3) - 987773/(-183). Suppose 4*z - 32490 = -w. Is z a prime number?
False
Suppose 2*p - 6 + 0 = 0. Suppose 3*w - 5*t + 108 = 0, -w = -p*w - 5*t - 72. Is (-183)/(-2)*(-120)/w composite?
True
Let m be (-4 + -3)/(-1*4/8). Suppose -8410 = -m*h + 2356. Is h a prime number?
True
Let c = -403435 - -958818. Is c composite?
False
Suppose 4*g - 1 = -3*d - 0, -g - 17 = -5*d. Suppose -3*q - 247 = 3*n - 2539, -2298 = -d*q - 5*n. Is q prime?
True
Is (-2)/(-7) + ((-9)/(-12))/((-105)/(-18594340)) a composite number?
False
Let g = 1040 + -561. Suppose -12 = 3*a, -3*k + g = 4*a - 69. Suppose -x = 3*x - k. Is x prime?
True
Let c(h) = -h + 15. Let t be c(12). Let l = t - 10. Let s(f) = -f**3 - 7*f**2 - 6*f - 17. Is s(l) prime?
False
Let v(h) = h**3 - 2*h**2 - 2*h - 2. Let n(r) = r**2 + 8*r. Let d be n(-8). Let p be v(d). Is (20/50)/(p/(-1030)) prime?
False
Let b be -2*-1*15/10. Suppose -212 = -b*z + 178. Let w = z - -61. Is w a composite number?
False
Let w be (-12)/(-1)*15/(-20). Let g(s) be the second derivative of s**5/20 + 2*s**4/3 - 2*s**3 + 5*s**2 - s - 17. Is g(w) a prime number?
True
Suppose 5*r = 181 - 231. Is 6/r + 6764/190 a composite number?
True
Let y(g) be the first derivative of -g**4/4 + 13*g**3/3 + 4*g**2 - 16*g + 31. Let m be y(13). Let p = 162 - m. Is p a composite number?
True
Suppose 10*n - 311 - 8579 = 0. Suppose n = 215*b - 208*b. Is b prime?
True
Suppose 30*c - 32*c - t = -9149, -3*c - 3*t + 13719 = 0. Suppose -p = -5*r + 129344, -c + 30444 = r - p. Is r composite?
True
Suppose -4*x - 2*d = 0, -d + 0*d = x. Suppose v - 3*t - 9 = x, t + 6 = -v - t. Suppose -4*j + 6636 = 4*z, v*z = -j + 4*z + 1649. Is j prime?
True
Let j(d) = d**3 - 2*d**2 + 73*d + 1064891. Is j(0) composite?
True
Let i(x) = 660*x**2 + 9*x - 20. Is i(11) composite?
False
Let j(q) = 318*q**2 + 138*q + 1111. Is j(-7) a composite number?
False
Let x = 50174 - -26421. Is x composite?
True
Let h(g) = -g**3 + 18*g**2 + 21*g - 18. Suppose -22 = -w - 3. Let u be h(w). Is 1657/5 - u/50 a composite number?
False
Suppose -1545*a = -1519*a - 2301371 - 1500375. Is a composite?
False
Is (129793 + 18 + -54)*(0 - -1) a composite number?
False
Suppose 0 = v - 23 + 2. Suppose -v*o = -28*o - 7. Is (30/60)/(o - 663/(-662)) composite?
False
Suppose 3*m = -5*y + 5397 - 2105, -m - y + 1100 = 0. Suppose 313 = t - m. Let u = t + 124. Is u a prime number?
False
Suppose 0 = -y + 803 - 796. Let o(g) = 5*g**3 + 6*g**2 + 2*g + 6. Let x(c) = -14*c**3 - 18*c**2 - 5*c - 19. Let b(k) = 17*o(k) + 6*x(k). Is b(y) a prime number?
False
Let d be (72/(-15))/((-4)/470). Suppose -3*m = -l - 1350, l - 2270 = -5*m - 4*l. Suppose 5*g - d = m. Is g a composite number?
True
Suppose 18923 = 3*q + 18*v - 13*v, -2*q - 5*v + 12617 = 0. Let y = q + 2113. Is y prime?
True
Let t(v) = -45*v**2 - 1 - 30*v**2 + 75*v**2 + 212*v**3. Let y be 2*((-10)/(-4) + -2). Is t(y) a prime number?
True
Suppose -6*o + 8 = -88. Let f(j) = -j**3 + 20*j**2 + 37*j - 31. Is f(o) a composite number?
True
Let i = -563 + 290. Suppose -3*c + 2024 = -7*c. Let r = i - c. Is r a prime number?
True
Suppose 11*z + 181 = 3*p + 7*z, p = 4*z + 71. Is 2 - (11/p - 176552/10) a composite number?
False
Let t = -104 + 122. Is (-58)/t*3*(0 - 993) prime?
False
Let o(y) = -4876*y + 189. Is o(-7) composite?
True
Let d(x) = -8*x**3 + 12*x**2 + 5*x + 20. Let z be -16*(-3)/9*(-3)/2. Let s be d(z). Suppose 35*w = 39*w - s. Is w a composite number?
True
Suppose -12551503 = -46*j - 63377. Is j composite?
True
Is (-36)/60 - (-3 - (870065/25 - -2)) composite?
False
Let d(z) = 19*z + 134*z**2 - 66*z**3 + 62*z**3 + 74 - 122*z**2. Is d(-9) prime?
False
Let o(g) = -g**2 - 6*g - 2. Let b be o(-5). Suppose 7*t + m - 267 = b*t, -m + 133 = 2*t. Is t prime?
True
Let s = 503 + -2514. Let b = 2956 - s. Is b prime?
True
Suppose 0 = 5*f, -q + 0*q + 4*f - 49 = 0. Let p = q + 89. Is -652*(3/(-5) + (-26)/p) a prime number?
False
Let i = -11 - -19. Suppose i*c + 2*c = 0. Suppose 3*l = -2*x + 111 + 148, c = 2*l + 2*x - 170. Is l a composite number?
False
Let q be (9 - 14) + 0/1 - -58. Suppose -q*y = -38*y - 20985. Is y composite?
False
Let n(h) = -16838*h**3 - 4*h**2 - 6*h - 3. Is n(-1) a prime number?
False
Let w(j) = 5*j - 238 - 3*j + 2*j + 617. Suppose -2*q + 4*m + 16 = 0, 0*q = -2*q - 5*m - 20. Is w(q) a composite number?
False
Let z(a) = -a + 8. Let u be z(8). Let k = 245 + -86. Suppose -38*y + 39*y - k = u. Is y a prime number?
False
Let d(y) = 23*y**3 - y + 2. Let b be d(2). Suppose -2*u - 184 = -b. Let n(i) = -5*i + 413. Is n(u) a composite number?
True
Let k = -91 - -95. Let y be k/(-12)*(-7 + -2). Suppose y*l + 7*r - 1521 = 4*r, r + 4 = 0. Is l composite?
True
Let h = -52437 + 74226. Suppose -7150 = -43*a + h. Is a a prime number?
True
Let m be (-2 - (348 - -2)) + 0. Let d = 712 + m. Suppose d = g + 8*q - 3*q, -1330 = -4*g + 2*q. Is g a prime number?
False
Let q = -86 + 89. Suppose 3*x - 69366 = -q*x. Is x/6 - (-19)/114 a composite number?
True
Suppose 0 = y - n - 30381, -319*n + 320*n = -y + 30373. Is y a prime number?
False
Suppose 13