?
True
Let p = -67 + 73. Suppose p*o - 718 = 4*o. Is o prime?
True
Suppose 760 = i - 202. Suppose 4*t + i = -5*o - 1278, -4*o + 581 = -t. Is (-2)/(-6) + t/(-15) prime?
False
Suppose 0 = -3*l + 2*l + 2. Is ((-136)/(-32))/(l/24) composite?
True
Let r be -5*2/(-6)*-6. Let t = r - -381. Is t a composite number?
True
Let n(a) = 14*a**2 + 5*a - 34. Is n(21) composite?
True
Let x(w) = -3*w - 3. Let y be x(-2). Suppose q - y = -0. Suppose 1396 = q*u + 301. Is u a prime number?
False
Let u = 2 + -6. Let a(g) = -15*g + 7. Let q be a(u). Suppose 0*j + q = j. Is j a composite number?
False
Let j(f) = -2*f**3 + 50*f**2 - 24*f - 41. Is j(24) prime?
False
Let d(u) = -993*u - 1. Let z(o) = 331*o. Let m(l) = 2*d(l) + 7*z(l). Let p = 13 - 12. Is m(p) a prime number?
False
Let f(u) = -u - 9. Let q be f(-11). Let l(k) = -1 - 3 - 1 - q - 90*k. Is l(-4) a composite number?
False
Suppose -5*i + 298159 = 4*k, -2*k + 78022 = 3*i - 100875. Is i a composite number?
True
Let m(q) = -q**3 + q**2 - q - 12. Let p be m(-5). Suppose -9*k - p = -10*k. Is k a prime number?
False
Let y = -154635 + 222130. Is y a prime number?
False
Suppose -m + 7 + 10 = 3*q, -4*m = -3*q - 8. Let p be (-54)/12*q/3. Let n(u) = 3*u**2 + 6*u - 7. Is n(p) a composite number?
True
Let a = 75 + -70. Suppose 2769 = 8*d - a*d. Is d a prime number?
False
Let t = 33 + -20. Suppose 0 = -3*o + t - 1. Suppose o*d - 74 = 930. Is d prime?
True
Suppose -4*u + 2649 + 2719 = 0. Let d = u - 871. Is d a composite number?
True
Let r(l) = -58*l - 19. Let g be r(6). Let y = g - -576. Is y a prime number?
False
Let c(n) = -275*n**2. Let q be c(1). Let z = q - -652. Is z a composite number?
True
Suppose -2*j = -20*z + 23*z - 143041, -z + 143031 = 2*j. Is j a composite number?
True
Is (-7)/(3 + (-5532)/1842) a prime number?
False
Suppose 184 = -2*z - 0*r + 2*r, -4*r + 465 = -5*z. Let m = z - -317. Suppose -3*w + m = -413. Is w composite?
False
Let a = 21870 - 8221. Is a composite?
False
Suppose f = -0*f + 2, 0 = i + 4*f - 217. Let x be (-3)/(-2)*(1 + 51). Suppose -2*s + x = 2*d - 30, -4*s + 3*d = -i. Is s a composite number?
False
Let g(q) = -q**2 + 31*q + 79. Let m be g(28). Suppose 0 = -69*o + 68*o + m. Is o composite?
False
Let q(d) = d**3 - 6*d**2 - 6. Let i be q(6). Let t(o) = -o**3 - 6*o**2 + 8*o - 8. Let u be t(i). Is 1 - 1 - (u - -9) a composite number?
False
Let u(p) be the first derivative of -855*p**2/2 - 4*p + 20. Is u(-1) composite?
True
Let n(u) = u**3 - 2*u**2 + 3*u - 2. Let w be n(3). Is (452 + -3)/(w/5 - 3) composite?
True
Let y = -13742 + 27771. Is y prime?
True
Suppose -3*a = -5 - 1. Let b(j) = 2 + 11 + 3*j**a - 5. Is b(5) prime?
True
Suppose o = 2*g - 5, 0*o - 2*o - 14 = -5*g. Let v be 0/((-2 - -1) + o). Suppose v = -4*c - c + 475. Is c a composite number?
True
Let t = 16 + -17. Let c be ((-5)/(-10) + t)*-120. Let f = 523 + c. Is f prime?
False
Is (94/4)/((-12)/(-24)) a prime number?
True
Let i(g) = 234*g**2 - 2*g - 16. Let n be i(7). Is 15/25 - (n/(-5))/3 prime?
False
Let s(c) = 3516*c - 24. Let u be s(3). Suppose -5*y + u = 7*y. Is y a composite number?
False
Suppose -3*k - 76 = -247. Suppose 19 = -2*d + k. Is d prime?
True
Let q(v) = v**2 - 3*v + 2. Let t be q(5). Is 2 - 33/t - (-4917)/12 prime?
True
Suppose 3*o = 3*m + 38394, 3*o + 63987 = 8*o - 2*m. Is o composite?
True
Suppose 2*y = 15*y - 77753. Is y a composite number?
False
Suppose n - 230 = -2*r - 75, 3*n - 425 = 4*r. Suppose 3*k - 269 = -2*u, 0*u = -u + k + n. Is u composite?
True
Let n(w) = w**3 - 6*w**2 + 8*w + 7. Suppose 5*h = -v - 0*v + 13, -5*h - 4*v = -7. Let i be 20/((0 + 6)/h). Is n(i) a prime number?
True
Suppose 2*v = 4088 + 918. Is v prime?
True
Suppose -9*w + 13*w + 152 = 0. Let j(d) = d**2 + 6*d + 11. Let h be j(8). Let x = h + w. Is x composite?
True
Suppose 376*i = 368*i + 208616. Is i composite?
True
Suppose 4*j - 4*y = 1192, 0*j - 2*j - 4*y = -566. Is j a prime number?
True
Suppose 0 = -3*j - 5*c + 11603, 2*j + 5229 = -2*c + 12959. Let a = j + -314. Is a a prime number?
True
Suppose -4*x + 2*d + 127522 = 0, 0*x = -x + d + 31878. Is x prime?
True
Let t = 2551 - 727. Suppose -5*b = -611 - t. Is b a prime number?
True
Let y(o) = -o**3 - 16*o**2 - 25*o + 29. Is y(-32) a prime number?
False
Suppose -2*n - 17*c + 18*c = -11004, 0 = 5*n + 4*c - 27497. Is n composite?
False
Suppose l = -2*h + 343, -2*l + h = -4*h - 641. Let j be 2/(((-24)/l)/(-4)). Suppose -k + 66 + j = 0. Is k a composite number?
True
Let q be (-5 - -6)/(-2 - -1). Let f(n) = -918*n**3 - 3*n - 2. Is f(q) a composite number?
False
Suppose -5*k = q - 4390, -k - 30*q + 35*q = -852. Is k a prime number?
True
Let a(o) = -6*o**3 - 11*o**2 - 8*o - 14. Let g be a(-7). Suppose g = -22*x + 29*x. Is x a composite number?
False
Let u = 94 - 86. Suppose 5*i = u*i - 1557. Is i a prime number?
False
Let g be 11 - (-3)/3*-2. Suppose -2*l - 3 = -g. Suppose 140 + 613 = l*z. Is z a prime number?
True
Let y(k) = -2*k + 5. Let x = -8 + 13. Let q be y(x). Is 8/(-20) - 997/q composite?
False
Suppose 4*r + 9098 = -3*q + 27773, -3*q = -5*r - 18702. Is q a composite number?
False
Suppose -3*h = 3*l - 12, -2*l + 4 = 2*l. Suppose 0 = -4*m - j + 361, 0*m - h*j = 5*m - 460. Is m a prime number?
True
Let c(j) = -j**3 + 59*j**2 - 76*j + 7. Is c(35) composite?
True
Let g = -64 + 161. Let d = g + -170. Let b = d - -200. Is b composite?
False
Suppose -i = -4*v + 36595, 4*v - 5*i = -0*i + 36591. Is v a prime number?
False
Is 4/(-36)*-9*39157 prime?
True
Let u(a) = -a**2 + a + 1. Let q(s) = 6*s**2 - 4*s - 19. Let k(w) = q(w) + 4*u(w). Is k(5) prime?
False
Let n(t) = -100*t + 37. Is n(-12) a composite number?
False
Suppose 86265 = 20*h - 143075. Is h composite?
False
Suppose -5*d - c + 6 = 0, -3 = 4*d + 3*c + 1. Let s(q) = 19*q**3 + q**2 - q**2 + 23*q**3 + 1 + q**d. Is s(2) prime?
False
Let k be 4/(-10)*-27*-370. Let x be 411/3*(-45 - -2). Let h = k - x. Is h prime?
False
Let i(q) = q**2 - 1. Let u(g) = -559*g**2 + 3*g - 7. Let v(a) = 4*i(a) - u(a). Let b be 6/(-4)*(-4)/6. Is v(b) prime?
True
Suppose 64860 = -5*a + 153995. Is a composite?
False
Let f(h) = -115*h - 9. Let j be f(-12). Suppose 4*a = 5839 - j. Is a prime?
True
Suppose -349*a = -360*a + 193853. Is a prime?
True
Let y(g) = 83*g + 23*g + 19*g + 2. Suppose 0 = 3*q - 6*q + 3. Is y(q) a prime number?
True
Let k(f) = -51*f**3 - 17*f**2 + 14*f + 4. Let r(b) = -17*b**3 - 6*b**2 + 5*b + 1. Let x(s) = 6*k(s) - 17*r(s). Is x(-3) a prime number?
False
Suppose 7*y - 2*y + 10 = 0. Let i = y - 16. Is (171/i)/((-1)/4) prime?
False
Suppose 0 = h + 4*b - 2003 - 224, -2236 = -h + 5*b. Is h a prime number?
False
Let u = 24084 + -16099. Is u a composite number?
True
Let k be (-24)/(-3)*(-3)/(-6). Let w be (-1)/((-1)/(-2)) - -155. Suppose -k*b = -1141 + w. Is b composite?
True
Suppose 3*u - 5*m = 23, -4*u - 1 = 4*m + 11. Let i(k) = 7*k - 6*k + u - 4*k**2 + 9*k**2. Is i(4) a prime number?
False
Is (6 - -143325)*11/33 a composite number?
False
Let t be (-5)/(-3 + 39/18). Let r be ((-2)/8)/(t/(-120)). Suppose -2*n + 82 = d - r*d, 0 = -n - 2*d + 33. Is n a prime number?
True
Let d be 204/85*20/3. Suppose d*a - 14*a - 2654 = 0. Is a composite?
False
Suppose -3*s = -2*t + 3, -13 = -7*t + 2*t + 2*s. Suppose 5*g - 173 = -2*z - 54, z = -t*g + 58. Is z a composite number?
False
Suppose -888487 = -14*o + 251127. Is o a prime number?
True
Let h be (-1 - 6/18)/((-1)/(-3)). Let v(q) = 62*q**2 - 5*q - 19. Is v(h) composite?
True
Let j be 3/(-9) - (-5282)/(-3). Let i = 90 - j. Is i composite?
True
Let p(u) = 275*u - 158. Is p(15) a prime number?
True
Let o(m) = 41*m**2 - 12*m - 61. Is o(-18) a prime number?
False
Let m be (-1)/(-1)*-5 + -5. Let g(k) = -39*k + 17. Is g(m) prime?
False
Suppose -20 + 0 = 4*k. Let d(b) = -14*b**3 - 3*b**2 - 21*b - 3. Is d(k) a prime number?
True
Let v(p) = 97*p + 9. Suppose 7*h - 63 = 7. Is v(h) a composite number?
True
Suppose 0 = 2*x - 4*b - 0*b + 6, 2*x = -b - 21. Let n be (-4)/6*x/2. Suppose 0 = 5*y - 5, 5*s + n*y - 210 = 2*s. Is s prime?
False
Let s(b) be the third derivative of -43*b**4/12 - 5*b**3/2 + 24*b**2. Suppose -5*q = 5*t + 60, -q = t - 3*t - 3. Is s(q) a composite number?
False
Let t be 4/10*(7 - -13). Let i be (48/(-32))/((-3)/t). Suppose -183 = -u + i*c, -4*c = u - 0*c - 199. Is u a composite number?
False
Let i = -71 - -520. 