- -9. Is (-1)/k*6 + 7 a composite number?
True
Is (-4)/(-10) - 39064/(-40) composite?
False
Let m(t) = -t**3 + 8*t + 9. Is m(-8) composite?
False
Let c = 30 + -23. Is c a prime number?
True
Suppose -5*t - 7 - 18 = 0. Is (314/t)/((-18)/45) prime?
True
Suppose -4*h + 404 = -4*r, -5*h - 4*r + r = -537. Suppose 0 = v + 4*v - h. Is v prime?
False
Let b(v) = -13*v**3 + v**2 - 4*v - 1. Suppose -s + 5*s - 3*d = 0, -5*s - 4*d = 31. Is b(s) a prime number?
False
Let k be -1 + 2 + 0/(-3). Is (-231)/(-6) + k/(-2) a composite number?
True
Let w be (-1)/(-4) + (-14)/(-8). Suppose -n = w*n - 291. Is n composite?
False
Let l(n) be the first derivative of n**2/2 + 91*n - 2. Suppose 0 = c - 0*c. Is l(c) prime?
False
Is (1/(-2))/(4 + 14034/(-3508)) a prime number?
True
Let p be -1*5/(15/(-12)). Let b = -23 - -26. Suppose b*u - p*h - 253 = 0, -3*h - 2 = 10. Is u composite?
False
Suppose 2*b + u - 1 = -0, b - 28 = 5*u. Suppose -b*g = -41 - 10. Suppose 0 = -2*i - 5*n + 47, i + 2*n + g = 40. Is i a prime number?
False
Is (3/(27/(-318)))/(6/(-99)) a prime number?
False
Let d(c) = 19*c - 1. Suppose -20 = -0*o + 5*o. Let m be (-1 - o/6)*-6. Is d(m) prime?
True
Suppose -4835 = -3*m + 2470. Is m prime?
False
Is (-6)/(-4 + 7) - -205 composite?
True
Suppose -t - 6 = -1, -3*t + 15 = 5*l. Let r(w) = w**2 + 7*w - 1. Is r(l) a composite number?
True
Suppose -q = n + n - 750, -5*n + 1845 = -5*q. Is n prime?
True
Suppose 0 = -2*i + 5*n + 30, 3*i + 5*n = n - 1. Suppose -w - i*a + 19 = 0, -4*w + 20 = -2*a - 12. Is w composite?
True
Let o be 9/(-18)*(0 - 0). Suppose 4*r = 21 + 259. Suppose v + v - r = o. Is v a prime number?
False
Let q(y) = y**3 + 5*y**2 + 3*y - 2. Let c be q(-4). Let b = 10 - c. Suppose b*v - 5*v = 165. Is v a composite number?
True
Suppose d = x + 46 + 24, 3*d = 5*x + 356. Let c = -38 - x. Is c a prime number?
False
Let t(d) = 5*d**3 + 4*d**2 - 2*d - 4. Let v be (-10)/(-4) - (-6)/12. Is t(v) a composite number?
True
Suppose 4*z + 2*q + 1050 - 372 = 0, 0 = -3*z - 2*q - 506. Let p = 321 + z. Is p a composite number?
False
Is 391*(1 - 1 - -1) a composite number?
True
Suppose -z + 17 = -0*z. Is (-7)/(-1 - (-16)/z) a composite number?
True
Let o = -4 - -5. Is -2*o*(-83)/2 a prime number?
True
Is (-36195)/(-65) - (-4)/26 a composite number?
False
Suppose -1 = s + g - 10, 5*s = g + 21. Suppose s*l = 8 + 2. Suppose 4*q + i - 506 = 0, -5*q + l*q + 3*i = -387. Is q a composite number?
False
Let y be 3 + 0 - 1 - -2. Suppose -329 = -i + 4*c + 205, -2*c = -y*i + 2192. Suppose 3*t + 127 = i. Is t composite?
True
Let q(c) = 69*c**3 - 2*c**2 + 5*c - 3. Is q(2) prime?
False
Suppose 4*z - 1053 = -5*r, 0*z + 5*z - 1055 = -5*r. Is r a prime number?
False
Suppose 3*c - 26 = -3*g + 4*c, -3*g - 2*c + 29 = 0. Let d be (-2)/(-3) - (-93)/g. Suppose -d - 13 = -b - 3*h, b - 3*h = 42. Is b a composite number?
True
Suppose 0 = z - 2 - 0, 1414 = 4*o + z. Is o a prime number?
True
Suppose 3 = 5*k - 7. Suppose -3*o = 7*u - k*u - 226, 4*u + 16 = 0. Is o a composite number?
True
Let o(c) be the third derivative of -c**4/12 + 2*c**2. Let h be o(4). Let y(a) = -3*a - 9. Is y(h) prime?
False
Suppose -2*f = -0*f - 446. Is f composite?
False
Suppose s - 34 = -z + 231, -5*z - 3*s = -1325. Is z a composite number?
True
Let s(j) = -3*j**2 - 3*j + 1. Let z(y) = -3*y**2 - 4*y + 2. Let x(f) = 6*s(f) - 7*z(f). Is x(-9) composite?
True
Let j = -16 + 21. Suppose -5*b = h - 193 - 124, j*b - 1328 = -4*h. Is h a composite number?
False
Let s = 20 + -11. Let u(f) = 3*f - 4. Let a be u(s). Suppose 0*y + a = y. Is y prime?
True
Let a be (-1)/(2 - 10/4). Suppose -155 = -a*k - 53. Suppose -5*q + 194 = -k. Is q a composite number?
True
Let m be (44/(-55))/(4/(-670)). Suppose 0 = -4*j + 2*j + m. Is j composite?
False
Let k(u) = 3*u**2 - 4*u + 3. Let a be k(2). Let p(l) = 6*l + 9. Is p(a) composite?
True
Suppose -2*t - 2*k = -624, 3*t - 938 = -k - 4*k. Let u = t - 46. Is u composite?
True
Let k = 550 + -259. Is k a prime number?
False
Let n(u) = 6 + u - 1 + 1. Let y be n(-5). Suppose -2*k + 2*m = -6, -4*k + m + 14 + y = 0. Is k composite?
True
Suppose -v = l + 1, 2*v + l = -2*l - 5. Suppose -452 = -2*g - v*g. Is g prime?
True
Is (0 - -1)*(-4 + 1763) a prime number?
True
Suppose 2*q + 25 = 7*q. Suppose q*x = x + 4*j + 364, 0 = 5*x - 4*j - 451. Is x a composite number?
True
Let b(z) be the first derivative of -145*z**2/2 - 3*z - 1. Is b(-2) composite?
True
Suppose 5*m - 6*m = -195. Suppose 5*y + m + 314 = 2*f, 3*f - 750 = 3*y. Is f a composite number?
True
Suppose -2*n + 21 = -n. Is (-3582)/(-42) + (-6)/n prime?
False
Let m(r) = r**2 + 2*r - 2. Let a be m(-6). Let u = 31 - a. Is u a composite number?
True
Let k(d) = 19*d**2 + 3*d + 3. Is k(4) a prime number?
False
Let i(a) = 32*a**2 + 4*a - 5. Is i(-4) a composite number?
False
Let s = 1 + 120. Is s a composite number?
True
Let r(x) = 3*x - 3. Let s be r(2). Suppose 5*y + s*a = 368, -2*a + 3*a + 156 = 2*y. Suppose -7*c = -3*c - y. Is c a composite number?
False
Let u(h) = -h**3 - 10*h**2 + 30*h - 8. Is u(-15) a prime number?
False
Let x be (3/(-5))/((-3)/(-15)). Is (-1)/(x/2007 + 0) a composite number?
True
Let x be (4/(-10))/((-2)/20). Suppose x*v + 235 = 5*k, -k = 2*v - 5*v - 47. Is k composite?
False
Suppose 206 = q - 5*n, 6*q - 2*q = n + 843. Is q a composite number?
False
Let a = 138 - 201. Let y(v) = -12*v**2 - 3*v - 1. Let i be y(-3). Let k = a - i. Is k prime?
True
Let s = -1077 + 1592. Is s a composite number?
True
Suppose -62 = -2*h + h + 5*c, 2*h - c = 133. Suppose -5*l = -48 - h. Is l composite?
False
Suppose -10 = -z + 4*q, -4*z - 4*q = -2*q - 4. Suppose -b = x - 8, 5*b = x + 3*x - 77. Let l = x + z. Is l a prime number?
False
Let c(o) = -3*o**3 - 7*o**2 - o + 6. Is c(-5) prime?
True
Let l = -123 + 208. Is l composite?
True
Suppose 441 + 286 = m + 5*b, -5*m = 2*b - 3681. Is m prime?
False
Let a(b) = -48*b**2 + 44. Let y(u) = u**2 - 1. Let w(m) = -2*a(m) - 88*y(m). Let d be w(-1). Is d - 6 - -3*7 a composite number?
False
Let x(q) = q**2 + 9*q - 5. Let u be 4*3 - (1 - -1). Is x(u) a composite number?
True
Is 177*((-22)/(-24) + 12/(-48)) composite?
True
Let v = -129 + 182. Is v composite?
False
Is 2 + ((-9)/3 - -35) a composite number?
True
Suppose 5*l = b - 17, -4*b + 5*l + 20 = l. Suppose -b*z + 141 = z. Is z a prime number?
True
Suppose 0 = -3*w + m + 14, 5*w - m = 4*m + 40. Suppose 5*r - g = 4*g + 1290, -w*r - 5*g + 734 = 0. Is r composite?
True
Let a be 0 + -2*(-1)/2. Let z be (-15)/(-6)*(21 - a). Suppose q - 6*q + z = -p, -37 = -3*q + 2*p. Is q a composite number?
True
Suppose -2*a = 5*q - 36 - 23, 0 = -5*q + 4*a + 47. Let l = -6 + q. Suppose 0 = -3*h + x + 30, -l*x - 34 = -5*h + 6. Is h prime?
True
Let n = -2114 - -2985. Is n composite?
True
Let m = -730 - -1167. Is m composite?
True
Let i(d) be the second derivative of d**5/20 + d**4/2 + 5*d**3/6 + 3*d**2/2 - 2*d. Let k be (-26)/7 - 10/35. Is i(k) composite?
True
Suppose -2*x + 656 = 2*r, 2*r - 4*x - 1649 = -3*r. Is r a prime number?
False
Let u(t) = 142*t**3 - t**2 - t + 1. Is u(1) composite?
True
Let o be -3*(-4 + 1)/3. Suppose 2*h = 3*f - 3*h - 432, 2*h = o*f - 423. Is f prime?
True
Suppose -2*b = 6 - 64. Let w = b - -30. Is w a composite number?
False
Let l(x) = x + 4. Let o be l(-2). Suppose -w + o*u = -357, 2*u - 1473 = -4*w + u. Is w composite?
False
Let c = 7252 - 4947. Is c a composite number?
True
Let x(f) = f + 3. Let h be x(-3). Suppose 5*j + h*j + 627 = -2*v, -v = -2*j - 249. Let l = 208 + j. Is l prime?
True
Suppose 3*t - 106 = t. Is t prime?
True
Suppose -2*a = 3*a - 20. Suppose -a*z + 596 = -0*z. Is z composite?
False
Let a be 2/7 + 372/21. Is a/30 - 1124/(-10) a composite number?
False
Suppose -10*y + 14*y - 2620 = 0. Is y composite?
True
Let s(j) = 5*j**2 + 5*j - 9. Is s(-6) a composite number?
True
Let h(a) = 6*a**3 - 2*a**2 + 4*a + 7. Let r(j) = -5*j**3 + j**2 - 3*j - 6. Let u(n) = -3*h(n) - 4*r(n). Is u(4) composite?
False
Let x(d) = d - 7. Let t be x(4). Is (1 - 80)*(t - -2) a prime number?
True
Let t(q) = q**3 + 4*q**2 - 6*q + 4. Let u be t(-5). Let c be (-1)/(-3) - (-546)/u. Let w = c + -8. Is w a composite number?
False
Suppose -44 = -d - 5. Suppose d + 53 = 4*z. Is z a composite number?
False
Suppose -9*d + 4922 = 611. Is d a composite number?
False
Is (-186)/(-14) + (-8)/2