4) + -1)*4 prime?
True
Let y = 3633 + 1439. Let c = 7891 - y. Is c prime?
True
Let l(r) = 4*r**2 - 2. Let o(z) be the first derivative of z**2 + 12*z + 7. Let n be o(-9). Is l(n) a composite number?
True
Let d(z) = -z**2 + 7*z - 7. Let h be d(5). Suppose 0 = k + h, 0*q - 4*k - 64 = -2*q. Suppose -i - q = -171. Is i prime?
False
Suppose -8*r - 4*z = -4*r - 308772, -3*z + 6 = 0. Is r a prime number?
True
Suppose -12*o - 5941 + 38353 = 0. Is o a prime number?
False
Let x(r) = -2*r**2 + 19*r - 11. Let d be x(9). Is d*(-4)/(16/514) a prime number?
True
Let s = -1627 - -3098. Is s prime?
True
Suppose 17*l - 16874 - 23229 = 0. Is l prime?
False
Let o = 3860 - 1847. Suppose 3*m = 90 + o. Is m prime?
True
Is (-18)/(-3)*(-3039)/(-6) composite?
True
Let o(x) = 16*x**2 - 3. Let h be 8 + (2 - (2 + -2)). Is o(h) a composite number?
False
Let j(z) = 127*z + 45*z - 1 + 5 - 47*z. Is j(3) a prime number?
True
Suppose 7 = 7*o - 3*o + 3*c, o - 5*c - 19 = 0. Suppose 6 = -4*z + z, o*l + 3*z = -258. Let v = l + 128. Is v composite?
True
Let i(w) = 3*w - 14. Let b be i(7). Suppose -b = 4*c + 1. Is 8/c - (-62 - 1) a prime number?
True
Let s = -32 - -34. Suppose 262 = k + 5*h, -h + 0*h + 569 = s*k. Is k a composite number?
True
Let g(w) be the first derivative of -3 - 49/2*w**2 - 9*w. Is g(-14) prime?
True
Let d be ((-46)/8 + 5)*(-60)/9. Let t(g) = 90*g**2 - 13. Is t(d) prime?
True
Let j(c) = c**2 + 23*c - 76. Let o be j(-26). Suppose -1 = -4*t + 19, o*q + 4*t = 432. Is q composite?
True
Suppose 6*g = 69*g - 5800221. Is g composite?
True
Suppose -4*r + 9 = 4*z + 305, -370 = 5*z - 5*r. Suppose 612 = -3*t + 7*t. Let y = z + t. Is y prime?
True
Let t(b) = 11*b**2 + 3 + 30 - b + 3*b**3 - 5*b**3. Is t(-9) a prime number?
False
Let z(y) = y**3 - 15*y**2 + 7*y + 1. Let h be z(15). Suppose 0 = 8*o - 26 + h. Is (4/6)/(o/(-345)) a prime number?
True
Suppose 2*t + 3*j - 137641 = 0, -t + 4*j = -0*j - 68793. Is t a composite number?
False
Suppose -775 - 7556 = -3*f. Is f composite?
False
Suppose -f - f + 4 = 0. Suppose u + 3*h = -847, -f*h + 5*h - 3373 = 4*u. Is 2/(1680/u - -2) composite?
False
Let s(i) be the third derivative of 3*i**4/4 + i**3/6 - 5*i**2. Let m be s(3). Suppose -4*q + 3*p + 233 = 0, m = q - 0*q - 4*p. Is q composite?
False
Let o = -2375 + 4570. Is o a prime number?
False
Let b be 5/(-15) + (-13)/(-3) - -1. Suppose -3*r + 2*w + 8493 = 5*w, -b*r - w = -14163. Is r a prime number?
True
Let f = 3779 + -990. Is f a composite number?
False
Let v = 1 + -1. Let q(x) = -2*x + 222 - 34 + 287 - 29 + x**2. Is q(v) composite?
True
Let v be (30/(-8))/((-6)/16). Suppose -8 - v = l - 4*g, 0 = 2*l - 4*g + 16. Suppose 0*i = -5*i - y + 346, 0 = 5*i - l*y - 343. Is i composite?
True
Let w(o) = -550*o - 21. Is w(-4) prime?
True
Suppose r + 4*a - 7 = 3*a, 2*a - 8 = 0. Suppose r*w + 2*w = 1930. Suppose 0 = t - 4*y - 393, -5*y + 43 = t - w. Is t a composite number?
False
Suppose -g + 4 = g. Let m(z) = 2325*z - 70. Let o(l) = 166*l - 5. Let f(k) = 4*m(k) - 55*o(k). Is f(g) a composite number?
True
Suppose 5215 = 2*n + 3*x, 0 = -3*n - 5*x + 7*x + 7829. Is n a composite number?
False
Let u(k) = -4*k. Let j be u(-1). Is (21/(-5))/(j/(-20)) + 1 a composite number?
True
Let p = -17 - -19. Suppose 5*d - p*d - 879 = 0. Is d a composite number?
False
Suppose b + 61 = a, -5*a + 385 = -4*b + 75. Suppose -f = -5, f - 327 = -4*m + a. Let z = m + 156. Is z a composite number?
True
Suppose 2*t - 7*t - 4*z = 10, 0 = 4*z + 20. Suppose d = -t*d. Is (d + -3)*(-861)/9 prime?
False
Let u = 8 - 5. Suppose -2*y - 5 = -x, u*x = 3*y + 8*x - 25. Suppose y*w = -2*w + 38. Is w a composite number?
False
Is 3/1*(-337650)/(-90) a prime number?
False
Let h = 12 - 10. Suppose 8*g = h*z + 3*g - 229, 4*z - 4*g = 428. Suppose -3*m = -m - z. Is m a composite number?
True
Let j(v) = 10*v**2 - 3*v + 3. Let f be j(-6). Let g = 938 - f. Is g a prime number?
True
Let f = 138520 - 86046. Is f a prime number?
False
Let o = 1582 - 415. Is o composite?
True
Let j(d) = 3*d**3 - 27*d**2 + 13*d + 15. Let i(w) = -w**3 + 14*w**2 - 7*w - 7. Let f(r) = -5*i(r) - 2*j(r). Is f(-18) a prime number?
True
Let x(h) = 0*h + 3 + 2*h**2 - 2 - 6*h + 0. Let s be (14/6)/((-1)/3). Is x(s) a composite number?
True
Suppose 0*t = 2*t - 14. Let u(j) = 20*j**2 - 29*j - 10. Is u(t) a composite number?
True
Suppose 0 = 4*k + 3*l - 162830, -6*k - 4*l + 162828 = -2*k. Is k composite?
False
Let s = 10978 - -15781. Is s a composite number?
False
Let s = -55 - -27. Let t = s + 86. Suppose 2*u = -9*w + 4*w + t, 5*w - 96 = -4*u. Is u prime?
True
Suppose s + 5 = 5*s - 5*t, -3*s = 3*t - 24. Suppose 2*n - 6 = 0, -n - 156 = -s*q - 3*n. Suppose 22 = 4*g - q. Is g a prime number?
True
Suppose 4*c - 312 = -4*z, 3*z = -0*c - c + 78. Suppose 210 + c = 4*t. Let w = t - -191. Is w prime?
True
Let v = 7162 + -4829. Is v composite?
False
Let p be (120/50)/((-6)/20). Let a = p + 2. Let u(h) = -22*h - 9. Is u(a) prime?
False
Let i(z) = 14*z**2 - 1. Let h be (3/(-6))/(4/8). Let p = h + 0. Is i(p) composite?
False
Suppose 299 + 5279 = 2*r. Is r a composite number?
False
Let k(a) = 4*a**2 + a + 1. Let i be k(2). Suppose i + 2 = h. Is ((-472)/12)/((-2)/h) prime?
False
Let q be (-1 - (-140)/18) + 64/288. Let p = 475 + -257. Let s = p - q. Is s composite?
False
Suppose 5*x + 0 = 4*i + 12, -5*i + x + 6 = 0. Is 2307/(7/21 - i/(-3)) composite?
True
Let s = 7630 + -3981. Is s composite?
True
Let n = -57 + 62. Is 998/6*9/(n + -2) a composite number?
False
Suppose 0*y = 3*y + 5*g + 8, -5*y = 4*g + 9. Let w(m) = 105*m**2 + 1. Let p be w(y). Suppose 2*h + 0*h = p. Is h composite?
False
Suppose -819 = 2*u - 5*t + 67, -8 = 2*t. Let j = 368 - u. Is j prime?
True
Suppose 0*i - 4*h - 6534 = -2*i, 3*i - 9803 = 5*h. Is i a composite number?
False
Suppose 5*c + 4*v = 63885, -5*v - 12806 = c - 2*c. Is c prime?
True
Let n be ((-80)/(-60))/((-2)/(-3)). Suppose n*q + 12 = 6*q. Suppose 0 = 3*t - 4*v - 219, 3*v = -q*t - t + 267. Is t a composite number?
True
Suppose -66392 = -5*y + 2*q + 110593, 0 = y - 3*q - 35410. Is y a prime number?
False
Suppose 2*x + 5*q - 219 - 255 = 0, -5*x = -q - 1185. Suppose 4*l + x = 7*l. Is l composite?
False
Suppose -4*g + 6*g = -3*i, 5*g + 2*i - 11 = 0. Suppose -t - 2*x + 199 = 0, -2*x + x + 622 = g*t. Is t a prime number?
False
Let g be 6/(-4)*83/(-6)*20. Suppose 0 = 6*i - 1607 - g. Is i a prime number?
True
Let a(c) = 8*c + 27. Is a(28) composite?
False
Suppose 2*u + 161 = n, -2*n = 5*u - 0*u + 407. Let r = u + 286. Is r composite?
True
Let v be 10/45 + 2/(-9). Let y(x) = -1 + 52*x**2 - 51*x**2 - x + v*x. Is y(-11) a prime number?
True
Let a be (-6 + 3)/(2/(-30)). Let l(t) = -71*t + 1 + 6*t - a*t. Is l(-2) composite?
True
Let i be 256 - -1 - (-7 - -10). Let t be 2/((8/(-86))/(-2)). Suppose 0 = -k + i - t. Is k composite?
False
Suppose 2*n + 6483 = 5*d - 2*n, 2*d = -n + 2588. Suppose 0 = -5*i - 465 + d. Is i a composite number?
True
Let m(l) = 1187*l - 124. Is m(9) prime?
True
Suppose -4*k = -5*l + 3365, -5*l = -l + 4*k - 2656. Let a = -298 + l. Is a a prime number?
False
Let m = -859 + 343. Let l = 473 - m. Is l prime?
False
Suppose -h - p = 3*p - 2341, -3*h + 2*p = -7093. Suppose 955 + h = 4*a + 4*l, 2487 = 3*a - 4*l. Is a a composite number?
False
Let k(r) = -63*r - 9. Let z(q) = q - 1. Let i(y) = 3*k(y) - 24*z(y). Let d be i(-1). Suppose 4*c - b = 3516, -2*c + 1548 = 3*b - d. Is c a composite number?
True
Let n(j) = 5*j + 60. Let t be n(-12). Suppose -2*i = h - 759, t = 9*i - 11*i + 4*h + 774. Is i a composite number?
True
Let x = 833 - 279. Is x prime?
False
Suppose 0 = -0*d - d + 3*a - 19, -4*d - 24 = a. Is 2/14 - 12606/d a composite number?
False
Suppose 4*g - 8 = -4. Let p be (g + 0)*(-545 - -4). Let t = -350 - p. Is t composite?
False
Let f(x) = 18042*x + 11. Is f(1) prime?
False
Suppose -4*o + 402 = 2*g, o = 6*g - 2*g - 759. Is g a composite number?
False
Let w(r) = 324*r + 465. Is w(22) a composite number?
True
Suppose 3*w - p = 8, 3*w + 2*p + 0 = 2. Suppose 17 = t + r, w*t - r - 8 = 11. Suppose 2*x - 306 - t = 0. Is x a composite number?
True
Suppose -4*a - 3*p + 33356 = p, p = 0. Is a a composite number?
True
Let d = -66 - -121. Let j = 352 + d. Is j prime?
False
Suppose 4*l - j = -3*j + 2008, -l + 4*j = -502. Is l a composite number?
True
Let z(w) = -w - 3