d + 163, 4*d + h = -3*y + 257. Is y composite?
False
Let x be (1*1/2)/((-12)/(-48)). Suppose -4*l + x*i - 110 - 102 = 0, -4*l - 4*i = 224. Is (-36)/l + 3/(18/3434) composite?
True
Let v(j) = 124*j**2 + 3*j - 1. Let f be v(-3). Suppose -2*l = -4*r - 2204, -2*r + f = l - 6*r. Suppose l = 7*n - 3011. Is n prime?
True
Suppose 0 = -4*f - p + 19458 + 31588, -3*p - 63799 = -5*f. Is f a composite number?
True
Suppose y - 3*u - 1 = -8, 0 = y - u - 1. Suppose -5*w + y*v = 10*v - 54710, -2*w = -2*v - 21888. Is w prime?
False
Let h(s) = -4858*s + 25. Let z(l) = -l - 4. Let k(t) = -h(t) + 6*z(t). Is k(2) a prime number?
False
Let p(b) = -109*b + 167. Suppose 2*x = 3*z - 25, -3*z + 51 - 2 = -5*x. Is p(x) composite?
False
Suppose 0 = j + d, 8 = -j - 2*j - 5*d. Suppose 3400 = -0*n + j*n + 3*o, -2*o = -n + 861. Is n a composite number?
False
Let a(l) = 7426*l - 633. Is a(25) a prime number?
False
Suppose -150*x + 153*x + 2871 = 0. Let u = 1592 + x. Is u + -1 + 2 + -3 a prime number?
False
Let p = 79 - -4691. Let s = p - 3064. Is s prime?
False
Is (-9)/24*46658/3*-4 a composite number?
True
Let r = 1156 + -1154. Suppose 0 = 2*v - 4 + 2. Is (-1 + r)*(0 - v)*-377 a composite number?
True
Suppose 0*u = -10*u + 60. Suppose u*m = -5*m - 55. Let z(c) = -519*c + 4. Is z(m) composite?
True
Let g(n) = 50*n + 1. Let b be g(-4). Let d be 9/(b/(-98) + -2). Let l = 737 - d. Is l a prime number?
True
Let w(a) = 270*a + 1341569. Is w(0) a composite number?
True
Let s(l) = 315*l**2 - 20*l + 335. Is s(-52) prime?
False
Let w(m) = m**2 + 28*m + 91. Let c be w(-14). Suppose -x = 2, 0 = 2*k - 0*k + x - 382. Let a = c + k. Is a a composite number?
True
Let g(c) = -c**3 + 4*c**2 - 12*c + 11. Let x be g(-12). Suppose -x = -4*p - 3*i, -4*p + 4*i + 2452 = -0*p. Is p a composite number?
True
Let u(c) = 65347*c**3 + 4*c**2 + 45*c - 49. Is u(1) a prime number?
False
Let m(t) = 750*t - 52. Let r be m(-3). Is (r/(-5))/(43/(-5) + 9) a composite number?
False
Let c(i) be the first derivative of i**3 - 19*i**2/2 + 25*i + 62. Is c(-12) prime?
False
Suppose -42*w + 26*w = -1571248. Is w a prime number?
False
Let y(o) = -71*o - 44. Let v(s) = 1. Let k(w) = -v(w) - y(w). Is k(12) a composite number?
True
Suppose -97*h + 2935813 = -650180. Is h a prime number?
False
Let k = 596265 + -208214. Is k composite?
False
Let p = -5257 + 126228. Is p prime?
False
Suppose -8467724 - 6922608 = -367*v - 894199. Is v a prime number?
True
Is ((-6)/21)/(28/(-1502830)) prime?
False
Let a be -1 + 3 - (7 + 270/(-10)). Suppose 14*w = a*w - 664. Is w a composite number?
False
Suppose -x = -z - 99, -3*x = -11*z + 10*z - 297. Suppose 0 = -94*i + x*i - 9235. Is i prime?
True
Suppose -o = 3*i - 2, -4*i + 4*o = -2*i - 20. Suppose 4*n + i + 2 = 0, -4*z + n = -833. Let d = -63 + z. Is d composite?
True
Let j(s) = 2*s**3 - 21*s**2 - 3*s + 42. Let l be j(17). Suppose q + 4 = 0, -4*u + l = 3*q + q. Is u - (-3 + 5 - -2) prime?
True
Suppose -7*f + 176079 = -597722. Is f a composite number?
False
Suppose 0 = a - 3*y - 56173 - 4018, 5*a - 300923 = -y. Is a composite?
True
Let a(k) = -39*k**2 + 4*k - 1. Let r be a(1). Is r/(-48) - 125092/(-16) composite?
True
Let b(p) = -1546*p - 237. Is b(-5) composite?
True
Let y be 1596/(-19) + -1*3/(-1). Let o = -74 - y. Suppose -o + 53 = 2*a. Is a composite?
False
Let v(j) = -j**2 - 12*j - 9. Let k be v(-9). Suppose -3 - k = -3*l - x, -2*x = 2*l - 14. Suppose -467 - 576 = -l*q. Is q a prime number?
True
Suppose -14*w - 2016 + 182 = 0. Let g = 47 - w. Is g prime?
False
Suppose 3*x - 3*o - 75 = 0, 0*x = 5*x + 5*o - 145. Suppose -z + 3*t + 12 = 0, 0 = 3*z - t - 1 - x. Is 4907*1/z + 4/(-18) a composite number?
True
Let n(w) = 47*w - 7. Let d be n(-5). Let z = 299 + d. Is z prime?
False
Let s(a) = a**3 - 9*a**2 + 14*a + 2. Let q be s(7). Suppose q*g - 2*c - 504 = 0, -1009 + 0 = -4*g + 5*c. Is g a composite number?
False
Suppose -34*r + 31*r + x = -268747, 268759 = 3*r - 4*x. Is r a composite number?
True
Let r(m) = -m + 16. Let d be r(-8). Let v = d - -106. Is 0 + (v - 2) - (-1 - -2) composite?
False
Suppose -201*l - 10360 = -191*l. Let o(k) = -672*k + 1. Let m be o(-1). Let t = m - l. Is t composite?
False
Let f(b) = 10*b**2 - 38*b + 695. Is f(22) a prime number?
False
Let s(f) = f**2 + 36*f - 1. Let j be s(-36). Is (-91404)/(-18) + j + -8 a prime number?
False
Suppose 6*d + 10*d - 888720 = 0. Let p = d + -35732. Is p a composite number?
False
Let l = 21 - 22. Let w = -1 - l. Suppose w = -4*b + 405 + 471. Is b prime?
False
Suppose -9 = -14*r + 5*r. Let s(v) = 1260*v**3 + 2*v**2 - v + 1. Is s(r) composite?
True
Let h(i) = -2*i - 31. Let t be h(-15). Let r be (3/6)/(t/24). Let b(u) = -99*u - 21. Is b(r) a composite number?
True
Suppose 3*v - 8 = -2*r, 0 = 5*v + r - 25 + 7. Suppose 4*o - 5*i + 13 = -39, -44 = v*o - 3*i. Is (-674*6/o)/(1/2) a prime number?
False
Let n = 118809 + -70890. Is n a prime number?
False
Suppose 0 = 4*s + 5*x - 26672 + 1294, 4*x = 8. Let t(m) = 245*m**2 + 9*m - 1. Let l be t(-4). Let r = s - l. Is r composite?
False
Is (0 + 0 + 1)*(7 - -5616) a composite number?
False
Let v be ((-417)/27*-3)/((-2)/12). Let o = v + 949. Suppose -6*s + 523 = -o. Is s a composite number?
False
Let f = 426401 - 19740. Is f a composite number?
False
Suppose 3005273 + 1450517 = 10*z. Is z a prime number?
False
Suppose 5*v + 5*y - 15850 = 0, -36*y - 56 = -44*y. Is v a composite number?
False
Suppose 6*t = -2*g + t - 14, 3*g + 4*t = -7. Suppose -4*j + 5702 = q - 3*q, -4284 = -g*j + 3*q. Is j a prime number?
True
Let v be (28/21)/((-6)/(-18)) - 0. Suppose s + 2*m - 8 = 0, 3*s = -3*m + 16 + 2. Suppose 3*q + 2301 = v*p + 6*q, 0 = s*p - 3*q - 2283. Is p a prime number?
False
Let r(k) = 27*k**3 - 6*k**2 - 21*k - 31. Let t(y) = -40*y**3 + 8*y**2 + 32*y + 46. Let a(w) = 7*r(w) + 5*t(w). Is a(-9) a prime number?
True
Let g = 65113 - -34594. Is g prime?
True
Suppose 49393 = 4*t + w, 4*t + 2*w = -t + 61742. Suppose 2*z - l - t = 0, -5*z + 1825 = -4*l - 29048. Is z a prime number?
True
Let b = 70 - 76. Let o(a) = -526*a - 31. Let f(m) = -525*m - 31. Let r(n) = b*f(n) + 5*o(n). Is r(4) prime?
True
Let z(q) = 9*q + 30. Let b be z(-3). Suppose 0 = -5*v + 25, b*v - 600 - 5658 = -3*j. Is j prime?
True
Suppose -37*c + 16708749 = 145*c + 104707. Is c prime?
False
Let j(i) = -8*i**2 + 4*i - 22. Let p be j(7). Let r = 2418 + p. Suppose 3*h = h + 4*a + r, 0 = 4*h - a - 4029. Is h a prime number?
False
Let y(s) = -6386*s - 157. Let a be y(-21). Suppose 29*p - a - 227130 = 0. Is p composite?
False
Let v(g) = -780*g**3 + 3*g**2 + 41*g + 27. Is v(-11) a prime number?
True
Let r be 4708*((-45)/10 - -7). Let v = r - 6033. Is v composite?
False
Let c(l) = 2*l**3 - 66*l**2 - 39*l + 188. Is c(43) a composite number?
False
Let q(l) = 673*l - 14. Let u be q(5). Let v = u + -698. Is v composite?
True
Suppose -5*z + 3737 = -4258. Is (40 + z)*(-2 - (2 + -5)) a composite number?
True
Let f(h) = 13*h**2 + 5*h - 13. Suppose -2*v - 5*d = v - 131, 4*v + 3*d = 193. Let s be 1 + v/6 + (-3)/(-9). Is f(s) a prime number?
False
Let i(m) = 8*m**2 - 2*m**2 + 3*m + 2*m**2 + 11*m + 1. Let w be (-2 - -4) + 8 + -24. Is i(w) a prime number?
True
Suppose -4*a + 1029450 = -4*k - 240378, 12 = -2*k. Is a a prime number?
False
Let a(t) = -t + 1. Let g(w) = 184*w - 16. Let r(j) = -a(j) + g(j). Is r(3) prime?
False
Suppose -16*n = 2*n - 245628. Let w = n - 5611. Is w prime?
False
Let u = 301 + 378. Suppose -3*j = j + 1160. Let f = u + j. Is f prime?
True
Suppose 4*f - 3*c = 27, -f - c + 0 = 2. Suppose v - 120 = -5*x + 6189, f*v - 4*x = 18851. Is v prime?
False
Suppose 16*b = 30*b - 42. Suppose -b*s = -335 - 14620. Is s a composite number?
True
Let o(f) = 4*f - 4. Let d be o(2). Suppose -d*y + 4*j = -3 - 1, 4*y + 2*j = -8. Is 7605/(-18)*8/(-10) + y a prime number?
True
Let m = 1449 + 710. Is m a composite number?
True
Suppose 2*o + 34 = -4*l, 3*o + 7*l - 10*l = -24. Let d(y) = -2384*y + 85. Is d(o) a prime number?
True
Suppose 0 = 4*p - 2*p - 2248. Let c = p - 632. Is c + (0 - -2) + 2 + 1 a composite number?
True
Suppose -12*v + 7986 = -3*u - 16*v, -5*v - 2673 = u. Let j = 525 - u. Is j prime?
False
Suppose 16 = 9*h - 5*h. Suppose 0 = -2*t, h*c - 2*t - 7316 = -4*t. Is c a composite number?
True
Suppose 2*q = -5*w + 188, -8*q + 196 = 5*w - 4*q. Is 2/(-8) -