 - 667 = -3*k + 2*q, 659 = 3*k + 5*q. Is k a prime number?
True
Suppose 217*a - 215*a = 40954. Is a prime?
True
Let n = 847 + -502. Suppose 0*z = 5*z - n. Is z a prime number?
False
Let b = 1128 - 119. Let f = 1800 - b. Is f a composite number?
True
Suppose w + 26094 = -0*n + 5*n, 20878 = 4*n + 2*w. Is n composite?
True
Let t = -12361 - -22128. Is t a prime number?
True
Let p = -1137 - -2026. Is p prime?
False
Let l be (-8)/28 - (-45450)/21. Let u = -1367 + l. Is u a prime number?
True
Let z = 347 + 2780. Is z composite?
True
Suppose -3*d - 2*t = -3019, 2*d + 7*t - 11*t = 2018. Is d prime?
False
Let z = 263 - 294. Let d = -22 + 87. Let a = d + z. Is a prime?
False
Let o(y) = 375*y + 6. Is o(1) a prime number?
False
Suppose a + 0*x = 3*x + 6962, 4*x = -12. Is a a prime number?
False
Suppose -65*l + 70*l = -15, 5*l - 55550 = -5*b. Is b composite?
False
Let k = 31643 - 21706. Is k composite?
True
Let m = 5796 - 2153. Is m prime?
True
Suppose 5*b - y - 18287 - 309 = 0, -3 = 3*y. Is b composite?
False
Suppose 0 = -3*k + 3*j + 6 - 18, 0 = -4*k + 5*j - 20. Suppose k = 5*n - 748 + 23. Is n a prime number?
False
Let u be (2*-2)/((-2)/(-29)). Let b be 1*3*(-414)/46. Let v = b - u. Is v a composite number?
False
Let i be 6/(-6)*(1 + 3 - 3). Is i*2*(-6)/(-36)*-17211 composite?
False
Suppose 4*q = -6436 - 9448. Let p = 6150 + q. Is p composite?
False
Let z = -132180 + 213941. Is z a prime number?
True
Let l = 7873 + -4080. Is l a prime number?
True
Let q(d) be the third derivative of 11*d**5/30 - 5*d**4/24 + 2*d**3 + 11*d**2. Is q(7) a composite number?
True
Let y be ((-16)/(-8))/(4/3 - 2). Is y - 2*571/(-1) prime?
False
Let o = -19 + 15. Is 557/4 - o/(-16) composite?
False
Let r(d) = -64*d**3 + 4*d**2 - 5. Is r(-6) composite?
False
Suppose 6*t = 17*t - 22. Let m(w) = 100*w**3 - w**2 + 1. Is m(t) a prime number?
True
Let u(o) = 0*o - o - 3*o - 3 + 3*o. Let g be u(-5). Suppose 148 = 3*x + 2*s - 521, -g*s = -x + 215. Is x composite?
True
Let m = -20 + 22. Suppose -4*p - m*q = q - 388, q + 97 = p. Is p a prime number?
True
Let q(a) = 2*a**3 - 19*a**2 - 10*a + 9. Let t = -14 + 24. Let o be q(t). Suppose o = r - 28. Is r prime?
True
Let f be (-6690)/(-11) + 2/(-11). Let t = -165 + f. Is t a composite number?
False
Let v(q) = -1 - 13*q - 54*q - 2 - 4. Is v(-6) a prime number?
False
Suppose -15 = -3*p - 2*p. Suppose -p*o = o + 16. Is (-235)/o - (-9)/(-12) prime?
False
Suppose 5*t + 7*t = 27684. Is t composite?
True
Let v = 1171 - -5152. Is v a composite number?
False
Suppose 4*s - 12 = 0, 0 = -5*i + s - 9 + 1. Let o(r) = 6144*r**2 - r - 2. Is o(i) prime?
True
Suppose 3*d + d + 2*f - 536 = 0, 0 = 2*f. Let g = 355 - d. Is g composite?
True
Suppose 2*l + 759 = 5*l. Is l prime?
False
Let s be (-20)/6*15/(-10). Suppose -f = s - 102. Is f a composite number?
False
Let j(b) = -3*b**3 + 4*b**2 + 2*b - 1. Suppose 4*q - p = -10, -5*p - 19 = -q + 4*q. Let w be j(q). Suppose w = g - 3*h, 2*g = -3*h + 129 + 127. Is g prime?
False
Let j = -4 - -7. Suppose -4*t = j*m + 36, 4*m + t = -t - 48. Is (-884)/m + 2/6 composite?
True
Suppose 11*a - 125642 = 251801. Is a prime?
True
Let q = 30633 - 7696. Is q composite?
False
Suppose -43*d + 41*d + 2 = 0. Is (10/(-6))/(9/(-513))*d prime?
False
Let s(v) = 7*v**2 + 8*v + 5. Let f(r) = -5*r - 15. Let z be f(-6). Suppose -4*q - z = 9. Is s(q) a prime number?
False
Let i be ((-89468)/18)/(-2) + (-90)/405. Suppose -2*u + i = 3*u. Is u a prime number?
False
Let a(h) = -h**3 + 5*h**2 - 3*h - 1. Let l be a(4). Suppose 5*j - 2*o = -l*o + 32, 0 = -4*o + 8. Is 686/j - 2/(-3) a prime number?
False
Let u(g) = 37*g - 2. Let m = 32 + -25. Is u(m) prime?
True
Let s(j) = -j - 10. Let n be s(-10). Suppose -3*l - q + 175 = -n*q, 287 = 5*l - 3*q. Is l a prime number?
False
Suppose g - 5131 = w, -55*g - 2*w + 15373 = -52*g. Is g a prime number?
False
Suppose -i = -151 + 10. Let p be 1/4 + i/12. Is ((-111)/p)/(1/(-12)) prime?
False
Let c(r) be the second derivative of 7*r**3/6 - 8*r**2 + 3*r. Is c(5) composite?
False
Is ((-36130)/(-5))/(2 + 0) a prime number?
True
Is 243575/10*(-2)/(-5) composite?
False
Let h = -24268 - -42026. Suppose -4*r = -h - 12670. Is r a prime number?
True
Let l be 3/1 + (3 - -1). Suppose l*h = -2*v + 2*h + 5, 3*h + 3 = 0. Suppose -573 = 2*s - v*s. Is s a composite number?
False
Let h = -4386 + 7615. Is h a composite number?
False
Is 13196/10*(-65)/(-13) composite?
True
Is (-15)/(-10) + 1699/2 a composite number?
True
Let a(v) = 4*v**2 + v + 7. Let x be a(7). Let r be ((x - -1) + 0)*3. Suppose 2*f = 4*z + 372 + 50, 3*f + 4*z = r. Is f prime?
True
Let l(o) = 361*o**2 - 27*o - 93. Is l(-8) prime?
True
Let s(r) = -r**2 - 3*r + 1365. Let m be s(0). Suppose 0 = -0*a + 3*a + 3*h - m, 4*a - 1816 = -2*h. Is a prime?
False
Suppose -4*a = -4*n + 10796, 2*a + 3*n = -2129 - 3254. Is (1/(-4))/(2/a) a prime number?
True
Let n = 147 + -285. Let h(z) = -25*z**3 + z**2 - z - 1. Let y be h(-2). Let f = n + y. Is f a prime number?
True
Let m(q) = 64*q + 1. Let f be m(3). Suppose 0 = o - p - f, 3*p + 0*p + 197 = o. Is o a prime number?
True
Let k(b) = 37*b**2 - 4*b - 4. Suppose 3*m - 29 + 5 = -5*t, -m - 2*t + 9 = 0. Is k(m) composite?
False
Suppose 0 = -9*a + 4*a. Suppose a = -4*t + 155 + 225. Is t composite?
True
Suppose -48*m + 43*m + 52495 = 0. Is m prime?
True
Let z(s) = s**2 + 7*s - 4. Let x be z(-8). Suppose -5*l = -x*l - 331. Is l composite?
False
Suppose -3*o = -3*y - 129 - 1971, 0 = -4*y + 3*o - 2800. Let r = y - -1293. Is r a composite number?
False
Let v(l) = 61*l**3 + 12*l**2 + 16*l - 36. Is v(7) a prime number?
True
Let r(g) = -172*g + 66. Is r(-13) a prime number?
False
Suppose 3*r + r - 8 = 0, -3*l - 4*r = -167. Is l composite?
False
Suppose -3*r + r - 36 = 0. Let f be 1/(-4 - r/4). Suppose -3*u + 4*m = -401, -2*u + f*m - m + 259 = 0. Is u a composite number?
False
Suppose -2*h + 1407 + 6807 = -4*w, -5*h - 3*w + 20561 = 0. Is h a prime number?
True
Let h(n) = 307*n + 4. Let o be h(3). Suppose 0 = -d + o + 588. Is d a composite number?
True
Is (480/(-640))/((-6)/3032) prime?
True
Suppose -4*o + 756 = -2456. Suppose -4*l + o = n - 687, l = n + 375. Is l a prime number?
True
Suppose 5*o + 396 = -0*q - 3*q, 0 = -4*o + q - 327. Let b = o - -384. Is b composite?
True
Let g = 21 - 8. Suppose -435 = g*x - 16*x. Is x prime?
False
Let v be 2 - 9 - 0 - 1. Is 199/(2/(v/(-4))) composite?
False
Let p(f) = 158*f + 5. Let q(w) = 1. Let a(j) = p(j) - 6*q(j). Is a(4) a prime number?
True
Let s(o) = -2*o + 4. Let b be (-4)/(-18) - 125/(-45). Let w be s(b). Is w/1 - 234/(-2) a prime number?
False
Let j = 91 - 41. Suppose -54*v = -j*v - 8708. Is v prime?
False
Suppose 7*q - 97530 = 460279. Is q composite?
False
Let r = 1714 - -24745. Is r prime?
True
Suppose 1307 + 1076 = u - 4*r, -u = 5*r - 2356. Is u composite?
False
Let k(m) = 6*m**2 - 2 + m**3 + 2*m**2 - 3*m**2 + 0 - 8*m. Let r be k(-6). Let f = 47 - r. Is f prime?
True
Suppose 4*o + 2 + 12 = 2*r, 5*o = -5*r + 5. Let j(l) = -3*l - r*l + 293 + 3*l + 2*l. Is j(0) prime?
True
Let l(x) = x**2 + 17*x + 16. Let v be l(-16). Suppose 0*t - 5*t + 5*c + 16555 = 0, t - 2*c - 3315 = v. Is t composite?
False
Suppose -c = 5*m - 5117, m - 1 = -5. Is c a prime number?
False
Let z be (-2 + 7)*3/(15/136). Is 8598/34 - (-16)/z composite?
True
Suppose 28026 = 6*p - 21786. Let z = 13821 - p. Is z a prime number?
True
Let r(d) = 18806*d + 143. Is r(4) prime?
True
Suppose 0 = 4*f - 4508 - 5808. Is f prime?
True
Let p be 32 + 0/3 - -4. Let s be (5/(-10))/((-3)/p). Let i(w) = 130*w + 9. Is i(s) a prime number?
False
Let m(n) = 2. Let z(j) = 19*j**2 - 5*j - 7. Let s(t) = 3*m(t) + z(t). Is s(-1) prime?
True
Let s(m) = 31319*m**2 - 3*m - 1. Is s(1) prime?
False
Is ((-3)/(27/9111))/(3/(-9)) prime?
True
Let o = -6152 + 8655. Is o composite?
False
Is -475*(-120)/12 - (-8 + 1) composite?
True
Let p(j) = j**3 + 2*j**2 - 3*j + 3. Let o be p(-3). Let l be 3/((-63)/(-6))*7. Suppose -l*m + o*m = q - 12, -q = 2*m - 6. Is q a composite number?
True
Let w(m) = -20 - m**2 + 36 - 9*m - 17. Let j be w(-9). Is 247 + (j - -3) + 2 a composite number?
False
Is ((-57330)/(-24) - (-2)/8)*19 prime?
False
Let t = 272 + -149. Is t composite?
True
Let h be ((-54)/(-4))/((-4)/8). Let c = 113 + h. Suppose 2*g - 3*m - 23 = 0, 2*m + c = 4*g + 4*m. Is g a comp