True
Suppose 4*z - 87 - 173 = 0. Is z prime?
False
Suppose -4*v - 3*v + 10367 = 0. Is v a composite number?
False
Let v = -160 + 231. Suppose 481 = -2*a + v. Let h = 292 + a. Is h composite?
True
Suppose 2*c - 184 - 136 = 0. Let v = c + -105. Is v composite?
True
Let h(g) = g**2 + 8*g + 2. Let j be h(-10). Is (-6)/(-33) - (-1624)/j prime?
False
Suppose 2*l + 18 = 3*f - l, 5*f = -l + 6. Let g = 2 - f. Is 55 + (-3)/(-6)*g a prime number?
False
Suppose -9*z = -6*z - 18. Suppose 0 = -z*q + q + 745. Is q a composite number?
False
Let z(v) = -v - 7. Let b be z(5). Let l be (-1)/(-3) + 976/b. Let o = l + 136. Is o prime?
False
Let v(o) = 251*o**2 - 7*o - 5. Is v(-4) composite?
True
Let j(k) = k + 10. Let n be j(-7). Suppose -n - 57 = -4*s. Let c = s + -1. Is c a prime number?
False
Let j(z) = -2*z + 9. Let x be j(-7). Suppose -2*q = 4*o, -o - x = -5*q + 10. Is q a composite number?
True
Suppose 4*k + 17 + 23 = 4*s, -4*s + 16 = -2*k. Is (-402)/(-36) + 2/k prime?
True
Let v = 3316 - 945. Is v composite?
False
Let o(x) = x**2 + 10*x + 20. Let a be o(-8). Suppose 2*t + t - 3*h = 432, a*t - 621 = -5*h. Is t a prime number?
True
Let s = 7 - 3. Suppose s*z + 232 = g, 5*z + 414 = -5*g + 99. Let w = z + 106. Is w a composite number?
False
Let n = 13 + -11. Is 78/2 + n/(-2) composite?
True
Let m = -524 - -2497. Is m prime?
True
Let h(d) = 1 + 0 + 2*d**3 - 2*d - 2*d**2 - 3*d**3 - d. Is h(-3) a composite number?
False
Let h(q) be the first derivative of q**2/2 - 4*q + 1. Let k be h(4). Is 20 - -5 - (k + 2) composite?
False
Let d be 4/14 - (-749)/(-49). Is 10/d - (-40)/6 a composite number?
True
Let p(v) = 0*v + 4 - 2 - v + 1. Let c be p(4). Is (c + 2)/((-2)/(-130)) composite?
True
Suppose 6*a - 739 = 2*a + x, 3*a = x + 554. Is a prime?
False
Suppose -s - a = -5*a - 16, s - 2*a - 8 = 0. Let p be (2 - s)*(9 - 2). Let z = -7 + p. Is z a composite number?
False
Let x(o) be the second derivative of o**4/6 - o**3/3 - o**2/2 - 8*o. Is x(-9) a composite number?
False
Let w = 0 + 3. Suppose w*a - 2*j + 42 - 118 = 0, 5*a - 4*j = 128. Let x = 43 + a. Is x a prime number?
True
Let f = -592 - -337. Let n = -166 - f. Is n prime?
True
Suppose 5*m - 801 = -286. Is m prime?
True
Let v = 12 - -2. Is 4/v - (-1200)/14 prime?
False
Suppose 115 + 529 = 4*i. Suppose s + c - 42 = -0*c, 3*s = 4*c + i. Is s a prime number?
True
Suppose 20 = -4*y, 5*z = 7*z + 2*y - 1476. Let r = 1042 - z. Is r a prime number?
False
Is (-14808)/(-42)*(-7)/(-2) composite?
True
Suppose 0 = -o - 3*l - 0 - 7, 2*l = o - 13. Suppose f = -o*j + 1058, -1067 = -5*j - 3*f - f. Is j a composite number?
False
Let a = -71 - -276. Is a a prime number?
False
Let n(m) = -m**3 + 9*m**2 - 7*m - 2. Let u be n(8). Suppose i + 170 = u*i. Is i prime?
False
Let k(b) be the third derivative of -b**6/120 - 7*b**5/60 + 5*b**4/12 + 5*b**3/3 + 3*b**2. Let l be k(-8). Is (46/l)/((-3)/27) a prime number?
False
Let y be (-119 + -1)/((-6)/21). Suppose 5*b - 21 = -k + y, k = -4. Is b prime?
True
Let n(c) = 5*c**2 - 9*c + 23. Is n(8) a composite number?
False
Is ((-4)/(-22) - 143/121) + 224 a prime number?
True
Let w = -14 - -14. Let x = w + 37. Is x prime?
True
Let f(s) = 13*s**2 - 3*s + 3. Is f(4) composite?
False
Suppose 6*q - 2078 + 308 = 0. Is q prime?
False
Let x(v) = 9*v - 7. Let c(t) = t**2 + 7*t + 10. Let q be c(-7). Suppose -5*i = -4*o + 39, 2*o - 2*i - 8 - q = 0. Is x(o) a prime number?
True
Let f = 647 - 292. Is f composite?
True
Let k = 2 + 0. Let s(r) = 4 - 3 + 4 - k*r. Is s(-7) composite?
False
Let t = -92 - -256. Let d = t - 87. Is d a prime number?
False
Suppose -5*v - f = -3*f - 40, -5*v - 5*f + 5 = 0. Is v a composite number?
True
Suppose 0 = -5*j + 10*j - 1730. Is (-10)/(-30) - j/(-6) composite?
True
Suppose 5*i = -4*i + 6471. Is i a prime number?
True
Suppose -5*f = -64 + 24. Let c(a) = 4*a + 6*a + 2*a - 7. Is c(f) a composite number?
False
Let q be -58 + -1 + 0 - -2. Let z = q - -112. Is z prime?
False
Suppose 6*u - 666 - 96 = 0. Is u composite?
False
Is 1174/(-4)*(-37 - -35) a composite number?
False
Suppose -4*i = -7*i. Suppose i*k + 4*k - 508 = 0. Is k prime?
True
Let b be 0 + 5/((-10)/12). Let o = b + 4. Is (-1)/(o + (-181)/(-91)) a prime number?
False
Let b = -2 - -2. Suppose -19 = -o + 3*c, -5*c + 19 = o - b. Is o a prime number?
True
Let p(j) = 456*j + 29. Is p(4) composite?
True
Suppose 0 = -3*y + 2 + 4. Suppose 0 = -y*b - 2*b. Suppose 4*f + 32 - 300 = b. Is f a composite number?
False
Let g(l) = 178*l**2 + l + 2. Is g(-1) a composite number?
False
Suppose -282 = -3*w + 4032. Is w/(-4)*(-6)/3 a composite number?
False
Is (-7578)/(-12)*(-1)/(3/(-4)) a prime number?
False
Let a(h) = 2*h - 3*h + 8*h + 0*h. Suppose 4*w - 2*t - 8 = 6, 9 = 3*t. Is a(w) a prime number?
False
Let f = -30 - -123. Suppose 5*r - 2*r = f. Is r composite?
False
Let q = 2 + 3. Suppose -q*k + 113 = -272. Is k a composite number?
True
Let b(q) = 12*q - 7. Is b(5) composite?
False
Let s = 816 - 145. Is s composite?
True
Let z = 358 - 80. Is (-4)/(-6) + z/6 a prime number?
True
Is (-20900)/(-70) + (-6)/(-14) a composite number?
True
Let t be 20*(6/15 - -2). Is (1 + t)*(8 - 7) prime?
False
Is (-2 + 1)*1 - -1056 composite?
True
Suppose 0 = -c - 0*c + 2. Suppose -3*n + c*n = -10. Is n prime?
False
Suppose -6226 = -5*l - 3*k + 6*k, -4991 = -4*l - k. Is l a prime number?
False
Suppose w + d - 2 = 0, 5*w + 2*d - 3*d = -20. Is 100/((-6)/(-3)) - w a prime number?
True
Let r(c) = -44*c**3 - 2*c**2 - 2*c - 1. Is r(-1) a prime number?
True
Let n(r) = -11*r**2 + 3*r**3 - 9*r**3 - 9*r - 2 + 5*r**3. Is n(-11) prime?
True
Let v be (-2 + (-5)/(-2))*-2. Let f = 3 + v. Suppose f*g = 67 + 87. Is g composite?
True
Suppose -2*v + v - 3*r + 409 = 0, -v = -4*r - 381. Is v prime?
True
Let c be (-22 - -14)*1/(-2). Suppose -3*v = -5*w + 7627 - 1934, -2*w - c*v + 2298 = 0. Is w prime?
False
Let l = 13 - 51. Let y = -2 - l. Suppose -5*k + k + y = 0. Is k a composite number?
True
Let j(l) = 62*l**2 + 2*l + 1. Let c be j(-1). Suppose -4*p + 2*v = -126, -2*p + 2*v + c = -5. Is ((-4)/5)/((-4)/p) prime?
False
Let p(b) = -68*b + 1. Suppose -4*a = -d - 0*d + 10, 11 = d - 5*a. Suppose 0*r - 2*r = d. Is p(r) a composite number?
True
Let d(u) = u**3 - 2*u**2 - 2. Let o be d(2). Let c(w) = -29*w + 1. Is c(o) a composite number?
False
Let o be (41/3 + -3)*-12. Let h = 311 + o. Is h a composite number?
True
Suppose -3*j + 2281 = 256. Suppose 4*i + 47 = j. Is i a composite number?
False
Suppose 15*d + 8*d - 155687 = 0. Is d composite?
True
Let w = 17 - 11. Is 185/w + 1/6 composite?
False
Suppose -1461 = 46*k - 47*k. Is k composite?
True
Let b be 2*3/6*-1. Let y be b/(-2) + 107/2. Let d = -35 + y. Is d prime?
True
Let k(p) = p. Let n(y) = 37*y - 1. Let w(u) = -10*k(u) + 2*n(u). Let o be w(4). Suppose -3*c = 89 - o. Is c composite?
True
Let n be (4 - 7)*(-8)/6. Suppose 0 = -n*g + g + 6. Suppose g*j - 13 = j. Is j a prime number?
True
Suppose -5*t - 45 = 130. Is 10/t - 261/(-7) prime?
True
Let b = 2 - 1. Let n be 1 - (1 + -3 - b). Suppose n*v = 0, v + 0*v = 5*x - 335. Is x a prime number?
True
Suppose 1806 = 4*h - z, -5*h + 472 = z - 1781. Is h a prime number?
False
Let y = 951 - 482. Is y a prime number?
False
Let h(u) = -4*u - 10. Let w be (-40)/(-3)*(-36)/(-15). Suppose 3*x + x + w = 0. Is h(x) composite?
True
Let k be 6/9 + 1/3. Let h be (-15)/(-4) - k/(-4). Suppose -4*w - 5*r + 178 = -w, -3*w - h*r = -173. Is w a prime number?
False
Suppose -3*t = -0*t - 1434. Suppose -6 = -2*y + 4, -2*y + t = 4*z. Let w = z + -62. Is w prime?
False
Let g = -28 - -46. Let b(y) = 8*y - 25. Let f be b(16). Let u = f - g. Is u prime?
False
Suppose 0*o = o + 2*m + 8, 3*m + 25 = 5*o. Suppose o*n + 7 = 45. Is n prime?
True
Suppose -7*q + 3*q = -n - 6, -4*q = 0. Let x = -2 - n. Suppose -x*g = g - 175. Is g a composite number?
True
Let y(z) = -7*z - 1. Let d be y(-4). Suppose l - d - 20 = 0. Is l a composite number?
False
Let n(s) = -38*s + 2. Let r be n(2). Let c be 2/(-7) - r/14. Suppose c + 86 = h. Is h prime?
False
Let g be 0 - -10 - (-2 + 1). Let s be 1/(-5) - g/(-5). Suppose -2*d = s*d - 508. Is d composite?
False
Let a = -100 - -305. Is a a composite number?
True
Suppose g = -2*k + 5*g + 502, -2*k + 530 = 3*g. Is k a prime number?
False
Suppose -3*c - 9 = 0, -u - 340 = -6*u - 5*c. Is u prime?
Tru