 prime?
True
Suppose 0 = 5*s - 3836 + 30126. Let b = 693 - s. Is b a composite number?
True
Is ((30/(-4))/(-15))/(6/(-25702752)*-8) a prime number?
True
Let f(s) = -s**3 - 9*s**2 + s + 11. Let k be f(-9). Let g(y) = 6*y**2 - y**3 + 1388 - 2*y**2 - 5*y**k + 2*y + 449. Is g(0) a prime number?
False
Suppose 50637 - 1113223 = -142*b. Is b prime?
False
Let a = 42 + -40. Suppose -672 = a*m + 5*m. Let w = m - -106. Is w a prime number?
False
Let h be (-3)/(1/2 - 1). Let p(w) = 15*w - 3 - 17 + 7*w**2 - 3*w - w**3 + 1. Is p(h) a prime number?
True
Let l(d) = -d - 5. Let a be l(-4). Let b(u) = -6*u - 2. Let m be b(a). Suppose -5*x - t = -6563, -t + 2*t = m*x - 5254. Is x a prime number?
False
Suppose -143*v + 1069189 + 2440375 = -755125. Is v composite?
True
Suppose -4*s + 4246 = -14702. Suppose -551 = 7*o - s. Suppose 4*x - o = 2*x. Is x a prime number?
False
Let x be (96/(-56))/(4/(-14)). Is 10041*(x + -2)/12 a composite number?
False
Let g(r) = 3346*r**2 - 190*r - 179. Is g(-33) prime?
False
Let q be ((-16)/(-24))/((-2)/(-9)). Suppose 5*x = -5*l - 10, -q*x + 0*x + 5*l = -34. Suppose x*y - 358 = 173. Is y prime?
False
Suppose 0 = 13*i - 6356 + 1390. Let s be 62/((-118)/(-38) - 3). Let o = i + s. Is o composite?
False
Let g(p) = -1010*p**3 - p**2 - 5*p + 17. Is g(-4) prime?
True
Is ((-760)/80)/(7/(-488194)) a composite number?
True
Let o = 462454 + -262227. Is o composite?
False
Let b(a) = -2*a**3 - 15*a**2 - 15*a - 4. Let k be b(11). Let r = k - -13773. Is r composite?
False
Suppose -12 = -4*f - 3*y, -7 = -f - 5*y - 4. Suppose j + f*d = 1719 - 86, 0 = -5*j + d + 8085. Is j prime?
False
Suppose 5*f = -u - 6 - 72, -2*f - u - 30 = 0. Let k(r) = -r**3 - 14*r**2 - 37*r - 25. Is k(f) prime?
False
Suppose 4*i - 12 = 16. Suppose -i*f + 0*f + 2*f = 0. Suppose 0 = -4*d + 4*p + 2644, -5*p + p - 8 = f. Is d a prime number?
True
Is (-1538)/(10/645*-3) prime?
False
Suppose 440*d - 18181454 = 394*d. Is d a prime number?
False
Let o = 58 - 55. Let v(h) = -43*h**3 - 7*h**2 + 4*h - 3. Let c be v(o). Is (-2 - 0) + c/(-1) a composite number?
False
Let q(o) = 58*o**2 - 5*o + 1. Let b be q(7). Let f be (3 + 25/(-15))*3. Suppose -t = -4*l + 5*l - 693, 0 = -f*t + 5*l + b. Is t prime?
False
Suppose 3*p + k - 941458 = -175375, 4*p = -k + 1021444. Is p prime?
True
Is -4 + (-306)/(-81) - (-484294)/18 composite?
True
Let c(k) = k**2 - 3*k - 2. Let u be c(4). Suppose 5*g = 3673 - 893. Suppose -u*h - 2*h = -g. Is h a composite number?
False
Let v(w) = 1787*w**3 + 4*w**2 - 107*w + 497. Is v(6) composite?
False
Let s(l) = -10*l + 30. Let d be s(10). Let g be 3/((-12)/8) - d. Is (g*3 + -1)*1 a prime number?
False
Let b(n) = 9263*n**3 - 13*n**2 + 5*n - 3. Is b(2) a prime number?
False
Let q(i) = -i**3 + 5*i**2 + i - 2. Let g be q(5). Suppose -217092 + 6252 = -g*v - 3*k, -5*k = 25. Is v a prime number?
False
Let u(b) = b**3 + 16*b**2 + 12. Let f be u(-16). Let y be 286/4*(f - 14). Let g = 261 + y. Is g a prime number?
False
Suppose 6*c = -8*c + 154. Suppose -12 = -3*n - 2*f, 3*f = 2*n - 3*n + c. Is n/(-5) - 8/((-40)/4147) prime?
True
Let l(r) = -5*r**3 - 3*r**2 + 5*r + 3. Let y(x) = -x**3 + x. Let f(s) = -l(s) + 6*y(s). Let w be f(-2). Is (2 - w)/(2/(-482)) a prime number?
False
Suppose 18*u - 539 = 1621. Suppose 0 = x - 1193 + u. Is x a composite number?
True
Let g be (7 - 5) + 5*8/20. Suppose m + 5297 = 4*m + 2*b, -g*b + 3518 = 2*m. Is m a prime number?
False
Let z(l) = 128*l - 4 + 3 - 3*l**2 - 131*l. Let d(j) = -2*j**2 - 2*j - 1. Let u(b) = -5*d(b) + 3*z(b). Is u(11) composite?
True
Let j(q) = 356*q**2 + 63*q - 11. Is j(-12) a prime number?
True
Suppose -2*m = 2*n - 5702, -11409 = -4*n + 11*m - 10*m. Let r = n - -2309. Is r prime?
False
Let m = 11364 - -318781. Is m composite?
True
Let w = -169 + 173. Is -1*((-4)/4 + w - 746) a prime number?
True
Is (3/2)/(-22 + 16255572/738888) prime?
False
Suppose -3*y = -5*g + 1, 4*y + 13 = -7*g + 2*g. Is y/3 - (-546900)/36 prime?
False
Suppose 0 = 4*u + v + 505, 2*u - 2*v + 260 = -0*v. Let i = -128 - u. Is (162/(-4) + i)/((-14)/812) prime?
False
Let q = 441 + -428. Let v(x) = 1106*x - 172. Is v(q) a prime number?
False
Let j(w) = 5*w - 12. Let g be j(3). Suppose -4*b + 36 = -b + g*m, -4*m = 8. Suppose -149 = -n + b. Is n a prime number?
True
Let d = -280034 + 1027075. Is d composite?
True
Let z = -128 - -132. Suppose 47 = z*w + 47. Suppose 0 = -5*a, w*a - 5*a = 2*q - 3386. Is q composite?
False
Let j(t) = -2*t**2 - 7*t. Let i be j(-2). Let y be (2 + i)/(-4) + 2. Is 586/6*(y + 3) a prime number?
True
Let p(w) = -4 + 19*w**2 - 7*w + 71 - 8*w - 4*w. Is p(5) composite?
True
Let u(f) = 3251*f**2 - 1257*f + 18. Is u(8) prime?
False
Suppose 3*n - 194390 = -7*n - 0*n. Is n a composite number?
True
Let j = 173613 + -101106. Is j a composite number?
True
Let v(o) = 5766*o + 29. Let d be v(1). Suppose 34*q = 53*q - d. Is q composite?
True
Let i(f) = 47280*f**3 + 3*f**2 - 23*f + 19. Is i(1) composite?
False
Let f = 3359 + -2124. Let i = f + -870. Is i a composite number?
True
Let p = -18 + 24. Suppose 1 = -2*m - l - p, 3*l + 3 = 0. Is (-2 - m/(-9))/((-5)/4215) a composite number?
True
Let q be 8/2 + (-1 - -2). Let h(t) = -14*t - 43. Let p be h(q). Let v = 236 + p. Is v a composite number?
True
Let l(u) = u**3 - 14*u + 61 - 30 + 13*u**2 - 48. Is l(12) a composite number?
True
Let l(d) = 2*d + 15*d**3 - 33 + 20*d - 2*d**2 - 2*d + 9*d**3. Is l(8) prime?
False
Let y(t) = -277*t**3 - 12*t**2 - 42*t - 134. Is y(-13) prime?
False
Suppose 11*z + 4 = 92. Suppose 0 = z*q - 57 - 5471. Is q prime?
True
Suppose -43*w = -34*w - 18. Suppose b - 1425 = w*p + p, -2*b + 2854 = -5*p. Is b a prime number?
False
Let s = -363 + 366. Suppose 3*v - s*b = 17307, -2*v - b + 17323 = v. Is v a prime number?
False
Is 2*(10 - (-1284153)/26) prime?
True
Suppose -5 - 25 = -15*u. Suppose -u*b = -18*b. Suppose 0 = 4*f - 5*z - 608, b = f - 5*f - 2*z + 636. Is f a composite number?
False
Suppose -3*z = 3*j - 3, 0*j + 5*j = 0. Let h(g) = -10*g + z - 14 - 2. Is h(-10) a composite number?
True
Let w(p) = -3038*p + 268. Let f be w(7). Let c = 33675 + f. Is c prime?
False
Let k = 16278 + -7428. Let w = -5293 + k. Is w a prime number?
True
Let i = 22 + -24. Is ((-25)/i + -1)*23*2 composite?
True
Suppose -11 = r - k, -5*k + 40 = -4*r - 2*k. Let t = -4 - r. Is (1 - t)/(2/(-3)) + 1244 prime?
False
Let s(b) = -1 + b - 8*b + 0*b**2 + 8*b - b**2. Let q(d) = 34*d**2 + 6*d - 2. Let k(v) = q(v) - 5*s(v). Is k(-2) prime?
True
Let m = -28108 - -48084. Suppose -3*d - 15 = 0, -2*g - 2979 = -3*d - m. Is g a composite number?
True
Is 2363*145 + 240/(-54) + 12/27 a prime number?
False
Suppose 0 = 7*x - 8*x + 31082. Suppose x = 24*p - 24526. Is p a prime number?
False
Suppose -5*j + 2990 = 8*j. Suppose 2*q = t - 115, -4*q + 5*q = 2*t - j. Suppose -2*r + 3 + t = 0. Is r a composite number?
False
Is (-3)/((-8116624)/(-2029168) - 4) prime?
True
Let y(c) = 16*c + 96 - 36 - 81*c - 50. Is y(-33) a composite number?
True
Let x(s) = -s**2 - 5*s + 8. Let a be x(-6). Is 2/a - ((-9 - -4) + -205) prime?
True
Let r be (95/171)/((-5)/(-6))*6. Let i(f) = 43*f**2 + 1. Let t be i(-5). Suppose 4*p = o - 0*o - 281, -4*o + r*p + t = 0. Is o composite?
True
Suppose 14*o = -2*o + 17*o - 144979. Is o composite?
True
Suppose 0 = 3*m + 5*k + 12, -5*m - 10 = -0*m + 5*k. Is (-23098)/6*6*m/(-2) a composite number?
False
Suppose 5*w + 43903 = n, w - 69400 - 106170 = -4*n. Is n/15 - (2 - (-42)/(-15)) a composite number?
False
Is (-19 - -37516)*(4/1)/12 prime?
False
Let k = -82 + 79. Let l(m) = -98*m**3 - 4*m**2 - 10*m - 7. Is l(k) a composite number?
False
Let n(d) = 44*d**3 + 5*d**2 - 152*d - 1. Is n(10) a prime number?
True
Let x(l) be the third derivative of l**5/10 - l**3/6 - l**2. Suppose 62*o + 371 = -125. Is x(o) prime?
True
Let d(f) = -52*f + 37 - 121 - 54. Is d(-38) prime?
False
Let r(o) be the first derivative of o**2/2 - 3*o + 1. Let x be r(3). Suppose -24*i + 23*i + 1061 = x. Is i a composite number?
False
Let t be 22183/(-15) + (-12)/90. Let x = t - -2110. Is x prime?
True
Suppose 3*x - 3207 = -3*s, 5*x + 2*s - 6659 = -1317. Suppose 4*t - x - 10664 = 0. Is t composite?
True
Is ((-1964716)/13)/(-4) - 2 composite?
False
Is 8085 + (((-57)/(-12))/(-19))/(2/32) composite?
False
Let o(m) = -m**3 + 12*m**2 + 44*m - 345. Is o(-50) prim