
Suppose -265*p + 261*p + 46444 = 0. Is p a composite number?
True
Let i be (-9)/((-54)/(-24)) + 616. Let y = i - 319. Is y prime?
True
Suppose 144 + 73 = 7*r. Suppose 111 = 2*o + r. Is (o/(-20))/(2/(-257)) a prime number?
True
Suppose 4 = 5*x - 6. Suppose 2*d = -x*d + 812. Is d prime?
False
Is (-4)/(-14) - 4/((-56)/15690) a prime number?
False
Let t = -7 - -2. Let v(w) = w**2 + 5*w. Let i be v(t). Is -3 - -137 - (i + 1) a prime number?
False
Let a(o) = 168*o + 191. Is a(26) a composite number?
True
Let a = 7 - 3. Let z be (0 - a)/((-4)/4). Suppose -z*j + 997 = 4*f + 253, 3*j + 15 = 0. Is f composite?
False
Suppose 4*h + 2*w - 1982 = 0, 4*h + 0*w - 1985 = w. Let q = h + -245. Is q a composite number?
False
Let o(j) = j + 3. Let w be o(-3). Let h be 8 - (w + 6 + -3). Suppose -3*z - 2*v + 83 = 0, -h*v = 7 + 18. Is z composite?
False
Let k be (-3 + 7)*3/6*-29. Suppose -3*p + 4*n + 9 = 0, -5*p + p - 5*n - 19 = 0. Is (p - -7)*k/(-4) composite?
True
Suppose -x = 5*c + x - 273, x = c - 56. Let q(j) = j**3 - j**2 - j. Let n be q(2). Let t = c - n. Is t prime?
True
Suppose 0 = 4*z - z - 15. Let f be z/(10/(-4)) + 23. Suppose 3*v + 2 = 3*s - 46, 2*v + f = s. Is s composite?
False
Let l be 39/12 - 1/4. Suppose l*j + 2*r = 3*r - 160, 2*r = 4*j + 212. Let p = 91 + j. Is p a composite number?
False
Suppose r - 2*b + 6*b - 50 = 0, 0 = -r - 3*b + 47. Let o = r + 593. Is o a prime number?
True
Suppose -4*c + 6*c - 6 = 0. Suppose -a + c*a = 3*m - 27, -5*a + 5*m = 65. Is 10 + a + 1222 + -1 prime?
False
Let i be (46/8)/((5/(-5))/12). Is (770 + 1)/(i/(-161)) a composite number?
True
Suppose 4*a - 11355 = -v, 33*v + 8518 = 3*a + 32*v. Is a a composite number?
True
Let k = 20027 + -8164. Is k a composite number?
False
Let i = 16333 - 10956. Is i composite?
True
Let f = 29041 + -12164. Is f prime?
False
Suppose -8*s + 7*s + 83 = 0. Let o = s - 46. Is o prime?
True
Let b = 45384 + -29933. Is b composite?
False
Suppose 2*l - 6*l = -264. Let g be (-2)/11 - (-7800)/l. Suppose -3*u - g = -997. Is u prime?
True
Suppose 13*q = -6*q + 36689. Is q a prime number?
True
Let b(a) = 57*a**2 - a - 7. Let r be b(-4). Let j = -508 + r. Is j composite?
False
Let q = -9931 - -24630. Is q composite?
False
Let m be (1 + -2)/((-3)/(-15))*-35. Suppose 104 = -0*j + 2*j + 4*b, -5*b = j - 58. Let w = m + j. Is w composite?
False
Let g = 13198 - 4395. Is g a composite number?
False
Let i = -18 + 16. Let q be i/(-7) - 11202/(-42). Let a = 410 - q. Is a composite?
True
Is ((-1)/(-5))/(29/152105) a composite number?
False
Suppose -2*c - 2578 = -5*w, -4*w - 2*c - 1546 = -7*w. Suppose 0 = 8*g - 4*g - w. Is g a composite number?
True
Let g = -40 + 60. Let d be (-44)/20 - (-4)/g. Is d - 2*(-1444)/8 composite?
False
Suppose 0 = 5*u + 6*u - 36454. Is u composite?
True
Is -5*6172/(-20)*1 composite?
False
Suppose 0 = -5*w + 41 - 56. Is 4 + 1/(w/(-225)) composite?
False
Let x(d) = 6*d - 6*d - 5*d**2 - 2 - 4*d + d**3. Is x(6) a prime number?
False
Let a = -82 + 84. Is (106/a)/(1 + (-40)/44) a composite number?
True
Let a = 11243 + -2580. Is a a prime number?
True
Let n(y) = 5 - 7*y - 11*y + 3. Is n(-11) prime?
False
Let d be (-6)/15 - 12/(-5). Let m(u) = u + 23. Let b be m(-20). Suppose -b*w = d*w - 325. Is w a prime number?
False
Let f(g) be the first derivative of 45*g**2 - 23*g + 9. Is f(11) a composite number?
False
Suppose 2*z = 7 - 31. Is 68/z*-3*(30 + -1) prime?
False
Let j(o) be the third derivative of 0 + 0*o - 1/24*o**4 + 0*o**5 + 0*o**3 - 4*o**2 + 47/60*o**6. Is j(1) prime?
False
Let x(d) = -d**3 + 7*d**2 + 5*d + 4. Let k be x(8). Let q = k - -22. Suppose 4*o + q*f - 39 = -f, o + 14 = 4*f. Is o a composite number?
True
Let q(a) = 4*a - 24. Let y be q(7). Suppose 3*u - 2742 = 5*h, -u + y*h - 6*h = -925. Is u a composite number?
False
Suppose -a + 435 = -0*a. Suppose g - a = -88. Is g prime?
True
Suppose -5*j - 12 = -2*x + 12, 0 = 2*j + 8. Suppose -u + 2*z = -2*u + 423, 0 = -2*u + x*z + 834. Is u a composite number?
False
Let d(n) = 101*n**2 - 33*n + 71. Is d(7) a composite number?
False
Let v(c) = -3*c**3 - 3 + c**2 + 2*c**2 - 3*c**3 + 11*c + 5*c**3. Let g be v(5). Is 5958/27 - g/(-6) a prime number?
False
Let m(q) = -q**2 + 7*q - 4. Suppose x + 5*j + 14 = -0*x, 2*x - 4 = -2*j. Let l be m(x). Is (1*235)/(2/l) a composite number?
True
Let n(i) = -3*i**2 + 4*i - 8. Let u be n(-15). Let g = 614 - u. Is g composite?
True
Is -3*(-71425)/15*1 a composite number?
True
Suppose -z = -3214 + 935. Is z composite?
True
Suppose k + 16*g - 40 = 21*g, -3*g - 266 = -5*k. Is k prime?
False
Let i = 20 - 23. Is 1/i + (0 - 5848/(-12)) a prime number?
True
Suppose -41866 = 6*y - 159076. Is y prime?
False
Suppose 0 = -3*v + 26*k - 27*k + 360, 2*v + 2*k - 236 = 0. Is v composite?
True
Let o be (-26)/91 + 5/(-7). Let i be 0 + o - (-3 - 320). Let u = i - 65. Is u a composite number?
False
Is (3 + (-2211)/(-6))/((-1)/(-2)) composite?
False
Suppose w = -3*u + 2206, 6*u + 6605 = 3*w + 2*u. Is w a prime number?
True
Suppose 8*m = 227862 - 91774. Is m a composite number?
False
Let n(d) = 4*d + 2*d**2 - 1 + 2*d**2 + 5*d**3 - 5*d**2 + 2. Let m be n(4). Let v = m + -110. Is v prime?
True
Let i(k) = -k**3 - 4*k**2 - 3*k - 9. Let z be i(-4). Let f = 0 - 0. Suppose f = -t - z*t + 212. Is t a composite number?
False
Suppose -13*z = -23*z + 60110. Is z a prime number?
True
Suppose 0*x = 2*x - 2. Let p be (2259/15)/(x/5). Suppose -f - p = -4*f. Is f prime?
True
Let w be 4/14 + 132/(-21). Let r be 3/w*-2 + -6. Is (0 + -2 - r) + 32 a prime number?
False
Let y(i) be the second derivative of -i**5/2 + 5*i**4/12 + i**3/2 + i**2/2 - 3*i. Is y(-3) a prime number?
True
Let u = -2249 + 4902. Is u a prime number?
False
Suppose 5*g - 4 = 6. Let j = -1250 - -1904. Suppose -g*y = -w - 322, 2*w = 5*y - 151 - j. Is y a prime number?
False
Let g(p) = 2307*p - 22. Is g(7) composite?
False
Let n be (-4)/(-2) - (2 - -507). Let y = 878 + n. Is y a prime number?
False
Suppose 42 = -2*t + 4*j, 5*j = 2*t + 22 + 23. Suppose 4*m + 2148 = 3*m. Is 1/(-5) + m/t composite?
True
Suppose -2121 = -2*y - 4*c - c, 0 = -y + 4*c + 1054. Let z = 1743 - y. Is z a prime number?
False
Let g be ((1 + 0)/(-1))/(-1). Let u(f) be the third derivative of 139*f**6/120 - f**5/60 + f**3/6 + 5*f**2. Is u(g) a composite number?
False
Suppose 45*s = 31*s + 32326. Is s a prime number?
True
Suppose -4*o = 3*a - 0*o - 40, 0 = -5*a + 3*o + 57. Is 4/(a/(-9)) + 34 a composite number?
False
Suppose g - 15 = -2*g. Let r be (27/6)/3*(-2 - -4). Suppose g*b - 96 = c + 93, 173 = 5*b + r*c. Is b prime?
True
Suppose 0 = -3*z - 5*d + 76544, 3*z - 24335 - 52239 = d. Is z prime?
True
Let g = -1862 - -1299. Let b = -246 - g. Is b a composite number?
False
Suppose -13*j - 23*j = -76968. Is j a composite number?
True
Let l = 5474 - 3785. Let b = l + -904. Is b a prime number?
False
Suppose -2*w + 5*w = -3, g - 5*w = 5. Suppose g = 2*y - 2*r + 3*r - 169, 3*y - 256 = -2*r. Suppose -5 = -m + y. Is m a composite number?
True
Let z(r) = -496*r**2 + 501*r**2 - 8*r - 2 + 15. Is z(-8) a composite number?
False
Suppose u + 1602 = 592. Is (6/15)/((-2)/u) a prime number?
False
Let w = 33 - 10. Let s = 110 + w. Let n = s + 24. Is n a composite number?
False
Let n = -64 - -145. Suppose 5*y = 2*y + n. Suppose -y = -q + 40. Is q prime?
True
Suppose 0 = h - 18 - 223. Let s = 65 + -59. Suppose 5*n + s*a - h = 2*a, 4*n - 201 = 5*a. Is n prime?
False
Let d = 142 - 259. Suppose 5*a - 672 - 308 = 0. Let t = d + a. Is t composite?
False
Suppose 5*p - 205 = -5*a, 6*a = a + 3*p + 173. Suppose -a = -6*b - 7. Suppose -b*n + 2*n + 357 = 0. Is n a prime number?
False
Let r(k) = 11*k**2 - 2*k - 6. Let z(l) be the third derivative of l**6/60 - l**5/30 - l**4/12 + l**3/6 + 7*l**2. Let s be z(2). Is r(s) a prime number?
False
Suppose 13811 = -16*m + 75619. Is m a prime number?
True
Let k(v) = 18906*v**3 + 4*v**2 - 4*v + 9. Is k(2) a prime number?
False
Let v(u) = 2*u + 14. Let d be v(-7). Suppose d*j + j + 3*m = 362, -5*j + 2*m = -1725. Is j prime?
True
Let s = 290 - 165. Suppose -4*h - a + 892 = 0, a = h - s - 98. Is h prime?
True
Let q be (4 + 0)*-2 + -2. Let a = -6 - q. Suppose y + 159 = 3*s, -2*s + a*y = -s - 53. Is s a prime number?
True
Let u = 4 + 2. Let g be 26/u + 6/(-18). Suppose -3*w - g*m + 3533 = 0, w - 3*m + 5870 = 