umber?
False
Let n(u) = 43*u**2 + 4*u - 6. Is n(3) prime?
False
Suppose 0 = -2*u + 2*a - 4, 0 = -2*u - 2*a + a - 19. Let t = 11 + u. Suppose 2*r = 4*n + 50, 6 = 3*r + t*n - 19. Is r a prime number?
False
Let c be (-21)/(-2)*8/(-6). Is (0 + 11)/((-2)/c) a composite number?
True
Let v = -84 + 202. Is v a composite number?
True
Suppose 0 = -5*r, 725 = 4*t - 3*r - 2247. Is t a prime number?
True
Suppose -n - 43 = 28. Is (-2)/4 - n/2 a composite number?
True
Let m(k) = k + 3. Let c be m(0). Suppose 447 = c*y - 0*y. Is y a composite number?
False
Let n = 1 + 2. Suppose -2*y + 3*y = -n. Is 0 - (-12 - (-3)/y) composite?
False
Is ((-1)/(-2))/((-35670)/(-8916) - 4) composite?
False
Let t(m) = 71*m**2 - 6*m - 10. Is t(-5) composite?
True
Suppose 14*t - 1825 = -271. Is t a composite number?
True
Suppose 0 = 2*w + 2*y - 1112, -w = -y - 388 - 158. Is w prime?
False
Suppose 3*l - 5*l - 1072 = -2*a, 0 = 3*a + 4*l - 1643. Is a a composite number?
False
Let l = 7 - -2. Let o(g) = 37*g + 4. Is o(l) composite?
False
Let o be (6/(-4))/3*-158. Suppose 0*j + 5*x - o = -j, -j = 4*x - 79. Is j a composite number?
False
Suppose -2*i + 270 = -764. Is i composite?
True
Suppose 4*i - 269 = -57. Let m = -444 + 748. Suppose z - i = -2*f, m = 5*z - 5*f + 2*f. Is z prime?
True
Let n be (2/4)/(4/(-224)). Let h = n - -47. Is h composite?
False
Is ((-3)/(-6)*-758)/(-1) prime?
True
Let c(f) = 1 + f - 5*f**2 - 2 + 3*f**2 + 7*f**2. Let v be c(1). Is 2*(375/6)/v a prime number?
False
Is ((2454/(-4))/(-3))/(-1)*-2 prime?
True
Suppose 2*z = 4*z - 58. Suppose -3 = b - 0*b + 2*r, 9 = -3*r. Suppose -b*u + 28 + z = 0. Is u prime?
True
Let j = -306 + 601. Is j a prime number?
False
Let s = -48 + 346. Is s prime?
False
Let q = 12 - 3. Is (-3)/q - (-202)/3 a prime number?
True
Let r(n) be the third derivative of 11*n**5/30 - n**4/12 - n**3/6 - 4*n**2. Is r(2) a composite number?
False
Suppose -4*f = 3*l + 87, 3*l - l + 2 = 0. Let k = -35 - f. Is (-1 + k/(-4))*86 composite?
True
Let h = -1 - -3. Let z(p) = 152*p**2 + 3. Is z(h) prime?
False
Let q be (-2)/3*1413/(-2). Suppose 0 = 4*k + b - 760, 4*k = 3*b + 305 + q. Is k prime?
True
Suppose 2*x = 4*d + 14, -3*x + 5*d = -18 - 1. Let j(k) = -5*k + 2*k**2 - k**2 + 0*k**2 - x. Is j(-4) prime?
False
Suppose -4*d = -7*d + 1344. Suppose -5*g + 2*l - d = 5*l, -g + 5*l = 84. Let a = g - -126. Is a a prime number?
True
Let c be (2712/(-18))/((-2)/6). Let p = -195 + c. Is p prime?
True
Suppose -3*b + 4*b - 477 = 0. Suppose 5*o - b = -62. Is o a prime number?
True
Is (-2331)/(-6) - 2/(-4) composite?
False
Let m = 29 + -21. Suppose -m*j + 10*j = 586. Is j composite?
False
Let z = -1 - -5. Suppose g - 115 = -z*g. Is g prime?
True
Let b(s) = 2*s**3 - s**2 - 4*s + 3. Let k be b(3). Let u be 8/k + (-47)/9. Is 2/(1 + u)*-130 a composite number?
True
Let y = 564 - 313. Is y composite?
False
Suppose 0 = -4*f + f + 5127. Is f prime?
True
Let s(x) = 5*x**2 + 4*x - 2. Suppose -2*f - 2*f + 12 = 0. Is s(f) a composite number?
True
Suppose 4*g - 337 = 507. Is g composite?
False
Let l(m) be the first derivative of -m**4/4 + m**3 + m**2 + 4*m + 1. Let v be l(4). Is ((-53)/(-2))/((-2)/v) prime?
True
Let q be (-23)/(-5) - 6/(-15). Suppose -18 - 56 = -q*t + n, 2*t + 5*n = 8. Is t a composite number?
True
Let a(j) = 3*j**3 - 7*j**2 + 19*j - 5. Is a(6) a composite number?
True
Let i(v) = -12*v - 5. Suppose 0 = 4*p + h + 21, h = 2*p - h + 18. Is i(p) a composite number?
False
Let w(y) = -18 - 9*y + 3*y - 2*y - 15*y. Is w(-7) a composite number?
True
Suppose 0*l = -5*l - 60. Is l/(-18) + (-110)/(-6) a composite number?
False
Let f(u) = u**2 - 1. Let l be f(-2). Suppose 0 = -l*r - 156 + 423. Is r composite?
False
Let p(a) = -a**3 - 13*a**2 + 13*a - 12. Let v be p(-14). Suppose -121 - 49 = -v*u. Is u a prime number?
False
Suppose 3*w = -k + 14, k - 4*w + 10 = -w. Suppose -6 + 2 = -4*x + 2*l, -l = -5*x + k. Suppose -4*y + 200 + 12 = x. Is y a prime number?
True
Suppose -2*r + 7*r + 1165 = 0. Is (-1)/(-1) - 2*r a composite number?
False
Suppose 0 = -0*d - 3*d + 30699. Is (2/(-6))/((-9)/d) prime?
True
Let a(k) = 18*k**2 + 10*k - 21. Is a(-9) a composite number?
True
Let j(d) = d - 18. Let b be j(9). Let t(q) = q**3 + 10*q**2 + 5*q + 5. Let g be t(b). Suppose 0 = 3*c + 3*p - p - 179, -c = -4*p - g. Is c prime?
False
Let k = 131 + -200. Let b = 116 + k. Is b prime?
True
Let z = 116 + -43. Suppose 2*j = -11 + z. Is j composite?
False
Suppose 5*d = 2*d + 231. Let h = d - -10. Is h a prime number?
False
Let t(o) = o**3 + 9*o**2 + 5*o - 2. Let i(y) = y**3 - y. Let h be i(-2). Let d be t(h). Suppose -d + 358 = 3*x + 3*s, 257 = 3*x - 2*s. Is x composite?
False
Let i(p) = 4*p - 6*p**2 + 4*p**2 + 3*p**2 + 0 - 1. Is i(-10) prime?
True
Let y be (3 + 0 + -15)/(-1). Is (-778)/(-8) + (-3)/y composite?
False
Let o = 9 - 5. Suppose -20 = -o*p + 120. Is p a prime number?
False
Suppose -4*n = 136 - 500. Is n a composite number?
True
Suppose -7148 = -6*b - 1610. Is b prime?
False
Suppose -6 = 3*x + 6. Is ((-2)/x)/(1/94) a composite number?
False
Let c(z) be the second derivative of -z**3/6 + z**2/2 + 2*z. Let d = 0 - 3. Is c(d) prime?
False
Let x(l) = -l**2 + 1. Let j be x(1). Suppose 0 = -j*n - n + 39. Is n a composite number?
True
Suppose j + v - 122 - 132 = 0, 2*j = 5*v + 543. Is j composite?
True
Let c(r) = -2*r**3 - 9*r**2 + 3*r - 1. Let d be c(-9). Let y = d + -444. Is y composite?
False
Let w = 184 - 105. Is w a composite number?
False
Suppose -3*f = -z + 3, f + 3*z + 3 - 2 = 0. Let g(m) = -1 + m**2 + 7*m**2 + 0*m**2. Is g(f) a prime number?
True
Let y(h) = 5*h**2 - 9*h + 4. Let s be y(8). Suppose -4*f + 3*j + 45 = 11, 5*f - j - 37 = 0. Suppose 4*i = m + f*i - 124, s = 2*m + 2*i. Is m a prime number?
True
Let w(u) = 142*u - 1. Let t be w(1). Suppose -5*l + t = -2*l. Suppose -4*z + 13 = -l. Is z composite?
True
Let p(i) = -22*i + 2. Let u = -3 + 4. Let g = u - 3. Is p(g) composite?
True
Let k be 36/(-8)*(-2)/3. Suppose q + k - 5 = 0. Suppose -q*p - 42 = -v - p, -5*v - 5*p = -160. Is v a prime number?
True
Let w(s) = -s**3 - 8*s**2 - 7*s - 1. Let o(c) = -7*c**2. Let b be o(1). Let g be w(b). Is (1 + g*95)*-1 a prime number?
False
Let u(g) = g**2 - 7*g - 2. Suppose -6*s + 35 = -s. Let a be u(s). Is (-1)/a*1*134 a prime number?
True
Suppose -4*z + 18 = 5*x, 3*x + x = -3*z + 14. Suppose -15 = -y - z. Suppose -3*k + 55 = -2*g, -2*g - y = k - 42. Is k a composite number?
True
Suppose -i = i - 10. Let n = i - -110. Is (5 - 4)/(1/n) prime?
False
Suppose 3*r - 1585 - 3464 = 0. Is 16/40 + r/5 composite?
False
Suppose 289 + 487 = 4*u. Is 3/(-1) + u/2 composite?
True
Is (-3)/(-1)*(-632)/(-8) prime?
False
Suppose 9*l = -l + 4030. Is l a prime number?
False
Let v be (22/1)/(4/(-6)). Let o = 61 - v. Is o prime?
False
Suppose 11 = -c + 63. Let z(j) = j**2 + 6*j + 5. Let x be z(-6). Suppose 0 = x*b - b - c. Is b prime?
True
Let l be 2 + (-85 - 3)*-1. Let n = l - -161. Is n composite?
False
Suppose -356 = -2*d - 0*d. Suppose -x - d = x. Let i = -52 - x. Is i a composite number?
False
Let u(h) = -2 + 0*h**2 - 6*h - 2*h + h**2. Let d = -3 - -12. Is u(d) composite?
False
Suppose -4*x + 2*g - 3*g + 95 = 0, -2*x = g - 49. Let y = -2 + x. Is y a prime number?
False
Let i(o) = 182*o**2 + o. Let z be i(-1). Suppose 3*w = z - 22. Is w a composite number?
False
Let z(d) = -d**3 + 4*d**2 - 4*d + 3. Let u be z(2). Suppose -5*k - 121 = -3*j, 6*k - u*k = 5*j - 63. Let t = k - -115. Is t a prime number?
True
Suppose 0*q - 40 = -5*q. Is (-2)/q*(-263 + -5) a prime number?
True
Suppose 5*t - 2*i = 32, 2*t - 2*i = -7*i + 7. Is 4/2 + 1290/t composite?
True
Let h = -23 - -46. Is h prime?
True
Let s be ((-1564)/(-14) - -1) + 10/35. Let j = 818 - 366. Suppose p + 3*y - 7*y = s, -4*p + 5*y = -j. Is p a composite number?
False
Suppose -c - 3*a = a - 187, -5*c + 950 = 5*a. Is c a prime number?
True
Suppose -5*y + 3710 = 5*g, -2*y - 2224 = -3*g - 4*y. Suppose -3*x - 456 = i + 110, 4*x + g = -5*i. Let r = 105 - x. Is r composite?
True
Let q = 161 + -34. Is q a prime number?
True
Let p be 1/7 + (-189)/(-49). Suppose k - 475 = -0*k - x, -1880 = -p*k + x. Is k prime?
False
Let g = -257 + 468. Let n = 399 - g. Suppose 4*b - n = -64. Is b composite?
False
Suppose -3*k + 392 - 125 = 0. Suppose 6 = -n + k. Is n a prime number?
True
Suppose 0 = 