- 14/(-42) prime?
True
Let b = -30 + 25. Let u = b + 18. Is u composite?
False
Let y(u) be the first derivative of u**3 + u**2/2 + 3*u + 1. Let k(p) be the first derivative of y(p). Is k(2) composite?
False
Let g(q) = q**3 + 8*q**2 - 8*q + 3. Let r be g(-9). Let s = -4 - r. Suppose -s*n = 3*n - 290. Is n a prime number?
False
Let q(r) = -30*r + 2. Let v be q(-2). Suppose 351 = h + v. Is h a prime number?
False
Let d(z) = -z**3 - 6*z**2. Let t be d(-6). Suppose -l + t*l + 18 = 0. Suppose -p + l = 2*p. Is p a composite number?
True
Let v be ((-4367)/(-22))/(1/2). Suppose 5*h + 5*r + 196 = 2181, h + 4*r = v. Is h a composite number?
False
Let y(l) = l**2 - 3*l + 53. Is y(0) a composite number?
False
Let u(m) = m**3 + 6*m**2 - 6*m + 10. Let y be u(-7). Suppose y*q + q = 580. Is q composite?
True
Let h(u) = u + 59. Suppose 0 = f - 6*f. Is h(f) prime?
True
Let p = 1 - 1. Suppose -3*t + 39 = -p*t. Is t prime?
True
Suppose 4 = -2*t - 2*l + 16, 4*t - l = 34. Suppose -t*z + 3*z + 1045 = 0. Is z composite?
True
Suppose 0 = -4*b + 384 + 764. Is b composite?
True
Let a(m) = -2*m**3 - 4*m**2 - 3*m + 1. Let l be -1*7 - (-2 - 1). Is a(l) prime?
False
Suppose 2*v + v = 0. Suppose -1141 = -v*c - 2*c - 5*k, -1720 = -3*c + k. Is c composite?
True
Let y = 1677 + -56. Is y composite?
False
Let w(u) = -15*u**3 - 12*u**2 - 10*u - 4. Is w(-5) composite?
False
Let f(t) = -t**3 - 5*t**2 - 3*t + 7. Let l be f(-6). Suppose 3*k - k = -5*b + l, 2*b = -k + 25. Is b a prime number?
True
Suppose 5*j = -t + 3*j + 8057, 2*j = -5*t + 40285. Is t composite?
True
Let a(g) = g**2 + 15*g - 13. Let r be a(-16). Is r*55*(-12)/(-36) composite?
True
Suppose -6*t + 3*o = -2*t - 3013, 2241 = 3*t + 4*o. Is t composite?
False
Suppose -2*j - 3529 = -5*c, -5*c - j - 494 = -4032. Is c prime?
False
Let l = 148 - 44. Suppose -3*g + 294 = -3*r, -3*g - 5*r + 358 = l. Suppose -g = 4*k - 377. Is k a composite number?
False
Suppose -5*z - 4*q = -36, 0 = 5*z - q - q - 12. Let y(v) = 4*v + z*v - 2*v + 5. Is y(8) a composite number?
False
Let y(q) = 2*q**2 - 1. Is y(-8) prime?
True
Let s = 31 - 21. Let t = s - 65. Let w = t + 78. Is w prime?
True
Let s = 792 - 238. Is s a prime number?
False
Suppose 56 = -h + 3*g, -5*h + 2*h + g = 176. Let q = -1 - h. Is q a prime number?
False
Let y = 1304 - -819. Is y composite?
True
Let l = -42 - -125. Is l a composite number?
False
Suppose 2*i + 1055 = 5*v, 2*v - 3*i = 3*v - 211. Is v a composite number?
False
Let j = 3 + -3. Suppose 3*s = n + 27, -4*s - s + n + 45 = j. Suppose 0*t + s = t. Is t a composite number?
True
Let z(i) = 48*i + 11. Is z(5) prime?
True
Let g(n) = -279*n - 1. Is g(-4) composite?
True
Let m = 69 + -32. Let h = 102 - m. Is h composite?
True
Suppose -4*c - 840 = c. Let w = c - -242. Is w prime?
False
Let y be (2/5)/((-3)/(-90)). Suppose 3*a + r - 30 - y = 0, 0 = -5*a - 2*r + 71. Is a prime?
True
Suppose 0 = -0*r - 2*r + 1814. Is r composite?
False
Let n(i) be the second derivative of 29*i**5/120 - i**4/6 + i**3/6 + 2*i. Let j(q) be the second derivative of n(q). Is j(3) a prime number?
True
Let b be 13 - (-2)/((-8)/(-12)). Suppose b = -4*c, -c - 2*c + 129 = 3*s. Is s prime?
True
Let b = -1 - -5. Suppose -3*f = l - 2*f - 2, b*f - 8 = -3*l. Suppose l = -m, -m - 33 = -3*u + m. Is u prime?
True
Let h be 5*1/(10/6). Suppose -6*d + 3*d - 96 = 0. Let k = h - d. Is k composite?
True
Suppose -1985 = -5*s - 0*s. Is s a composite number?
False
Suppose -894 + 2787 = 3*s. Is s a prime number?
True
Let k(w) = 24*w**2 + 4*w + 7. Is k(-3) a composite number?
False
Let o = -19 - -10. Let a = o + 78. Is a composite?
True
Let x = 16 - -15. Is x a composite number?
False
Let w be (0 - (-3)/3) + 0. Let a(c) = -1. Let x(f) = 20*f + 4. Let q(h) = w*x(h) + 5*a(h). Is q(4) a prime number?
True
Suppose 0*q = 2*q - 2050. Suppose 3*f = -4*i + 692 + 128, -5*i - 3*f = -q. Is i composite?
True
Let p(c) = c**2 - 4*c - 8. Let b be p(6). Suppose u + 2 = -1, -133 = -z - u. Suppose b*f = z + 4. Is f prime?
False
Let x(h) = 287*h**2 - h + 1. Is x(-2) prime?
True
Suppose -z + 2 + 2 = 0, -5*c = z - 14. Suppose -k = -c*k. Is (1 - k)/(-1)*-53 a composite number?
False
Let l = -280 + 963. Is l a prime number?
True
Suppose 0*x + 3*x - 9 = 0. Suppose 0*s - s + d = -9, x*s = -d + 31. Is s composite?
True
Let a(n) be the first derivative of -97*n**2/2 + 2*n + 5. Is a(-3) a composite number?
False
Let h(a) = a**3 - a - 1. Let k be h(0). Is (-19414)/(-153) - k/9 composite?
False
Let h = 2245 + -8. Is h a composite number?
False
Let m = -247 - -374. Is m composite?
False
Let f(k) = -7*k**3 + k**2 + k. Let l be f(-1). Suppose -5*n = -4*s + 190, 2*s = s + 4*n + 42. Suppose -2*w + l*w = s. Is w a prime number?
False
Let h be 231/35 + 3/(-5). Let v(f) = 5*f**2 - 3*f - 7. Is v(h) composite?
True
Let a(h) = -h - 1. Let i be a(-3). Suppose -3*t = -i*t - 4. Suppose -2 = -p, -t*f - 3*p + 118 = -6*p. Is f a composite number?
False
Is 743/((-4 + 8)/4) composite?
False
Suppose -3*n + 110 = 2*n. Suppose 0 = -5*y + 40 - 115. Let x = n + y. Is x a composite number?
False
Suppose -13*u - 1446 = -15*u. Is u a composite number?
True
Is (-1 + (-161)/2)*-2 prime?
True
Let t(q) = 3*q**3 - 10*q**2 + 6*q + 6. Let w be t(6). Let b = w - 157. Suppose 2*y = 6*y - 3*u - 361, -2*y = -3*u - b. Is y composite?
True
Let i = -381 - -655. Is i prime?
False
Let i(p) = -3*p + 2. Let o be i(-7). Let z = o + -2. Is z composite?
True
Let m = -31 + 122. Is m a prime number?
False
Suppose -s - r = -48, 0 = -2*s - 3*s - 2*r + 234. Is s prime?
False
Suppose 0 = -5*r + 89 + 546. Is r a composite number?
False
Let s = 3 - 8. Let k = 7 + s. Suppose -4*u + 31 = 3*l - 59, -k*l - u = -65. Is l a composite number?
True
Let s = -11 - 16. Let j = s - -79. Let m = j - -31. Is m a composite number?
False
Let a = -529 - -1200. Is a a prime number?
False
Let y = -714 + 1684. Is 1/(-4) - y/(-8) prime?
False
Let y be -1 + 0/(-1) + 11. Let w be y*-2*1/1. Is (w/6)/((-1)/3) prime?
False
Let p(y) = 679*y**2 - 2*y. Is p(1) prime?
True
Suppose 2*z + 15 = -z. Let r be (-4)/(z/((-190)/(-4))). Suppose 4*l = r + 6. Is l a prime number?
True
Let r be (-6)/15 + (-1378)/5. Let z be (2 - (-5)/(-2))*r. Suppose -3*s + 123 = 4*g, -2*g + 6*g = 2*s + z. Is g a composite number?
True
Let r(a) = a + 4. Let x be r(-9). Let u(f) = -10*f + 5. Is u(x) a prime number?
False
Is -4 + 1 - (-11210)/19 a composite number?
False
Let v be (2 - 0) + (1 - 345). Is (-5)/2*v/15 a prime number?
False
Let s(j) = -101*j**3 + j**2 - j. Let y be s(1). Let w = 40 - y. Suppose 0 = -g + 3*o - 0*o + 52, 3*g - w = 4*o. Is g a composite number?
False
Suppose 4*c - 423 = 197. Is c a composite number?
True
Let a(n) = -n + 10. Let m be a(10). Suppose 4*f + m*f = 740. Is f composite?
True
Let l(n) = 34*n + 2. Let g be l(2). Suppose -5*z + 550 = -4*b + 113, -5*b = z - g. Is z prime?
False
Suppose 9*b + 5*b = 17570. Is b prime?
False
Let g(n) be the third derivative of -n**4/2 - 7*n**3/6 - 2*n**2. Is g(-7) a prime number?
False
Is (-3)/(0 + (-12)/332) a composite number?
False
Let t be 12/(-3) + 0 - -115. Suppose q = -5*y + 62, -5*q + 2*y + t = -64. Is q prime?
True
Let u be (0 - -1)/(2/6). Let t(i) = -i**2 + 4*i - 1. Let m be t(u). Suppose -m*x + 5*x = 99. Is x a composite number?
True
Let z(n) = 34*n + 7. Let l be z(5). Suppose 4*j - 653 = -l. Is j prime?
False
Let v(f) = -f**3 - 2*f**2 - 2*f + 6. Let g be 4 + -1 + 1/(-1). Suppose -25 = 3*b + g*b. Is v(b) prime?
False
Let j = 6 - 2. Suppose -4 = -j*o, -4*o + 19 = i + 4. Is i prime?
True
Let g(a) = 7*a**2 + 10*a - 3. Let q be g(-7). Suppose -y - q = y. Let j = y + 254. Is j a prime number?
False
Let q = 335 - 50. Let i = q - 144. Is i a prime number?
False
Suppose -905 = -9*m + 4*m. Is m composite?
False
Suppose 0*l - 2 = -l. Let u be 2/(l/(-12)*-2). Suppose -u*q + 2*q = 8, q - 134 = -4*o. Is o composite?
True
Let a = 118 - 95. Is a composite?
False
Suppose -1663 = -5*w + 2*m, 5*w - 4*m = 763 + 898. Suppose -a = -4*a + w. Is a composite?
True
Suppose 11*o = 8*o + 951. Is o a prime number?
True
Suppose g + 462 = l + 124, -3*g = -9. Is l prime?
False
Is (7/28)/(1/124) composite?
False
Suppose -6*d - 695 = -11*d. Is d composite?
False
Let y be -2 + -1 + 3 + 2. Let j(n) = 2*n + 1. Let w be j(y). Is 177/w + 12/(-30) a composite number?
True
Let p = 43