Is y prime?
False
Suppose 5*p + u = 3*p + 97, 4*u - 20 = 0. Is p a composite number?
True
Let c = 5 - 3. Suppose -c*y + 42 = 12. Suppose 0 = 5*d - y, -v - 4*d + 128 = v. Is v a composite number?
True
Suppose 5*h - 3*h = 2, -39 = 5*t - 4*h. Let k = 15 - t. Is k prime?
False
Let x = 5527 + -2956. Is x a composite number?
True
Let j = 6564 - 3703. Is j a composite number?
False
Let s(l) = 2*l - 10. Let v be s(9). Suppose -2*w = -u - v, 5*w + 2*u - u - 6 = 0. Suppose 0 = w*f + 22 - 96. Is f composite?
False
Let l = -792 + 1129. Suppose 3*d = -0*d + 5*o + l, 4*o + 452 = 4*d. Is 2*(-2)/4 + d a prime number?
True
Let u be 111/21 + (-4)/14. Suppose -3*y - 298 = -2*v, -u*y + y - 302 = -2*v. Is v prime?
False
Suppose 206 = -5*a + 506. Suppose -2*k + 1 = 2*v - 11, -5*v + 5*k + a = 0. Suppose -3*x + 0 + 7 = -i, 3*i = -x + v. Is i composite?
False
Let h be (-1)/((-8)/(-3) + -3). Suppose -c - 45 = -h*c + 5*t, 5*c + 4*t = 30. Let u = c - -13. Is u composite?
False
Let s(w) = w**2 - w + 9. Let n be s(0). Let u = n - 4. Is 107/u - (-12)/(-30) a composite number?
True
Let g(a) = 9*a**2 + 5*a - 8*a - 5 + a**3 + 0*a. Is g(-6) composite?
True
Let f = -92 + 149. Suppose 7*o + 4 = 3*o, 4*j - o - f = 0. Is j prime?
False
Suppose 2*h = -0 - 4. Is h + 1/(1/33) a prime number?
True
Let v(b) = b**2 - 7*b - 10. Let n be v(8). Is n/((-2)/(-580)*-4) a composite number?
True
Is (614/(-3))/((-4)/6) a prime number?
True
Is ((-5879)/(-2))/1 + 165/110 a composite number?
True
Suppose -9*v + 111 = -726. Is v composite?
True
Let c = 64 + 30. Is c a composite number?
True
Is 6/4*(-28522)/(-39) composite?
False
Suppose 0 = -4*c + 3*h + 3557, 4*c - 3560 = 5*h - h. Is c a composite number?
False
Suppose 15 = 6*z - z. Suppose l = z*l - 148. Is l composite?
True
Suppose -10 = v + 5*p, -p + 18 = v - 3*p. Let k be 5 - (-5)/(v/4). Let l = 44 - k. Is l a composite number?
False
Suppose -3*g + 2*g + 3*f = -9, 3*f = 4*g - 9. Suppose g = 3*j + j - 148. Is j a prime number?
True
Suppose -6 = 3*p + 3, -3*v + 4*p + 105 = 0. Is v a composite number?
False
Suppose 10*m - m = 6327. Is m prime?
False
Let s = -644 - -229. Let o = 594 + s. Is o composite?
False
Suppose 1018 = 5*k - 3*f, -k + 5*f - 807 = -5*k. Is k prime?
False
Suppose -q = -4*q + 141. Suppose q = 2*y - 71. Is y a prime number?
True
Suppose -2*f + c - 329 = -936, -2*f + 2*c = -612. Is f prime?
False
Suppose 5686 + 2565 = 2*o - z, -2*o + 8245 = -3*z. Is o composite?
False
Let b be 8/5 + 4/10. Is (-9735)/(-20) + b/8 a prime number?
True
Let s(v) = 24*v - 1. Suppose 5 = -3*q + 6*q + i, 0 = 4*q + 3*i. Suppose 3*k + 18 = q*p, 0 = 8*p - 3*p + 3*k - 14. Is s(p) composite?
True
Suppose -t - p = 0, 0 = -5*t + p - 3*p. Suppose t*d + 20 = 4*d, 0 = 4*m + d - 1041. Is m a prime number?
False
Let y(m) = 16*m**2 - 9*m**2 + 3*m + 6 + 4*m + m**3. Is y(-5) prime?
False
Let c be 561 - (4 + (-3 - 2)). Suppose u - 3*u + 14 = -4*t, 5 = -5*t. Suppose -c + 137 = -u*m. Is m a prime number?
False
Suppose -8 = -0*y + 2*y. Is 2/4 - 594/y a composite number?
False
Suppose 3*f = 3*b + 9, -b + 3*b - 19 = -3*f. Suppose -5*l + 213 = -b*l. Is l a composite number?
False
Suppose 3028 = 2*u + 2*b, -8*u + 3*u + 5*b + 7540 = 0. Is u a composite number?
False
Let q(v) = 1 + 2 + 1 - 3 + v. Is q(1) composite?
False
Suppose -350 - 439 = -3*y. Is y a prime number?
True
Suppose 60 = 3*a - 1287. Is a a composite number?
False
Let q be (-2)/6 + 4/12. Suppose 5*t + y - 334 = q, -2*t - 2*y + 130 = 2*y. Is t composite?
False
Let v(c) = c + 7. Let g be v(-5). Suppose 3*z - 82 = -z - g*m, m + 35 = 2*z. Is z a composite number?
False
Let y be (-1)/(-3 + 2 + 0). Let u = y - -3. Suppose u*p = 8, -3*h - 2*p = 3*p - 283. Is h a prime number?
False
Let f(p) = -3*p + 4. Let a be f(-5). Suppose 96 + a = 5*r. Is r a prime number?
True
Let z(y) = -38*y**2 + 7*y - 3. Let o be z(6). Let h = -756 - o. Is h prime?
False
Suppose 2*c = -3*h - h + 6, -5*h - 4*c + 3 = 0. Suppose -h*x - 9 = -4*x. Is x prime?
False
Suppose 3*a = 4*v + v + 15, -v - 25 = -5*a. Suppose 4*d = a*d - 34. Is d a prime number?
False
Suppose 0 = f - 4*y - 647 + 12, 636 = f - 5*y. Is f prime?
True
Let d = 1 - 1. Suppose -3*r + 6 = -d*r, -2*j - r = -224. Suppose j = 2*a + a. Is a a prime number?
True
Let u(i) = -2*i + 3. Let w be u(-8). Let s be 2/(-3)*(5 - -7). Is s/(-2)*w/4 prime?
True
Let b = 3208 - -489. Is b prime?
True
Let b(s) = 6*s - 1. Let c be b(1). Suppose 2*a = -4*q - 54, -c*q - 51 = -0*a - 3*a. Is (28/q)/((-2)/12) a prime number?
False
Suppose 0*q + 5*q - 20 = 5*m, 2*q = -5*m + 8. Suppose -q*i - 5*j = -j - 664, 0 = 5*i - 2*j - 865. Suppose 5*c - 94 - i = 0. Is c a composite number?
False
Let l(a) = 18*a**2 - 10*a - 9. Is l(10) a composite number?
True
Suppose 5*w - w = -4596. Let n = -736 - w. Is n composite?
True
Suppose -u - 20 = -5*u, 3*d + u - 710 = 0. Is d prime?
False
Suppose -3*f - 4*n = -0*n - 20, -25 = -3*f - 5*n. Suppose f = 2*x - 3*x + 26. Suppose 2*q = -3*g + x, q - 6*q + 4*g + 19 = 0. Is q a prime number?
True
Let q = 2046 + -1261. Is q prime?
False
Let g(t) = 21*t + 3. Let b be g(-2). Let d = 77 + b. Is d a composite number?
True
Let p = -122 + 205. Let k = 120 - p. Is k a prime number?
True
Let l = -92 + 39. Let y = l + 135. Is y a composite number?
True
Is 12/3 + 141 - 4 prime?
False
Let c(z) = 14*z**3 + 26*z**2 - 15*z - 23. Let l(m) = 5*m**3 + 9*m**2 - 5*m - 8. Let k = -17 - -34. Let s(j) = k*l(j) - 6*c(j). Is s(5) a prime number?
False
Is (-5 + 6)/(2/3118) composite?
False
Is 15/60 - 2611/(-4) composite?
False
Let w(i) = -i**2 + 3*i + 3. Let r be w(3). Suppose 3*d + a = -356, -2*d + r*a + 34 - 264 = 0. Let x = -69 - d. Is x a prime number?
False
Is 4/((-36)/(-753))*3 a composite number?
False
Suppose 4*o + 1 - 7 = -2*i, 0 = -2*i + 3*o + 20. Let f be (-586)/i - 2/7. Let z = -51 - f. Is z a prime number?
False
Let k(j) = 8*j**2 + 10*j + 23. Is k(-6) composite?
False
Let f = 138 - 230. Let v = f - -129. Is v a composite number?
False
Let s(q) = 7*q**2 - q + 1. Let m be s(-3). Suppose 3*d = -5*f + m, -f - f + 4 = 0. Is d a prime number?
True
Suppose -3*q + 36 - 12 = 0. Let m be -3*(0 + -3 + 2). Suppose -3*j - 4*y + 10 = 0, q*y - m*y = -25. Is j prime?
False
Suppose 2*v - 5*v + 10427 = 4*i, 0 = -4*i + v + 10439. Is i prime?
True
Suppose 5 = z, 76 = l + l - 2*z. Is l prime?
True
Let y(g) = 4*g**2 + 11*g + 15. Is y(-7) composite?
True
Let f be (-29)/(-5) + (-2)/(-10). Let b(m) = 4*m**3 + m**2 + 7*m + 1. Let o(l) = -12*l**3 - 3*l**2 - 20*l - 3. Let t(n) = f*o(n) + 17*b(n). Is t(-1) composite?
False
Suppose -p - 4*p + 114 = 2*x, -5*p + 100 = -5*x. Let l(k) = k**3 + 3*k + 2. Let v be l(-2). Let g = v + p. Is g a composite number?
True
Suppose a = 2*g + 523, 5*a + 1129 = g + 3735. Is a composite?
False
Suppose 7*w - 1886 = 396. Is w prime?
False
Let y = -112 + 813. Is y prime?
True
Let i(m) = -2*m**3 + m**2 - 3*m - 3. Suppose 3 - 2 = l - 3*n, -3*l = n + 7. Is i(l) a composite number?
False
Let d(n) = -n**2 - 73. Let h be d(0). Let g = 160 + h. Is g composite?
True
Let t = 0 + 1. Let v(l) = l**3 + l + t - 2 + 8*l**2 + 0*l. Is v(-5) a composite number?
True
Let d be ((-3)/(-5))/(3/15). Suppose 2*n = -5*j - 2*n - 67, d*j + 5*n = -35. Let h = j + 37. Is h a prime number?
False
Let p(b) = -2 + 4 + 2 + b**2 - 2*b. Let r(h) = -h**2 + 1. Let u(k) = p(k) - 5*r(k). Is u(-3) prime?
True
Let m(i) = 48*i**2 - 1. Let h be m(1). Suppose -h = -o + 80. Is o a prime number?
True
Suppose 3*b + 110 = f - 749, -1718 = -2*f - 5*b. Is f a composite number?
False
Suppose -z + 4*q + 14 = 0, -1 = 4*z + 4*q - q. Is z/(-12) + 638/12 a prime number?
True
Suppose -2*t = j - 4*t - 12, -3*t + 6 = 0. Suppose 2*p - 5*a - j = 85, -p - 4*a + 31 = 0. Is p a composite number?
False
Is 0 + 20411/3 + 20/(-30) composite?
False
Let v(a) = 12 - 17*a + 2*a**2 + 0*a**2 + 0*a. Is v(11) a composite number?
False
Let l = -11 - -11. Let r(j) = j**3 + j + 115. Is r(l) a composite number?
True
Suppose 4*b - 7*b = -30. Let k be (-104)/(-18) + 4/18. Is b/3*k/5 a composite number?
True
Let x = -18 + 8. Let w = -7 - x. Is w prime?
True
Let b = -21 - -71. Let j = b + 3. Is j prime?
True
Is 35/5 - 4 - -550 a prime number?
False
Let n be (0 + 2)*(-1)/(-1). Suppose n*f = 4*f - 118. Is f a composite number?
False
Let b = 15 - 11. Suppose b*z - 19 = 3*z. Is z a prime n