 number?
False
Let f(d) = -3*d**2 + 51*d + 5. Let b be f(17). Suppose 51*l - 1507912 = -b*l. Is l prime?
True
Suppose -89901220 = -195*w - 34342405. Is w prime?
True
Is (-32 - -29) + (-3)/((-12)/978104) a prime number?
False
Let m(j) = 538199*j**2 - 5*j - 15. Is m(-1) prime?
False
Let r = 1143878 - 762069. Is r a prime number?
False
Let y(f) = -3*f - 28. Let t be y(-18). Let x be 64480/t + ((-2)/2 - 1). Let a = -1391 + x. Is a a prime number?
True
Let t = -6020 - 709. Let n = -4170 - t. Is n a composite number?
True
Is (-3 + (2 - 0))*(-37147 + 150) prime?
True
Suppose -26*a - 4*a - 1170 = 0. Let g(i) = -98*i + 131. Is g(a) composite?
True
Suppose 0 = -3*j + 2*l - 38136, 5*l + 3 = -12. Let z = 17195 - j. Is z a prime number?
False
Let x = -25 + 28. Suppose 2*d + 17 + x = 0. Is 4*(-5)/d - -693 a composite number?
True
Let h = 38 + 2156. Suppose -3255 = -2*t + 7*t. Let q = t + h. Is q composite?
False
Suppose -5*n + 19 = 94. Let h(i) = -2*i. Let r(c) = -14*c - 4. Let o(k) = -6*h(k) + r(k). Is o(n) composite?
True
Let p = -15 - -22. Let j(y) = -y + 10. Let c be j(p). Is 77 + (-6)/c - 1 prime?
False
Let u be ((11448/(-15))/4)/(15/(-100)). Suppose 3*i + 3*b = 6*i - u, -4*i = 3*b - 1724. Suppose -i = -5*x + 127. Is x composite?
True
Let h(k) = -k**2 - 27*k - 73. Let z be h(-25). Let j(s) = -s**3 - 13*s**2 - 53*s + 33. Is j(z) composite?
True
Suppose -5*j + 1651 = -2*t + 4*t, 5*t = -5*j + 1645. Let i = j + -1326. Is ((-4)/3)/2 + i/(-3) composite?
False
Let y be (-4)/(-18) + 110888976/594. Suppose 30*d + y = 92*d. Is d prime?
True
Suppose -4*c + 496 = -4*z - 0*z, -2*z - 4*c = 248. Let m = z + 255. Is m composite?
False
Let l be (5 - (3 + 3)) + (-13 - 0). Let a be (-7)/l*0/2. Suppose 6*h - 4*h - 998 = a. Is h prime?
True
Is 289404 - 0 - (11 - (16 + -15 + 11)) a composite number?
True
Let k(d) = -89*d - 3. Let s be 1 + (-13)/11 - (-424)/(-88). Let v be k(s). Let m = 695 - v. Is m a composite number?
True
Suppose -243369 = -7466*q + 7457*q. Is q prime?
False
Let j(t) = 2*t**2 + t. Let y be j(1). Let x = 2364 - 2361. Suppose 5*c - 753 = -x*q + y*c, -1004 = -4*q + 5*c. Is q a prime number?
True
Let y(w) = -w**3 + w + 1. Let z(s) = -138*s**2 + 153*s**2 + 2*s**3 - 2 - s + 2*s**3 - 8*s**3. Let h(m) = -3*y(m) + z(m). Is h(12) a prime number?
True
Suppose 33 = -g + 3. Let q = -26 - g. Suppose -q*w + 9316 = 2480. Is w prime?
True
Suppose 18*i + 15*i - 190024 = 29*i. Is i a prime number?
False
Let y(w) = 2*w**3 + 20*w**2 - 13*w + 84. Let a be y(-19). Is -5 + ((-5)/(5/a) - -1) composite?
False
Suppose 0 = -s - 3*y + 502589, -s + 2*y = -570882 + 68293. Is s prime?
False
Let n(g) = -44*g - 17. Let r(k) be the first derivative of k + 31. Let a(v) = n(v) - 2*r(v). Is a(-13) prime?
False
Let r(j) = -22*j**3 + j**2 + 4*j + 2. Let w be r(-1). Suppose -w*z + 2 = -23*z. Is (-255)/(-3) - (3 + z) a composite number?
False
Let c = 140964 + 80977. Is c a composite number?
False
Is (8100738/68 - (-6)/(-4))*30/18 composite?
True
Let g be 522/8 + (63/(-28) - -2). Suppose -2*o + t = 86, -4*t + 59 = -3*o - g. Is 17*1*(-5)/(20/o) composite?
True
Suppose k = 2*k + 5. Is 2588 - 2 - (k - 0 - 0) prime?
True
Suppose -2*f = 1310 + 3122. Let a = f + 5055. Is a composite?
True
Let f = -369105 + 654812. Is f prime?
True
Suppose 20159 = -5*l + 474. Is (l*(-4)/16)/(1/4) composite?
True
Let j be (-9)/(-3) - (-21)/3. Let v(f) = 2*f**2 - 2*f - 13. Let n(p) = p**2 - 1. Let c(m) = 5*n(m) + v(m). Is c(j) prime?
False
Let q(n) = 43*n**2 + 27*n + 7. Is q(32) prime?
False
Let r = -42667 - -88624. Is r composite?
True
Let w(p) = 13*p**2 - 62*p + 54. Let v be w(24). Suppose 2054 + 5491 = 5*f - 5*q, v = 4*f + 5*q. Is f a composite number?
False
Let v(b) = 702*b**2 - 184*b + 103. Is v(17) composite?
False
Let j = -2863831 - -4052246. Is j a prime number?
False
Let w(x) = -205*x**2 + 7*x - 1. Let a(k) = -204*k**2 + 7*k. Let h(b) = -4*a(b) + 3*w(b). Let q = -593 - -595. Is h(q) a composite number?
False
Let d(s) = 2*s - 12. Let t be d(9). Suppose 902 = t*n - 58. Suppose 2*r - 374 = n. Is r composite?
True
Let d = -252 - -257. Let q(b) = 35*b**2 + 2*b + 22. Is q(d) prime?
True
Let a(w) = 47*w**3 + 5*w**2 - 30*w + 5. Let k = -578 + 581. Is a(k) a prime number?
True
Suppose 0 = 4*w - 40 + 32. Suppose 0 = q + w*q - 786. Is (10 - -18)*q/8 a composite number?
True
Is -6 - -35532 - 30/(-24)*-4 composite?
False
Let m be (-20)/(-110) + 126/33. Let l = -71 + 624. Suppose u - v = -m*u + l, 2*u - 230 = -4*v. Is u prime?
False
Let w = 4329 - 2921. Is (w - (0 + -2)) + (-95)/(-19) a composite number?
True
Let v be (1 + (-2561)/(-1))/(37 + -36). Let p = 7191 - v. Is p a composite number?
True
Suppose 450*d - 184914 = 444*d. Is d a composite number?
True
Let c = 183627 + -70196. Is c a prime number?
False
Let w = 31 - 30. Suppose -z - g + 2*g + w = 0, -5*z - g = -23. Is ((-5)/((-30)/z))/((-4)/(-1830)) a prime number?
False
Suppose 10*b = 15495 + 1365. Let v be (-1 - 1) + (2 - -2). Suppose -v*z - z = -b. Is z a prime number?
False
Let z(k) = k**3 - 16*k**2 - 14*k + 19. Let o be z(17). Suppose 5*i + 5*y - o = 0, -4*i - y = -i - 42. Suppose 0 = i*q - 15*q + 4442. Is q a composite number?
True
Suppose 29*y = -33 + 33. Suppose -8114 = -2*q - 4*z, -4*q + 5*q + 3*z - 4061 = y. Is q composite?
False
Is 69591417/91 - (228/39 + -6) a composite number?
True
Let p(x) be the second derivative of 0 - 1/12*x**4 + 0*x**3 + 33*x - 1/20*x**5 + 2447/2*x**2. Is p(0) a prime number?
True
Suppose 21*i - 1884586 = 18*i - 19*i. Is i prime?
False
Suppose -54 = 5*x + 76. Let i = x + 57. Suppose 1566 = 5*k + i. Is k a composite number?
False
Suppose 0 = -93*o + 22*o - 23*o + 8400122. Is o prime?
True
Let l(b) = -21*b**3 + 4*b**2 + 2*b + 2. Let x = -23 - -42. Let q = 16 - x. Is l(q) prime?
True
Suppose -19*b + 2362235 = -2*b. Is b composite?
True
Suppose -13*s + 18*s - s - 649828 = 0. Is s a composite number?
False
Let g(h) = h**2 - 5*h + 3. Let l(o) = -o**2 + 5*o - 3. Let u(c) = 7*g(c) + 6*l(c). Let p be u(2). Let n(s) = -515*s - 2. Is n(p) a composite number?
False
Let c(p) = 36 + 0*p**3 - p**3 + 44*p**2 + p**3 + p**3 + 26*p. Is c(-37) composite?
True
Let p(i) = 14*i**2 - 7*i - 11. Let q(t) = -t**2 - 9*t + 38. Let v be q(-12). Suppose -j = -6 - v. Is p(j) composite?
False
Is 3/((-126)/(-9236258)) + 2628/(-189) + 14 a composite number?
False
Let c(y) = 108*y**2 + 15*y - 40. Let v(a) = 109*a**2 + 15*a - 39. Let g(z) = -3*c(z) + 4*v(z). Is g(7) prime?
True
Suppose -2*z - z = a, a - z = 12. Suppose -7*r + 4*r + a = 0. Suppose -r*t + 681 = -666. Is t composite?
False
Let m = 86 - 82. Suppose -l + p = 2, 2*l + 8 = -0*l + m*p. Is (-9)/(-15)*(-1 + l + 1316) prime?
False
Suppose 7*p = 3*p + 64. Suppose 10455 = p*j - 37529. Is j prime?
True
Let c(k) = -32*k - 66. Suppose -3*t = -2*t + 20. Let u be c(t). Suppose w - 103 = 5*m + 52, -4*w - 3*m + u = 0. Is w prime?
False
Suppose -4*w + a = -27071, 4*a - 20308 = 3*w - 6*w. Suppose 5*b = -2*c + 11291, c = -5*b + 8*b - w. Is b prime?
False
Let w = 1027 + -1022. Let l be ((-2)/(-4))/(2/48). Suppose -w*v - 2233 = -l*v. Is v a composite number?
True
Is (-1 + -7 - -13) + 44103 - 6 composite?
True
Let z(t) be the second derivative of -t**4/12 - 7*t**3/3 + 7*t**2/2 - 272*t. Is z(-8) a composite number?
True
Let v(p) = -8446*p**2 + 15 + 8482*p**2 - 29*p + p. Is v(-5) a prime number?
False
Suppose 2*x + 6 = -0*x. Let b(g) = -111*g**3 + 4*g**2 + g + 7. Is b(x) composite?
False
Let l(t) = t**2 + t - 7. Suppose 2*n - 5*y = -3*n, 24 = 5*n + 3*y. Let m be l(n). Is 1 + (142/(-5))/(m/(-75)) a prime number?
False
Let i be ((-111)/9)/(4/(-12)). Let m = i + -37. Suppose -q = 5*l - 3*q - 895, m = -2*l - 5*q + 387. Is l prime?
True
Suppose -4*p = 20, -2*p - 11 = 2*b - 5. Let z be 47*(1 - -2) - (b + -2). Let g = z + -59. Is g prime?
False
Suppose 20 = 3*f + 29. Let g be 2/f*(-14145)/2. Suppose -15*s = -10*s - g. Is s composite?
True
Suppose -3*n - 2*o + 30718 + 57847 = 0, o + 59027 = 2*n. Is n a composite number?
True
Suppose -5*c = m - 171059, -6*c - 61 = -25. Is m composite?
True
Let d be 4*4/32*-12. Let p(i) = 331*i**2 + 2*i - 19. Is p(d) composite?
True
Let r(u) be the first derivative of 82*u**2 + 31*u - 9. Is r(8) prime?
False
Let t be (18/(-24))/(-2 + 26/16). Suppose -u + 12 = 3*r - 4, t*u = 5*r - 23. Suppose -3*p + 4304 + 62