-2*x - 2*q + 304. Is x composite?
True
Let m(i) = -11*i**2 + 4*i - 25. Suppose 12 = -3*g - 6. Let a(y) = y**2 + 1. Let l(u) = g*a(u) - m(u). Is l(8) composite?
False
Suppose j - 4*z = z - 18, -4*z = 2*j - 20. Let f(q) = q**3 + 24 + 1073 - j*q**3. Is f(0) a prime number?
True
Let s(z) = 3*z**2 + 6*z + 9. Let n = -37 + 33. Is s(n) prime?
False
Suppose q + 5*x = 3087, -2*x + 15351 = 5*q + 2*x. Suppose 2*f = -g + 3953, -5*f - 872 = -g + q. Is g a prime number?
False
Is 1/(-5)*2950125/(-75) prime?
True
Let g(o) = 64*o - 1. Let q be (-6)/27 - (-40)/18. Suppose -4*k + 4*p + 6 = -k, 4 = q*k - 3*p. Is g(k) composite?
False
Let i(w) = 104*w + 105. Is i(11) a composite number?
False
Let z(b) = 1888*b**3 - 7*b**2 + 3*b + 5. Let w(d) = -5665*d**3 + 20*d**2 - 9*d - 14. Let o(q) = -6*w(q) - 17*z(q). Is o(1) composite?
True
Let d(q) = 3*q**3 + 4*q + q**2 + 0 + 2 - 2*q**3 + 2. Let h be d(7). Is (h/(-24))/(2/(-6)) a prime number?
True
Is (-291)/(-2 + 66/42) composite?
True
Let s(i) = i**2 + 12*i - 14. Let c be s(-13). Let l(o) = -320*o - 3. Is l(c) composite?
False
Suppose 3*v - 2129 = 2*j + 3148, 5*v - 8808 = -j. Is v a composite number?
True
Suppose 3*g + 2*g - 15 = 0. Suppose 0 = -4*c - g*c + 7511. Is c a composite number?
True
Suppose -8*x - 31295 = -13*x. Is x composite?
True
Is (-50)/60 + (-102022)/(-12) prime?
True
Suppose 0 = 4*g + f + 5, 4*f - 10 = -0*g - g. Let m = g + -1. Is (2/m)/((-18)/999) prime?
True
Let j(f) = f**2 - 14*f - 14. Let r be j(-11). Suppose r + 199 = 4*k. Suppose 5*u - k - 75 = 0. Is u prime?
False
Suppose 3*q = -3*j + 9567, 3*q - 12740 = -4*j + 7*q. Suppose t - 3*t + p + j = 0, 15 = -3*p. Is t prime?
False
Let t = 28 - 33. Is 163/(-3 - 16/t) composite?
True
Let o = 243 - 656. Let k = o + 826. Is k a prime number?
False
Suppose 2*f = j + 4433, -6*f + j = -3*f - 6652. Is f composite?
True
Suppose 4 = -11*b - 502. Let f be (-1 + 2)/((-3)/(-135)). Let c = f - b. Is c a prime number?
False
Let a(p) = 2 - 4*p + 13 + 6*p. Is a(0) a prime number?
False
Suppose -2*f - 17554 - 21576 = -2*g, 3*g + f - 58703 = 0. Is g prime?
False
Let w(i) be the second derivative of 1/3*i**3 - 7*i - i**2 + 0 + 15/2*i**5 - 1/12*i**4. Is w(1) a composite number?
False
Let f(w) = w**2 + 8*w + 7. Let p = 3 + 22. Let h = 13 - p. Is f(h) composite?
True
Suppose -5*g = 2*p - 54, -g - 18 = -2*g + 2*p. Let n = -11 + g. Is (n + -2)/(13/(-689)) a composite number?
False
Let q = 24 + 7. Is q a composite number?
False
Suppose -3*h = -0*h + 4*s - 1417, -3*s - 15 = 0. Is h prime?
True
Suppose 2*l - 3*l = 2. Let s be l/(-3)*(-426)/4. Let c = s + 212. Is c composite?
True
Let j be (-32)/160 - 62/(-10). Suppose -5*u + j*u = 131. Is u composite?
False
Suppose 0 = -3*w - 3*k - 3, 4*k + 11 = -w + k. Is (w/(-8)*526)/(-1) prime?
True
Let v(f) be the first derivative of 5*f**3/6 - 13*f**2/2 + 4*f + 5. Let d(h) be the first derivative of v(h). Is d(16) prime?
True
Let w(d) = 9*d + 10. Let v = 12 + -17. Let s be w(v). Is (-1)/(-5) + (-3388)/s composite?
False
Is 70/525 + 379976/30 + 5 prime?
True
Let y(n) = 22*n**3 - 2*n**2 + n. Let j be y(1). Let v be (-34)/(-10) + j/35. Let p(t) = 222*t - 9. Is p(v) composite?
True
Suppose -5*r - t + 3*t + 35 = 0, 5*t = 4*r - 45. Suppose 158 = 3*i - r*o, -7*o = -2*o + 5. Is i a composite number?
True
Suppose -s + 2*z = 4, 3*z = -4 + 16. Let o(x) = 146*x**2 - 2*x - 11. Is o(s) composite?
True
Let g = 16647 + -4640. Is g a prime number?
True
Suppose 5*i - 1160 = 5*g, -2*i + 3*g + 155 + 309 = 0. Let m = i + -122. Let t = m + 17. Is t prime?
True
Let o be 34/6 + -1 + 2/(-3). Suppose -o*z + 130 = 26. Is z a composite number?
True
Suppose -2*i + 4*i + 710 = 0. Let j = i - -866. Is j prime?
False
Suppose -72*x = -67*x - 15. Suppose -1759 = -x*z + 2*z. Is z a composite number?
False
Let l(r) = -r - 2. Let g be l(-6). Suppose 0 = u - 4*x + 63 - 3315, g*x = 3*u - 9724. Is (-2)/(1 + u/(-3228)) a composite number?
True
Let r be (-44)/(-10) - (-2)/(-5). Let p be 1*20/(16/r). Suppose -p*v = -10*v + 265. Is v a composite number?
False
Is (1 + (-12348)/16)/(4/(-16)) a composite number?
False
Let v(w) = w**3 - w - 2. Let t be v(-2). Let f(n) = n - 2*n**3 + 8 - 15*n**2 + 6*n**2 - 27 + 12 + 6. Is f(t) a composite number?
False
Suppose 279*i = 275*i - 16. Is 248 - (11/(-4) - (-1)/i) a prime number?
True
Let m be 69/6*(-30 + 4). Let k = m + 592. Is k prime?
True
Suppose -9*f - 29 = -13*f + 3*x, -f - x + 2 = 0. Suppose -t - 460 = -f*j, 5*t - 208 = -5*j + 282. Is j prime?
False
Let y(n) = -n**2 - 12*n - 22. Let t be y(-10). Is (-5043)/t + 11/(-22) a composite number?
False
Let k = -4 - -2. Let t(y) be the third derivative of -47*y**4/12 + y**3/2 - y**2. Is t(k) composite?
False
Suppose -21*r = -24*r + 12. Suppose -y + 5*n = 28, 6*y - 2*y + 16 = -r*n. Let a(f) = 6*f**2 + 10*f - 6. Is a(y) prime?
False
Let g(y) = 14*y**2 - 46*y + 51. Let h(r) = -5*r**2 + 15*r - 17. Let w(c) = -2*g(c) - 7*h(c). Is w(10) composite?
False
Suppose 0 = 3*q + 12, 4*r + 2*q = 5*q + 4. Is (-495)/(-27) - r/3 a prime number?
True
Let a(y) = y**3 - 7*y**2 + 29*y - 99. Is a(22) prime?
False
Suppose t = 2*t - 4. Suppose 0 = -t*z - 35 + 239. Is z composite?
True
Let h be 117/26*6*1. Let y = 22 - h. Let a(n) = -8*n - 6. Is a(y) prime?
False
Let l = -5999 - -9550. Is l a composite number?
True
Let z(k) = 3*k**2 - 14*k - 3. Is z(10) prime?
True
Suppose 2*l + 438 = 8*l. Suppose -69*k = -l*k + 556. Is k a composite number?
False
Let o(p) = 197*p**2 + 2*p - 1. Let t = 6 + -5. Let j be o(t). Suppose 0 = 3*i - 87 - j. Is i a composite number?
True
Let k = -120 + 123. Suppose 8*c - 3059 = -k. Is c a composite number?
True
Suppose -2*l + 39*k + 6769 = 36*k, -4*l + k = -13553. Is l composite?
False
Suppose -3*s + 3 = -l + 13, 4*l + 5 = -3*s. Let f(t) = 69*t**2 - t - 1. Is f(s) prime?
False
Suppose 40 = -4*i + 56. Suppose -i*b + 3*b = -123. Is b a prime number?
False
Let a(f) = -3000*f + 589. Is a(-36) prime?
False
Let b = 54848 + -17763. Is b prime?
False
Suppose 2*d + 3*d - 4*s - 63969 = 0, -5*s = -2*d + 25591. Is d a composite number?
True
Let c(z) = -2*z - 48. Let h be c(15). Let t be 330/(-27) + (-2)/(-9). Is (248/t)/(4/h) a composite number?
True
Suppose 4*q + 12 = 0, 5*p - 5*q + 110 = 45. Is -3*p/12 - -327 a composite number?
False
Is (-5)/((-160)/298128)*(-4)/(-6) composite?
False
Suppose -8*i - 80 = -24. Is 540/28 + 2/i a composite number?
False
Suppose -2*n + 28 = -2. Let h(v) = 7 - 299*v - n + 116*v. Is h(-3) prime?
True
Suppose 1777 = 3*j - 662. Is j a composite number?
True
Let v be -2*-75*(-1)/6. Let o(t) = -260*t + 87. Is o(v) a prime number?
False
Let v(w) = -2*w**2 - 6*w + 1. Let u be v(-2). Suppose -3*i + 3*x = -8*i + 1429, u*i - 4*x - 1443 = 0. Is i prime?
False
Suppose j - 2*j = -2, -5*d + j = -43313. Is d composite?
False
Let n = -1117 - -2156. Is n prime?
True
Let k(u) = 8*u**2 - 5*u + 1. Suppose -2*m - 2*t = 18, -4*t + 89 = -4*m + 29. Is k(m) a prime number?
True
Suppose -3*f - 5*v = -110, -6*f = -f - 3*v - 206. Suppose -10 = -k + f. Is k + 2/2*1 a composite number?
True
Suppose -2*n - 4 = 0, 0 = -c - 2*n + 4*n + 6. Suppose -x + 1459 = 5*i + 60, -2798 = -c*x - 2*i. Is x a composite number?
False
Let i(b) = 1661*b**2 + 10*b + 2. Is i(-3) a composite number?
True
Let o = -1 + 10. Let h be o/3 - 2 - -298. Suppose 2*j - k - 860 = -289, 0 = j + 4*k - h. Is j a composite number?
True
Let g be (24/(-7))/((-34)/119). Suppose -11*l = -g*l + 3516. Suppose l = i + 3*i. Is i composite?
True
Suppose 0 = -5*d - 19 + 4. Let h(l) = l**2 + 2*l - 2. Let u be h(d). Is (8 - 7)*(202 - u) a prime number?
False
Suppose 0 = -2*h + l + 7, 2 = -2*h + 3*h + l. Suppose -5*t = -2*z - 25, -t - h*t + 20 = -z. Is 369 + (z - -2)*-1 a prime number?
True
Let i be -3 + (-4 - -3)*-1. Let u(j) = 16*j - 1. Let h be u(i). Let o = h - -116. Is o composite?
False
Let y(c) = -6*c + 3*c + 1 + 4 + 4*c. Suppose 0 = -3*i + 2*i + 3*w, i = -2*w + 10. Is y(i) composite?
False
Let i(a) = 2*a**2 + 14*a + 4. Let s be i(-7). Suppose 5*f - 4813 = -4*r - 634, -3339 = -s*f + r. Is f a prime number?
False
Let s(w) = -w**2 + 5*w + 3. Let i be s(5). Suppose 5*u - 838 = i*u. Is u a prime number?
True
Let v(r) = 31*r**2 + 7*r - 21. Is v(19) prime?
False
Is (-2 + 1)*(4 - 4 - 7121) a composite number?
False
Let u(x) = 46*x**2 + 31*x + 272. Is u(-7) pri