 number?
True
Let q(k) = -k + 5. Let g be q(1). Suppose 3*b + c = 2*c + 2699, 0 = b - g*c - 907. Is b composite?
True
Let n(c) = 4154*c + 177. Is n(8) a prime number?
True
Let j be -2*((1 - 3) + 0). Let a be 0/(1*(j - 2)). Suppose -v + 82 = -a*l + 3*l, -v + l = -78. Is v a prime number?
True
Let u(x) be the second derivative of 13*x**7/2520 - x**6/360 + x**5/60 + 5*x**4/12 - 3*x. Let a(w) be the third derivative of u(w). Is a(3) a composite number?
False
Suppose t - 6*a - 8 = -2*a, -4*t - 3*a = 6. Suppose t = 4*w - 2*k + 4, 6*k = 2*k + 8. Is (-11687)/(-26)*(w + 2) a prime number?
False
Let y be (21*63 + -4)*(-1 + 2). Suppose -k + 6*k = -2280. Let f = y + k. Is f composite?
False
Suppose 98324 = -14*h + 542138. Is h a composite number?
True
Let i be (-3)/(-4) + 15/(-20). Let n(p) = 176*p - 1. Let u be n(5). Suppose 3*f + 4*w - 659 = i, u = 4*f + 3*w + 2*w. Is f prime?
False
Suppose -f - 18 = 4*v - 2, 3*v + 27 = 3*f. Let n be (1 + 0)/((-1)/(-2)). Suppose 0 = -4*c - t + 2169, f*c - 3527 + 1353 = -n*t. Is c a composite number?
False
Suppose 22*q - 2*q - 395540 = 0. Is q a prime number?
True
Let z = 1 + 3. Is z/18 + (-5306)/(-18) a prime number?
False
Let k = -12849 + 27470. Is k prime?
True
Suppose 0 = -4*a - 4*g + 1518 + 3926, 4*g = 0. Is a a composite number?
False
Let m(d) be the third derivative of 11*d**5/30 - d**4/8 + d**3/3 + 4*d**2. Is m(1) a prime number?
False
Suppose 5*a + 4*d - 37263 = 0, 2*a - 4*d - 14906 = -6*d. Is a a prime number?
True
Suppose -3*q = 3*f - 181350, -5*f = 3*q - 2*q - 302246. Is f composite?
False
Suppose 41*k = 37*k + 3188. Let x = k - 439. Is x a prime number?
False
Let y(q) = 3*q - 3*q**2 - 2*q**2 - 38*q**3 - 7 + 37*q**3. Let h be y(-5). Is (-150345)/(-165) + 4/h a composite number?
False
Suppose -3*r = -7243 - 4316. Suppose -r = -4*p + 707. Suppose -p = -5*z + 115. Is z composite?
False
Let z = -1292 + 5053. Is z a composite number?
False
Let c(j) = 2*j**3 + 5*j - 3*j**2 + 4 - j**3 - 2*j**3. Let o be c(-4). Suppose o = -0*y + y - 307. Is y a prime number?
True
Suppose 0 = 5*g - p - 4*p - 2005, -3*g - 2*p + 1183 = 0. Is g a composite number?
False
Let o(y) = 14460*y**2 + 31*y + 32. Is o(-1) a prime number?
True
Let g = -6877 + 16464. Is g a prime number?
True
Let z = 14 + -23. Let m(r) = r**3 + 12*r**2 - 7*r - 7. Is m(z) composite?
True
Let a(t) = -13*t - 1. Let o be a(-1). Let z(y) = 5*y**2 - 12*y + 11. Is z(o) prime?
True
Let o(j) = -j**3 - 3*j**2 - 21*j - 35. Let c be o(-19). Suppose 15*l - c = 3955. Is l a prime number?
True
Let i(h) = 180*h**2 + 7*h - 4. Let x be i(5). Suppose -7*v + 691 = -x. Is v composite?
True
Let k(x) = -4615*x**3 - 5*x**2 - 4*x + 1. Let l(c) = -2308*c**3 - 2*c**2 - 2*c + 1. Let g(b) = 2*k(b) - 5*l(b). Is g(1) a prime number?
True
Suppose -7*k - 4385 = -33652. Is k prime?
False
Let u(y) be the third derivative of -y**5/60 - y**4/24 + 629*y**3/6 - 6*y**2. Let i be u(0). Suppose 2*k = 3*k - i. Is k prime?
False
Let l = 73687 + -23393. Is l a prime number?
False
Suppose -2*y + 5870 = -46*r + 43*r, 2*r = y - 2937. Is y prime?
False
Suppose -f + 28 - 27 = 0. Is 3 + -2 - (f + -3 - 2171) composite?
True
Let n(r) = 32*r + 1. Let i be n(8). Let j = -474 + i. Let v = j + 344. Is v a composite number?
False
Let v = -67353 + 194056. Is v a composite number?
False
Is (4 - (-40)/(-15))*(-131589)/(-12) a prime number?
True
Let w = -59 + 64. Is 5938/w - 7/((-35)/(-3)) a composite number?
False
Let g = 67880 - 20553. Is g prime?
False
Suppose 5*r + 4*r - 121653 = 0. Is r composite?
True
Let w(b) = 117*b - 13*b - 1 - 9*b. Is w(4) a composite number?
False
Suppose 85*w + 166582 - 446997 = 0. Is w prime?
True
Suppose 2*a = 4 + 2. Suppose -12 = -a*w - 0*w. Suppose -4*b - 3*t + t = -318, t - 317 = -w*b. Is b a composite number?
False
Let r be -4*(0 + 4/(-8)). Suppose -18 = -3*g - 3*k + r*k, g + 2*k - 1 = 0. Is (g/(-1))/(2/(-4)) a prime number?
False
Let q(s) = s**3 + 11*s**2 - 11*s + 14. Let b be q(-12). Suppose 2*g + b*y = 2546, g - 3*y = -3*g + 5120. Is g a prime number?
True
Let s = 5 - 2. Suppose -s*k + 5582 = 2*k - q, k - 1114 = q. Is k composite?
False
Let s(u) = 17938*u - 223. Is s(3) a composite number?
False
Let h = -39 + 50. Let l(g) = 38*g - 27. Is l(h) a prime number?
False
Let h(z) = -6*z + 2. Let d be h(-2). Suppose -2*y + d = -q, q + y - 4*y + 19 = 0. Is (-4779)/q + (-3)/(-12) a composite number?
True
Let d(m) = -m**3 + 13*m**2 + 6. Let q be (-4)/14 - (-45)/35. Let v be (-3 - 0)*-4 + q. Is d(v) prime?
False
Suppose 0 = 31*f - 4*f - 481923. Is f a prime number?
False
Suppose -31*x = -108*x + 6522439. Is x composite?
True
Suppose 3986 + 52591 = 4*l - 5*o, 0 = 2*l + 5*o - 28281. Is l prime?
True
Let a = -10 - -6. Is (-2)/(-8) + ((-3607)/a - 1) a composite number?
True
Suppose -230339 = -5*c - 12394. Suppose c = -3*i + 16*i. Is i a prime number?
False
Let o = 14 - 11. Suppose -o*g = 5*q - 4*g - 1490, 2*q + 4*g = 618. Is q a prime number?
False
Let p = 408 + -325. Is p prime?
True
Suppose 0 = -5*f + i + 99061, f - 20210 = -4*i - 381. Is f a prime number?
True
Let u = 11400 - 2597. Is u prime?
True
Suppose 5*u - 171 = 2*k, 11 = 5*u - 5*k - 169. Suppose 22 = 5*w - 5*m - u, 3*w = 4*m + 37. Is w composite?
False
Suppose -x - 6*x + 56 = 0. Is (x/12)/(2/3183) a prime number?
True
Suppose 3*m + 15 - 2 = 4*i, 0 = -5*m - 4*i + 21. Let u be 3 + -1*(m - -3). Is -3*u/(-3)*-145 prime?
False
Suppose 0 = 4*q - 257 - 3. Let p be 6/12*-6 + 141. Let v = q + p. Is v composite?
True
Let q(b) = -b**3 - b**2 - 3*b - 2. Let n be q(-2). Let r be (-3)/(-4)*n/2. Suppose r*y = 76 + 26. Is y composite?
True
Suppose -2*v + 41643 = -5051. Is v composite?
True
Suppose s + 11 - 16 = 0. Suppose s*d - 5*f - 18160 = 0, -2*f + 2344 = 4*d - 12202. Is d a prime number?
False
Suppose -j = -4*w + 14, j - 24 = -2*w - 8. Let s(q) = q**3 - 4*q**2 + 3*q + 2. Let c be s(3). Suppose -j*m + c*m + 836 = 0. Is m composite?
True
Let z(h) be the second derivative of -h**6/48 - 7*h**5/120 - h**4/6 + h. Let m(r) be the third derivative of z(r). Is m(-10) a composite number?
True
Let z(p) = 51*p**3 + 6*p**2 - 39*p + 13. Is z(5) a composite number?
False
Is (5739/18)/((-6)/(-36)) prime?
True
Suppose 0 = -21*m + 11933 + 20890. Is m prime?
False
Suppose -57*b + 61*b - 8 = 0. Is (1367 + -1)/(b/1) a composite number?
False
Let w be 6/(-8) - (-105)/12. Suppose -x + 0*s - 10 = 3*s, 0 = -4*s - w. Is -134*(3 + 14/x) a composite number?
False
Suppose -2*n - 5*q = -82673, -3*n + 165313 = n - q. Is n a composite number?
True
Let a(x) be the third derivative of -2/3*x**3 + 0 + 1/60*x**5 + 0*x + 1/24*x**4 + 6*x**2 - 1/40*x**6. Is a(-3) a composite number?
False
Let r(q) = q**3 + 2*q**2 - q - 2. Let s be r(-2). Let i be (-2)/1 - s - -447. Suppose 5*d - i = -0*d. Is d prime?
True
Suppose 4*f = 5*x + 10812 - 2895, -20 = 4*x. Is f a composite number?
False
Suppose t = 6*t - 2010. Let w = 943 - t. Is w a composite number?
False
Suppose 2962803 = 68*g - 388033. Is g a prime number?
True
Let n be -6*5/((-10)/172). Let x be -1 + 11/((-44)/(-24)). Suppose -4*a = -2*o - n, -o - 148 = -x*a + 491. Is a a prime number?
True
Suppose 0*j = -10*j + 155370. Is j prime?
False
Let d(w) = -2*w**3 + 95*w**2 - 94*w + 71. Is d(42) prime?
True
Let c = 495 - 252. Let s(x) = 175*x - 19. Let d be s(4). Suppose 3*p - 3*n = d, -3*n - 2*n = -p + c. Is p a composite number?
False
Is (10204/(-6))/((140/30)/(-7)) a prime number?
True
Suppose 3*m = -s + 31, 0 = -4*m - 5*s + 4*s + 40. Suppose m = -4*l + 7*l. Suppose 5*d = l*d + 370. Is d a composite number?
True
Is ((-44)/(-110))/(2/3855) a composite number?
True
Suppose -4*m = 4*l - 21036, -14*l + 19*l + 3*m = 26299. Is l a prime number?
True
Suppose 2*x + d = -2*d + 9, -3*x = -2*d + 19. Let c be (x/6)/(2/(-16)). Suppose -c*q - 379 = -1959. Is q a composite number?
True
Let r be -3 + 3/(-9)*-3. Is (-2)/r*1001/7 a prime number?
False
Let h be 1/(2*3/(-18)). Let i = h + 6. Suppose 0 = z - i*z + 258. Is z composite?
True
Let a be 5 + 0 - (-3 - -4). Suppose a*i - 309 = i. Let k = i - -88. Is k a prime number?
True
Let f = 29 + -22. Let c(x) = -x + 3*x + 8*x - x + 16. Is c(f) prime?
True
Let q = 1220 - 741. Is q composite?
False
Let z(b) = -9*b - 1. Let l be z(-1). Let n be (-21)/28 - (-3006)/l. Suppose -2*v = -4*a - 1157 + n, -3*v + a = -1168. Is v