 643 = 6*v - n. Is v prime?
False
Let g(y) = y**3 + 28*y**2 + 2. Let d be g(-28). Suppose 9*x - 77640 = 4*x - r, d*r - 15519 = -x. Is x a composite number?
True
Let r(k) = -5*k**2 + k. Suppose -25*l + 26*l + 1 = 0. Let q be r(l). Is 2 + (-574)/(-8) - q/24 prime?
False
Let n = -70623 + 120286. Is n a prime number?
True
Let m(n) be the first derivative of 32*n**3/3 + 4*n**2 + 11*n - 30. Let v(l) = l**3 + 7*l**2 + 7*l. Let o be v(-6). Is m(o) prime?
False
Let d be (-24*(-8)/(-80))/((-6)/(-20)). Let f(g) = g**3 + 9*g**2 + 8*g + 5. Let p be f(d). Suppose 0 = p*s - 576 - 209. Is s a prime number?
True
Let t(q) = 1426*q**2 + 8*q - 20. Let u be t(2). Suppose -3*b + u = -435. Is b prime?
False
Suppose 0 = 52*q - 54*q + 12. Suppose -l - 7 + q = 0, -4*d + 5110 = -2*l. Is d a composite number?
False
Let s be (6/10)/((-90)/(-300)). Suppose 3*n = 5*f - s*f + 12348, -4*n = 5*f - 16419. Is n composite?
False
Let z(x) = 20*x**2 - x + 1. Let i(c) = 10*c**2 + 1. Let l(j) = -7*i(j) + 4*z(j). Let s be l(-4). Let n = 14 + s. Is n prime?
False
Let d(x) = 64*x**2 + 350*x - 343. Is d(106) a prime number?
True
Suppose 0 = 50*k - 1600565 - 395885. Is k a prime number?
True
Suppose -8*h = -7*h - 14. Let z = -3 + h. Suppose 16*w - z*w = 1265. Is w a composite number?
True
Suppose 3*k - 2*s = 32, 2*k = 2*s + 4 + 16. Suppose 8*f = k*f + 2*l - 61704, -4*l = -2*f + 30862. Is f prime?
True
Let p = 103460 - -38007. Is p prime?
False
Let y(x) = 71*x**3 - 9*x**2 + 2*x - 14. Let n be y(-7). Let p = -14301 - n. Suppose 4*s - p = 4523. Is s composite?
False
Suppose -107 - 328 = -5*q. Let o = q - 83. Suppose 0 = -3*s - 3*g + 350 + 841, 4*g = o*s - 1596. Is s a prime number?
False
Let v be 18*2/3 + -5. Let b(r) = 1 + 3*r**3 + 8*r**3 + 28*r - 14*r**2 - v*r**3 + 4. Is b(7) prime?
True
Suppose -r + 4*b + 2104 = 2*r, -5*b - 2806 = -4*r. Let t = 490 - r. Let u = t - -423. Is u composite?
True
Let o = 65 - 60. Suppose 9*a = o*a. Suppose 1511 = 3*k + 4*s, 5*k + a*s + 5*s = 2510. Is k a prime number?
False
Let v be ((-4)/8)/(1/(-4)). Let h(t) = 23*t + 6. Let b be h(v). Let k = -14 + b. Is k composite?
True
Suppose 17*a = -9*a + 810602. Is a prime?
True
Let d(w) = -241*w + 17. Let r(a) = -2*a - 32. Let t be r(-15). Is d(t) a prime number?
True
Let c = 37291 + 12996. Is c prime?
True
Suppose 0 = -1995*w + 1953*w + 91938. Is w composite?
True
Let p = -64 - -102. Suppose -5*g = -p + 308. Let o = 385 - g. Is o a prime number?
True
Let n = 75266 + -24945. Is n composite?
False
Let y(f) = 6855*f - 356. Is y(13) prime?
False
Is ((-73774)/(-16))/(1533/1512 + (-32)/36) a prime number?
True
Let a = -116 + 119. Is a*(129/9 - -1) composite?
True
Let t be 1/(-5) + (-5538)/(-15). Let b = 858 - t. Is (-2)/(1 - b/487) composite?
False
Suppose -m - 5*f + 85681 = 0, -73*m - 85701 = -74*m + 5*f. Is m a prime number?
True
Let p be (-6)/2 - 1*-57. Suppose 6377 = p*b - 47*b. Is b a composite number?
False
Suppose -2*u + 93 = 5*z, -3*u - 5*z + 159 = 22. Let o = u - 41. Is ((-11)/(-4) - 3)/(o/(-14604)) a prime number?
True
Let d = -98 + 215. Let r = -20 + d. Is r composite?
False
Suppose -2350*f + 5955732 = -2314*f. Is f a prime number?
True
Let h = 66 - 71. Let d be 9 + h + -1 + 67. Suppose -2*u + d + 1524 = 0. Is u a prime number?
True
Let x = -282 - -286. Is -2*(5 - 32718/x) prime?
True
Let k = -920143 + 1799472. Is k prime?
False
Let g(u) = u**3 - 7*u**2 - 9*u - 11. Let w be g(8). Suppose 0*o - 2*o = -k - 45, -3*o = k - 60. Is (o + w)*(-1718)/(-4) a composite number?
False
Suppose 20552860 = -654*t + 674*t. Is t a prime number?
True
Suppose -4*y + 2*t = -3*y, 2*t = -3*y + 8. Let k be y - (-1 - -3)/(6 + -5). Suppose -w = -v - 767, k*w - 2293 = -3*w - 5*v. Is w prime?
False
Let m(y) = 48*y**2 + 11*y + 36. Let v(l) = 96*l**2 + 21*l + 71. Let q(i) = 9*m(i) - 4*v(i). Is q(22) composite?
True
Let b = 367360 - 252387. Is b a composite number?
False
Let f(u) = 132*u**2 + 14*u + 78. Let h be f(-4). Let i = h + -75. Is i composite?
True
Let h be (-3)/(6/28)*(-2)/(-4). Is 20991/7 - -4*h/(-98) a composite number?
False
Let q(r) = r**3 + 6*r**2 - 3*r + 15. Let d be q(-5). Suppose -5*k + 221 = -2*o, -k - 5*o + d = -9*o. Suppose 39*p + 1484 = k*p. Is p prime?
False
Suppose -3*d = -2*g + 5, -5*d + 0*g - 15 = -2*g. Let a = -5 + d. Is (-1 - (-205)/a)*-2 a prime number?
True
Is -867802*(-91)/26 - 8 a prime number?
False
Let k(c) = 304*c + 62. Let f be k(-12). Let b = 5853 + f. Is b a composite number?
False
Suppose 5*y + 3 = -3*x + 11, 12 = 5*y + 2*x. Let j be (-198)/(-108) + 2/12. Suppose y*l - 318 = 2*d, 2*d + j*d + 390 = 5*l. Is l a composite number?
True
Suppose -16 = -3*g + p, 2*g + 4*p + 8 = -0. Let d be 3 + (3 - ((-32)/(-2))/g). Suppose 2*n = 6, d*n = 5*s - n - 4426. Is s a prime number?
True
Let s = 31339 - 21094. Suppose -5*k + s = -0*k. Suppose -2*h + k = h. Is h composite?
False
Is 6/11 - (-682025)/55 composite?
False
Suppose -4*d - 5*m + 46 = 0, 3*m + m = -8. Suppose -q = 4*n - 3*q - d, n - 17 = 5*q. Suppose -l + 2 = 0, -j + 3*j = -n*l + 1494. Is j composite?
True
Suppose 239 = -3*j + 4*j + 2*y, -5*j + 1221 = -3*y. Let c = 131 - j. Is 499/(4*-1*4/c) a composite number?
True
Suppose 130156 = 7*z + 4*c - 3*c, c = 5*z - 92960. Is z a composite number?
False
Let s(f) = -f**3 + 30*f**2 + 2. Let v be s(30). Suppose -v*l - 56014 = -16*l. Is l composite?
False
Suppose 86*p + 3341701 = 295*p. Is p a composite number?
True
Suppose 31*x - 37*x = -12. Suppose 4*t - 5*c - 32656 = 0, t - 2*t = x*c - 8151. Suppose k = -3*m + t, 4*m = 5*k - 3251 + 14117. Is m a prime number?
True
Suppose 0 = -2*w + 8, -3*d + 285973 = -2*w - 391860. Is d a prime number?
False
Suppose -a + 0*m - m - 1 = 0, 5*a + 4*m + 10 = 0. Let r(d) = -3*d - 20. Let p be r(a). Let s(q) = -16*q**3 - 4*q**2 - 3*q + 1. Is s(p) composite?
True
Let u = -2959 - -9854. Let j = 10674 - u. Is j prime?
True
Suppose 4*x + 25 - 6 = 5*o, -2*o = 3*x - 3. Is 106/53 - (-2862 - 1*x) a composite number?
True
Suppose -g = 5*q - 29, 28 = 3*q + 2*q + 2*g. Suppose -592 = -q*r + 914. Suppose r = b - 0*b. Is b prime?
True
Let v(g) = -g**3 + 5*g**2 + 5*g - 11. Let j be v(5). Suppose 0 = 5*k - 1 - j, 167 = -4*x - 3*k. Let b = x - -565. Is b prime?
True
Let y(l) = -5*l**3 - 2*l**2 - 2*l + 1. Let i be y(-2). Suppose -4*h - 5*a = -i, -4*h - 2*a = -6*a + 8. Is ((-502)/3*-6)/(-1 + h) composite?
True
Let j(g) = g**3 - 10*g - 7. Let p be j(-11). Let t be 2/(4/p*612 + 2). Is (t/(-3))/(1*3/(-9)) a prime number?
True
Let o(a) = -8 + 2 + 5 - 12 - 4*a. Let i be o(-4). Suppose 0 = -12*l + i*l + 6201. Is l composite?
True
Let q be (0 - -1)*-3 + (-12 - -13). Is (-3 - q)/(-1*4/4348) prime?
True
Let d(q) = 6443*q - 3793. Is d(18) prime?
True
Let a(q) = 2393*q**2 - 14*q + 16. Suppose 0 = 3*b + k - 7, b - 7*k = -9*k + 9. Is a(b) a prime number?
False
Is (-48)/40 - (-1090083)/15 a prime number?
True
Let j be 30/4*16/(-10) + 0. Is (-5906)/2*6/j*10 composite?
True
Let l = -24801 + 56804. Is l prime?
True
Let r be 10/(210/218289) - (-4)/14. Suppose -r + 2540 = -5*p. Is p a prime number?
True
Let x(g) = -115*g**2 - 3*g + 1. Suppose 7*c + 7 = -0*c. Let d(r) = r**2 - r + 1. Let n(m) = c*x(m) + 4*d(m). Is n(-2) prime?
False
Let h = 132387 + -26786. Is h a composite number?
False
Let s = 13 - 9. Suppose 4*z - 5*y = 2*z - 6, -y = s*z - 10. Is 88 + -21 - 1*z a prime number?
False
Is (0 - -293)/(159201/7959 + -20) a prime number?
False
Is -7 + 6 - 492/9*-3441 composite?
False
Is (-253063)/(488/(-305) - (-3)/5) prime?
True
Let u = 8 - -47. Let p = -55 + u. Suppose q = -p*q + 553. Is q prime?
False
Let r(a) = 50*a**2 - 3*a + 3. Let v be (1/1)/(1 - (0 - 0)). Let x be r(v). Suppose 6*h = 164 - x. Is h a composite number?
False
Let t(o) = 19*o - 41. Let d be t(14). Suppose -d*a = -231*a + 67062. Is a prime?
True
Suppose 22*a + 264840 = 27*a - 5*y, -158936 = -3*a - 5*y. Let r = a + -37155. Is r composite?
False
Let q(t) = -12363*t - 8651. Is q(-38) composite?
False
Let a = 562 + -110. Suppose -231 = 3*r - 6. Let x = r + a. Is x prime?
False
Suppose 5096171 = 70*m - 3611899. Is m a prime number?
False
Let z be -1 + 4/(-4) + 1 - -3. Let k be 3063 + z + -1 + 1. Suppose 8*q = 3*d + 5*q - 1839, 0 = 5*d + 3*q - k. Is d a prime number?
True
Let i(a) = -108*a**3 + 3*a**2 + 5*a + 1. Let q be (-4)/20 + (-9)/5. Let p be i(q). Let x = -5