224 + -6965. Is i composite?
True
Let u = 316 + 443. Let h = u + -538. Is h a composite number?
True
Let i(q) = -2*q - 23. Let m be i(-16). Is (-3174)/m*3/(-2) composite?
True
Let j(y) = -278*y - 20. Let o be j(-6). Suppose 9*v - o - 14183 = 0. Is v prime?
True
Let q be ((-1)/(6/20))/((-8)/12). Suppose -646 = -q*n + 324. Is n a composite number?
True
Suppose 3*k - v - 1057 = 0, 3*k + 690 = 5*k + 3*v. Let a be (-303 - 0)/((-21)/(-14)). Let m = a + k. Is m prime?
True
Let a(i) = -3*i**2 + 7*i - 9. Let l be a(3). Let q = l + 12. Is (-652)/q + (-4)/(-6) a composite number?
True
Suppose -3*i + 32642 = 4*j, -2*j + j + 8154 = 4*i. Let n = -1279 + j. Is n prime?
True
Let w be -1 - 6/(-2) - -1. Suppose w = 2*p - 1. Suppose -5*q = 5*c - 235 - 65, 155 = p*c - 5*q. Is c a composite number?
True
Suppose -3*p = -2*t - 23, 5*p + 4 = -2*t + 5. Let j be (-1 - (1 + t)) + -3. Suppose j*q - 272 = -46. Is q composite?
False
Let t(w) = 92*w - 11. Suppose -5*b + 35 = d, -3*d = 4*b + 2 - 41. Is t(b) prime?
True
Suppose 4*t - 5*j + 5211 = 0, -3*t - 1910 - 1999 = -3*j. Let q = 2211 + t. Suppose 0 = 5*u - 0*u - 4*o - q, u = -5*o + 193. Is u composite?
True
Let h be (-3 - -7) + (0 - 31*-2). Let i = h - -61. Is i prime?
True
Suppose -4*z - z = 0. Suppose -r - 5*m + 77 = z, -3*m = 3*r + 2*m - 241. Is r a prime number?
False
Suppose 0 = 58*m - 56*m - 3274. Is m a prime number?
True
Let t(h) = -18 - 12*h + 3*h**2 + 4*h**2 + 2*h - 5. Is t(12) composite?
True
Let h(l) = -40*l - 20. Let j(m) = -13*m - 7. Suppose -2*u - 3*u + 35 = 0. Let t(g) = u*j(g) - 2*h(g). Is t(-8) a composite number?
False
Let s(k) = -646*k + 43. Is s(-9) a prime number?
True
Let l(h) = 82*h + 49. Let w(n) = -411*n - 243. Let y(x) = -21*l(x) - 4*w(x). Is y(-18) composite?
True
Suppose 45 = 17*u + 113. Is 3 + 10705/(-10)*u composite?
True
Suppose 0 = 2*m - 4*m + s + 615, -5*m - 3*s + 1510 = 0. Let f = 806 - m. Is f prime?
False
Let h(c) = 223*c**2 - 45*c + 13. Is h(-9) a composite number?
False
Suppose 4*y - 25 = -y. Suppose o + 4*i - 4235 = -4*o, -3*o - y*i = -2554. Is o a composite number?
True
Let y be 11/6 - 1/(-6). Suppose 2*l = y*j + 84, 5*l + j + 9 - 189 = 0. Suppose 4*r - l = 7. Is r composite?
False
Let l(h) = -4*h**2 - h. Let c be l(-1). Is (c - -8)*2796/20 a prime number?
False
Suppose -800 = -7*i + 635. Is i prime?
False
Let a(b) = 561*b - 16. Let g = 65 - 60. Is a(g) a composite number?
False
Let s = 2586 - 202. Suppose 5*q + 2*r - 11775 = -2*r, 0 = q - 5*r - s. Is q a prime number?
False
Let a be (46 - 5)*(2 - 4)*1. Suppose -140 - 250 = 2*l - 2*f, 5*f = -4*l - 762. Let x = a - l. Is x prime?
False
Suppose 0 = -38*n + 801 + 3797. Is n prime?
False
Suppose 2*v + 0*v + 3296 = 2*l, 0 = -5*v - 25. Is l prime?
False
Let h be (-6)/10 - 9/(-15). Let l be h + -93 - (-2)/(-1). Let z = 316 + l. Is z a composite number?
True
Suppose 6 = 2*j - 4*j, -42 = -3*a + 5*j. Let b be 2/6 - 2703/a. Let c = -151 - b. Is c prime?
True
Let y = 2673 - 1591. Is y a prime number?
False
Suppose -2*s = -5*s + 6. Suppose s*y + y = 6. Let z = 5 + y. Is z a prime number?
True
Let g = 1373 - 112. Suppose -3*l + g - 508 = 0. Is l composite?
False
Let q(f) = -f**2 + 6*f + 11. Let u be q(7). Suppose 0 = -2*r + 10, -u*y = -5*r - 5256 - 2163. Is y a prime number?
True
Suppose b + o - 8625 = 0, 2*b + o - 13968 = 3280. Is b prime?
True
Let i(c) = 5*c + 7. Let j be i(-6). Let o = 32 + j. Suppose o + 105 = 6*g. Is g composite?
False
Let r(h) = 3*h**3 + 10*h**2 - 12*h - 3. Let o(s) = 2*s**3 + 9*s**2 - 12*s - 2. Let b(v) = -6*o(v) + 5*r(v). Is b(6) a composite number?
True
Let q = -31987 - -46428. Is q prime?
False
Let t(y) = -12676*y - 187. Is t(-3) prime?
False
Suppose 0 = -5*c - w + 3 - 2, -4*w = 16. Let a be (4 + c)/((-7)/203). Let g = a - -302. Is g prime?
True
Suppose 73*q - 551784 + 36623 = 0. Is q prime?
True
Let y = -6 + 8. Suppose h - y*h = -2. Suppose -3*x = -h*x - 149. Is x composite?
False
Let d = 3702 - 2065. Is d prime?
True
Suppose -3094 = -8*d + 23298. Let h = -1822 + d. Is h a prime number?
False
Let y(f) be the third derivative of f**6/360 - f**5/12 - 17*f**4/24 - f**3 + 7*f**2. Let d(t) be the first derivative of y(t). Is d(13) prime?
False
Let q(g) = -2*g**3 + 10*g**2 - 13*g + 6. Let m(n) = n**3 + 1. Let a(r) = m(r) + q(r). Let h be a(9). Let l = 8 - h. Is l a prime number?
True
Suppose 0*b + 12 = -4*b. Let p(j) = 3*j**3 - 3*j**2 - 2*j - 3. Let v be p(b). Let l = v + 160. Is l composite?
True
Let m(h) = -19*h + 7. Let z(u) = -39*u + 13. Let w(r) = 13*m(r) - 6*z(r). Let x be w(-9). Let p = 13 + x. Is p prime?
False
Let t(h) = h**3 - 10*h**2 + 16*h - 1. Let z be t(8). Is -382*(3 - (3 - z)) prime?
False
Let y(b) = -2*b - 22. Let n be y(-10). Let a(g) = -36*g**3 - 3*g**2 - g - 1. Let o be a(n). Suppose o + 53 = 6*s. Is s prime?
False
Let p(b) = 3417*b + 327. Is p(18) a prime number?
False
Let f be 58/(-18) + (-8)/(-36). Let y be ((72/(-4))/f)/2. Suppose 3*o - 381 = 2*n - 0*n, y*o = -n + 381. Is o a prime number?
True
Let n(m) = 111*m**2 - 205*m + 11. Is n(9) prime?
False
Suppose -4*n + 17729 = 5581. Is n prime?
True
Let l(d) = 236*d**2 + 5*d + 28. Is l(13) prime?
False
Let m(j) = -j - 27. Let y be m(-13). Let f(t) = t**2 + 11*t + 20. Is f(y) composite?
True
Suppose 296*b - 24855 = 281*b. Is b a prime number?
True
Is (-4 - 3) + -1 + 10985 a composite number?
True
Suppose i - 5 = -4*i. Let w = i + -17. Is (w/(-24))/((-4)/(-534)) a prime number?
True
Let n = 6823 + -4290. Is n prime?
False
Let k = 15080 + 1649. Is k a prime number?
True
Suppose 2*l = w + 265, -4*l + 4*w = -l - 385. Let f = 87 - l. Let y = 145 + f. Is y composite?
False
Let c = 70286 - 39709. Is c prime?
True
Let q(a) = a**3 + 6*a**2 + 6*a + 7. Let o be q(-5). Let b(j) = 4*j**2 - j + 4. Let h be b(-7). Suppose 0 = 2*g - r - h, -2*r + r + 217 = o*g. Is g prime?
False
Suppose 6*p = p - 3*q, 0 = -5*p + 2*q. Suppose h - 25 - 51 = p. Let y = 171 - h. Is y a prime number?
False
Let d(i) = -i**3 + 14*i**2 - 12*i - 1. Let t be d(12). Let m(l) = -45*l + 2. Let c be m(6). Let p = t - c. Is p a composite number?
True
Suppose -9*a + 2597 = -2*a. Is a prime?
False
Let z = -21515 + 41794. Is z prime?
False
Let a = 3236 + 4537. Is a composite?
True
Let t be 10/(-6) + 43020/54. Is -2*(4 + t/(-2)) a prime number?
True
Let r = -61 - -87. Suppose -r*y - 6153 = -29*y. Is y a prime number?
False
Suppose -2*d + 408232 = 52206. Is d prime?
False
Suppose 3*i - 2*y - 30 = -2, 2*i - 17 = 3*y. Let l(s) = 44*s - 25. Let k(o) = 66*o - 37. Let m(q) = -5*k(q) + 8*l(q). Is m(i) composite?
True
Suppose -3*l = 2*l - 2*w + 108, -5*l - 3*w = 113. Is (-22854)/l + (-16)/(-88) composite?
False
Let v = 1121 + 6372. Is v composite?
True
Let w = -2520 + 3499. Is w prime?
False
Suppose -7*j + 2*j = 3*y - 2989, 2*y = -2*j + 1990. Is y prime?
False
Let x = -6501 - -19292. Is x a composite number?
False
Suppose -5*j + 2*q - 3*q = -84, -3*q - 37 = -2*j. Suppose 8*z - 73 + j = 0. Is z a composite number?
False
Suppose 2*r - 6 = -3*b, r = -5*b + 6*r + 35. Suppose 5*p + b*l - 2091 = 5*l, -3*p - 4*l = -1273. Is p composite?
False
Let y(g) = g**3 + 2*g**2 - 2*g + 1. Let v be y(1). Suppose -2*h - 2 = z - 5, z = -3*h + v. Is (-34758)/(-21) - z/35 a composite number?
True
Let u(s) = s**2 + 12*s + 26. Let n be u(-9). Is (9 - -121) + (-4 - n) composite?
False
Let d(o) = 2*o**3 - 15*o**2 + 3*o - 3. Let a be d(10). Let j = -304 + a. Is j a composite number?
False
Let n(u) = -10*u**3 + 3*u**2 + 3*u - 3. Suppose 5*p = 4*m, -4*m + 2*m = 10. Is n(p) prime?
True
Let b(z) = 825*z - 6. Let i be b(2). Suppose 12*f = 16*f - i. Is f composite?
True
Let k be 1 + 16 - (1 - 1). Suppose k*l + 1473 = 20*l. Is l prime?
True
Suppose 0*b = -3*c + 4*b + 15681, -2*c - 4*b = -10454. Is c a prime number?
True
Let i be (-7 - -4)*(-20)/6. Is 8392/10 - (32/i - 3) composite?
False
Suppose 0 = -k - 3*o + 10081, -49*o - 30230 = -3*k - 45*o. Is k a prime number?
False
Let q = 4678 - 1049. Is q a prime number?
False
Let i = 20 - 16. Is i/12*(-2 - -161) a composite number?
False
Let m = 6 - 1. Let s be (-92)/(-20) - (-2)/m. Suppose 4*l - 59 = -3*y + 68, -s*l = 5*y - 220. Is y a prime number?
False
Suppose -32*p + 37*p = 15. Suppose s + 3*u = 1270, -2*u = -4*s - p*u + 5047. Is s a composite number?
True
Let f = -16 - -19. Suppose f*i + 3*g - 2