Let m(h) = -112*h**3 + 22*h + 53. Is m(-3) prime?
True
Suppose 0*y = y + 1, -9 = -4*p + y. Suppose -3*x + 3*o = x - 1115, -4*x = -p*o - 1114. Is x composite?
True
Suppose 5*c - z - 49354 = 0, 0 = -5*c - 0*z - 5*z + 49360. Is c composite?
False
Let z(d) = 15*d**2 - 6*d + 6. Let y = 56 - 53. Is z(y) a composite number?
True
Let s(d) = 55*d**2 - 11*d - 7. Let u(o) = -27*o**2 + 5*o + 3. Let h(a) = -6*s(a) - 13*u(a). Is h(5) a prime number?
False
Let y(f) = f**3 + f**2 - 4*f + 3. Let a be y(2). Suppose a*g - 2*g = 1855. Is g prime?
False
Let h(r) = 0 + 5 + 58*r**2 - 3753*r + 3767*r. Is h(6) a composite number?
True
Suppose 4291 - 106907 = -8*i. Is i composite?
True
Suppose 45*l = 48*l - 15, 3*o + l = 2264. Is o prime?
False
Let p(m) = -m**3 - 7*m**2 + m + 6. Let b be p(-6). Suppose 228 + 677 = 5*o. Let d = o + b. Is d a composite number?
True
Let a = 35377 - 22160. Is a composite?
False
Suppose 2*b + 5*o = -872, 5*b + 4*o = -884 - 1262. Let u = b - -675. Is u a composite number?
True
Let d be (-49)/(-2)*12/21. Let s = 16 - d. Is ((-3495)/30)/((-1)/s) a prime number?
True
Let m(s) = -2*s**2 - 47*s - 1. Let y be m(-28). Let n = 666 + y. Is n a composite number?
True
Suppose 0 = 5*m - 0*m + 60. Let x = m - -16. Suppose -191 = x*v - 1507. Is v a composite number?
True
Suppose 3*a + 2*r - 44349 = 5*r, 4*r = 0. Is a prime?
True
Let n be 720/(-15)*58/6. Let o = -225 - n. Is o a prime number?
True
Let y be (-132)/6*(-6)/(-4). Let k be 2 + 11/(y/(-2664)). Suppose 4*c - 50 = k. Is c prime?
False
Let f(j) = -9*j - 6*j**2 + 8 + 5*j**2 + 0*j**2. Let o be f(-10). Is (2 + -365)/(-3) - o a composite number?
True
Suppose -s = -5*h - 7283, 2*s + 2*h - 21849 = -s. Is s prime?
True
Suppose -4*a - 7510 = -2*x, 0*x - 2*x - a + 7490 = 0. Is x prime?
False
Suppose 5*n - f = -0*f + 19, 5*n + 2*f = 7. Suppose -n*w + 1045 = -4*u, 2*w - 5*u = 734 - 49. Is w composite?
True
Suppose s + 7 + 3 = 0. Let u(h) = 2*h**2 + 8*h + 8. Let a(d) = d + 1. Let j(m) = 5*a(m) + u(m). Is j(s) a composite number?
False
Suppose -14 = -16*x + 2*x. Is x*2 - 537/(-9)*3 a composite number?
False
Suppose -105*o = -101*o - 348. Is o prime?
False
Suppose -9*k = k - 60. Suppose k*w = 8*w - 8818. Is w prime?
True
Let p be (-9)/(-6)*4/(-3) - -7. Suppose -p*a - 1473 = -2*g, -2*a + 1480 = -0*g + 2*g. Is g a composite number?
False
Let j(h) = -417*h - 649. Is j(-6) prime?
False
Let x = -1411 - -2565. Suppose 0 = -4*j - v + 3*v + x, 0 = j + 5*v - 316. Is j a prime number?
False
Suppose b = -4*r - 248, r + 4 = 3*r. Let o be b/(1 + 2 + -2). Let l = o - -467. Is l composite?
False
Suppose 2*a - 4 = -0. Let y be (6 - 8)/(a/(-3)). Suppose 2 = -y*p - 3*u + 344, -p + 5*u = -144. Is p a composite number?
True
Suppose -9951 = -5*y + 119. Suppose j = -3*l + 698 + 309, 4*l + y = 2*j. Is j composite?
True
Suppose -5*y - 5*l + 145635 = 0, 0 = -4*y - 92*l + 91*l + 116496. Is y composite?
False
Let x(z) = -87*z + 118. Is x(-15) prime?
True
Suppose 2*y = -5*j, -j - 2*j - 2*y - 4 = 0. Suppose -j*t + 0*t + 590 = 0. Is t a composite number?
True
Let l be -2 + 3/(3/(-11)). Let u(b) be the third derivative of -5*b**4/24 - 2*b**3 - 10*b**2. Is u(l) a prime number?
True
Suppose 3*v - 1825 - 1249 = -5*y, 4 = -2*y. Suppose -214 = 3*n + v. Is (-10)/3*n/12 prime?
False
Suppose 3*r + t = -2, 4*r = 3*t - 0*t - 20. Is (-4)/(0 - 2) - (-219 + r) a prime number?
True
Let r = -72 + 75. Is 0 + 1409/r - (-4)/(-6) a prime number?
False
Let v be (-5)/(20/(-4532)) + -2. Suppose 188 + 1116 = 2*j. Let w = v - j. Is w composite?
False
Let k = 5687 - -3422. Is k a prime number?
True
Suppose -4*j + 500 = 2*c, 3*c + 210 = 4*j - 310. Is j a composite number?
False
Suppose -11*y + 788292 + 23871 = 0. Is y prime?
False
Suppose -121*a + 12280 = -113*a. Is a prime?
False
Let m = 6447 + -2120. Is m prime?
True
Suppose -4*r + 6 = -2*r. Let u be (-1)/r - (-286)/3. Let v = u - 62. Is v a prime number?
False
Let s(n) = 17567*n**3 + 3*n**2 - 2*n + 1. Is s(1) composite?
False
Let h(l) = 4*l**3 - 32*l**2 + 20*l - 179. Is h(25) a prime number?
True
Is 2/(-20) + (38243572/40)/23 prime?
False
Let f be 24/9*(-9)/(-2). Is 0 - 2 - (f + -1455) a composite number?
True
Suppose h = -26*u + 27*u + 3744, -u = -4*h + 14991. Is h composite?
True
Suppose -3*v = -4*v + 360. Suppose z = -2*z + v. Let i = z + -83. Is i composite?
False
Let w(d) = -d**2 - 4*d - 5. Let y be w(3). Let u = y - -63. Is u prime?
True
Suppose -3*w = -45 - 4119. Let r = 2047 - w. Is r a composite number?
False
Let u be 1/(750/(-249) - -3). Let b = u + 402. Is b a composite number?
True
Suppose -k = -1281 - 3046. Is k a composite number?
False
Suppose 0 = 4*p - 5*l - 15163, -10*l + 11047 = 5*p - 7988. Is p a composite number?
False
Suppose -3*c - 4*p = -1666, 3*p + 431 = c - 133. Suppose o + 557 = -2*d + 2*o, -2*d + 2*o = c. Let i = -193 - d. Is i prime?
False
Suppose -3*d + 51 = -0*d. Let c(w) = w**3 + 9*w + 21. Let p be c(d). Let x = p + -3414. Is x a prime number?
False
Suppose -4*r + 4*k = -8*r - 20, -5*k - 9 = -3*r. Let j(l) = -265*l - 11. Is j(r) composite?
True
Suppose 7321 = 2*a - 25171. Is a a prime number?
False
Suppose -16 + 0 = -4*v. Suppose v*b - 7*b + 15 = 0. Suppose -4*c + b*i = -c - 758, 3*c = 3*i + 756. Is c a prime number?
True
Let x = 6941 - 2056. Is x composite?
True
Suppose -65*a + 70*a = -18905. Let p = -2420 - a. Is p a prime number?
True
Let v(f) = 24*f**2 + 5*f - 3. Let g be v(3). Let a = g + 79. Is a composite?
False
Let u(q) = 24*q + 191. Is u(52) prime?
True
Let x(y) = -44*y**3 - 4*y**2 - 12*y - 5. Let g be x(-9). Let j be (-6)/9 + g/15. Suppose -4*z = 5*u - 2119, 5*u - z - j = -4*z. Is u a composite number?
True
Let t be (-1)/5 - (-2694)/(-5). Let n = 305 + t. Let q = -93 - n. Is q composite?
True
Suppose 0 = 5*z - 4*t - 2253, z = -2*z - 3*t + 1368. Suppose -4*f + 7*f = -4*h - 700, -5*f - 4*h = 1164. Let p = f + z. Is p prime?
False
Is ((-6)/(-2))/(117/430053) composite?
False
Suppose -3*u - 3*t + 53412 = 0, 0 = t - 0 - 1. Is u composite?
True
Let x(m) = m + 455. Let p be 1/2*(0 - 0). Let z be x(p). Suppose 0 = 5*c + z - 1180. Is c composite?
True
Is 1/2*(-18 - -6796) composite?
False
Let x(r) = 95*r - 6 - 1 + 37*r + 0. Is x(3) prime?
True
Let t(v) = -v**3 - 6*v**2 - v - 1. Let l be t(-6). Suppose -l = -g, 0 = -s + g - 0*g + 810. Is s a composite number?
True
Is 149/(((-132)/27 - -5)*9) a composite number?
False
Let o = 86 + -35. Suppose -5*i = o + 9. Is 118 + -1 + i/(-6) prime?
False
Let n be 210/28*(-2)/3. Let u be n/2*16/20. Is (12/2)/u - -50 a composite number?
False
Suppose 2*v + 5 + 1 = 0, -3*v + 7 = g. Suppose g = 3*i - 11. Is (44 - i)*(2 - 1) composite?
True
Let a(i) = -i**3 + 4*i**2 + 8*i - 6. Let h be a(6). Let v = h - -209. Is v a composite number?
False
Suppose 2*k - 479 = -t - 2*k, -5*t + 2353 = -k. Suppose -2508 = -3*o - t. Is o prime?
False
Let n = 8870 - 4923. Is n a prime number?
True
Suppose -3855 = -4*o - s + 5040, -2*s + 8894 = 4*o. Suppose -6*u = -2*u - 4*j - o, -u + 544 = -5*j. Is u a composite number?
True
Let y = 3046 - 1313. Is y a composite number?
False
Let i be ((-1)/3)/((-2)/(-156)). Is (-26)/((-67)/(-142) - (-13)/i) composite?
True
Let h(m) = 872*m**3 + 6*m**2 + 6*m. Suppose -4*d - 4 = -5*d. Let i(g) = -873*g**3 - 5*g**2 - 5*g. Let t(q) = d*h(q) + 5*i(q). Is t(-1) a composite number?
False
Suppose 5*m + j = 38573, m + 3*j - 7707 = -j. Is m a prime number?
False
Let y = 66 - 63. Suppose -4*g - 37 = 3*h - 563, -y*g = 3*h - 528. Is h a composite number?
True
Let g(m) = 2950*m + 51. Is g(2) prime?
False
Let p(m) = -1900*m + 21. Is p(-2) a prime number?
True
Let d be (-4)/6 - 491835/(-45). Let f be d/(-9)*6/(-2). Is (-12)/66 + f/11 a composite number?
False
Let y = 3811 + -6254. Let g = 5606 + y. Is g a composite number?
False
Let t(d) = -d**2 + d. Let n(a) = a**2 - 16*a + 1. Let f(s) = -n(s) - 4*t(s). Is f(-12) composite?
True
Let l be (-108 - 0)*-18 + -1. Let u = l - 976. Is u composite?
False
Suppose -11*i - 30113 = -510340. Is i a prime number?
False
Suppose -43*x + 20199 = -40*x. Is x a composite number?
False
Is 7278/21*1547/26 composite?
True
Let y = -9919 - -27746. Is y a prime number?
True
Let i(n) = -n + 5. Let v be i(5). Suppose v*j = 2*j. Suppose j = -t + 80 - 6. Is t a prime number?
False
Let q = 33 - 28. Suppose 44 = 4*d - 3*w, 0 = -2*w