ose 4*l = 20, -3*k + 5*l = 2*k - 620. Suppose 116*p = 118*p - 104. Let n = k - p. Is n composite?
True
Suppose -2*q + 9 = 4*b - 3, 2*b - 26 = 4*q. Suppose 34 = -z + b*s, 5*z + 2*s + 114 = -s. Is z/(-18) + (-406)/(-6) composite?
True
Suppose -9 + 1 = u. Let s be 8/10 - u/(-10). Suppose s*k - k = -493. Is k prime?
False
Let x = -6 - -10. Suppose -w + 650 = -4*c, -660 = c + 3*c + x*w. Is (0/(-3))/(-1) - c a prime number?
True
Let v be -1 + (1 + 3 - 0). Suppose v*y + 0 = 18. Is (y/4)/(3/230) a composite number?
True
Let k(w) = 8585*w + 61. Is k(2) a prime number?
True
Suppose -n = -3*n - 12. Let o(c) = -5*c + 10 - 2*c - 19 + 2*c. Is o(n) composite?
True
Let v(k) = 5*k - 5 - 13*k**2 - 2*k - k**3 + 16 + 2*k**3. Let f be v(14). Suppose 0 = 3*x - 5*m - f, 2*x + 2*m + 3*m = 166. Is x prime?
True
Let m be 4/(-5)*(-30)/4. Let b be m + 1/(-2)*-6. Suppose 55 = 2*y + b. Is y prime?
True
Is (7901/(-3))/(2/(-12)*2) a composite number?
False
Let o(t) = 64*t**2 + 3*t + 1. Let y be o(-1). Is y/(-4)*-38 + -2 prime?
True
Suppose 3*b + b + 84 = 0. Let t = b + 26. Suppose -5*m = -0*m - u - 3114, t*m + 4*u = 3119. Is m a prime number?
False
Suppose -o + 17 = -r, o + 5*r - 3 = -10. Suppose 5*a = 3*g + o, 0*g - 2*g + 23 = 3*a. Is g/(4/1)*134 a composite number?
True
Is ((-4)/(-2))/(294/808647) composite?
False
Let g be 9/(-15) - 1464/(-40). Suppose -33 = -3*r + g. Is r a prime number?
True
Suppose 31182 = 3*i + 5*c, 4*c - 3142 - 48841 = -5*i. Is i a prime number?
True
Let t be 10047/9 + 6/9. Suppose t = 4*i - 151. Is i a prime number?
True
Let g = -7961 + 26400. Is g prime?
True
Let f = -90723 - -137246. Is f a composite number?
False
Let u(l) = -26*l**2 + 7 + 182*l**2 - 3. Let x be u(2). Suppose -6*v = -2*v - x. Is v prime?
True
Suppose 10514 = l - 5*g, 3*l - 4070 = -5*g + 27412. Is l a prime number?
True
Let i = 69 + -64. Suppose -i*m = 5*s - 1270, -5*m + 4*s - 2*s = -1249. Is m a prime number?
True
Let v be -2 + -135 - 6/3. Let k = 271 + v. Suppose 3*s - k = -s. Is s composite?
True
Let t be -1*(-2 - (0 + -3)). Let m be ((-1425)/(-12))/(t/(-4)). Suppose 2*u + 3*u - m = 0. Is u a composite number?
True
Let q = 1 - 57. Let t = q - -159. Is t prime?
True
Let c be 2/(-7) + 65/(-14)*-2. Suppose -7*t + 21 = x - 2*t, -4*t = -2*x. Suppose -x*k = -c*k + 1101. Is k a prime number?
True
Let t = 18 - 14. Let j = 163 + t. Is j a prime number?
True
Suppose 0*o = o + 4. Let p be (-2691)/(-15) - o/(-10). Let j = -121 + p. Is j a prime number?
False
Let r = 6280 + -2652. Suppose 0 = n - 5*n + r. Is n composite?
False
Suppose -40 + 4 = 3*o. Is 0/(o/(-4)) + 239 a prime number?
True
Let n(s) be the second derivative of s**4/3 + 2*s**3/3 + 2*s**2 - 2*s. Let i be n(4). Let v = i - -139. Is v composite?
False
Suppose -196275 = 28*v - 53*v. Is v a composite number?
True
Suppose 18*l + 6295 = 23*l. Is l a prime number?
True
Let k = 225 - 571. Let h = k - -537. Is h composite?
False
Suppose 3*o - b - 16505 = -3*b, -2*o + 11006 = 4*b. Is o a prime number?
True
Is (-3)/((429/816805)/(-13)) prime?
False
Let g be -1*-18*3/(-3). Let u be ((-6)/5)/(g/(-45)). Is (-2)/u*(-16332)/(-8) a prime number?
True
Suppose -16 = -y - 5. Let d be 2/y + (-1116)/(-33). Suppose -329 = -3*r + d. Is r prime?
False
Is (-46077)/(-2)*(-88)/(-132) a composite number?
False
Let j = 1808 + -950. Let b = j - 101. Is b a composite number?
False
Let x(k) = k**3 + 5*k**2 - 14*k - 19. Is x(17) a prime number?
True
Let r = 13081 - -5556. Is r a composite number?
False
Is ((-596)/14)/(28/(-98)) a composite number?
False
Let r = 14 + -14. Suppose -l = l + 4*t - 590, r = -4*t. Is l a prime number?
False
Let d = -56 - -58. Suppose -282 = -d*u + 2516. Is u prime?
True
Suppose u = -5*h + 34599 + 35384, 4 = -2*u. Is h prime?
True
Is -142 - -142 - (-8791)/((-2)/(-2)) a composite number?
True
Suppose -l - 5*k = 3*l - 984, 0 = -2*l - 5*k + 482. Suppose 3*d + b - 975 = -222, d - l = 4*b. Suppose -h - d = -2*h. Is h prime?
True
Let r(t) be the third derivative of 25*t**4/24 + t**3/6 - 16*t**2. Is r(13) composite?
True
Let h be (9 - -1360)*(0 - -2). Let q = h - 1383. Is q a prime number?
False
Suppose -4*q = -q - 438. Let s = q - 81. Let f = s - 12. Is f composite?
False
Let o(d) = -5*d**3 - 12*d**2 - 9*d - 35. Is o(-14) prime?
False
Suppose b = 4*b + 5*d - 28, b = -5*d - 4. Suppose -16*t + 12*t = -b. Suppose -408 = -4*n - u, -6*u + 404 = t*n - 4*u. Is n composite?
False
Suppose -2*n + 4*n = 0. Suppose 4*m + n = 8. Suppose 0*i - m*g = 2*i - 508, 0 = -i + g + 260. Is i prime?
True
Let k(x) = -111*x**3 + x**2 + 5*x + 8. Is k(-3) a composite number?
False
Let v be (3/2)/((-7)/(-42)). Suppose v = -3*q + 6*q. Suppose -4*s = 3*c - c - 178, -83 = -2*s - q*c. Is s a prime number?
False
Let y(r) = 4*r - 4. Let o be y(3). Let m(j) = -j**3 + 19*j**2 - 5*j - 12. Let k be m(o). Suppose f - k = -225. Is f a prime number?
False
Suppose 0 = -3*v - 2*c - 10, 0 = -v - 7*c + 2*c - 25. Let t be (6 - v) + (-14)/7. Suppose -5*q + t*q + 317 = 0. Is q a composite number?
False
Let z = 1297 + 2664. Is z a composite number?
True
Suppose 0 = -10*g + 9*g - 1076. Let w = 1989 + g. Is w a composite number?
True
Suppose 0 = 5*r - r - 16, -4*r + 11 = -z. Suppose -5*m + 3465 = z*f, 3*f + 2*m - 2075 = -2*m. Is f a prime number?
False
Let v(i) = i**2 - 14*i + 11. Let h be v(14). Suppose -j = 42 - h. Let c = -18 - j. Is c composite?
False
Let f(w) be the first derivative of 53*w**3 - w + 6. Is f(-1) prime?
False
Suppose 4*r + 21176 = 4*w, -5*w + 26488 = 9*r - 8*r. Is w prime?
True
Suppose 2*s - 22 = -5*z, -5*z + 0*s + 2*s + 38 = 0. Let t(r) = -625*r - 19. Let j be t(-9). Suppose z*d - 148 = j. Is d a composite number?
True
Let b = 35940 - 20833. Is b a prime number?
True
Let q = 0 + -2. Let l be -1*(q - (0 - -1)). Suppose -l*x = 4*j + x - 292, 0 = 4*j - 3*x - 320. Is j a prime number?
False
Suppose 5*b + 6*h - 540 = h, 0 = -5*b + 5*h + 550. Let k(m) = -5*m**2 - 3*m + 4. Let q be k(3). Let i = b + q. Is i a prime number?
True
Let d(j) = 2640*j**2 - 3*j + 5. Is d(2) prime?
True
Is 23590/4 + 84/56 composite?
True
Suppose 2*i + 14 - 18 = 0. Suppose -1511 = -3*q + 2*f, 3*f + 1006 = i*q + f. Is q a prime number?
False
Let q(a) = -2674*a + 69. Is q(-8) composite?
True
Suppose 4*q + p = 13, 0 = q + q + p - 5. Suppose 3*i + 4*t + 1 = -2*i, -q*i + 4*t = -28. Suppose -i*v + 426 = -v. Is v a prime number?
False
Let u(s) = -10*s**2 - 4 - 6 - 12*s - 2*s + 4 - s**3. Is u(-10) prime?
False
Let t be (-16)/28 - (-14368)/7. Suppose 8*b - t - 2164 = 0. Is b prime?
False
Let o = 6 + 0. Suppose -17*w + 20*w = o. Suppose m - 2*y - 13 = 0, w*y = 5*m - 2*y - 65. Is m a composite number?
False
Let r(q) = -q**3 - 16*q**2 + 40*q + 33. Let f be r(-20). Let o = -262 + f. Is o a composite number?
False
Suppose -8*h - 20 = -10*h. Is -47*(h + -3)*3/(-3) composite?
True
Suppose -37113 = -24*t + 21303. Is t a prime number?
False
Let d be 4/(-14) - 74/(-14). Let b(k) = k + 8. Let n be b(-5). Suppose i - 5*s - 102 = 0, -21 = -n*i + d*s + 335. Is i prime?
True
Suppose -2 + 1 = w + t, -13 = -3*w + t. Suppose -6*q + 159 = -w*q. Is q prime?
True
Is (6/(6/9461))/(1 + 0) composite?
False
Suppose 2*t + 29376 = 5*l + 3231, 0 = -2*l - t + 10449. Is l composite?
False
Let d = -11948 + 17378. Suppose 5*x - d = -x. Is x composite?
True
Let n = 12 + -7. Suppose 3*p + n*d = -2 - 29, -63 = 5*p - 3*d. Let r(x) = x**3 + 11*x**2 - 16*x - 15. Is r(p) a prime number?
False
Let t be -14*(5/10)/1. Suppose -83 = 5*i - 13. Is i/((4/t)/2) prime?
False
Let z(g) = -7*g**3 + 7*g**2 - 8*g + 4. Let f be z(-6). Let h = -936 + f. Let c = h - 359. Is c a prime number?
True
Let d = 107 - 109. Is d - (-10)/4 - 4685/(-10) a composite number?
True
Suppose 3222 + 1742 = 4*g. Is g prime?
False
Let c = 1472 - 811. Let t = 2604 - c. Is t composite?
True
Suppose -7*m + 3998 = 239. Is m composite?
True
Let k(r) = r**3 - r**2 + r. Let x(p) = 4*p**3 + 12*p**2 + 15*p + 17. Let n(w) = 5*k(w) - x(w). Is n(20) prime?
True
Let v(i) = 2*i**3 - 27*i**2 - 17*i - 67. Is v(30) composite?
False
Suppose -16*o + 128 = -8*o. Suppose o*q = 3080 + 16296. Is q prime?
False
Let a be 1/(35912/(-23952) - (-3)/2). Let m = -824 + a. Is m composite?
False
Let c be (6/(-18))/((-3)/18). Suppose -1305 = -5*q - 5*r, c*r + 1054 = 4*q + r. Is q composite?
False
Let b(h) = 35*h**2