 q, -y = 0. Is d prime?
False
Let w(v) = -157*v - 4. Is w(-3) composite?
False
Suppose 3*r + 2*j = 508, 4*r - 855 = -r - 5*j. Is r composite?
True
Let o = -138 + 50. Let i be 5*(-1)/(-2)*-54. Let q = o - i. Is q a prime number?
True
Let g(k) = k**2 - 2*k + 13. Let r be g(9). Suppose -d + 5*d = r. Is d a composite number?
False
Is (-20)/(-80) - (-3046)/8 composite?
True
Let r(z) = -z. Let v be r(4). Let o be (-682)/v + (-9)/6. Suppose 5*q - 16 = o. Is q prime?
True
Suppose -4*u + 5 + 4 = 3*o, -2*o + 6 = -4*u. Suppose 5*x = 3*x. Suppose x*y = o*y - 237. Is y a composite number?
False
Let m = 587 + 998. Is m prime?
False
Let c be (-4)/6 + (-22)/(-6). Suppose -785 = -c*l - 2*l. Is l composite?
False
Let z = -113 - -164. Is z a prime number?
False
Suppose -6*x + 41 + 115 = 0. Is x a composite number?
True
Suppose 7*w - 103 = 2*w - 3*k, 5*w - k - 119 = 0. Let n = 88 + w. Is n a composite number?
True
Suppose 0 = 2*p + 5*q - q - 390, -345 = -2*p + 5*q. Is p prime?
False
Let i(f) = -3*f**3 - 2*f**2 + f - 1. Suppose 0 = 5*o - o + 12. Is i(o) composite?
False
Suppose 2*f + 1 = -1. Let v be (-294)/15 + 2/(-5). Let u = f - v. Is u composite?
False
Is (-1)/3*(3 + -36) a composite number?
False
Let x be 2 + (-3 - -49) + 1. Let w = x - -60. Is w composite?
False
Suppose -4*s - 67 - 45 = 0. Let c(p) = -p**2 + p + 3. Let o be c(4). Let x = o - s. Is x a prime number?
True
Suppose 395 = -11*z + 16*z. Is z a composite number?
False
Let u = 14 - 8. Let c be ((-24)/(-21))/(-4) - 24/14. Is ((-2)/u)/(c/138) composite?
False
Suppose i - t + 407 = 2276, -5602 = -3*i - 2*t. Suppose 5*f = f + i. Is f prime?
True
Suppose -3*q + 9 = -6*q. Is (178/(-8))/(q/12) prime?
True
Let u = 8326 + -4829. Is u prime?
False
Let t = -79 - -410. Is t composite?
False
Let n(m) = m**2 + 3*m + 2. Let i be n(-3). Suppose i*d - 3*t = -d + 15, 4*t - 28 = -2*d. Suppose 0 = 2*c - d + 2. Is c a prime number?
True
Let j = -152 - -256. Suppose -3*y + j = y. Is y composite?
True
Let m = -3061 - -8358. Is m a composite number?
False
Suppose 0*n + 5*n + c - 2294 = 0, -4*n = 2*c - 1834. Suppose 5*w - n = 2*a, -2*w - 4*a + 198 = -0*a. Is w a composite number?
True
Let t = 2 - -3. Suppose 0 = s - 0*s - 3*g - 11, t*s - 131 = -4*g. Is s a composite number?
False
Let h be 24/10*140/6. Let d be (4/(-3))/(2/(-3)). Suppose h = -d*n + 150. Is n a composite number?
False
Let z(y) = y + 12. Let h be z(-7). Suppose 0 = 3*w - d - h, 4*d + 0 + 6 = 5*w. Suppose 0 = w*l + 2*t - 178, -t + 356 = 4*l + 4*t. Is l a composite number?
False
Let w be 11/(-9) + 2/9. Let z(n) = -4 + n + 5 + n + 56*n**2. Is z(w) prime?
False
Suppose -2*x = -44 + 18. Suppose -x - 98 = -3*f. Is f composite?
False
Suppose -3*n + 4*o = -80, 3*n + 2*o = 8*n - 110. Suppose 3 = 2*p - 17. Let b = n - p. Is b a prime number?
False
Let r(s) = 6*s + 1. Let q be r(4). Suppose q = 4*i - u, -4*u + 0 - 4 = 0. Is 22 - 3/(i/(-2)) a composite number?
False
Let f = -4 - -8. Suppose -5*y = x - 183, 9*y = f*y + 2*x + 189. Is y a composite number?
False
Let o(a) be the first derivative of -a**4/4 - a**3/3 + a**2/2 - 2*a + 1. Let w be o(0). Is 2 - (-11)/(w - -3) composite?
False
Suppose -h + 480 = 2*h. Let b be 928/(-10) - (-4)/(-20). Let u = b + h. Is u a composite number?
False
Let p be 3/(-6) + 1822/4. Let a = p - 306. Is a a prime number?
True
Suppose 2*u - 103 - 467 = 0. Is 2/(-3) - u/(-9) prime?
True
Suppose -8*a + 228 = -4*a. Suppose -4*o - a = -5*o. Is o prime?
False
Is 2*148 - (-5 + 8) a prime number?
True
Let k be (-90)/21 + (-4)/(-14). Let c be (-3)/6 + 38/k. Is (-354)/(-10) + 4/c prime?
False
Let u(y) = -8 + 2*y**2 + y**2 + 11 + 2*y + y**3. Let h be u(-2). Suppose h*o + o - 44 = 0. Is o prime?
True
Let i = 51 + 4. Is i composite?
True
Let n(p) = -7*p**3 - p. Let j be n(-1). Let x(r) = 6*r + 0*r - 2*r - 11. Is x(j) a prime number?
False
Let j(n) = n - 4. Let a be j(5). Suppose -2*x + 3*x + a = 0. Is 68/8 - x/2 composite?
True
Let l(k) = -k**2 + 24*k - 24. Is l(11) composite?
True
Let j be (-11)/33 - 3400/(-3). Let q = j - 624. Is q a prime number?
True
Let w = 524 - 133. Is w a prime number?
False
Let x(h) = -h**3 + 8*h**2 + 5*h - 5. Suppose 4*g - 13 - 3 = 0. Let u be x(g). Suppose -3*y = -4*y + 2*n + 28, -4*y + u = 3*n. Is y a composite number?
True
Let k(m) = -m**3 - 10*m**2 + 12*m + 6. Let y be k(-11). Is y/(10/(-116)) - 3 composite?
True
Suppose g - 5*g = -44. Let n = 32 - g. Is n composite?
True
Let p(y) = 5*y**3 + 8*y + 101. Let u(o) = 2*o**3 + 3*o + 34. Let g(c) = 3*p(c) - 8*u(c). Let x(h) = h - 2. Let s be x(2). Is g(s) a composite number?
False
Let u be (3/(-4))/((-2)/32). Suppose -2*t - 6 = -4*t. Suppose -u = s + 2*s, t*s = 3*h - 87. Is h composite?
True
Suppose -5*v = -3*x - 60, 0 = -4*v + 2*x + 17 + 31. Is (v - -3)*(-53)/(-3) composite?
True
Suppose 4*i - 894 = -110. Suppose -i = -4*p - 4*j, 5*j + 175 = 3*p + j. Is p a prime number?
True
Let t(i) = -i**2 - 2*i + 4. Let o be (18/15)/(3/(-10)). Let m be t(o). Is (-6)/m - (-1833)/6 a composite number?
False
Let l = 0 - -13. Suppose 18*v = l*v + 530. Is v a composite number?
True
Suppose 2*o - 682 = p + 1511, 4*o - 4381 = 3*p. Is o prime?
False
Suppose -w = -y - 5*w + 69, -197 = -3*y - 2*w. Is y a composite number?
True
Let b = 165 + -118. Suppose q - b = 36. Is q a prime number?
True
Suppose -s + 857 = 4*g, 4*g + 3*s - 34 - 825 = 0. Is g composite?
True
Suppose b - 20 = -3*k - 4*b, -5*b + 20 = 0. Let w(v) = v + 29. Let o be w(0). Suppose k = 2*n - 15 - o. Is n composite?
True
Let y be 244/(-6) + 2/(-6). Let d = 29 + -23. Let o = d - y. Is o a composite number?
False
Let v(y) = -y**3 - y**2 + y + 2. Let f be v(0). Suppose f*u - 6 - 2 = 0. Suppose u*m + 12 = 0, m + 341 = l + l. Is l a composite number?
True
Let c = -10 + 15. Suppose -19 + 594 = c*s. Is s a prime number?
False
Suppose 2413 + 5392 = 5*o. Is o composite?
True
Let h be 0 + (16 - 2) - 0. Let j be (-4)/h - (-1474)/14. Suppose -x - 4*x = -j. Is x a prime number?
False
Let s be (0 + -35)/(1/(-7)). Suppose 0 = 2*b + 3*a - s, -4*b + 2*a + 383 = -131. Suppose 23 = -4*l + b. Is l a composite number?
True
Let j = 188 - -9. Let f = j + -109. Suppose -3*m = m - f. Is m prime?
False
Suppose 4*r - 4 = 4, 2*b = -3*r + 592. Is b composite?
False
Suppose 5*z = -2*d + 6287, 5*z - 4*d = -0*z + 6311. Is z prime?
True
Suppose 4*t = u + 1, u - 3*t = -4*t + 4. Suppose -u*c - 4*i + i = -105, 2*i + 6 = 0. Is c prime?
False
Let z(t) = t + 14. Let g = -20 - -10. Let r be z(g). Is 12/3*59/r a composite number?
False
Let o = -215 - -306. Is o a prime number?
False
Is (1/4)/(7/1036) a prime number?
True
Let q(f) = -22*f + 13. Is q(-9) a composite number?
False
Let j(w) = w + 9. Let g be j(-7). Suppose -105 = -g*h + 33. Is h composite?
True
Suppose -3*s + 794 = 3*m - 2*s, 0 = -4*m - 2*s + 1062. Is m prime?
True
Let b(g) = 5*g + 2 - 4*g - 7 + 2*g**2 - 8. Is b(-10) prime?
False
Suppose -4*a = -a. Let d = a - -3. Let v(o) = 8*o**2 + 3*o - 4. Is v(d) prime?
False
Let g(n) = -14*n + 4. Is g(-11) composite?
True
Let h(o) = 2*o + 19*o - 1 - 2*o. Is h(2) a composite number?
False
Let l = -62 + 165. Suppose b = 5*x - x + l, -3 = x. Is b prime?
False
Suppose 3*p = 5*h + 1, 0 = -5*p - 0*h - 5*h + 15. Suppose 0 = -p*v - 0*v + 178. Is v a prime number?
True
Suppose 0 = 3*q + 7 + 2. Is 2673/12 - q/12 a composite number?
False
Let b = -185 + 108. Let y = b + 39. Is 2/((-80)/y + -2) prime?
True
Suppose 8*x = 6*x + 2058. Suppose 4*m = -5*z + x, -6*m + 999 = -2*m - z. Is m composite?
False
Let f(c) = 2*c**2 + 9*c + 1. Let i(z) = -z**2 - 4*z. Let o(v) = -2*f(v) - 5*i(v). Let k = -9 + 4. Is o(k) composite?
False
Let k = 2791 - 1314. Is k prime?
False
Let a(j) be the first derivative of 2*j**3/3 + j**2 - 15*j - 7. Is a(-12) a composite number?
True
Let g(x) = x**2 - x - 2. Let r = -14 + 27. Suppose -4*z - r = -5. Is g(z) a prime number?
False
Suppose 0 = 3*v - 0*v + 6. Is -3*(-1461)/(-18)*v a composite number?
False
Suppose -2*z + 2 = -0. Let u be 4 + 1 + (z - 5). Is 1/(u/97 - 0) prime?
True
Let x be (-2220)/(-70) - (-2)/7. Suppose 5*i - 297 = -x. Is i prime?
True
Suppose 7*h = 2*h + 5*x - 35, 11 = -3*h + x. Let l be 0 + ((-18)/(-1))/h. Is (-597)/l - (-2)/3 a prime number?
True
Let r(x) = x**2 - 9*x + 10. Let k be r(8). Suppose -k*i + 93 = i. Is i composite?
False
Suppose u - 4*u =