number?
True
Let s(t) = 36*t - 4. Let k be s(2). Let u = 85 - k. Suppose -u*z = -21*z + 124. Is z prime?
True
Let d = 299 - 291. Is (-189540)/(-32) - 1/d a composite number?
False
Let j be (8/(-22))/(6/(-33)). Suppose -j*o + 14766 = 4*a, 3*a + 3*o = 2*a + 3694. Is a a prime number?
True
Let g = 99 - 96. Suppose -g*h = 4*b - 0*h - 18467, 4*h - 18472 = -4*b. Is b a prime number?
False
Let f = -30855 - -65638. Is f prime?
False
Suppose 3 = -57*y + 58*y. Suppose y*j = 2307 + 2184. Is j a prime number?
False
Suppose -5*g + 2310 = 6*g. Let r = g - -1367. Is r a prime number?
False
Suppose -62 = -7*v + 29. Is -3 - (-3)/1 - (-4380 - v) a prime number?
False
Suppose 0 = -3*g + 4*q + 9035, g = 2*q + 3057 - 48. Is g prime?
False
Let b be 531 - (-5)/(20/16). Let a = b + -56. Suppose -q - 4*k + a = -182, k = -5*q + 3210. Is q a prime number?
True
Let u = 23 + -20. Suppose -5*k = 3*s - 9, -5*k + 4*s + 7 = 8*s. Suppose -k*w + 3354 = -u*p, -3*p + 2546 = 4*w - 1919. Is w composite?
False
Let m = -599 - -717. Suppose -117*o = -m*o + 7403. Is o composite?
True
Let b(f) = 897*f**2 - 516*f + 2. Is b(7) composite?
False
Is 53348 - (12/8)/(6/(-20)) a composite number?
False
Suppose -25 = -59*t + 54*t. Suppose t*s + 3 = -2*v, -7*s = -3*s + 4*v. Is (1916/8)/((3/(-6))/s) a prime number?
True
Let f(r) = 651*r**2 - 8*r - 11. Let y be f(-2). Let k = 4020 - y. Is k/2 - 18/(-12) composite?
True
Let h be ((-2324)/3)/(2/216*-3). Suppose -4*z + 28450 = -5*a, -3*z + 3*a - 6549 = -h. Is z composite?
True
Let u be (-24)/84 - 4*(-254)/28. Suppose -41*a + 14915 = -u*a. Is a composite?
True
Suppose 147*l - 391471 - 361435 = -7*l. Is l a composite number?
False
Let j be ((-9)/(-2))/9*(-34 + -6). Let o(h) = -514*h - 59. Is o(j) composite?
True
Let z be (-26)/8 - 57/76. Let u(m) = -156*m + 2. Let l be u(z). Suppose -i = -l - 3. Is i a prime number?
False
Is (10/(10/3))/1 + (53157 - -1) prime?
True
Let g(z) = -21*z + 57. Let m be g(-16). Let o = m + -216. Is o composite?
True
Let l = -39317 - -92796. Is l composite?
False
Let t(y) = 16*y - 120. Let m be t(18). Let g = 214 - m. Is g a prime number?
False
Let i(b) = 91189*b**2 - 87*b + 85. Is i(1) a composite number?
True
Suppose -6*q = -2302 + 610. Suppose 2*a - 1268 = 2*w, -a - 3*w + q + 352 = 0. Is a composite?
True
Let c = 232493 - -36530. Is c a composite number?
False
Let l = 873294 + 866857. Is l prime?
False
Suppose -55 = -8*z - 3*z. Let p be 4493 + 0 - (-5 - (-40)/z). Is 6/(-3) + (-1)/1 + p a composite number?
True
Let c = -473 - -322. Let p = c + 294. Is p composite?
True
Let l(v) = 987*v**2 - 6*v - 2. Suppose -j = p + 5, 3*j - 2*j - 5*p = 19. Is l(j) composite?
False
Suppose -14*v = -7*v - 21. Let z be v*2/(-21) - 23424/(-56). Let q = z + 325. Is q composite?
False
Suppose -4*n = 2*m - 179064, 3*n - n + 2*m = 89534. Suppose 9*v = n + 24256. Is v prime?
True
Let c(m) = 46*m**2 + 92*m - 212. Is c(-41) a composite number?
True
Let b be (-8 + (-312)/(-9))/((-1)/(-18)). Let c = 1158 + -599. Let o = c + b. Is o prime?
True
Suppose 126798 = 3*s - 5*w, 0 = -2*s - 2*s + 3*w + 169053. Let v = -24873 + s. Is v/16 - (-1)/4 a composite number?
False
Suppose 0 = 68*f - 62*f - 42. Let u(s) = 70*s**2 - 4*s + 5. Is u(f) a prime number?
True
Let p(d) = -d**3 - 3*d**2 + d - 7. Let k be p(-4). Let a(y) = 254*y**3 - 5*y**2 + y - 11. Is a(k) composite?
True
Suppose -49574 = -29*l + 25*l + 5*i, l - 3*i - 12383 = 0. Is l a composite number?
False
Let s(b) = 411*b + 10. Let o(f) = -1. Let v(n) = 3*o(n) + s(n). Let k be v(-5). Let h = 3015 + k. Is h a prime number?
True
Let z(n) = 211*n**3 - 33*n**2 + 55*n - 374. Is z(13) a composite number?
True
Suppose -397158 = -2*z - 3*s - 41012, 8 = 2*s. Is z a composite number?
False
Let n(z) = z**3 - 2*z**2 + 17*z + 88037. Is n(0) prime?
True
Suppose 294 = -c - c. Let w(j) = j**2 - 27*j + 70. Let g be w(32). Let l = c + g. Is l composite?
False
Let i(f) = 2*f**3 - 4*f**2 + 5*f - 5. Let a be i(2). Suppose w - 6 + a = 0. Let c(x) = 126*x**3 + 2*x**2 - 3*x + 2. Is c(w) composite?
False
Is (-919)/3*(209/11 - 76) prime?
False
Suppose 0 = i + c - 253131, -3*i + 5*i - 4*c - 506274 = 0. Is i a composite number?
False
Suppose -26132812 = -0*f - 44*f + 30396760. Is f composite?
False
Is (0 + 495906)*14/28 a prime number?
False
Suppose 31 = y + 28. Suppose -152 + 140 = y*k. Is (-2)/k + (-2714)/(-4) a composite number?
True
Suppose 191*f + 4*r = 196*f - 1146739, 1146697 = 5*f + 3*r. Is f prime?
True
Let t = -41 - -54. Let q(r) = 1 + 5 + 12 - t + 18*r. Is q(1) a prime number?
True
Let g be -1 + (1 + -5 - (-8 - -3)). Suppose g = 336*w - 327*w - 48609. Is w composite?
True
Let v be (-8 - 276/(-30))/(6/20). Let l(f) = 8040*f + 19. Is l(v) prime?
False
Suppose 0 = -8*d - 16 + 56. Suppose 4*z = -4*b + 4, 6*z - 13 = d*z + 2*b. Suppose 0 = 3*m + z*l - 1585, -7*m + 5*m + 1090 = -5*l. Is m a composite number?
True
Let v(g) = 11*g**2 + 40*g + 32. Let i = -96 + 117. Is v(i) composite?
True
Suppose -2*o = -1 - 3. Let a be 3 + -2 - (-4)/o. Let t(d) = 272*d + 5. Is t(a) prime?
True
Let j(y) = 44*y**3 - 4*y**2 - 5*y + 31. Let s be j(6). Suppose 15*z = -s + 86926. Is z prime?
True
Suppose -4*x + 93594 = 5*z, -3*z = -8*x + 12*x - 93598. Is x a composite number?
True
Let t = 1528540 - 1045751. Is t a composite number?
False
Let q be ((-14)/28)/(2 - 7204/3600). Let p = -4 - -6. Suppose 3*s = -p*s + 5*v + q, -3*s + 5*v = -272. Is s a composite number?
False
Suppose 0 = -q - 3*w + 16, -3*q + w = -8*q + 24. Suppose 0 = -q*d - 2*b + 514 + 1240, 0 = -d - 2*b + 437. Is d composite?
False
Suppose -4*m + 1 = -11. Suppose 2*d - 2967 = -m*i, -3*d = -4*i + 5*i - 4454. Is (8 - d)*((-3)/3)/1 a composite number?
True
Let q(f) = -f**2 + 12*f - 24. Let z be q(10). Let s be 244*83 - 4/z*-1. Suppose 0 = -6*h - 5*h + s. Is h prime?
False
Suppose -9*l - 15312 = -7*l. Let y = -2897 - l. Is y composite?
False
Let t be ((-25)/15)/((-4)/(-168)). Is (-196924)/t + (-5)/25 prime?
False
Let p(k) = 1020*k + 11. Let n be p(-3). Let j = -1238 - n. Is j a prime number?
True
Let d be 16/7 - (2 + (-84)/49). Let w be -3 + d/(-9)*12*-3. Suppose -3*c = 3*g + 2*c - 5909, 0 = -w*g - c + 9819. Is g composite?
True
Let j(w) = 48*w**2 + 14*w + 32. Let c be j(-11). Suppose -q + c = 1860. Is q a composite number?
True
Let n be (3 + -2 + -5)*96698/(-7). Suppose 0 = -209*f + 201*f + n. Is f prime?
True
Suppose 4*l + 4*m + 5688 = 8*l, 5693 = 4*l + m. Let k = 2769 - l. Is k prime?
False
Let h be (8/(-3) - -2) + 4548/(-36). Let r = h - -121. Is (-3812)/r*63/42 composite?
False
Let b(w) = w**3 + 13*w**2 - 16. Let o be b(-13). Let q = 207 + o. Suppose -3*r + 1768 = -q. Is r a prime number?
True
Let w be (-2 - -1064) + (-24)/8. Is 32 + -30 - w*-9 a prime number?
True
Suppose 54*g - 99*g - 2524520 = -53*g. Is g a composite number?
True
Let g = 122 + 186. Suppose 5*v = -s + 705, -s - g = -5*v + 407. Is v a composite number?
True
Let q(m) = -11*m - 143. Let z be q(-13). Suppose z = 2*y - 5*x - 11449, -18 = -3*x - 3. Is y a composite number?
False
Let f(o) = 55*o**3 - 14*o**2 + 43*o - 197. Is f(13) a composite number?
False
Let i be (-6645)/9 - 2/(-6). Is (2 + -4)*(i/4 + -4) composite?
True
Is (-4)/(-50) + 23733549/1575 composite?
True
Let t(f) be the third derivative of 5303*f**4/24 - 16*f**3/3 + 9*f**2 - 4. Is t(3) composite?
False
Suppose 0 = 15*z - 24*z - 1836. Let i = 209 - -438. Let t = i + z. Is t a prime number?
True
Suppose -2*q - q + 5*g = 0, 0 = 4*q + 5*g. Suppose q = j + 194 + 548. Let l = j - -1563. Is l a prime number?
True
Suppose 3*r - 2770427 = -4*r - 4*r. Is r prime?
True
Let s(p) = p**3 - 6*p**2 + 5*p - 4. Let x be s(5). Suppose 163*k - 158*k = 2*t + 1151, -2843 = 5*t - k. Is ((6/x)/3)/(4/t) a composite number?
False
Let k be (-1)/(-5) - (-5)/(-25). Suppose k = 5*a + 2*p - 1270, -a = -2*a - 2*p + 254. Suppose -2*v - 5*x = -492, -2*v = -3*x - 254 - a. Is v composite?
False
Let u(q) = 4877*q - 1283. Is u(8) composite?
True
Suppose -29*o = 55*o - 12360684. Is o a prime number?
True
Let d = 621436 - -1646191. Is d prime?
False
Suppose 0 = 2*s, -4*n + 87852 = -0*n - 2*s. Let m = n + -7356. Let w = 23152 - m. Is w a prime number?
False
Let h(w) = w - 1. Let s(x) = 105*x + 115. Let p(l) = 6*h(l) + s(l). Is p(10) a prime number?
False
Let b = 124 - 88. Let p = b + 111. Let f = p + 22