me number?
True
Is (189026/4)/((-57)/(-114)) prime?
True
Let n(d) = 21*d**2 + d - 1. Let f(j) = 44*j**2 + 2*j - 2. Let l(y) = 6*f(y) - 11*n(y). Is l(-3) prime?
True
Suppose 113*a - 35*a = 3798210. Is a a composite number?
True
Let t(a) = 3*a**2 + 11*a - 16. Let x be t(-9). Suppose -2*u - 2758 = -x. Let g = -918 - u. Is g a composite number?
False
Suppose 2950410 = -159*s + 189*s. Is s a prime number?
True
Let c = 9771 - 413. Is c prime?
False
Let t(j) = 860*j**2 + 22*j + 103. Is t(20) composite?
False
Suppose -11*n + 35 = 2. Suppose -z - 5377 = -4*b + 10612, n*b = 5*z + 11996. Is b a prime number?
False
Suppose -n - 62 = 3*z, -z - 17*n = -21*n + 25. Is ((-9296)/z - 3)/(4/12) composite?
False
Suppose -6372 = -4*c - 2*c. Let t = c + -593. Is t a composite number?
True
Let h(w) be the first derivative of -5*w**5/2 - w**4/24 + 3*w**3 - 11. Let y(s) be the third derivative of h(s). Is y(-1) a prime number?
False
Let t(l) = 2*l**2 + 17*l - 23. Let r(v) = v**2 - 12*v + 3. Let m be r(12). Suppose m*g + 36 = 4*n, -5*g - 21 + 89 = 4*n. Is t(n) a composite number?
True
Suppose -986 - 30 = -4*c. Suppose 10541 + c = 5*t. Suppose 4*o - 5*v - t = 0, o - 1626 = -2*o - 3*v. Is o a composite number?
False
Suppose 0 = 2*k + 4*z - 62172, 0 = k - 35*z + 32*z - 31061. Is 5/(-4) - k/(-16) composite?
True
Suppose 4*u - 4*n - 3 - 5 = 0, u + 22 = -5*n. Let o be (2/(-4))/(u/264). Suppose -o = -2*f + 932. Is f composite?
False
Let c(s) = 8314*s - 4417. Is c(42) composite?
True
Let c(h) = 3805*h**2 - 29*h + 269. Is c(7) a prime number?
False
Suppose 0 = 3*v + 2*v - 215. Suppose 3*z = 3, 0 = 5*n + 3*z - 5*z - v. Is 20/n + -2 - (-5659)/9 a prime number?
False
Suppose c + 3*v - 6 = 2, -v + 6 = c. Let w(f) = 7*f**3 - 9*f**2 - 6*f + 10. Let d be w(c). Suppose -y + 115 = -d. Is y prime?
False
Let m be (-70)/8*(2 + 2). Let v be 45/m + (-2)/(-7). Is (-6 - 3/v) + 890 composite?
False
Let f = 129 - 151. Is ((-9)/(-6) - 4)*f prime?
False
Let q(j) = -2*j**3 - 105*j**2 - 454*j + 716. Is q(-85) a prime number?
True
Let c(g) = 211*g**3 + 10*g**2 - 37*g + 123. Is c(8) prime?
True
Let d be -1*1*(6 - 15). Suppose 14611 = 4*r + 5*z, -2*r + 7303 = -6*z + d*z. Is r composite?
False
Let m(k) = -59*k + 14. Let r(j) = j**3 - 2*j**2 - 3*j + 3. Let u be r(-3). Let f = u + 26. Is m(f) composite?
True
Let o be (-30)/(-9) - 2/6. Let d(z) = -z**2 - 8*z - 15. Let c be d(-3). Suppose c = -u - r + 441, -16 = r + o*r. Is u prime?
False
Let f(s) = 77*s**2 + 106094. Is f(0) prime?
False
Let l = 314 + -312. Is (34021 - -1)/(-4 - l)*-3 composite?
False
Let w(q) = 14*q - 37 - 104*q - 108*q. Is w(-15) prime?
False
Let p = 29889 - 13556. Is p composite?
False
Let x(f) = 2*f**2 + 2*f. Let p be (-2)/4 - 6/4. Let w be x(p). Suppose w*a - 7796 = 3*t, 0 = -2*a + 2*t - 1171 + 5069. Is a a prime number?
True
Suppose 6 = -5*v - 4*d, 4*d - 4 = 2*v + 6*d. Suppose 0 = -c - 3, 5*c + 688 = v*y + 7*c. Is y composite?
False
Let j = -402799 + 596478. Is j composite?
False
Let p(k) = k**3 - 28*k**2 - 45*k + 29. Let b be p(35). Suppose 5*a = 14*a - b. Is a prime?
False
Let l(y) = 6*y**2 + 29*y - 13. Let a be l(-35). Suppose -i + 2239 = 4*u, 4888 + a = 5*i + 5*u. Is i a prime number?
True
Suppose 4*a = 5*r - 20, 4*a - 12 = -3*r + a. Suppose 0 = -2*v + 3*n + 7014, r*n = v - 2*v + 3529. Is v a prime number?
False
Suppose 7*i - 20517 - 14756 = 0. Is (i + 0)/((-2 - 5)/(-7)) a composite number?
False
Suppose 2*x + 2 = 0, 3*x - 8*x = -4*v + 733. Suppose -v - 288 = -5*k. Is (k/(-8))/((-8)/224) composite?
True
Let d(i) = 3233*i**2 + 3217*i + 5. Is d(7) a composite number?
True
Let u(v) = -3*v**2 + 62*v - 139. Let z be u(18). Let h = 6506 - 4320. Suppose 1349 = z*s - h. Is s prime?
False
Suppose -2*l - 61 = 3*z - 570, -3*z + 5*l = -544. Suppose -v = -6*v + 390. Let q = v + z. Is q prime?
True
Let x = 1 + 12. Let w(c) = 12*c + 29. Is w(x) a prime number?
False
Suppose 34*m + 23027 + 73737 = 0. Suppose -4*z = -4*u - 16364, -3*u + 6*u - 12 = 0. Let o = m + z. Is o a composite number?
False
Let u(g) = -g**3 + 2*g**2 + 14*g + 3. Let w be u(5). Is 15/10 - 3071/w a prime number?
False
Let z = -45 + 48. Let j be 38/(-4)*-2*11. Suppose 0 = -z*n + j + 373. Is n a composite number?
True
Let a be 4 - (-356 + -1 + -5). Suppose 5*x - 2864 = 3*h, -x + h + a = -208. Is x prime?
True
Suppose 10030006 = 95*c + 3*c. Is c a prime number?
False
Let u = 24 + -11. Let r(n) = 12*n**2 + 19*n - 17. Let l be r(u). Suppose l + 722 = 4*a. Is a prime?
False
Let z = -25 + 33. Suppose -z*i = -7000 - 31840. Is i a prime number?
False
Let j be -5 - (74376 - -4)/(-5). Let r = j + -8542. Is r prime?
True
Let c(v) = 10622*v**2 + 10*v - 38. Let a be c(5). Suppose 12*y = -10*y + a. Is y a prime number?
True
Let j(m) = 81397*m**2 + 91*m - 199. Is j(2) composite?
False
Let k be 8829/(-2) - (-15)/(-30). Let f = -2634 - k. Is f a composite number?
True
Suppose -4*l - 73 = -g + 4*g, l + 4 = 0. Let n(b) = b**3 + 23*b**2 + 3*b - 26. Let q be n(g). Suppose -c + 5 = 0, -2*z + q = 5*c - 2226. Is z a prime number?
False
Let g(b) be the second derivative of -147*b**5/10 - b**4/6 + b**3/6 + b**2 - 7*b. Suppose 7*z - 4*z - 12 = -3*l, 0 = -4*l - 2*z + 6. Is g(l) a prime number?
True
Let a(i) = -113*i - 11. Let c be a(-6). Let w be (-2 - -4)*c/2. Let s = w + -404. Is s a prime number?
True
Let q(m) = m**2 + 4*m + 2. Let n be q(-1). Is (n + 16)*(-434)/(-70) prime?
False
Suppose -2*x + 4*b + 1047 = x, 12 = 4*b. Let k = x - 102. Suppose 0*g = g - k. Is g composite?
False
Let s be (-120)/50 + (-2)/(-5). Let f be 8/6*(s - 33/(-12)). Is (2 - f)*(-4597)/(0 - 1) a prime number?
True
Is 2/(-8) + 45810450/168 a prime number?
False
Let b(q) = -2*q**2 + 12*q + 16. Let w be b(7). Suppose -w*t - 5*x + 1429 = 0, 673 = 5*t - 3*x - 2915. Is t a composite number?
True
Suppose 4*p - 40128 = 14*w - 18*w, -5*p + 5*w + 50170 = 0. Is p a prime number?
False
Is (30/12)/(8 + 15449495/(-1931190)) prime?
False
Suppose 5*p = -w + 79, p - 7*w + 8*w - 19 = 0. Suppose -4*b - j = -19167, -4*b + p*j - 19*j + 19176 = 0. Is b composite?
True
Let f = 7108 + -113. Let t = 6168 + f. Is t composite?
False
Suppose -2*w = w + t - 78841, 6*w - 4*t - 157658 = 0. Is w prime?
False
Suppose 5499 = 7*s - 6*s - 4*k, 16497 = 3*s - 3*k. Suppose -108*q + s = -99*q. Is q a prime number?
False
Let r = 85 - 87. Let b(v) = -2065*v**3 - v**2 + 2*v + 7. Is b(r) a composite number?
False
Let k(z) = z**2 + 12*z + 22. Let f be k(-10). Suppose -5*i = -f*i. Suppose 3*n - 3*p - 3258 = i, -5*p + 189 = 3*n - 3077. Is n composite?
False
Let c(u) = 1974*u**3 - u**2 - 4*u + 4. Suppose 162*r - 167*r = -5. Is c(r) prime?
True
Suppose -3*d + 2*v - v = -5, 5*v = -3*d + 29. Suppose 5*b + 7*k - 1990 = 2*k, -d*b + 1196 = 5*k. Is -2 + -2 + (b - 4) composite?
False
Let y(w) = 294*w - 91. Let s be y(-6). Let f = s - -4554. Is f prime?
True
Suppose 4*b = b + n + 543, 3*n = b - 181. Suppose 1 = 7*x - b. Suppose -3*i + x = d - 6*i, 6 = -d - 5*i. Is d a prime number?
False
Suppose -5*a + 20 = -70. Suppose -3*p + 19 = -3*b + 4, 0 = -4*p + 2*b + a. Suppose -3*y + 2*y - 5*i + 939 = 0, -4*y + 3852 = -p*i. Is y a composite number?
True
Suppose -3*w = 4*o - 376069, 0 = 2*w - 3*o + 45254 - 295978. Is w composite?
True
Let s be (3/9)/((-2)/42). Let b(p) = -p**3 - 9*p**2 - 4*p + 24. Let m be b(s). Let l = -43 - m. Is l prime?
True
Suppose -2*b - 5*z = -547591, -5*b - 72*z + 1368838 = -75*z. Is b a composite number?
False
Suppose l + 4*s = -1 + 5, -4*l = -5*s - 79. Suppose 12*d - h + 1889 = l*d, 2*d = h + 937. Is d a composite number?
True
Suppose -4*w = -2*f + 18, -3*f + w - 5*w = 3. Suppose v - 2063 = -f*l + 377, 5*l + 4*v - 4076 = 0. Let d = l + 711. Is d prime?
True
Let a(t) = 6164*t**2 + 83*t - 236. Is a(3) a prime number?
False
Let s = 2 + -2. Let f(o) be the third derivative of -o**5/60 + o**4/8 + 265*o**3/6 - 1392*o**2 + 2. Is f(s) a prime number?
False
Let p be (-236)/2*(-102)/68. Let j = -142 + p. Is j a prime number?
False
Let l(a) be the second derivative of 16*a**4/3 - 4*a**3/3 + 17*a**2/2 - 4*a - 2. Is l(-8) a composite number?
False
Suppose -4 = 36*p - 37*p, 2*m + 2*p - 71518 = 0. Is m composite?
True
Let v(d) be the third derivative of 16721*d**5/60 + 5*d**4/2 + 10*d**3 - 175*d**2. Is v(-1) composite?
True
Let o = 6349235 - 2874342. Is o a prime number?
True
Let 