 13*i = 5*i + z. Is i a prime number?
True
Suppose -24 = 4*y + 4*s, y - 26 = 2*y + 5*s. Let o be (-10)/(-15) - (1288/(-3) + y). Let u = o - 28. Is u prime?
False
Let z be ((-6)/15)/(1/(-30)). Let f(r) = 36*r + 299. Is f(z) composite?
True
Let f = 148355 - 93378. Is f a composite number?
True
Let n(y) be the second derivative of 6*y**4 - 37*y**3/6 - 25*y**2/2 - 36*y. Is n(-6) prime?
True
Let d(r) = -21 - 25*r + 5 - 2*r**2 - 15492*r**3 - 23*r + 29*r. Is d(-1) a prime number?
True
Suppose 0 = 14*o - 7*o - 98028. Suppose 4*q = 2*t + t + 28003, -2*q + o = -2*t. Is q composite?
False
Let f(z) = 91*z**2 + 4*z - 12. Suppose -2*u + 186 = 196. Is f(u) a composite number?
False
Is (-3 - (-26)/6)/((-16)/(-66684)) prime?
True
Let m = -666 + 722. Suppose m*v = 45*v + 473011. Is v a prime number?
False
Suppose -41*s + 35*s + 400548 = 0. Suppose 11*k - s = -13287. Is k prime?
True
Let r = 44897 - -127950. Is r prime?
False
Suppose 1 + 5 = -3*c, 2*c = -2*g + 8920. Suppose 10145 = 9*u - g. Is u composite?
True
Let a = 43 - 41. Suppose -5*z + 3*n + 7870 = a*n, 0 = 3*n. Is (z/3)/((-11)/(231/(-14))) a prime number?
True
Let y = -444436 - -783395. Is y prime?
True
Let i be (-154 + -7 + 3)*-2. Let o = 133 + i. Is o prime?
True
Suppose -3*v + 9 = -3. Suppose -4*p - d + 321 = -2*d, 0 = -p - 5*d + 54. Suppose -v*g - 5*u = -p, 8*g - 155 = 3*g + 5*u. Is g a composite number?
True
Suppose -95*p + 90*p - s + 57904 = 0, -s - 46334 = -4*p. Is p a composite number?
True
Suppose 685*s - 690*s + 5*v + 187995 = 0, 0 = 4*s - 3*v - 150400. Is s composite?
True
Suppose -5*i - m + 116090 + 77639 = 0, -2*i + 5*m = -77497. Is i composite?
True
Suppose 2*j = 3*c + 36, -3*c = 4*j - 15 - 93. Let t be (-6)/j + (-17)/(-4). Suppose t*n + 293 = 5*n. Is n a prime number?
True
Let a(r) = 7557*r + 10. Let p be a(4). Let j = -15053 + p. Is j prime?
False
Let w = -41 - -56. Suppose w = 126*c - 121*c. Suppose 14323 = 5*p - c*r, 4*r + 2186 = 3*p - 6399. Is p a composite number?
True
Suppose 4*g = f - 287105, -4*f - 5*g + 1068605 = -80004. Is f composite?
False
Suppose 33*v - 1105366 = 676073. Is v a composite number?
True
Is ((-52686)/(-24))/(29/116) a composite number?
True
Let y be 3/(5/(-6) + 6/12). Let u(p) = -10*p**3 - 5*p**2 - 3*p - 5. Is u(y) composite?
False
Suppose 0 = 3*b - 3*z - 301983, b - 49*z - 100661 = -51*z. Is b composite?
True
Suppose -8*j - 6*j = -65884. Suppose k - 6645 - j = 0. Is k a prime number?
True
Suppose 0 = 2*a - 16*a + 5801612 + 4935002. Is a prime?
True
Suppose -4*z - 3*q + 85 = 0, 43 = 2*z - 5*q + 6*q. Suppose -z*v - 238 = -24*v. Is v a composite number?
True
Let r = -250 - -2245. Let i(x) = r*x**2 + x - 6*x - 4 + x + 32*x**2. Is i(-1) prime?
True
Suppose 5*b + 5*z - 252655 = 0, -138636 = -3*b + 3*z + 12945. Is b a composite number?
True
Suppose -2*g - 10 = -4*l, 2*l = -g + l - 2. Let q be -1 - 0/g - -1954 - -1. Suppose -4*c + 178 = -q. Is c composite?
True
Let v(q) = 9*q**3 - 3*q**2 + 6*q - 5. Let l be v(1). Suppose 3*z = l*z - 13812. Is z composite?
True
Let m = 53427 + -14210. Suppose -i = 4*n - m, 40 = 5*i + 15. Is n a composite number?
False
Suppose -2*n = -6*b + 3986 - 318690, -b - 314699 = -2*n. Is n composite?
False
Suppose -29*m - 11450 = -5*f - 24*m, -11429 = -5*f - 2*m. Is f composite?
False
Let r(n) = 901*n + 52. Let k be r(7). Is 38/(-57) + (k/3 - 0) composite?
True
Let z be (12/(-5))/(7/35). Let i(o) = -o**2 + 21*o - 26. Let b be i(20). Is (919/b)/(2/z) a composite number?
False
Let k = -58 - -146. Suppose d = 3*n + k, -4 + 0 = 4*n. Is d prime?
False
Suppose 10 = -u + 6*u. Let z be (1/u)/((-9)/(-1818)). Let x = -42 + z. Is x composite?
False
Let i = 1489 - -40038. Is i a composite number?
True
Let h be (-69)/(-12) + (-12)/16. Let q(c) = -3*c + 12*c**2 + 7 + h*c + 40*c**2. Is q(3) a prime number?
False
Suppose 3*v + 2*o = 737301, v = 4*o + 339740 - 93931. Is v a composite number?
True
Is 5224/(-112)*-474 - (-2)/7*1 composite?
False
Let b(x) = -x**2 - x + 1. Let p(t) = 36*t**2 + 8*t - 5. Let w(k) = 4*b(k) + p(k). Suppose -8052*o + 8056*o - 16 = 0. Is w(o) a composite number?
True
Suppose 5*z - 4*z = 0. Suppose a - 5*a = z. Suppose g - 120 = -2*u + 63, -3*g - 2*u + 565 = a. Is g prime?
True
Let x = -19912 - -36971. Is x composite?
True
Let p(w) be the second derivative of -3*w**5/10 + w**4/12 + w**3/6 + 3*w**2/2 + 4*w. Let d = -28 + 26. Is p(d) prime?
True
Let c(g) = 268410*g + 1483. Is c(4) a composite number?
True
Let h(u) = 11904*u - 929. Is h(8) a prime number?
False
Let w(b) = -23*b - 7 + 10 + 8. Let j be w(5). Let i = j + 593. Is i a composite number?
True
Suppose 0 = n - 18963 - 24424. Is n prime?
False
Let s = 7243 - 4984. Suppose 19*m - 28*m = -s. Is m prime?
True
Let s be ((-1732)/(-8))/(2 - 115/60). Suppose -3*u = s - 8067. Is u a composite number?
False
Let u be 32/18 - (-36)/162. Suppose -5*c + 3*m = -35, 0 = -2*c - c - 2*m + u. Suppose 0 = -c*i + a + 2*a + 882, -2*i = a - 436. Is i a composite number?
True
Suppose -2*u = -a - 109400, 3*a - 130497 - 88313 = -4*u. Suppose g - 4*f - 51673 - 3028 = 0, 0 = -g - 3*f + u. Is g composite?
True
Let q(s) = -s**3 - 4*s**2 + 14*s + 12. Let c be q(-14). Suppose 0 = -0*x - x - 3*f + 895, 0 = -2*x + f + c. Is x composite?
True
Let l = -284 - -266. Let s(m) = m**3 + 24*m**2 - 12*m + 21. Is s(l) prime?
False
Let l(c) = -c**2 + 6*c - 3. Let x be l(5). Suppose 3*o = x*o + 4939. Is o prime?
False
Suppose 0 = 3*w + 9*q - 8*q - 2, -q + 7 = -2*w. Is (4 - -922 - 7)*w/(-1) a prime number?
True
Let t = -1452 + 34441. Is t composite?
True
Suppose -1085 = -0*m + 5*m. Suppose -22*j - 8777 = 5787. Let b = m - j. Is b prime?
False
Let z(h) = -h**2 + 11*h + 8. Suppose -9*b + 8*b = -8. Let j be z(b). Suppose j*r - 27*r - 395 = 0. Is r composite?
False
Suppose 4962 = 2*c - 2*f - 15682, -2*c - 4*f + 20638 = 0. Suppose 12*w = 47725 - c. Is w a composite number?
True
Let a(r) = 6*r**2 - 3*r - 4. Let s be (5/(-2) + 2)*-3*4. Is a(s) a prime number?
False
Let b(o) = 6 + 5 + 323*o**2 + 1460*o**2 - 12 - o. Suppose 0 = 5*a + 2 + 3. Is b(a) composite?
False
Suppose 3*b - 44368 - 4958 = 0. Suppose -r + 108 = -4*q - 5367, -3*r - 5*q + b = 0. Is r prime?
True
Suppose -287 + 46 = -5*o - 2*j, 2*o = -3*j + 92. Suppose 0 = 8*g - o - 23. Is 3*(-2 + 5559/g) a composite number?
False
Let i = 64 + -64. Let p be i + (5 + -1 - -1). Suppose 2*z + 111 = p*z. Is z a prime number?
True
Let r(u) = -u**2 + 22*u - 13. Suppose -5*z = -0 - 20. Let i(s) = 2*s**2 - 21*s + 12. Let c(n) = z*i(n) + 3*r(n). Is c(10) prime?
False
Let s = 2090 + -3959. Let u = s + 5074. Is u a prime number?
False
Let y = 86 + -73. Let b = y - -36. Suppose -z + 142 = -b. Is z a prime number?
True
Let a(c) = c + 1. Let d(y) = 10*y**2 + y + 13. Let o(v) = -3*a(v) + d(v). Let q be o(-9). Suppose z = -z + q. Is z a composite number?
False
Suppose -c = -m - 29 - 13, 0 = 5*m + 20. Let d = c - 33. Suppose 4*i - 1768 = -4*w, -d*w + 1992 = -5*i - 228. Is w composite?
False
Let u(p) = 3455*p**3 + p**2 - p + 14. Is u(3) a prime number?
False
Let m(d) = 6*d**2 + d + 1. Let o be m(-2). Suppose -13 = z - 4*z - p, 3*z - 4*p = o. Suppose -260 = z*b - 1855. Is b a composite number?
True
Let a(k) = -3*k**2 - 30*k + 1. Let i be a(-9). Suppose -203440 = -i*d + 200908. Is d prime?
False
Suppose 506094 = 2*d + 341*j - 336*j, 5*j + 506134 = 2*d. Is d a prime number?
False
Suppose 6*s = 3*s + 3276. Suppose -2*t + 0*t = s. Let f = -151 - t. Is f a composite number?
True
Let p(q) = 2061*q - 232. Let m be p(23). Suppose -9*i - 3*o + m = -5*i, 2*i - 23573 = o. Is i a prime number?
True
Suppose 2*p = -4*d + 10, 47*d = 51*d. Suppose -p*o = -87819 + 15314. Is o a prime number?
False
Suppose 8*v + 4 = 9*v - 4*w, -5*w - 4 = -v. Is (2095/2)/(2/v) a prime number?
False
Suppose y = -29*y + 2402296 - 643126. Is y prime?
False
Suppose -n - t = -191854, t + 1823 = 1816. Is n a prime number?
True
Suppose -4*d - 42*g = -43*g + 3907, g - 3 = 0. Let m = -557 - d. Is m prime?
True
Is (-646)/((0 - -1)*16/(-176)) - 3 a composite number?
False
Let l be (-308)/(-66) - 4/(-18)*-3. Suppose -3798 = -2*k + z, k + 0*k - l*z = 1885. Is k a composite number?
False
Let m be -1 + 443 - (1 + 3). Suppose 0 = -t + 5 + m. Is t a composite number?
False
Suppose 5 = -3*x - 2*x. Let k be (2819*(-3 - -4))/x. Is k*(2 + -4)/2 composite?
False
