 t. Is p prime?
False
Let a(t) = 608*t**2 + 111*t - 4. Is a(3) prime?
True
Let p = -71766 - -288760. Is p a prime number?
False
Let a(l) be the third derivative of 13*l**5/20 + l**4/3 - 2*l**3/3 - 29*l**2. Let d be a(7). Suppose 17*p - d = 1114. Is p a composite number?
False
Suppose -5*r + 3*t - t = -6, 3*r + 3*t = 12. Suppose r*c = 5*s - 12053, -5*s - 4*c = -4*s - 2415. Is s prime?
True
Let s(i) = 185469*i + 301. Is s(9) prime?
False
Let x(j) be the first derivative of 29*j + 1/4*j**4 - 10 + 6*j**3 + 13/2*j**2. Is x(-12) prime?
False
Let x(c) = 24*c**3 - 13*c**2 - 20*c - 83. Is x(16) prime?
True
Is (-235)/188 + (-1124644)/(-16) a prime number?
True
Let f(h) = 236*h + 200*h - 16 + 20*h. Let n be f(14). Suppose n = 9*j - 8869. Is j composite?
False
Suppose 0 = 13*a - 10*a - 9. Let w be 4258 + (-1 - 0*(a + -2)). Suppose -2*r + 847 = c + r, -5*c = 4*r - w. Is c a prime number?
True
Let x be 1/(((-2)/20)/(-1)). Let v(s) = s**2 - 9*s - 12. Let r be v(x). Is 1509/((1/(-2))/(r/4)) a prime number?
False
Suppose 22*y - 84555 = 394363. Is y a prime number?
False
Let h(m) = 547*m**2 + 30*m - 130. Let n be h(5). Let x = n + -9518. Is x a prime number?
True
Suppose -m - 956 = m. Let u be (-9)/6 - (-86903)/94. Let r = m + u. Is r a prime number?
False
Let k(p) be the first derivative of 3*p**4/4 + 4*p**3/3 - p**2 + 6*p + 8. Let s(i) = -2*i**3 + 6*i**2 + 9*i. Let m be s(4). Is k(m) a prime number?
False
Suppose 5*r - 1 + 21 = 0. Let f be ((-3)/6)/((-2)/r). Is 232 + 1 + 0/f a prime number?
True
Suppose 2*a - 4*n - 20 = 0, -a - n - n + 22 = 0. Let c be ((-2)/(-2))/(a/80). Suppose p + 479 = 3*u, 0*p + 797 = c*u - p. Is u a prime number?
False
Suppose -9*a = -161 + 5210. Is (-5 - a/2)*2 a prime number?
False
Let v = -10647 - -52928. Is v a composite number?
False
Suppose 0 = 16*d + 21*d. Suppose -4*w + 7371 = -0*w - 5*z, 2*w - 2*z - 3684 = d. Is w a composite number?
True
Let s(u) be the third derivative of u**6/120 + 7*u**5/30 + 3*u**4/8 - 5*u**3/3 + u**2. Let x be ((-5742)/18)/29*(0 - -1). Is s(x) prime?
False
Suppose -71*v + 4 = -70*v. Let n be (1 - -7)*2/v. Suppose 0 = n*z + 206 - 3210. Is z a composite number?
False
Suppose -40*o + 12*o = -12096. Suppose -2*r + 5*l + 180 = 0, 4*r - 5*l + 82 - o = 0. Is r a prime number?
False
Let b be 290 - (0 - -4)/4. Let n = b + -476. Is (n + 0)*-3 + 1 prime?
False
Let k be -1*(-237 - 0) - 5. Suppose 3*y = -3*h - 135, -2*h + 4*h + 4*y + 86 = 0. Let q = k + h. Is q a composite number?
True
Let d = -7899 - -1398. Let b = -4552 - d. Is b a composite number?
False
Let d = -321 + 329. Let t(r) = 20*r**3 + 13*r**2 - 8*r + 19. Is t(d) composite?
False
Suppose 1608 = -4*u + 1624, -2*b - 2*u + 112710 = 0. Is b a prime number?
False
Let c(u) = u**2 + 10*u + 22. Let w be c(-6). Is (w + (-4 - (2059 - 2)))*-1 a prime number?
True
Suppose 3*i = 4*n - 32174, -3*n + 21*i = -17761 - 6482. Is n a composite number?
False
Let r(y) = 9625*y**2 - 14*y - 9544*y**2 + 16 + 7. Is r(-10) composite?
False
Let a = 795349 - -10086. Is a composite?
True
Suppose 982385 = 53*p + 10842. Let w = -7890 + p. Is w prime?
False
Let i = 15668 - -1563. Is i composite?
False
Let x(t) = 3*t**3 + 4*t**2 - t - 7. Let k = 614 + -606. Is x(k) composite?
False
Suppose 4*a - 117 + 97 = 0. Suppose -4*x - 741 = -a*c, -2*c + x = 6*x - 303. Is c composite?
False
Let x = -15688 + 60351. Is x prime?
False
Let r(z) = -z**2 - 43*z + 696203. Is r(0) a composite number?
True
Let b(i) = 66*i**2 + 37*i - 15. Let q be b(25). Let v = q - 1707. Is v a prime number?
False
Let i be (-956)/(1/(1/(-1))). Let d = i - 3286. Is (-2 - 0)/(20/d) a prime number?
True
Let v = -9 + 13. Let q = -80 - -83. Suppose q*a = -0*a - v*n + 9, -n = 4*a - 25. Is a a prime number?
True
Suppose -18*s + 1098793 = -1026989. Is s prime?
False
Let k = -904 + 2090. Suppose 0 = f - 0*l - l - k, 3528 = 3*f + 3*l. Is f a composite number?
False
Let y be (-4)/(-18) - 12470/(-18). Let n(q) = -q**2 - 8*q + 704. Let j be n(0). Let l = j + y. Is l prime?
False
Let r(p) = 4*p**2 - 2*p - 1. Let w be r(-1). Suppose j + 2*b = 2212, w*j - 3*b - 1126 = 9869. Suppose 5*a - j = 2*a. Is a a composite number?
True
Let g be (-1 + -17)*(-6 - 88/(-16)). Is ((-7266)/g)/((-2)/3) composite?
True
Let u = 141 - -2280. Suppose -7*r + u = -1856. Is r a prime number?
False
Let y be -2 - (8/(-2) + 5). Let g be (-1 + y/(-2))*(-216)/(-27). Suppose -3*i + 2701 = -5*r, -5*r + 1102 = g*i - 2546. Is i prime?
True
Suppose 21*q - 1514038 = 4528339 + 2006734. Is q a composite number?
False
Let d = 25 + -22. Let v be 39/4 + (d - 15/4). Suppose 6068 = 13*u - v*u. Is u a prime number?
False
Let a be -3*1 + (1332/4)/9. Suppose -4*b - 1583 = -x, 37*x - a*x - 4749 = -2*b. Is x a prime number?
True
Let x = -31 - -31. Suppose -t = 3*t + 4*r, -5*t + 5*r = x. Suppose u - 33 + 12 = t. Is u a prime number?
False
Let m(s) = 11*s + 10 + 21 + 1 + 4*s**2. Let p = 262 - 276. Is m(p) prime?
False
Is 34 + 16850 + -13*1 composite?
False
Let s(c) = 3*c**3 + 14*c**2 + 10*c - 41. Let l(g) = 4*g**3 + 15*g**2 + 9*g - 42. Let k(x) = 2*l(x) - 3*s(x). Is k(-18) composite?
True
Suppose 5 = -5*c - 175. Let u be (1 + (-1)/5)*(-3659 + c). Is (1 - -1)*u/(-8) a composite number?
False
Let p = 650 - 632. Suppose p*o - 2592 = 12726. Is o a prime number?
False
Let i(g) = 504*g + 7. Let u be i(7). Suppose -t - u = -4*p + 136, -3*p + 3*t + 2742 = 0. Is p a prime number?
True
Suppose 7*t = 12*t - 25. Suppose -t*f = -3 - 2, 0 = 2*z + 2*f + 50. Is (-19166)/z + (-10)/65 a prime number?
False
Is ((-3117165)/20)/(-18 - (-759)/44) a prime number?
True
Let w(l) be the third derivative of l**6/120 - l**4/12 - 46*l**3/3 + 2*l**2. Let c be w(0). Is -11*1/(-1*(-4)/c) a prime number?
False
Let f = 50805 - 15292. Is f a prime number?
False
Is (-11 - (11 + -18))*222931/(-4) prime?
True
Suppose 5*v = -3*i + 6, -8*v + i = -4*v - 15. Is (-94160)/(-70) + v/(-21) prime?
False
Suppose -6 = 6*n - 9*n. Suppose 6532 = 4*o - 4*l, -n*l + 4*l = 0. Is o composite?
True
Let u(m) = -7*m + 3. Let j be u(-3). Let x be 8/(-6) + (-16)/j. Let r(n) = 177*n**2 + 1. Is r(x) prime?
True
Suppose -5*a = -s - 2*s + 4095, 0 = 5*a - 2*s + 4100. Let p = 2728 + a. Is p a composite number?
True
Suppose -5 = 5*l - 5*u, 5*u - 3*u - 6 = 3*l. Let p be (-6)/l*41956/51. Let c = 4755 - p. Is c composite?
True
Suppose -53702 = -3*d + 5*w + 30653, -5*d + 140567 = 4*w. Is d a prime number?
False
Suppose 226*x = 80*x + 1753022. Is x a composite number?
False
Let j(w) = -48*w - 41. Let o be j(-2). Is 82/(-4)*o/(-10)*4 prime?
False
Suppose 14*a - 36*a + 88 = 0. Suppose a*c - 5*t - 44843 = -8*t, 0 = 5*c - t - 56068. Is c a prime number?
True
Let z(c) = -c**3 + 75*c**2 - 4*c + 1129. Is z(67) prime?
False
Suppose 24*n = 23*n. Suppose 2*c + 2*c + 3*l - 1984 = n, 2*l + 1964 = 4*c. Is c a composite number?
True
Suppose -59*p = -49*p - 23630. Let w = p + -1086. Is w prime?
True
Is 2256570/15 - (6 + 5) a composite number?
False
Let z(b) = -28*b - 109. Let v(d) = -14*d - 54. Let k(g) = -13*v(g) + 6*z(g). Let a be k(22). Suppose 47 - a = -3*q. Is q composite?
False
Suppose 3*o = -o + 3*s + 43, -5*o + 52 = -2*s. Suppose 0 = -o*g - 2*g + 36. Suppose -y = -g*y + 2810. Is y composite?
True
Let n(h) = -716*h + 31. Let m be (-1)/(-4)*-3 - 9/(-12). Suppose -2*t - 6 = -m*t. Is n(t) prime?
True
Suppose 2*j - 105232 = j + 98979. Is j composite?
True
Let o(f) = 2*f**2 - 94*f - 87. Let r be o(-35). Let h = r - -460. Is h prime?
True
Suppose 4*w + 3*f - 700862 = 0, 8*f - 876037 = -5*w + 11*f. Is w composite?
False
Let u(t) = 7*t**3 - 4*t**2 - t - 3. Suppose 4*o + 2 = 6. Let z be (o/3)/((-4)/(-48)). Is u(z) a composite number?
True
Let b(q) = 107*q - 23. Let f(k) = -53*k + 10. Let s(n) = -2*b(n) - 5*f(n). Let o(c) = -c + 15. Let u be o(0). Is s(u) prime?
True
Let a(d) = 8*d - 8*d - 1 + d. Let m be a(2). Suppose 2*c + 3*g - 70 = 0, m + 31 = c + 3*g. Is c composite?
True
Suppose -2116 = -2*h - 0*d + 2*d, -2*h + d = -2116. Suppose -2*i + 2*g = 2*i + h, 3*i + 774 = -5*g. Is (i/(-2))/(8/16) a prime number?
True
Let i = 646 - 606. Suppose 45*k = i*k + 1270. Is k composite?
True
Let l be 56/20 - 1/(-5) - 1. Suppose -2*f + 4*x + 969 + 85 = 0, 5*x = -l*f + 1009. Let d = 872 - f. Is d composite?
True
Is 1/((-8)/(-5))*62824 a prime number?
False
Let y be 4*-1 - (4 + 0 + 4). Let