y**2 + 2*y - 5. Suppose m - 2*m = 4. Let b be r(m). Suppose -b*n - 173 = -410. Is n a composite number?
False
Let u(z) = 84*z + 23. Let b be u(17). Let i = -972 + b. Is i a prime number?
True
Suppose 4*c - 4*x - 411 = -x, 3*x = -4*c + 405. Suppose 109 = i - c. Is i prime?
True
Suppose 3*t + 3 = -3*a + 21, a - 3*t = -2. Suppose -2*i = -a*d - 8, d = 2*i - 6*i + 7. Is ((-1)/i)/(4/(-56)) a composite number?
False
Let a(l) = 4*l - 11. Is a(5) prime?
False
Let s be 1/3 - 11/(-3). Is (-30)/9*(-30)/s a prime number?
False
Suppose 3*y = -4*t + 2*t + 425, 4*t = -3*y + 847. Is t a prime number?
True
Let u be (-1 - -2) + (-40)/2. Let f be (-1)/(((-2)/(-1))/(-116)). Let r = f - u. Is r a prime number?
False
Let y = -8 + 13. Suppose -y*t = 30 - 10. Let a(l) = -14*l - 3. Is a(t) prime?
True
Let y be -3 - 8*(0 - 1). Suppose -4*z + 1070 = y*f, -3*f = 2*f + 2*z - 1080. Suppose d + d - 112 = -2*u, 4*u = 2*d + f. Is u prime?
False
Let x(u) = 5*u**2 + 2*u + 1. Let o be x(-1). Suppose -2*d - 2*d + 20 = o*g, -1 = g - d. Suppose 0 = -5*z + s + 260, -g*s + 0 = -10. Is z prime?
True
Suppose 0 = -b + h - 6 + 14, 0 = 2*b - 5*h - 31. Let q be 3/(-2)*(-38)/b. Let a = 108 - q. Is a a composite number?
False
Suppose 0 = -0*h + 3*h - 6. Suppose y = 70 - 11. Suppose h*t = t + y. Is t prime?
True
Let n be -1 - (-6)/9*3. Suppose 1 = 3*w + 2*j, 2*j = -w + j - n. Suppose 0 = u - 0*u + 5*c - 67, 0 = -w*u - 4*c + 201. Is u a prime number?
True
Suppose -5 = 5*x, 9 = 3*v - 3*x - 0. Suppose 0*g - v*g = -2*f - 60, 26 = g - 5*f. Is g prime?
True
Suppose -5*m + 2694 = m. Is m a composite number?
False
Suppose 0 = -4*v - c + 7, -2*c = 5*v - 11 - 0. Let m = v + 1. Suppose -106 - 8 = -m*w + 4*b, -2*b + 238 = 4*w. Is w prime?
True
Suppose 5*q = 4*t - 0*q + 17, -5*t - 4*q = -30. Suppose -b - 2*x + 31 = 0, x = t*b - 17 - 60. Is b composite?
False
Suppose 0*w = 3*w - 15. Suppose -w = -2*p + 41. Is p prime?
True
Suppose 3*g - 4 = 2. Suppose -5*o = g*u - 52, 2*u - 53 = -2*o + 5. Is u composite?
False
Let d(o) = -5*o - 1. Let g be d(-1). Suppose 0 = p - 5*p - g. Is (3/p)/((-1)/17) prime?
False
Let m be (4/(-5))/(4/(-10)). Suppose 3*f - u = m*u + 606, -5*f = -3*u - 1012. Is f a composite number?
True
Suppose -2*c + 2*b + 32 = 0, -c + 3*c = b + 27. Let y = c - 6. Suppose -4*g = y*v - 39, 5*v - g - 11 = 23. Is v a composite number?
False
Let c(q) = 9*q + 2. Let r(u) = -28*u - 6. Let f(o) = 8*c(o) + 3*r(o). Is f(-3) a composite number?
True
Let a be 3/(-6) + 198/4. Let w = a - 26. Is w a prime number?
True
Let y(t) = -22*t - 2. Is y(-4) composite?
True
Let k = -4 - -5. Let x be 2380/21 + k/(-3). Let n = x + 54. Is n a composite number?
False
Suppose 0*u - 418 = -2*u. Is u a prime number?
False
Suppose 5*d - 2*i = -0*i + 169, 5*d + 2*i - 161 = 0. Suppose -4*o + d = -115. Is o a composite number?
False
Is 16/(-4)*(-611)/4 a prime number?
False
Suppose 2*v + 18 + 24 = 2*x, 5*v - 75 = -4*x. Let u = -12 + x. Suppose 3*z + 175 = u*z. Is z a prime number?
False
Suppose -n + 2*q + 1029 = q, 4*n - 4115 = 3*q. Let s = -709 + n. Is s prime?
False
Let h = 1 + 3. Is ((-14)/h)/(2/(-12)) prime?
False
Suppose -2*f + 792 = n, -2*f + f - 3*n = -386. Suppose -3*j + 4*j - g = 146, f = 3*j + 5*g. Suppose -2*m - m + j = 0. Is m a prime number?
True
Suppose 0*s - 3*s = -2*a + 373, 2*a - 5*s = 367. Is a a composite number?
False
Let n = -7 + -49. Let p = -1 - n. Is p a prime number?
False
Suppose -2*m + 6 = -2*v, -2*m - 2*m + 4 = -2*v. Let n be (-11)/v + 2/8. Suppose -5*r - 94 = -n*o, -38 = -o - r + 4*r. Is o a composite number?
False
Suppose -z + 1900 = 3*k - 203, k = 5*z + 701. Is k a prime number?
True
Let b = 11 - 7. Suppose -b*g = -0*g - 104. Let p = g - -29. Is p a composite number?
True
Suppose 16 = x + 2*f, 2*f + 32 = 2*x - 3*f. Suppose 3*a - 58 = -x. Is a a composite number?
True
Suppose -3183 = 3*k - 18864. Is k a composite number?
False
Let h(g) = -46*g**3 + 3*g**2 - 1. Is h(-2) a prime number?
True
Let m(h) = 29*h - 2. Let t be m(2). Suppose -268 + t = -4*q. Is q a composite number?
False
Let v = 155 - -312. Is v prime?
True
Let t(m) be the first derivative of 74*m**3/3 + 3*m**2 + 7*m + 2. Is t(-3) composite?
True
Suppose l = -2*a - 5, 4*l - a + 7 = 5. Is ((-46)/(-6))/(l/(-21)) prime?
False
Let q(l) = -l + 91. Let p be 2/((-6)/3)*1. Let x be p - 0 - (-2 + 1). Is q(x) prime?
False
Let n(f) = -f - 4. Let h be n(0). Let z be 141/15 + h/10. Suppose 0 = 5*q - 1 - z. Is q composite?
False
Let l(b) be the first derivative of 10*b**2 - 3*b - 1. Suppose 3*o + 3 = 2*k + 4, 2*o + 2 = 2*k. Is l(o) a prime number?
False
Is (424/10)/(8/20) a composite number?
True
Let g = -5 + 7. Let w be -2 - -5 - 2/g. Suppose -w*j = 59 - 189. Is j a composite number?
True
Let k(y) = 12*y - 7. Suppose -4*z = -5*z + 3. Suppose 2*q - 7*q + 15 = z*d, 4*q - 5 = -d. Is k(d) composite?
False
Let f(q) = 34*q - 3. Suppose 5*g + 6 - 31 = 0. Is f(g) prime?
True
Suppose 0 = -8*o + 5*o + 1266. Suppose 0 = -4*w + 2*w + o. Is w a prime number?
True
Let r be -4*1/(8/(-6)). Suppose -4*q + 204 = -b + 64, -r*q = -3*b - 105. Is q a composite number?
True
Let p(m) = -5*m + 2. Let f be p(-7). Suppose -f = -w + 42. Is w a prime number?
True
Suppose -4600 = -4*z - 4*k, 5759 = 4*z + z - 4*k. Is z a composite number?
False
Let q be (-30)/(-7) + 2/(-7). Suppose 0 = -q*r + 3*r + 2. Let n(g) = g. Is n(r) a composite number?
False
Suppose -2*q + 5*g + 21 = 0, 4*g + 10 = -2. Suppose h + 4*y - 12 = q, 0 = -5*h - 4*y + 155. Is h a composite number?
True
Let y be 14/4 + (-1)/2. Suppose y*u + 1 = 112. Is u composite?
False
Let k(w) = -4*w**2 + 0*w + 5*w**3 - 8*w**3 + w - 5*w. Let l be k(-3). Is (l/(-6))/(1/(-2)) a prime number?
True
Let l be 4/4*(-6)/(-2). Suppose -l*w = 61 - 298. Is w a composite number?
False
Let y = -2340 + 3989. Is y composite?
True
Suppose -24234 = -2*i - 4*i. Is i a prime number?
False
Suppose 4*h - 24 = 4*y, -3*y - 3*h - 8 = 16. Let r(n) = -n**3 - 7*n**2 - 3*n - 2. Is r(y) a composite number?
False
Let n = 23 + -19. Suppose -5*l = -2*c + 316, -c = 3*c + n*l - 660. Is c composite?
False
Let c = 128 - 6. Let d = 213 - c. Is d a prime number?
False
Let l(n) be the first derivative of -5*n**3/6 - 9*n**2/2 + n + 2. Let k(t) be the first derivative of l(t). Is k(-7) a prime number?
False
Suppose -20*a + 29956 + 4164 = 0. Is a a prime number?
False
Suppose 3*v + 7*z = 3*z - 4, 0 = -3*v + 3*z - 18. Let g(o) = 4*o + 1. Let i be g(2). Is ((-6)/i)/(v/318) composite?
False
Let l(c) be the third derivative of 3*c**5/20 - c**3/3 + 4*c**2. Is l(-5) composite?
False
Let v(g) = 7*g**2 + g - 1. Let j be v(1). Let z be (j/4)/(3/12). Suppose 3*f + 88 = z*f. Is f a composite number?
True
Let z = 11 + -11. Suppose -x + z*x + 85 = 0. Is x prime?
False
Let d = 8 - 2. Suppose 0 = -d*k + k + 955. Is k a composite number?
False
Let x(f) = -f + 5. Let w be x(4). Let m(h) = 78*h - 1. Is m(w) a prime number?
False
Let y be 88/20 + 4/(-10). Suppose -y*t + 3*s = -133, -s + 96 = 3*t - 2*s. Is t a composite number?
False
Let a(m) = -7*m + 13. Let h be a(9). Let v = h + 76. Is v prime?
False
Let u(c) = 82*c**2 - 5*c - 7. Is u(-3) prime?
False
Let j = 764 - 21. Is j a composite number?
False
Let r = -10 + -2. Is ((-326)/(-6))/((-4)/r) composite?
False
Let y = -307 + 450. Is y composite?
True
Let z = 7 - 4. Suppose -76 = -k - z*k. Is k composite?
False
Suppose -x = -5*x + 12. Suppose -2*l + x*l = 1. Suppose -3*k + l = -44. Is k prime?
False
Is (-653)/7*(-28)/4 composite?
False
Suppose -g - 3*i - i + 213 = 0, -5*i = -5*g + 1090. Is g prime?
False
Suppose -12100 + 1150 = -5*v. Is (1/3)/(5/v) a composite number?
True
Let g be -3 + 9*(-28)/(-2). Let w = -72 + g. Is w prime?
False
Let t(w) = w**2 - 1. Let f be t(3). Let m = f + 29. Is m a prime number?
True
Suppose -4*x = -x - 12. Suppose 21 = -h - x*r, -2*r - 6 - 7 = 3*h. Is (-230)/5*h/2 composite?
False
Let d = -307 - -1550. Is d a composite number?
True
Let h(t) = 5*t**2 - t + 5. Let g(w) = -2*w**2 + 3*w - 4. Let u(b) = b**2 - 4*b + 4. Let l(q) = 3*g(q) + 2*u(q). Let k(m) = -3*h(m) - 4*l(m). Is k(2) composite?
False
Suppose 5*o - f - 2255 = -6*f, 4*f = 2*o - 914. Is o a composite number?
True
Let u = 180 - 91. Is u composite?
False
Let v(m) = -m**3 - 5*m**2 + 18*m - 7. Is v(-9) prime?
False
Suppose -4*y - 105 = 5*g - 441, y - 59 = 5*g. 