5*m - 75195, m = 5*p - 94020. Is p composite?
True
Suppose -85*u + 83*u + 7023 = -3*j, j - 1 = 0. Is u composite?
True
Let x = 3331 + -1790. Is x prime?
False
Suppose 1282*i + 111165 = 1287*i. Is i prime?
False
Let w(f) = -f**2 + 11*f - 1. Let u be w(5). Let t = u + 606. Is t a composite number?
True
Let s be 3 + (-3)/((-9)/2724). Let q = -276 + s. Is q a composite number?
True
Let i be (-7)/(14/1058) - 5. Let g(l) = 329*l. Let j be g(1). Let t = j - i. Is t composite?
False
Suppose -3*k + 163 = -164. Is k a composite number?
False
Suppose 8985 = -10*o + 24535. Is o a prime number?
False
Let g = -49 - -20. Let i = 2 - g. Is i prime?
True
Let q = 33 - 29. Suppose 3*g + 2*s = 95, 3*g - q*s = 8*g - 155. Is g prime?
False
Let h(z) = 37*z + 20. Let j be h(-7). Is 3*(4 - j/3) prime?
True
Is ((-10)/18 - 280/630)*-5989 composite?
True
Suppose 0 = s - 6*s - 3*j + 2168, -s - 2*j = -428. Is 2/(24/s) - 4/(-6) prime?
True
Let w(b) = 91*b**2 + 10*b - 10. Is w(3) a prime number?
True
Let k(a) = 41*a**2 - 115*a + 249. Is k(34) a prime number?
False
Suppose 6*k - k - 2785 = 0. Suppose 6*y + k = 7*y. Is y composite?
False
Suppose 4*v + 4*o + 28 = -v, 3*v - 2*o + 30 = 0. Let s = 39 + v. Is s a composite number?
False
Suppose -3*f + 5*q + 17 = -8, -20 = -2*f + 5*q. Suppose 339 = f*o - 101. Suppose z - o = -3*v, v + 0*v = z - 100. Is z prime?
True
Let r(x) be the first derivative of 9*x**5/20 - x**4/6 + x**3/2 - 3*x**2/2 + 6*x + 5. Let s(m) be the first derivative of r(m). Is s(2) a composite number?
False
Let q(o) = -495*o + 2. Let x be q(-1). Is x + (-2 - (2 + 0)) prime?
False
Let d = -1634 + 4677. Is d composite?
True
Let l(m) = -m**3 + m**2 - 703. Let i be l(0). Let d be ((-117)/26)/(2/512) - -2. Let x = i - d. Is x a composite number?
True
Let j = -20 - -22. Suppose 720 = 5*o - 5*p, j*p - 147 = -3*o + 2*o. Is o a composite number?
True
Let t(v) = -v - 5. Let s be t(-10). Suppose -s*n - 4*w + 23 = -0*w, 3*w = -5*n + 21. Suppose -2*z = -z + n*x - 32, 3*x + 143 = 4*z. Is z prime?
False
Suppose -5*y + 45 = b + b, 5*b = -2*y - 3. Suppose 771 = y*r - 7908. Is r a composite number?
True
Let m be ((-4)/20)/(1/(-5)) + 222. Let k = m - 101. Is k a composite number?
True
Let i(a) = 8*a + 2062. Is i(0) prime?
False
Let m(q) = 72*q**3 - 2*q**2 - q - 1. Is m(2) a prime number?
False
Suppose -x = -5*x - 5*h + 59, -2*h + 39 = 3*x. Suppose 1 = -2*w + x. Suppose w*y = -5*b + 2945, 0 = 3*y + 4 - 13. Is b composite?
True
Let x(u) = 933*u - 283. Is x(8) prime?
False
Suppose 3128 = g + g. Let a = -813 + g. Is a prime?
True
Let z = 70 - 67. Let q(w) = 439*w**2 - 5*w + 7. Is q(z) composite?
False
Let r(a) = 13*a**2 - a + 1. Let p(n) = n - 8. Let m be p(12). Is r(m) prime?
False
Let w be -2 + 0 + (10 - 6). Suppose -w*k = -k - 4*g - 50, 0 = 5*k - 5*g - 205. Is (k/(-4))/(9/(-18)) composite?
False
Let p(g) = g**3 + 7*g**2 + 3*g - 1. Let j be p(-6). Suppose 484 = 21*w - j*w. Is w prime?
False
Is (-6 - -7)/((-7)/(-128779)) prime?
True
Let g(d) = -22*d - 4. Suppose -2*k - 21 = -3. Is g(k) prime?
False
Let y(i) = -16*i - 2. Let j be y(-9). Let o = 329 - j. Suppose 5*h = 1308 + o. Is h a composite number?
True
Suppose -2*w = b + 22, -3*b - 63 = 3*w - 0*w. Is (5761/(-4))/(-2 - 35/b) a composite number?
True
Suppose 13*m = 8*m + 9655. Is m composite?
False
Suppose -5*d + h + 2621 + 5737 = 0, 5*h = 4*d - 6699. Is d prime?
False
Suppose 26548 = 4*b + 4216. Is b prime?
False
Suppose 18*t - 15*t = 18. Is -789*(-1 - (0 + (-4)/t)) composite?
False
Let c = 401 + -693. Let y = c - -543. Is y a prime number?
True
Suppose -13*d = -55152 - 55361. Is d prime?
True
Let z(b) = b**2 + 5*b + 10. Let y be z(-8). Let c be y/9 + 24/108. Is 2/(-8) + 389/c prime?
True
Is 0 + -1 + 1162 + 2 prime?
True
Let d = 7684 - 5153. Is d a prime number?
True
Let y = -1438 - -3075. Is y composite?
False
Let q(y) = 6 + 6 - 32*y + 5 - 8. Suppose -5*o - 3*b = 41, -2*o + 5*b - 45 = o. Is q(o) a prime number?
False
Suppose 8 = -26*m + 28*m. Suppose 0*q = -2*q - 5*p + 28, -p = -m*q + 34. Is q composite?
True
Suppose -6*b + b = 3*r - 30887, r - 10281 = 2*b. Is r prime?
True
Let d(y) be the first derivative of 74*y**2 - y + 1. Is d(6) prime?
True
Let g be -6*-10*(-3)/(-18). Let d be (-10)/4*16/g. Is (d + 336)/4 + 0 composite?
False
Let b be (6/4)/((-6)/(-20)). Suppose 0 = -3*q - q + b*g - 20, -5*q - 16 = -4*g. Is q - (-1 - -2 - 107) composite?
True
Let b = 3327 + 24614. Is b a composite number?
False
Let w(d) = -78*d - 33. Is w(-8) prime?
False
Let p = -1086 + 1939. Is p composite?
False
Let a(o) = o**2 - 14*o + 15. Let j be a(13). Suppose 2*y - y = j*s - 1587, y = -3*s + 2393. Suppose 5*c = c + s. Is c a composite number?
False
Is 260 + 5 + -6 + 4 composite?
False
Let f be (-2)/2 - (1 + 2). Let t(j) = -j**3 - 8*j**2 + 5*j - 6. Let o be t(3). Is f/18 + (-4790)/o a composite number?
False
Let g = -580 - -840. Is (3/(-6))/((-2)/g) prime?
False
Let u be -3 - -1 - (1 - -37). Let p = 66 + u. Is p prime?
False
Let t(d) = d**3 - d**2 - d + 127. Let q be (-1)/(-2 + (-21)/(-12)). Suppose q*r = r. Is t(r) prime?
True
Suppose 3*w + 16*w = 38. Let i = 7 + -16. Is ((-46)/w)/(i/153) a prime number?
False
Is (-12 + 418/33)/((-4)/(-330)) prime?
False
Let w(y) = -144*y**2 + 1. Let h(z) = -144*z**2 + 2. Let j(q) = 2*h(q) - 3*w(q). Suppose 0 = 8*k - 8. Is j(k) composite?
True
Suppose 0 = 4*b + 4*w - 25364, 2*b - w - 19515 = -6827. Is b a prime number?
True
Suppose 0*r = 2*r - 8. Suppose 2*c + z = -z + 1254, -2524 = -r*c + 4*z. Is c composite?
True
Let l(a) = 14*a - 3. Let d(h) = -h**2 - 7*h + 4. Suppose 3*j + 4*w = -33, -2*j + 7*j + 2*w = -41. Let k be d(j). Is l(k) a composite number?
False
Suppose -3*b = 5*k - 132, 6*b - 76 = -3*k + 5*b. Let s = k - -13. Is s composite?
False
Let s = -42 - -49. Suppose -3*w = -s*w + 584. Is w prime?
False
Let n(h) = -40*h**3 - h**2 - h - 2. Let b be n(-2). Suppose 0 = t + 4*x, 3*x + 2*x = 2*t - 13. Suppose -t*a + 0*a + b = 0. Is a a composite number?
False
Suppose -4*h - 15 + 3 = 0. Let w = 5 + h. Suppose w*f - 795 = -3*q, 4*q - 113 - 961 = 2*f. Is q a prime number?
False
Let l be (24/16)/(1/2). Suppose -l*r + 4 = -r. Is 3/1*67 + r prime?
False
Suppose 0 = -5*g - 4*p + 28, p + 2 + 1 = 0. Suppose g*d + 3*d = 946. Is d a composite number?
True
Let c(s) = -s**3 + 18*s**2 + 8*s + 71. Is c(14) composite?
False
Suppose 26*z - z = 42650. Is z a prime number?
False
Let t(f) = 4279*f**2 - f + 2. Let j(b) = 1. Let y(q) = -3*j(q) + t(q). Is y(-1) prime?
False
Let o(p) = -7. Let t(q) = -q. Let j(f) = -o(f) - 2*t(f). Let r be j(5). Let a = -2 + r. Is a a prime number?
False
Let v be 1/2 + 1443/6. Let q = 596 - v. Is q a composite number?
True
Let n(p) = 558*p**2 - p - 2. Suppose 5*g = 4*g - 1. Is n(g) a prime number?
True
Suppose -w + 3*h - 23 = 2, -3*h + 15 = 0. Is (-15)/w*2036/6 composite?
False
Suppose x = -5*i + 1 + 4, x = -i - 3. Let z be -2 + -70*i/(-4). Let r = -12 + z. Is r a prime number?
False
Let r(a) = a + 1. Let x(p) = -2*p**3 + 4*p**2 + 8. Let d(c) = -5*r(c) + x(c). Let z be d(3). Is ((-10)/z)/(2/666) a composite number?
True
Suppose 2*l = -3*f - 12, 3*l + 13 = f - 2*l. Let h be (f/(-3))/((-6)/(-27)). Let r(t) = 11*t + 4. Is r(h) a prime number?
True
Let h(u) = -u**2 - 11*u - 16. Let z be h(-5). Suppose -19525 = -z*l + 61. Is l a composite number?
False
Suppose -48*x - 177781 = -754309. Is x prime?
True
Let u be (0 - 6)*(-6)/9. Suppose u*d + 1031 + 104 = 3*i, 3*i + 2*d - 1165 = 0. Let w = i + -120. Is w a prime number?
False
Suppose 5*t = -3*a + 144082, 6*a + 3*t - 144072 = 3*a. Is a composite?
True
Let z = -71 + 76. Suppose 2 + 8 = z*x, c = 2*x + 217. Is c prime?
False
Let b(p) = -278*p - 2. Let o be b(-2). Suppose -o = -4*z + 290. Is z a prime number?
True
Let f be ((-2)/(-3))/((-1)/1287). Let v = f - -1643. Suppose 6*a - a = v. Is a a prime number?
True
Let r = 430 - -1129. Is r a prime number?
True
Suppose 15 = 2*n - 1. Suppose 14*b - n*b - 1266 = 0. Is b a composite number?
False
Let c = 303 + -145. Let l = -37 + 102. Let p = c + l. Is p a composite number?
False
Let j be -1*2/(6/3879). Let p = -711 - j. Suppose -2*v = 4*u - v - 474, p = 5*u - 4*v. Is u prime?
False
Is (-7)/(-14)*96318/9 composite?
False
Suppose l - 1969 + 102 = 4*w, -5*w + 7531 = 4*l. Is l a prime number?
True
Is 1*493 + (39 - 47) a prime 