z - 279 = h. Is z prime?
True
Suppose -4*a = -4*x + 44, -a = 2*x - 18 - 1. Let k be ((-88)/20)/((-2)/x). Suppose -2*n = -0*n - k. Is n a prime number?
True
Let y(h) = -4*h - 3. Let o(n) = -8*n - 6. Let j(d) = 3*o(d) - 7*y(d). Let u be j(9). Suppose -u + 108 = 3*w. Is w composite?
False
Let z = 4745 + 812. Is z prime?
True
Suppose 2*a - 4*v - 13469 = -v, 6754 = a + 5*v. Is a a prime number?
False
Is 0 + (-9)/(-3) + 94 prime?
True
Let d(c) = -51*c**2 + 1. Let w be d(2). Let s = w - -394. Is s a prime number?
True
Suppose -2*y + 242 = -0*y. Suppose 0 = -5*n + 25, j = -j - 3*n + y. Is j prime?
True
Let f(x) = x**3 - 2*x**2 + 1. Let l be f(1). Let p(k) = -k**3 - k**2 - 103. Let u be p(l). Let b = u + 158. Is b composite?
True
Let b(u) = u**3 + 2*u**2 - 5*u - 2. Let v be b(-3). Suppose 5*y = v*d - 65 - 246, -157 = -2*d + y. Is d composite?
False
Let y = 17 - 12. Suppose -3*x + 3*z + 26 = -79, 0 = y*x + 4*z - 175. Is x prime?
False
Let u(x) = x**3 - 2*x**2 + 3*x + 2. Let j be u(4). Suppose w + 4*w - 545 = -5*s, 2*s - 227 = w. Suppose -s = -2*f + j. Is f prime?
True
Let h = 9722 - 4581. Is h a composite number?
True
Let t be 2/(-3) + 4/6. Let v(j) be the first derivative of j**4/4 + j**2/2 + 19*j - 2. Is v(t) a prime number?
True
Let d be 4/(-1)*3/(-4). Suppose x + 12 = 4*x. Suppose 62 = 2*v - x*w, 4*w - 103 = -d*v - 0*w. Is v a composite number?
True
Let j(n) = 23*n**3 - 2*n**2 + 1. Let v be j(1). Let g = v + -46. Let c = 14 - g. Is c composite?
True
Is (-2026)/(-6) + (-6)/9 composite?
False
Let a(w) = -1 - 41*w + 0 + 12*w - 2. Let m be a(-2). Suppose i - 2*s - m = 0, 7*s = -i + 2*s + 55. Is i a prime number?
False
Suppose -8*s + 6321 = 9. Is s prime?
False
Suppose -h - 180 + 919 = 0. Is h a composite number?
False
Let t = -431 - -1272. Is t composite?
True
Let d(m) = 17*m + 35. Is d(10) a composite number?
True
Let r(v) = -v**2 + 5*v + 8. Let c be r(6). Is (-354)/(-2)*c/6 a composite number?
False
Let j(b) = 36*b**3 + 7*b**2 - 3*b - 5. Is j(4) a prime number?
True
Let t = -44 - -129. Is t prime?
False
Suppose -136 = -5*d - 21. Suppose d + 15 = 2*p. Is p prime?
True
Let j be 5 - 2 - 3/(-3). Suppose i = -5*x - 95, -2*x - 3*i = -j*x - 55. Let g = 33 + x. Is g a composite number?
False
Suppose 135 = 2*l - 185. Suppose -2*j = -4*j + l. Suppose 3*t = -0*f + 2*f - 36, -4*f + 2*t + j = 0. Is f prime?
False
Let l(c) = -14*c - 46. Let n(r) = -5*r - 15. Let q(p) = -6*l(p) + 17*n(p). Is q(10) a prime number?
True
Let q(z) = -z + 4. Suppose 3*w - 5*w = -4. Let h be w/(-7) - 122/14. Is q(h) composite?
False
Suppose 0 = 3*k - 3*q - 705, k + 0*k + q = 239. Is k prime?
False
Suppose 3 - 40 = -y. Suppose -4*j - 60 = -5*j. Let r = j - y. Is r composite?
False
Suppose 459 = 6*c - 3*c - 5*w, -3*c + 4*w + 462 = 0. Is c prime?
False
Is (-1)/(-2) + (350/4 - 1) a composite number?
True
Suppose 0 = -4*u + 121 + 39. Let h be (16/12)/(16/36). Let x = u - h. Is x composite?
False
Let f(h) = -2*h**2 + h + 0 + h + 4*h**2 - 7. Is f(5) prime?
True
Let s(o) = -2*o**3 + 23*o**2 + 3*o - 15. Is s(11) composite?
False
Let z(f) = 37*f**2 - 6*f + 2. Is z(-3) prime?
True
Let k be (-9)/(-15) + (-76)/10. Let y(b) = 7*b**2 + 4*b - 6. Let r(q) = 8*q**2 + 4*q - 6. Let j(w) = -6*r(w) + 7*y(w). Is j(k) a composite number?
True
Is 2/(4/2)*265 a composite number?
True
Let q(h) = 2*h + 2. Let d be q(-4). Let b(s) = 2*s**2 + 2*s + 7. Is b(d) a prime number?
True
Is 3/24 - 26805/48*-2 prime?
True
Let u = 22 + -7. Let x = 74 - u. Is x a composite number?
False
Suppose 0 = 3*i - 2*a - 919, 8*a + 916 = 3*i + 3*a. Is i a prime number?
True
Is -1*6/(-9) - (-709)/3 a prime number?
False
Let w(o) be the third derivative of -o**6/120 - o**5/12 + o**4/8 + o**3 + o**2. Let h be w(-5). Is ((-237)/h)/((-1)/(-3)) a prime number?
True
Let c(l) = 28*l**2 + 12*l + 33. Is c(-5) composite?
False
Suppose -16*g = -9*g - 49. Is g a composite number?
False
Let w(k) be the third derivative of 13*k**4/12 + k**3/6 - 4*k**2. Is w(3) prime?
True
Let o(h) be the third derivative of -h**6/120 - h**5/60 - 2*h**2. Let b be o(-1). Suppose -r + 5 + 30 = b. Is r a prime number?
False
Is (16/(-24))/(4/6) + 180 prime?
True
Is 741/9 + (-2)/(-3) prime?
True
Let g(h) = -119*h + 1. Let l be g(1). Let m = 207 + l. Is m a composite number?
False
Let q be (1 - 1)*1/3. Suppose 789 = 4*z + 2*a + 3*a, 5*a - 25 = q. Is z composite?
False
Suppose 0 = 2*h - 4*h + 694. Is h prime?
True
Suppose -3*x + 1165 = 3*m - m, m + 5*x - 572 = 0. Is m prime?
True
Suppose 35*v - 37*v + 1270 = 0. Is v prime?
False
Let x = -3 - -1. Is (-127 - 7)*1/x prime?
True
Suppose 0 = -5*w + 3*v - 0*v - 793, -813 = 5*w + 2*v. Suppose -122 = 2*n + 106. Let i = n - w. Is i a composite number?
False
Let p(d) = -3*d - 10. Let l be p(-7). Suppose 0 = a - 3*a - 4. Let r = l + a. Is r prime?
False
Let p(k) = -17*k + 37*k + 3 + 18*k - 4. Let o = 4 - 3. Is p(o) prime?
True
Suppose -9*l + 1070 = -4*l. Is l a composite number?
True
Suppose -4*d = -5*d + 223. Is d a composite number?
False
Let s(f) = 162*f**2 + f. Is s(1) composite?
False
Suppose 0*y = 3*y - 18. Let k(d) = -3*d + 6*d + 5 + 4*d. Is k(y) a prime number?
True
Let a = 72 - -221. Is a composite?
False
Let g be 2/8 + (-4590)/(-72). Suppose g = -3*l + 1735. Is l prime?
True
Let j be 15/25 - (-944)/10. Suppose 5*l = 4*l + j. Suppose 2*a - 3*m - 57 = -19, -5*a + 2*m = -l. Is a a prime number?
True
Suppose -4*m = -0*j + 5*j + 41, -5*m = -j + 15. Let z be 2/(3/m + 1). Is (-1 + -19)*(-4)/z a prime number?
False
Suppose 0 = 5*i - 2*b - 10, i - 4*i = 5*b - 6. Suppose i = -3*y + 32. Is y composite?
True
Let t be (-2)/3 - (-14)/(-6). Let p = 31 - t. Is p prime?
False
Let r(a) = -5*a - 3. Let h be r(-1). Suppose 4*w - 27 = -3*k, -k - h*w + 0 = -7. Is k composite?
False
Let q = -6 + 9. Let g(l) be the third derivative of 37*l**4/24 + l**2. Is g(q) a composite number?
True
Let y(m) = -36*m + 11. Let n = -1 - 8. Is y(n) a composite number?
True
Suppose 3*p + 48 = 309. Is p a prime number?
False
Let w be 1/((-10)/(-4))*-20. Let t(v) = v**2 - 2*v + 9. Is t(w) a composite number?
False
Let c(v) = v**2 - 2*v + 2. Let h be c(3). Let x(i) be the first derivative of i**2/2 + i + 6. Is x(h) a prime number?
False
Let n(i) = -i**3 - 11*i**2 + 12*i + 3. Let k be n(-12). Suppose 5*o - 10 = 0, -5*u + 327 = -o - k*o. Is u prime?
True
Suppose 3*r = -8 - 28. Let h(y) be the first derivative of -y**4/4 - 4*y**3 - 4*y**2 - 5*y - 5. Is h(r) a prime number?
False
Suppose 4*c = 6*c - 514. Is c prime?
True
Suppose -4*n + 66 = -34. Is n prime?
False
Let f(o) = 191*o + 4. Let y(p) = 82130*p + 1719. Let r(t) = 1719*f(t) - 4*y(t). Is r(-1) composite?
False
Let j = 42 + -27. Let a = -6 + j. Suppose -4*h + a + 75 = 0. Is h composite?
True
Suppose 3*r - 6 = 0, -187 = m - 2*m + 2*r. Is m prime?
True
Let s = -71 - -274. Is s a composite number?
True
Let y(t) = t**3 + 5*t**2 - 4*t + 5. Is y(4) a prime number?
False
Let m be (-22)/(1 - (2 + -2)). Suppose -133 - 212 = 5*q. Let v = m - q. Is v composite?
False
Suppose -100 = 6*c - c. Let q be 4/10 + (-2392)/c. Suppose -5*u + 2*f = -q, 5*u + 11 = 3*f + 126. Is u a prime number?
False
Let g(j) = -12*j**3 + j**2 + 2*j - 4. Is g(-3) a prime number?
False
Suppose 0 = -5*p + 1240 + 745. Is p a prime number?
True
Let o = -67 + 97. Let d = o + 113. Is d a composite number?
True
Let o(l) = -l**3 + 4*l**2 - 3*l. Let u(f) = f + 2. Let x be u(0). Let j be o(x). Suppose -5*g = -4*i - 1117, -j*g - 5*i + 421 + 6 = 0. Is g prime?
False
Suppose 5*s - 2*s - 1167 = 0. Let q = -112 + s. Is q prime?
True
Let v be (127 + -2 + 2)/1. Let p = v - 58. Is p a composite number?
True
Let y be 0*(1 - (-1 - -1)). Suppose -2*h + y*h + 78 = 0. Suppose 4*f + 3*o - h = -8, -2*f = -o - 13. Is f composite?
False
Suppose 2*s + 3*n = n + 8, 3*s = -2*n + 12. Suppose 0 = -s*a + 31 - 7. Is a a composite number?
True
Suppose 4 = -0*p + 2*p. Suppose -q - 3 = -p*q. Is 36 - 0 - (-4 + q) a composite number?
False
Let p = 78 + 11. Is p a composite number?
False
Is (-162)/(-8) - 12/(-16) composite?
True
Suppose 5*b + 10203 = -3*m, 5*m - b + 3*b = -16986. Is (-2)/(-8) - m/48 prime?
True
Let o(u) = 14*u**2 - 10*u + 3. Is o(4) prime?
False
Suppose 2*a - a - 572 = -3*z, 0 = -3*z - 3*a + 570. Is z prime?
True
Suppose q - 49 = 100. Is q prime?
True
Let x(h) = h**3 + h**2 + 1