 3*t = 2737. Is n a prime number?
True
Let v(m) = -2*m**3 - 18*m**2 - 33*m + 6. Is v(-11) a prime number?
True
Let q(c) = -5*c**3 - 9*c**2 - 6*c - 4. Let d(r) = 9*r**3 + 17*r**2 + 11*r + 7. Let k(y) = 4*d(y) + 7*q(y). Let i be k(-5). Is (i/(-8))/(7/140) a prime number?
False
Let x(r) = r + 1. Let g be x(-4). Let d = g + -7. Let t(h) = 11*h**2 + 13*h + 19. Is t(d) a prime number?
False
Let o be ((-36)/(-16))/((-4)/16). Let v = 17 + o. Suppose v*b - 4*b = 1356. Is b composite?
True
Suppose -3*x = -3*q - x + 2, 30 = 5*q + 2*x. Let a(t) = 52*t**2 - 2*t + 17. Is a(q) prime?
False
Suppose 0 = 5*w - 3*w - 10. Let t(p) = -10*p + 3. Let x(k) = -1. Let y(q) = -t(q) - 6*x(q). Is y(w) a composite number?
False
Suppose 103*f - 2657 = 102*f. Is f a prime number?
True
Let m = 9 + -7. Let h = 4 - m. Is h + (13*-9)/(-1) a prime number?
False
Let k be 22/33 + (-6784)/(-3). Let c = 3349 - k. Is c a prime number?
True
Suppose 3*r - 5*m = -2*m + 10746, 5 = -5*m. Is r composite?
False
Suppose -4*g = 2*t - 2576 - 2738, -5*t - 3*g + 13299 = 0. Is t composite?
True
Let v(s) = 13*s. Let t(f) = -3*f. Let u(z) = -9*t(z) - 2*v(z). Let y(w) = -10*w - 2. Let p(x) = 15*u(x) + 5*y(x). Is p(-7) a composite number?
True
Let z(m) = 4*m**2 + 13*m - 111. Is z(-14) a composite number?
False
Let d(g) = g**2 - g - 3. Let o = 5 - -2. Let h be d(o). Suppose l + h = 4*l. Is l a prime number?
True
Let l(o) = 10*o - 13. Let j(d) = 9*d**2 - d. Let t be j(1). Is l(t) a prime number?
True
Suppose 45*d = 66*d - 36393. Is d composite?
False
Let u = -20 + 9. Let g(i) = -i**3 - 6*i**2 + 11*i + 15. Is g(u) prime?
True
Let y = -2150 + 10281. Is y a composite number?
True
Let r(t) = -20*t**2 - 9*t + 4. Let i be r(-4). Is (6 + -1)*8/(i/(-399)) a prime number?
False
Let z(q) = 39*q + 1. Let o be (2/(-3))/(8/(-60)). Suppose 10 = o*v - 0. Is z(v) a prime number?
True
Let u(l) = -45*l**3 - 11*l**2 + 127. Is u(-9) prime?
False
Suppose 469 = -2*t + 5105. Suppose -3*j - a + t = -6*a, 3*j + 5*a = 2308. Is j a composite number?
True
Suppose 0 = -4*n + 5*t + 22714, n - 2*t - 5671 = 3*t. Let p = n - 2046. Is p a composite number?
True
Let c be 1*(8*-2 + 2). Let k = c + 14. Is 117 - (2/(-1) - k) a composite number?
True
Is 6 - (3 + -4 + -11328) a composite number?
True
Let f(s) = -54*s - 3. Suppose -w - 8 = 2*w + y, 3*y = w + 6. Let n be f(w). Is (n/12 + -3)*12 a prime number?
False
Let x(c) = -34*c**3 - 2*c**2 + 41. Is x(-5) prime?
True
Let g(t) = -7*t**3 - 3*t**2 - t - 15. Let m be g(5). Let c = m + 2367. Is c prime?
False
Is (-3)/(-5) - (-2715752)/130 composite?
True
Let d = -76 - -80. Suppose 2*h + 2361 = 5*n - 2*h, -d*h = 2*n - 922. Is n a prime number?
False
Suppose n + 3 = 0, 2*m - 5*n + n = -12. Let j = -105 - -322. Let k = j + m. Is k a composite number?
True
Suppose -3*p - 2*t + 431 = 0, 3*p + t - 241 = 192. Is p a composite number?
True
Let k(t) be the first derivative of -20*t**4 - t - 9. Is k(-1) a prime number?
True
Suppose 2*s = -0 + 6. Suppose -15 = -4*n - 5*l, 9 + 0 = 5*n + s*l. Is 789/(-12)*(-4 + n) a composite number?
False
Suppose -71*t = -70*t - 4*f - 7122, 3*t - 4*f = 21350. Is t a prime number?
False
Suppose 5*o - 45 = -15. Is (6/o)/((-2)/(-194)) prime?
True
Let d(l) = 1132*l**2 + l. Is d(1) composite?
True
Let r = 58229 + -38010. Is r a prime number?
True
Let z be -1 + 8 + (-7 - -6). Is 257/z + (-17)/(-102) a prime number?
True
Let s = -20 + 18. Is (1/s)/((-2)/1868) prime?
True
Suppose -q - 4*m + 15023 = 0, -5*m + 15382 + 29701 = 3*q. Is q a composite number?
False
Let a(l) = 5*l**2 - 6*l + 8 - 3*l - 4*l**2 + 0*l. Let w be a(8). Suppose 5*k + s - 113 = 3*k, w = 4*k - s - 241. Is k prime?
True
Let n(s) = -52*s**3 + 2*s**2 - 4*s. Let b be n(-3). Suppose 0 = 3*z + 2*z - 10, -b = -4*q - z. Is q composite?
True
Let u(j) = 20*j + 23. Let i(b) = 13*b + 15. Let y(s) = 8*i(s) - 5*u(s). Let q be y(6). Let a = q - -130. Is a a composite number?
True
Let a be (-5)/2*230*2 - -2. Let f = a - -2563. Is f composite?
True
Suppose 59 = -4*a - 21. Is 259 + 3*(1 + a/12) composite?
False
Suppose 1789 - 55 = 2*u + 2*d, 0 = 4*u - 5*d - 3432. Is u a prime number?
True
Let j(u) = u**2 + 2*u - 3. Let n be j(-3). Suppose 10*d - 543 - 2387 = n. Is d prime?
True
Let h(n) = -n - 3. Let x be h(-6). Suppose j - 3 = -2*m, m + 0*m = -x*j + 29. Suppose 10*t + 251 = j*t. Is t a prime number?
True
Let y(c) be the first derivative of -9*c**3 - c**2/2 - 4*c + 1. Let p be y(-4). Is (-2)/(-11) - p/44 prime?
False
Suppose -u + 14 = 15. Let x = 4 + u. Is 298/x*27/18 prime?
True
Let p = -4 - -8. Let u be 10/45 - p/18. Suppose -4*i + 4*v + 360 = u, -5*v - 3 = 2. Is i a prime number?
True
Let h be 6252/(-5) - 27/45. Let y = 2888 + h. Is y a composite number?
False
Suppose -5*t + 8*s = 5*s - 24530, 0 = -t + 5*s + 4884. Is t prime?
True
Let f = 683 + -474. Suppose -3*x = -2*x - f. Is x a prime number?
False
Let i(r) = 3907*r + 277. Is i(6) composite?
False
Let n(d) = 17*d**3 - 6*d**2 - 9*d + 13. Let w be ((-14)/5 + 4)/(1/5). Is n(w) a prime number?
False
Suppose -k - 1614 = -4381. Is k a composite number?
False
Suppose 4*v + 9 = 7*v. Let k(r) = 225*r**2 + 10*r - 4. Is k(v) a prime number?
False
Let h(y) = 219*y**3 - 3*y**2 + 3*y + 4. Is h(3) prime?
False
Let l(k) = 3*k + 1. Let z(m) = 449*m - 1. Let r(x) = 2*l(x) - z(x). Let s(n) = -2*n**2 - n - 1. Let j be s(-1). Is r(j) prime?
False
Let o(n) = 83*n**2 - 3*n + 29. Let b = 36 - 42. Is o(b) a composite number?
True
Suppose -5312 = -4*c + 1844. Suppose -c - 1483 = -8*a. Is a prime?
True
Let m(t) be the third derivative of 6*t**2 - 1/3*t**3 - 3/8*t**4 + 0 + 0*t. Is m(-5) a prime number?
True
Let j(t) = 14*t**2 - 4*t + 1. Suppose u + 2*u = 3. Let d = -4 + u. Is j(d) prime?
True
Suppose -4*v - 2*p = 12, v + 12 = -5*p - 0. Let i be (-4)/v - -1*3. Let a = i - -2. Is a a composite number?
False
Let n = 4 - -26. Is (-174)/5*n/(-12) a composite number?
True
Let q be -2 + 5 + -5 - -14. Let k be ((-4)/q)/(2/12). Is k/(-12) - 1786/(-12) a prime number?
True
Let n(x) = -45*x + 5. Let i be n(-6). Suppose 0 = 2*l + 61 + 155. Let d = l + i. Is d a composite number?
False
Let u(x) = x**2 + 12*x + 24. Let y be u(-12). Suppose -1768 = y*j - 32*j. Is j prime?
False
Let h = 3001 - 1370. Is h composite?
True
Let b = 0 + 5. Suppose -4*m = b*s - 0*m - 1290, -5*s + 1245 = -5*m. Is s a composite number?
True
Suppose -2586 = -4*q - 422. Is q a composite number?
False
Let f be (2 - 111/(-9))*3. Let j = 78 - f. Let o = j - 2. Is o a prime number?
False
Suppose -98*n = -63*n - 194635. Is n a prime number?
False
Let y(f) = 9*f**3 - 3*f - 2. Let k be y(-1). Is 14/k + 2 + 46744/32 prime?
False
Let d = 1835 + -129. Is d composite?
True
Let c = 69 + -43. Let w be 1881/45 + 8/(-10). Let v = w + c. Is v a composite number?
False
Let c(a) = a**2 - 5*a + 10. Let m be c(4). Suppose 0 = l + 2*l + m. Is (-635)/(-4) - l/8 composite?
True
Suppose 9*j - 4*j - 10 = 3*z, 5 = -z + 2*j. Suppose 233 = 2*c + z*l, 3*l - 117 = -c + l. Is c composite?
True
Let q = 111 - 66. Is 9/q + (-634)/(-5) a composite number?
False
Let d(q) = 4*q + 405 + 13*q**2 + 35*q**2 - 402. Is d(4) composite?
False
Suppose -13*m + 119472 = -10*m - 3*p, 2*m + 5*p = 79627. Is m a composite number?
False
Suppose 25 = -5*m, 932 + 5178 = 2*u + 4*m. Is u prime?
False
Let r(v) = v + 13. Let m be r(-7). Suppose a = -m*q + q + 1569, -3*a - 2*q + 4681 = 0. Let n = a - 1060. Is n composite?
False
Let i(s) = -9*s**2 + 2*s + 514. Let j(r) = -4*r**2 + r + 257. Let q(c) = -6*i(c) + 13*j(c). Is q(0) prime?
True
Let i = -470 - 3257. Let s = -1796 - i. Is s a composite number?
False
Let s = -1119 + 310. Let x = s - -1806. Is x a prime number?
True
Suppose 2*k + 12953 = 2*i + 7*k, 5*i - k - 32342 = 0. Is i a prime number?
True
Suppose 145*u - 98*u - 96397 = 0. Is u prime?
False
Suppose 3*f - 827 = 5*o, -2*f + 7*o + 553 = 2*o. Suppose -6320 - f = -6*g. Is g a composite number?
True
Let i(u) be the third derivative of u**6/120 - u**5/5 - u**4/24 + 8*u**3/3 - 4*u**2. Let z be i(12). Suppose -z*w + 824 = -60. Is w prime?
False
Suppose -2 = -2*z - 0. Let s(v) be the third derivative of 9*v**4 + v**3/6 + v**2. Is s(z) composite?
True
Suppose -87*z + 37*z + 2910650 = 0. Is z prime?
False
Suppose 12*v = 3*v + 18. Suppose -3*u = v*c - 1431, -3*u = -7*u + c + 1919. Is u prime?
True
Let