 0*t - 18. Is 4/36*t*-237 a prime number?
True
Let y(z) = 2*z**2 + 7*z - 41. Let h(j) = 21*j**3 - 2*j**2 - 2*j + 1. Let w(t) = -3*t + 13. Let r be w(4). Let a be h(r). Is y(a) prime?
True
Suppose 0 = 69*d - 57*d - 4081236. Is d prime?
True
Suppose 1510*n - 1509*n = -5, -5*k + 5*n = -209730. Is k prime?
True
Let h = -266 - -239. Let l = h + 94. Is l a composite number?
False
Let h(p) = 22*p**3 + 6*p**2 - 14*p + 75. Let y(b) = b**3 + 11*b**2 - 10*b + 31. Let r be y(-12). Is h(r) a composite number?
False
Let g(t) = -4*t**2 - 27*t - 24. Let h be g(-6). Is 2 - (h/12)/(3/37974) a composite number?
True
Suppose 18*i - 45 = 171. Suppose 16*g = -i*g + 29204. Is g prime?
False
Let t(r) = -24 - 8 + 9*r + r. Let m be t(4). Is (-3)/(-1) + 38*m a composite number?
False
Suppose -24*y = -38*y + 56. Suppose y*u - 18660 = -4*h, u - 9331 = 6*h - 8*h. Is h composite?
True
Suppose -97 + 27 = -14*y. Is -12 + y - (-6 - 7784) a prime number?
False
Let k(t) = -980*t - 1. Let j = 346 - 227. Let p be (-153)/j - 4/(-14). Is k(p) prime?
False
Suppose -5*x = -g + 1, -3 + 2 = -g. Let u = -6 - -8. Suppose -2*c - u*c + 7196 = x. Is c a prime number?
False
Suppose 0 = 4*p + 16, 0 = -z + 5*p + 21 + 3. Suppose -4*t = -5*t - z, -4*r - 4*t = -1044. Suppose -w = 4*w - r. Is w a composite number?
False
Let l be -4 + 1164 + 1 - -3. Suppose 4*w + l = 10*w. Suppose -8 = 6*t - w. Is t prime?
True
Let n(h) = 271419*h + 461. Is n(2) a composite number?
False
Suppose 0 = -3*k - 3*k. Suppose y + k - 14 = 0. Is 7/(y/324) + -1 composite?
True
Let l be 1/(6/(-20))*3. Let m be 3/(-15) + 73558/l. Is (1/3)/((-4)/m) composite?
False
Is 78804837/171*(2 + -1) composite?
True
Let r = 2761 + -980. Suppose 4*m - 3*m = r. Suppose -4*z + 1327 = 3*c, -2*c - m = -6*c - 3*z. Is c prime?
True
Let o(u) = -u**2 + 21*u + 52. Let y be o(23). Suppose 3115 + 623 = y*l. Is l a prime number?
False
Is (-406281)/(-7) + (-24)/21 prime?
False
Suppose -3*u = -72 + 15. Let r = -16 + u. Suppose 1221 = 3*y - r*a, -3*y + a + 816 = -y. Is y composite?
False
Let b = -3655 + 5156. Let s = b + -524. Is s a composite number?
False
Suppose -4*r + 4 = -3*o + o, o - 4*r = -10. Suppose o*n = 4*n + 1004. Suppose j = -j + n. Is j a composite number?
False
Suppose 10*d = -4*d + 127316. Is d prime?
False
Let q = 520344 - 249307. Is q a composite number?
True
Suppose -25*q + 110230 = -243195. Is q prime?
False
Let x(q) = -3043*q + 4835. Is x(-12) composite?
False
Suppose 4*m + 5*s = 4, -46 = -2*m - 2*s - 42. Let n(o) = 7 + 117*o + 6 + 19*o. Is n(m) prime?
True
Is (454515/(-6))/(-5) + 3/(-2) a prime number?
True
Suppose 0 = 11*l - 607641 - 737593. Suppose 20*b - l - 9686 = 0. Is b a composite number?
False
Let m be (-2 - (3 - 8)) + 35. Is 4/m - ((-312040)/(-38))/(-4) a prime number?
True
Let a be 9446/14 + (-2)/35*-5. Suppose -306 = -3*i + a. Suppose 5 = q, -q + 52 = 2*k - i. Is k a prime number?
False
Suppose -3*r + 3 = 0, -r = -l - 4*r + 7. Let t(d) = -d + 5. Let k be t(2). Suppose -5*s + 1233 = -2*s + l*o, -1224 = -k*s - o. Is s composite?
True
Suppose 7 = 4*u - 5. Suppose 4*n + 11105 - 2604 = 5*h, u*n - 3 = 0. Suppose 2*j = h + 2497. Is j a prime number?
True
Let f = 38985 - -275118. Is f composite?
True
Suppose -5*b = -4*q - 30221, 2*b - 1519 = 4*q + 10555. Is b a prime number?
False
Let x(n) = 2*n - 9. Suppose u = -1 + 5. Let o be x(u). Is ((-19)/o)/((-1240)/415 + 3) a prime number?
False
Let p be -11*(-4)/16*4. Suppose -p*b = -14*b + 8637. Is b a prime number?
True
Let d = -179 - -181. Suppose -4*m = 2*o - 31330, -2*o - 2*o + d*m = -62640. Is o composite?
False
Let a = -51135 + 106709. Let l = a + -29333. Is l composite?
True
Let b = 1410 - 474. Let t = b - -3233. Is t a prime number?
False
Suppose -11*q + 8*q + 69 = 0. Suppose 2*v + 2*v = 3*x - q, -2*x - 38 = 4*v. Let d(u) = -5*u**3 - 11*u**2 - 10*u + 7. Is d(v) a composite number?
True
Let o(r) = r**3 + 17*r - 19. Let a = 185 + -175. Is o(a) a composite number?
False
Is 12/2 + 22 + (4 - -21837) composite?
True
Let m(g) = 79561*g**2 - 11*g - 21. Is m(-5) composite?
False
Let h(o) = 108*o**2 + 5*o + 10. Let b be h(10). Suppose 4*n - 10*n + b = 0. Suppose n = 4*d - 5962. Is d prime?
False
Suppose q + 65*f = 63*f + 5361, 0 = 3*q + 3*f - 16086. Is q a composite number?
True
Suppose -3*u = -0*s + 5*s - 452347, u + 2*s = 150783. Is u a composite number?
False
Let r(v) = -3*v - 4. Let i be r(-2). Let n be 8864/(-8)*(-7)/i. Suppose 0 = 12*a - 10*a - n. Is a prime?
False
Let k(f) = -3*f**2 + 21*f + 15. Let n be k(7). Suppose n*o = 13917 + 2388. Is o a prime number?
True
Let b = -820422 + 1149041. Is b prime?
True
Suppose 5*p = -2*c + 81663, 294*c = p + 291*c - 16319. Is p prime?
False
Suppose 5*i = h - 50, -2*h + 20 = -3*i - 17. Let j(a) = -a**3 + a**2 + 31*a - 10. Is j(i) a prime number?
True
Suppose 35 = q - 4*i, -5*q - 3*i + 70 = -2*i. Suppose 2300 - 575 = q*o. Is o a composite number?
True
Let z(l) = -44*l + 49. Suppose 4*v = 3*j - 124, 4*j = -v + 3*v + 152. Let y = 25 - j. Is z(y) a prime number?
False
Let p = 72 + -62. Suppose 0 = -g - p*g + 253. Suppose 20*l + 426 = g*l. Is l composite?
True
Let m(g) = -g**2 - 191*g - 562. Let y be m(-3). Let i = -1 + -2. Is (((-278)/i)/y)/((-6)/(-18)) composite?
False
Suppose -3 = 4*i + 3*b, 0 = -5*i - 4*b - 5 + 1. Suppose -4*j + 0*j - 28 = i. Let f(v) = -94*v + 15. Is f(j) prime?
True
Let s = 22212 + 34417. Is s composite?
False
Let f(p) = 54 + 257*p + 65 - 389*p - 313*p. Is f(-6) composite?
False
Let j = -31 + 37. Let p be (-9)/9*j/2. Is (4 - p) + -4 - -202 composite?
True
Suppose 3*z = 5*b - 212966, b - 58225 = -5*z - 15671. Is b composite?
False
Is (-3844990)/(-58) + 92/1334 a prime number?
True
Let i = 437457 + -210856. Is i composite?
False
Let o = 302892 - 167003. Is o a composite number?
True
Let o = -1577596 - -2649075. Is o a composite number?
False
Let p(s) = 149*s + 1648. Is p(77) a prime number?
True
Suppose -9*j + 0 + 0 = 0. Suppose -3*w = 3, 0 = 5*v - j*w - 2*w - 4557. Is v prime?
True
Suppose 0 = -3*l - s + 2, 0 = 7*l - 9*l - 2*s + 4. Suppose l*d - 4*i - 29013 = -5*d, -4*d + 23194 = 5*i. Is d composite?
False
Let t = -525 + 782. Let m(f) = 2*f**2 - 103*f + 12. Let l be m(50). Let k = l + t. Is k a prime number?
False
Let h(j) = 4*j**2 + 8*j + 40. Let c be h(7). Let m = c + 451. Is m composite?
False
Let x(y) = -32*y**3 - 3*y**2 - 9*y - 4. Let r be x(-4). Suppose 9*h - r = 6*h + m, 2057 = 3*h + 4*m. Is h a prime number?
False
Suppose 7*g = 5*g. Suppose g*m - 4809 = -7*m. Suppose -8*o + m = 7. Is o prime?
False
Suppose 0 = 15*w - 19*w + 124. Let o = -14 + w. Let z(j) = j**3 - 15*j**2 - 16*j + 29. Is z(o) prime?
False
Let u be (-10 - -5)*5316/(-15). Let d = 3133 - u. Is d a prime number?
True
Let g(v) = -10340*v + 7779. Is g(-113) prime?
False
Let z(u) = 1655*u + 1568. Is z(21) a prime number?
False
Suppose 110*x - s + 230718 = 111*x, 0 = -4*x - 2*s + 922874. Is x a prime number?
True
Let o(u) = 5*u**3 + 6*u**2 + 7*u - 2. Let f be o(5). Is f - 3*20/12 composite?
True
Is (-454536)/(-3540)*((-5)/(-2))/1 a prime number?
False
Suppose -5*k - 5*j = 20, -3*j = 4*k - 8*j - 29. Suppose 4*r + 2*l = 26, -5*l - 8 + k = 2*r. Let p(y) = 2*y**2 + 11*y - 2. Is p(r) prime?
False
Suppose -9*j + 12*j = -4*h + 48915, 16292 = j - 3*h. Is j a prime number?
True
Suppose -80 = -4*j - j. Is j/4 + (-1 - -1) + 4101 composite?
True
Let i(p) = -34*p + 43 + 27 - 10*p + 13. Is i(-9) a prime number?
True
Let y(q) = 8*q - 33. Let x be y(5). Suppose -x*o = -3*o - 40. Let t = o + 117. Is t prime?
True
Let j(f) = 17422*f**2 - 188*f - 111. Is j(-5) composite?
True
Let h(d) = d**2 + 5*d + 8. Let n be h(-4). Let z(f) = -1 - 83*f**2 - 7*f + 8 + 9*f**3 + 85*f**2. Is z(n) a prime number?
True
Let c(i) = -4*i - 27. Let b be c(-8). Suppose b*z + 180 = 2*q + z, 4*z = 20. Suppose h + q = 2*f + 2*h, 5*f = -h + 253. Is f composite?
True
Let c(i) = -3*i**3 - 10*i**2 + 10*i + 104. Is c(-15) prime?
True
Suppose 2*p = 8*p - 192. Let w be (7/((-84)/p))/(2/9). Let v(r) = -r**3 - 5*r**2 - 4*r - 1. Is v(w) composite?
True
Suppose -4*s = -0*s + 8, 0 = -3*w + 4*s + 20. Suppose -2*v + 3*y - 1572 = 4*y, 4*y = w*v + 3156. Let l = 90 - v. Is l composite?
False
Is (-9 + (1506967 - -12))/2 composite?
True
Suppose -3*i + 34913 + 19228 = -4500. Is i a composite number?
True
Let j be (42/8)/(12