 composite number?
False
Is 144/(-16) - (-4 - 0 - 145146) a composite number?
True
Let g be ((-7)/2)/((8 - 19)/(-88)). Is (64549/(-340) + 4/(-10))*g a composite number?
True
Suppose 3*j + 29*j = -169408. Let u = -1303 - j. Is u a composite number?
True
Suppose x = -4*j + 6*x + 87, 0 = -j - 5*x + 3. Suppose 2 = -4*q + j. Suppose h + h - 266 = -4*d, 0 = -q*d. Is h a prime number?
False
Let k(l) = 3665*l**2 - 50*l + 188. Is k(3) a prime number?
True
Suppose -21*b = -78*b - 10818765 + 29707254. Is b a composite number?
True
Let y = 6264 + -6264. Let v be 1/(-2) - 18/(-4). Suppose 5*j + 30575 = 3*c, v*c + y*j - 40772 = 4*j. Is c a prime number?
False
Suppose -23*y - 275715 + 810718 = 0. Is y composite?
True
Suppose 4*p - 29323 = 2*t + 354707, -4*p + 5*t = -384009. Is p composite?
True
Let t(q) = -2*q**3 - 11*q**2 - 23*q + 1. Let y = 126 - 137. Is t(y) a composite number?
True
Suppose -83*z + 27537925 = 4018298. Is z a prime number?
True
Suppose -14*k + 12 = -11*k. Suppose 4*p - 2596 = -q + 4032, -k*p + 16 = 0. Suppose 2985 = 3*c - q. Is c a composite number?
True
Let n(x) = 50*x**2 - 71*x + 638. Is n(9) composite?
False
Let n(y) = 3861*y**2 - 20*y + 78. Is n(7) a composite number?
False
Suppose -76 - 20 = -16*k. Let q(o) = 253*o + 71. Is q(k) a composite number?
True
Suppose -46*f + 5 = -179. Suppose 2*j = j - 8. Is (-39)/(-2) + (-1 - f/j) prime?
True
Is 2*(26/(-6) + 4) - 16566823/(-51) a prime number?
True
Let i = 83 + -79. Suppose -i*u - u + 3665 = 0. Is u composite?
False
Let t(j) = 38 + 47 + 46 - 185 + 3*j + 43. Suppose -3*a = -o - a + 8, -4*o = -4*a - 36. Is t(o) composite?
False
Let n(a) = 83*a - 1660. Is n(22) prime?
False
Suppose -2*y = -3*g + 417, -5*g + 328 = 4*y - 389. Let n = g - 142. Is (-1046*1)/n + 57/(-19) a prime number?
False
Let f = -153344 + 1359949. Is f composite?
True
Suppose 0 = -355*r + 371*r - 384848. Is r composite?
True
Let s = -143547 - -308356. Is s a composite number?
False
Let j = 94309 + -42450. Is j prime?
True
Let o(a) = -36*a + 12. Let u be o(-3). Let n = u - 77. Suppose -n*z = -42*z - 77. Is z a composite number?
True
Let r(v) = -v**3 + 10*v**2 + 12*v + 12. Let o(z) = -z**3 - 3*z**2 - 5*z - 5. Let q be o(-2). Let x be (0 - q) + 2 + 10. Is r(x) a prime number?
True
Let k be (-1163310)/2975 + (-2)/(-70). Let m(z) = 64*z**2 + 3*z. Let j be m(6). Let l = k + j. Is l a composite number?
False
Is (2 - -180946) + (0 - -7)*2/14 a prime number?
True
Suppose -13516 = -5*v + 3*x, -4*x - 4177 = -2*v + 1221. Is v a composite number?
True
Let x(a) = -50*a**3 - 3*a**2 + a + 3. Let i(j) = -101*j**3 - 5*j**2 + 2*j + 6. Let t(v) = -4*i(v) + 7*x(v). Is t(4) a composite number?
False
Let a be (-2)/(-6) + 1/(-3). Let u(b) = -b + 10. Let r be u(a). Let m(g) = 86*g + 18. Is m(r) a composite number?
True
Let f(w) = 236*w**2 + 1. Suppose -5*i + 13 = -4*z, 3 = 2*z + 7. Is f(i) prime?
False
Let i(g) be the first derivative of -g**2 + 217*g - 145. Is i(4) composite?
True
Suppose 920437 = 90*m - 122*m + 9770325. Is m composite?
True
Let o = -87 + 76. Let z = -9 - o. Suppose -2*r = -4*a - 1018, r = -4*r + z*a + 2553. Is r prime?
False
Let u(q) = 162*q**2 - 35*q - 220. Is u(-7) a prime number?
True
Let l(k) = k**3 + 138*k**2 + 174*k + 2755. Is l(-126) a composite number?
True
Let c(n) = -n**3 - 23*n**2 - 2*n - 39. Let p be c(-23). Suppose 0 = -p*d + 6*d - j + 9026, 3 = -j. Is d a composite number?
False
Let a = 5994 - 2303. Is a a composite number?
False
Let f = -6209 + 9496. Suppose -3*z = -1684 - f. Is z a prime number?
True
Let u(i) = -90*i. Let l be u(-1). Let p = l + -79. Let h(q) = 2*q**3 + 3*q**2 - q - 3. Is h(p) composite?
False
Let h(v) be the third derivative of -7/24*v**4 + 1/120*v**6 + 0 - 11/6*v**3 + 2/15*v**5 - 22*v**2 + 0*v. Is h(-6) a prime number?
True
Let p = -14348 - -1242721. Is p a composite number?
False
Suppose 0 = 3885*v - 3884*v + 3*q - 1981361, -4*v - 4*q + 7925380 = 0. Is v prime?
True
Let z(l) = l**3 + 12*l**2 + 22*l + 18. Let i be z(-10). Let a be i/(-9) + 492/(-27). Let x(h) = 12*h**2 - 18*h + 41. Is x(a) prime?
True
Is ((-49202608)/2350 + (-2)/(-25))*15/(-6) a composite number?
True
Let l be (-413)/(54/(-11) + 5). Is (-9)/6 + l/(-14) a prime number?
False
Let u(g) = -g**2 + 2*g + 4. Let n be u(2). Suppose -n*y = -k - 2956, 2*y = -k + 5*k + 1478. Is y a composite number?
False
Let g(l) = l - 5. Let s be g(8). Suppose -15 = 3*r - 3*n, 3*r - 2*n + s*n = -3. Let y(z) = 37*z**2 + 2*z + 1. Is y(r) prime?
False
Is 197/(-788) - 7076298/(-8) composite?
False
Let n = -16544 + 1800591. Is n a composite number?
True
Let s(c) = -675*c - 113. Let r be s(-9). Suppose 3*v + 4*o + 926 - 4493 = 0, o = -5*v + r. Is v a composite number?
False
Suppose 0 = 10*v - 714641 + 198812 - 915241. Is v prime?
True
Suppose 2*o = -2*o - 264. Let a = 109 + o. Let b = 105 - a. Is b a prime number?
False
Let t(f) = f**3 + 9*f**2 - 20*f + 22. Let c be t(-11). Suppose -3*v - 2*w + 3173 = c, 5*v - 6662 = w - 1352. Is v a prime number?
True
Let d = -944319 - -2949076. Is d prime?
True
Is (-2)/(-9 - (9 - (-311125)/(-17285))) a prime number?
False
Let v(h) = -5094*h + 473. Is v(-27) composite?
True
Let d(a) = -12943*a + 27. Let m be d(5). Is m/(-96) + (51/(-18) - -3) a composite number?
True
Suppose 24*y + 90 = 19*y. Let p be 3660/(-45)*y/(-4). Let g = -107 - p. Is g a composite number?
True
Let d = -208328 - -422585. Is d composite?
True
Suppose -38790070 + 9878118 - 4807461 = -91*a. Is a a prime number?
False
Is (-42)/(-70) + (-120152)/(-5) prime?
False
Suppose -9*m - 6*m - 120 = 0. Is (-5 - (m + 8)) + 2208 prime?
True
Suppose 46*u - 4128833 = 64*u - 37*u. Is u prime?
True
Suppose -4085*u + 4101*u = 4955312. Is u a composite number?
False
Let i = -83 + 44. Let a be (8/(-3))/(26/i). Is 1/a + (-3660)/(-80) a prime number?
False
Let u = -91912 + 130413. Is u composite?
False
Suppose -28*z + 425387527 = 153*z + 74889896. Is z composite?
True
Let t(y) be the third derivative of y**5/60 - 7*y**4/24 - 7*y**3/6 - 5*y**2. Let q be t(-7). Suppose q + 202 = h. Is h prime?
True
Let d be 5 - 9264/(-27) - (-2)/(-18). Let x = 458 + -208. Suppose 0 = 2*r - d - x. Is r a composite number?
True
Suppose 36 = 93*u - 95*u. Let g = u + 21. Is 1 + -7 + g + 1154 a composite number?
False
Let t = 3888243 + -2248350. Is t a prime number?
False
Let j be ((-6)/5)/(4/(-20)). Let l(v) = v**3 + 12*v**2 + 6*v + 16. Let y be l(-9). Let o = y + j. Is o composite?
False
Suppose 3*f - 4 + 7 = 0. Let b be (-11)/(-13) + f + 240/39. Let m(n) = 115*n - 11. Is m(b) a prime number?
False
Let r(l) = 353*l - 159. Let f be r(10). Suppose -5*u + f = -4*u. Is u composite?
False
Let v be 2/33*3 + (-159)/(-33). Suppose -4*g - v*h - 369 = -2510, -2*h = 4*g - 2150. Let x = 830 - g. Is x prime?
False
Suppose d = -623 - 895. Let f = -656 - d. Is f a prime number?
False
Let h = -61 + 64. Suppose 0 = h*b + k - 5*k - 26, 0 = -4*k - 20. Suppose 0 = 5*c + 5, 3*d + b*c - 1514 = c. Is d composite?
True
Suppose 189 + 414 = -3*x - g, -2*g + 994 = -5*x. Is (13798/5)/((-10)/x*8) a prime number?
True
Suppose -3*k = -3 + 6, 5*t - 2*k = 17. Suppose 0 = -t*n + 13*n - 20. Suppose n*a = u - 4*u + 1157, -a - 5*u = -568. Is a a composite number?
True
Suppose 0 = 3*k + 6*u - 4*u - 319651, 213106 = 2*k + 4*u. Is k a prime number?
False
Let t(d) = 2*d**3 - 2*d**2 + d + 4. Let v be t(2). Suppose -15*f = -v*f. Suppose f = q + 5*n - 562, -3*n + 556 = -2*q + 3*q. Is q composite?
False
Suppose -126*v - 595743 + 5617543 = -6326642. Is v a composite number?
False
Let u(f) = 5*f**2 - 31*f + 53. Let r be ((-9)/(-12))/(4/(-96)). Is u(r) a composite number?
True
Let k(x) = 142*x + 2572. Is k(15) prime?
False
Let m(l) = 30*l**2 + 9*l - 83. Let g = -69 - -83. Is m(g) composite?
False
Suppose 4*p - 23653 - 18088 = -5*f, -16682 = -2*f - 4*p. Is f a composite number?
False
Let g(m) = 166*m - 14 - 713*m + 304*m. Suppose 0*f = 4*f + 16. Is g(f) a prime number?
False
Let w(m) = m**2 - 3*m + 825. Let z be w(0). Suppose -5*d + z = -0*d. Suppose -5*l + 205 = -d. Is l a prime number?
False
Suppose -4*h + 2070680 = 4*k, -h + 128480 + 389197 = 2*k. Is h prime?
False
Suppose -4*x = 8, 4*i + x - 32160 = 3*x. Is i a composite number?
False
Suppose -63*n - 2235623 = -41*n - 45*n. Is n a prime number?
False
Is 14/252 + 2097754/36 composite?
False
L