/6 + 29*x**2. Let b be v(13). Is 83/b*(-2 + -3 + 2) prime?
True
Let j(u) = u**3 + 39*u**2 - 3*u - 55. Let x be j(-39). Suppose 4*t - 284 = 4*l, -t + 0*t = -4*l - x. Is t composite?
True
Let t be (-6)/24 + (-486)/8. Let q = t - -68. Let s(m) = 12*m**3 - 10*m - 1. Is s(q) composite?
True
Let i = -106 + 72. Let f be 36 + i + (-194)/(-2). Let j = f + 110. Is j a prime number?
False
Let a(i) = i**3 - i**2 + 4. Let y be a(0). Suppose y*w - 2243 + 379 = 0. Suppose -2*n + 4*n = w. Is n prime?
True
Let j(g) = -46*g - 2. Let p be j(5). Let z = p - 234. Let n = -275 - z. Is n a prime number?
True
Let k(m) = -4*m**2 - 9*m - 28. Let t(d) = -4*d**2 - 8*d - 27. Let c(f) = -6*k(f) + 5*t(f). Let a = -569 - -559. Is c(a) prime?
True
Suppose -3*v - 5351 = -4*b - 4*v, -5354 = -4*b + 2*v. Let m = b - 205. Is m composite?
True
Suppose 17 = 4*i + 5. Let z be 22785/28 + i/12. Suppose 4*j - 8*j = 2*d - z, 4*d - 1628 = -4*j. Is d a prime number?
False
Let f = -223616 + 382903. Is f composite?
False
Let k = 83 - 146. Let n = k + 66. Suppose 472 = n*y - 5*p, -4*y + 2*p = -345 - 261. Is y composite?
False
Let m = 1192192 + -650991. Is m a composite number?
False
Suppose -60*s - 84*s + 281015196 = 94275564. Is s a prime number?
True
Suppose 3*q = 2*d + 9, 3*q = -2*q + 5. Let r be (-2 + 36028/8)*(-4)/d. Suppose -8*p - 330 = -r. Is p a prime number?
True
Suppose -37*b + 116059 = -93768. Is b a prime number?
False
Let f(v) be the second derivative of 155*v**4/12 + v**3 - 5*v**2 + 67*v. Is f(6) a composite number?
True
Suppose 238147 = -25*w + 6296672. Is w prime?
False
Let l(u) = 27122*u - 126. Let o be l(13). Suppose -24*y + o = -4*y. Is y a prime number?
True
Suppose -3*a + 567721 = 2*g, -49*a = -54*a - g + 946197. Is a a composite number?
False
Suppose -88*o + 2024546 = 19*o - 10329567. Is o a composite number?
False
Let w(a) = -a**3 - 26*a**2 + 3*a - 1. Let x(z) = -3*z + 33. Let j be x(22). Is w(j) composite?
False
Let a = 100 - 92. Suppose h - a*h + 20251 = 0. Is h prime?
False
Suppose -239*q - 269405 = 243*q - 487*q. Is q a composite number?
False
Suppose -6*m = -5334 - 4290. Let s = -371 + m. Suppose 2*h + s = 3*a, -4*a + 0*a - 2*h + 1658 = 0. Is a a prime number?
False
Suppose -4*a - 5*j = -273575 - 189999, -5*a - 5*j = -579475. Is a a prime number?
True
Let l = -17264 - -7940. Let t = l - -13111. Is t a composite number?
True
Let x = 27042 - -5009. Suppose x + 60811 = -18*o. Let k = o + 9094. Is k prime?
False
Let v(g) = -1996*g - 1599. Is v(-32) composite?
False
Suppose 39196 = 2*g + 2*z, -3*g + 2*z + 82096 = 23307. Is g composite?
False
Suppose -63*u + 65*u - 11*s - 5123 = 0, -2*u + 5188 = 2*s. Is u composite?
True
Suppose 3 = 4*v + 2*p + 5, -3*v + 2*p + 16 = 0. Suppose -2105 = -3*s + z - 5*z, v*s + z - 1405 = 0. Is s a composite number?
True
Let w(k) = 191782*k - 369. Is w(1) composite?
False
Suppose s - 7 = -2*z - 2, 0 = 5*z + s - 14. Suppose 2*x - 20 = 3*r - z, x - 11 = 4*r. Is x a prime number?
True
Let h = 141859 + -91778. Is h prime?
False
Let h(t) = 12 - 20 + 8*t**2 - t**2 - 11*t + 25 - 29*t**3. Is h(-6) composite?
False
Let f = 53 - -104. Let h = 1511 - f. Is h a prime number?
False
Suppose 4*a = b - 3945, -16*a + 19693 = 5*b - 20*a. Is b prime?
False
Let v be 1068/96 + 2/(-16). Let d = 532 - v. Is d prime?
True
Suppose 0 = -0*r + 4*r - 3*j - 8, 0 = -j. Suppose -30 + 36 = -r*z. Is z/(-8) + 0 + 14858/16 a prime number?
True
Let x = 4284 - 2609. Suppose 12832 = 3*k + x. Is k a prime number?
True
Let b(t) = -272*t - 21. Let s(d) = -d - 1. Let o(j) = b(j) - 4*s(j). Let r be o(8). Let n = 4084 + r. Is n prime?
False
Let b = -817 + 817. Suppose -2*n - 2*p = -62576, -2*n = -b*p - 3*p - 62561. Is n composite?
True
Suppose 2*j - 45 = -25. Suppose j*a - 5*z = 9*a + 1429, 0 = a - z - 1437. Is a a prime number?
True
Suppose -4*c + c = -7*c. Suppose 0 = 3*r - 51 - c. Suppose 25*x - 17192 = r*x. Is x a prime number?
False
Let i = -5722 - -10977. Suppose 5291 = 3*q + 4*d + d, -3*q + 4*d = -i. Is q composite?
True
Let m(n) = -2*n**2 + 22*n + 7. Let w be m(10). Is (-17)/153 - (-473070)/w prime?
False
Let s = -18356 + 46279. Is s a composite number?
True
Suppose 0 = 2*u + 5*b - 5461 - 9161, 4*u - 29244 = -5*b. Is u composite?
True
Suppose 34*i - 38*i - 284 = 0. Let c = i - -77. Suppose d = -c*d + 7819. Is d composite?
False
Let v(g) = -3*g**2 - 3*g - 1. Let d be v(13). Let w = d + 1418. Is w composite?
True
Is (9/2 + 1)*(8946 + 16) a prime number?
False
Is 73492/(-10)*(21/(-10) + (-156)/390) composite?
True
Suppose 0 = -0*r - r + 7. Suppose -657 = -r*w + 694. Suppose 5*m - 3*b + b - w = 0, 3*m + 2*b - 119 = 0. Is m composite?
True
Suppose 80*r = 79*r + 3627. Suppose 0 = -5*v - 3*f + 18148, v - 3*f + f = r. Is v prime?
False
Let n = -15506 - -33039. Is n a composite number?
True
Let a(k) = 4*k**2 + 6*k + 4. Suppose -l + 14 = 21. Let h be a(l). Suppose 0*q = 2*q - h. Is q a prime number?
True
Let w be (2 - 5)/12 - 102/(-24). Suppose -16*m = -14*m + 3*r - 4603, -w*m = 2*r - 9226. Is m composite?
False
Let f = 5166 + 67913. Is f composite?
False
Suppose 169*a - 84*a = 132*a - 24482911. Is a composite?
False
Let r = 38 - 77. Let y = -38 - r. Is (-9581)/(-7) - y*(-8)/28 a prime number?
False
Let o = 239 - 249. Is 25440/200 - (-2)/o a prime number?
True
Suppose 93287 - 217984 - 163362 = -19*l. Is l a prime number?
True
Let w = -145859 + 266752. Is w prime?
False
Let v(r) = -368*r**3 - 4*r**2 - 105*r - 626. Is v(-7) a prime number?
False
Let h be (1103 - 1) + 1*-2. Suppose 0 = -c + 5*j + 238, 5*c - 8*j + 13*j - h = 0. Is c a prime number?
True
Let y(f) = -23456*f + 745. Is y(-6) a composite number?
False
Let g = 48 + -50. Let v(z) = z**3 + 5*z**2 + 6*z + 3. Let d be v(g). Suppose 2*b - 265 = -d*y, -6*y + y - 4*b = -441. Is y a composite number?
False
Let d(w) = 466908*w**2 + 239*w + 240. Is d(-1) composite?
False
Suppose -2*u - y + 2 = -3*u, 8 = u + y. Let g be (22/4 - u)*-66. Let p = g + 278. Is p prime?
True
Let p(h) = 176*h**2 + 19*h - 3. Let d be p(3). Suppose 16*k - 13*k - x - d = 0, 0 = -3*k - 3*x + 1650. Is k prime?
True
Let i = 98787 + -47144. Is i a composite number?
True
Suppose 5*i = 8*w - 6*w + 3050, -2*w + 1220 = 2*i. Let l = i + 1471. Is l prime?
True
Suppose -53*s + 25835030 = -445709. Is s a composite number?
True
Suppose 88*w - 89*w = -2. Let l(x) = -2*x**2 + 3*x - 13 + 7 + 0*x**w - 2*x**3. Is l(-5) a composite number?
False
Is 8/68 + (-41349538)/(-34) + 20 composite?
True
Is (303510/(-24) + -7)/(12/(-16)) composite?
False
Suppose -5*b - 9241523 = -5*g + 1496802, -4*g - 5*b = -8590642. Is g prime?
False
Let n(v) be the first derivative of 12*v**2 - 90*v - 24 + 43*v - 28*v. Is n(27) prime?
False
Let z be (-4 - -113593) + 6 + (-2)/2. Suppose -2*v + z = 24*v. Is v a prime number?
False
Let h(y) = -1167*y - 5. Suppose 2*c = -2*c + 16. Suppose 14 = -c*q - 10. Is h(q) a prime number?
True
Let z = 273 - 231. Is (-1154*182/z)/((-4)/6) composite?
True
Suppose b - 1671 = -4*h + 1297, 4*h - 2968 = 5*b. Suppose 5*q - 7*q + 3*m = -h, 378 = q - 5*m. Is 1/((-3)/(-9)) + q a composite number?
True
Is 5 + (-2)/6 + (-9 - 55000/(-3)) composite?
False
Suppose z - 2*m + 8856 = -5*m, -5*z - 4*m - 44258 = 0. Let p be (21/14)/((-1)/14). Is 20/35 + z/p composite?
True
Let g be 24/44 - (-251544)/88. Suppose 5*f + 5*u = 3*f + 1906, 5*u + g = 3*f. Is f prime?
True
Let d(z) = -z**3 - 9*z**2 - 13*z + 10. Let k be d(-7). Let s(m) = 131*m**3 - m**2 + 5*m - 4. Let g be s(k). Suppose 7*l - g = 360. Is l a prime number?
True
Let t be (-3)/(-5 + 20) - (-61)/5. Let f be (-12)/1 + t + -10. Is 4/6*(-825)/f prime?
False
Let n = -220 + 222. Suppose n*l = -j + 11782, -4*j + 3*j = 0. Is l a prime number?
False
Suppose 0 = -44*m + 50*m - 6. Is m/4 - (7 + 77751/(-36)) a composite number?
False
Let a(c) = 7874*c**2 - 17*c + 430. Is a(7) composite?
True
Is (1/2)/(1*((-221)/7642466)/(-17)) a prime number?
True
Let v be ((-120)/(-2))/(20/3670). Suppose v = 4*t + 1118. Is t a prime number?
True
Let p = -151 + 171. Is (0 - -6813)*(7 + p/(-3)) a prime number?
False
Let a = 34498 - 3675. Is a a composite number?
True
Let x = 8478 + -3741. Suppose -3458 = -5*z + x. Is z composite?
True
Let j(l) = -2*l**3 - 34*l**2 - 123*l + 22. Is j(-25) a prime number?
False
Suppose -24*n = -74134 - 280442. Suppose 5*j + 7357 = 2*