= 572. Let u = 612 - c. Is u prime?
True
Let q = 488 - 489. Suppose -5*w = -0*w + 5. Is (1/(1 - q))/(w/(-74)) prime?
True
Let l(t) be the third derivative of t**6/60 + 5*t**5/12 + 2*t**4/3 + 2*t**3/3 - t**2 - 5*t. Is l(-11) prime?
True
Let l = -41296 - -73365. Is l a prime number?
True
Let q = 15906 - -109251. Is q composite?
True
Let v(g) = 2*g**2 + 25*g - 1. Let n be v(-13). Let c(a) = 277*a + 47. Is c(n) a prime number?
True
Let q = 161 - 157. Suppose 0 = -3*h - 5*g + 4833 + 13630, q*g + 16 = 0. Is h composite?
True
Let p be ((-1601)/(-1))/(4/(4 + 0)). Let z = p + 257. Is z a composite number?
True
Is (0 + 6/(-12))*(-7 + -860779) composite?
False
Suppose -47*l + 3145811 = -16*l + 856554. Is l a composite number?
False
Suppose 6*l - a - 5 = 2*l, -6 = -2*l + 4*a. Let u(c) = 14*c**3 + 2*c**2 - 2*c + 1. Let m be u(l). Suppose -6*w = -m - 75. Is w a composite number?
True
Let q(z) be the first derivative of 12*z**3 + 5*z**2/2 - 22*z + 81. Is q(7) a composite number?
False
Suppose -10*j + 7*j = 4*q + 1067, j = 4*q - 345. Let k = j + 372. Is k a prime number?
True
Suppose 5*x - k - 648534 = 0, 129708 = x + 11*k - 10*k. Is x composite?
False
Let s be (-1)/(-2) + (-3426)/30*90/36. Suppose 0 = h - 96 - 818. Let v = s + h. Is v a composite number?
True
Suppose 625*h - 646*h = -761271. Is h a composite number?
False
Suppose -k - 134201 + 417432 = 0. Is k a prime number?
False
Let c = -85 - -90. Suppose -2305 = -4*m - 5*n, c*m + 5*n - n - 2870 = 0. Suppose 7*f = -m + 4105. Is f a prime number?
False
Let v = 215 - 145. Suppose v = 2*d + 2054. Is d/(-8) + 6/2 prime?
True
Suppose 45*k = -3*m + 46*k + 5, -2*m + 15 = -3*k. Suppose -5*r = -m*l - 3*l + 38572, -l - 4*r = -12829. Is l composite?
True
Let d = -579 - -2344. Suppose 3*k = -d + 4288. Is k composite?
True
Suppose 58*u = 76*u. Suppose 2*i + 3*f - 19870 = u, 5*i + 4*f = 36061 + 13628. Is i a composite number?
False
Let j(l) = l**3 - 5*l**2 + 3*l - 12. Let m be j(5). Suppose m*g = -2*i + 7487, 2*i + 4*g = 5*i - 11205. Is i a composite number?
False
Suppose g = 2*u + 149, 2*g + 140 = 3*g - 5*u. Suppose 11*f = 1163 - 492. Let a = g - f. Is a composite?
True
Suppose 0 = -l + 4*r + 1145, -21*l - 5*r = -19*l - 2277. Suppose 6*f - l = 1925. Is f composite?
True
Let t(o) = o**2 + 26*o + 90. Let k be t(-22). Let z(h) = 609*h**2 - 8*h - 3. Is z(k) prime?
True
Let p(j) = -j**3 + 11*j**2. Let a be p(11). Suppose 4*w + 7974 = 5*x, -6*w + w - 5 = a. Is x a composite number?
True
Let i be 7903 + -6 - ((-5 - -2) + 0). Is i/75*(558/8)/3 composite?
True
Let b = -169 + 476. Let s = b + 790. Is s a prime number?
True
Let r = 280 + -285. Is r*(-1)/(-15*2/(-57966)) a composite number?
False
Let t(w) = -w**2 - w - 2. Let i be t(0). Let z be 6*1*(10/(-4) - i). Is z + (10028/14 - (-4)/(-14)) a prime number?
False
Let y = -5 + -117. Let k = y + 122. Suppose -7*i + 3994 + 2593 = k. Is i a composite number?
False
Is (1/4)/(74/211924456) composite?
False
Let r be (-17204)/(-6) - 4*(-4)/24. Let c = r + -711. Suppose -x + 4*x - c = 0. Is x a composite number?
False
Suppose -152 = -11*g - 878. Let q = g + 73. Suppose -4594 + 975 = -q*a. Is a composite?
True
Let s(q) = 21*q**3 + 13*q**2 - 45*q - 4. Let a(t) = -3*t - 22. Let c be a(-9). Is s(c) composite?
True
Let v be (7 + -3 - 3)*0. Let n be (5/(-2) - v)*16/(-20). Suppose -n*w - s + 2019 = 0, 1940 + 69 = 2*w - s. Is w a composite number?
True
Let g be 5*27/(-180)*(-2 + -1010). Let t = 1258 - g. Is t prime?
True
Suppose 15*t + 5*t - 494320 = 0. Let p = -15409 + t. Is p prime?
False
Let d(v) = -2*v**3 - 7*v**2 - 5*v + 5. Let q be d(-7). Let l = q - -106. Suppose m - l = -2*m. Is m composite?
False
Let i = 3848 - 35707. Let v = i - -49410. Is v a prime number?
True
Let x = 174 + -26. Suppose 114*g - 39 = 101*g. Suppose -x = -g*q - q. Is q a prime number?
True
Let v(j) = j**3 + j**2 + 44. Let f = 10 - 10. Let w be v(f). Is w*((-13)/(-4) - 0) prime?
False
Let i be 4 + (-1)/((-2)/(-8)*2). Let z be i + 63 + 33/11. Let o = z - -186. Is o prime?
False
Let t(u) = u**3 - 6*u**2 - 18*u + 103. Is t(40) composite?
False
Suppose -6*s - s = -28. Suppose -6*n + 27 = -4*n - 5*u, -s*n + 81 = -u. Is n a composite number?
True
Let x(j) = -25*j**2 - 17*j - 2. Let f(t) = 13*t**2 + 8*t + 1. Let o(l) = -3*l + 10. Let z be o(5). Let d(h) = z*f(h) - 3*x(h). Is d(6) prime?
False
Suppose 3*q - 6*q = -21, 0 = -5*g - 2*q + 1742749. Is g a prime number?
True
Is 31293 + (-61 + 1)/(-6) a composite number?
True
Let c = -30357 + 1551. Is (c + (9 - 5))/(-2) prime?
True
Let g(k) = 6753*k + 48. Let j be g(17). Suppose -3*s - 18*s = -j. Is s prime?
False
Let m(y) = -19 - 3342*y**2 + 3339*y**2 - 19*y - 234*y**3 + 6*y. Is m(-2) composite?
False
Let m(p) = 226*p**3 - 16*p**2 - 71*p - 56. Is m(13) a composite number?
False
Suppose 5*c = 4*c + 4. Suppose 0 = -c*h - h. Suppose h = 6*s - s - 6805. Is s prime?
True
Suppose -3*p + 6351 - 53 = x, -4*p + 3*x = -8406. Suppose -p + 21287 = 7*t. Is t a composite number?
False
Let q = 97554 - 51383. Is q a composite number?
False
Suppose 19 - 3 = 4*k. Suppose 16 = k*p, 2*u - 3*p - 8624 = -2*u. Is u a composite number?
True
Suppose -6 = -4*d + 7*d. Let b be 6/d*(6 - (-66)/(-9)). Suppose -1911 = -3*z + 3*l, 1 = b*l - 15. Is z a composite number?
False
Suppose -78 = -3*j - 6. Suppose 115755 = -9*q + j*q. Is q a composite number?
False
Suppose 55*k + 94*k = k + 47371988. Is k composite?
False
Suppose 4*x + 19 = 5*n - 12, 3*n - x = 13. Suppose -5*m - 3638 = -3*k, n*m - 3 = 6*m. Is k prime?
False
Let p(r) = 31*r**2 + 6*r + 3. Let l be (-7)/(-2) - (-30)/20. Let k be p(l). Suppose -3*d - 250 = 3*i - k, 960 = 5*i - d. Is i a composite number?
False
Suppose 5*n - 4*n - 4*l - 21 = 0, 0 = -l - 3. Suppose q + q - n = -5*i, -5*i = 5*q. Let r(j) = 722*j - 5. Is r(i) prime?
True
Suppose 1677 + 2112 = -9*q. Let d = -206 - q. Is d composite?
True
Let b(g) = g - 1. Let m be b(4). Let o be 279/(16/(-24) + 85/105). Suppose -o + 5304 = m*a. Is a a prime number?
True
Let y(b) = -6*b**3 + 20*b**2 + 31*b + 33. Let f(a) = 2*a**3 - 7*a**2 - 10*a - 11. Let q(s) = -11*f(s) - 4*y(s). Is q(8) a prime number?
True
Suppose 9 = -6*z + 27. Suppose -5*t = -5*r - 55, 0*r - z*t + 3 = 2*r. Let f(m) = -m**2 - 17*m + 8. Is f(r) composite?
True
Let p(g) = -29*g**3 + g**2 - 5*g + 49. Let y = 43 - 53. Is p(y) a composite number?
True
Let v(w) = -1661*w - 85. Let m(i) = -3*i**3 + 6*i**2 + 3*i + 6. Let b be m(3). Is v(b) a prime number?
False
Let u(s) = 128*s - 89. Let w be u(11). Let x = -686 + w. Is x prime?
False
Let o(g) = 17*g**3 + 48*g**2 - 11*g - 7. Is o(32) a prime number?
True
Let m(v) = -203*v**2 - 2. Let a be m(1). Let n = a + 618. Is n prime?
False
Suppose 9*w - 5*z = 7*w + 430, 0 = -5*w - 3*z + 1013. Let k(h) = -5*h - 18. Let d be k(18). Let p = d + w. Is p a composite number?
False
Suppose -19290 = -6*u + 13020. Suppose m = -5*s + 5*m + u, 0 = 5*m. Suppose c = 4*f - 3976, f - 4*c - s = -68. Is f composite?
True
Let c(w) = 7*w**2 + 13*w - 3. Let k be c(10). Let f = 1186 - k. Is f prime?
True
Let l(m) = m + 14. Let d be l(-11). Suppose -5*x + 2664 = -d*g, -x - 3*x = 4*g - 2144. Is (4/(-6))/((-4)/x) a prime number?
True
Let n(a) = 59*a + 2. Let w(f) = -f**3 + 2*f**2 - f - 38. Let o be w(0). Let g = -35 - o. Is n(g) prime?
True
Let h(u) = -u**2 + 2*u. Let v be h(0). Is 10666 + -3 + v/6 composite?
False
Let o(j) = 16*j**2 - 7*j - 12. Let q(w) = w**3 - 5*w**2 - 9*w + 20. Let u be q(6). Suppose -u*k + 0*k - 11 = p, -3*k = -3*p + 30. Is o(k) prime?
True
Is (-4030902)/(-72) - (-5)/20 a prime number?
False
Suppose -14*j + 112 = -0*j. Let v be -1 - -2*((-28)/j + 3). Is (v/(-2) - -337) + -1 prime?
True
Suppose 2494577 = 3*h - 2*a, 3*a = 84*h - 80*h - 3326101. Is h a prime number?
True
Suppose -48*k - 111601 = -155*k. Is k a prime number?
False
Let q = -36623 + 62640. Is q composite?
False
Let x = -57 - -131. Let r = x - 67. Let t(b) = 15*b**2 - 13*b + 5. Is t(r) prime?
False
Let i = 920 - 457. Let f = i - 209. Is f a composite number?
True
Suppose 31*i + 277 = 32*i. Suppose 2010 = k + i. Is k a prime number?
True
Let h(c) = 98*c - 37. Suppose 3*f + 2*b = 26 - 0, 0 = -3*f - 5*b + 38. Let z be h(f). Let i = z + -24. Is i a prime number?
False
Let x(t) = -1. Let f(k) = 2*k + 6. Let l(g) = f(g) + 3*x(g). Let d be l(0). Suppose -s