 prime number?
True
Suppose 0 = -3*s - 67 + 736. Is s a prime number?
True
Suppose -7 = -2*j + 3*l, -2*l + 13 - 35 = 3*j. Let v = -6 - j. Let x(d) = 13*d**2 - 2*d - 3. Is x(v) prime?
True
Suppose -3*i - k = -182 - 567, 0 = 2*i - 5*k - 522. Is i prime?
True
Let n be (-2)/(-4) + 6/4. Suppose 2*a + n*a = 556. Is a prime?
True
Let l = -3144 + 7111. Is l a prime number?
True
Is ((-98)/4)/(2/(-4)) prime?
False
Suppose 2*n + 853 = 103. Let l = n + 644. Is l a prime number?
True
Is 59/(-1 - (3 + -5)) a composite number?
False
Let o(n) = -10*n - 1. Let d be o(-8). Let r = 97 + -51. Let i = d - r. Is i composite?
True
Is (53271/(-18))/((-2)/4) a prime number?
False
Suppose -24 + 88 = 4*d. Suppose 3*y - d = -o, -y - 24 = -3*y - 4*o. Suppose -t - 117 = -y*t. Is t composite?
True
Let u(d) be the third derivative of -d**6/60 - d**5/30 - d**4/12 - d**3/6 + 2*d**2. Let a be u(-1). Is (19/(-4))/(a/(-12)) composite?
True
Suppose -3*h - m = 4*m + 11, -3*h - 2*m + 1 = 0. Suppose -32 = -h*j + 43. Is j a prime number?
False
Let o be 11/2 + (-6)/12. Suppose -4*v + 2091 = o*n, -2*v = 5*n + v - 2092. Is n prime?
True
Suppose 2*t + 40 = 4. Is (-61)/(-9) + t/(-81) a composite number?
False
Let v(m) = -m + 2. Let n be v(2). Suppose n = 3*u - 49 + 4. Suppose -5*x = -0*x - u. Is x prime?
True
Suppose -2*i + j = 3*i - 2260, 0 = 4*i + 5*j - 1837. Is i/4 - 2/8 a composite number?
False
Let a = 62 + 69. Is a a prime number?
True
Suppose -y = -2*y. Let a = 2 - y. Suppose a*f + 2*f = 316. Is f a prime number?
True
Suppose 0 = 4*j - 640 - 360. Suppose -4*m - 14 = j. Let b = m + 157. Is b composite?
True
Let o be -1 - (11 - (-9)/(-3)). Let s(r) be the first derivative of -5*r**2 - 11*r + 2. Is s(o) a prime number?
True
Let p(v) = -2*v + 6. Let j be p(4). Let o(x) = -9*x**3 + 2*x**2 - 2*x - 1. Is o(j) a prime number?
True
Suppose 77 = -l - 21. Let c = -178 - l. Is (-4 - -2) + (-1 - c) a composite number?
True
Is (-1*3/6)/(-1)*1226 a prime number?
True
Let g(c) be the second derivative of 0 - c + 2*c**2 - 7/6*c**3 - 2/3*c**4 - 1/20*c**5. Is g(-7) a prime number?
False
Let h(o) = 145*o**3 + o**2 + o - 1. Let n be h(1). Suppose 3*g - g = -4*a + n, 3*g - 197 = 5*a. Is g composite?
True
Suppose 4*p - 5*b = 222, -5*p + 3*b = 5*b - 294. Is p a composite number?
True
Let w = -31 + 68. Is w prime?
True
Suppose 15 = 4*h + h. Suppose -h*d = -8*d. Suppose d = -2*q - a + 9, 2*q - q + 5*a + 18 = 0. Is q a composite number?
False
Let y be (-24)/9 - 2/6. Is y + (-1 - -6) - -197 a prime number?
True
Suppose -3*o - o = -2*a + 6, -2*o + 2*a = 6. Let z be ((o - -2) + 1)*1. Suppose h - 254 + 94 = 3*t, 0 = z*t + 15. Is h prime?
False
Let g(b) = 249*b + 1. Let d be g(1). Suppose -x - x + d = -5*f, -x + 135 = -5*f. Is x composite?
True
Let s(d) be the second derivative of d**5/12 - 2*d**3/3 + 3*d**2/2 + 2*d. Let z(m) be the first derivative of s(m). Is z(5) a composite number?
True
Suppose 5*h + 110 = 5*b, 5*h = -4*b + 2*b + 23. Let q = b - 31. Is ((-4)/q)/((-1)/(-57)) prime?
True
Is (16614/(-14) - 8/28)*-1 a prime number?
True
Suppose 0 = 2*r - 5 - 1. Suppose -r*i + 4*t = i - 64, -24 = -i + 5*t. Is i a prime number?
False
Let z(m) = 13*m**3 - 11*m**2 + 19*m - 6. Let o(n) = 6*n**3 - 5*n**2 + 9*n - 3. Let i(x) = 9*o(x) - 4*z(x). Is i(3) a prime number?
False
Let q be -54*-1*(-318)/(-9). Suppose 0 = -5*n + 5*v + 2405, 7*n + 4*v - q = 3*n. Is n prime?
True
Let y(b) = -b**3 - 5*b**2 + 5*b - 7. Let x be y(-6). Let g(f) = -25*f**3 + f**2 + f. Is g(x) prime?
False
Let x = -13 - -7. Is (-81)/(-2) + 9/x a prime number?
False
Let v(l) = -4*l + 1. Let c be v(-3). Let p = 26 + c. Suppose -5*o + 51 = f, 4*o + 4*f - p = -o. Is o a composite number?
False
Let y(i) = -i**3 - i**2 - 2. Let m be 0/(-1)*(-2)/4. Let l be y(m). Is (55/l)/((-5)/10) composite?
True
Suppose f = x - 192, -2*x + 3*f = 2*f - 386. Is x a composite number?
True
Let a(q) = 2*q - 2. Let z be a(2). Suppose 4*w + r = 269, -z*r + 160 = 2*w + 30. Let m = w + -15. Is m prime?
True
Suppose -3*u + 29 = 5*d - 18, -2*u - 3*d + 30 = 0. Let y be (0 + (-15)/u)*3. Let x(f) = 7*f**2 + f - 7. Is x(y) a prime number?
True
Is (-15029)/(-49) + (-2)/(-7) a composite number?
False
Is -4 - -1 - (-1 - 141) composite?
False
Suppose -i + 4*b = -236 - 223, 4*i - 2*b = 1780. Is i composite?
False
Let z be (-3)/5 + (-18)/(-30). Suppose -5*a + 5*y + 310 = 0, 0 = 2*a + 5*y - z*y - 145. Is a a composite number?
True
Let o(n) = -333*n + 58. Is o(-7) a composite number?
False
Suppose -10*i = -17*i + 8057. Is i composite?
False
Let h(n) = 6*n**2 - 5*n + 1. Let c be ((-8)/(-28))/((-2)/(-28)). Is h(c) prime?
False
Let j(o) = o**2 + o + 36. Let v be j(0). Suppose -v = -g + 19. Is g prime?
False
Suppose t - 2 = 1. Suppose -3*g - 4*q + 2 = 0, 5*q - 6 = -5*g + q. Suppose -111 = -t*i + 3*b, 0 = -i - g*b + b + 37. Is i composite?
False
Let n = 59 - -340. Suppose 4 = -a - 3*w - 7, 5 = 5*a + 3*w. Suppose a*s + 35 = n. Is s a composite number?
True
Let o(y) = -8*y + 3607. Is o(0) a composite number?
False
Suppose -5*u = 5*z + 5, -z + 6 = -4*z - 4*u. Let k(q) = -4*q - 1. Let v be k(-1). Suppose z*m - v*m = -55. Is m a prime number?
False
Let j = 3 - 3. Suppose j = 2*b - 6*b + 8. Suppose -5*p + v = -57, 8 = -2*v - b*v. Is p a composite number?
False
Suppose 2*o = -0*o + 15536. Is (-4)/(-14) - o/(-56) a prime number?
True
Let t = -3 - -6. Suppose 5*b - 131 = t*n, 3*n + 99 = b - 16. Let c = -22 - n. Is c a prime number?
False
Let d be (-12)/(-4) - (295 + -1). Let p = d + 610. Is p a composite number?
True
Let o = 10765 + -6564. Is o a prime number?
True
Suppose -63 = 2*p - 5857. Is p a prime number?
True
Suppose -5*l - b = -13021, l + b = 2*l - 2609. Is l composite?
True
Suppose 12 - 4 = 4*v. Is -91*1/(1 - v) composite?
True
Let k be (-4)/(-10) + 324/15. Suppose u = -k + 81. Is u prime?
True
Let v(i) be the first derivative of -7*i**5/60 - i**4/8 + i**3/3 + 2. Let b(n) be the third derivative of v(n). Is b(-3) a composite number?
True
Suppose -4*h = 83 - 723. Suppose -4*q + 620 - h = 0. Is q a composite number?
True
Suppose 0*o + 5*g - 336 = -2*o, -628 = -4*o + g. Let p = o - 69. Is p prime?
True
Suppose 67*q - 1363 = 66*q. Is q a prime number?
False
Suppose -19 = 4*a + 5*q + 10, -15 = 3*q. Is a/(3/(-9)) + 290 composite?
False
Suppose 0 = -6*m + 7*m - 211. Is m composite?
False
Let d be 6/4*(-18)/(-27). Is (-11)/(-33)*(d + 266) composite?
False
Suppose -6*t + 318 = -348. Is t composite?
True
Suppose 2*u - 3*j + 17 = 90, 4*u = -5*j + 113. Let i be (2/2 + 0)*95. Let d = u + i. Is d a composite number?
False
Suppose 2 = -n + 4. Suppose 4*i = -n*x + 114, 5*i = -3*x - 0*i + 169. Is x prime?
True
Suppose -5*a + 25 = -h, h + 4*a - 2*a - 10 = 0. Suppose x = k - h*x - 81, 0 = 2*x - 2. Is k a composite number?
True
Let w = -483 - -848. Suppose -w = -3*s - 20. Is s prime?
False
Suppose -13*u - 5*u = -6714. Is u a composite number?
False
Let f be 24/(-15) + (-4)/10. Suppose -8 + 32 = 4*d. Let s = f + d. Is s a composite number?
True
Suppose -6*f + 25 = -f. Suppose -f*w = -3 - 52. Is w*3*(3 - 2) a prime number?
False
Suppose -x + 206 = u, 0 = 4*x + u - 959 + 144. Is x a prime number?
False
Let r(w) = -w + 2 + 73 + 4. Is r(0) composite?
False
Suppose 0 = -0*z + 2*z + 2. Let t = z + -1. Is (62/(-4))/(t/4) a prime number?
True
Is (1/2)/((-2)/(-508)) a prime number?
True
Let r = 1577 - 890. Is r a composite number?
True
Let u(w) = -3*w**2 + 4*w - 1. Let z(d) = 2*d**2 - 2*d. Let q(l) = 2*u(l) + 5*z(l). Let i be q(4). Suppose 0 = 4*t - i + 14. Is t a prime number?
False
Let k be 94/10 + 2/(-5). Suppose -t + 7 + k = 0. Suppose 0 = 5*m - 71 + t. Is m a composite number?
False
Let y(d) = 4*d**2 + 4*d - 1. Let f(n) be the first derivative of -n**4/2 + n**3 - n**2 + 3*n - 2. Let t be f(2). Is y(t) prime?
True
Suppose -4*v = -16, 8*w - 1580 = 4*w + 2*v. Is w a prime number?
True
Let l(g) = 48*g**2 + 13*g - 1. Is l(-6) composite?
True
Is (-5623)/((0 - 1)*(4 - 3)) a composite number?
False
Let h be (-4)/16 - 5/(-4). Let w(c) = 6*c. Let q be w(h). Let m(s) = 5*s - 5. Is m(q) a composite number?
True
Suppose -3*b - 2*b - 1462 = -3*c, -4*c + 1896 = 4*b. Is c a composite number?
False
Is -4*((-1)/3 - (-20478)/(-72)) composite?
True
Let r(a) = 18*a**2 + 6*a + 19. Is r(-10) composite?
False
Let t be (-7)/14 + (-2)/4. Is (t - 3