True
Let r(y) = 12*y - 8. Let f(p) = -12*p + 9. Let u(l) = -4*f(l) - 5*r(l). Let z be u(7). Let j = 171 + z. Is j a prime number?
False
Suppose -5*a + 161 = -124. Is a a prime number?
False
Let a(t) = 56*t**2 - 7. Is a(-5) a prime number?
False
Let g = 5 - 2. Suppose 0 = -g*x + 2 - 32. Is (74/(-4))/(5/x) prime?
True
Is ((-555528)/(-45))/8 - 4/30 a prime number?
True
Suppose -2 = -5*r + 3. Suppose -a - 310 = a - 4*b, 12 = 4*b. Is (-3 - -2) + r - a prime?
True
Suppose y = -4*c + 2545, c + 9728 + 3060 = 5*y. Is y prime?
True
Suppose 3*l = q + 4446, l = -2*q - 349 + 1824. Is l a composite number?
False
Suppose 1578 = 2*r + 3*m, r + m + 2*m - 789 = 0. Is r a prime number?
False
Suppose 762 = 6*g - 3*g. Is g a composite number?
True
Let s = -124 + -5. Let w = 251 + s. Is w a prime number?
False
Suppose -g + 2 - 4 = 0. Let x(c) = -40*c**3 - c**2 - 2*c - 3. Is x(g) prime?
True
Suppose -957 = -3*h + 2*h. Suppose -i = -4*i + h. Is i prime?
False
Suppose -n + 3 + 3 = 0. Let c = n + -1. Suppose 7*j = c*j + 402. Is j prime?
False
Suppose 0*d = 4*d - 12. Suppose -2*j - 3*j + d*b + 45 = 0, j - 5*b - 9 = 0. Is j prime?
False
Let l be 1016/22 + (-4)/22. Let d be (-1)/2 - (-18)/4. Suppose -4*w - l = -3*u, -4*u + 103 = -w + d*w. Is u a prime number?
False
Let y = 263 + -152. Is y composite?
True
Suppose 0 = 4*w - 7*w + 9. Suppose -2*g - 6 = -4*t, t = w*g + 2*g - 3. Suppose -25 = -t*i + 45. Is i a composite number?
True
Let u(s) = -s**3 + 8*s**2 + 17*s - 9. Let k be u(11). Let m = k - -264. Is m a composite number?
False
Let o(v) = v**3 - 7*v**2 + 3*v + 1. Let n be o(7). Suppose 0*h + 2*h - n = 4*k, -87 = -5*h + 2*k. Is h composite?
False
Let t(p) = 2020*p**3 - p**2 + p - 1. Is t(1) a composite number?
True
Suppose -l = -2*i - 3*i - 202, -2*l + 443 = 3*i. Is l prime?
False
Let s(z) = 1 + 8 + 5 + z - 4. Let f be 15/(-2) + 1/2. Is s(f) composite?
False
Is 0 + 80 + 1 - 4 a composite number?
True
Suppose -1424 = -2*t - 2*t. Is (-2 + 3)/(4/t) prime?
True
Let q = 13 + -8. Suppose -3*j + 667 = q*p, -p + 135 = 4*j - 3*j. Is p prime?
True
Suppose -251 = -d + 380. Is d composite?
False
Is 12/42 - (-1559)/7 prime?
True
Is 1/(304/(-308) + 1) a composite number?
True
Let h(w) = w**2 + w - 1. Let y(u) = 8*u**2 + 15*u - 16. Suppose -s + 3 = -2*o, 9*s - 4 = 4*s - o. Let b(c) = s*y(c) - 6*h(c). Is b(-9) prime?
True
Suppose -2 = 4*t - 14. Is t prime?
True
Let f = -6 - -4. Let t(u) = u**2 - 2*u - 3. Let j be t(f). Suppose 245 = j*c + 5*m, c + 29 = -5*m + 86. Is c a prime number?
True
Suppose -c - 90 + 551 = 0. Let t = c - 293. Suppose -5*u = -4*v - 89 - t, -2*u + 3*v + 100 = 0. Is u a prime number?
True
Suppose 2*i - 7*i = 3*n - 184, 96 = 2*n - 2*i. Suppose -531 = -4*z + 3*o - n, o - 123 = -z. Is z composite?
True
Let o be 2/(-4)*-242*2. Suppose -2*h - y + o = 0, -2*h = -h + y - 122. Suppose -n + h = 3*n + d, 0 = 4*n - 4*d - 140. Is n a composite number?
False
Let n = 119 + -82. Is n composite?
False
Let u be 0/(-2) + (0 - -3). Suppose 0 = 3*s + u - 204. Is s a composite number?
False
Let u be 18/1*20/30. Let y be ((-16)/(-2))/(u/30). Suppose 5*t = 2*j + 3*j + y, 0 = -5*j + 10. Is t a composite number?
True
Let w be (-3 + 2)*(-3 - -2). Suppose -5*x + x + 148 = 0. Is -2 + (w - 1) + x prime?
False
Let l(b) = -b**3 + 18*b**2 + 16*b + 23. Is l(16) prime?
False
Suppose -q - 2*x = -15, -4*q + 75 = -x + 6*x. Let o be ((-10)/q)/((-1)/(-5)). Let u(v) = -15*v**3 + 3*v**2 + 2*v - 1. Is u(o) a composite number?
False
Let d(f) = 2*f**3 + 8*f**2 - f + 5. Let h(u) = -3*u**3 - 15*u**2 + 2*u - 10. Let y(p) = 5*d(p) + 3*h(p). Let z be y(5). Suppose -m + 71 = -z*m. Is m prime?
True
Let k = -1644 + 2439. Is (6/(-5))/((-6)/k) prime?
False
Suppose -3*t + o = -0 - 13, -5*o - 17 = t. Suppose 0*v - 5*v - 3*s = -170, 5*s - 86 = -t*v. Is v composite?
False
Let l be 2*(0 - (2 - 3)). Suppose 5*y - 4*r - 110 = -7*r, -l*y - 5*r = -63. Is y a composite number?
False
Let l = 9 + 7. Suppose -s - 3*s = -4*x + 4, -4*s - l = 0. Is x*(1 + -1 + -5) a composite number?
True
Suppose -2*v + 1115 = 5*k, -k + 2*v + 384 - 161 = 0. Is k a composite number?
False
Let k(l) = -l**3 - 3*l**2 + 5*l + 6. Let j be k(-4). Suppose -j*w + 61 = 23. Is w prime?
True
Let w(m) = 131*m. Is w(1) composite?
False
Let k(l) = -l. Let s = 1 + -3. Let u be k(s). Suppose 12 = 2*c - 4*d - u, -2*c = 5*d - 32. Is c prime?
True
Suppose -5*s + 5*j = -4570, 3*s + 2*j - 1358 = 1369. Is s a prime number?
True
Let s be (-345)/9 + (-1)/(-3). Let o = 22 + s. Let j = o + 53. Is j composite?
False
Let p be (2/(-6))/(1/(-12)). Let h = p + -4. Suppose h = -5*a - 0*a - 3*z + 212, -2*z + 127 = 3*a. Is a a prime number?
True
Suppose -2*n + 4*n - 34 = 0. Let b = n - -45. Is b composite?
True
Suppose -2*t + 4*x - 3*x + 11 = 0, 5*t - 2*x - 27 = 0. Suppose -6*v + 79 = -t*v. Is v prime?
True
Suppose -5*s + 77 = 3*i - 0*i, 0 = 2*i - 8. Suppose 2*q + 4*c - 68 = -0*c, 65 = 2*q + 5*c. Let n = s + q. Is n composite?
False
Let o(y) = -2*y**3 + y. Let m be o(-1). Let f(q) = -4*q**3 - q**2 + q. Let k be f(m). Is 0/(-3) + (-1652)/k a composite number?
True
Let a = -569 + 2302. Is a composite?
False
Let n = 4 - 0. Let i(q) = -n - 4*q + 3*q + 4*q**2 + 2 + 2*q. Is i(3) prime?
True
Let h = 125 + 192. Is h a composite number?
False
Let n(d) = d**2 - d + 34. Let p be n(0). Let h = 285 + p. Is h prime?
False
Suppose 3*p = -p. Let o(d) = d**3 - d**2 + d. Let m be o(p). Suppose m = -c + 3*g + 4, 3*c - g - 18 = 2*g. Is c a composite number?
False
Let q be (-6)/(-4) - 5/(-2). Let h(x) = -3*x**2 + 5 + 12*x**2 + q*x + x**3 + 0*x. Is h(-8) a composite number?
False
Suppose 3*c = 4*a - 1436, c + 1795 = 8*a - 3*a. Is a a prime number?
True
Let o be -2*(2/(-2) - 1). Suppose 0 = -o*v - v + 95. Is v a prime number?
True
Let n be ((-8)/(-10))/(2/5). Suppose 4*h + h = -5, -3*f - n*h = -682. Suppose 7*d - f = 3*d. Is d a composite number?
True
Suppose u - 3*n - 997 = 0, -133 + 1114 = u + 5*n. Is u composite?
False
Suppose 3*m + 3*s = 4533, -3*m + 2737 = 4*s - 1800. Is m composite?
True
Let s be 2 + -1 - (-405 + -3). Suppose -q + 135 = a, 3*q + 4*a + 0*a = s. Is q prime?
True
Let z be (5 - -1)/(11 + -9). Suppose -421 - 212 = -z*t. Is t a composite number?
False
Suppose 3*i - 15 = -5*s, 4*s - 10 = -4*i + 2*i. Suppose -3*v + 14 + 6 = -i*b, 3 = -3*b. Let h = 32 + v. Is h composite?
False
Suppose -3*h - h = 0. Let q(k) = 2*k**2 + 4*k - 4. Let b be q(3). Suppose h = 2*m - 160 + b. Is m prime?
True
Let w(l) = 79*l**2 - l - 1. Suppose 5*v = 2*v - 3. Is w(v) a composite number?
False
Suppose 5*s - 4*h = 1515, -2*s - 4*h - 295 = -929. Is s composite?
False
Let d(s) = s**2 - 9*s + 10. Let m be d(8). Suppose p - 2*p = -5*r + 171, m*r - 72 = 4*p. Is r a composite number?
True
Suppose 78 = 2*f - 80. Is f a prime number?
True
Let l be -76 - (-4)/(-8)*-4. Let f = 129 + l. Is f prime?
False
Suppose 14400 = -6*p + 51438. Is p composite?
False
Is 329 + (-6)/(-1) + -4 composite?
False
Let w(a) = -12*a**2 + 3*a - 4. Let q(r) = 36*r**2 - 8*r + 11. Let j(p) = 6*q(p) + 17*w(p). Is j(3) a composite number?
True
Let y(c) = 59*c + 6. Let m be y(3). Let i = 310 - m. Is i a composite number?
False
Is (-2)/1 + -8 + 33 composite?
False
Let h = 2 - 2. Let c = 1 - h. Let d(x) = 78*x**2 - x. Is d(c) prime?
False
Let d(s) be the second derivative of s**3/6 - 5*s**2/2 + 2*s. Let j be d(7). Suppose -j*w - 75 = -x, 5*x - 2*w = 2*w + 345. Is x prime?
False
Let h = 3 - -2. Let v(b) = 4*b + 5. Let c be v(h). Suppose 2*z = c + 73. Is z composite?
True
Let x(s) = 49*s**3 + 2*s**2 - 13. Is x(4) prime?
False
Let h(m) = -m**2 - 6*m. Let q be h(-3). Suppose 73 = r - 15. Suppose 0 = -3*v + q, 4*v - v = -z + r. Is z a composite number?
False
Suppose 5*k - 209 = -2*s + 600, 5*k = s + 803. Is k a prime number?
False
Let d(b) = -27*b - 1. Suppose 0 = 3*f - 2 + 8. Is d(f) composite?
False
Let b(x) = 79*x + 4. Is b(7) a prime number?
True
Let b(l) = 1. Let i(c) = 235*c + 1. Let n(f) = -2*b(f) + i(f). Is n(2) a composite number?
True
Let c(n) be the third derivative of n**4/24 + 3*n**3/2 - 4*n**2. Is c(5) a composite number?
True
Suppose 3*o - o - 22 = 0. Let b(d) = 38*d - 15. Is b(o) prime?
False
Let r(x) = 3*x**2 + 9*x - 5. Is r(-8) a composite number?
True
Is (20/4 - 4)*3671 a composite number?
False
Is (7/(-2))/((-5)/430) a composite number?
True