 f = t + -389. Let c = f - -326. Is c prime?
True
Let v(k) = 17*k**3 - 33*k**2 - 176*k + 143. Is v(23) composite?
False
Let c be (-20214)/(-15)*10 + (-1 - -2). Suppose -102744 = -7*m + c. Is m prime?
True
Let b = -135 - -132. Is (20413/6 - b)/(9/54) a prime number?
True
Let a(q) = 2*q + 62. Let n be a(-25). Suppose -2*r - 2*r = v - 16, 2*v + n = 3*r. Is ((-2)/(-5))/(r/2)*4385 prime?
True
Let o(u) = 1973*u**2 - 405*u + 6061. Is o(15) a composite number?
True
Suppose 3*a = 2*n + 626, -5*a = 3*n - 6*n - 1044. Let m(k) = k**2 - 16*k - 223. Let v be m(25). Suppose -a - 728 = -v*u. Is u prime?
False
Suppose -5*b - 3 = -3*f, -3*f + b + 6 + 9 = 0. Suppose -3*m + 12 = -f. Is (-1726)/(-6) + m/(-9) a composite number?
True
Is 2 + 112/(-44) + 40107005/209 prime?
True
Let h be -1*(0/9 + 0 + 0). Suppose -6*v - 2*o = -v + 80, h = -5*o - 25. Let a(l) = -l**3 - 11*l**2 - 20*l - 17. Is a(v) composite?
True
Let v(k) be the first derivative of 159*k**2 + 25*k - 116. Is v(10) a composite number?
True
Suppose -16*x + 3*n + 1254464 = -11*x, -x - 5*n + 250876 = 0. Is x a prime number?
False
Suppose 2*h = y - 2835, -1271 + 8366 = -5*h + y. Let f = -281 - h. Is f composite?
True
Let f be (-1 + (-377)/5)/(5/(-25)). Let t = 914 - f. Let c = 601 + t. Is c prime?
False
Let r = 383 + -389. Let i(t) = -7*t**3 - t**2 - 30*t + 1. Is i(r) a composite number?
False
Suppose 0 = p - 3*k - 386515 + 428, k = 5*p - 1930351. Is p composite?
True
Suppose 4*p - n = -53, 2*p + n + 10 = -9. Let j be p/3*1/1. Is 1*371*(4 + (j - -1)) composite?
True
Let c(w) = 41*w + 143. Let x = 157 + -149. Is c(x) a composite number?
True
Let g = -289 - -115. Is (230/69)/((-4)/g) composite?
True
Let c(p) = -3*p + 6*p - 3 - 3*p + 133*p**2 + 9*p. Is c(-5) prime?
False
Is (2/4)/(-2 + 0)*-1*117644 prime?
True
Let l = -50 + 408. Let a = 527 - l. Is a a prime number?
False
Suppose 0 = 4*t + 4*h - 7302 - 7426, t - 3674 = 3*h. Is t + -1 - (6 - 10) prime?
False
Is 5 - (-206)/(-42) - (-65565)/189 prime?
True
Suppose -132*l - 40*l = -49198106 - 103740338. Is l a prime number?
True
Suppose 0 = -2*r - 13*t + 10*t + 317534, 0 = -2*r + t + 317550. Is r composite?
True
Suppose -2*u = 3*s - 9647 - 48319, -u - 57966 = -3*s. Let x = s + -8869. Is x a prime number?
True
Suppose 0 = -2*n - 2*q - 86, -7*n = -3*n - 4*q + 212. Let w = -947 + 1004. Let y = w + n. Is y a prime number?
False
Suppose 3*u = -2*b - 1, 5*u + 3*b - 35 = 7*b. Suppose 3*s + 4*p = -8, -u*p = -3 + 18. Suppose 2116 = s*k - 2*k + 3*l, 0 = 5*k - l - 5307. Is k prime?
True
Suppose -7*z - 24 = -17. Is ((-1034)/(-5) - z)/((-3)/(-15)) a composite number?
False
Suppose -3*r + 2738 = -2*b, r + 4*b = -2*r + 2768. Let h be r/8*(4 + -2). Let f = h + -162. Is f prime?
True
Let y = 84 - 82. Suppose 1463 = y*p - 6231. Is p composite?
False
Suppose -25*f + f = -48. Suppose 5*z - 31340 = -f*s - 5053, -5260 = -z - 3*s. Is z composite?
True
Let d be -1 + ((-969)/(-68) - 6/(-8)). Suppose -31182 = 8*t - d*t. Is t a prime number?
True
Let r be -3*3/54*3*-14. Suppose -5*l + 6360 = 5*z, -l - 3*z = -r*z - 1297. Is l prime?
True
Suppose 5*x - 3*u + 3478 = -24, 5*x + 3509 = -4*u. Let r = x + 1348. Suppose a = -189 + r. Is a prime?
False
Suppose -5*k + 3*o + 23 = 0, 0*k + k = 3*o + 7. Let x be 141 + 0/(k - 2). Let c = 80 + x. Is c composite?
True
Is (7114970/(-80))/(-4 + (-62)/(-16)) composite?
False
Let m = -32910 + 64661. Is m a prime number?
True
Suppose 5*j = -269*r + 268*r + 2225848, 890329 = 2*j - 3*r. Is j composite?
False
Suppose -5*r = 2*s - 75, 2*s - 3*r = -2*r + 45. Suppose 0*o = -4*d + o + 1154, 0 = -3*o - 6. Let n = d - s. Is n a prime number?
True
Let m(k) = 76*k**2 + k - 6. Let w(o) = o**2 - 13*o - 9. Let n be w(14). Suppose -4*f + 5*f + n = 0. Is m(f) prime?
True
Let b = -11 + -6. Let u = b + 21. Suppose 0 = 3*f - f - 5*k - 555, 0 = -u*f - 4*k + 1040. Is f prime?
False
Let m = 2144 + -687. Suppose 5*n - 5*y - 2455 = 0, -3*n + m = 4*y - 3*y. Is n prime?
True
Suppose -41*m = -8113829 - 769046 + 775904. Is m a composite number?
True
Let t = 329388 + -229671. Suppose 3*g - t = 26910. Is g composite?
False
Suppose 5*n - 763202 = -8*n + 1195417. Is n composite?
True
Let x be 3 + 0 + 3 + 0/(-4). Suppose 6*i - 144 = -x*i. Suppose 14*h - i*h = 6158. Is h prime?
True
Let q(z) = z**2 - 9*z + 6. Let p be q(10). Suppose -4*a + p = 0, -3*c - c - 832 = 2*a. Let u = -117 - c. Is u prime?
False
Let l = -9092 + 12511. Is l a composite number?
True
Suppose 2*p - 134221 = -3*j, 7*p - 9*p + 134201 = -j. Is p composite?
False
Suppose -16 = -h + 4*u, -5 = 3*u + 7. Suppose -6*q + 16*q - 5900 = h. Suppose -5*k - q = -7*k. Is k prime?
False
Let g = 66 + -63. Suppose 0*t = -g*t + 864. Suppose 3*h + b + 0*b - t = 0, -9 = -3*b. Is h prime?
False
Let n = 42570 + -156438. Is (n/(-24)*2/3)/1 prime?
True
Let v be (-235)/(-20) - (-3)/(-4). Let a(s) = -s**3 + 12*s**2 - 11*s. Let q be a(v). Suppose q = -4*u - 0*u + 892. Is u composite?
False
Is (-1388*2533/(-68))/1 composite?
True
Let m be 31/(0 - 4/16). Let j = 420 + m. Is (10/(120/(-18)))/((-6)/j) composite?
True
Let t(b) = 7*b + 17. Let n be t(-3). Is (-1)/(-2) + (-15506)/n a prime number?
True
Let l = 671 + 1161. Let g = 287 + l. Is g prime?
False
Suppose -3*c + 80 = -10. Let s be (746/(-5))/(3 - 92/c). Suppose -873 = -v + 5*t - 286, -4*v + s = 2*t. Is v a composite number?
True
Suppose -11*y - 2482 = -10*y. Let s = -4830 - y. Is (s/(-20))/(1/5) a prime number?
True
Let b be 13214/(-12) + (-5)/(-30). Is (-28 + 30)*b/(-2) prime?
False
Let k(n) be the third derivative of n**6/120 + 29*n**5/60 - 29*n**4/24 + 8*n**3/3 + 52*n**2. Is k(-17) prime?
False
Let i = -355 + 347. Let n(r) = -8*r**3 + 12*r**2 - 3. Is n(i) composite?
False
Suppose -4*q + 12394 + 2726 = 0. Suppose 2*t - w - 1896 = 0, 4*t + 5*w = w + q. Let z = t - 426. Is z a prime number?
True
Suppose 188*n - 184*n = -5*a + 2910944, -4*n = a - 2910960. Is n prime?
False
Is ((-4525401)/(-285))/(1 + (-4)/5) composite?
False
Suppose -6*n - 6 = -12. Is (5 - (-77)/(-2))/(n/(-62)) composite?
True
Let z(f) = -372*f - 2. Let g be z(-19). Suppose y - g = -3*y - 5*a, -4*y + 2*a + 7080 = 0. Is y prime?
False
Let r be (-24)/(-18)*(-3)/(-4)*109. Let i = r - -129. Suppose 2*g - 1584 = -i. Is g prime?
True
Let i = 42678 + -22283. Is i prime?
False
Suppose -8*g - 8538889 = 2*i - 7*i, -3*g + 5123349 = 3*i. Is i a prime number?
False
Suppose d = 4*z + 204381, -6*d + z + 1226125 = -0*z. Is d a composite number?
False
Suppose -4*i - 3*f = 1, -13*i - 5*f = -11*i - 3. Is i + 9564/2 + 8 a prime number?
True
Let n = 24 - -1. Suppose -n*w - 14371 = -32*w. Is w prime?
True
Suppose 115 = 3*p + k, 2*k - 22 + 125 = 3*p. Let b(a) = 2*a**3 - 73*a**2 - 36*a + 46. Is b(p) a prime number?
True
Suppose 0 = f - 5*f + 72. Suppose f*x = 36*x - 126486. Is x a composite number?
False
Let l(k) = -4*k**2 + 152*k + 70. Let y(a) = -a**2 - a - 1. Let d(b) = -l(b) + 5*y(b). Is d(-56) a prime number?
True
Let l be (1/2)/((-1)/(-1990)). Suppose 148*p = 60*p. Suppose -3*n - f = -2971, n - 2*f + p*f - l = 0. Is n composite?
False
Suppose 0 = 3*d - 5*f - 1389491, 4*d + 7907*f - 1852636 = 7909*f. Is d a prime number?
True
Let c(k) = -k**2 + 20*k + 14. Let b be c(-24). Is (-5 + ((-12)/(-8) - -3))*b composite?
False
Let a be 4 - (-1 + 1/1 - -4). Suppose -5*v + 19449 = 4*b, 3*b + v + 6072 - 20656 = a. Is b a prime number?
True
Let r = 38 - 40. Let a be -4 + 8 + (r - -1). Let v(w) = 23*w**3 - 2*w**2 - 5*w + 1. Is v(a) a composite number?
True
Let i(c) = -14741*c - 2380. Is i(-3) a prime number?
True
Let f = 20 - 20. Let a be -19 + 2874 - (f + 4). Suppose 5*n = -i + 856, n = -5*i + a + 1357. Is i composite?
True
Suppose 279*y - 313*y = 238. Let j(n) = n**2 - 4*n**3 + 4*n**3 - n**3 - 5 - 14*n. Is j(y) a composite number?
True
Suppose -4*l + 4650 = 2*v - 280268, 3*v = -5*l + 427371. Is v a composite number?
True
Let a(g) = g - 6. Let p be a(6). Suppose -o + l - 11 = -2*o, p = -3*l + 15. Suppose -o*k - 586 = -4*w - 8*k, 0 = -k + 1. Is w composite?
True
Let f = 251 + -251. Suppose -5*v + 5*z + 39530 = -0*z, -v - 5*z + 7876 = f. Is v prime?
True
Suppose -322 - 632 = -3*l. Let r = 655 - l. Is r prime?
True
Suppose 2*d - 8272 = -2*i - i, -3*i = -3*d - 8292. Suppose i + 1232 = 2*w. Suppose 0 = -11*t + 7*t + w. Is t a composite number?
False
Suppose 2*u + 3*