((-9)/9) a composite number?
True
Suppose -2*o = -3*o + 3*q + 11, 5*q + 35 = 5*o. Suppose 6*c - o*c = 67. Is c a prime number?
True
Let b be 6/(-27) - (15234/(-27))/1. Suppose -b = -6*s + 126. Is s composite?
True
Suppose 34 + 6 = 8*v. Suppose v*a = 66 + 199. Is a a prime number?
True
Let t be 21/15 + ((-85)/25 - -4). Suppose 4*g = -5*s + t*g + 1487, 4*s - 4*g = 1212. Is s a composite number?
True
Let q(k) = -71*k**3 + 2*k**2 + 2. Let a be q(-2). Suppose 0 = 5*i - s + 3*s - 954, -4*s = 3*i - a. Let l = i + -57. Is l composite?
True
Let n be (-5 + -1473)*(-1)/2. Let i = 1044 - n. Is i a composite number?
True
Let g(o) = -13*o**2 + 8*o + 12. Let j(q) = 13*q**2 - 7*q - 13. Let w(z) = -7*g(z) - 6*j(z). Is w(7) a composite number?
True
Let u(w) = 6*w - 39. Let f be u(6). Is (8/72*f)/(1/(-2361)) prime?
True
Let b(n) = -7*n - 10. Let o be b(-7). Suppose o*a - 37*a - 194 = 0. Is a a composite number?
False
Let i = -20 + 22. Let c be 1*i - (-48)/(-6). Let u(d) = d**2 + d + 3. Is u(c) prime?
False
Let c(r) be the second derivative of r**5/20 - 5*r**4/12 - r**3 + 11*r. Let w be c(6). Suppose -4*t + 1496 = 3*j, 5*t + w*t + 5*j = 1875. Is t composite?
True
Let c = -2467 - -5234. Is c a prime number?
True
Suppose -20*t + 19*t = -5*b + 44997, 27001 = 3*b - 2*t. Is b composite?
False
Let j(g) = g**2 + 5*g + 6. Let f be 1 - -4*(-3 + 2). Let i be j(f). Suppose i*p = p - 469. Is p prime?
False
Let q(n) = 17*n**2 - 8*n - 13. Let k be 40/(-7) + (-8)/28. Is q(k) a prime number?
True
Let u be 0/(-5) - -242 - 4. Let t = u - 119. Is t composite?
True
Let t(l) = 974*l + 62. Is t(6) composite?
True
Let r(b) = -23*b + 17*b + 11 + 55*b. Suppose 4*h - 9*l = -4*l + 17, 27 = 3*h + l. Is r(h) a composite number?
True
Suppose -10*w = -12*w + 6, -t - 2*w + 727 = 0. Is t composite?
True
Let c(l) be the first derivative of l - 4*l**2 + 8/3*l**3 + 8. Is c(7) a prime number?
True
Suppose -4*x + 4*f + 156 = 0, 5*f = 4*x - 60 - 101. Is x a composite number?
True
Is (-78)/507 + 100754/26 + -2 composite?
True
Let o(f) be the third derivative of 1/6*f**3 + 0*f - 1/30*f**5 - 14/5*f**6 + 0*f**4 + 0 + 5*f**2. Is o(-1) composite?
True
Suppose -37*a = -27*a - 2370. Is a prime?
False
Suppose -x + 1086 = -0*x - 3*k, -3*x = -2*k - 3293. Suppose x = 4*t - 119. Is t composite?
True
Let s(z) = -81*z - z**2 - 89*z + 5579 + 169*z. Is s(0) prime?
False
Let z = 60 + -57. Suppose -h - p = -2*p - 6143, 6127 = h + z*p. Is h prime?
False
Let v(h) = -h**3 + 13*h**2 + 13*h + 18. Let u be v(14). Suppose 0 = u*f - 3*f - 701. Is f a prime number?
True
Let g = 26 - 39. Let c be g/39 - 4396/(-3). Suppose o = -4*o + c. Is o composite?
False
Let n be -42*(-1 + (-2)/(-4)). Let b = n - 15. Suppose 0 = -2*j + b*j - 148. Is j prime?
True
Let c = 11033 - -30744. Is c a composite number?
False
Let r = -3870 - -7307. Is r a composite number?
True
Is 1459/(-3)*(-9 - (-5 + -1)) prime?
True
Let h = 753 + 310. Suppose k = 2*p + 3*k - 532, -4*p - 3*k = -h. Is p composite?
True
Let t(p) = 2*p**3 + 2*p**2 + 5*p - 2. Let o be t(4). Is o/((-7)/((-14)/4)) prime?
True
Suppose -r = 3, o + 7*r = 3*r + 3259. Is o a prime number?
True
Let c(t) = -90*t**3 - 10*t**2 - 26*t - 89. Is c(-8) a composite number?
True
Suppose 2*i = -2*i + 4*z + 24, 5*i = -2*z + 9. Suppose -763 = -4*b + l, -b - b = -i*l - 379. Is b composite?
False
Let c be (-4 + 3)*(-37 - 3). Suppose 4*k - k + 3*t - 51 = 0, -4*t = -5*k + c. Suppose 0 = 2*j + 4*d - 182, 0*d = -4*d + k. Is j prime?
False
Let w be 12/9*6 + -3. Suppose -5 + 0 = w*y. Let z(x) = -802*x + 1. Is z(y) composite?
True
Suppose -15*r + 17*r + 8 = 0. Let o be (14/21)/(r/1662). Let y = o + 912. Is y a composite number?
True
Let z be ((0/1)/(-3))/(-2). Suppose -3*n - 2*f + 25 = 0, z*f - 15 = -2*n - f. Suppose 0 = x - n*u - 64, u + 0 = 5. Is x a prime number?
True
Suppose -10*g + 97746 = -2824. Is g a prime number?
False
Suppose -4*k - 2 = -10. Suppose -k*o + 583 = f, -5*f + 6*o = 2*o - 2901. Is f a prime number?
False
Let c = -1351 - -940. Let n = c - -975. Let g = n + -145. Is g a prime number?
True
Let l(q) = -q**2 - 5*q + 9. Let m be l(-6). Suppose -4*o = o - m*v - 7042, 0 = -o - v + 1410. Is o a composite number?
False
Let x(d) = -2*d - 2. Let n be x(-2). Is (2 + -1)*(-716)/((-8)/n) a prime number?
True
Is 963/3*(749/21 + 2) prime?
False
Suppose 5*h - 2*q - 35 = 0, 0 = -3*h + 3*q + q + 35. Suppose 5*i - 482 = h*l + 1948, 0 = i - 2*l - 485. Is i prime?
True
Let f be 2 - (2 - 3)*1. Suppose 0*h = g - 3*h + 7, 4*h - 16 = 0. Suppose -f*z + g*y - 49 = -301, 3*z = 3*y + 258. Is z prime?
True
Suppose -2*k - 3*k = -15. Suppose -4 = -k*x + 5. Suppose x*u + 4*w = w + 579, 0 = 5*u - 4*w - 947. Is u a prime number?
True
Suppose -19*l + 92 = -41. Is l a prime number?
True
Is ((-288552)/9)/(-8) - 10/15 prime?
True
Let q(t) be the first derivative of -t**4/4 + 7*t**3 - 7*t**2/2 - 27*t + 11. Is q(20) prime?
True
Let i(x) be the first derivative of 2*x**3 - x**2/2 + 127*x + 41. Is i(0) composite?
False
Let j(k) = 7*k - 10 + 35*k - 11*k. Suppose 0 = 6*x - 2*x - 12. Is j(x) composite?
False
Suppose 7*q - 498 = -2038. Let s = q + 1611. Is s prime?
False
Suppose 163217 = 2*x + 5*y, 4*x - 326448 = 138*y - 134*y. Is x a prime number?
True
Let o = 3403 + 934. Is o a prime number?
True
Suppose -8 = 4*w - 0. Suppose 39 = h - 5*i + 2, -2*i = 3*h - 196. Is w/1 + h + -1 prime?
True
Suppose 3*g - 369 = 84. Suppose -2*h + 104 = -5*l, 2*l = 2*h + l - 104. Let o = h + g. Is o composite?
True
Let r(t) = t + 1. Let j be r(4). Suppose j*z = z. Suppose -4*v = 2*n - v - 730, 2*v + 8 = z. Is n a prime number?
False
Let x = 229 + -147. Is x a prime number?
False
Let z(u) = -4*u**3 + 6*u**2 + 6*u + 1. Let x(i) = 2*i**3 - 34*i**2 + 2*i - 38. Let l be x(17). Is z(l) a prime number?
False
Suppose -5*o + 8904 + 18711 = 0. Suppose k + o + 8002 = 5*t, 10820 = 4*t + 3*k. Is t composite?
True
Suppose -14*l + 10041 + 75961 = 0. Is l prime?
True
Suppose 988 = -4*b + 8532. Suppose -b = -4*f + 78. Is f prime?
True
Let v(h) be the first derivative of -3*h**5/40 + 5*h**4/8 - 4*h**3 + 7. Let x(o) be the third derivative of v(o). Is x(-6) a prime number?
False
Let m be (-98)/21 + 4 + (-14278)/(-6). Suppose 3*x = m + 576. Is x a prime number?
False
Let g(s) = s**2 + 1. Let t be g(3). Suppose t*p - 6*p = 2140. Is p prime?
False
Let c(w) = 122*w**2 - 3*w + 2. Let z be c(1). Let v = 64 + z. Is v prime?
False
Let z = 14686 - -4787. Is z a prime number?
False
Is 19506/(-8)*(-240)/180 prime?
True
Let d(n) be the second derivative of n**6/72 + n**5/30 + 7*n**4/24 + 5*n**3/6 + 5*n. Let a(w) be the second derivative of d(w). Is a(6) prime?
True
Let z(a) = a**3 - 12*a**2 - 6*a - 29. Let o be z(13). Suppose -2*t = -420 + o. Is t prime?
True
Let k be -3 - 27/(-12) - (-16335)/20. Suppose k - 4425 = -9*i. Is i a prime number?
True
Let p(q) = -2061*q - 5. Let u(y) = 1030*y + 3. Let a(c) = -2*p(c) - 5*u(c). Is a(-6) composite?
False
Let k(q) = 32134*q + 39. Is k(1) a prime number?
True
Suppose 16 - 1 = -5*n. Let c(d) = 11*d**3 - 4*d**2 - 6*d. Let s(l) = l**3 - l**2 - l - 1. Let a(m) = -c(m) + 4*s(m). Is a(n) composite?
False
Suppose 2*p + p + 5*b = 1434, 5*p = b + 2362. Is p prime?
False
Suppose 4*l - 2*l = 422. Let t = 360 - l. Is t composite?
False
Let i(q) = 3197*q**2 + 11*q - 23. Is i(4) a prime number?
False
Suppose p = 5*p - 5*h - 32332, 8083 = p + 4*h. Is p a prime number?
False
Let y be -4 + -1*8/36*-9. Is 0/y + 152 + (-145 - -142) prime?
True
Let j(z) = -z**3 + 7*z - 1. Let m(u) = 8*u - 1. Let d(o) = -6*j(o) + 5*m(o). Let n be d(1). Suppose 2*a = n*a - 753. Is a a prime number?
True
Let x(f) = 11*f**3 - 4*f**2 + 3*f - 7. Let t be x(6). Suppose 8*o - 3*o - t = 2*y, 2*y = 2*o - 896. Is o composite?
False
Is (12 + -1 + -10)/((-1)/(-9239)) a prime number?
True
Let o be 1*-6*5/(-15). Let k = -1440 - -2205. Suppose 4*r - n - k = -2*n, -387 = -o*r - 5*n. Is r composite?
False
Let j(t) = 8*t + 2. Let x(p) = p**2 + 10*p + 4. Let u be x(-9). Let v be (16/(-10))/(2/u). Is j(v) prime?
False
Let w = -21 + 20. Let n be (w - 4)/5 + -110. Is 20*(-2)/24*n a composite number?
True
Let z be 10/(-45) + (-40)/(-18). Let s(j) = -z*j**3 - 2 + 6*j + 10*j**2 - 4*j + j**3. Is s(8) composite?
True
Let w be (-10)/((-38)/20 + 2). Suppose -11*d + 1385 + 1112 = 0. Let k = d + w. Is k a composit