Suppose -r*z = 369 + 47. Let j = 1743 + z. Is j composite?
True
Suppose 0 = 5*u - 3*o - 25, 20 = 3*u + 2*u - 2*o. Suppose -u*g + 15 = 3*g, 5*c + 3*g = 16744. Suppose -c = -7*d + 3359. Is d prime?
False
Let l = -250652 + 401349. Is l prime?
True
Suppose -4*q - 4745 = 5*s, 3*s + 2*q = 6*q - 2847. Let m = s - -1826. Is m prime?
True
Let f be 4986/(-2 + (-3)/(-6)). Let u be f/8*(-8)/6. Let d = -251 + u. Is d a prime number?
False
Let v(d) = -76*d + 14. Let y be v(-24). Let s = 11395 - y. Is s a prime number?
False
Suppose -12*m + 402467 = 4*m - 131789. Is m a prime number?
True
Let b(p) = -95*p + 11. Let n be b(-5). Let y = n - -49. Is y composite?
True
Suppose -4*t = 2*p - 10202, 3*p - 24*t - 15293 = -20*t. Is p composite?
False
Suppose 2*r + o + 31 = -2*r, -3*r = 2*o + 22. Is (-6168)/r + -1 + -1 composite?
False
Let m(h) be the first derivative of -h**3 + 3*h + 5/2*h**2 + 39/4*h**4 - 27. Is m(4) composite?
True
Suppose 5*i + 80 = -25. Let j be i/(-2) + (-8)/(-16). Suppose -6*c = -j*c + 10805. Is c composite?
False
Let j(m) = 549*m**3 + 4*m**2 + 10*m - 25. Let i be j(4). Is i*(-84)/(-480) + (-3)/(-8) composite?
False
Suppose 3 = -3*z + 5*h, -2*z + 5*h - 2 - 5 = 0. Suppose -x - 4*o - z = -3*x, -x = -4*o - 8. Is x/(18/(-14) + 1) composite?
True
Let o(x) = -4*x + 3. Let k be o(-8). Let g = k - 30. Suppose -w + 3030 = g*w. Is w a composite number?
True
Let b(t) = 11780*t - 85. Let k(g) = 3926*g - 29. Let u(a) = -3*b(a) + 8*k(a). Is u(-3) a prime number?
False
Suppose 3*y = 0, 3*y - 5*y = -4*k + 12. Suppose -4*v + 8*v = 3*c + 2749, k*c - 1379 = -2*v. Suppose 3*z - 2088 = -6*w + w, -z = -w - v. Is z prime?
True
Suppose -3*z - 17835 = -3*p, -5*p - 11242 = -4*z - 40963. Is p prime?
False
Let t = -357077 + 529630. Is t a composite number?
False
Let a(q) = 11 + 7*q + 7*q**2 - 6*q**2 + 3*q**2 + q. Let y be a(-16). Suppose 4*w - 4527 = -y. Is w prime?
False
Let d(l) = 1082*l + 29. Let f be (-46)/(-92)*18/1. Is d(f) composite?
False
Suppose -4*p - 3*l + 8053 = 0, 2*p - 42*l - 4054 = -38*l. Is p a prime number?
True
Suppose 0*o + 7*o - 21 = 0. Let g(w) = 1 - 3 + 649*w**o + 229*w**3 - 129*w + 130*w. Is g(1) composite?
False
Is -6*(-5 + 6) + (1 - 47075)/(-2) prime?
True
Suppose r - 4228 = u, 4*u + 0*r + r + 16922 = 0. Let w be u/(-2) - (4 - 6/1). Let p = w - 1246. Is p a composite number?
True
Let k(m) = 4504*m**3 - 6*m**2 + 7*m - 23. Is k(6) a prime number?
False
Suppose 182 = -5*t - 2*t. Let u = -482 + t. Let q = 771 + u. Is q a composite number?
False
Let r(i) = 7*i + 32*i**2 + 6*i**2 + 17*i**2 + 16 - 25*i**2. Is r(-3) prime?
False
Let g(b) = -b**3 - 44*b**2 + 130*b - 225. Is g(-56) composite?
True
Let o be 28*4/(8/11). Suppose 155*t = o*t + 8057. Is t a prime number?
False
Suppose -6*q = -2*g - 246562, 3*q + 6*g - 123305 = g. Is q a prime number?
False
Let w(d) = -1 - 9 + 17*d - 37 + 21*d. Let c be w(16). Let n = c - 324. Is n a prime number?
False
Let s be ((-68)/(-12))/(1 - 10/9). Let y = s - -53. Suppose 2*p - 848 = -4*l, 215 = 4*l - 3*l + y*p. Is l prime?
True
Suppose -h - 433187 = -5*l, 196*l + 3*h - 259905 = 193*l. Is l composite?
True
Let w(u) = 28*u**3 + 18*u**2 - 28*u - 313. Is w(20) a composite number?
False
Let y(g) be the first derivative of -g**2 - 72*g + 22. Let h be y(0). Is 12/h - 13958/(-12) prime?
True
Suppose 37 = -2*m + 39. Is m/(-2) - 78312/(-48) a composite number?
True
Let y(p) = -p**3 + 13*p**2 - 10*p - 2. Let r be y(12). Suppose -w + r = -0*w + 2*n, -5*n + 19 = w. Suppose 29*h = w*h + 955. Is h a prime number?
True
Let h(f) = 615*f**2 - 6*f - 673. Is h(28) prime?
False
Is (50 - 45)*(-570628)/(-20) composite?
False
Suppose 2*f - 1105 + 343 = -i, 0 = -i - 4*f + 768. Suppose 37*l + i = 39*l. Let r = l - -721. Is r composite?
True
Let r(d) = 71*d - 40. Let z be r(23). Let x = z - -283. Suppose -3*a = -3*v - 1413, -2*v + x = 4*a - 4*v. Is a a composite number?
False
Suppose 2*f - 25926 = 110094. Suppose -7*w = -f - 90841. Is w a prime number?
False
Is 3*(-13)/((-39)/48151) a prime number?
False
Let y = -4123 + 645. Let j = 5397 + y. Is j a composite number?
True
Suppose -4*k + 17 - 29 = 0. Let p be k + 33/12 + 15858/8. Suppose -4*d = a - 1585, -p = -5*d - 4*a + 3*a. Is d composite?
False
Let d(v) = 7*v**3 - 4*v**2 - v + v**2 + 7*v**3 - 13*v**3 + 4. Let x be d(2). Is (-178790)/(-57) + x/(-6) a prime number?
True
Let j(s) be the third derivative of s**5/60 + 7*s**4/24 - 13*s**3/6 - 6*s**2. Let v be j(-9). Is ((-435)/2)/v*-2 a composite number?
True
Let l(b) = -135*b**3 + 21*b**2 + 59*b + 74. Is l(-15) prime?
False
Suppose -148179156 + 72705013 = -364*l + 97531053. Is l a prime number?
True
Suppose -9*l - 45 = -0*l. Let q be (7 - -77)*l/4. Let b = 73 - q. Is b a prime number?
False
Let x = -22 - -26. Let q(a) = 54*a - 7 - x + 402*a + 72*a. Is q(5) prime?
False
Let a(n) = 6519*n**2 - 125*n + 127. Is a(1) composite?
False
Suppose -4*v - 6 = -7*v. Suppose 6 - 10 = -u. Is 209 + v + (u - 4) prime?
True
Is (-68 - 154695)*1*(-1)/1 prime?
False
Let r = -321251 - -580834. Is r prime?
True
Suppose -3*r - 3 = 0, 3*r = w - 23 - 4. Let a = 27 - w. Suppose a*v - 5*g - 3163 = 0, 3*v - g - g = 3175. Is v a composite number?
False
Let d(p) = 27*p**3 - 3*p**2 - p + 3. Let f be d(2). Suppose v + o + f = 0, 2*o - 320 = -4*v - 1130. Let k = 423 + v. Is k composite?
False
Let r = -510188 - -814441. Is r prime?
True
Let r be -1 + 12 + 8/(-2). Suppose -2*d - 4*v - 50 = -r*d, -3*v = -3*d + 27. Suppose 9*y + 95 = d*y. Is y composite?
False
Suppose -13*b + 18 = -16*b, 2*b = p - 293059. Is p prime?
False
Let i = -65 + 70. Suppose 0 = -i*k + 3*u + u + 78785, 0 = -k - u + 15757. Is k prime?
False
Suppose 0 = -2*u + 2*b + 147168, 11*u - 15*u + 2*b = -294334. Is u a composite number?
False
Suppose -2*o + 56 = 278. Let u = o + 113. Suppose 6207 = u*a + 5*h + 1849, 3*a - 3*h = 6537. Is a a prime number?
True
Let n(o) = o**2 + o**2 - 100*o**3 - 63*o**3 + 18*o**3 - 2*o. Let b(z) = z + 1. Let q(y) = 3*b(y) + n(y). Is q(-2) composite?
True
Let u be (-85480)/(-15)*(-3)/2. Suppose 13443 = r - 2*p, 11*r + p = 16*r - 67188. Let f = r + u. Is f prime?
True
Suppose 0 = -10*s + 15*s - 20. Suppose v = -s, 2*y - 5*v - 38 + 4 = 0. Let r(c) = 98*c + 15. Is r(y) composite?
False
Suppose -22 = -6*n + 2. Suppose 2*d + 18 = n*d - 3*c, -2 = c. Suppose 0 = -d*b + 15932 - 5138. Is b a prime number?
False
Suppose -17*t = -21*t - s + 455333, 4*t - 455336 = -4*s. Is t prime?
False
Let d(y) = 16*y**2 - 8*y + 9. Let h(q) = q**2 - 12. Let j be h(6). Suppose -j + 4 = 5*p, p - 12 = -4*n. Is d(n) composite?
False
Suppose 0 = -15*c + 9*c + 4992. Let i = 3786 - c. Suppose 19*u - 5*u - i = 0. Is u a prime number?
True
Let p(w) = 4043*w - 262. Let x be p(7). Suppose 4*z + x = 5*z. Is z composite?
True
Let o(a) = 13*a - 4*a**2 + 14 + 3*a**3 - 43 + 4*a + 10. Is o(6) prime?
True
Is 108/378 - (15195030/(-35) - -3) composite?
False
Suppose 0 = 5*d + 3*d - 195852 + 16916. Is d a prime number?
True
Let u(k) = -k**3 + 28*k**2 + 136*k - 8. Is u(27) prime?
False
Let f be (3/5)/((-2)/(-10)). Let z(a) = 1 + 8*a**2 - 6*a**f - 8*a + 15*a - 3*a. Is z(-6) composite?
True
Suppose 3*c + 4 = 16. Suppose -c = -p, 0 = -d - 3*d - 5*p + 7772. Let o = 3377 - d. Is o composite?
False
Is (2/5)/(388/555589810) composite?
True
Suppose 137222 = 3*w + 2*n, 2*w + 0*n - 91484 = -4*n. Suppose 3*j + 0*v - w = v, 20 = -4*v. Is j a prime number?
False
Let w be (-9)/(-3) + 132/(-3). Let h = 43 + w. Is (1 - -3 - -1070)/h a prime number?
False
Let k(o) = 7*o**2 - 156*o + 10. Let y be k(-47). Suppose -40*a + 35*a + y = 0. Is a composite?
False
Let g = 513 + -535. Let j(u) = 4*u**2 + 77*u + 51. Is j(g) prime?
True
Suppose 10*j - 155640 = -3*g + 7*j, 207493 = 4*g - 5*j. Is g a prime number?
False
Let i(z) be the second derivative of 3*z**4 + z**3/6 + 7*z**2 - 176*z. Is i(9) composite?
False
Let x(w) = 13*w**2 + 359*w - 55. Is x(48) a prime number?
True
Suppose 147*b + 5840270 = 157*b. Is b a composite number?
False
Let k be 395118/34 - 6/51. Let u = k - 5662. Is u prime?
False
Let s(y) = 26367*y**2 + 657*y - 2647. Is s(4) composite?
True
Suppose b + 8 = 2*g - 21, 0 = 5*g - 5*b - 80. Let a be (-1 - 966)*(11 - g). Suppose 3*s - a = s. Is s a composite number?
False
Let l be (6 - (-35)/(-5))/(1/(-4)). Suppose -l*t + 56421 = 12809. Is t a composite 