7712)/12 - 2)/((-8)/12) prime?
True
Let o(b) = -b**3 + 3*b**2 + 2*b - 3. Let d be o(-5). Let y = d + -108. Is y composite?
False
Suppose 0 = 5*y - 2*y - 12. Let z be 12/(y + -1) + -2. Is 2*(-1)/z - -98 a prime number?
True
Suppose 5*u - 3221 = -5*c + 18239, -c + 3*u + 4280 = 0. Is c a composite number?
False
Let y be (-3)/2*16/(-12). Suppose -2*l = y*l - 332. Is l composite?
False
Suppose 741 + 257 = 2*v. Is v composite?
False
Let n be (0 + 45/(-2))*-2. Let l be 3*5/(n/6). Let y = l + 17. Is y a prime number?
True
Let d = 1934 - 1347. Is d a prime number?
True
Let v(r) = 14*r**2 - 2*r + 1. Let x be v(3). Let o = -26 + x. Is o prime?
False
Let v = -4157 + 11574. Is v prime?
True
Let j(r) = 86*r - 3. Is j(8) composite?
True
Let x = -7510 + 11555. Is x a prime number?
False
Let z = 16 - 6. Suppose 8*k = z*k - 70. Is k composite?
True
Suppose -860 = -2*q - 98. Is q composite?
True
Let p be (0 - 1)/((-1)/3). Suppose -p*y + 80 + 25 = 0. Is y a prime number?
False
Suppose 261 = 19*n - 214. Is n composite?
True
Let w = 357 - 234. Is w composite?
True
Let b be 6/9*(-9)/6. Is 9 - 11 - (-226 - b) prime?
True
Let q = 20 + 3. Let z = 10 + q. Is z a composite number?
True
Let m(f) = 9*f**2 + 5*f - 1. Is m(-6) composite?
False
Suppose 0*w - 4 = 2*w. Let a be -15*(-8 - (-1 - w)). Is (-4)/8 - a/(-2) prime?
True
Let a(k) = 542*k - 3. Is a(2) a prime number?
False
Suppose -3*s - s = -1524. Suppose -h - 2*h = -s. Is h prime?
True
Suppose -591 = -4*d - 4*c + c, 0 = 3*d - c - 427. Let a = d - 49. Is a composite?
True
Let k(f) be the first derivative of -1 + 1/4*f**4 - 5/3*f**3 - 3*f + 3*f**2. Is k(6) prime?
False
Let s = 315 + 53. Let o = s - 225. Is o composite?
True
Suppose 15*w - 310 = 10*w. Is w a composite number?
True
Suppose 3*r - r - 1977 = -d, 3958 = 2*d + 2*r. Is d composite?
True
Suppose i - 1165 = 4*w, 8*w + 3516 = 3*i + 3*w. Is i a composite number?
True
Suppose 5*q - 295 = -2*b, -38 = -q - 5*b - 2. Suppose -2*i + q = 5*j, -3*j + i + 47 = -3*i. Let d = 36 - j. Is d composite?
False
Suppose -2*u - 3*u = -60. Suppose -n + 2*b + 4 + 5 = 0, -4*n = 4*b - u. Suppose -3*x + n*x = 46. Is x prime?
True
Let l = -140 + 267. Is l a prime number?
True
Let w = 128 + -81. Let g = 46 + w. Is g prime?
False
Let g(r) = -r**3 - 3*r**2 + 8*r - 5. Is g(-9) prime?
True
Suppose -8 = -v + 19. Suppose 10 + v = w. Is w a composite number?
False
Suppose 5 - 11 = -2*s. Let b = s - 5. Let t = 19 - b. Is t a composite number?
True
Let h(a) = 2*a**3 + 4*a**2 + 3*a - 4. Let o be h(-3). Let f(k) = -10*k - 78. Let l be f(-7). Let m = l - o. Is m a composite number?
False
Suppose a = -3*d + 22, -4*a + d = -2*d - 28. Let n = 19 - a. Is n a composite number?
True
Let l(v) = -7*v + 4. Suppose t + 3*c - 7*c - 5 = 0, 5*c - 20 = 5*t. Is l(t) a composite number?
False
Let z = -159 + 370. Is z prime?
True
Let m(d) = d + 8. Is m(6) composite?
True
Let y(z) = 3*z**2 - 9*z + 7. Is y(8) composite?
False
Let t(n) = -32*n**3 - 3*n**2 - 5*n - 5. Let c = 0 - 2. Is t(c) a prime number?
False
Let d be (10/4 - 3)*-46. Let u be (-2)/10*4*10. Let m = d + u. Is m prime?
False
Suppose h = -3, m + 242 = h - 0*h. Let z = -168 - m. Is z a composite number?
True
Is 2*-1*935/(-10) prime?
False
Suppose 0 = -2*i - 4 + 16. Let m = i - 12. Is (-45)/m*(-2)/(-1) prime?
False
Let z(h) = -h**3 + 5*h**2 + 2*h - 7. Let w be z(5). Suppose 2*b - 2*g - 56 = -0*g, -w*b = -5*g - 78. Is b a composite number?
False
Let t = 4 + 1. Let x = 6 + t. Is x a prime number?
True
Let h(p) = -p + 5. Let c be h(5). Suppose -3*q + 99 = -c*q. Is q a composite number?
True
Let t(p) = -2*p**2 + 12*p - 13. Let v be t(-12). Let m = -284 - v. Suppose -m = -2*j + 3*s, s + 78 = j + 2*s. Is j composite?
False
Let s = -236 + 534. Is s prime?
False
Let l(s) = 9*s - 8. Let p be -3 + -10*(1 - 2). Is l(p) composite?
True
Let x = 5 - 8. Let h be 1 + x - 236/1. Is ((-6)/12)/(1/h) a prime number?
False
Let g(m) = 2*m**3 - 4*m**2 + m - 1. Let f be 12/20*(1 - -4). Let u be g(f). Suppose x - h - 24 = 0, -x + 0*x = h - u. Is x a prime number?
False
Let z = -139 - -296. Suppose -z = -5*q + 138. Is q a prime number?
True
Suppose 2440 = 2*c + 3*c. Let o(j) = -j**3 + 5*j**2 + 4. Let s be o(5). Suppose -c = -4*k + s*g, -k + 102 = -0*k - 5*g. Is k a composite number?
False
Let z(c) = -c - 17. Let u be z(-7). Let o = u - 18. Let a = o + 81. Is a a prime number?
True
Suppose 83 + 281 = -2*y. Let r = 393 + y. Is r a prime number?
True
Let l = -1245 - -451. Is (-4)/(-6) + l/(-6) composite?
True
Let z = -39 + 196. Is z prime?
True
Suppose -4*f - 1605 = f. Let a = 476 + f. Is a a prime number?
False
Let u = 4 + 74. Suppose -2*r + u = r. Is ((-5)/(-2))/5*r a prime number?
True
Let x(w) = w**3 - 6*w**2 + 6*w + 6. Let k be x(5). Is k - 1 - 2 - -1 prime?
False
Let a(w) = 0*w**3 - 1 + w**3 + 6*w + 0*w + 11*w**2 - 6. Is a(-10) a composite number?
True
Is (-307)/2*2/(-1) a composite number?
False
Suppose -2*r = -4*r + 10. Suppose 9 = -4*m - r*b, -3*b + b = -2*m. Let n(s) = -35*s. Is n(m) prime?
False
Suppose -4*r - r = -335. Is r composite?
False
Suppose 12 = 4*j + 4*v, -3*j + 5*v + 0 = -1. Suppose 2*p = j*f + 264, 5*p - 179 = -4*f + 472. Is p a composite number?
False
Let t(m) = m**3 + 5*m**2 - 5*m + 2. Let g be -1 + 6/(-4)*2. Is t(g) a prime number?
False
Let q(i) be the third derivative of 13*i**5/30 + i**4/24 - 2*i**3/3 - i**2. Let f be q(-3). Let n = -130 + f. Is n prime?
True
Is (((-22)/3)/(-1))/(16/5736) a prime number?
False
Let m be (0 - -38)*(-5 - -9). Suppose m = -3*p + 635. Is p a prime number?
False
Let n(h) be the first derivative of 17*h**3/3 + h**2/2 - h - 2. Let m be n(2). Let f = -44 + m. Is f a composite number?
True
Suppose -19*s + 3*s = -11792. Is s a prime number?
False
Suppose 3976 = 4*c - 2*b, 2*c + 9*b - 6*b = 1980. Is c a prime number?
False
Let v = 903 - -1676. Is v a prime number?
True
Suppose -3*i = d - 4*d - 1380, 2*i + 4*d - 890 = 0. Let h = -192 + i. Is h composite?
False
Let i be (-20)/6 - 2/3. Let y(m) = 9*m**3 - 2*m**2 - 3*m + 3. Let j(s) = 17*s**3 - 4*s**2 - 6*s + 6. Let g(r) = i*j(r) + 7*y(r). Is g(-3) a composite number?
True
Let s = 0 - 3. Let q be (s - -3)*(-2)/4. Let z(v) = -v**3 + v + 13. Is z(q) a prime number?
True
Let k(m) = 73*m + 13. Is k(6) composite?
True
Let z = 338 - -221. Is z a composite number?
True
Suppose 0*s + 3*s = 63. Suppose -y - 2*y + s = 0. Is y composite?
False
Let z = -72 - -137. Is z a composite number?
True
Suppose -n - 2*n = -231. Suppose -5*a - n = -d - 0*d, 0 = d + 3*a - 93. Is d a prime number?
False
Let q(a) = 2*a**2 - 10*a + 15. Is q(7) a composite number?
False
Let o(x) = -7*x - 1 - 3 + 29*x + 3. Is o(1) a prime number?
False
Let c(x) = x**2. Let s be c(-2). Let a(f) = -1 + 2*f - s + 3*f. Is a(4) a composite number?
True
Let z be 2 + 25*3 + 0. Suppose 0 = v + 2*i - 35, -3*v + z = -v - 3*i. Is v prime?
True
Suppose -4*d = -6 - 6. Suppose 0 = 5*u - 20, 6*n - 4 = d*n - u. Suppose n = 3*z + z - 508. Is z a prime number?
True
Is (-6)/(-5)*(-1775)/(-10) a composite number?
True
Let d(w) = -12*w - 39. Let v(f) = 4*f + 13. Let o(n) = 4*d(n) + 11*v(n). Let m be o(-10). Suppose m + 8 = p. Is p composite?
True
Let c = -128 - -831. Is c composite?
True
Suppose 5*i - 8716 = i. Is i a prime number?
True
Let m be (-6)/(-8) + 15/12. Let r be 4 + (m + 0)*1. Suppose -2*i + r + 56 = 0. Is i composite?
False
Suppose -1495 - 5283 = -2*p. Is p composite?
False
Is (20 + -399)/(-1 - 0) a prime number?
True
Is 1*-11*(-4 - 1) prime?
False
Suppose -323 = -s - 3*x - x, 4*s + 2*x = 1292. Is s prime?
False
Let l(q) = 39*q - 4. Let r = 4 + -1. Is l(r) a composite number?
False
Is (0 + -2)*(-530)/4 composite?
True
Let n(b) be the third derivative of -7*b**4/24 - 7*b**3/6 - 5*b**2. Is n(-8) a prime number?
False
Let u(b) = 3*b**2 - 7*b - 10. Let f be u(-9). Suppose 4*w = 76 + f. Is w composite?
True
Suppose 0 = 6*r - 17 - 19. Is r a composite number?
True
Suppose 7*p = 3*p. Let r be (p/(-1))/(2 - 0). Suppose -4*b + 2*t = -138, r = 2*b - 2*t - 14 - 50. Is b a composite number?
False
Let y(p) = p**3 + 10*p**2 + 9*p + 3. Let i be y(-9). Suppose -4*l = 3*z - 393, 4*z - i*l = z + 393. Is z a composite number?
False
Let f(x) = x**2 + 9*x + 15. Is f(-21) a prime number?
False
Let g(r) = r - 1. Let u be g(2). Is (0 - 1 - u) + 181 a prime number?
