q + j*q. Is q a composite number?
False
Suppose -18 = -2*b + 5*b. Is ((-58)/b)/(1/15) composite?
True
Suppose -p + 2*q + 7 = 0, -5*q + 3 - 13 = 0. Suppose -3*h + 569 = -p*c + 2*c, 2*c - 963 = -5*h. Is h prime?
True
Suppose w - 5*q - 111 = 0, w + 3*w - 5*q = 384. Is w a composite number?
True
Suppose -2*p + 2*j + 13 = j, 0 = 5*p - 3*j - 35. Suppose -5 - 3 = -p*q. Suppose 364 = q*m + 2*m. Is m composite?
True
Let d(w) = 2*w**2 + 6*w + 7. Let z(g) = 5*g**2 + 18*g + 22. Let l(n) = 8*d(n) - 3*z(n). Is l(8) a prime number?
False
Let t be ((-1 - -3) + 22)/1. Let f = t + 1. Suppose -3*b = -z + f, -2*z - 4*b + 47 + 23 = 0. Is z composite?
False
Let b be -1 + 2/2 + 5. Suppose 6*u - u = 3*n + 1376, b*n - 264 = -u. Suppose -5*k - 5*f + u = -2*f, -197 = -4*k + 5*f. Is k a prime number?
True
Let u(x) = x - 13. Let g be u(15). Suppose -2*p + 70 + 66 = 4*h, 0 = g*h + 3*p - 64. Is h prime?
False
Let w = 12 - 8. Suppose w*u + 3 = 7. Let c(j) = 250*j**2 + 2*j - 1. Is c(u) a composite number?
False
Let y(v) = 2*v**3 - 6*v**2 + 5*v + 3. Is y(4) prime?
False
Is (-1)/((-1599)/399 - -4) a prime number?
False
Let z = 46 - 6. Suppose -g = 3*g - z. Suppose 5*s = g + 5. Is s prime?
True
Let d = -176 - -79. Is d*(-3 + (-4)/(-2)) composite?
False
Suppose 8*i = 4*i - h + 4665, 4*i - 5*h - 4635 = 0. Is i composite?
True
Suppose 3*g - 5 - 1 = 0. Suppose 0 = 4*l - g*l - 76. Suppose -5*r + o + 2*o + l = 0, 5*o + 20 = 4*r. Is r prime?
False
Suppose 1819 = 4*v + 35. Let l = 631 - v. Is l a prime number?
False
Let x(r) be the third derivative of -1/8*r**4 + 0*r + 0 + 1/6*r**5 - r**2 - 1/2*r**3. Is x(-2) prime?
True
Suppose -2*c - 1420 = -7*c. Suppose c = 2*q + 110. Is q a composite number?
True
Suppose i - 24 = -1. Is i prime?
True
Let h be 6/(-10) + 196/10. Let t = 27 - h. Let f = 29 + t. Is f prime?
True
Suppose -5*d + 35 = -2*d - 5*v, d - 35 = -3*v. Suppose 2*s - 3*g = -4*g + 142, -d = -5*g. Is s prime?
False
Let l(a) = 2*a**3 - 6*a**2 - 3*a. Let b be l(7). Suppose -4*r + b = -345. Is r a prime number?
True
Let t(l) = l**3 - 16*l**2 - 27*l + 15. Is t(18) prime?
False
Let n(b) = -5*b**3 - 5*b**2 + 5*b + 4. Let o(q) = -15*q**2 + 5 + 16*q + 10 - 14*q**3 - 3. Let d(t) = -8*n(t) + 3*o(t). Is d(-5) a composite number?
False
Suppose -3 = -3*w + 15. Suppose -3*x = w, -108 = -a + 3*x + 157. Is a prime?
False
Suppose 3*m = 2*m + 109. Is m a prime number?
True
Let n(o) = o**3 - 1. Let w be n(1). Suppose 4*p - 6*p + 70 = w. Is p a composite number?
True
Let h = 579 - 325. Is h a composite number?
True
Suppose -3*r + 7 = c, -3*r + r = 2*c - 22. Suppose 0 = -10*b + c*b - 915. Is b composite?
True
Suppose -5*l - p + 45 = 2*p, 14 = -l + 4*p. Suppose 395 = l*y - y. Is y prime?
True
Suppose -612 = -q + 4*w + 505, 3351 = 3*q - 3*w. Is q a composite number?
False
Let s = 4 - 1. Suppose 1996 = v + s*v. Is v composite?
False
Let k = 581 + -159. Is k a composite number?
True
Let d(l) = 71*l - 3. Let x be d(2). Let h = -88 + x. Is h prime?
False
Let c(b) = b**3 + 13*b**2 + 9*b - 17. Let i be 12/18 + 166/(-6). Let g = 15 + i. Is c(g) a prime number?
True
Let i = -1468 - -2289. Is i composite?
False
Suppose x - 2 = -1. Suppose m - 11 = -5*p, 0*p + 4*p - 8 = -m. Is (1 + x)/(m/(-166)) composite?
False
Let j be 6/(-9) + (-739)/3. Let o = 46 - j. Is o composite?
False
Suppose 5*a = -3*g + 40, 15 = -g - a + 5*a. Suppose 4*y = -2*n + 758, -g*y + 916 + 15 = -3*n. Suppose o - y = -3*o. Is o a composite number?
False
Let d(m) be the third derivative of m**5/60 - m**4/12 - 5*m**3/3 + 4*m**2. Is d(7) composite?
True
Let v(k) be the third derivative of k**6/12 + k**5/20 - k**3/6 + k**2. Is v(2) a composite number?
True
Let n be 6/4*(-8)/(-4). Suppose y - 77 = -5*j, 245 = n*y - 0*j + j. Is y a composite number?
True
Let v = 5 - -2. Let q = v - 3. Suppose 3 = 3*d, -3*a + q*d + 612 = d. Is a composite?
True
Let g(s) = -64*s**2 + 0*s - 2*s + 66*s**2 - s**3 + 4. Is g(-3) a composite number?
True
Is 1*(1 + 0)*1361 composite?
False
Suppose -4*z + 55 = -0*z + 3*i, 0 = -2*z + 2*i + 10. Is 4/z - (-1284)/15 prime?
False
Let j be 6*(1 - (-4)/(-6)). Suppose -4*n + p + 207 = 0, -n + j*p = 6*p - 73. Is n composite?
False
Suppose 3*b - 3 = 3*a, 2*b + 8 = -0*b. Let p = a + 7. Suppose -4*r + 4 = -p*r. Is r a prime number?
True
Suppose -2*d - 4 = -3*d. Let i be 24/15 - d/(-10). Suppose 3*q - 325 = -i*q. Is q composite?
True
Let y be (-6)/15 + (-51)/(-15). Suppose -y*j + 0*j - 274 = -2*c, 5*c = -2*j + 723. Is c a composite number?
True
Suppose -3*h + 6 = -3. Suppose -2*r = -4*i + 2*i + 164, r = h. Is i composite?
True
Let d(m) = -11*m - 2. Is d(-5) prime?
True
Let g(z) = -3*z**2 - 1. Let j be g(1). Let k = j + 1. Is (-21)/(-2)*(-4)/k a prime number?
False
Suppose -o + 1162 = 2*u + 3*o, 2337 = 4*u - 5*o. Is u a composite number?
True
Suppose -4*k + 18721 = -21399. Is (-6)/27 - k/(-18) a composite number?
False
Suppose -2*s = -0*s + 12. Let g be s/3*(1 - 4). Is -22*(-3)/g*11 prime?
False
Is 2/1 + (-3 - -702) a prime number?
True
Let g(b) = b**3 + 23*b**2 - 2*b + 13. Is g(-22) a composite number?
False
Let s(j) = 1235*j**2 + 39*j. Let u(d) = 65*d**2 + 2*d. Let a(w) = -12*w + 3. Let r be a(-3). Let t(f) = r*u(f) - 2*s(f). Is t(1) a composite number?
True
Is ((-191)/5)/((-72)/(-15) + -5) composite?
False
Suppose 7*p - 4 = 3*p, -2 = -2*k + 2*p. Suppose -k*f + 41 = -57. Is f composite?
True
Let h(b) = 5*b + 3. Let t(m) = -m + 1. Let r(a) = -h(a) - 6*t(a). Let d be r(10). Is 3 + 1/(d/116) a composite number?
True
Suppose 2*f - 5*v + 6 = 0, -v = v - 4. Suppose 4 = -f*y, 3*y - 25 = 4*n + 5. Let b(j) = j**2 + 2*j - 5. Is b(n) prime?
False
Let o = 278 + -115. Is o a prime number?
True
Let b(f) = f**3 - f**2 + 2*f. Let u be b(2). Let p = -5 + u. Suppose -2*q = 2*l - l - 23, p*l - 67 = -5*q. Is l composite?
False
Let r(y) be the first derivative of -y**2/2 + 1. Let p be r(-5). Is 2/(-2)*-2*p prime?
False
Let d(f) = -554*f**3 + f. Is d(-1) a prime number?
False
Let q be (-10)/(-4)*12/10. Suppose q*l - 9 = -0*l. Suppose 0*h + h = -4*k + 32, 2*k - l*h - 2 = 0. Is k composite?
False
Is (6*(-6)/(-18))/(4/370) prime?
False
Let p = 8554 - 4883. Is p a composite number?
False
Suppose -4*n = h - 14, n = -0*h - 5*h - 6. Suppose 60 = n*q - q. Let r = q + -9. Is r prime?
True
Let n(r) = 77*r - 1. Let v be n(2). Suppose 42 = 5*y - v. Is y a prime number?
False
Suppose -3*r + 3777 = -3*s, -r + 5*s = 135 - 1394. Is r prime?
True
Suppose 0 = 2*g - 5*x - 191, -2*g + 4*g - x - 171 = 0. Is g composite?
False
Let j be (2/(-5))/(3/(-15)). Suppose 0*g + l = -g, 5*g - 21 = 2*l. Suppose g*a = -j*a + 105. Is a a prime number?
False
Suppose -2*d + 7 = -5*n, 2*n + 5 = 5*d - 2. Let m(t) = 7*t**3 + t - 1. Is m(d) prime?
True
Let c be ((-1)/2)/((-2)/20). Suppose 0 = c*t - 10. Suppose 166 = -0*s + t*s. Is s prime?
True
Let r = -4 + 4. Suppose -2*n = -3*z - 105, -4*n + z - 5*z + 200 = r. Is n composite?
True
Let g(w) = 0*w**2 - 7 - 3*w**2 + 0*w**3 - 8*w - w**3 - 4*w**2. Is g(-8) composite?
True
Suppose -2*y - t + 2 = -71, -93 = -3*y + 4*t. Suppose -b + y = 5. Suppose 0 = 3*i - 267 + b. Is i a composite number?
False
Let g(f) be the first derivative of 1/4*f**4 - 5*f + 1 + 3*f**3 + 4*f**2. Is g(-7) a prime number?
True
Suppose 2 = -5*w + 4*f, -2*w - f + 3 + 4 = 0. Is (w/(-6))/((-1)/291) composite?
False
Let w(l) = l**3 - 4*l**2 - 5*l + 5. Let z be w(5). Suppose d - z*c = -0*c + 129, 4*c = 2*d - 246. Is d composite?
True
Let v(z) = -z - 3*z - 2*z + 2*z - 11. Let n be v(-10). Suppose 5*h = n + 86. Is h a prime number?
True
Let y be (-8 - -8)/(-2 + 4). Is (y + 554*-1)/(-2) a prime number?
True
Suppose -15*r + 2395 = -10*r. Is r prime?
True
Suppose -3*k + 262 = -z, 5*k - 3*z - 308 = 122. Is k a composite number?
False
Suppose 0 = 6*k - 3*k + 1029. Is (-2)/((-7)/(k/(-2))) prime?
False
Let z(y) be the second derivative of -8*y**3/3 - 9*y**2/2 - y. Let a(o) = -15*o - 8. Let u(l) = -5*a(l) + 4*z(l). Is u(3) a prime number?
True
Let s = 190 + 9. Is s a composite number?
False
Suppose 5*d + 1601 = -4*f - 333, 2*d + 771 = f. Let w = -147 - d. Is w a prime number?
True
Let p(f) = -50*f - 49. Is p(-6) a prime number?
True
Let t(k) = 35*k**2 - k + 1. Is t(1) a composite number?
True
Suppose 93 = 4*o - 119. Is o a prime number?
True
Suppose 0 = -u + 746 + 371. Is u composite?
False
Suppose 