prime number?
True
Let c = -287 - -405. Let f = -84 + c. Is f prime?
False
Suppose -z = 4*z + 2*y - 4, -4*y = 12. Suppose 9 = i + 5*v, -4*i = -3*v - z - 11. Suppose 0 = -4*s + i + 20. Is s prime?
False
Let f(n) = n**2 + 6*n - 5. Let u be f(-6). Let m(o) = -4*o - 1. Is m(u) a composite number?
False
Is 3379/11 + (-10)/55 prime?
True
Is (-5090)/(-20) + 3/(-2) prime?
False
Suppose q + 10 = 5*l - 4*q, 3*l - 4*q - 5 = 0. Let z(k) = 2*k - 2. Let i be z(l). Suppose 3*g = 2*r + 247, -r - 332 = -i*g + r. Is g a prime number?
False
Let a be (-742)/21*(3 - 0). Suppose 4*v + 275 = -v. Let c = v - a. Is c a composite number?
True
Let k = 809 - 478. Is k prime?
True
Suppose -b = -6*b - 3*p - 41, b + 19 = 3*p. Let m be -2*(3 + b/4). Is (-124)/12*(m + -2) prime?
True
Let s(f) = 128*f + 13. Is s(3) a prime number?
True
Suppose 26 + 1029 = 5*n. Is n a prime number?
True
Suppose -18 = -5*i - 3*z + z, -4*i + 5*z + 21 = 0. Let r(y) = 2*y - 3. Let w be r(i). Let g(l) = -l**3 + 5*l**2 + 7*l. Is g(w) a composite number?
True
Let t(a) = 14*a**2 + 3*a - 2. Is t(3) composite?
True
Is (-707)/(-4 - (-6)/2) a prime number?
False
Let m be (-3 - -3 - 7) + 3. Let t(p) = -3 - 2*p - p - 3 + p**2. Is t(m) a prime number?
False
Suppose -181 - 290 = -3*s. Is s composite?
False
Suppose -5*a = -4689 - 1576. Is a prime?
False
Suppose 38*d - 35*d - 3741 = 0. Is d composite?
True
Suppose -2*l + 10 + 2 = -f, l = -f. Suppose l*a = -0*a + 584. Is a composite?
True
Suppose 11*t - 9*t = 358. Is t prime?
True
Suppose 3*z - 5*x - 70 = 0, 0 = 2*z + 2*x - 3*x - 42. Suppose 2*n = -2*n + z. Suppose -17 = -n*k + 908. Is k a prime number?
False
Let h(c) = -51*c. Let m be (-10)/8 - (-4)/16. Is h(m) a prime number?
False
Suppose -m - 2*m + 15 = 0. Suppose -m*w + 196 = 5*b - 209, 4*w - 310 = 3*b. Is w a prime number?
True
Suppose y + 3*y - 4*a = 8, 4*y - 2*a = 14. Suppose 249 = -y*z + 8*z. Is z composite?
False
Let f(s) = -1847*s + 15. Is f(-2) a composite number?
False
Suppose -4*q + 199 = -941. Suppose -4*y + g = -385, -y + 2*g + q = 2*y. Is y prime?
True
Suppose -3*o = n - 1391, 0 = -5*n + 8*n - 5*o - 4201. Is n a composite number?
True
Suppose -6*k = -2*k. Suppose k*u + u - 469 = 0. Is u prime?
False
Let r(d) = -d**2 - 3*d + 5. Suppose 4 = 4*a, -5*i - 8 - 22 = -5*a. Let h be r(i). Let t(g) = 2*g**2 + 7*g. Is t(h) composite?
True
Suppose 0 = -4*n - 0*n. Suppose -4*t - 10 + 2 = n. Is 108/8 - 3/t a composite number?
True
Let l be (-2)/(-5)*(9 - -1). Suppose -5*g + 25 = 0, h + l*g = 3*h - 186. Is h a prime number?
True
Let c = -260 + 981. Is c composite?
True
Let b = 41 + -22. Is b composite?
False
Let l be (26/2)/(1 - 2). Is -1*(l + 2) + -1 prime?
False
Suppose -16 + 67 = s. Is s a prime number?
False
Suppose 2 = r + k, -2*r + 4*k + 10 = -12. Suppose 0 = -4*n + 11 + r. Let z = 5 + n. Is z composite?
True
Let h(i) be the third derivative of -i**5/60 + 3*i**4/8 + 5*i**3/6 - 2*i**2. Let r = 13 - 6. Is h(r) composite?
False
Suppose 7*y - 3*y = 16. Suppose 0 = -2*o + y*d - 81 + 359, -5*o = 5*d - 770. Is o composite?
False
Let r(d) = 486*d - 1. Suppose 0 = -4*x + 4. Let n be r(x). Suppose 3*b = -2*b + n. Is b a prime number?
True
Let x(f) = 37*f - 3. Let a(l) = l + 7. Let y be a(-5). Is x(y) a prime number?
True
Is ((-9)/9)/(3/(-42843)) prime?
True
Suppose -4*m + 2*m = 62. Is 3 + (2 - (-1 + m)) a prime number?
True
Suppose 0 = 2*n - 29 - 31. Suppose 2*i + 0*i = n. Is i composite?
True
Let o(i) = 681*i**3. Let c be o(-1). Is c/(-27) - (-4)/(-18) a composite number?
True
Suppose 0*b + 4 = 2*b. Suppose -b*m = -85 - 269. Is m a composite number?
True
Let f(l) = -l + 7. Let z be f(4). Suppose p + p + 8 = -2*t, t + 12 = -z*p. Suppose -3*s + 5*j = -74, -4*s + t*s - 2*j + 142 = 0. Is s a composite number?
True
Is ((-10)/4)/(10/(-220)) a prime number?
False
Suppose -4*i = 1 + 3, -5*p = -i - 2961. Suppose -225 + p = 5*w - g, -3*g = -4*w + 287. Is w prime?
False
Suppose 11 - 3 = 4*l. Is (21/(-9))/(l/(-18)) prime?
False
Let d = -132 + 1483. Is d a prime number?
False
Suppose 0 = -2*c + 3*b + 51, -3*c + 0*b = -b - 94. Is c a composite number?
True
Suppose -o = 5*m - 430, -3*m - 6*o + 2*o = -275. Is m composite?
True
Let u be 2/(-8) - 285/(-4). Let z = 288 - u. Is z a prime number?
False
Let b(y) = -y + 1. Let d be b(1). Suppose d = -2*s + 4 - 0. Suppose -1 = s*t - 4*g + 5, 0 = -t + 5*g - 18. Is t a prime number?
True
Suppose 7 = -2*l + 3*r, -2*l = -r + 5*r - 28. Suppose 0 = -4*y + l*p + 492, -392 + 23 = -3*y + 2*p. Is y a composite number?
True
Let x(t) = 21*t**3 - 2*t**2 - 3*t + 2. Let u be x(2). Let d = -7 + u. Is d a prime number?
True
Let r be (9/3)/(6/4). Suppose 2*l = -2*j + 376, l + 2*l = r*j - 391. Suppose -c + 4*w - 3*w + 40 = 0, -5*c = -2*w - j. Is c a prime number?
True
Let u = -7 - -194. Is u a prime number?
False
Let q(b) = -12*b - 7. Let w(r) = r**3 - 4*r**2 - 5*r - 7. Let t = 5 + 0. Let u be w(t). Is q(u) composite?
True
Let a(b) = -b**2 - 17*b + 19. Is a(-16) prime?
False
Is -2 + 20550/12 + 2/4 prime?
False
Suppose 2*h - 4 = -5*a, 2*a - 7*a + 22 = -4*h. Is h/((-6)/(-4)) + 21 a prime number?
True
Suppose 9*c - 8*c = 0. Suppose -t + 5*t - 748 = c. Is t prime?
False
Let r be (-10)/(-2 + -3 + 3). Suppose -n = -6*n + r*c + 795, -5*n = -2*c - 789. Is n prime?
True
Suppose -z - 20 = -3*z. Is z a composite number?
True
Let b = 4682 + -3045. Is b composite?
False
Is 4/(-8) + 63/2 prime?
True
Let g(l) = -4*l**2 - l - 2. Let x be g(-3). Let a = 49 + x. Is a a composite number?
True
Is ((-22)/(-33))/(-2 - (-944)/471) a prime number?
True
Suppose 3*a + 464 = 4*c, -3*a + c - 434 = 3*c. Let j = a + 233. Is j a prime number?
False
Let o(r) = 41*r**2 - 6*r - 8. Is o(-3) a prime number?
True
Let t(m) = -2 - 3 - 4*m + 1. Let n be t(-7). Suppose 4*h + 4*c - n = 0, -2*h + 11 = -4*c - 7. Is h composite?
False
Let h(s) = -s**3 - 8*s**2 - 2*s - 10. Is h(-8) a prime number?
False
Let y be (-2942)/(-8) - 3/(-12). Suppose -2*f = -5*n + 1285, -5*n + 3*f + 1653 = y. Is n prime?
True
Suppose -3*r + 75 = -0*r. Suppose r = 5*b - 5. Is b a composite number?
True
Let y = 4230 + -797. Is y a prime number?
True
Suppose 0 = 3*n + 2*n + 5. Let z(m) = -14*m - 1. Is z(n) a composite number?
False
Suppose -4*g + 37 = -1287. Is g a prime number?
True
Suppose -4*g - 3232 = s - 5*s, -s - 4*g + 783 = 0. Is s prime?
False
Let f(n) be the second derivative of -4*n**2 - 5/6*n**3 + 4*n + 0. Is f(-6) a composite number?
True
Let w(f) = 211*f. Let a be w(3). Is 20/50 + a/5 a prime number?
True
Suppose -2*y + 3*w = -1767, 0*w - 4*w - 3528 = -4*y. Is y prime?
False
Let b be ((-3)/(-2))/((-3)/4). Is ((-228)/(-8) + b)*2 prime?
True
Let v(x) = -x**3 - 9*x**2 + 9*x - 13. Let h be v(-10). Let u(b) = -211*b - 2. Is u(h) a composite number?
False
Let m(u) be the second derivative of -5/6*u**3 - 3/2*u**2 + u + 0. Is m(-5) a prime number?
False
Suppose -8*u = 114 - 410. Is u a composite number?
False
Let x(s) = 205*s**2. Is x(-1) prime?
False
Let c = -17 + 21. Suppose x = -c*x + 2495. Is x a composite number?
False
Suppose -5*m + 4*u + 899 = 0, -5*m + 0*m + 891 = 4*u. Is m composite?
False
Suppose 0 = 4*r, 3*r = 5*l - 3*l - 986. Is l a prime number?
False
Let t(g) = g**3 - 5*g**2 + 5*g + 3. Let i(w) = -w**3 - 6*w**2 - 5*w + 1. Let k be i(-5). Suppose -k = -p + 3. Is t(p) a composite number?
False
Suppose -77*u + 472 = -73*u. Is u prime?
False
Let t(y) = 20*y**3 + 4*y**2 - 2*y - 1. Let p be t(3). Let n = p - 307. Suppose 75 = l - 4*j, 0*l + 4*l = -3*j + n. Is l prime?
True
Let m = -70 - -363. Is m a composite number?
False
Let n = -3 + 3. Let k(f) = f - 1. Let a(j) = j**2 - 5*j + 59. Let t(w) = a(w) + 4*k(w). Is t(n) a composite number?
True
Suppose 5*c + 15 = 4*x - 16, 0 = c - 2*x + 11. Is 0 - c - (0 + 0) a prime number?
True
Let b(d) = -10*d**2 - d. Let y be b(1). Let o(v) = -11*v - 8. Is o(y) a composite number?
False
Suppose -391 = -f - 86. Is f composite?
True
Suppose -313 = -s - 2*c, -s - 4*c + 322 = -5*c. Is s a composite number?
True
Let k(m) = -m**2 - 6*m - 4. Let y be k(-4). Is 8/y*(-158)/(-4) prime?
True
Let y(i) = -52*i + 3. Let f be (-25)/(-6) - 4/24. Suppose 0 = -g - 0*g - f. Is y(g) a composite number?
False
Suppose 0*o = 5*o - 655. Is o composite?
False
Suppose 0 = -2*w - 4*d, -5*d - 6 = 4*w - 0. Is (-2)/w*382*1 a composite number?
False
Is 231