 -w + 4*w = 3*m + 33. Suppose 0 = 5*y - w*y + 2376. Let s = y + -233. Is s a prime number?
True
Let i(x) = -1047*x + 835. Is i(-18) a prime number?
True
Let w(o) = -3*o + 20*o + 22*o + 137 - 34. Is w(14) a composite number?
True
Let z = 2138 - 440. Let r = z + 275. Is r a prime number?
True
Let o = 64049 - 43348. Is o composite?
True
Suppose 4*g = -5*t + 46186, -4*g + 54362 = -5*t + 8196. Let p = -6386 + g. Is p a prime number?
False
Let i(l) = l**2 - 9*l + 92. Let u be i(14). Suppose u*f - 15126 = 156*f. Is f a prime number?
True
Suppose 3*a + 4*v + 5609 = 4*a, 5*a - 28011 = 3*v. Suppose 4*w - 9*w + 11217 = 4*b, a = 2*b + w. Is b prime?
False
Let u be 7/4*((45398 - 11) + -7). Suppose -u = -28*k - 483. Is k a prime number?
True
Is (-9865572)/(-9)*(-150)/(-200) prime?
True
Is ((-1046)/6 - 1)*(11 - 17885/70) prime?
False
Let z(j) = 21*j**2 - j - 16. Suppose -25 = -5*o - 0*o. Let b be z(o). Let n = b + -13. Is n composite?
False
Let x = 61365 - 17218. Is x composite?
True
Suppose -p = 18*p - 9792 - 71110. Is p a prime number?
False
Is (1/3 - (-129812)/(-2))/((-112)/336) composite?
False
Let h = 32198 - 15942. Is ((-385)/4 - -1)*h/(-96) prime?
False
Suppose 5*v = 2*h + 56 - 1432, -3*h = 3*v - 2022. Is 1 - (1 - 2*h) - -5 a composite number?
False
Suppose y - 5*k - 10 = 0, -3*k - 8 = 2*y - 6*k. Let b be (40/(-50)*y/(-4))/(-1). Suppose -5*r + 0*r = -2*z - 1867, b*z - 371 = -r. Is r a composite number?
False
Let j = -70210 - -99431. Is j prime?
True
Suppose -3*k + 290 = -58. Is ((-188)/(-6) + 1)*(k + -113) a composite number?
False
Let y be (40428/16)/((-15)/80). Let o be (5 - 1)*(y/(-16) - 3). Is 3 + (-2)/4 + o/2 prime?
False
Suppose 5*g - 14 - 31 = 0. Suppose g*h + 35 = 4*h. Let a(w) = 2*w**2 + 6*w - 9. Is a(h) a composite number?
False
Suppose 22*b + 23*b - 2143114 = 8*b. Is b a prime number?
False
Suppose -15 = -u - x, -2*x = -6*u + 2*u + 30. Suppose 2*j + u = y, 5*j + 12 = -10*y + 6*y. Suppose y*b - 4585 = -5*b. Is b a prime number?
False
Suppose -p - w = 2*w - 28, 3*p - 4*w = 84. Is 1*(-4)/(p/(-16331)) a prime number?
True
Let a = 13 - -12. Let l(n) = 90*n + a - 44 + 12*n. Is l(9) prime?
False
Let k be ((-1958)/(-4) - 11)*-2. Let a = 1009 - 1433. Let y = a - k. Is y a composite number?
True
Suppose 10*f - 6*f = -w + 57, f = -4*w + 18. Suppose f*u = 18*u - 13084. Is u composite?
False
Let f = -4462 - -8627. Let c = f + -2012. Is c a composite number?
False
Let b = 17940 - 421. Is b prime?
True
Let m(t) = -904*t - 4025. Is m(-18) a composite number?
True
Suppose 6860569 = -64*p - 41*p + 22996654. Is p a composite number?
True
Let i(m) = 4*m + 39. Let x be i(-9). Let j be x/(-1) + 1*-1 + 1. Is (j + (-3 - -5042))*(-8)/(-32) composite?
False
Suppose -12 = -2*i, 54*l - 53*l + 4*i = 19. Let u(v) = v**3 + 4*v**2 + 5. Let y be u(-4). Is -2 + ((-834)/l)/(2/y) a prime number?
False
Suppose 3109 = 4*f - 7*o, f + 5*o = 9*o + 775. Is f a composite number?
True
Let c = 198146 + -135967. Is c a composite number?
True
Suppose 0 = -4*x - 4, d - x + 2771 = 1029. Let g = d + 2696. Is g prime?
True
Let u(f) = -3*f**2 - 13*f - 5. Let m(j) = -j**2 - 7*j - 3. Let p(q) = 5*m(q) - 2*u(q). Let a be p(10). Suppose 0 = -7*i + a*i + 778. Is i prime?
True
Let n be ((-3)/(-6))/((-14)/(-56)). Suppose 0 = n*m + 626 - 8988. Is m a prime number?
False
Suppose 3*t = 4042 + 95699. Is t prime?
True
Suppose -5*r + 209648 - 5334 = 3*g, -3*g = -r + 40852. Is r a prime number?
False
Suppose -2 - 6 = -x. Suppose -18*r = -20*r + x. Suppose a = -3*a + r, -4*f = 2*a - 2710. Is f composite?
False
Suppose -6*f = -112 + 76. Suppose f*s - 16690 = 9272. Is s a composite number?
False
Suppose -k + 1881206 = 5*n, 2*n = -16 + 2. Is k a composite number?
False
Is 4 - (-10)/(-3)*(-1259517)/74 a composite number?
True
Suppose 71*y = 74*y - 8736. Let n(x) = -x**3 + x**2 + 954. Let h be n(0). Suppose y = 3*c + b + b, -4*b + h = c. Is c a prime number?
False
Let u be 38 + 1 + (0 - -1). Let z = 815 + -348. Suppose -s - u + z = 0. Is s a prime number?
False
Let i(d) be the third derivative of 421*d**4/24 + 11*d**3/6 + 2*d**2. Let n be i(6). Let w = n - 1450. Is w a composite number?
False
Let q(l) = 3262*l**3 - 5*l**2 - 5*l - 25. Let t(g) = g**2 - 2*g + 1. Let a(m) = -q(m) - 3*t(m). Is a(-3) prime?
False
Let r(q) = -14539*q + 411. Is r(-2) composite?
True
Let t be 6*(-3)/8*(-108)/(-3). Let l = t - -85. Suppose -p = 3*d - 6*p - 3032, -3*d + l*p = -3031. Is d prime?
True
Suppose 0 = 2*c + 3*o - 44, 0 = 5*c - 3*o - 2*o - 60. Let p = c - -5. Is 6912/p - ((-2)/7)/(-2) composite?
True
Let d = -15702 - -79799. Is d composite?
True
Suppose 25*t - 18*t = 49*t - 11282754. Is t a composite number?
False
Suppose 0 = x + n - 45079, -x + 45079 = -93*n + 97*n. Is x a prime number?
False
Suppose 0 = 28*f - 23*f + 2*n + 70, -31 = 3*f - n. Let o(b) = -3*b**3 - 11*b**2 - 17*b - 11. Is o(f) a composite number?
False
Suppose -2*i = 3*g - 131, 3*i - 3*g = 30 + 204. Is 719 + i - 10/2 prime?
True
Let a(b) = 777*b**2 + 122*b - 6387. Is a(38) a composite number?
False
Let j be (2 - 4/8)*(-1 + -2081). Let i = j - -13712. Is i a composite number?
False
Let u(t) = 2*t + 10. Let b be u(-5). Suppose 0 = -y - 1 - 0, b = -3*x - 4*y + 20. Suppose -9*i = -x*i - 127. Is i prime?
True
Suppose 2*u - 6 = 3*w, -3*w - 2*w + 15 = 5*u. Suppose 3*b = -w*b + 1953. Suppose 6*d - 1323 = b. Is d prime?
False
Let z be (-20)/(-130) - 17052/(-26). Suppose 1122 = -0*b + 6*b. Let c = z - b. Is c composite?
True
Let o(s) = 2*s**2 + 25*s - 7. Let v be o(-13). Is 1798/v - (-44)/33 prime?
False
Suppose -2102953 - 5832831 = -153*k + 11611955. Is k a prime number?
True
Let u(y) = -y**3 - 16*y**2 + 2. Let s be u(-16). Suppose 0*j + s*j - 12406 = 4*b, j - 5*b - 6212 = 0. Is j a prime number?
True
Suppose -22*t = -25*t - 15. Let h(l) = 637*l**2 - 29*l - 177. Is h(t) composite?
True
Let q(o) be the first derivative of o**4/4 - 4*o**3/3 + 2*o**2 - 18. Let n be q(4). Let p = n - -10. Is p a prime number?
False
Let d be (51 - (5 - 4)*1)*1. Is (-25606)/(-4) + 75/d composite?
True
Suppose 4*c + 3872635 = -10*q + 13*q, 2*q - 2*c - 2581758 = 0. Is q a composite number?
True
Let g(y) = -y**3 + 4*y**2 + 9*y - 13. Let r(q) = -q**3 + 11*q**2 + 28*q - 20. Let o be r(13). Let j be (o/(-4) + 2)*(-25 + -1). Is g(j) a composite number?
True
Let h(s) = 445*s + 48*s + 68*s + 245 + 2443*s. Is h(6) a composite number?
False
Let b(n) = 2598*n**2 + 244*n - 1515. Is b(6) a composite number?
True
Let q(m) = -85 - 85*m + 8*m + 22*m - 28*m - 153*m. Is q(-16) prime?
True
Let u = -58 - -61. Suppose -3*z + 3*j = -6, 0 = 6*z - u*z - 4*j - 5. Suppose 5*m = 3*a - 1314, 2*a = 7*a + z*m - 2224. Is a composite?
False
Is (-9 + 5 + 0 + 40335/(-4))*-4 a composite number?
False
Is 2360803/116 + 13 + 1/4 a composite number?
True
Let o = -4959 + 2815. Let g = o + 3434. Suppose -2*v - 344 = -g. Is v a composite number?
True
Let l = 624 + -734. Is -6843*(l/15 + 7) a composite number?
False
Let j be (2/(-6))/((-14)/147)*-276. Let c = -160 - j. Let n = -207 + c. Is n a composite number?
False
Let j = -143974 + 328251. Is j prime?
False
Let h be ((-18)/6)/(3*(-2)/(-6)). Suppose 2*d - 40 - 8 = 0. Is 4/(d/(-2138))*h a composite number?
False
Let q(l) = l + 8. Let p be q(-4). Suppose p*y = 69032 - 3708. Is y composite?
True
Suppose -4*v - 4*o + o = -42, -2*o + 4 = 0. Let q(c) = -36*c**2 - 33*c - 24. Let h(y) = -17*y**2 - 16*y - 11. Let u(s) = -11*h(s) + 5*q(s). Is u(v) prime?
False
Let i(z) = 23*z**2 - 14*z - 6. Let g(v) = -v + 16. Let j be g(13). Is i(j) composite?
True
Suppose 29*l - 33*l - 3*p + 241984 = 0, -5*l + p + 302461 = 0. Is l composite?
False
Suppose 10*q - 1436270 = -1025111 + 1348871. Is q a composite number?
True
Let n(p) = 7*p**2 - 25*p + 5. Let o = -10 - -9. Let q(w) = -w**2 - 1. Let i(c) = o*n(c) - 6*q(c). Is i(9) a prime number?
False
Let b = 8636 - 5671. Let j = b - 1716. Is j composite?
False
Suppose 0 = 2*q - 2 - 4. Let x be 0*(-1)/5 + q. Suppose 4*v - 247 = x*a + 1221, 0 = 2*a. Is v composite?
False
Suppose 40 = -16*j + 24*j. Suppose 2419 = j*k + 5*a - 19036, 2*k - 8582 = a. Is k a composite number?
True
Suppose 48 = 2*i + 44. Suppose 1 = -3*y - 3*g + 7, i*g = -6. Is 5*(1 - (-229)/y - -1) a composite number?
False
Let v = 75771 - 38399. Let a = v + -25133. Is a prime?
True
Suppose 0 = 13*t