 2*u, -3*u = -2*f - 0*u + 669. Let k = -579 - -398. Let c = f + k. Is c a prime number?
False
Let z(h) = 2*h**2 + 43*h + 13. Is z(16) prime?
True
Let m(h) = 7*h + 44. Let o be m(12). Let s = o + 579. Is s composite?
True
Let y be 2/(-6) + 2/(-3). Suppose -1168 = 4*x - 2*h, 9 = 5*h + 29. Is (x - y)/(-6 + 5) a prime number?
True
Suppose 2*d + 10 = 3*y, -5*y - 4*d + 5*d + 5 = 0. Suppose -4*b = -m - 0*b + 321, y = b + 1. Is m a prime number?
True
Let g be 8/(-32) + (-85)/(-4). Let y = g + -16. Suppose y*p = -4*b + 243, 4*b = -0*p - p + 55. Is p prime?
True
Let h be 0/((-6)/2) + 92. Suppose 3*d - 1459 - h = 0. Is d composite?
True
Suppose -x - 2*x - 3*m + 2007 = 0, 0 = 3*x + 4*m - 2011. Suppose -b - 235 = 4*j, 5*b + 4*j = 552 - 1759. Let t = b + x. Is t a composite number?
True
Let v(o) = 63*o + 1 - 3 + 1. Let x be v(2). Suppose -x = -5*f + 170. Is f prime?
True
Let v(i) = 6*i - 13*i**2 + i**3 - 10*i + i + 11 + 7*i. Let q be v(12). Let f = 626 + q. Is f a composite number?
False
Let f(h) = 91*h - 12. Let x be (-324)/(-21) - 3/7. Let s be (-9)/6*(-50)/x. Is f(s) prime?
True
Suppose f - 1686 = 2*i - 0*i, 5*i - 8490 = -5*f. Let m = f - 617. Is m a prime number?
False
Suppose -f = f + 448. Suppose x = 63 + 367. Let s = f + x. Is s a prime number?
False
Suppose -8*v = -5*v - 27. Let p(q) = 1 + v*q**2 + 9 - 2*q**2. Is p(7) prime?
True
Suppose -2*r - q = -18, -2*q = -2*r - r + 41. Let n = 10 + r. Is n a composite number?
True
Suppose -6 = -3*x + 2*x. Suppose x = -2*j + 4*j. Suppose j*p - 713 = -152. Is p composite?
True
Let v(k) = -k**3 + 3*k**2 - 6*k + 6. Let f be v(4). Let d = -171 - f. Let q = 346 + d. Is q a composite number?
True
Is ((-3)/9)/(5/(-115365)) composite?
False
Let q(v) = -4*v**2 + 42. Let o be q(13). Is (-16)/(-12)*-3*o/8 a prime number?
True
Let h(n) = 11*n**3 - 2*n**2 + 4*n - 3. Let c(z) = 2*z + 2. Let p be c(0). Is h(p) a prime number?
False
Let l be (1 + 1)/(6/(-153)). Let s be 8/20 + l/15. Is (-2 - s)/1*34 a prime number?
False
Let g = 2852 + -1338. Is g composite?
True
Suppose -18*b = 13*b - 101711. Is b composite?
True
Let t(m) = 7843*m - 16. Let a be t(3). Suppose a = -2*f + 9*f. Is f a prime number?
True
Let v(u) = 5*u**2 + 6*u + 5. Is v(12) prime?
True
Let y(b) = b**3 - 6*b**2 - 5*b + 6. Let i(l) = -2*l**3 + 5*l**2 + 4*l - 5. Let z(n) = -6*i(n) - 5*y(n). Let c be z(1). Is (1*-2)/(c/(-668)) prime?
True
Suppose -2*l = 2*h - 2817 - 991, 5*h - 9525 = -4*l. Is h composite?
True
Let c be (3 + 14/(-4))*-4. Suppose -c*v - v = 9. Let z(n) = -42*n + 5. Is z(v) a prime number?
True
Let a be (-4)/8*(2 - 16). Suppose j - q + 4 = -0*q, 2*j - 3*q = -a. Let b(z) = -z**3 - z**2 + 3*z - 3. Is b(j) a prime number?
False
Let v(h) = 47*h**3 + 2*h**2 - 28*h - 30. Is v(11) a composite number?
True
Let r(p) = -2*p**3 - 22*p**2 + 2*p + 3. Let f be r(-9). Let x = 968 + f. Is x prime?
False
Let w(m) = 2*m + 6. Let s be w(-3). Suppose s*h + 4*h = 5*y + 983, 4*h - 989 = -y. Is h composite?
True
Suppose -3 - 29 = -8*l. Suppose l*i - 5*i = -974. Is i a composite number?
True
Is (-1)/(7 + 2910/(-415)) a composite number?
False
Suppose -44 = 5*n + 2*t, t + 2*t - 29 = 2*n. Let j(s) = -219*s - 11. Is j(n) composite?
False
Let p(b) = 68*b**2 - 17*b - 62. Is p(-9) composite?
True
Let y(b) = -11*b - 199. Is y(-20) composite?
True
Suppose -46*t = -31*t - 465. Is t prime?
True
Let t be (3 - 5)/((-2)/4). Let h be ((-1)/(-1))/(1/2). Suppose -2*v - 7 - 62 = -5*p, h*p = t*v + 18. Is p a prime number?
False
Let s(w) = -14*w + 1 + 28*w - 3 - 13*w + 4*w**2. Is s(-3) composite?
False
Suppose 20*r - 21*r = -4. Suppose 2*j + 2 = -5*b, 0 = 3*j + 4 - 1. Suppose -r*x + 2193 - 409 = b. Is x composite?
True
Suppose -2*l - 51700 = -5*i - 14641, -6 = 3*l. Is i composite?
False
Suppose 5*d - f - 66090 = 0, 44*d = 45*d + 4*f - 13197. Is d a prime number?
True
Let x(q) = -2*q + 14. Let t(r) = -4*r + 28. Let h(g) = 3*t(g) - 5*x(g). Let s be h(7). Suppose -l + 2 = 0, s = -2*m + 2*l + 131 + 395. Is m a composite number?
True
Let k = -652 - -1277. Let m = k + 156. Is m a composite number?
True
Let t be (1508/(-16))/(-13) + 1/(-4). Suppose -t*o + 2*o + 5*h = -1345, -4 = h. Is o prime?
False
Suppose -14*j = -18*j - 12. Is (-3)/(-3) - (j/(-1) + -163) a prime number?
False
Let c = 14 - 30. Is (-3382)/c - (-21)/(-56) a prime number?
True
Let y be 4/(-6) + (661952/6)/8. Suppose 18*d = 4*d + y. Is d composite?
True
Suppose 2*l - 1960 = -3*l. Suppose o - 464 + 122 = 5*q, o = -5*q + l. Is o prime?
True
Let z(u) be the second derivative of 8*u**4/3 + 7*u**3/6 + u**2/2 - 36*u. Is z(4) a prime number?
True
Let x be ((-116)/8 - -2)/((-4)/152). Let h = 1 + -1. Suppose 0 = -3*v - l - h*l + 269, -5*v = -5*l - x. Is v a prime number?
False
Suppose d + 4*m = 3035 + 322, 2*d + m - 6679 = 0. Is d composite?
True
Suppose -4*a + 9666 = 5*v, -5*v - 4057 = -3*a - 13730. Is v a prime number?
False
Let c(u) = 4*u - 5. Let l(k) = 2*k**2 + 3*k. Let t be l(-2). Let s be c(t). Suppose 2*d + 0*d - 2*j = 392, -558 = -s*d - 3*j. Is d a prime number?
True
Suppose 0 = 20*q - 50884 - 111976. Is q a composite number?
True
Suppose 0 = 22*b + 37*b - 2805391. Is b composite?
True
Suppose 0*r + 10953 = 9*r. Is r a prime number?
True
Suppose -3*i + 5*i = 4. Let w be (76/(-3))/(i/45). Let y = -335 - w. Is y composite?
True
Let u be (-4)/(-22) - (-1308)/66. Suppose -6 = 18*w - u*w. Suppose 3*h - 359 = -7*f + 3*f, 265 = w*f - 2*h. Is f a prime number?
True
Let g(z) = -z**3 + 8*z**2 + 8*z + 8. Let b be (-1 - -2 - 11)/(-2 - -4). Is g(b) composite?
False
Let i be 8 + 36/(-8) + (-2)/4. Suppose -3*x + 20391 = 2*f, -27188 = i*x - 7*x + f. Is x prime?
False
Let g(l) = 4*l**2 + 5*l + 6. Let s(q) = q**2 + 6*q - 2. Let i be s(-3). Let f(k) = k + 16. Let j be f(i). Is g(j) a composite number?
False
Suppose 2*y = 4*y - 110. Suppose -h + 6*h - y = 0. Suppose h*t - 2828 = 7*t. Is t composite?
True
Let q(h) = 5*h + 4 + 5 + 10. Is q(8) prime?
True
Let g(v) = -3*v**3 - 6*v**2 + 6*v - 2. Let i be g(-5). Suppose -2*l + i = 2*s - 3*l, 5*s - 482 = 2*l. Let w = s - 37. Is w a composite number?
False
Is (165487/94)/(2/4) a prime number?
False
Suppose 4 = r + 2*q, -15*q + 13*q = 4*r - 22. Let t(w) be the second derivative of 5*w**4/6 - 7*w**3/6 + w**2/2 - w. Is t(r) composite?
True
Let l be (-26)/(3/(336/(-2))). Suppose -3*c = 5*n - l, 5*c - 808 = -5*n + 642. Is n a prime number?
True
Let i(v) = -v**2 - v + 1. Let g(h) = h**3 + 5*h**2 - 17*h - 1. Let q(o) = g(o) - 4*i(o). Is q(-10) prime?
False
Suppose 9*u - 14*u + 3725 = 0. Suppose 4*t - 3753 = -5*n, -3*t + u = n - 5*t. Is n prime?
False
Let c = 2042 + -3297. Is 8*4/((-80)/c) composite?
True
Let q(c) = 908*c + 62. Let s be q(-17). Let b = -10407 - s. Is b a prime number?
True
Suppose -u - 2 = -6. Suppose 0 = u*o + 102 - 418. Is o a prime number?
True
Let o(j) = -11*j - 7. Let n be o(-4). Suppose 34*f = n*f - 4629. Is f a prime number?
True
Let q(p) = 66*p**2 + 3*p + 70. Is q(-9) prime?
False
Is (-892)/(-223) + 47397 + (0 - 0) prime?
False
Let y(z) = 3*z**2 + 8*z + 2. Let v be y(4). Let o = 239 - v. Is o a prime number?
True
Is ((-57914)/115)/((-2)/50) + -1 composite?
False
Suppose 269113 = 21*k - 8*k. Is k composite?
True
Suppose 0 = -4*r + 1 - 5. Let i be 13 - 7 - (r - -1). Is (-123)/(-2)*8/i composite?
True
Suppose h = 15*h - 10542. Is h composite?
True
Let p(r) = r**3 + 6*r**2 - 2*r - 10. Let h be p(-6). Suppose h*m - 2*g + 4*g = 2304, 3*m - g = 3452. Is m a prime number?
True
Suppose 14*j + 20 = 19*j. Suppose t + 1533 = j*t. Is t a composite number?
True
Let d(t) = -3 - t**2 + 0 + 6*t - 3*t - t**3 + 0*t**3. Let p be d(2). Let l(c) = -c**3 - 7*c**2 + 14*c + 10. Is l(p) prime?
False
Suppose 3*l + 3*b - 4*b = 0, 5*l + 3*b = 0. Let z = 2 - l. Is (-3 + z)/((-2)/254) composite?
False
Let k be (-4403)/8 - (-12)/32. Let b = k + 1529. Is b prime?
False
Suppose -4*s - 5*l + 29 = 0, 2*l - 22 = -2*s - 2*l. Let f(n) = -2*n**2 + 2*n - 1. Let u be f(s). Is (0 - u)*(5 - -536) prime?
True
Let m = -27529 + 49308. Is m prime?
False
Let k = -2 + 1. Let p = 23 + -15. Let c = p + k. Is c composite?
False
Let b(k) = 9*k**2 + k - 17. Let g be b(6). Let w = g - -322. Is w composite?
True
Let v be 2*3/(-7)*-7. Let w = 1 + v. Is 762*(14/6)/w a composite number?
True
Let v(c) = 56*c**2 + 5*c - 9. Suppose w - 23 = -19. Is v(w) 