rue
Suppose 0 = -3*v + 1189 - 5623. Let w = 3101 + v. Is w prime?
False
Let c(u) = u**3 - 17*u**2 - u - 21. Let k be c(12). Let y = -398 - k. Is y prime?
False
Suppose 1912 = 7*o - 5*o. Suppose 3*h - 1298 = h. Let j = o - h. Is j prime?
True
Suppose -45416 + 323481 = 95*f. Is f a prime number?
True
Let k(w) = -w**3 - 32*w**2 + w + 83. Let j be k(-34). Suppose 9*q = 12*q - j. Is q prime?
True
Let p = 24 - 21. Suppose p*s = 17656 - 862. Suppose q - s = -4*j, 0 = -11*j + 6*j - 4*q + 7003. Is j a composite number?
False
Suppose 5*k + 2*j = j + 39227, -15677 = -2*k - 5*j. Let f = k - 4085. Is f a composite number?
False
Suppose 8 = 3*m - s, 3*m = 7*s - 2*s + 28. Let d be ((-122)/(-4))/(m/30). Let a = d + -506. Is a a prime number?
True
Let s(l) = 336*l**2 - 483*l - 75. Is s(-34) a composite number?
True
Let t = 819865 - 478164. Is t a prime number?
True
Let l(d) be the first derivative of d**4/4 - 2*d**3/3 + 7*d**2/2 + 9*d - 22. Is l(8) a composite number?
False
Suppose 144421 = g - 2*f, -5*f = -19*g + 16*g + 433261. Suppose -g = -32*n + 30655. Is n composite?
False
Suppose -f + 3*n = -202439, 3*f = -2*f + 4*n + 1012206. Is f a prime number?
False
Suppose 63*g = 59*g - 2*d + 213396, g - 2*d = 53359. Is g a composite number?
True
Let y = 30 + -19. Suppose -20*f + y*f = 15066. Let x = f - -2875. Is x prime?
True
Let k(z) be the first derivative of z**3/3 + 2*z**2 + 1047*z - 35. Let w be k(0). Suppose -2*n - 5*p = -3847, p - w = -n + 881. Is n a composite number?
False
Let u(p) = -9 - 61*p**2 - 11*p**3 - 14 + 23*p + 13*p**3. Is u(31) prime?
False
Let p = 6 + 40. Suppose -p*y = -50*y + 16396. Is y a prime number?
True
Let c = 4649637 - 3028904. Is c composite?
False
Let z be 3*2/(-2)*40/30. Let h be (-3)/((-6)/z) - -2237. Suppose 5*q = -3*k + k + h, 2*q - 5*k = 894. Is q prime?
False
Suppose 20 = 30*z - 40. Suppose -z*m - 5*b = -24202, 4*b = -2*m + 6*m - 48348. Is m a composite number?
True
Let o(a) be the first derivative of -3*a**2/2 + 50*a - 30. Let t be o(-15). Suppose -t*j + 97*j = 834. Is j a composite number?
True
Let r(i) = -4*i**3 - 9*i**2 - 16*i - 2. Let b be r(-8). Let a = -963 + b. Is a prime?
False
Is (-19 + 28 - 17902)/(-2 + 1) prime?
False
Is (454/(-681))/((-2)/2772837) a composite number?
True
Is 977*453 + (42/(-14) - -13) a composite number?
True
Let w = 385125 + -256252. Suppose 31*y - w - 106820 = 0. Is y prime?
True
Suppose -5*u - 576*c + 88285 = -579*c, 4*c + 70628 = 4*u. Is u a composite number?
False
Let j(b) = 819*b + 17. Let f be j(-12). Let p = 23724 + f. Is p a composite number?
False
Let o be (4 - 4) + 2 + 0. Let f(j) = -j**3 - j**2 - 5*j + 1281. Let t be f(0). Suppose -467 = o*b - t. Is b composite?
True
Let k = -8 + 10. Suppose -3*n - 5 = -k. Is (0 + n)/((-4)/596) a prime number?
True
Let j = -392 + 468063. Is j a composite number?
False
Let z = 868 + -1233. Let a = z - -5064. Is a a prime number?
False
Suppose 0 = -x - 2*v + 4*v + 24, 3*x - 100 = -v. Let s = -28 + x. Is (-1905 + s)*1*-1 a prime number?
True
Let d = 298712 - -90667. Is d a composite number?
True
Suppose 12*z - 120433 - 14159 = 0. Let s = -7867 + z. Is s a composite number?
True
Let s(b) be the first derivative of 2*b**3 - 5*b**2/2 + 63*b - 122. Is s(26) a prime number?
True
Let t = 33 + -73. Let a be (-48)/t*(1 + 3/2). Suppose -3*i + 2*f + 3257 = 0, a*i - f - 920 = 2339. Is i a composite number?
False
Let z = 474 + -468. Suppose -z*f - 2*f = -191144. Is f a composite number?
False
Suppose 17*v = 11*v - 20346. Let i = 6708 - v. Is i a composite number?
False
Suppose 0 = -134*d + 130*d + 5*n + 45957, 2*n = 5*d - 57425. Is d prime?
True
Let t be 0 - -197*4/(-12)*9. Let r be 1/2*(-6)/(-3). Is (1 + -3 - t)/r prime?
False
Let k = 50999 + 44652. Is k prime?
True
Let i = -28566 + 49579. Suppose -4*n + i = 5*q, -5*n - 4341 = -4*q + 12453. Is q composite?
False
Let w = 265415 + -174276. Is w a prime number?
True
Let v(n) = 2*n + 17. Let z be v(-6). Suppose 4*j + 3*m - 33 = 0, -z*m = -5*j - 3*m + 24. Suppose g - 3*s = 269, j*g - 4*s = g + 1345. Is g a composite number?
False
Let u = 242 + -238. Suppose -1193 = -g - u*i, -3*g + 0*i + 4*i + 3563 = 0. Is g prime?
False
Let f(j) = -1642*j - 1217. Is f(-19) a composite number?
True
Let t be (683530/(-3))/((-88)/132). Suppose 24*g + 5*g = t. Is g a composite number?
True
Let y(n) = -1 - 45*n + n**3 - 14*n**2 + 33*n - 12. Suppose 0 = -2*o + 8 + 24. Is y(o) a prime number?
True
Suppose 0*n + 5*n = 165. Let s be ((-1)/3)/(11/n). Is (114/8 + s)/((-5)/(-40)) a composite number?
True
Let r = 999070 + -619473. Is r prime?
True
Suppose -2*t + 498758 = 2*a, -2*t + 3*a = 3*t - 1246879. Is t a composite number?
False
Suppose -1586 = -8*u + 5390. Suppose 2*x - u = -2*x - 4*y, 5*x + 4*y = 1095. Is x composite?
False
Let y(b) = 182437*b + 3485. Is y(2) prime?
True
Let m = 419 + -419. Suppose 2*k - x + 0*x - 10864 = m, 2*k = -4*x + 10854. Is k composite?
False
Suppose 34077 = 4413*p - 4410*p. Is p composite?
True
Suppose 0 = -3*s + 3, b + 4*s = 3*s - 1445. Let i = 3607 + b. Is i composite?
False
Suppose 5*c = 4*x + 39, 5*x + 0*x = 2*c - 19. Let o = 2142 - 1256. Suppose -o = -c*a + 451. Is a a composite number?
False
Let l(w) be the first derivative of 3*w**4/2 + w**3/3 - 3*w**2/2 - 4*w - 16. Let z be l(-2). Let i = 377 - z. Is i composite?
False
Suppose 29*g - 1277730 = -5*o + 30*g, 2*o = 4*g + 511110. Is o prime?
False
Suppose -2*y = 3*h - 2260588, -4521198 = -4*y + 18*h - 13*h. Is y a prime number?
False
Let z = -17 - -15. Let j be 14/(-21)*(8 - 2). Is (z/j)/(2/12) - -46 a composite number?
True
Let a = -412088 + 786969. Is a prime?
False
Let z = 25104 - -67207. Is z a prime number?
True
Let v = 97 + -25. Let p = v + -68. Suppose 8599 = p*g + j, -g - j + 2146 = -2*j. Is g a composite number?
True
Suppose 144*f - 71*f = 66*f + 469217. Is f a composite number?
True
Suppose 0 = -75*a + 78*a - 2206689. Is a prime?
False
Let f = 3 + -1. Let l(n) = 102*n**3 - n**2 - n - 1. Let k(g) = -509*g**3 + 5*g**2 + 4*g + 5. Let y(b) = 2*k(b) + 11*l(b). Is y(f) a prime number?
True
Let x = -26944 - -56685. Is x a composite number?
False
Let s(j) = j**2 + j - 2. Let d(q) = q**3 + 22*q**2 - q + 28. Let u(c) = -d(c) + 5*s(c). Is u(-18) a composite number?
True
Let h(w) = 2*w**3 + 2*w**2 + 2*w + 1. Let d be h(-1). Let x(a) = 3*a**2 - a - 1. Let k be x(d). Suppose n + 19 = -u + 116, k*u = 0. Is n composite?
False
Let k = 75432 + -120563. Let u = k - -88134. Is u prime?
True
Suppose -2*a - 19332 = -4*a - 5*l, -19320 = -2*a + l. Is a a composite number?
False
Let p = -29 - -37. Let l(g) = 411*g**2 - 3*g - 5. Let h be l(-5). Suppose -h = p*x - 30117. Is x a prime number?
False
Let m(f) = -11413*f - 3102. Is m(-8) composite?
True
Let h = 470748 + -272287. Is h a composite number?
False
Suppose -585644 = -4*w - 2*k, -35989 - 110432 = -w + 2*k. Is w composite?
True
Let z(n) = n**3 + 6. Let x be z(0). Suppose x*c - 140 = c. Suppose -c*m + 31*m = 261. Is m a composite number?
True
Let v = -372 + 372. Suppose v = -54*d + 48*d + 40830. Is d composite?
True
Suppose 2*w - l - 21387 = 30814, 5*w = -5*l + 130480. Is w composite?
False
Let g(c) = 166*c**3 + 18*c**2 - 26*c - 11. Is g(5) prime?
True
Let x(r) = 11*r**3 - r**2 + 8*r + 17. Let n = 84 + -72. Is x(n) prime?
False
Let p be 474740/25 - 6/(-15). Suppose -x = -4*x - y + 11384, -p = -5*x - 5*y. Is x prime?
True
Let c be (-4 - 14/(-4))*-6. Suppose -5*y = -10, h + y - c*y = 1313. Suppose -h = -12*t + 9*t. Is t prime?
True
Let v be 2/(-3)*(-5694)/52. Suppose 810 + v = n - l, 4*l + 871 = n. Is n prime?
True
Let l(a) = 3*a + 3. Let g be l(4). Let o(k) be the first derivative of 73*k**2 - 37*k - 652. Is o(g) a prime number?
True
Suppose 2*v + 16 = -2*j, 14 = 2*v - 2*j - 2*j. Is 0 + 5254 + (9 - (v + 7)) composite?
True
Suppose 0 = 10*w + 5*w - 105. Suppose 5*p + 14 + 10 = 2*r, -2*p = 5*r - 60. Suppose r*h - 2435 = w*h. Is h prime?
True
Suppose 82 = 9*h - 224. Suppose -h*x + 32*x = -14642. Is x a prime number?
True
Suppose 0 = w - 2*c + 4*c + 2, 0 = -w + 4*c + 10. Suppose 4*m + w*h - 894 = 0, -2*h - 1113 = -28*m + 23*m. Is m composite?
False
Let o be 1/10*-5*(0 - -4). Let b(n) = 65*n**2 + 8*n + 9. Let u(j) = j + 1. Let v(d) = b(d) - 4*u(d). Is v(o) a prime number?
True
Suppose -4*v + 4*i + 482988 = 0, -2*v + 241502 = -85