 - 22. Is a(p) a composite number?
True
Suppose -4*d - 11*p + 96552 = -7*p, -4*d = 3*p - 96557. Is d a prime number?
False
Suppose -3*x - 2*u + 5*u + 16479 = 0, -10990 = -2*x + 3*u. Is x a composite number?
True
Let s(y) = 3*y**2 - 10*y - 119. Is s(-16) composite?
False
Suppose -4*z - 2*s - 3*s = -10067, -15 = -5*s. Is z prime?
False
Let r(w) = -w**2 - 7*w + 202. Is r(0) a composite number?
True
Suppose 3*x = x - y + 18, 4*y + 16 = 3*x. Suppose 0 = -x*f + 5*f + 537. Let s = f - 128. Is s a composite number?
True
Let o = -59 - -60. Let l(r) = 701*r**3 - r + 1. Is l(o) prime?
True
Let m(c) = c**3 + 37*c**2 + 33*c - 73. Is m(-36) a prime number?
False
Let l = 9 + -5. Suppose l*a - 420 = 88. Let h = -44 + a. Is h prime?
True
Is 0/(-2) + 16671/(3/1) a prime number?
True
Suppose 0 = 2*s - 10116 + 2562. Let a be 336/35 + (-2)/(-5). Suppose 7*u + s = a*u. Is u a prime number?
True
Let d(i) = 9*i + 5. Let q be d(-3). Let b = 22 + q. Suppose b*m = -3*m + 879. Is m prime?
True
Suppose 6*u = -5*f + u + 13880, 3*f - 4*u = 8293. Is f composite?
True
Let j(h) = 0 + 3 + 1 - 5*h - h**2. Let s be j(-5). Suppose i + 182 = 3*k, s*i + 143 = 2*k - i. Is k a prime number?
True
Suppose 0 = -6*k + 68 + 22. Let c = k + -14. Is c/(-3) - (-34826)/33 a prime number?
False
Let m = 22 + -18. Suppose -5*r - 5*p - 12 = -r, 0 = -2*r - m*p - 12. Suppose r*f + 3*g = 173, -3 + 6 = g. Is f a prime number?
False
Suppose 5*u - 35 = 2*m, -4*u = m - 10 - 5. Suppose p = -u*n - 570, 0 = 5*p + n - 4*n + 2962. Is 0 - (p - (-2 + -1)) a prime number?
True
Is (29643*(-3)/(-36))/((-2)/(-8)) a composite number?
True
Is 7/(1 + -2)*(-886)/2 a composite number?
True
Let a be (1 - (2 + -2))/(-1). Is ((-522)/24)/(a/4) a composite number?
True
Let t = 788 + 70. Is (2/6)/(13/t) a composite number?
True
Suppose -3*a + 2*a = 4*d + 18, d + 5 = 0. Let j(o) = 113*o + 98*o + a - 64*o. Is j(1) a composite number?
False
Let m = 3001 + -1344. Is m a composite number?
False
Is 1*311 + (-1)/1 + 1 a composite number?
False
Let v(g) = 1829*g + 3. Is v(14) a composite number?
False
Suppose 3 = -4*k - 5. Is (k - 32)/(6/(-21)) composite?
True
Is 55*(11 - 12648/(-10)) a prime number?
False
Let c = 546 - -1707. Suppose -5*q = 2*x - 1146 - c, 2*q - 2*x - 1354 = 0. Suppose -y = -2*y + q. Is y a prime number?
False
Let d = 5008 - 3299. Is d a prime number?
True
Suppose -5*n + 14790 = 5*m, -2*n + 5936 = 2*m - 4*m. Is n prime?
True
Let v be -4 + (-6)/((-12)/1598). Let f = v - 56. Is f a composite number?
False
Let n(o) = 540*o**2 - o + 38. Is n(-5) a prime number?
False
Let k(q) = -3 + 4*q - 2*q**2 + 2*q + 2 - 5*q. Let l be k(2). Let t(c) = 6*c**2 - 2*c + 9. Is t(l) composite?
False
Let t = 107 + -102. Suppose -t*a - 2*h + 5427 = 0, -h - 4352 = -2*a - 2*a. Is a prime?
True
Let w be 69/(4/(-6) + (-4)/(-24)). Let d = 227 + w. Is d composite?
False
Let h(u) = 204*u + 49. Let p be h(5). Suppose 5*f - x = -1325 + 4009, -2*f = -5*x - p. Is f a composite number?
True
Suppose 15*b = 18*b - 2088. Suppose -4*h - 5*f = -148 - b, -844 = -4*h - f. Is h composite?
False
Let f(k) = 3*k**2 + 4*k + 8*k + 1 + 3*k. Is f(-14) composite?
False
Let s(c) = 16*c**3 - 11*c**2 + 21*c + 11. Let i(p) = -3*p**3 + 2*p**2 - 4*p - 2. Let d(m) = -11*i(m) - 2*s(m). Is d(3) prime?
False
Let a(p) = 13 - 11*p + 8*p - 5*p. Is a(-9) a composite number?
True
Let s(b) = -7005*b + 43. Is s(-3) a prime number?
False
Let f be 52/(-4)*(1 - -2)*-6. Suppose 0 = o - 3*i - 1912 - f, 2*o = -4*i + 4302. Is o prime?
False
Suppose -3*o + 20 = 2*o. Suppose o*f - 3025 = -1029. Is f a prime number?
True
Suppose 2*n + 3*n = -3*x + 101, 4*n = -3*x + 100. Suppose 16 = j + 4*o - 0, -5*j - 4*o + x = 0. Is -6*j/(-8) + 124 a prime number?
True
Let h = -7 - -4. Let p be (2/(-8))/(h/36). Suppose -4*y = -4*o - 224, -2*y - 221 = -6*y + p*o. Is y prime?
True
Suppose -83*d = -79*d - 3980. Let u = -474 + d. Is u prime?
True
Let o = 23255 + -15202. Is o composite?
False
Let d = -25 - -27. Suppose -4*f + 2870 = -d*f. Suppose 8*b - f = 3*b. Is b composite?
True
Let u = 6966 - 4787. Is u prime?
True
Suppose -676 = -2*q - 2*p, 5*q = -p - 177 + 1883. Suppose 1268 = 4*w + 5*c, 0 = w - 2*c - q + 25. Is w prime?
True
Let o(h) = 3*h**2 + 17*h + 2. Let d be o(-6). Suppose 3*t + d*n - 7685 = 4*n, 2*n = 2*t - 5114. Is t composite?
True
Suppose -2*l + 0*l + 5*i = 14, -52 = 5*l - 4*i. Let z be ((-88)/l)/((-2)/12). Let d = -9 - z. Is d composite?
True
Let a = -32 - -31. Let j be a/4 - (-5)/4. Suppose 0 = -3*y + 4*p + 2849, -7 - j = -2*p. Is y composite?
True
Is ((616/(-10))/(-14))/((-2)/(-3035)) a prime number?
False
Let o = 196 + 15. Suppose -3*k + o = -173. Let h = 261 - k. Is h a prime number?
False
Suppose 0 = -3*i + 3*f - f + 49, -4*i = 3*f - 37. Suppose n - m = 1 - 0, -i = 2*n - 5*m. Let q(o) = 17*o**2 + 4*o + 5. Is q(n) a prime number?
True
Let a = -1634 + 22778. Suppose 5*i = 3701 + a. Is i prime?
True
Suppose 0*n + 10 = 2*n. Suppose -n*v + 3*v = -634. Is v prime?
True
Suppose -56*v + 2*v = -472662. Is v composite?
False
Let n(m) = -143*m - 24. Is n(-31) a prime number?
True
Let d(k) = 62*k**2 + 2*k + 6. Let g(i) = 125*i**2 + 4*i + 11. Let y(j) = -5*d(j) + 3*g(j). Is y(-2) a prime number?
False
Suppose -u + 7 = i + i, -i = -2*u + 4. Let a = -412 - 71. Is a/(-2)*i/3 prime?
False
Let b(x) = -4*x**3 - 7*x**2 + x + 8. Suppose -5*r = 3*n + 13, 2*n - r + 13 = -0*n. Let t be b(n). Suppose 0 = -v + 3*v - t. Is v a composite number?
False
Suppose 7*c + 1882 = 6551. Is c prime?
False
Let z = -39 - -47. Is -1262*((-20)/5)/z composite?
False
Let i = -95 - -172. Suppose 3*u = 2*u + i. Is u a prime number?
False
Let l = -1005 - -2341. Suppose l = 2*h - x - x, -2*x - 2682 = -4*h. Is h a prime number?
True
Suppose 15*l + 68046 = 37*l. Is l a composite number?
True
Is (34204/(-170))/(4/(-10)) prime?
True
Let b = -29591 - -48228. Is b prime?
True
Let p(x) be the third derivative of -x**4/12 + 4*x**3/3 - 17*x**2. Is p(-19) composite?
True
Is ((-15)/(60/(-5258)))/(2/4) composite?
True
Is (4 + -4)/5 + (-1 - -57624) prime?
False
Let w(l) = 5 - 354*l - 159*l - 13. Is w(-3) a composite number?
False
Suppose -17*c = -63624 - 91263. Is c a composite number?
True
Let g = -1398 + 3522. Let b = -715 + g. Is b a prime number?
True
Is -4 - 7/((-7)/4911) a composite number?
True
Let r(b) = -39*b**3 + 12*b**2 - 14*b - 86. Is r(-15) composite?
True
Let p be 2 - 0 - (-6)/3. Suppose p*v + 2*d = 1632, 5*v - 5*d = -883 + 2908. Is v composite?
True
Let l(x) = -673*x + 98. Is l(-20) composite?
True
Let l = -11000 + 18069. Is l a composite number?
False
Let g(f) = 6*f + 3. Let v be g(-1). Is v*1/9*-423 a prime number?
False
Let b = -329 - -66. Let a = -60 - b. Is a composite?
True
Let z = 1317 + -670. Is z composite?
False
Let s(t) = 16*t**2 - 2*t + 1. Let o be s(1). Let b = o - 12. Suppose -n - 665 = -b*l - 0*n, -4*l = 2*n - 880. Is l a composite number?
True
Suppose 489 = 7*y - 4*y. Is 2/((654/y)/1 - 4) a composite number?
False
Is 8 - (2 + 4) - 367*-3 prime?
True
Let n(d) = 796*d**2 - 81*d + 309. Is n(4) prime?
True
Suppose 0 = 6*w + w + 42. Let b(k) = -k - 3. Let j be b(w). Is ((-4)/j)/((-6)/207) a composite number?
True
Let g(m) = m + 4. Let p be g(-6). Let w be (3/p)/((-3)/10). Suppose 4*k = w*h - 773, 2*k + 625 = 4*h + k. Is h a composite number?
False
Suppose 0 = 256*m - 249*m - 249963. Is m a composite number?
True
Suppose 11*x + 12 = 14*x. Suppose x*d + 0*d = 2296. Suppose 2*r = -0*r + d. Is r a prime number?
False
Let k be (-2)/(-16) - 572/(-32). Let q be k/(-15)*100/(-15). Suppose -5*c + q*c = 78. Is c prime?
False
Suppose 121*d = 117*d + 5*f + 39234, -3*d - f = -29435. Is d composite?
False
Suppose 2230 = -3*o - 4*z, o + 2*z = -o - 1488. Let l be -3 - (-2 - 2*-198 - -3). Let c = l - o. Is c composite?
True
Let k be 10*-2*(-3)/6. Let q be (16/(-20))/(k/(-4475)). Suppose 2*j - 3*j + 70 = g, 5*g - 3*j = q. Is g a prime number?
True
Let q = -7 - -11. Suppose 0 = 4*n + 12, -p - 2*p + 393 = -q*n. Is p a prime number?
True
Suppose 5*j - 11 = -1. Suppose -2*t = 2*t - 12, t = j*l - 507. Suppose -3*u = -5*q + 772, u - l + 874 = 4*q. Is q a prime number?
False
Let p(g) = -7*g**3 - 14*g**2 - g - 35. Is p(-13) composite?
True
Let q(r) = -25*r - 5. Let c be q(-3). Let n be c/12 - (-5)/30. Suppose 0 = 2*d - n*d + 716. Is d a composite n