+ 681 = o, 9*o - 2051 = -3*i + 4*o. Is i a prime number?
True
Is (-1904)/28*(-23)/4 a composite number?
True
Suppose -z = -5*h + 3*h + 3808, 3*z = 2*h - 3816. Suppose 3*l = -3*l + h. Is l a composite number?
False
Let z(s) = 158*s + 1. Is z(4) a prime number?
False
Let x(f) = -f + 3 + 0*f + f**2 + 2 - 3*f. Let v be 1 - -1 - (-18)/3. Is x(v) a composite number?
False
Let t be -229*((-1)/1 + 3). Suppose -2*k = k - 1989. Let a = k + t. Is a a composite number?
True
Suppose -5*i + 6*z + 1010 = z, -809 = -4*i + 5*z. Is i a prime number?
False
Let o = 17 - -3. Suppose 0*a - 3*a + l - 20 = 0, -4*a = -2*l + 30. Let b = o + a. Is b composite?
True
Suppose -2*d - m - 5 = 0, -4*d + 5*m - 3 = -0. Let c(b) be the second derivative of b**4 - b**3/3 - 3*b**2/2 + 13*b. Is c(d) prime?
False
Let y(j) = j**3 + 5*j**2 - 5*j + 8. Is y(-5) a prime number?
False
Let q be (8/(-6))/((-3)/(-18)). Let o = 27 + q. Is o composite?
False
Let i(f) = -194*f**3 + 4*f - 1. Is i(-2) a prime number?
True
Suppose 2*b + b = 2*a - 12, -4*b - 8 = 0. Suppose -a + 22 = h. Is h a prime number?
True
Let n(x) = x**2 + 8. Let p be n(0). Suppose -5*w + 2*k - 7 = -32, -p = -w + k. Is 4/((-16)/w)*-44 a composite number?
True
Let i = 10342 + -7281. Is i composite?
False
Let n(m) = -2*m - 3. Is n(-6) composite?
True
Suppose -6*u = -3*k - u + 1131, 3*k - 2*u - 1131 = 0. Is k a prime number?
False
Let t = 5 - 8. Let x = t - 2. Is 3/((-6)/x)*4 composite?
True
Let r(x) = 2*x - 6. Let k be r(9). Let g(n) = -4*n - 1. Let h be g(-7). Let l = h - k. Is l prime?
False
Let k(f) = 76*f**2 + 2*f - 1. Let o be k(1). Suppose 5*q - o + 17 = 0. Suppose 3*u + u - q = 0. Is u a prime number?
True
Let v be 7 - 1/(2/4). Suppose 24 + 21 = v*w. Suppose -5*i + 1469 = -2*f, -5*f + 301 = i - w*f. Is i prime?
True
Suppose -10*c = c - 4609. Is c a prime number?
True
Let x = 1 - 2. Let f(c) = 16*c**2 + 5*c**2 - c + 3 - 4. Is f(x) composite?
True
Suppose 6*k - 8 = 2*k. Is ((-126)/(-4) + 2)*k a prime number?
True
Let v be -67 + (1 - (-1 + 2)). Let p = 36 + v. Let u = p + 62. Is u prime?
True
Let u(c) = -c**3 + 12*c**2 + 6*c + 8. Suppose 0 = -5*n - 11 + 66. Let j be u(n). Let h = j - 128. Is h a composite number?
False
Let z(s) = -4*s**3 + s. Let j be z(-1). Suppose -o + 63 = 3*p, -j*o - 2*p - 73 = -4*o. Is o composite?
True
Suppose m = -m + 1636. Is m a composite number?
True
Let t(z) = z**2 + 11*z + 10. Let v be t(9). Suppose l - v = f, -8*l + 4*l - 5*f = -805. Is (l/12)/((-2)/(-8)) a prime number?
False
Let j = -860 - -1279. Is j composite?
False
Suppose -5*p + 1189 - 134 = 0. Is p prime?
True
Suppose 9 = 2*r - 3. Let j = r + -3. Is j composite?
False
Suppose -2*o - 3*d = -22, -3*o + 29 = 2*d - 9. Suppose -o - 18 = -4*j. Let h(l) = 7*l - 1. Is h(j) prime?
False
Is (5/2)/((-10)/(-3260)) a prime number?
False
Suppose -4 = 5*d - 14. Suppose -344 = -d*m - 118. Is m composite?
False
Let r = 195 - 56. Is r composite?
False
Let s = -50 + 96. Suppose -4*w = s - 842. Is w composite?
False
Let w(h) be the third derivative of 9*h**5/10 - h**4/24 - h**2. Let o be (-2)/(-8) - 15/12. Is w(o) a composite number?
True
Let i(m) = 6*m - 3. Let t(r) = r**3 - 8*r**2 + 9*r - 8. Let b be t(7). Is i(b) a prime number?
False
Suppose 275 = -54*p + 59*p. Is p composite?
True
Is 2 - (1 - 3) - -123 a composite number?
False
Let w be -1 + 3/(-3) - -8. Let t be 2*w/(-9)*-3. Suppose -57 = -7*m + t*m. Is m a prime number?
True
Let z(i) be the third derivative of i**6/120 - 7*i**5/60 - 3*i**4/8 + 7*i**3/6 - i**2. Let c be z(8). Is 90/8 + c/4 a composite number?
False
Is (-1671)/(-12) + 1/(-4) prime?
True
Let x = 9 + 38. Let p = 90 - x. Is p a composite number?
False
Let h(s) = -16*s + 15. Is h(-8) a composite number?
True
Let z = -76 - -113. Is z prime?
True
Suppose 0 = -4*h + 4*o - 8*o + 892, 0 = -h + 2*o + 223. Is h composite?
False
Let u = -19 - -13. Let a = -2 - u. Suppose -98 = -a*f + 2*k, -k + 38 = f + 3*k. Is f prime?
False
Suppose 0 = -4*g, 2*i = -i - 5*g + 2631. Is i composite?
False
Suppose -s - 518 = -2*c + 484, 0 = 4*c + 3*s - 2024. Is c a prime number?
True
Let r(q) = -q**3 + 6*q**2 - 3*q - 12. Let w be r(5). Is (-2)/(((-12)/(-573))/w) composite?
False
Let j be (-6)/(-9) - 104/(-6). Let o be -4 + 4 - j/2. Is 6/o - (-46)/6 composite?
False
Suppose -3*g = 4*k + 1, k + 5*g = 5*k - 23. Suppose k*h = 536 - 194. Suppose 4*z - z - h = 0. Is z a prime number?
False
Suppose 0 = 8*i - 27 - 285. Is i composite?
True
Let l be -5*(1 + (-9)/15). Let g = 1 + l. Is 4*(g - 267/(-12)) composite?
True
Let u(t) = 6*t**2 - 2*t. Let b be u(-3). Is ((-138)/8)/((-15)/b) a prime number?
False
Let g(v) = -29*v + 60. Is g(-21) a composite number?
True
Let t be (-5 + (-2 - -4))*-1. Is (-14)/(-3) - 2/t a prime number?
False
Suppose -3*f = 3*l - 18, 3*l - 2*f - 2*f - 11 = 0. Suppose 3*u = 12, -l*u + 179 + 5 = 4*o. Suppose -3*i + 248 = o. Is i a composite number?
True
Is (-1)/(3/2)*(-1419)/2 composite?
True
Let b(u) be the second derivative of -u**4/12 - u**3 + 3*u**2/2 - u. Let a be b(-7). Is ((-4)/(-6))/(a/(-282)) a composite number?
False
Suppose -8 = -4*i, -1193 = -5*p + 2*i - i. Is p composite?
False
Let d = -15 + 23. Let n(p) = 20*p + 1. Is n(d) a prime number?
False
Suppose 4*o + 121 - 756 = 5*b, -3*b = 4*o - 643. Suppose 7*q + o = 3*q. Let n = 231 + q. Is n composite?
False
Suppose 60 = 4*m + 712. Let d(i) = 18*i**2 + 8*i + 6. Let p be d(-5). Let y = p + m. Is y a prime number?
False
Let z = 320 + 3. Is z a composite number?
True
Let j(i) = 11*i**2 - 2*i - 1. Let t(l) = l - 7. Let a be t(5). Is j(a) a composite number?
False
Suppose -186 = -3*i - k, 3*k = 2*k - 3. Let o = i + -32. Let t = 6 + o. Is t prime?
True
Suppose x - 230 = -4*r - 3, 6 = 2*r. Is x composite?
True
Is (-2 - -3) + 0 + 940 composite?
False
Suppose -30 = -3*i - 9. Is i a prime number?
True
Let s(y) be the second derivative of -y**3/2 + 3*y**2/2 - 4*y. Is s(-10) a composite number?
True
Let d be 25/(-10)*-2*1. Suppose p + d*i - 4 = 0, 0*i - 4*i = 12. Is p composite?
False
Suppose 3*x - 7 = 4*d - 17, 3*x + 3 = -3*d. Let b = x + 1. Is b/(2/254)*-1 composite?
False
Let q be 1/((-2)/(-15))*4. Let d be 9*(3 - -2*q). Suppose -5*x + d = 2*a, 2*a + 26 - 254 = -2*x. Is x a prime number?
True
Suppose -2235 = -5*d + k + 3*k, -2240 = -5*d + 5*k. Is d composite?
False
Let f = 73 + -273. Let m be (-2)/(-2) + 0 + -122. Let l = m - f. Is l a composite number?
False
Let a = 4 - 4. Suppose q = 4*k + 10, 8 = -4*k + 2*q - a. Is (6/k)/((-4)/182) prime?
False
Let m be 207 - -2 - (-7 - -4). Is (m/(-6))/((-2)/3) a prime number?
True
Suppose 2*b = -3*a + 20 - 459, 3*b + 730 = -5*a. Let d = a - -252. Is d a composite number?
False
Let w = 521 + -190. Is w a composite number?
False
Let o = 12 - 9. Suppose 0 = 5*m - o*k + k - 945, 3*k - 15 = 0. Is m composite?
False
Let f(p) = 2*p**3 - p**2 + p. Let d be f(1). Suppose 0 = 4*x + d*b - 520, 397 = -2*x + 5*x - 2*b. Is x prime?
True
Suppose 5*v = 4*v + 145. Is v a prime number?
False
Let b be 504/40*(-5)/(-1). Suppose b = 3*k - n, 0 = 4*k - 5*n + 2*n - 84. Is k a prime number?
False
Suppose -5*t + t = -9980. Is t composite?
True
Let n = -1767 - -3624. Is n composite?
True
Let p = 488 + -31. Is p a composite number?
False
Let b(a) = a**3 + 3*a - 1 - 3*a**2 + 0*a + 11*a**3. Is b(2) composite?
False
Suppose 0 = -5*j + 13 + 22. Is (5*6)/(-5 + j) prime?
False
Let u be (-2)/(-4)*(2028 + 2). Suppose u = -0*r + 5*r. Is r composite?
True
Is (-5 - 782)*1/(-1) prime?
True
Let o = -110 - -489. Is o a prime number?
True
Let f(v) = v**2 + v - 5. Is f(-4) a prime number?
True
Let n(c) be the second derivative of 4*c**4 - c**3/6 + 15*c. Let h(b) = b**3 + 5*b**2 + b + 6. Let k be h(-5). Is n(k) prime?
True
Suppose 3*g = 3*h - 1329, 0 = h - 7*g + 4*g - 435. Is h composite?
True
Suppose 4*q + 3 = 4*a - 7*a, -3*q - 2*a - 2 = 0. Suppose q = -2*s - 3*x + 41, -3*s + 37 = x - 28. Let d = s - -45. Is d a prime number?
True
Let y(h) = 11*h**2 - 3*h - 3. Let g(v) = 5*v**2 - 2*v - 1. Let b(x) = -x**3 + x - 1. Let n be b(-2). Let c(z) = n*g(z) - 2*y(z). Is c(4) composite?
True
Let h = -456 + 709. Is h prime?
False
Let d(u) = -52*u + 0 + 4 + 1 - 4. Is d(-1) composite?
False
Suppose 4*g + 1056 = 3*j + 209, 4*g - 20 = 0. Is j prime?
False
Suppose -12 = -2*d + 64. Let j = 3 + 5. Suppose -5*a = -d + j. Is 