/r*5/2 a prime number?
True
Let q be 295/(-95) + 2/19. Let p(h) = -4*h**3 - 2*h**2 + 4*h + 4. Is p(q) prime?
False
Let u(c) = 992*c**2 + 31*c + 421. Is u(16) composite?
False
Let h(i) = -38979*i + 10118. Is h(-25) prime?
True
Let i(k) = 110*k - 11. Let z be i(16). Is (z/(-12))/(-5 - (-19)/4) a composite number?
True
Suppose 3*b - 54656 = d, 4*d = -b + 10134 + 8089. Is b a composite number?
True
Let h be 1/2 + (-2)/((-4)/39591). Is -2 + (-28)/(-20) - h/(-10) a composite number?
False
Is 4 + 885594/15 - (-54)/(-90) prime?
False
Suppose -r + 2*v = r - 6, 5*v = -3*r + 1. Suppose -4*a = 4*x - 5605 - 10279, -x - r*a + 3974 = 0. Suppose -x = -n - 5*c, -3*c + 2*c = 3. Is n a prime number?
False
Let z = -35 - -49. Let c = z - 38. Is c/18*6/(-16)*998 a prime number?
True
Let l(w) = 2*w**3 + 7*w**2 - 27*w + 67. Let p be ((-16)/56 - (-237)/21) + 2. Is l(p) prime?
False
Let v = -9396 + -11635. Let z = v - -35204. Is z a prime number?
True
Suppose -3481*w + 3478*w + 1707357 = 3*p, 0 = 4*p - 5*w - 2276404. Is p a composite number?
False
Let g(m) = m**3 + 5*m**2 + 2*m - 6. Let h be g(-4). Suppose -15529 = -4*d + h*s - s, 0 = 4*d + 4*s - 15504. Is d prime?
True
Suppose 0*l - 92*l + 1254282 = 46*l. Is l a composite number?
True
Suppose -3*d - 2*p = -4*p + 2, -d - p = -1. Suppose d = 5*w + 1336 + 1034. Let z = -165 - w. Is z a prime number?
False
Suppose 7*z - 19*z = 9612. Let l = 1664 + z. Is l a prime number?
True
Let y = -23979 + 87190. Is y a composite number?
False
Let h = 135887 - 88560. Is h a composite number?
True
Suppose 2*q + 5*k = 6*k - 49843, -k = -3. Is q/(-6) + (-11 - 256/(-24)) a composite number?
False
Suppose -5*b - 5*o + 8*o = -241667, 3*b - 145023 = -2*o. Is b a composite number?
False
Suppose 0 = -5*r + 35, 52*p = 57*p - 2*r - 1650731. Is p prime?
True
Let h(n) = 949*n**3 + 10*n**2 - 16*n - 5. Let b(t) = -t**3 + 2*t**2 - 3*t - 1. Let r(z) = -5*b(z) + h(z). Let s(k) = -k + 1. Let q be s(0). Is r(q) prime?
True
Suppose -132*d - 2065 = -133*d. Let f = 150 + d. Is f composite?
True
Suppose 8*a = 3*a + 2*c - 95, 3*a + 2*c = -41. Let r(z) = -90*z - 71. Is r(a) composite?
False
Suppose -5*y - 790 = 650. Let x be (-8 + 1060/30)*(-102)/(-4). Let p = y + x. Is p composite?
False
Let o = -329 + 898. Let q = o + 253. Suppose q = -4*b + 7058. Is b a composite number?
False
Let a be ((-15)/20)/(3/(-7596)). Let k = a + -944. Is k a prime number?
False
Let c = 1090334 + -322219. Is c prime?
False
Let x(i) = i**3 + 2*i - 5. Suppose 6*j + 3 = 3. Let k be x(j). Let s(w) = 43*w**2 + 6*w - 2. Is s(k) composite?
True
Suppose 11275015 = 15*u + 2560300. Is u prime?
True
Is ((3352/(-4))/((-4)/(-97)))/((-1)/2) a prime number?
False
Let s(n) = 1749*n - 6484. Is s(27) a prime number?
True
Let x(v) = -v**2 + 9*v - 13. Let g be x(6). Suppose 0 = g*k - 3520 + 815. Let b = 987 - k. Is b composite?
True
Suppose -9*l + 5 = -8*l. Suppose 0 = 5*f - 3*f + l*b - 1468, -2*f + 1468 = -b. Suppose -5*r + q + 3720 = -4*q, r + q - f = 0. Is r prime?
True
Suppose -5*u + 21 + 29 = 0. Suppose -v - 105 = 4*a + a, 2*v - u = 0. Is 4/a + 17658/198 a prime number?
True
Suppose 13 = 12*z - 11. Let a = 3 - z. Let h(k) = 14*k**3 + k**2 + k - 2. Is h(a) prime?
False
Suppose -2653 - 4247 = -12*o. Let a = 1533 - o. Is a a composite number?
True
Let s = -40 - -105. Let t = 56 - s. Let w(x) = -x**3 + 12*x**2 + 4*x + 6. Is w(t) a prime number?
False
Let t(x) = -3441*x**2 - 21*x - 33. Let d(b) = -b**2 - b + 1. Let v(p) = 4*d(p) - t(p). Is v(-2) a composite number?
False
Suppose -48*q + 1839003 = -45*q + 3*i, 5*q = 4*i + 3065005. Is q a composite number?
True
Let u = -20 - -20. Suppose 0 = -g + 5*f + 5, -2*g + 2*f - 3*f - 23 = u. Is (-692)/1*g/(-8)*-1 prime?
False
Let m = 268 + -234. Suppose -m*z + 14189 = -33*z. Is z composite?
True
Let s(o) = o**2 - 5*o - 6. Let w be s(6). Suppose -30*u + 24*u - 186 = w. Let n = 940 - u. Is n composite?
False
Let l(v) = 3 + 13 - 3 - 82*v + 4. Is l(-33) a composite number?
True
Let l = 58 + -58. Suppose l = 7*k - 18187 + 3277. Suppose -2*v = 4*v - k. Is v composite?
True
Let r = 146 + -142. Is (-1)/r*(1 + -35765)/1 prime?
True
Let t = 68 + -122. Let h = t + 54. Suppose 0 = -h*q + q - 4*f - 483, 4*f = -4*q + 1912. Is q a prime number?
True
Let h(k) = -6*k + 40. Let l be h(7). Let q be 1 + l + -2 + 3521. Is q/14 - ((-30)/(-7) - 4) composite?
False
Let y(g) = -3*g**3 + 42*g**2 - 23*g - 1. Is y(-13) a prime number?
False
Let p(m) = 2372*m + 14467. Is p(110) composite?
True
Let v(i) = 119*i**3 - i - 4. Let u(a) = 118*a**3 - 3. Let o(k) = 5*u(k) - 4*v(k). Let t(n) = n**2 - 51*n - 104. Let s be t(53). Is o(s) composite?
True
Suppose -22*b + 0*b + 1342754 = -8*b. Is b a composite number?
False
Suppose 5*g + 13937996 = 4*i, 86*i + 5*g - 10453427 = 83*i. Is i a prime number?
True
Let g(v) = v + 6. Let t be g(-4). Let s(m) = -12*m - 764. Let h be s(0). Is (4/8 - t)/(6/h) a prime number?
True
Suppose -15*x + 17*x - 2210 = -4*r, 5*r = 5*x + 2725. Let j = r + -51. Is j prime?
True
Suppose 15*n = -0*n + 11085. Let f(y) = y**2 - 10*y + 13. Let i be f(9). Suppose i*h - 5751 = -n. Is h a composite number?
True
Let o be ((-2)/3 - 0)/(5/(-345)). Let y = 48 - o. Suppose y*r = 6*r - 3964. Is r a prime number?
True
Let k = 237 - -281. Let i = 868 - k. Let b = 1303 - i. Is b a prime number?
True
Let o(k) = 1649*k**2 - 1 - 2865*k**2 + 3*k + 1463*k**2 + 32. Is o(-5) composite?
True
Is (149494411/(-11))/(-11) + 7/1 + -3 a composite number?
True
Suppose -6 = 20*u - 18*u, -3*a - u = -39168. Is a a composite number?
True
Let j be 1932*((-280)/15)/7. Let y = j + 7611. Is y a composite number?
False
Let p(f) = -5*f - 159. Let x be p(-32). Is x*(-12)/(-30) + 126606/10 prime?
False
Suppose -5*r + 2180 = -44830. Is 46/23*r/4 a composite number?
True
Let f be (50 + -59)/(2/2). Is (91284/f)/((-44)/33) a prime number?
True
Let c(z) = -31*z - 3 - 191*z - 283*z + 74*z. Is c(-4) a composite number?
False
Let f(c) be the first derivative of 55*c**3/6 + 17*c**2/2 - 30*c - 26. Let x(s) be the first derivative of f(s). Is x(2) prime?
True
Let o = -874 + 1190. Let d = o + 1125. Is d a composite number?
True
Is (-60)/(-270) - (-2784801)/27 a composite number?
False
Let h = 27269 - -223260. Is h a prime number?
False
Let k(m) = -90*m - 597. Let r be k(-6). Let f be (20/16)/(2/(-32)). Let l = f - r. Is l a composite number?
False
Let g = -3846 + 87393. Is 0 - 3/(-12) - g/(-36) prime?
False
Suppose 22*c - 12 = 18*c. Is (-7726)/(-10)*(c + 10 + -8) a prime number?
True
Let i(d) be the first derivative of 7*d**4/4 - 10*d**3/3 - 2*d**2 + 27*d - 54. Is i(8) a prime number?
True
Let h = 28888 - 9006. Is 135/(-90)*h/(-3) a composite number?
False
Suppose 3*k + 3524 = -x, -4*x - 4 = -8. Suppose 60 = 9*q + q. Is q/(-8) - k/4 prime?
True
Let d = 56 + -35. Let l be (3/(6/(-358)))/((-7)/d). Is (-25 - 1)/(-2*3/l) composite?
True
Suppose 64344 = 6*k - 159102. Is k a composite number?
True
Let v(h) = 163*h**3 - 6*h**2 - 11*h - 1. Let u(f) = 2*f**2. Let a(p) = -4*u(p) - v(p). Is a(-4) a prime number?
True
Let m = -130496 + 187282. Is m prime?
False
Let c(x) = 334*x**2 + 5*x - 155. Is c(-14) prime?
True
Let d be 6/(-10) - (-52545)/75. Suppose 0 = 2*g + d - 8130. Is g prime?
False
Let m be -1 + (-22)/(-3)*3. Suppose 7*q - 60508 = -m*q. Is q prime?
True
Suppose -24*w + 138 = -w. Is w/(-39) - (-2335455)/117 prime?
True
Is 1166/143 + 4/(-26) + 218729 prime?
True
Suppose 248*v + 3744 - 673 = 249*v. Is v composite?
True
Suppose -2*k - 48 = -34. Let s(v) = -14*v**2 + 8*v + 8. Let q(f) = -28*f**2 + 16*f + 17. Let c(w) = k*s(w) + 3*q(w). Is c(13) a prime number?
False
Let c(x) = 6279*x**2 + 67*x + 151. Is c(-2) prime?
False
Let p = 1652 - 934. Let v = p + -119. Suppose -2*d = -15 - v. Is d composite?
False
Suppose -g - o = -2385660, -5*g - 763*o + 11928286 = -760*o. Is g a prime number?
True
Suppose 0*g + 36991 - 103437 = -2*g. Is g prime?
True
Let m(j) = 37*j**2 - 2*j + 41 + 3*j - j + 2*j. Is m(-6) a composite number?
False
Let l(y) = -9 + 47*y**2 - 5 - 5*y - 6. Suppose 15*c - 16*c = -6. Is l(c) a composite number?
True
Suppose -4*q + 20 = -0*q. Let p be 1/(15/(-6))*(0 + q). Is p/(-5) + (-38972)/(-20) prime?
True
Let m = -4 + 0. Let s = 2 + m. Let j(b) = 226*b**2 + 3. Is j(s) a prime number?
True
Suppose 13300 = -y - 5*f, y + 0*f = -4*f 