 + -8236. Is q a prime number?
True
Is 1777/(8 + -2 - 5) a prime number?
True
Suppose -3*a - 414 = -2*o + 23, -4*o - 3*a + 901 = 0. Is o prime?
True
Let q = 8 - 6. Let m be (1 - q)*-2*483. Suppose -y - 167 = -m. Is y a prime number?
False
Let v(a) = a - 16. Let f be v(19). Suppose -5*j - u = 2*u - 23216, -f*u + 9281 = 2*j. Is j prime?
False
Let m = -2 - -3. Let i(j) = 81*j**3 + 5*j**2 - 7*j + 2. Let z(v) = -121*v**3 - 8*v**2 + 11*v - 3. Let b(a) = 8*i(a) + 5*z(a). Is b(m) a composite number?
False
Let f(d) = -26*d - 13. Let g be f(-4). Is g + -12 + 0/1 a prime number?
True
Suppose 3*l + 20 - 3 = 4*y, 3*y - l - 9 = 0. Suppose 6*d - 444 = y*d. Is d a prime number?
False
Suppose -2*a - 4*q - 18 = 0, -5*a = 4*q + 23 + 4. Is 86550/45 - (-1)/a prime?
False
Let w = -4265 + 10872. Is w prime?
True
Let d = 76 + -78. Is d*((-1358)/4 - 4) composite?
True
Let s(y) = 653*y - 4. Let m = 21 + -20. Is s(m) prime?
False
Let b(p) = -55*p - 96. Is b(-7) prime?
False
Let j(m) = -54*m - 6. Let c be j(-1). Suppose -c*a + 531 = -45*a. Is a a composite number?
True
Let r = -16438 - -28880. Is r a prime number?
False
Let x(p) = 6*p**2 + 3*p + 5. Let o(t) = t**2 + 18*t + 23. Let u be o(-17). Let m be x(u). Suppose -5*d + 6*d - m = 0. Is d composite?
False
Let g = 24539 - 15652. Is g prime?
True
Suppose -x = 2*n - 2022, 2002 = 2*n - 4*x - 0*x. Let y = n + -678. Is y a prime number?
True
Let x = -4912 + 15719. Is x composite?
True
Suppose 5*h = -m + 477, 5*m - 5*h - 1133 = 1132. Is m prime?
True
Let y(h) = 5*h**3 - 5*h**2 - 33*h + 37. Is y(10) composite?
True
Let m = 17 - 12. Suppose 0 = -m*u + u + 2164. Is u a prime number?
True
Let p = -30 + 60. Suppose 3*k - 8*k = -p. Suppose 5*j = k*j - 37. Is j a composite number?
False
Let c be -3 + -1 - (14 - 34). Suppose c*k - 22529 = 32111. Is k a composite number?
True
Let r(l) = 557*l - 651. Is r(16) a prime number?
False
Suppose 0 = -2*l - 4. Let t be -1 - 1 - (-1 - l). Is t/(-1) + -3 - -134 composite?
True
Suppose 33 = 15*b - 5832. Is b a prime number?
False
Let v(t) = 34 - 2*t - 20 + 71. Is v(0) prime?
False
Suppose -12*i + 4*i = -15784. Is i composite?
False
Is 4/30 - 3162864/(-720) a composite number?
True
Suppose -42492 = -8*w + 21580. Is w a composite number?
False
Let f(n) be the first derivative of 290*n**2 - 33*n + 36. Is f(4) prime?
True
Suppose 10 = 3*r + 2*r + 5*t, 4*t = 5*r - 19. Suppose 50 + 343 = r*v. Suppose -v = -4*h + 3545. Is h prime?
True
Suppose -2*n = -i + 12 - 1, -n = -4*i + 58. Let p be 12/8*40/i. Suppose 5*x - 1 = k - 392, -4*k = p*x - 1468. Is k prime?
False
Let n(i) = -2132*i**2 + 1. Let f be n(1). Let q = 3786 + f. Suppose 6*x = x + q. Is x a prime number?
True
Suppose -4*d + 3*d + 29073 = -4*h, -4*d + 116322 = -h. Is d prime?
False
Let m = 1810 + 525. Is m composite?
True
Let d = -17 + 21. Suppose -d*t + 2*t + 2358 = 3*g, -5*g - t + 3930 = 0. Suppose -3*c + 2392 = 5*z, 4*z - 1133 = 3*c + g. Is z a prime number?
True
Suppose 5*g = 2*n + 8997, -2*g + 3*n = -n - 3586. Is g prime?
True
Let u = 1031 - -10082. Is u composite?
False
Let g(f) = -f**2 - 4*f. Suppose 3*x = s + 108, -s = -0*x - 2*x + 73. Let d be 19/(-7) - 10/x. Is g(d) prime?
True
Is -5 - 218165/(-20) - 2/8 composite?
False
Is ((-3872)/(-5) + -2)/((-24)/(-60)) composite?
False
Suppose 5*j - 2 = 8. Suppose -l + 2*l = 4*r + 887, -j*l + r + 1774 = 0. Is l a composite number?
False
Is (-111)/148 + ((-262005)/(-4))/3 a composite number?
True
Let a = -5637 - -12898. Is a composite?
True
Suppose 2*w - l = 72867, -7*w + 4*w + 5*l + 109304 = 0. Is w prime?
True
Is (2151708/234)/((-2)/(-3)) a prime number?
False
Let n = 14268 + -6871. Is n a composite number?
True
Let k(q) = 39*q**2 - 7*q - 43. Is k(6) a prime number?
True
Suppose -6*x - 35 = 1. Let i(s) = -158*s + 17. Is i(x) a composite number?
True
Let l(g) = -1477*g + 22. Is l(-15) a composite number?
True
Suppose -14*f + 57315 = f. Is f a prime number?
True
Suppose -z + 6 = -5*i - 2, -2*i - 4 = 0. Is -8*5/10 - 3030/z composite?
False
Suppose f + 4*p - 18256 - 20059 = 0, -4*f + p + 153192 = 0. Is f a composite number?
False
Suppose -15*t - 24*t = -68406. Is t a prime number?
False
Let y be 2/7 + (-65)/7. Let l(o) = o**2 + 12*o - 2. Let w be l(y). Is 1 - (1 + (w - 2)) composite?
False
Suppose -2*r - 5*k = -30, 6*r - 2*r = -3*k + 74. Suppose l + 4*y = r, 3*l + 3*y - 20 = -y. Suppose -5*g + l + 185 = 0. Is g a composite number?
False
Suppose 27*l - 20*l - 20377 = 0. Is l prime?
False
Let z(f) = -f**2 - 8*f + 10. Let d be z(-9). Let r(y) = 24*y**3 + 3*y - 2. Is r(d) composite?
True
Suppose -4*q = -79*f + 75*f - 258344, 4*q - f - 258347 = 0. Is q a prime number?
False
Let r(m) = 16*m**2 - 8*m - 1. Let q be 42/(-4)*4/6. Is r(q) prime?
True
Let f be 4/5*((-450)/(-12))/(-5). Is (-1)/(f/(-4)) - 4426/(-6) prime?
False
Let h = 49641 - 32242. Is h a prime number?
False
Let y(c) = -c + 2. Let s be y(0). Suppose -2*a - 1577 = -7*a + s*r, -4*a - r = -1272. Is a a prime number?
True
Let c(a) = -2*a + 0 + 7*a + 1 - a**2 - 3. Let y be c(4). Suppose 25 = 5*v - y*f, v - 7*f + 8 = -4*f. Is v composite?
False
Let d be -6*(-3)/9 + 912. Let v = d + -379. Is v composite?
True
Suppose -d - 4*a + 3 = -21, -58 = -2*d - 3*a. Let t be d/40*5/2. Suppose 4*k = -4*l - k + 730, t*k + 559 = 3*l. Is l a prime number?
False
Is (-269214)/(-165) + -2 + 14/10 a prime number?
False
Is (1 + -1694)/(1*-1) composite?
False
Let m = -30 + 26. Is (-1607)/m + (-6)/8 a prime number?
True
Suppose 8*g = 7*g + 5. Suppose h - 42 = -g*j, 3*h + 3*j = 5*h - 32. Is h composite?
True
Let d(c) be the first derivative of 37*c**2 - 5*c + 23. Let h = 0 + 2. Is d(h) a composite number?
True
Is 1/(186900/(-280404) - 2/(-3)) prime?
True
Let l(a) = 4055*a**2 - 36*a - 157. Is l(-4) composite?
True
Let t be 3/(-4) - (-23)/4. Let p(y) = -y**3 + 3*y**2 + 8*y + 2. Let v be p(t). Is ((-52)/1)/(v + 6) composite?
True
Is 295*(7 + (-288)/45) a composite number?
True
Let a(n) = -27*n + 4. Suppose 7*b + 40 = 3*b. Let q = 7 + b. Is a(q) a composite number?
True
Suppose 3*u + 5 = 8*u. Suppose -5 = 3*v + u. Is ((-49)/(-28))/(v/(-8)) composite?
False
Let f = 5620 + -3063. Is f a prime number?
True
Let x(c) = 19*c**2 + 25*c + 157. Is x(-9) a prime number?
True
Let w be -7*(2/(-2) + 2). Let r(y) = 191*y + 16. Let m(u) = -38*u - 3. Let a(h) = 11*m(h) + 2*r(h). Is a(w) prime?
True
Let o = -527 - -740. Suppose -6*f + 7*f - o = 0. Is f prime?
False
Suppose -5*n + 4*n + 99 = 0. Suppose r = 32 + n. Suppose 393 = 3*a + 5*f, a + f = -0*f + r. Is a composite?
False
Let n be (1 + 10/(-15))*-3. Is (-844)/(-8 - -4) - (1 + n) composite?
False
Let n be (49/(-4))/(1/(-4)). Suppose -3*u + 290 + n = 0. Is u a composite number?
False
Suppose 2*d - 5*d = -696. Suppose 3*z - 386 = d. Suppose -z + 1517 = 3*m. Is m composite?
True
Let q(i) = -i**2 - 5*i - 137. Let p(v) = v**2 + 4*v + 136. Let k(w) = -4*p(w) - 3*q(w). Let f be k(0). Let u = -56 - f. Is u a composite number?
True
Suppose -4*p - b + 6 + 15 = 0, -b = 3*p - 17. Suppose -6 - 14 = -2*r + 5*f, -2*r = -p*f - 16. Suppose 4*u + q - 1162 = 3*q, r = -2*q + 10. Is u prime?
True
Let c(o) = -2*o**3 - 46*o**2 - 4*o + 41. Is c(-26) prime?
True
Let h = -88 + 95. Is h*(21 + (-3 - -1)) composite?
True
Suppose -3*g - 32*g + 13895 = 0. Is g prime?
True
Let l(d) = 52*d**2 + 4*d + 15. Is l(-13) prime?
False
Let r(y) = -2*y - 168. Let d be r(0). Is -3 - d - 3 - 1 composite?
True
Suppose 7*g = 12*g. Suppose -683 = -3*x - 4*q, -3*x + 8*x - 5*q - 1185 = g. Is x a prime number?
True
Suppose o - 2439 = -5*s - 2*o, 4*o = s - 497. Suppose -2*u = u - s. Is u prime?
True
Let d(p) = 640*p**2 + 3*p + 1. Let a be d(-2). Suppose 3*b - a = -2*v, 2*v - 4261 = 6*b - 11*b. Is b a prime number?
True
Suppose 2*k = 4*s - 0*k, 0 = s - k - 2. Let f be s/(-6)*0 - -2. Suppose o - q - 204 = -f*o, 15 = -5*q. Is o composite?
False
Let x be (-36)/(-15) - 12/(-20). Let l be (-8)/x*(-39)/4. Let f = l + 0. Is f a composite number?
True
Let o(m) = 13165*m**2 + m + 5. Is o(2) a prime number?
True
Let v be (28/(-5))/(7/140). Let j = v + 191. Is j a composite number?
False
Suppose 0*t - 25 = -t - 5*v, 2*t - 2*v - 2 = 0. Suppose -2*j + 606 = -t*m, -863 = -3*j - 4*m - 0*m. Is j composite?
False
Suppose 39*w - 27042 = 33*w. Is w composite?
False
Suppose 2*g + 871 = 199. Let d = -80 - g. Sup