Let q be a(-21). Suppose j = -n + q, -2*j = 5*n - 0*j - 16285. Is n a prime number?
True
Let z = 40197 + -6518. Is z a composite number?
False
Let p = 19 - 26. Let n be -1 - p/(28/8). Is (67/2)/(n/2) composite?
False
Let k = -4411 + 8176. Suppose 3*z = -0*z + k. Suppose -6*n = -n - z. Is n prime?
True
Let m(y) = 176*y - 51. Is m(8) a composite number?
True
Let i(t) = 1046*t**2 + t + 1. Is i(-2) prime?
False
Let c = -22 + 20. Is (1788/(-16) - -1)*8/c composite?
False
Let i = 3092 - 1140. Suppose -i - 551 = -g. Is g a prime number?
True
Let j(m) = 71*m + 3. Let w be j(-5). Let o = w - -2199. Is o composite?
False
Let i = -46 - -51. Suppose -n + 793 = -3*o, -5*n + i*o = -0*o - 3945. Is n prime?
True
Let m be 2/5 - ((-8)/5 - 3). Suppose 6143 = m*x - 7392. Is x a composite number?
False
Suppose 4*o - 28 = -4*r, -4*r + 9 = -3*r + 2*o. Let u be -12*r/(30/4). Let p(m) = m**3 + 10*m**2 + 4*m - 7. Is p(u) composite?
False
Let l be 308 - (1 + 2 + -5). Suppose l = u + 17. Is u composite?
False
Let w(m) = m**2 + 9*m + 9. Let h be w(-10). Suppose h = 3*q + 43. Let r(o) = 2*o**2 - 9. Is r(q) a prime number?
False
Suppose 3 = -o, 4*o = 4*q - 2783 - 4833. Is q prime?
True
Let g be ((-36)/30)/((-1)/(-5)). Let s be 0/2 - (-3 - g). Let x(k) = -2*k. Is x(s) composite?
True
Suppose -15*n = 523 - 9973. Let b = n + 289. Is b a prime number?
True
Suppose 5*p = 2*r - 8, -5*p - 3*r - 15 = 2*r. Let h be (2 - p)/((-2)/(-109)). Suppose 2*v = 64 + h. Is v prime?
False
Let d = -23 + 25. Suppose 0 = -y - d*y - o + 3112, 3*y = 2*o + 3127. Is y prime?
True
Let v = 3 - 5. Suppose -127*k + 120*k + 63 = 0. Is (-2)/(v - k/(-6)) a composite number?
True
Let h(b) = 12*b**2 - 2*b - 2*b**3 - 13 + 3*b**3 - 21*b**2. Is h(10) a prime number?
True
Let d(t) = t**3 + 5*t**2 + 3*t + 1. Let z be d(-4). Let o be 4 + (z + -2 - -241). Let y = o - -73. Is y a prime number?
False
Let b be (-2 - -61) + 2 - 1. Suppose 5*c - 69 = 3*x + 3*c, -c - b = 3*x. Is (14/x)/((-4)/3786) a prime number?
True
Suppose -10*i = -14*i - 4*t + 9464, 4*i - 9469 = -5*t. Is i a prime number?
False
Suppose -6*v + 9*v = 2*q + 82083, 0 = 3*q. Is v a prime number?
True
Let n(u) = u**3 + 6*u**2 + 4*u - 4. Let m be n(-5). Let b be 0/((-1)/(-1)*m). Is b/3 + -3 + 12 composite?
True
Let d = -22 + 22. Suppose 635 = 3*g + 4*k, -3*k + 1 + 5 = d. Is g prime?
False
Let o = 1136 - 2067. Let z = 552 + o. Let q = z + 638. Is q composite?
True
Let u(r) = 41572*r**3 + 2*r**2 + r - 2. Is u(1) a composite number?
True
Let o(z) = -57*z + 103*z - 365*z + 4. Is o(-1) prime?
False
Let z be ((-6)/(-4))/((-8)/(-16)). Suppose 33 = z*d - 12. Let n = d - 11. Is n a composite number?
True
Suppose -4*k = k - 255. Suppose b = -9 + 53. Let l = k + b. Is l composite?
True
Let o(f) = -4*f**3 + 7*f**2 - f - 21. Is o(-5) a composite number?
False
Suppose -2*u = 4*b - 2*b - 4, -5*u + 3*b + 26 = 0. Suppose 0 = -u*f + 3*j + 2264, 6*f = 3*f + 2*j + 1697. Is f a composite number?
False
Let n(d) = 273*d - 4. Let p be n(6). Suppose -3*m + 0*w + w + 1218 = 0, p = 4*m + 2*w. Is m a composite number?
True
Let t be (1 + -2)/((-8)/40). Suppose t - 10 = -c. Suppose 3*f = -f + 4*w + 488, -368 = -3*f + c*w. Is f prime?
False
Let g(q) = 2*q**3 - 2*q**2 - 11*q - 6417. Let v(c) = -c**3 + c**2 + 6*c + 3209. Let w(m) = -6*g(m) - 11*v(m). Is w(0) a prime number?
True
Let l(b) = 2*b**3 - b**2 + 2*b. Let p be l(4). Suppose -p = -4*t + 172. Is 2 + (t - -2)/1 a composite number?
True
Let i = 577 - 390. Suppose -98 = 5*b + i. Let x = 122 - b. Is x composite?
False
Suppose 0 = 2*a + m - 5, -m + 6 = -4*a + 19. Suppose a*w = 5*z + 20, 2*w + 8 = 3*w - 3*z. Suppose -w*o + 2*o - 475 = -4*g, -4*o + 133 = g. Is g a prime number?
False
Let c be 6/(-8)*-2 + 5/10. Is (c/4)/((-3)/690*-5) a composite number?
False
Let s(i) = -4*i + 12. Let d be s(7). Let y = d + 22. Suppose y*b - 155 = b. Is b composite?
False
Let t = -26 + 161. Let h be 6/(-10) + 1308/(-20). Let w = h + t. Is w prime?
False
Let s(l) = l**2. Let a be s(0). Let o = -744 - -1062. Suppose -2*v = -a*v - o. Is v a composite number?
True
Suppose -3*b - 13 = m - 8*b, 0 = -5*m + b + 7. Suppose m*q = -q + 573. Is q prime?
True
Let u = 11389 - 7340. Is u prime?
True
Let k = 123 - -344. Is k prime?
True
Is (-211868)/(-6) - -10*14/(-420) prime?
True
Let b(p) = -47*p**3 + 10*p**2 + 4*p + 32. Is b(-9) composite?
False
Let s be ((-393)/(-2))/((-6)/(-16)). Suppose 0 = o + 3*o - 28. Suppose -3*l - s = -o*l. Is l a composite number?
False
Let m(g) = -g + 1. Let j be m(-3). Suppose 2*v + x - 62 = -2*x, j*v = -4*x + 116. Is v a prime number?
False
Suppose -6*z - p = -7*z + 1314, -p + 1324 = z. Is z a prime number?
True
Is -3*(3 - -1)*(-80486)/168 a prime number?
True
Let g(u) = -u**3 + 10*u**2 + 16*u - 14. Let t(d) = 3*d**3 - 30*d**2 - 47*d + 41. Let y(f) = -11*g(f) - 4*t(f). Let n be y(11). Is -149*-2*n/2 prime?
True
Suppose -2*v = 4*m + 8 - 2, -5*v = 4*m - 3. Suppose -v*s - 5*k + 393 = -93, 0 = -s + 4*k + 145. Suppose -732 + s = -5*y. Is y a composite number?
True
Suppose 6*w = 2*w - 0*w. Suppose 0 = -o - w*o + 1293. Is o a composite number?
True
Is -15*(-5)/(-15) - -5*734 composite?
True
Suppose -47*u - 102354 = -53*u. Is u a composite number?
True
Let k(o) = 2*o**2 - 20*o - 43. Is k(25) a prime number?
False
Suppose 3*g = v + 7*g - 583, -1762 = -3*v + g. Is v composite?
False
Let z(h) = -9*h**3 + 4*h**2 - 2*h - 6. Suppose 4*q - 5*t + 25 = 0, q = -0*q - 3*t - 2. Is z(q) prime?
True
Let r(s) = -s**3 + s**2 - 4*s + 61615. Is r(0) a prime number?
False
Let j be (2321/(-22))/(2/(-4)). Suppose 0 = -4*i + 20, 5*a - 551 = -4*i - j. Let s = -31 + a. Is s composite?
True
Is 68507*((-15)/10 + 30/12) prime?
True
Suppose 661*d + 1029128 = 669*d. Is d a prime number?
False
Let o be (-200)/3*24/(-16). Let l be o/55 + (-6)/(-33). Suppose -l*j + 0 = -22. Is j composite?
False
Let c = 24 + -20. Suppose i = -3*k - 0*i - 314, -4*k - 424 = -c*i. Let d = -26 - k. Is d a prime number?
True
Let z(b) = b**2 + 2*b - 1. Suppose 2*s - 24 = 2*c, -3*c = -c + 5*s + 3. Let k be z(c). Suppose v = 3*o + k, -2*o + 11 = 4*v - 307. Is v composite?
True
Let m = -7833 + 16108. Let f = 11870 - m. Is f a prime number?
False
Let h = 91417 - 48243. Is h a composite number?
True
Let m be (-3)/((-27)/2) - 9849/(-27). Let r be (-92)/(-6)*(-9)/(-3). Let c = m - r. Is c a composite number?
True
Let o = -44659 + 64488. Is (-22)/99 - o/(-9) a prime number?
True
Let w(p) = p + 1. Let y be w(-2). Let k(u) = 184*u**2. Let z be k(y). Let x = -125 + z. Is x a composite number?
False
Let v(h) = 8363*h**2 + 16*h - 5. Is v(2) composite?
False
Suppose 10*w - 6*w = 16. Let f(a) = -a + 9. Let p be f(w). Is (-1077)/(-4) - p/20 a composite number?
False
Let b = 126 + 24. Let x be 3/(-3)*74 - -3. Let h = x + b. Is h a prime number?
True
Let d = -32 - -31. Is d/((2 + -1)/(-449)) a prime number?
True
Let w(o) = -o**3 + 8*o**2 - 7*o + 8. Let k be w(7). Suppose -k*t = -3*t. Is (t - 4)*(-993)/12 a prime number?
True
Suppose 1080 = -5*a - b, -2*a - 414 = -0*b + 4*b. Let m(k) = 7*k**3 - 6*k**2 + 6*k - 2. Let p be m(4). Let h = a + p. Is h a composite number?
False
Let o(v) = v - 6. Suppose 0*l + 2*l = 12. Let q be o(l). Suppose q*w = -2*w + 174. Is w a composite number?
True
Suppose -5*y = -3*i + 4, -2*y - i - 3 = 3. Is (-2 + 2 - (-219 + y))*1 prime?
False
Suppose -4*d - 4*h + 8 = 0, -d - 4*h - 17 = -2*d. Suppose 1 = 5*k - 24. Suppose -k*c + 5 = -5, 0 = -d*m - 2*c + 159. Is m prime?
True
Let v(u) = 300*u**3 - 4*u**2 + 7*u - 9. Suppose -21 + 1 = -10*h. Is v(h) prime?
True
Let p(m) be the first derivative of -4*m**3 + 19*m**2/2 + 2*m - 5. Let y(l) be the first derivative of p(l). Is y(-14) prime?
False
Let h(t) = 50*t + 1. Let p be h(-14). Let a = -220 - p. Is a a composite number?
False
Let z = 9 + -7. Suppose -2*q + 0*q + 7 = -b, 2 = 4*b + z*q. Is b + 2 - -9*60 a prime number?
True
Let x(p) = 293*p - 37. Is x(6) a prime number?
True
Suppose -2*k + 1334 = -2*a, -3*a + 1339 = 2*k - 6*a. Suppose -t - k = -2984. Suppose -2*z = 0, 855 = -3*p - 4*z + t. Is p a composite number?
True
Suppose -112*c + 463281 = -91*c. Is c prime?
False
Let j(h) be the third derivative of h**5/60 - 17*h**4/24 + 31*h**3/6 - 6*h**2. Is j(17) prime?
True
Is (2/(-4))/(2/(-49244)) a composite number?
True
Suppose -2*t + 4 + 0 = 0, p - 5*t = -