c = -12*c + 1. Is (1/c)/((-4)/844) a composite number?
False
Let d(z) = -z**2 - 4*z - 1. Let w be (-3)/12 + (-57)/12. Let b be d(w). Is 2*1/b*-339 composite?
False
Suppose -2*w = -141 - 77. Let t be (-2)/(-17) - 37102/(-221). Let f = t - w. Is f a composite number?
False
Suppose 3*b = 7*b - 20. Suppose 626 = v + b*u, 0 = v - 3*u + 237 - 879. Suppose 5*c - 1790 = -3*k, -4*c - k = -v - 789. Is c a composite number?
True
Let n = -11 + 12. Let x be (n - 4)/((-3)/4). Suppose -5*g + f + 116 + 1315 = 0, 0 = -3*g + x*f + 845. Is g composite?
True
Suppose 1308 = 9*q - 11*q. Let a = 2755 + q. Is a prime?
False
Suppose 0*h + 6 = 3*h. Suppose -7*n = -h*n - 1920. Suppose -3*i + 593 = -5*u, n + 205 = 3*i - 4*u. Is i a prime number?
True
Let d = 25 - 65. Let a = 62 + d. Is a prime?
False
Suppose 225 = 5*n - 2*y - 0*y, -5*y = 0. Suppose -5*g - n + 1300 = 0. Is g a composite number?
False
Is 242842 + 1 - (-64)/8 a composite number?
True
Suppose 1902 = 3*q + 4*j - j, 4*j = 2*q - 1250. Is q prime?
True
Let k(d) = 145*d**3 - 2*d**2 - 4*d + 7. Is k(2) a composite number?
False
Let n be 9/((2 - -2) + -3). Is (-1245)/(-12) + n/(-12) composite?
False
Is (-1)/(-4) - (-4248018)/216 composite?
True
Suppose 3 = q, 0 = -2*s - 3*q - 24755 + 77098. Is s a composite number?
True
Let s = 33669 - -120718. Is s a composite number?
False
Is (1 - 0)/((-41)/(-86879)) a composite number?
True
Let x(h) = h. Let n(y) = -7*y + 9. Let d(b) = -n(b) - 2*x(b). Suppose f = -5*o + 21, 3*f = -4*o + 45 - 4. Is d(f) composite?
True
Let t be 22002*5*5/75. Let o = t + -4025. Is o a prime number?
False
Let w = 19 - 15. Suppose -g = w*g + 50. Is (-2285)/g*(3 + -1) prime?
True
Suppose -8*c = -9401 + 1089. Is c a composite number?
False
Let t(c) = 8*c**3 + 5*c - 3*c - 11*c**3 - 10*c**2 + 16. Is t(-7) composite?
False
Is 12/((-28)/7) + 14146 prime?
True
Suppose 9*l + 260 = 7*l. Suppose 366 = 2*z - 2*x, -4*x - 549 = -3*z - 0*x. Let q = l + z. Is q prime?
True
Suppose -801 = -3*x - x - 3*t, 5*x + 2*t - 1003 = 0. Suppose -5*o + x + 44 = 0. Suppose 186 = n - o. Is n composite?
True
Suppose 4*h - h = 594. Let d = 375 + h. Is d prime?
False
Let z(f) = 384*f + 41. Is z(5) composite?
True
Is 100504/32*(-1 - -5) a composite number?
True
Is (-6586)/5*(-145)/58 a prime number?
False
Let f(j) = 2840*j + 125. Is f(7) a prime number?
False
Let w = 2 - 11. Let b(x) = x**2 + 5*x + 5. Let g(q) = 2*q**2 + 13*q + 15. Let i(d) = 11*b(d) - 4*g(d). Is i(w) a composite number?
False
Suppose -3*b = -m + 944, 4*m - 3*b + 5*b - 3748 = 0. Suppose 3*s + m = 5*s - g, -5*s = 3*g - 2345. Is s prime?
False
Let y = -16 - -18. Suppose -3*p = y*a - 4955, -4940 = -3*a + a + 2*p. Is a a prime number?
True
Suppose -34*k = -31*k + 18. Is (-31564)/(-6) + (-8)/k + -1 a composite number?
False
Suppose 0 = -29*f + 13*f + 38992. Is f prime?
True
Let q(g) = 16*g**2 + 12*g + 143. Is q(-21) prime?
True
Let c be -3*(10/(-6) - -2). Let q = 18 + c. Suppose -27 - q = -2*w. Is w composite?
True
Is 4/11 - 14290395/(-1155) prime?
True
Let x be (-2 + 39)/(3/21*-1). Is (-5)/(15/x) - (-1)/(-3) a prime number?
False
Suppose 5*z - 7*z - 16 = 0. Is (-4)/z - (-1892)/8 prime?
False
Suppose 0 = -3*j + i + 11054, -18410 = -5*j + 2*i - 3*i. Suppose -5*w - j = 1577. Is 1/(2100/w + 2) composite?
False
Let v(o) = 15*o**3 - 5*o**2 + 3*o - 5. Let n be 3*(-6)/(-27)*3. Suppose n*t = 2*m + 9 + 1, -13 = -3*t + m. Is v(t) prime?
True
Let d(o) = -o**3 + 6*o**2 + 6*o + 2. Suppose w = 5*u + 28, -5*u + 4*u = 3*w - 36. Suppose -5*g - 10 = -2*i - i, -2*i - 3*g + w = 0. Is d(i) a prime number?
False
Let q(o) = -4*o**3 - 9*o**2 + 8*o + 15. Suppose -45*w + 8 = -46*w. Is q(w) prime?
True
Let w(n) = -42*n + 31. Let o be w(-9). Let f(b) = -b**3 - b**2 - 3*b + 6. Let s be f(6). Let a = s + o. Is a a composite number?
True
Suppose -k - 5 = -2*k. Suppose -x = -3*s - k*x - 73, 2*x - 68 = 4*s. Let o = 32 + s. Is o composite?
False
Let w be ((-3)/2)/((-3)/4). Suppose w*i + 18 = 5*i. Suppose 0 = i*k - 3*k - 759. Is k composite?
True
Let j be 8/4 - (1 - 2). Suppose j*t - 2*t = 5. Let b(s) = s**2 + 5*s + 3. Is b(t) prime?
True
Let o be 28/6 - (-11)/33. Suppose -3*k - 62 = -o*u, u + k - 1 = 5. Suppose -2*z + g + u = 0, -4*z + 19 = z - 4*g. Is z a composite number?
False
Suppose -c + 2*g + 98 = -3*c, 0 = -2*c + 4*g - 98. Let s = c + 407. Suppose -3*d + 3*h + s = -404, -d + 4*h + 245 = 0. Is d prime?
True
Suppose -15 = -3*m + 4*n, 2*n = -5*m - 0*n - 1. Let g(d) = 1716*d**2 + 2*d - 1. Is g(m) a prime number?
False
Let s be (-5)/(-10) - 1713/(-6). Let x = -128 + s. Suppose 0 = -0*a - 2*a + x. Is a prime?
True
Let q(k) = 45*k + 3. Let i be q(2). Suppose 0 = p - 34 + i. Let r = 97 + p. Is r a composite number?
True
Suppose -2*g + 12 = -0*g + 2*w, -3*w - 10 = -4*g. Suppose -158 = -g*m + 150. Is m a composite number?
True
Suppose 2*n = -3*j - 0*n + 2, -4*n = 4*j - 4. Let g be j - (4 + (-3)/1). Is 543 - g - 1 - 2 a prime number?
True
Let g be -15*(105/(-25) - -4). Suppose 0 = 2*i - 5*k - 7, 2*k - 3 - g = 3*i. Is ((-2)/i)/(-1)*-514 a prime number?
True
Let g(v) = 10*v + 79. Is g(9) a composite number?
True
Suppose y + 0*y - u = 0, 4*u = 2*y. Suppose -2*w + 404 = k + 3*w, y = k - 5*w - 354. Is k a prime number?
True
Suppose 0 = -4*r + 49 + 67. Let j = r - 15. Suppose -2*s + 427 = 3*q + j, -437 = -2*s + 5*q. Is s composite?
False
Suppose m + 2*o = 0, -4*o = -0*o. Suppose m = a - 2. Suppose -5*p + a*p = -273. Is p a prime number?
False
Suppose -5*h + n + 7 = 0, h = -h + 3*n - 5. Let p be h*3/(-18)*-9. Suppose 0 = p*s - 3*j - 636, -41 = -s - 3*j + 191. Is s a prime number?
False
Let g be (-991 - 2)/(-7 - -6). Suppose -37*v - g = -40*v. Is v a prime number?
True
Let b(q) = -1 + 0 - 35*q**2 + 89*q**2 + 51*q**2. Is b(-2) prime?
True
Let t(s) = 237*s - 265. Is t(12) composite?
False
Let h = 12825 + -8990. Let p = h - 2640. Is p a composite number?
True
Let f = -392 - -9621. Is f prime?
False
Let z(x) = 4*x**2 - 4*x + 3. Let t be z(1). Suppose -2*q = -t*r + r - 1968, -2*r = -5*q + 4905. Is q composite?
True
Suppose 2*z - 3*v = -39, 4*z + 68 = -0*v + 4*v. Let i = z - -5. Is (-14)/i - 147/(-1) prime?
True
Suppose 0*m - 2*m + 2*q - 4618 = 0, -2*q = -m - 2314. Let x = 629 - m. Is x prime?
False
Suppose -15 + 5 = -5*k. Suppose 1254 = 5*j - 2*j - k*x, 4*j = 3*x + 1671. Let b = -167 + j. Is b a composite number?
True
Suppose 941 = r - 80. Let m = 1510 - r. Suppose f - m = 254. Is f a composite number?
False
Let d(r) = 4 + 4*r - r - 2*r**2 + 0 + r**2. Let k be d(4). Suppose -4*p + 3*o + 511 = 0, -5*o + k*o = -3*p + 386. Is p a composite number?
False
Let b(l) = -l**3 + 9*l**2 - l + 12. Let p be b(9). Suppose m = -3*n + 7824, 2*n + m = -p*m + 5206. Is n composite?
False
Suppose -5*p = -2*p - 4*u + 393, 121 = -p - 2*u. Let d = 36 - p. Is d a composite number?
False
Let b(i) be the second derivative of -11*i**5/20 + i**4/6 + i**3/2 - 5*i. Let p be b(-2). Suppose t - p = 73. Is t prime?
True
Let w(q) = 3*q**3 - 7*q**2 - 6*q + 5. Let m(a) = 4*a**3 - 8*a**2 - 6*a + 4. Let t(o) = 4*m(o) - 5*w(o). Is t(5) a composite number?
True
Let f = -16 - -7. Let t(n) = n + 19. Let w be t(f). Suppose -6*y + w = -5*y. Is y a composite number?
True
Let w(i) be the first derivative of -58*i**3/3 - i**2/2 + i + 4. Let y be w(3). Let p = y + 1435. Is p prime?
True
Suppose -7*j = -j - 4140. Let n = j - 353. Is n a prime number?
True
Let p(y) = -5*y - 177*y**2 - 2 + 588*y**2 + 497*y**2 + 0. Is p(-1) a prime number?
True
Suppose -4*w + 0*w + 24 = 3*g, 5*g = w + 17. Suppose -g*n - 1218 = -6*n. Suppose -4*o + o = -n. Is o composite?
True
Suppose u = 3*q + 14, 5*u + 4*q - 37 = 33. Let o = u + -4. Let l = 0 + o. Is l prime?
False
Let n be 2/(-6) - 22/6. Is (0 - n - -33) + -3 a composite number?
True
Let r(d) = 404*d**2 - 2*d + 1. Let z be r(1). Suppose q - 4*b + z = 0, 1532 = -4*q - 4*b - 0*b. Is (-2)/(-8) - q/4 a composite number?
False
Suppose 2*r - 4*r = -4*s - 6, 3*r + 5*s - 20 = 0. Suppose -3*i = -3*c - 6447, -i + r*i = -5*c + 8632. Is i composite?
False
Let c(v) = -518*v + 175. Is c(-21) a prime number?
False
Suppose -z + 2 = -2*o - 47, 0 = 2*z + o - 98. Suppose 0 = 5*i - z - 11. Is (152/i)/(6/9) prime?
True
Let t(q) = q - 29. Let w be t(9). Let a(z) = -4*z + 61. Is a(w) prime?
False
Let d = -3708 + 9689. Is d prime?
True
Suppose -7*j + 21797