a(v) a prime number?
True
Let o = 37 - 21. Let l(s) = -5*s - 9. Let g be l(-10). Suppose 3*r - g = o. Is r a composite number?
False
Let v be 19512/21 + 2/(-14). Suppose q = t - v, 2*t + 4*q = 1451 + 431. Is t a prime number?
False
Let o be 2/9 + 60/(-27). Let b be o/2 + 5 - 1. Suppose -3*u + 162 = -0*f + 3*f, 5*u - b*f = 262. Is u a composite number?
False
Let c(o) = -4*o**2 - 2*o. Let l be c(-1). Is (-3 - (-22)/6)/(l/(-1191)) a prime number?
True
Suppose -2*r + 4 = -0*d + 4*d, -2*r + 28 = -4*d. Suppose 0 = -r*j + 3*j + 3595. Is j a composite number?
False
Let i = 8 - 18. Let q(p) = 50*p + 8. Let a(u) = -51*u - 9. Let k(r) = 3*a(r) + 2*q(r). Is k(i) prime?
False
Suppose -5*i + 0*n = 5*n + 55, -15 = 3*n. Is i/(-4) + 59/2 a prime number?
True
Suppose -6*d + 6 = -0. Let p be (-105)/(-42)*d*2. Is 2063/p + 6/15 a prime number?
False
Let h(n) = -n**3 - n - 2. Let b(r) = 32*r**3 - 2*r**2 - 7*r - 5. Let y(j) = -b(j) + 3*h(j). Is y(-6) prime?
True
Suppose -2*o + 794860 + 147916 = 2*a, 3*a = -4*o + 1414163. Is a composite?
False
Suppose -4*r + 230144 = -236412. Is r prime?
True
Let o(h) = h**2 + 4*h - 30. Let u be o(-8). Let v(m) = 11*m**2 - 4 + 3 + 25*m**2 - 2 + 4*m. Is v(u) a prime number?
True
Let i be 20/6*(-225)/(-50). Let q(f) = 21*f - 58. Is q(i) prime?
True
Is ((-46385)/2)/(-3*(-3)/(-18)) a composite number?
True
Let b = -86 + 1965. Is b a prime number?
True
Let g(r) = r + 6. Let h be g(-4). Let s = h - 22. Is 5*2/(s/(-278)) a prime number?
True
Let q(v) = v**2 + 6*v - 5. Let a be q(-7). Suppose 298 - 80 = a*g. Is g a composite number?
False
Let h(r) = -22*r + 2. Let k be h(1). Is ((-60)/k)/((-1)/(-89)) composite?
True
Let s = -220 + 416. Suppose 3*u - 41 - s = 0. Is u a prime number?
True
Is (-3)/(-3) + (10558 - (3 + 1)) a prime number?
False
Let j = -31874 - -55945. Is j a prime number?
True
Let u be (-5)/((-50)/(-4))*-1390. Suppose 0 = -2*c - 3*o + 365, -3*c + 4*o + u = -0*c. Suppose -2*t - p + 298 = 0, -35 = t - p - c. Is t a composite number?
False
Let z = -3548 - -16501. Is z a prime number?
True
Let p be (-47)/4 + 12/(-48). Let k be 6/8 + (-3)/p. Suppose 0 = m + m - 2*f - 2084, 0 = f - k. Is m composite?
True
Suppose -2*a = o - 883, 2*o + 2*a - 1769 = -a. Is o a prime number?
False
Suppose x = -v + 10, 3*x - 4*v = 37 - 14. Suppose -4*q + 32 = 4. Suppose q*w = x*w - 1402. Is w a composite number?
False
Let b = 15 - 18. Let i(p) = 21*p**2 + 2. Is i(b) composite?
False
Let u be (2 - 1) + 7 + 348. Let i = -287 - -702. Suppose 0 = 3*s - u - i. Is s composite?
False
Suppose 0*a - 2*a = -10. Let n be 1 + -4 - (129 + a). Let m = n - -322. Is m a composite number?
True
Let m(x) be the first derivative of -161*x**2/2 + 4*x - 3. Suppose 0 = u - 0 + 5. Is m(u) a prime number?
True
Let k(z) = 14 - 10*z - 1 + 6*z**2 - 4. Is k(7) prime?
True
Let v = -11841 - -30322. Is v a composite number?
False
Let q(v) = v**3 + 16*v**2 - v - 12. Let t be q(-11). Let h = 89 + 309. Let g = t - h. Is g prime?
False
Let v = 25 + -35. Let o(k) = k**2 + 2 - k - 9*k - 2*k**2 + 2. Is o(v) a composite number?
True
Let q(j) = 10*j - 54. Let i be q(5). Is (4/(-4))/(i/1612) a prime number?
False
Suppose 5*o = -2*y - 2*y + 169064, 3*y + 3*o = 126801. Is y composite?
True
Let w(b) = b**2 - 15*b + 6. Let f be w(14). Is ((-124)/f)/(4/24) composite?
True
Let f be -3 - (-1 - -2)*6. Let w = f - -12. Suppose w*d + 323 - 1466 = 0. Is d a prime number?
False
Let h(d) be the second derivative of -d**4/12 + d**3/3 - d**2/2 - 7*d. Let q be h(2). Is (-36)/(-1) + 2 + q a composite number?
False
Suppose -4*o + 10 = -3*o. Is -3 - (o/15 - 4708/6) a prime number?
False
Let m be 3/(-2) + (-245)/(-14). Suppose t = 3*t + m. Let w = t - -150. Is w a prime number?
False
Let q be 10/(-4)*(-60)/75. Suppose 72 = q*c - 42. Suppose -c - 86 = -r + 5*t, r - 143 = 2*t. Is r a prime number?
False
Let w(j) = j - 2. Let c be w(5). Suppose -2*q = i + c*i - 614, 0 = -5*q - 2*i + 1511. Let l = 428 - q. Is l a composite number?
False
Let w(b) = -2*b**2 + 11*b + 8. Let x be w(6). Is x/(-8) - (-4719)/12 a composite number?
True
Suppose h = -4*f - 1886, h + 3*f + 9379 = -4*h. Let l = h + 7407. Is l prime?
False
Let i be (0 + 3)*2/(-6). Let t = 3 + i. Suppose -2*r - 3*v + 1094 = 0, 2*v + 998 + 116 = t*r. Is r a composite number?
True
Suppose 0 = -3*i + 44*i - 161335. Is i a composite number?
True
Let q(o) = -62*o + 63. Let u be q(-18). Let f = -47 - -216. Suppose b - 3*c = 259, 4*b + c + f - u = 0. Is b prime?
False
Suppose -3*u = -3*k - 30, -3*u = -6*u - 3*k + 6. Suppose q = j - 223, -2*q + u*q = j - 223. Is j prime?
True
Let w(x) = 997*x + 3. Is w(4) prime?
False
Suppose -s - f = 3*s + 32, 4*f = 16. Is -5 + 12*(-1506)/s a prime number?
True
Let q = -15 - -12. Let g = q - 129. Is (-6972)/g + 2/11 composite?
False
Let z = -14 + 15. Let w(y) = 4*y**2 + y. Let s be w(z). Suppose 0*v - 4*v = 2*n - 790, -2*n - s*v = -793. Is n prime?
True
Suppose -n + 10252 = 3*o, 4*o = 4*n - 44456 + 3496. Is n a prime number?
True
Let q = 97 + -94. Let v(d) = -d**3 + 6*d**2 - 5*d + 2. Let c be v(5). Suppose -5*z + z + 12 = 0, q*k - 501 = c*z. Is k a composite number?
True
Suppose -3*v - 5*k - 2029 = 0, 3*v - 4*k - k = -2009. Is (v/(-4))/(((-20)/(-16))/5) a prime number?
True
Let z = 13 + -10. Suppose -4*l - 5*r = 23, -z*r - 15 = l + 2*l. Let f(g) = 7*g**2 - 2*g - 1. Is f(l) prime?
True
Suppose -2570 = 5*p - t - 8069, -5*p + 5491 = t. Is p a composite number?
True
Let j be (22 + 2/(4/(-6)))*-1. Let n(b) = -20*b - 45. Is n(j) a prime number?
False
Suppose 7*a - 133881 = 2*a - 2*y, 0 = -2*y - 4. Is a a composite number?
False
Suppose 7*o - 20181 - 85918 = 0. Is o composite?
True
Let p = -2591 + 4379. Suppose l - 438 = -3*g - g, 2*g + p = 4*l. Is l prime?
False
Let k(a) = a**2 + 10*a + 6. Let l be k(-12). Let c = l - 23. Is c a composite number?
False
Suppose -j - 16 = -i + 3*j, 2*i = -3*j - 1. Suppose 2*z - 456 = -i*z. Suppose 371 + z = 3*m. Is m a prime number?
True
Let y = 53 + -48. Suppose 41 = r - 2*f - 780, -4*r = y*f - 3245. Is r prime?
False
Is 4/(-7)*(36799/2)/(-7) a composite number?
True
Let c(i) = -3*i**3 - i**2 + 4*i + 4. Let x be c(-2). Let w = 79 + x. Is w a prime number?
False
Let n(b) = -b**2 - 6*b + 7. Let o be n(-7). Let a = o + 77. Suppose -2*r - a = -3*r. Is r prime?
False
Is 13/117 + (-4368910)/(-45) composite?
True
Suppose 0 = 2*u + 21*u - 1197817. Is u a composite number?
True
Let c be (-13)/(-39) + (-98)/6. Let r be 2/2 - -1 - c. Suppose -2*v + r = -20. Is v a prime number?
True
Suppose 12 = 4*h - 4*z - 4, -4*z - 17 = -5*h. Let w be h/((-1)/24*-2). Suppose 812 = w*g - 8*g. Is g composite?
True
Let d = -73 - -48. Let x = -24 - d. Is (328 - x - -4)/1 prime?
True
Let s = 1684 + -234. Suppose -c - s = -5*k, 2*k - 201 - 371 = 2*c. Is k a prime number?
False
Suppose -30 = -5*v - 20, 2*v = -5*n + 54069. Is n a prime number?
False
Let i(h) = 2107*h + 4. Is i(1) prime?
True
Suppose -2*f = -3*p - 58234, 5*f - 71725 = -5*p + 73860. Is f prime?
False
Let t be (4/6)/((-6)/(-216) - 0). Suppose 0 = 4*x - t - 484. Is x a composite number?
False
Suppose -4*w = -3*w + 2*h - 1345, -4*w - 5*h + 5368 = 0. Is w prime?
False
Let u = -319 + 570. Is u a composite number?
False
Let w = 21 + -18. Suppose d - w*u = 4*d - 9, -5*d - 3 = -u. Is d + -1 + 353 + 3 a prime number?
False
Is (7186 - 0)*(-7)/(-14) a composite number?
False
Let d = -5 - -7. Let t be -3 + 355 + 1*d. Suppose -44 = 2*k - t. Is k a prime number?
False
Suppose 0 = -5*g + 6830 + 3950. Let w = g - 1277. Is w a prime number?
False
Let y be (-18)/(-4)*24/18 + 0. Suppose -4*r - r - 2958 = -3*t, -2*r + y = 0. Is t composite?
False
Suppose 2460 - 8612 = -4*c. Suppose -2*w = -4*w + c. Is w a prime number?
True
Let h(q) = 2*q**2 + 21*q - 6. Let n be h(-11). Suppose n*d - 3*l = 1663, -3*d - 1009 = -6*d - l. Is d prime?
False
Is (72/(-108))/(0 - 2/134859) composite?
False
Let m(h) = 158*h**2 + 35. Is m(6) prime?
False
Suppose 25048 = 9*x - 41489. Is x a composite number?
False
Let h = -14 - -19. Suppose -r = -h*r + 1724. Let y = r - 282. Is y composite?
False
Suppose 0 = -4*r - 2*k - 2804, -2434 - 390 = 4*r - 3*k. Let o = -364 - r. Is o a prime number?
False
Let a(v) = -v**2 + 6*v - 5. Let z be a(6). Let p be 100/z + 6/2. Let j(g) = g**2 - 5*g + 23. Is j(p) prime?
True
Let i(z) = 182*