a prime number?
True
Let c(w) = 58*w**2 + 32 + 10*w - 34 - 14*w**2. Let p be c(8). Let d = p - 1221. Is d prime?
False
Let z be ((-30)/(-25))/(6/20). Suppose 0*n - 4*n - 12 = -z*i, 5*n + 23 = -3*i. Is 96 - n/(-4)*1 composite?
True
Suppose -4*r - 2*t = -28, 0 = 3*r - 5*r - 5*t + 30. Suppose -m - 2824 = -r*m - 4*o, -1 = o. Is m a composite number?
True
Let k(o) = 306*o + 6. Let l(s) = -305*s - 5. Let w(z) = -6*k(z) - 7*l(z). Is w(16) a prime number?
True
Is (-1)/4 + (-12442)/(-8) prime?
False
Let x(a) be the first derivative of 7*a**4/12 - 5*a**3/6 + a**2 - 6. Let o(f) be the second derivative of x(f). Is o(11) composite?
False
Is (-9)/(-6) - 74795/(-2) a prime number?
False
Suppose 5*j = 2*a - 977, j = -5*a + 1805 + 597. Suppose k - 22 = a. Is k prime?
True
Let f be -1*5 + 5 + -2. Let h be -10 - 4/(-8)*f. Is (h/(-6))/((-2)/(-12)) a prime number?
True
Let n = 43 + 26. Suppose -7*b + 3*q + 271 = -3*b, 0 = -b + 2*q + n. Is b prime?
True
Let c(g) = 44*g - 18. Let a be c(10). Let m = a + -274. Let s = m + 541. Is s composite?
True
Let j(y) = y**2 + 6*y - 13. Let n be j(-8). Is 0 - (n - (-3 + 511)) prime?
False
Let u(v) = -3 + 16*v - 4 + 5*v. Suppose -5*j + 40 = 2*m, 11*m - 55 = -5*j + 6*m. Is u(j) composite?
True
Let s(a) be the first derivative of 13*a**3/3 + 3*a**2/2 + 3*a + 4. Suppose 5*z - k = -6, -3*z + 2*z - 14 = 3*k. Is s(z) composite?
True
Let n(x) = -9*x**3 - x**2 - 5*x + 4. Let u = -12 - -18. Suppose -k - k = u. Is n(k) a composite number?
True
Suppose -4885 = -4*n - 1381. Is (7 - 3) + (n - 3) a prime number?
True
Let b = -12 + 12. Let c(n) = 2*n + 9. Let i be c(9). Suppose b = z - 12 - i. Is z prime?
False
Let f(k) = k**3 - k + 4. Let p be f(0). Suppose 2*j = p*t - 1956, -3*j + 7 = 2*t - 955. Is t composite?
False
Suppose 2*f = 3*m + 398, 244 = -2*m - 2*f - 2*f. Let o be (-75550)/m + (-4)/26. Suppose 4*l + 0*w = -w + o, 2*w + 6 = 0. Is l a composite number?
True
Suppose 0 = -9*u + 7*u + 3278. Is u a composite number?
True
Let u = -781 - -1322. Is u composite?
False
Let p(r) = -4*r - 6*r - 8 + 3*r. Is p(-3) a composite number?
False
Let n(a) = -21*a**2 - a + 10. Let x be n(-8). Let z = -753 - x. Is z composite?
True
Let x(o) = 14*o**2 + 4*o + 11. Let g(i) = -3*i**3 - i**2 + 4*i + 4. Let d be g(-2). Is x(d) a composite number?
False
Let x(v) = 5*v**2 + 3*v - 2. Let c be x(3). Let k be (-7 + 4)*c/3. Is (k/(-6))/(4/102) composite?
True
Is 30545/287 - 9/21 prime?
False
Is 377734/4*(-8)/(-56)*2 composite?
False
Let u(d) = d - 18. Let z(m) = -3*m + 35. Let h(x) = -5*u(x) - 2*z(x). Let a be h(-15). Suppose -5*r - 5*q + 59 = -121, -a*r = 3*q - 182. Is r prime?
True
Is 1/(4/4590) - (-67)/(-134) a composite number?
True
Let w(f) = -f**3 + 5*f**2 - 5*f + 2. Let d = -11 + 14. Let k be w(d). Suppose -z + 462 = 3*y - 4*z, k*y - z = 774. Is y prime?
False
Suppose 2*o + 3 = -5*i + 3*o, -i - 5*o = -15. Suppose i*y + 5*y - 15 = 0. Is 770/y - (-2)/6 a prime number?
True
Suppose 0 = -2*v - 18 - 0. Let x be (2 + 4*v)*-14. Suppose -14*p = -18*p + x. Is p prime?
False
Let b(u) = -1 - 18*u + 20*u + 79*u**2 - 22*u**2. Is b(4) a prime number?
True
Suppose 3728 = 4*b + 4*k, 3*b + 3*k + 2*k - 2798 = 0. Let p = 2914 + b. Is p a prime number?
False
Suppose -16 = 4*g, 216 - 14372 = -4*q - 4*g. Is q a composite number?
True
Let f(j) = -66*j - 1. Let b = -38 - -36. Is f(b) a composite number?
False
Suppose 29 - 19 = 5*w. Suppose w*t = 4*t - 106. Is t prime?
True
Let i(z) = -5*z**3 + 16*z**2 - 6*z + 10. Let u(d) = -14*d**3 + 48*d**2 - 18*d + 31. Let p(v) = -11*i(v) + 4*u(v). Is p(13) a composite number?
False
Suppose -5*j = -2*g - 65, -3*g = -2*j + 2*g + 5. Suppose 12*i = j*i - 177. Is i composite?
False
Is 2867205/220 + (1 - 9/12) a prime number?
True
Let m be (-624)/(-36) - 4/(-6). Let h be (6/m)/((-1)/(-42)). Is h + 22 - (0 + -1) a composite number?
False
Suppose -4*w = 5*x + 1113, -3*x = -3*w + 550 + 134. Is (5 + -6)*(2 + x) composite?
False
Suppose 4*l = -5*l + 3267. Suppose -2*h - 141 + l = 0. Is h composite?
True
Suppose 8*x - 3*x + 5*b - 16900 = 0, 4*x = -3*b + 13525. Suppose 5*r + 2750 = -x. Let m = r - -1780. Is m a prime number?
False
Suppose 12 = 4*r - 4. Is (r - 2)*111 + 1 prime?
True
Let a(z) = 77*z**2 - 13*z - 5. Let h(o) = o - 25. Let w be h(20). Is a(w) prime?
False
Is ((-2)/(-4))/((-7)/(-4634)) prime?
True
Is 4397350/70 + (6 - (-264)/(-42)) a prime number?
True
Let c = -1097 - -1684. Is c composite?
False
Let t = -14 - -14. Suppose 28893 = 5*n - 2*w, n + 5*w - 1643 - 4141 = t. Is n a composite number?
False
Suppose -55*n = -75*n + 14260. Is n a prime number?
False
Suppose -15808 = -3*b - 5*y, -3*b + 29*y + 15778 = 28*y. Is b prime?
True
Let p = -43 + 45. Suppose n + p*m - 79 = 0, 0 = 4*n + 5*m - 428 + 127. Is n a composite number?
True
Let z(o) = o**3 - 55*o**2 - 75*o + 35. Is z(64) prime?
True
Let v = -3098 - -12879. Is v composite?
False
Suppose -12 + 0 = -3*z - 2*y, -2*y = -2*z - 2. Suppose -1487 = -z*q + q - 3*d, 2970 = 2*q + 4*d. Is q a composite number?
False
Suppose 52 = 9*u - 5*u. Let j = 15 - u. Suppose 0*m = j*m - 6. Is m a composite number?
False
Let u(f) = -f**3 + 6*f**2 - 4. Let m be u(6). Let s be 0 + 0*(-2)/m. Suppose -2*n + s = -94. Is n composite?
False
Let v = -82 - -82. Suppose -u + 3*g + 73 = v, u = -g - 14 + 95. Is u a composite number?
False
Let b be (6 - 2) + (2 - 2). Suppose -q = b*q. Suppose 3*h - 775 + 202 = q. Is h a composite number?
False
Let s be 4 + (-46)/12 - (-49727)/6. Suppose -1651 = -c - 2*f, -5*c + s = -0*f - f. Is c prime?
True
Let a = -6 + 11. Suppose -3 = a*z + 2. Is 66/(2 - -1) - z a prime number?
True
Let x = -31 + 54. Suppose 0*b - 2*b + 5 = 3*w, 5*w = 4*b + x. Suppose 771 = -0*k + w*k. Is k prime?
True
Let y(h) = -h**3 - 2*h**2 + 7*h + 7. Let d be y(-2). Is ((42/(-12))/d)/((-2)/(-36364)) composite?
False
Suppose 358 = -4*v - 262. Let j = 1 + v. Let b = j - -357. Is b prime?
False
Let t be (-842)/8*(-812)/7. Suppose -5*f - 2*c + t = 0, 5*f = -0*f + 3*c + 12199. Is f a prime number?
True
Let r(i) = 55*i**2 + i. Suppose 3*u + 3*d + 12 = 0, 3*u + 2*d = -6 - 1. Let z be r(u). Is (-1441)/(-5) + z/70 composite?
True
Let c(r) = -r**3 - 2*r**2 + 3*r. Let g be c(-3). Suppose 0*l + 4*l - 5*h = -292, g = -5*l + 4*h - 374. Is 0 - 2 - l/6 composite?
False
Suppose -5*w - 9199 - 1694 = -4*r, -2*w - 2 = 0. Is r a composite number?
True
Let w(u) = 40*u**3 + u + 1. Let d be w(-2). Let r be 0 + 0 + (2 - 1). Is d/(-6) + r/(-2) a prime number?
True
Let y = 718 - 346. Suppose -58 - y = -2*u. Is u a composite number?
True
Suppose -2*m = b - 16, 0 = -5*m - 5*b + 52 - 17. Suppose m*u - 8*u - 219 = 0. Suppose -28 + u = g. Is g a prime number?
True
Suppose 2*d - 83876 = -3*l, -2*d + l + 88673 - 4789 = 0. Is d a composite number?
False
Let v(k) = 1 + 0 - k + 3*k**2 + 6*k + 2. Is v(-10) composite?
True
Suppose -5*j + 10*j - 110 = 0. Suppose 3*s = -4 + j. Is (-3)/(-6) + 33/s prime?
False
Let h(f) = -f**3 - 2*f + 5. Let z be h(4). Let y = 186 - z. Is y a prime number?
False
Suppose -2*b - 4*l = -8, -2*b + 8 = -l + 2*l. Suppose 4*m - 2*m = b. Suppose -213 = -3*q - 2*r + 334, q - m*r - 177 = 0. Is q a composite number?
False
Suppose -q - 4 = -5*q. Suppose 4*c = 5*o + q, -2*o - 1 = 4*c - 23. Suppose 81 + 3 = c*k. Is k a composite number?
True
Let u be (-8)/(-28) + (-64017)/7. Let m = u - -13296. Is m prime?
False
Let l(v) be the third derivative of 3*v**5/10 - v**4/24 - v**3 + 4*v**2. Is l(-3) composite?
True
Is 6047 + (4 + -1)/(1/2) composite?
False
Suppose 124 = -2*k - 0*k. Let g = 27 - k. Is g a prime number?
True
Let n(x) = 131*x + 12. Let w be n(-7). Let d = w - -1312. Is d composite?
True
Let p(d) = d - 4. Let r be p(7). Suppose -r*m + 0*m = -6. Suppose -2*u = m*h - 430, -4*u = -6 - 10. Is h prime?
True
Let n be -15*((-116)/5 + 1). Let x = n - 591. Let j = 385 + x. Is j prime?
True
Let y = 2030 + 341. Is y a prime number?
True
Let s be (10 - 9)*2*-1. Is s/(-4) - (-385)/10 a composite number?
True
Let s be -4*-3*2/4. Suppose -4*g = 4*k - 84, 2*k + 50 = 2*g + s*k. Suppose -3*d + 57 = -5*w - g, d + 4*w = 19. Is d prime?
True
Let i = -705 + 369. Let y(w) = -816*w - 1. Let q be y(-1). Let n = i + q. Is n a composite number?
False
Suppose -65*v + 147246 = v. Is v a prime number?
False
Let t(q) = -q**2 + 14*q + 10. Let p be t(14). Suppose 3*n