 -4*x - 149989 = -w, -3*x + 131506 + 18490 = w. Is w a prime number?
True
Suppose 3*f + 18*o = 15*o + 157914, -2*o - 52635 = -f. Is f prime?
False
Let y be ((-41558)/66)/((-1)/6). Let x = y + -2297. Is x composite?
False
Suppose 5*i = 30, -226*i - 60902 = -5*t - 228*i. Is t composite?
True
Let o(u) = 1560*u**2 + 28*u + 641. Is o(-18) composite?
True
Let x(r) = 3582*r**2 - 49*r - 27. Is x(4) composite?
False
Suppose 653867100 = 269*i + 271*i. Is i a prime number?
False
Suppose 120*j - 8432115 - 7975125 = 0. Is j a composite number?
False
Let r(o) = -4*o - 4*o + 10*o - 16*o + 2. Let n be r(2). Is n/(-91) - (-12414)/14 a prime number?
True
Let l = 140703 - -93680. Is l composite?
False
Suppose -33*p + 29*p = -5*m + 287319, 57459 = m + 4*p. Is m composite?
True
Suppose -5*y = 3*k - 1021601, 408642 = 2*y - 129*k + 131*k. Is y composite?
False
Let b(c) = 3*c**2 - 4*c + 4. Let d be b(10). Suppose d*l + 1324 = 268*l. Is l composite?
False
Let l be 6/(-22) + (-4338200)/(-275). Suppose -l = -41*h + 86848. Is h composite?
False
Let t = -332829 - -541138. Is t composite?
False
Let r(k) = 9*k**2 - 22*k + 137. Let b = 399 + -391. Is r(b) prime?
False
Let q(k) = k**3 - k**2 - 14*k + 13. Let d be q(6). Suppose 88*j = d*j - 284613. Is j a composite number?
False
Let s(w) = -w + 7. Let l be s(-3). Let d be 4/l - 1490/(-25). Let c = d + 151. Is c a composite number?
False
Let k be ((-5)/15)/(1/6). Let c be (-4)/(32/(-9378)) + k/8. Is ((-6)/12)/(((-10)/c)/5) a composite number?
False
Suppose -1395923 = -40*q + 934117. Is q a prime number?
False
Suppose 0 = 3*m - 0*m - 4*u - 12, -m = -4*u - 4. Suppose m*i = i + 18. Let h(d) = 8*d**2 - 15*d + 1. Is h(i) prime?
True
Let j(i) = i**2 - 2*i + 9. Let r be j(3). Suppose 31978 = -8*l + r*l + 5*s, 2*l - 16002 = 4*s. Is l a composite number?
True
Let p = -454 - -459. Suppose 0*x - 4*x = 5*s - 32826, 4*x - 32846 = p*s. Is x a composite number?
False
Let k(w) = 3304*w**3 - 2*w + 1. Let a be k(1). Suppose -5*u = -i + 3289, 13*i + 2*u - a = 12*i. Is i a composite number?
False
Suppose -2*l + v + 619094 = 0, 5*l - 722133 = 3*v + 825602. Is l a composite number?
True
Suppose a - u = 2*a + 57, -2*a - 4*u - 124 = 0. Let r = 32 + -69. Let d = r - a. Is d composite?
True
Let h(r) = 397*r + 0 - 393*r + 91*r**2 + 1 - 3. Let o be h(-8). Suppose 5*c - o = -1235. Is c prime?
True
Let o be ((-4)/(-2))/(22/(-6) - -3). Is 1908/(-4)*1/o a prime number?
False
Is (-493645)/3*((-154)/14 + -3 - -11) composite?
True
Let z(t) = t**3 - 15*t**2 + 13*t + 19. Let g be z(14). Suppose 2*i + 2*c = -2*i + 37094, 5*i = -g*c + 46365. Let k = i + -5627. Is k a prime number?
False
Let l = -15375 - -15377. Let p(r) = 284*r + 6 + 2 - 3. Is p(l) composite?
True
Let z be (0/4)/(10/(-2)). Suppose z = 5*s + 3*x - 32741, -x - 19310 - 13423 = -5*s. Is s a composite number?
False
Let u = -189 - -191. Suppose -u*v = -3079 - 9199. Is v a composite number?
True
Let i be (-3)/15 + (-16241)/(-5) + 2. Suppose 5*f + 40053 = 4*y, -5*f = -3*y + 26796 + i. Is y a composite number?
False
Suppose -5*g = 5*o + 25, o - 4*g - 20 = -0*o. Let n(s) = s**3 - 9*s**2 + 8*s - 28. Let x be n(9). Is (o + x/8)*22 composite?
True
Let r = 96379 - 57308. Is r a composite number?
True
Suppose -233*i = -219*i - 711074. Is i prime?
False
Suppose 20 + 8 = 4*i. Let u be (-28821)/18 + (i/(-6))/(-7). Let o = -210 - u. Is o a prime number?
False
Let w(x) = -x**3 - 18*x**2 - 3*x - 12. Let j be w(-18). Suppose j*u - 13*u - 15689 = 0. Is u composite?
False
Let a(h) = -397*h**3 + h**2 - 7*h - 4. Let s be a(2). Let v = s + 7401. Is v a prime number?
True
Let v = 157 + -148. Suppose v*t - 3342 = 6*t. Is t composite?
True
Is (7/(-3))/(42/(-3475206)) a composite number?
True
Suppose -6*v = 4*f - v + 18607, -3*f = -v + 13979. Let z = f + 1227. Let o = z + 6498. Is o a prime number?
True
Let p = 88140 + 100901. Is p prime?
True
Let l(b) = 261*b**2 + 167*b - 3611. Is l(21) a composite number?
False
Let m(c) be the third derivative of 61*c**6/60 + c**4/24 + 5*c**3/6 + 3*c**2. Let a be m(3). Let v = -307 + a. Is v a composite number?
True
Is -2 + (-4 - -2) + (-3646860)/(-20) a prime number?
True
Let c(b) be the first derivative of -b**3/3 - 9*b**2 - 37*b + 27. Let l be c(-16). Let n(t) = -2*t**3 - 3*t**2 + t - 7. Is n(l) a prime number?
True
Let v(w) = 3*w - 2. Let l be v(2). Suppose -3*f + 4*r + 7 = 6*r, -f + 4*r + 21 = 0. Suppose -f*i + 795 = 5*p, l = -4*p + 12. Is i prime?
True
Is -3*(-34693)/((7 - 6) + 2) composite?
False
Let p(d) = -244*d**3 - 11*d**2 + 10*d + 14. Let h be p(-5). Is (-58)/(-1)*h/174 prime?
False
Suppose -9*i - 6 - 3 = 0. Let f be ((-2)/i)/(1/(-148)). Let b = f + 483. Is b a composite number?
True
Let w = -12180 + 29370. Let s = w - 6631. Is s prime?
True
Suppose 6*z = 21*z + 15. Is (356/(-20))/(z/185) composite?
True
Let o be (0 - 6 - 39)*2/(-6). Is o/12 - (-27594)/24 a composite number?
False
Let g = 6038 - -110713. Is g prime?
False
Suppose 4*j - 3342*c - 422461 = -3345*c, 5*j = 2*c + 528105. Is j composite?
False
Let l = 76941 + 25772. Is l prime?
False
Let n(d) = 7*d**2 - 12*d - 290. Is n(-17) prime?
False
Let s = -283 + 271. Is -1 - 0 - 205*1*s a prime number?
True
Let z(d) be the first derivative of 7*d - 25/2*d**2 - 11. Is z(-6) a composite number?
False
Let l(w) = -w**3 - 3*w**2 + 3*w + 1. Let b be l(-4). Suppose j + 25 = -4*j, 0 = 2*c + b*j - 4011. Is c a prime number?
False
Suppose -4914 = -g + 18462. Suppose g = 18*p - 6*p. Let i = p + -351. Is i a composite number?
False
Suppose 9*n - 3*n = -1008. Let p be (n/(-18))/((-6)/(-9)). Suppose -t + 279 = -p. Is t a prime number?
True
Suppose -5*n - 3*g - 15 = -6*g, -g + 5 = -2*n. Suppose 0 = -a, -r + n*r - 5*a = -3. Suppose -r*v + 2*h + 3611 = 0, -6*v + 7*v + 2*h = 1209. Is v composite?
True
Let p(d) = d**3 + 5*d**2 - 25*d - 17. Let i be p(-8). Let c(f) = -3*f**3 - 5*f**2 + 15*f - 10. Is c(i) a prime number?
True
Suppose -8*b - 5*o - 103534 = -10*b, -b + 51811 = 3*o. Is b composite?
False
Is 6/30*224545 + (0 - 6) prime?
False
Is 41623 + (-6 - -66)/(-10) a prime number?
True
Let y(r) = 4*r**3 + 8*r**2 - 5*r - 4. Let g be y(-4). Is (-196)/g + (-86634)/(-8) composite?
False
Is ((-8)/(-12))/(5/(-5) + 8327746/8327742) a prime number?
False
Suppose 2*d - 2*p = 98598, -p + 147913 = -76*d + 79*d. Is d composite?
True
Let s be -7*(14/(-49) - 0). Suppose 19*d + s*d = 81879. Is d a composite number?
True
Suppose 1637 = g - 1988. Let h = g + -1996. Suppose 6*z - h = 1293. Is z a prime number?
True
Suppose 17*j + 530524 = 21*j. Is j a composite number?
False
Suppose -2381 = -6*t + 1033. Suppose 2*l = 5*s + 625 - 48, -5*s + 4*l - t = 0. Let o = s - -164. Is o a composite number?
False
Let i(k) = 4164*k - 163. Let n be i(19). Suppose 16*z = 9*z + n. Is z composite?
False
Let n(y) = y**3 + 65*y**2 + 310*y + 59. Is n(-54) composite?
True
Suppose -13 = -3*o + o - 5*s, -3*o = s. Let i be (2 + -3 + o)*-1. Suppose -3*l = -i*v - 1589, l + 5*v = 3*v + 527. Is l composite?
True
Suppose -4*j + 34 = 194. Let t = j + 43. Is t*(-6)/(-99) - (-21420)/44 a composite number?
False
Let q(f) = -29*f**3 - 5*f**2 + 62*f + 321. Is q(-22) composite?
False
Let r(u) = -7*u**2 + u + 1. Let s(w) = -w - 1. Let g(k) = -r(k) - s(k). Let d be g(-1). Let z(c) = 28*c**2 + 6*c - 25. Is z(d) a composite number?
True
Let q(h) be the third derivative of 11*h**5/60 + 5*h**4/24 - 7*h**3/6 + 53*h**2. Let i(o) = -o - 6. Let l be i(4). Is q(l) a prime number?
False
Let b(p) = 1038*p**2 + 73*p - 402. Is b(5) a composite number?
False
Let m(i) be the first derivative of -i**4/4 + i**3/3 + 7*i**2/2 + 11995*i + 205. Is m(0) prime?
False
Let t be 6/(-27)*-3*-12. Let g = t + 6565. Is g composite?
True
Suppose -137301 = -o - 4*s, 14*s - 17*s - 686620 = -5*o. Is o prime?
True
Suppose -2*p - 3*w + 4 = 19, 4*w = -2*p - 14. Let l(s) = -2*s - s - 2*s + 38 + 8*s**2. Is l(p) a prime number?
False
Let d(u) be the second derivative of -u**4/12 - u**3/3 + 27*u**2/2 - 19*u. Let y be d(-6). Suppose 1042 = 2*a + y*f, -2*a - 5*f + 521 = -a. Is a composite?
False
Let s(u) = -u**2 - 1. Let w(k) = k - 5. Let v be w(4). Let r(q) = -198*q**2 + 3. Let d(g) = v*r(g) + 4*s(g). Is d(-3) a composite number?
True
Suppose 0 = -4*i + 3*b + 548968, -5*i + b - 274474 = -7*i. Is i prime?
True
Let j(s) = 254*s**2 + 177 - 190 + 2