rue
Let v(c) = -c**2 + c - 3. Let a be v(3). Is (-31077)/a + (1 - 3) + 6 prime?
True
Suppose -20*n + 13 + 27 = 0. Let d = 5 + -1. Suppose 9 = b - 2*l + d*l, 18 = n*b + l. Is b a prime number?
False
Let k be 826 - (-4 + 3)/(3 - 2). Let q = -298 + k. Is q a prime number?
False
Suppose 0 = -o + 1 + 2. Suppose 849 = o*b + 99. Suppose 2*z + 5*h = -b + 2220, -4925 = -5*z + h. Is z a composite number?
True
Suppose p + 4 - 1 = 0. Is ((-2)/6)/(p/36) a composite number?
True
Let c = -54 - -54. Is 4/16*c - -87 a composite number?
True
Let q(p) = p**3 - 10*p**2 - 20*p + 60. Is q(13) a prime number?
True
Let c(l) be the second derivative of l**4/6 + 17*l**3/6 - 19*l**2 - 26*l. Is c(-17) prime?
True
Let k = -760 - -2855. Is k prime?
False
Let n = -167 + 169. Suppose 4295 = 5*s - 3*y, n*s - s = 2*y + 859. Is s prime?
True
Suppose 5*i - 4*j = 7139, -2*i + 7171 = 3*i + 4*j. Suppose k - i = 112. Is k a prime number?
True
Suppose -4*y - 2*p + 716 = 0, 19*y - 4*p + 527 = 22*y. Is y a prime number?
True
Let u(h) = -2*h**3 - 19*h**2 - 9*h + 4. Let g be u(-13). Suppose -g = 5*i - 9*i. Suppose -2*c = -4*c + i. Is c a composite number?
False
Let b be (1 - -1) + 744 + 2. Suppose 0*n + 4*n - b = 0. Is n a composite number?
True
Is (-818)/2*2/(-2) composite?
False
Suppose 11067 = -h - 3547. Is h/(-10) + (-20)/50 prime?
False
Let z be 2 - -6*(3 - 2). Suppose 2*l - z = 6*l. Is l/14 - (-7368)/28 a prime number?
True
Suppose 5*k - 639 - 8476 = 0. Is k a composite number?
False
Suppose 0 = -t - 3*n + n + 420, 5*t - 2*n = 2052. Suppose -i - t = -5*i. Suppose -5*s - i = -p, -p + 3*s = -2*p + 135. Is p a prime number?
False
Suppose -4*k - 23414 = -6*k - x, 0 = 2*k - 5*x - 23414. Is k a composite number?
True
Let d = -8946 + 13481. Is d composite?
True
Is (4 + -5)/(-2 - (-58344)/29176) a prime number?
False
Let w(u) = u**3 + u**2 + u + 8935. Let m be w(0). Suppose 2999 = -4*x + m. Is (x/8)/((-2)/(-4)) composite?
True
Let p = 84 - 66. Is 71/((1/(-3))/((-6)/p)) a composite number?
False
Let f be 1/(((-7)/4)/(-7)). Suppose j = 4*x - 486, x - f*x = 3*j - 357. Is x prime?
False
Let c = 1621 - -4842. Is c a prime number?
False
Suppose h + 0 = 1. Is 1989 - -1*(-5 + h) composite?
True
Let j(r) be the third derivative of -r**6/120 + r**5/15 + r**4/24 + 29*r**3/6 - 3*r**2. Is j(-12) composite?
True
Suppose 4*z + 77 = 3*u + 1, -5*z = 20. Suppose -u*k = -21*k + 4227. Is k a prime number?
False
Let y be (21 - (3 + -3))*6/21. Is (-380)/(-2) + y/(-18)*-3 a prime number?
True
Suppose -106 = -3*l + 4*d, -l + 4*d - 3*d = -35. Let p = -22 + l. Suppose -p*r + 13*r = 59. Is r a composite number?
False
Let x(d) = d**3 + 10*d**2 - 11*d + 3. Let h be x(-11). Suppose 2*z = s + 1, 6*s - 15 = s. Suppose 3*t = 4*y - h*y - 889, -z*t = 0. Is y a prime number?
False
Let d = -187 + 268. Let y = d + -25. Is (15/12)/(2/y) composite?
True
Let p be (-216)/(-40) - (-2)/(-5). Let j(f) = 0*f + f + 0 + 19*f**2 + 38*f**2 - p. Is j(3) a composite number?
True
Let i(m) = -3*m + 66. Let o be i(22). Let h = 13 - 8. Suppose -k = h*r - 107 + 10, -r + 4*k + 11 = o. Is r a composite number?
False
Is -1*(-5)/((-20)/(-4))*355 a prime number?
False
Let r(q) = 137*q**2 + 2*q + 6. Let i be r(3). Let k = -859 + i. Let z = -57 + k. Is z composite?
True
Suppose 2*r - 23 + 1 = -2*p, 0 = -5*p + 4*r + 64. Suppose -3*y - 3 + p = 0. Suppose -y*m - 2*m + 485 = 0. Is m a composite number?
False
Let b be (-12)/16*(-76)/6*-146. Let q = -968 - b. Is q a prime number?
True
Let z(q) = -68*q**3 + q**2 - q + 8. Let x be z(3). Let w = x + 2903. Is w a composite number?
True
Let x(p) = p**2 + 5*p - 1. Let v(f) = -f**3 - f**2 - 3*f + 1. Let c be v(2). Is x(c) a composite number?
True
Let i be (8/(-1) - -3)/(-4 + 3). Suppose -3*n - 2732 = -2*f - i*n, 4*n = 5*f - 6785. Is f a composite number?
False
Suppose v - 5 = 0, -a = 4*a + 2*v - 35. Suppose -a*w + 24 + 1466 = 0. Is w composite?
True
Let n(m) = m + 5. Let y be n(-8). Let z be (-1)/(-4 + 3) + y. Is ((-836)/(-16))/(z/(-8)) composite?
True
Let r = -58650 + 118859. Is r prime?
True
Suppose 2*t + 4*q + 1877 = 5*t, 2*t + 4*q = 1238. Is t composite?
True
Let i be 10/((-15)/(-3)) + 15. Suppose -i*x + 12*x + 5385 = 0. Is x composite?
True
Suppose 61087 = 10*f - 44083. Is f a composite number?
True
Let o be ((-8)/(-32))/((-1)/(-12)). Suppose 3*v - t = -o*t + 1207, -v + 395 = -3*t. Is v composite?
False
Suppose -833 + 23 = 3*l. Is l/(-8) + (-15)/(-60) a prime number?
False
Let b(r) = 300*r - 17. Let w be b(8). Let f = w - 1472. Is f a prime number?
True
Let v(p) = p**2 - 10*p + 5. Let w be v(10). Is ((-4)/w)/(26/(-1235)) a prime number?
False
Let b(t) = 415*t + 5. Is b(6) prime?
False
Let y(w) = w**3 + 12*w**2 - 10*w + 16. Let h be y(-13). Let n(q) = -37*q**3 + 2*q**2 - 1. Let m be n(1). Let s = h - m. Is s prime?
True
Let d = 16 + -10. Suppose d*t = 7*t - 25. Is (-10)/t - 834/(-10) a prime number?
True
Let b = -3228 + 5338. Let h = -1437 + b. Is h prime?
True
Let c = 27 - 31. Let k be (c/5)/((-1)/5). Suppose 0*u = k*u - 2692. Is u a prime number?
True
Let d(m) be the second derivative of -m**5/20 + m**4/4 + 3*m**2/2 - 3*m. Let g be d(3). Suppose 189 = -g*l + 612. Is l composite?
True
Suppose -2*k + 2*t = 6, -3*k - k - 3*t = -9. Suppose 2*d = 2*j + 428, 6*j - 3*j - 5*d + 648 = k. Let v = 468 + j. Is v prime?
True
Suppose 6*v + 168 = 4*m + 2*v, 0 = 4*m - 2*v - 178. Suppose -3*g + 2*g = -m. Suppose -2*p - g = -n, -47 + 5 = -n + p. Is n a prime number?
True
Suppose 3*f = -3*i + 10 + 8, 3*f - 16 = -i. Suppose -2*c - j - 7 = -2, -j = 5*c + f. Suppose 6*q - q - 1115 = c. Is q prime?
True
Suppose 11*t = 16*t - 29495. Is t a composite number?
True
Let d = 33 + -25. Let y be 2/(-7) - (-2211)/21. Let x = y - d. Is x a prime number?
True
Suppose -3*k + 4324 = -8750. Is (29 + -32)*2*k/(-12) composite?
False
Let a = 1553 - 859. Is a composite?
True
Suppose 12*y + 0 = 12. Let z(v) = 3019*v**3 + v**2 - v. Is z(y) composite?
False
Suppose -4*d = 2*m + 4162, -5*m + m - 3124 = 3*d. Let i = 1702 + d. Is i composite?
True
Suppose -19*g + 45340 = g. Is g a prime number?
True
Let k(h) = -215*h - 27. Let w be k(-6). Let l = -778 + w. Is l a prime number?
False
Let h(m) = 3*m + 7. Let c be h(-2). Is 1587 - (5 - c)*(-3)/(-3) composite?
False
Suppose -3*r + y + 16202 = 0, 5*r - 27008 = 10*y - 13*y. Is r a composite number?
True
Suppose 13*u - 30420 - 1092 = 0. Let n = u - 1197. Is n a composite number?
True
Suppose -2*s + 18 = -5*k + 59, 0 = k - 5. Let l(c) = 3*c**2 - c + 21. Is l(s) composite?
True
Let d(b) = 2*b**2 + 2807. Suppose -2*o - z + 5 = 0, z - 5*z = -2*o - 20. Is d(o) a prime number?
False
Is (14906/3 - 0)/(10/15) a prime number?
False
Suppose 4*q - 2*k = 2832, 0 = 2*k - 5*k - 12. Is q a composite number?
True
Let f(w) = 102*w**2 + 13*w - 6. Is f(-5) a composite number?
True
Suppose 7940 = 14*i + 36066. Let v = -1066 - i. Is v prime?
False
Let g be ((-84)/(-35))/((-6)/(-15)). Let i be 0 + 1 + g + -3. Let j(d) = 4*d**3 - 3*d**2 + 2*d + 2. Is j(i) a prime number?
False
Let h be 2*319/(-2) - 4. Let w = h - -1582. Is w a composite number?
False
Let g(o) = 156*o**2 - 2*o + 121. Is g(9) a prime number?
True
Let i(g) = -2*g**2 - 4*g + 2579. Is i(0) a prime number?
True
Suppose -8196 = -2*m - m. Suppose 6*k - 2*k - m = 0. Is k a prime number?
True
Suppose 2*m + 0 - 10 = 0. Suppose -3*w - w + 5*t = -1701, -t - m = 0. Is w a prime number?
True
Let j be (-30)/(-9)*(-3)/(-2). Suppose 20 = 2*f - j*c, -21 = -5*f - c + 2. Suppose -r - r = -3*k + 142, -3*k + 128 = f*r. Is k prime?
False
Let k = -56 + 59. Suppose 0 = 2*b - 2, 2*c + k*b - 1087 - 2086 = 0. Is c composite?
True
Let g = -1874 + 4195. Is g composite?
True
Suppose 356 = -2*b + 2114. Let s(o) = 2*o**3 + 24*o**2 + 4*o - 14. Let a be s(-11). Suppose 5*n + a = b. Is n prime?
True
Suppose 4 = -2*v - 4, -5436 = -4*i - 2*v. Is i prime?
True
Suppose 16 = 9*d + 7. Suppose -4*x + 1769 = -4*m + 9*m, x - d = 0. Is m composite?
False
Let o be 6/9*6 + -2. Suppose o = -2*d + 6. Let f = d + 0. Is f a composite number?
False
Suppose h = -2*h + 5*b + 3071, 5*h = 2*b + 5131. Is h a composite number?
True
Let h be 3 - (6 + -2 + -3). Suppose -4*j + h*j + 6 = 0. Suppose 0 = -j*b + 56 + 745. Is b prime?
False
Let i(s) = 4*s - 32. Let x be i(-13). Let t = 229 + x. Is t a composite number?
True
Suppo