k be -30*(h/(-10) - -1). Suppose 2*j = 2 + k. Is j a composite number?
False
Suppose 0*z - 22 = -z. Is z composite?
True
Let z = -586 + 849. Is z a composite number?
False
Is (-2)/(-4) - (-374)/4 a composite number?
True
Let p(h) = -95*h**3 + h**2 + h. Let q(w) = w**2 - 5*w - 7. Let t be q(6). Is p(t) a prime number?
False
Suppose 2*c - 5*i - 4010 = -3*i, -c = 2*i - 2005. Is c prime?
False
Suppose 3*t = -t + 12. Let z(r) = 19*r**2 + 10*r - 5. Let c(i) = -6*i**2 - 3*i + 2. Let l(b) = -7*c(b) - 2*z(b). Is l(t) prime?
False
Let v(o) = 5*o**2 - 2*o - 4. Is v(-3) a composite number?
False
Suppose -4119 = -5*c + 2*b + 1718, -3*c + 5*b + 3487 = 0. Is c a prime number?
False
Let g = 167 - -46. Is g a prime number?
False
Let c(d) = 12*d**3 + 2*d**2 + 2*d + 5. Is c(3) prime?
True
Let j = 210 + -117. Is j prime?
False
Let k(w) = 10*w + 3. Let s be k(-2). Let h = s + 132. Is h composite?
True
Let w(l) be the third derivative of 13*l**4/12 - 13*l**3/6 + 6*l**2. Is w(10) prime?
False
Let p(b) = b**2 - b + 1. Suppose 3*g = g + 8. Is p(g) composite?
False
Suppose -3*w + 5*k = -224, w - k - 30 = 48. Is w prime?
True
Let l = -4 - -1. Let a(b) = -b + 2. Let v be a(0). Is (l/6)/(v/(-84)) composite?
True
Let t be 4/5*(-1090)/4. Let o = t + 328. Suppose -v + o = v. Is v prime?
False
Is (2 - 1556/20)/((-3)/15) a composite number?
False
Let d be 1 + 257 - (3 - 0). Suppose 4*c = y + 465, 2*c - 4*c + d = -5*y. Suppose 345 = 3*w - 5*r, -2*w + c = -w - 4*r. Is w prime?
False
Let f(t) = 3*t**3 - 3*t**2 - 2*t. Let a be f(3). Let r = a + 185. Is r a prime number?
True
Let m be -2 + 93*-1*-1. Suppose -4 = -3*n + n. Suppose 2*s + m = x, 0*s - 346 = -4*x + n*s. Is x composite?
True
Let u(n) = n**2 + 2*n + 6. Is u(-9) composite?
True
Let b(u) = -u + 8. Let t be b(6). Suppose -t*v = -v - 122. Is v prime?
False
Let w(m) = 0*m + 5*m**3 - 3 - 2 - 6*m**2 + 0*m + 6*m. Let b(x) = x**3 - x**2 + x - 1. Let q(f) = -4*b(f) + w(f). Is q(4) a prime number?
False
Suppose 0 = -5*z + 10 + 10. Suppose -175 = -z*l - l. Is l prime?
False
Let s be (-6)/(0 + -2) - 11. Let k = s - -21. Is k composite?
False
Let d = -2 + 0. Let c be -423*d*(-2)/(-12). Let f = c - 86. Is f a composite number?
True
Suppose 3*j - 15 = 0, 2*r + j = -j + 3956. Is r composite?
False
Let k = 28 + 9. Is k a prime number?
True
Let u(q) = q**3 - 8*q**2 + 7*q + 9. Let x be u(7). Is (x/18)/((-1)/(-178)) a composite number?
False
Let l = 12 + -10. Suppose -5*c = 0, 3*w + 5*c - 16 + 4 = 0. Suppose w*v - 34 = l*f - 0*f, 4*v - 3*f - 37 = 0. Is v prime?
True
Let n = -616 + 2115. Is n a composite number?
False
Let z(u) = u + 2. Let m be z(0). Suppose -502 = m*i - 4*i. Is i a prime number?
True
Suppose 4*u - u = 10977. Is u a prime number?
True
Suppose 0*w - 18 = -3*w. Let m be 8 - w - (-1 + -1). Is 239/m + (-3)/4 composite?
False
Suppose -24 = c - 5*b - 100, -3*b + 15 = 0. Suppose 2*g = c - 7. Let w = g + -28. Is w prime?
True
Let i(r) = -6*r + 40. Is i(-7) a composite number?
True
Let x(m) = 4*m. Let c be x(1). Suppose b + c*b = 1885. Is b prime?
False
Let f(q) = -4*q. Let c be f(-1). Let j(n) = 10*n**2 - 5*n - 1. Is j(c) a prime number?
True
Suppose 0 = -p - 3, -r = p - 4 - 5. Suppose r*d - 1172 = 8*d. Is d composite?
False
Let c = 117 + 274. Suppose -h + 4*g + 85 = 0, 4*h - g = 8*h - c. Is h a composite number?
False
Suppose 225 + 81 = -2*b. Let z = -62 - b. Is z composite?
True
Suppose 4*t = 7*t - 9. Suppose 0*v = -5*m - v + 1586, 0 = -m + t*v + 314. Is m prime?
True
Let x be 4/(-10) + (-51)/(-15). Suppose -x*d + 4*a = -2*d - 183, -3*d + a + 604 = 0. Is d a prime number?
False
Is 2/3 - (-13692)/63 a composite number?
True
Let d = 130 + 131. Let u = -70 + d. Is u composite?
False
Let z = -69 + 143. Is z prime?
False
Suppose 5*q = 4*v + 1091, 3*q - 3*v - 2*v - 665 = 0. Is q composite?
True
Let w(f) = f**2 - f - 7. Let n be w(0). Let u = -913 + 526. Is u/n - 2/7 a composite number?
True
Let y(m) = -m**2 + 12*m - 11. Let h be y(11). Let j(s) = -71*s - 1. Let r be j(-2). Suppose h = 2*f + f - r. Is f a composite number?
False
Is 13/((-117)/(-25320)) + (-2)/6 a composite number?
True
Let b(k) be the second derivative of 7*k**4/12 + k**3/6 - k**2/2 + 2*k. Let a be (0/(-2) - 1)*-1. Is b(a) composite?
False
Let b be (8/(-10))/(12/90). Is 203/2*b/(-3) a prime number?
False
Let g = 12 - -22. Suppose -3 = q - 9. Suppose q*d - d - g = -4*c, 0 = 5*c - 5. Is d composite?
True
Let y = 932 + -663. Is y composite?
False
Suppose -4*q + 4*i = -9*q + 31, -q - i + 6 = 0. Let a(o) = -o**3 + 8*o**2 - 3*o + 9. Is a(q) composite?
False
Let b(y) = -1 + 0 - 1 + 21*y + 3. Is b(4) a prime number?
False
Suppose 158 = d - 371. Is d a prime number?
False
Suppose -13*d + 1010 = -11*d. Is d composite?
True
Is ((-1)/(-2))/((-1)/(-402)) composite?
True
Let p be 45/(-10)*8/6. Is (-42)/(-1)*(-3)/p a composite number?
True
Let f be (-9)/(-6)*(-3 + 1). Let i be 3*((-4)/f)/2. Suppose -98 = -2*c - 3*n, -3*c = i*c - 2*n - 207. Is c a composite number?
False
Suppose 4*c = s - 16, -2 = 5*c + 13. Let b(u) = -s - 1 - 4*u + 3. Is b(-4) a composite number?
True
Let u(y) = 3 - 3 + 3*y. Let j be u(-7). Let g = j - -31. Is g a prime number?
False
Let n be (5 + 0)*(-132)/(-10). Suppose 6*f + n = 2*p + 2*f, -5*p - 4*f + 193 = 0. Is p composite?
False
Let v(l) = -l**3 - 5*l**2 + 6*l + 2. Let w be v(-6). Let f(r) = 12*r**3 - 3*r**2 + 3*r - 1. Is f(w) a composite number?
False
Let m be ((-38)/8)/((-2)/8). Suppose 5*r + y - 12 = 0, 5*r - 2*y - 18 = -y. Is (r - (-1 + 3))*m a composite number?
False
Let g(p) = 29*p**2 + 3*p - 3. Let a = -4 + 6. Is g(a) a composite number?
True
Suppose 12 = 3*p - 0*p. Is p/((-6)/(-3)) - -1 prime?
True
Suppose -6*p - 94 = -3*p - 4*q, 4*q + 36 = -2*p. Let k = p + 237. Is k prime?
True
Suppose 0*a - 3*a + 15 = 0. Suppose 2*f - a = -1. Suppose f*b + 190 = 4*b + 5*d, 2*d - 93 = -b. Is b a prime number?
False
Suppose -5*k + 1732 = -1053. Let h = k + -198. Is h a prime number?
True
Suppose 8 = a + a. Suppose 0 = -c - a*c + 60. Is ((-1028)/(-6))/(c/18) a prime number?
True
Let n = 7 - -76. Is n a prime number?
True
Let o(d) = 13*d**2 - d + 22. Is o(-8) a composite number?
True
Let d = 506 - -2903. Is d a composite number?
True
Let c = 142 + -403. Let w = c - -512. Is w composite?
False
Let d = 106 + 7. Let t = d + 14. Is t prime?
True
Suppose -3*z = 3*w - 2232, 0*z - 2272 = -3*z + 5*w. Is z composite?
True
Let u(q) = 5*q - 1 - 3*q - 5 - q. Let g be u(6). Is (-179)/(g - (3 - 2)) a prime number?
True
Suppose 3*y + y - 8 = 0. Suppose -y*o - 112 = -3*o. Let i = o - 75. Is i composite?
False
Is (-142 + 2 + 2)/(-2) composite?
True
Let q = 375 + -161. Is q a prime number?
False
Is (-1)/(3453/(-12061) - (-14)/49) composite?
False
Let l = 7 - 6. Is (1 + -4)*-31*l prime?
False
Suppose -47 = -5*i + 2*x, -x = i + 4*x - 31. Let s = 6 - i. Is 2/s - (-74)/10 a prime number?
True
Suppose 0 = k + 5*m - 52, 2*k + 216 = 5*k - 5*m. Is k a prime number?
True
Let j(l) = l**2 - l + 4. Let n be j(0). Suppose n*h - 40 - 4 = 0. Is h a composite number?
False
Let w = 38 + 173. Is w a prime number?
True
Suppose -14*g + 13*g + 191 = 0. Is g a prime number?
True
Let l(u) = -u + 24 + 30 - 8. Is l(0) composite?
True
Let s(w) = -2*w**2 + 2*w - 6. Let c be s(6). Let u = c - 19. Let g = -2 - u. Is g composite?
False
Let w(t) be the second derivative of 3*t**4/2 + 5*t**3/6 + t**2 - 3*t. Is w(-3) prime?
True
Suppose 0 = 4*h - 3*o - 832, -3*h - 5*o + 508 = -145. Is h composite?
False
Suppose 651 = -a + 3106. Is a a composite number?
True
Let h = 4 - -33. Is h a prime number?
True
Let a be 3*-21*(-59 + 0). Suppose 5*h - a = k - 0*k, 2*k + 2233 = 3*h. Is h composite?
False
Suppose -5*v - i = -12, -i - 12 = -2*v - 5*i. Suppose -t - 2 = -3, v*t - 92 = 2*a. Let o = 80 + a. Is o composite?
True
Let i = 36 - 22. Let n = 8 - i. Let t = 1 - n. Is t composite?
False
Let t(u) = -u**3 - 3*u**2 - 2*u - 3. Let o be t(-3). Suppose -101 = 2*x - o*x + 2*s, -516 = -5*x - s. Is x a prime number?
True
Let k be 2 - 2 - (-4 + 1). Suppose 2*n = k*n - 150. Suppose 39 = -3*g + n. Is g a composite number?
False
Is ((-514)/(-2)*2)/2 a prime number?
True
Let s be -2 + 2 + (-2)/(-1). Let v = -35 - -137. Suppose -4*u = -s*x + v, 5*x = x - u + 195. Is x a composite number?
True
Let i be 0 - -2 - (-1 + 3). Suppose 0*v + 2*v - 6 =