 -2*z - l - 1 = 0, -3*z = -2*y + 3310. Is y composite?
True
Let f(u) = 241*u + 13. Let w be f(-6). Let z = -925 - w. Is 2 - 5 - z/(-2) prime?
True
Suppose 4*n + 5*u = 507178, -3*u = -5*n + 2*u + 633950. Is (n/(-45) - 10)/(2/(-5)) a prime number?
True
Suppose -11*x + 13*x + 40 = -5*m, 4 = -2*m. Is (-25936)/(-40)*x/(-6) prime?
True
Suppose -5*k + 2630685 = 5*u, 0 = 29*k - 27*k + 4. Is u a prime number?
True
Let x(f) = 348*f - 47. Let p be (-1 + -1)*(4 + (-91)/14). Is x(p) a composite number?
False
Let f = 143411 + -67714. Is f a prime number?
False
Let j(t) = -450*t - 7. Let g be 2/(-12) + 2/((-60)/145). Is j(g) prime?
True
Suppose -7*t = -6*t - 5*g + 16, 5*t - 5*g = 0. Suppose 8*s = -4*a + 5*s + 14782, -t*a = -3*s - 14794. Is a composite?
False
Let c = -131 + 149. Is 3/c*2 - 7450/(-15) prime?
False
Is -14 - -2*6187806/36 a composite number?
True
Is 13/(20 - -6)*(72865 + 1) a composite number?
False
Let m = 20 + -17. Suppose -8332 - 245 = -m*j. Suppose -2*v - 5*t = -1959, -2*v - 4*t + j - 905 = 0. Is v composite?
False
Let r = 28 - -51. Let n be (27/12)/(-9) - r/4. Is 54765/(-60)*n/3 a prime number?
False
Let t(b) = 2*b**3 + 2*b**2 + 33*b - 13. Let c = 366 - 354. Is t(c) a prime number?
True
Let h = -19 - -29. Suppose -h*d + 19 = -21. Suppose 691 = m + d*b - 2*b, m + b - 686 = 0. Is m prime?
False
Let i = 325043 - 187200. Is i a prime number?
False
Let n(o) be the second derivative of -o**4/12 - 7*o**3/2 + o**2 - 8*o. Let p be n(-21). Suppose 6 = -p*l + 50. Is l composite?
True
Is (-3 + -9463 + -13)/(-1) a composite number?
False
Suppose 207096 = 2*d + 2*z, -4602 = 5*d - 3*z - 522350. Is d a prime number?
True
Let b(h) = h**3 + 22*h**2 - 80*h - 760. Is b(-21) a composite number?
False
Let h be 0/7 + 4 + -3 + 2. Let l(x) = 2910*x**2 - 15*x + 44. Is l(h) composite?
False
Is ((-333347)/(-98))/(((-3)/8)/((-6)/8)) a composite number?
False
Suppose x = -4*x + 2*k + 366630, 5*k = 25. Suppose x = -o + 17*o. Is o prime?
True
Let n be (2/3)/((-2)/3) - -26. Let x = n - 27. Is x/7 - (-5 - (-800)/(-7)) a composite number?
True
Suppose 6*t - t - 29 = -2*y, -5*t - 4*y + 33 = 0. Suppose -2*m = 2*i - 3*i + 257, -i + t*m + 245 = 0. Is i composite?
True
Let o(q) = -q**2 + 9*q + 5. Let k be o(9). Suppose 6*x - 7 = k. Suppose -3*j = y - 2368, -2*j - x*y = 3*y - 1557. Is j a composite number?
True
Is 0 + (-4)/(-32)*1090418 - (-9)/12 a prime number?
True
Let s(m) = -1559 + 3102 - 244*m - 1569. Is s(-6) prime?
False
Let k = -406 + 410. Suppose -k*l + 820 = 8*v - 4*v, -4*v + 848 = -3*l. Is v a composite number?
True
Let k be (-10 + 17 - 12)*4*-224. Let w = k - 1317. Is w composite?
False
Let h(t) = 116*t**2 + 4*t - 12*t - 2*t - 9 + 9*t. Let m be 1/((-3 - (-1 - 0))/(-8)). Is h(m) a prime number?
False
Suppose 12 = -4*q + 5*j - 0*j, 3*j = q + 3. Is (-3)/9*(12/q + -10025) a composite number?
False
Let g = 494 - 489. Suppose -4*m - k + 30402 = 0, -6*m - 38015 = -11*m + g*k. Is m a prime number?
False
Suppose 4*t - 96385 = 128472 + 111355. Is t prime?
True
Let b(g) = g**3 - 2*g - 508. Let x be b(0). Let y = 1198 + x. Suppose 2*z - y = 896. Is z composite?
True
Is (-143)/22 - (-8255511)/18 a composite number?
True
Let v be -2 + (-6)/(-1) + (-90)/10. Let k be (-12)/(-30)*(1132 - 3)*v. Is 18/(-63) - k/14 a prime number?
False
Is (-11)/(-264) - (-34)/(-48) - (-983540)/12 a composite number?
True
Is 35131581/75 - 44/550 a prime number?
True
Let r = -58 - -64. Suppose -474 - r = -6*u. Is u/30*(-291)/(-4) a prime number?
False
Let z(n) = 83*n**2 - 46*n + 117. Is z(28) a composite number?
False
Let m(l) = -659*l**3 + 303*l**2 - 12*l + 10. Is m(-6) a prime number?
False
Let h(w) = w**3 - 33*w**2 + 34*w + 5. Let r be h(32). Suppose 0 = r*i - 18*i - 1225581. Is i prime?
False
Suppose 0 = 3*v + 8*y - 13*y - 847106, 3*v - y = 847126. Is v composite?
False
Suppose -2*g = 6, -2*w + 4*g - 28825 = -1810883. Is w prime?
False
Let t(r) = -411*r**3 + r**2 - 1. Let y(s) be the first derivative of -s**4/4 - s**3 + 5*s**2/2 + 3*s + 12. Let h be y(-4). Is t(h) a prime number?
False
Let n(b) be the first derivative of -9*b**2 + 6347*b - 36. Is n(0) a composite number?
True
Is (-92)/(-276)*(164288/6 - 1/3) a composite number?
False
Let k(g) = -g**3 + 17*g**2 - 13*g - 52. Let y be k(16). Is (1 - 4) + 860 + y prime?
True
Let i = -220825 - -446508. Is i a prime number?
True
Let c(q) = -10*q + 2. Let g(x) = -3*x - 46. Let r be g(-15). Let h be c(r). Suppose h*y - 4*y = 2328. Is y a composite number?
True
Suppose w - d = 35, d = -3*w + 2*d + 115. Suppose 0 = 17*x - w*x + 80569. Is x prime?
False
Suppose 36*v = 33*v - 41526. Let p be (4/12)/((-3)/v). Suppose 3*r = 3*g - 924, 3*g = -2*g + 3*r + p. Is g a prime number?
True
Suppose 21*s + 1406 = 10394. Let d = 5095 - s. Is d a prime number?
False
Let g be (-1)/(2/134) + 2. Let r = g - -88. Let w(a) = a**3 - 22*a**2 + 17*a - 19. Is w(r) composite?
True
Let x be (180/(-50))/((-6)/(-80)). Let b = x - -40. Let p(v) = 24*v**2 + 2*v + 15. Is p(b) a composite number?
True
Let i = 50 + -50. Let l = -33 - i. Let a = 226 - l. Is a composite?
True
Suppose 474*z - 301807 = 463*z. Is z a composite number?
False
Suppose 32 = 2*k + 8. Suppose 0 = 3*w - 3*i - 8859, 0*i = 3*i - k. Is w prime?
True
Let y(h) = -28*h - 1. Suppose 7*q = 11*q - 20. Suppose -23 - 32 = q*l. Is y(l) a prime number?
True
Let b(c) = -c**2 - 31*c - 28. Let r be b(-30). Suppose -1665 = -5*l - r*o, -3*o = 5*l - 0*o - 1670. Is l prime?
True
Let m(f) = 47*f**3 + 2*f - 2. Let o be m(1). Let q = o + -44. Suppose -q*r + 354 = -r. Is r composite?
True
Let d(h) = -280*h + 143. Let x be d(-3). Is 14/21*(x - -10) a composite number?
True
Suppose -2*o + 2*h + 1701 = -h, -2*o + 5*h = -1707. Suppose -6059 = 5*l + o. Let x = 952 - l. Is x composite?
False
Suppose 5*o - 4*d = 2100, 4*o + o = 2*d + 2090. Let u = -258 + o. Suppose -u = h - 3*h. Is h a composite number?
False
Suppose -2*p - a + 7287 = 0, -4*p = -2*a - 1707 - 12863. Is p prime?
True
Let g = 983 - 987. Is (-3 + g - -2 - -1410) + -6 prime?
True
Let s = 232 + 13663. Let q = 21038 - s. Is q composite?
True
Let c(a) = a**2 + a + 858. Let v be c(0). Suppose 0 = -60*j + 50*j. Suppose -40*o + 34*o + v = j. Is o a prime number?
False
Let k be (12/(-18))/(1/(-3)). Let r be 1*(-4 + k) + 4. Suppose 5 = -p, -r*d = -p + 5*p - 202. Is d composite?
True
Let m = 84664 - -121459. Is m prime?
True
Let v(f) = f - 23. Let h be v(-16). Let l = h + 290. Is l a composite number?
False
Let h be (-246)/2*-3*6/18. Let z = 44 + h. Suppose 0 = 3*v + 5*l - 139, 2*l + z = v + 2*v. Is v composite?
False
Let r(s) = 20534*s**2 - 34*s - 206. Is r(6) composite?
True
Let m(h) = 40*h**2 + 17*h - 40. Let c be (-220)/(-24) + 11/(-66). Is m(c) prime?
False
Suppose -5*h + 124475 = -104112 - 52658. Is h composite?
False
Let t = -260 - -466. Suppose -q = 5*z - t, 3*q - 618 = -8*z + 10*z. Is q composite?
True
Is (70/5 - -80602) + 15/(-3) a prime number?
True
Let q(a) = 5*a + 38. Let u be q(-11). Let k(i) = -2*i - 32. Let b be k(u). Suppose 179 = b*r - r. Is r a composite number?
False
Let u(f) = 42*f**2 + 9*f - 23. Let k(n) = -n**2 + n. Let c(h) = 2*k(h) - u(h). Let z(a) be the first derivative of c(a). Is z(-12) a prime number?
True
Let u = -9431 + -3784. Let v = -1756 - u. Is v prime?
False
Let t be (-3 - (8 + -3))*1/(-1). Suppose -6*m - 262 = -t*m. Is m prime?
True
Suppose 2*r = 2*l - 2196, 4*l + 28*r - 23*r = 4401. Is l composite?
True
Let p be -4 + (12*3)/4. Suppose -2*b - 3*k - 4 = 0, 33 = b - p*k + 9. Suppose -10595 = -5*a + b*l, 6*l + 10620 = 5*a + 7*l. Is a composite?
True
Let k = -9 + 11. Suppose h - 3*y = -h + 943, k*h = -4*y + 978. Is h a prime number?
True
Is -8 + 22 + -12 - (-1 + -46804) a composite number?
False
Suppose 2*g - 88 = -8. Let r = -28 + g. Suppose 0 = b - 4*p - 459, r + 8 = -4*p. Is b a prime number?
True
Suppose -9*g + 8*g - 2572438 = -4*x, x - 643129 = -3*g. Is x composite?
True
Is -18*8/(-108) + (2 - 251411/(-3)) a composite number?
True
Suppose 2671*a - 2596*a = 103679475. Is a prime?
True
Suppose 0 = -v - 5*f + 1793752, -2*v - 72*f + 69*f + 3587553 = 0. Is v prime?
False
Suppose -233*t + 238*t - 10 = 0. Suppose -5*o + 26747 = -4*c, -4*c = -4*o - t*c + 21394. Is o a composite number?
False
Suppose 70*g + u = 74*g - 321989, 80493 = g + 4*u. Is g a composite number?