- 575 = -7*u + o*u, -2*j = -u + 115. Is u a prime number?
False
Suppose -j - 3*p = j + 21, -3*j - p = 14. Let b(n) = n**2 - 17*n + 2. Let o(g) = g - 1. Let k(z) = j*o(z) - b(z). Is k(6) a prime number?
False
Suppose 37*b - 1516 = 33*b. Is b a composite number?
False
Let d(s) = -67*s - 12. Is d(-5) prime?
False
Let d = -230 + 519. Is d a prime number?
False
Let n(k) = -43*k - 5. Let d be n(-5). Let t = d - 92. Is t composite?
True
Let z(h) = -h**2 + 7*h + 5. Let w be z(7). Suppose -a + i = 2*i - 19, 0 = w*i. Let q = a - 10. Is q a composite number?
True
Suppose 311 = 2*z - z. Suppose 32 = 4*v + r + 7, -4*r = -5*v + 5. Suppose -v*c + 1316 = z. Is c composite?
True
Suppose 2*m = 891 - 77. Is m a composite number?
True
Let d(h) = 4*h - 3. Let r(a) = -2*a + 2. Let b(l) = -3*d(l) - 5*r(l). Let z be b(-2). Suppose -206 = -z*x - 59. Is x a composite number?
True
Suppose -4*k - 485 = -5*k. Is k a prime number?
False
Suppose -g + 2*t + 13 = 0, 5*g + 4*t = -t - 10. Suppose 0 = -g*o + 3*b + 200 - 35, 5*b = -2*o + 82. Is o prime?
False
Let b be 6/21 - (-12)/7. Let g(m) = 50*m - 3. Is g(b) composite?
False
Let y(c) = c**2 + 8*c + 9. Let v be y(-7). Is (6/(-9))/(v/(-339)) a composite number?
False
Let f(u) = 5*u**2 + 4*u. Let m be (0 - -2 - 5) + 8. Is f(m) prime?
False
Let g = 83 - -74. Is g composite?
False
Let j(a) be the first derivative of a**5/20 - a**4/2 + 2*a**3/3 - 9*a**2/2 + 2*a - 2. Let k(o) be the first derivative of j(o). Is k(6) composite?
True
Let w(q) = q**2 - 6*q - 2. Let k be w(7). Suppose 3*j + 2*j + 135 = k*n, 4*n - 3*j - 103 = 0. Is n prime?
False
Let n(p) = -118 - 4*p**2 - 5*p**2 + p + 8*p**2. Let x be n(0). Let a = x - -203. Is a prime?
False
Suppose 0 = 5*b - 7*b + 2018. Is b a prime number?
True
Suppose 3*r - 3*q + 329 = 59, 4*q + 360 = -4*r. Let x = 1709 - r. Is x composite?
True
Suppose -2*u - 47 = -c + 42, 5*c - 457 = 4*u. Let y = c - 56. Is y composite?
False
Suppose 2*j - 1 = j. Let q(v) = 12*v**3 - v + 27 + 2*v**2 - 26 - v. Is q(j) prime?
True
Suppose -y - 16 = q + 2*y, -4*q + 4*y = -16. Is (13 - -3) + 0 + q composite?
True
Let d(h) = -1550*h - 3. Is d(-4) prime?
True
Is 334 + (0 - (2 - -1)) prime?
True
Let j(t) = 5*t. Let u be j(1). Suppose -u*h + 2*h = -318. Is h prime?
False
Let i(z) = 12*z + 27. Is i(5) a composite number?
True
Let a(n) = n**3 - n**2 - n - 1. Let j be a(2). Let z(k) = -k**2 + 12*k - 9. Let u be z(11). Is j/u*97*2 a prime number?
True
Let v(c) = -c**2 + c + 751. Let d be (-2 + 2)/(-1 + 0). Is v(d) a prime number?
True
Suppose 0*l + 132 = 4*l. Is l a composite number?
True
Let h(w) = w + 7. Let r be h(-5). Suppose -2*d + 8 + r = 0. Suppose -k - 4 = 0, 3*k + 53 = d*i - 54. Is i composite?
False
Suppose 0 = -j - 184 + 571. Let y = 548 - j. Is y prime?
False
Let i be ((-50)/2)/(3/12). Is (1/(-2))/(5/i) prime?
False
Is (((-9)/(-2))/(-9))/((-2)/3596) a composite number?
True
Suppose -1088 = -2*q + 86. Is q a composite number?
False
Suppose -r + 337 = -4*l, -5*l - 41 = 3*r - 984. Is r prime?
False
Suppose 1770 = n - 41. Is n composite?
False
Let k = 141 - 261. Suppose -z - 23 - 44 = 0. Let r = z - k. Is r prime?
True
Let m = -4 + 6. Suppose 0*u + m*u - 90 = 0. Suppose -4*q = q + 2*b - u, 3*q + 3*b = 18. Is q a composite number?
False
Suppose -11*n + 7*n + 76 = 0. Is n a prime number?
True
Let n(l) = l**3 + 6*l**2 - 3. Let m be n(-6). Let p(j) = -2*j + 1. Let c be p(m). Let t(s) = s**2 - 5*s - 1. Is t(c) a prime number?
True
Is -3 - (-51)/18 - (-6691)/6 composite?
True
Let x(r) be the first derivative of -r**4/4 + 2*r**3/3 - 5*r**2/2 + 5*r - 5. Is x(-5) a prime number?
False
Let m = 683 + -480. Is m a composite number?
True
Is 636/3 - (-1 + 2) a prime number?
True
Let p = 1 - -4. Suppose -p*c = -2*x - 31, 8 = 3*x + x. Is c a composite number?
False
Is 5744/(-32)*(-1 + -1) a composite number?
False
Suppose 3*n - 2122 = 5387. Is n a composite number?
False
Suppose 171 = 6*n - 771. Is n a prime number?
True
Let k be ((-12)/2)/(18/(-12)). Suppose 3*w = -w - 8, 0 = k*x + 5*w - 106. Suppose i = 50 + x. Is i prime?
True
Let j(w) = 8*w - 29. Let t be j(18). Suppose 3*r = -3*l - 150, -2*l + 7*l + 2*r = -244. Let b = t + l. Is b a prime number?
True
Let w(f) = 9*f**3 - f**2 - 3*f + 1. Let a be w(2). Let s = a - 32. Is s a composite number?
False
Let b = 37 + -63. Let j = b - -37. Is j a composite number?
False
Let a = -7 - -8. Is 4 + -2 + 157/a prime?
False
Suppose 781 + 495 = 4*a. Is a prime?
False
Suppose 0 = -3*g - 6 + 3. Is (-2 - 1) + (g - -255) a prime number?
True
Suppose 0 = 2*o - o + 2*g - 209, -4*o = g - 843. Is o a prime number?
True
Let z = -914 - -1555. Is z a composite number?
False
Suppose 0 = m - 3*m + 3*r + 982, 0 = -5*r. Is m a prime number?
True
Suppose -g + 5*u - 761 = 0, 995 = -3*g + 4*u - 1299. Let x = g + 1421. Is x prime?
False
Is 239 + (2 + -10 - -4) a composite number?
True
Suppose -a = -3*b + 4*a + 32, 2*a + 85 = 5*b. Let m be (1 - -4)*(-2 + 3). Suppose 5*h - 49 = -4*i, 1 + b = m*i - 2*h. Is i prime?
False
Is 4/5 - (-2431)/5 prime?
True
Let m(r) = -r**3 - 6*r**2 - 2*r - 1. Let g(l) = l**3 + 9*l**2 - 9*l + 4. Let z be g(-10). Is m(z) a prime number?
True
Let y = -3147 + 4581. Suppose b + y = 3*b. Suppose -5*t - u + 804 = 102, -4*u = -5*t + b. Is t prime?
False
Suppose 205 = 4*h - 1303. Is h composite?
True
Let c be (-12)/(-30) - (-2)/(-5). Let i(k) = k + 69. Is i(c) a prime number?
False
Let j(y) = 4*y + 6. Let s be j(6). Suppose 2*n + 0 = -5*d + 2, 4*d = 5*n + 28. Suppose -s = -d*m - m. Is m a prime number?
False
Let i = 8 - 16. Let y(v) = v**3 + 8*v**2 - 2*v + 5. Is y(i) composite?
True
Let u be (1/3)/(2/90). Let v = 16 + u. Is v a composite number?
False
Suppose -14*y = -16*y + 420. Let t = y + -91. Is t composite?
True
Let a(q) = -40*q**3 + 2*q**2 - 3*q - 3. Is a(-2) a prime number?
True
Suppose 2*u - 3940 = -5*b - 3*u, 0 = b - 5*u - 806. Is b a composite number?
True
Let o = 35 - -20. Let p = o - 2. Is p a prime number?
True
Let p be 1 + (3 - -58) - 3. Suppose -5*b + p = -51. Is b prime?
False
Suppose 3*w + 693 + 559 = 5*v, -5*v + 1251 = -4*w. Is v a composite number?
False
Suppose 2*d - 4 - 2 = 0. Suppose 2*b = 6*b. Is (b - 0 - d) + 54 composite?
True
Let w be 9376/24*(-3)/(-2). Let r = w + -401. Is r composite?
True
Let d(m) = -m**3 - m**2 - m - 248. Let y be d(0). Let o = -135 - y. Is o prime?
True
Let m(k) = 21*k**2 + k - 1. Let g be m(3). Suppose -861 = -5*x - g. Is x a composite number?
True
Let k(l) = -l**2 - 7*l - 4. Let z be k(-5). Let w = z + -8. Is w - (-49 - (-3)/3) composite?
True
Let f(i) = 58*i**2 - i. Is f(-1) composite?
False
Suppose -5*w + 12 - 57 = 0. Let f(x) = -x**3 - 7*x**2 - 13. Is f(w) composite?
False
Suppose 0 = 5*t - 252 + 922. Let h = 303 + t. Is h a composite number?
True
Let m = -7 + 14. Suppose d + 2 = m. Suppose 35 = -d*g + 300. Is g a prime number?
True
Let x be 422*-2*3/6. Is (0 + 4)*x/(-8) a composite number?
False
Let u = 823 - -90. Is u composite?
True
Let m(b) be the second derivative of b**7/1260 - b**6/90 - b**5/120 - b**4/6 - 2*b. Let c(u) be the third derivative of m(u). Is c(-6) composite?
True
Let z(j) = -j**3 - 3*j**2 + 4*j + 3. Suppose 2*n - 4*x = 2, -3*n + 0*x + 3 = -x. Let h be n/(2 + 27/(-12)). Is z(h) prime?
True
Let t(h) = -4*h + 6. Let p be t(-3). Is (2/6)/(p/2484) composite?
True
Is (-8 + 7)*(-2 + 1)*565 a prime number?
False
Let n(p) = -2*p**2 + 3*p - 2. Let b be n(2). Let y be (-239)/b + (-3)/4. Is (-1)/(-1) + 5 + y prime?
False
Suppose 347 = 4*m - 353. Let r = m - 88. Is r prime?
False
Suppose 0 = 5*y - 5 - 5, g - 43 = -3*y. Is g composite?
False
Let p = -194 - -302. Suppose -2*o + 5*g - p + 448 = 0, -4*o = 3*g - 654. Suppose 7*j = 4*j + o. Is j a prime number?
False
Let h be (-6)/(-9) - (-8)/6. Let c be (9/6)/(1/2). Suppose -167 = -c*q - h. Is q a prime number?
False
Let l be (-8)/24 - 1052/(-6). Let n = -6 + l. Is n a prime number?
False
Let c(m) = 11*m - 19. Let p(z) = -23*z + 37. Suppose 60 = 5*n + 5. Let f(b) = n*c(b) + 6*p(b). Is f(-10) a prime number?
False
Let d(p) = -302*p**3 - p. Let b be d(1). Let h = -164 - b. Is h composite?
False
Let b(s) = 2*s**2 + 4*s - 5. Let i = -2 - 3. Is b(i) composite?
True
Suppose -3*p = o + 4*o - 3137, 0 = -p - o + 1047. Is p a prime number?
True
Let m = 15 + -21. Let v(s) = -2*s - 2. Is v(m) prime