 j be x(16). Suppose -601 = -j*r + 5*h + 5, 12 = -3*h. Is r a prime number?
True
Suppose 10*k - 93382 = -8792. Is k prime?
False
Let d(y) = -2*y**2 - 30*y - 2. Let p be d(-15). Let v(l) = -353*l**3 + 4*l**2 + 6*l + 3. Is v(p) a composite number?
True
Suppose -252*g + 174*g = -10189218. Is g composite?
False
Suppose -16303 = -w + c, -5*c + 48909 = -2*w + 5*w. Let l = w + -8960. Is l prime?
False
Let r = -91 - -131. Suppose 3*u + 3*n - r = 3125, -5*u = 3*n - 5275. Is u a composite number?
True
Let r = 46 + -41. Suppose 3*q + 3*b - 372 = 0, 0 = -r*q - b - 2*b + 610. Is q composite?
True
Let s(o) = 6*o - 3. Let q be s(1). Suppose -q*d + 534 = -639. Is d a prime number?
False
Suppose -3*n + 1 + 8 = 0. Suppose -149 - 118 = -n*q. Is q a composite number?
False
Let s(k) = 25*k**2 - 57*k + 54. Let a(u) = 12*u**2 - 28*u + 27. Let r(b) = 7*a(b) - 3*s(b). Is r(16) a prime number?
True
Suppose 0 = -6*x + x + 1180. Let d be 2 + 0 + x + -4. Suppose d = 2*b - 2*y, -2*b + 54 + 182 = -3*y. Is b prime?
False
Let g = 12835 - 7398. Is g a prime number?
True
Suppose 9*z - 4*z + 45 = 3*h, -3*z + 2*h - 28 = 0. Is (1 + 0)/(z/(-498) - 0) a prime number?
True
Let s = 175 - 260. Let b = -138 - s. Let t = b - -502. Is t a composite number?
False
Suppose 2*j - 35 = 5*c - 3*j, c - 13 = -3*j. Is 27474/24 - (c - -4)/(-8) a composite number?
True
Let u = -32 - -33. Is (u/(-5)*4)/((-14)/6895) a prime number?
False
Let v(q) = -6*q**3 - 7*q**2 - 11*q + 21. Is v(-17) a prime number?
False
Let h = -12037 + 27806. Is h composite?
True
Suppose 3*s = 4*o - 1, s - 4*s - o + 19 = 0. Let w = s + -3. Suppose 0*r - r + 163 = -w*b, -2*r + b = -314. Is r prime?
False
Let z = -9 - -14. Let a be -24*z/((-60)/(-152)). Is 6/10 + a/(-10) a composite number?
False
Suppose -5*r + y - 294 = 0, -2*r - 172 = r - 5*y. Let t be -1*(-1)/((-1)/(-80)). Let q = t - r. Is q composite?
False
Suppose 10*u - 279307 - 140143 = 0. Is u a composite number?
True
Suppose -3*h = u - 855, 0*h - 3420 = -4*u - 3*h. Let f = u + -604. Is f a prime number?
True
Suppose 80990 = 10*i - 19620. Is i a composite number?
False
Suppose -3*d = 2*p + 32 - 249, 2*d - 548 = -5*p. Suppose -p = -2*v + 148. Is v a composite number?
True
Let t(k) be the second derivative of k**4/4 - 2*k**3 - 16*k**2 + 20*k. Is t(7) prime?
True
Let q = 24 + -23. Let n = 2 + q. Suppose -3*x - r = -x - 184, -2*x + 188 = n*r. Is x a composite number?
True
Suppose 0 = -7*h + 3*h - 8. Let g(n) = 136*n + 15. Let s(b) = 204*b + 23. Let p(k) = -8*g(k) + 5*s(k). Is p(h) a prime number?
True
Suppose 3*i = -3*m + 7374, 0 = -5*i - 2*m + 16927 - 4628. Is i composite?
True
Is (10007/3 - 0)/(62/186) prime?
True
Suppose 571 = s + o - 1264, 5*s - 4*o = 9139. Is s composite?
False
Let o(a) = -2*a + 17. Let j be o(7). Suppose -3*f = r - 3131, 5195 = f + 4*f - j*r. Is f a prime number?
False
Let k = 70 + -68. Suppose 3*p - k*c - 1874 = 3*c, 2507 = 4*p - 5*c. Is p a prime number?
False
Let p be 60/24*1256/5. Suppose p = 11*l - 8249. Is l a composite number?
True
Let s = 700 - 137. Is s a prime number?
True
Let r = 17027 - -12792. Is r a prime number?
True
Suppose 0 = -4*m + 6*m + 24. Let t be 3/(5/((-80)/m)). Is (-2)/t + 1174/4 a composite number?
False
Let r be 55/(-11)*1949/(-1). Suppose 5*i = -0*i + r. Is i prime?
True
Let v(y) = y**3 + 23*y**2 + 3*y - 33. Let u be v(20). Suppose -5*a = 2*a - u. Is a composite?
True
Let g = 570 + -161. Is g a prime number?
True
Let p(v) = 5*v**2 - 24*v + 25. Let k be p(18). Suppose k = 10*x + 103. Is x a composite number?
True
Suppose -m + 240 = n, n - 2*n - 2*m + 240 = 0. Let h = -401 + n. Let s = 324 + h. Is s a prime number?
True
Let x = 897 - 466. Is x prime?
True
Let d = 7274 + -2517. Is d a composite number?
True
Let z(j) = -2*j**3 - 123*j**2 - 18*j - 79. Is z(-64) prime?
False
Suppose -2*a + 15*a = 7241. Is a prime?
True
Let a(q) = -303*q**3 - q**2 + 2*q - 1. Suppose 7*k = -0*k + 7. Let o be a(k). Let y = 718 + o. Is y prime?
False
Suppose 6*k = 2*k + 44. Suppose -478 = k*v - 9707. Is v composite?
False
Let v be (155/25 - 6)*30/2. Let m = -2194 - -6724. Suppose -v*u = -9*u + m. Is u composite?
True
Let a(q) = 44*q**2 - 32*q - 19. Is a(-9) a composite number?
False
Suppose 113486 = 7*a - 15881. Is a composite?
False
Let o = 131 + 32. Is o prime?
True
Let m(c) = c**2 - 12*c + 15. Let n be m(11). Suppose h = 99 + 1320. Suppose n*k = k + h. Is k a composite number?
True
Suppose 0 = 26*o - 32795 + 8797. Is o prime?
False
Let o = -75813 + 114296. Is o composite?
True
Suppose 10*b = 3*r + 5*b - 1977, 4*r - 2641 = 5*b. Let u = r - 283. Is u a prime number?
False
Let w be (-40)/(-10) - 4/2. Suppose 0*t - 10 = -w*t. Suppose 2*h = 2, -t*z + 814 = -0*h - h. Is z a composite number?
False
Let u(q) = -q**3 - 2*q**2 - 3*q - 3. Let l be u(-2). Let r be 90/24 - 2/(-8). Suppose -109 = -r*m + l*m. Is m prime?
True
Suppose -5 = -5*y, 5*y = -0*c + 4*c - 7. Let h be c + 378 - (-1 - 0). Let b = h - 253. Is b prime?
False
Let j be -3*(-5 + 5 + -41). Suppose -468 = -5*z - j. Is z prime?
False
Is -17569*(-3)/(-15)*-5 prime?
True
Let k(m) = 253*m**3 + 7*m**2 - 8*m + 3. Is k(2) composite?
False
Let w = 3 - -2. Let a(f) = 56*f**2 + 2. Let p be a(w). Suppose -r = r - p. Is r a prime number?
True
Is 77789/7 - 34/(-119) a composite number?
False
Suppose 3*s = 6*s + y - 156, -2*s + 104 = y. Suppose 24 = 4*m - s. Is m a composite number?
False
Let l be 3/1 + -5 + 4. Suppose -l*y - 2*u + 414 = 0, -3*u = -4*y + 489 + 367. Is y a composite number?
False
Let m be (8/(-6))/((-2)/(-9)). Let s(p) = 45*p**2 - 11*p - 1. Is s(m) a prime number?
False
Let w(z) = 6*z**2 - 8*z + 6. Let l(s) = 7*s**2 - 9*s + 5. Let a(r) = 5*r**2 - 1. Let i be a(1). Let g(k) = i*w(k) - 3*l(k). Is g(4) a composite number?
False
Let m = -21 + 686. Suppose -3*c - 2*c = -m. Is c composite?
True
Let u(z) = -z**3 - z**2 - 3*z - 1. Let t be u(-2). Let l be (-420)/(-8)*84/t. Suppose -100 = -2*q + l. Is q a prime number?
False
Suppose 4*h = n + 27306, -4*n = 4*h + 4629 - 31925. Is h a composite number?
True
Suppose -4*f - k + 38 = -21, 0 = -f - 3*k + 23. Let l = 271 - f. Suppose q = l + 170. Is q a prime number?
False
Suppose 0 = 4*z - 10 - 2. Suppose 0*s + 2*w + 18 = 5*s, 5*s + z*w + 2 = 0. Suppose 2*d = 6, -d - 653 = -s*u + 2*d. Is u composite?
False
Let b(c) = -3*c**3 - 30*c**2 + 31*c - 11. Is b(-20) composite?
False
Let s(b) = 73*b**3 + 3*b - 1. Let g be s(-2). Let r = g + 905. Let i = 733 - r. Is i prime?
True
Suppose 0*r - 3*r = 4*u - 2780, 5*u = 4*r - 3686. Let c = r + 514. Is c composite?
True
Let j(s) = 4*s**2 - 2*s - 1. Let z be j(-1). Let o = 7 - z. Suppose -41 = -o*d + 153. Is d prime?
True
Suppose -218060 = 33*n - 1060319. Is n prime?
True
Suppose -3*v - 675 = 3*r, 0 = 3*v - v - r + 447. Let a be (-1)/((-2)/(-314)*1). Let k = a - v. Is k composite?
False
Suppose 7*d - 10*d - 12 = 0, 3*h = -d + 27089. Is h a prime number?
False
Let j(s) = -2*s + 3. Let d = -3 + -1. Let f be d/(-3)*30/(-4). Is j(f) prime?
True
Let i be (99/6)/((-1)/2). Let w = i - -122. Is w a composite number?
False
Let k(a) = -283 + 13*a + 279 - 11*a + 13*a. Let n be (-3)/(-1) - -1 - -1. Is k(n) a composite number?
False
Is -1*(-23696)/24*3 a composite number?
True
Let k(x) be the second derivative of 3*x**3/2 - x**2/2 + x. Let c = -217 - -223. Is k(c) composite?
False
Let g = 40 + -39. Let d(n) = -13*n + 3. Let q be d(g). Is (-1 + 6)*(-8)/q a prime number?
False
Let q(c) = c**2 + 5*c + 7. Let k be q(-4). Suppose 0 = -k*d - 6, 2*b + 4*d = -d - 2. Suppose -b*y = y - 2365. Is y a composite number?
True
Let z be 582/(115/35 + -3). Suppose 2*p - z = -p. Is p composite?
True
Suppose 0 = t + 4*t, -4*t + 12 = 3*v. Suppose -3*r - 2*g = -3, -v*r = r - g - 18. Suppose 4*c - 4*f - 512 = 0, -r*f - 13 = c - 137. Is c prime?
True
Suppose -5*v + 2*v + 27 = 0. Suppose -g - v = -27. Is g/63 - (-1167)/7 a prime number?
True
Let y = -1096 - -2931. Is y composite?
True
Is ((-17822)/5 - -3)/((-5)/25) a prime number?
True
Suppose -4*c + 6646 = 162. Is c a prime number?
True
Suppose 0 = 2*c - 5*c - 4*q + 29, 0 = -c - q + 11. Is (9 - 4)/c*435 composite?
True
Let j(l) be the second derivative of l**5/20 - 13*l**4/12 + 2*l**3 + 3*l**2 + 7*l. Let v be j(12). Is 331/3*(-3 + v) a prime number?
True
Suppose 5*y - 5*z = 2702 - 347, -y - z = -463. Is y 