 x = 168. Is r composite?
True
Let q(z) = 69*z**2 + 12*z - 12. Is q(1) composite?
True
Is 3*(2/(-8))/(45/(-19860)) a composite number?
False
Suppose 102 = 3*f - 12. Suppose -u + 61 + f = h, -4 = -2*u. Is h prime?
True
Suppose 351 = 3*b + 33. Let g = b + -29. Is g a prime number?
False
Let i = 11 - 7. Suppose 3*y + 5*o - 44 = 2*y, -5*y + 136 = -3*o. Let j = i + y. Is j a prime number?
False
Let f(j) = -3 - 4*j + 2*j**2 - 6*j**2 - 2*j**2. Let k be f(-2). Let x = -4 - k. Is x a prime number?
False
Let k be 0 + -1921 - (3 + -1). Is 1/(((-3)/1)/k) a prime number?
True
Suppose -x + 3*l = -0*l - 6, -3*x - l = -8. Suppose -188 - 7 = -x*k - 3*s, 2*s = -4. Is k a prime number?
True
Let n be (-508)/(-6)*(-78)/(-4). Suppose -423 = 4*t - n. Is t a prime number?
True
Let t(y) be the third derivative of 0 + 0*y + 1/8*y**4 - 2*y**2 + 1/12*y**5 - 1/3*y**3. Is t(-3) prime?
False
Let q(u) = -113*u - 12. Is q(-5) prime?
False
Let o(p) = -245*p + 31. Is o(-4) a prime number?
False
Suppose 3*o = 5*o. Let z(n) = n**3 + 22. Is z(o) prime?
False
Let b(y) = -y**3 + y**2. Let s(x) = 5*x**3 - 16*x**2 + 5*x + 3. Let z(c) = -6*b(c) - s(c). Suppose 3*l + p - 2 = -32, -4*p - 50 = 5*l. Is z(l) composite?
False
Suppose 0 = -5*h + 4 - 54. Let l(z) = -9*z + 1. Is l(h) a composite number?
True
Suppose -o + 2*o = -76. Let s = -45 - o. Is s a composite number?
False
Let s(t) = t**2 + t + 3. Let o be s(0). Suppose o*w - 97 = -4*l, 3*w - 3*l = -0*w + 111. Is w a composite number?
True
Let k(r) = 65*r**2 + 10*r + 61. Is k(14) a composite number?
False
Is 38/(-5)*(-30)/12 a prime number?
True
Let t(n) be the third derivative of n**7/2520 + n**6/720 + 31*n**5/120 - n**4/12 + 2*n**2. Let f(j) be the second derivative of t(j). Is f(0) prime?
True
Let s be 0/(-1)*(-6)/6. Let d = s + -6. Is 3*d/9 - -21 prime?
True
Let z(y) = -2*y**2 + 21*y + 7. Is z(9) prime?
False
Let j(l) be the first derivative of 9*l**2/2 + 3*l - 11. Let c = -1 - -7. Is j(c) a composite number?
True
Suppose 5*i + 4*b - 4105 = -b, -4*b - 1624 = -2*i. Is i composite?
True
Let o = -1 + 2. Suppose 4*a = 3*r - 1195, o = -3*a - 2. Is r composite?
False
Let w(k) = -k - 13. Let g be w(-9). Let i be ((-126)/g)/(2/4). Let t = 142 + i. Is t a prime number?
False
Let p(k) = 0 + 4 + 4*k + 1 - 7*k**2. Let t be p(-4). Is 4*(t/(-12) + -1) a composite number?
False
Let c = -7 + 11. Suppose c = g - 3. Is g a prime number?
True
Let n = 47 - 33. Is (2933/n)/(1/2) composite?
False
Suppose 0 = 5*c - 3*c + 3*a - 114, 5*c + 5*a = 290. Suppose -5*v + c = 10. Is v a composite number?
True
Is (-21)/28 + (-79)/(-4) a composite number?
False
Let u = -300 - -457. Let o = 234 - u. Suppose 4*d = -2*p - p + 155, -o = -p + 5*d. Is p a prime number?
False
Suppose 5*z - 43 = 62. Suppose c - 4*c + z = 0. Is c a composite number?
False
Let j(k) = 3*k**2 + k. Let z be j(-1). Suppose z*b + 78 = -b. Is (-4)/b + 2980/65 prime?
False
Let g(v) = 4*v**2 - 5*v - 3. Let o(q) = 1. Let s(z) = g(z) + 5*o(z). Is s(4) a composite number?
True
Let y(f) = 21*f**3 + 15*f**2 - 4*f - 5. Let g(r) = -4*r**3 - 3*r**2 + r + 1. Let p(l) = -11*g(l) - 2*y(l). Is p(4) composite?
False
Let j = -808 + 577. Suppose 1170 = 3*x - 3*u, 5*x - 3*u = 838 + 1120. Let z = x + j. Is z composite?
False
Let h = -36 + 55. Suppose -r - 3*r + 16 = 0. Suppose -r*i + 5*z + h = -0*i, -5*z + 17 = 2*i. Is i a composite number?
True
Let k(x) = -2*x + 11. Let a be k(8). Let i = a + 10. Suppose -3*l = -z + 18, i*l + 7 = -13. Is z a prime number?
False
Let a be -3*38*(-3)/9. Suppose -10 = 4*m - a. Is m prime?
True
Suppose 0 = -5*j + 549 + 241. Suppose -3*w + 5*w = j. Is w composite?
False
Let s(a) = -a**3 - a**2 - a + 109. Suppose 3*w - w = -5*i - 20, 0 = -5*w + 4*i + 16. Let f be w*(-1 - 0/3). Is s(f) a composite number?
False
Let u be 3/(-6*(-1)/4). Suppose -2*j = u*j. Suppose m - 13 - 58 = j. Is m a prime number?
True
Is (-1 - 1 - 0) + -1 - -1696 a composite number?
False
Let l be 14/(-6) - 2/(-6). Let n be -3*(8/6 + l). Suppose -4*g + 498 = -2*t, -g - n*g = -5*t - 356. Is g prime?
True
Suppose -4*w - 9 = -2005. Is w a prime number?
True
Suppose -6*k + 3885 = -5697. Is k a composite number?
False
Suppose -2*w = -4*r + 254, 71 = r - 2*w - w. Suppose 0 = 2*p - r - 8. Is p a composite number?
True
Is ((-419)/3)/(1/(-3)) composite?
False
Let m = 422 - 196. Is m a composite number?
True
Suppose t = x + 740, 6*t - 2*x - 3709 = t. Is t a composite number?
False
Suppose -4*v + 7 + 9 = 0. Suppose -v*i - g + 209 + 424 = 0, 0 = -i + 3*g + 142. Is i a prime number?
True
Let l be -4*(-2 + 15/12). Let t be -2 + 21/9*l. Suppose 2*v + t*u = 130, 4*u + 12 = 7*u. Is v a composite number?
True
Suppose 907 + 233 = 3*q. Suppose -q = -4*m - 0*m. Is m a prime number?
False
Let p(f) = f**2 - 2*f. Let l be p(2). Let a(n) = -49*n. Let y be a(-1). Suppose -d + y = -l*d. Is d a composite number?
True
Suppose -4 = z + 2*x, -3*z + x - 16 = -39. Let w be (-1)/3 - (-212)/z. Suppose -h = -w + 9. Is h a prime number?
False
Let c = -745 - -1407. Is c prime?
False
Let b = 355 + -104. Is b composite?
False
Let h(f) = -f**3 - 3*f**2 - 2*f - 2. Let v be h(-4). Suppose -4*g - 2*u + 9 = -3, -2*g - 2*u = -10. Let d = g + v. Is d a composite number?
False
Let g(h) be the third derivative of 7*h**4/12 - 7*h**3/6 - 3*h**2. Is g(7) composite?
True
Suppose -617 = -3*o - 86. Suppose o + 9 = 2*f. Let t = f + -40. Is t prime?
True
Suppose 5*n - 4*n - 3 = 0. Let f = 5 - n. Suppose -f*j = -6*j + 124. Is j prime?
True
Suppose d - 4 = -0*d. Suppose -n + 417 = 3*x - x, -3*x + 628 = d*n. Suppose -4*z - 3*y = -x, -2*z - y - 3*y = -114. Is z prime?
False
Let c(p) = -19*p + 20. Is c(-9) a prime number?
True
Let o be (-12)/20 + (-14)/10. Let m be 2 + 2/(o + 1). Suppose m = q + 1 - 8. Is q a prime number?
True
Suppose v = -5*v + 12. Suppose 4*p + 152 - 516 = x, 0 = p - v*x - 91. Is p composite?
True
Is (2 - 1)/((-7)/(-14)) + 305 a prime number?
True
Suppose 2*a + 355 = 7*a. Is a a composite number?
False
Is 288726/26 + (200/(-52) - -4) prime?
False
Let m(u) = -276*u + 2. Let p(c) = -414*c + 3. Let b(q) = 7*m(q) - 5*p(q). Let l be b(1). Is l/3 + (-2)/(-6) a composite number?
True
Suppose x = 3*w + 323, 6*w - 4*w = -x + 298. Suppose -c - x = -978. Is c/18 - (-2)/(-9) a composite number?
False
Let r(u) be the first derivative of -107*u**2/2 - 3*u - 1. Is r(-2) a prime number?
True
Suppose 3*o - 1953 = -2*o - 2*n, 4*o = -2*n + 1562. Suppose 4*m = 5*m - o. Is m prime?
False
Let v be (-110)/(-1)*6/4. Suppose 3*u + 0*u = v. Is u a composite number?
True
Suppose -y = 4*y - 20. Suppose b = -3*p + 165, -7*b + 469 = -y*b - 4*p. Is b prime?
False
Let r(k) = 122*k**3 + 1. Let j be r(1). Let g = j + 304. Is g a prime number?
False
Is (-4 - -2)*5079/(-6) a prime number?
True
Is (-6)/(-2) - (-21 - 995) a composite number?
False
Let x = -10 + 6. Let m be 9/4 - (-1)/x. Suppose -h = m*h - 141. Is h a prime number?
True
Suppose 4*y + 22 = 2. Let a = -15 - y. Is (-1 - -6)*(-102)/a composite?
True
Suppose 0 = -c - 3*l + 16, c + 3*l = 3*c + 13. Is (c - (-4)/(-2))*-4 a composite number?
True
Let g be (3 - 0)/1 - -1. Suppose -g*m = 5 + 7. Let d = 34 - m. Is d prime?
True
Let x be 390 + 3/((-6)/(-4)). Let i = 553 - x. Is i prime?
False
Let z(k) = 146*k**2 - k - 3. Is z(4) a composite number?
True
Let q = -1 + 1. Suppose -i + 4*h + 24 = q, -3*h + 8*h = i - 29. Suppose -24 = -i*k + 36. Is k prime?
False
Let z = -1004 - -1431. Is z a prime number?
False
Suppose 63 = 4*o + 555. Suppose 0 = n + 31 + 7. Let u = n - o. Is u composite?
True
Let h be 219/13 - (-8)/52. Suppose 13*g = h*g - 7180. Is g a composite number?
True
Let z(m) = 2*m - 2. Let x be z(2). Let p be (1 - -1) + x + -2. Suppose 41 = p*t - 5*u, -5*t + t + 43 = 3*u. Is t prime?
True
Let p(g) = 396*g - 43. Is p(6) composite?
False
Suppose 4*b + 2*f + 2*f - 332 = 0, 5*b + 2*f = 421. Is b composite?
True
Suppose -5*b - 10 = 15. Let y be b/(-5) - (-8)/2. Suppose p - 4*q - 23 = 0, -3*p - 70 = -y*p + 2*q. Is p a composite number?
True
Let h(p) = -21*p + 3. Let y(k) = -4*k**2 - k. Let a be y(-1). Let w = -7 - a. Is h(w) a composite number?
True
Suppose -3*f = 4*m + 27, -4 = -4*m + f - 11. Let j be m + 8 - (-4)/(-2). Suppose 20 = j*n + 2. Is n a prime number?
False
Suppose 4*g + v - 677 - 1774 = 0, g - v - 614 = 0. Is g composite?
False
Su