 derivative of u**3/3 + 37*u + 2. Is g(a) prime?
True
Is (-2)/5 - (-7581)/15 a composite number?
True
Let s(r) be the first derivative of -17*r**2 - 3*r - 3. Is s(-4) a composite number?
True
Is (-1550)/(-22) - 42/(-77) a prime number?
True
Let h(s) = -s**3 + 11*s**2 - 2*s + 13. Suppose -f + 2 = -7. Is h(f) prime?
True
Is (-1)/(-2)*(-7 + 429) composite?
False
Let t(l) = -141*l + 40. Is t(-15) a prime number?
False
Suppose -2*a + 4*q + 8 = 0, -4*q - 4 = -3*a + 4. Suppose a = 4*r - 5*d - 779, 0 = -5*r + 3*r - 4*d + 370. Is r a prime number?
True
Suppose -5*b + 3*c = -440 + 49, -375 = -5*b - 5*c. Is b a prime number?
False
Let b(q) = 14*q**3 + q**2 - 3*q + 1. Is b(2) a prime number?
False
Is (4/3 - 2) + 25105/15 composite?
True
Let d(z) = 4*z**2 - 839. Let i(b) = -b**2 + 280. Let t(k) = -2*d(k) - 7*i(k). Let g be t(0). Let y = -167 - g. Is y composite?
True
Suppose -1838 - 1758 = -4*j. Is j a composite number?
True
Suppose 2*s - 10116 - 21622 = 5*u, 0 = -5*u. Is s composite?
True
Is (-4161)/(-15) - 4/10 a composite number?
False
Let y be (-2)/(-3) + 50/6. Suppose 1 = -5*a + 16, h = -3*a - 1. Let l = y - h. Is l composite?
False
Let o = 2592 + -1841. Is o prime?
True
Suppose -3*u + 7*u = 4. Let f be u + -2 + -1 + 2. Suppose 0 = -2*t - h + 65, -3*t + 115 = -2*h - f*h. Is t prime?
False
Let b be (-58)/(-10) - (-20)/(-25). Suppose -4*z - 16 = -2*u, 2*z + 3 = -2*u - 5. Suppose 3*q - 13 - 54 = -b*f, -5*f + 2*q + 47 = u. Is f a composite number?
False
Let l(j) = 72*j**2. Let g be l(-1). Let c = 5 + -3. Suppose b - 51 = -2*b + c*t, 5*t - g = -3*b. Is b a composite number?
False
Is 11254/51*3/2 a prime number?
True
Let g be 2/((-2)/(-5)) + 1. Let p(c) = c**2 - 6*c. Let w(j) = j**2 - 5*j + 1. Let x(s) = -4*p(s) + 5*w(s). Is x(g) a prime number?
False
Is 153/(-27)*3/(-2)*38 a composite number?
True
Suppose -m - 34 = 31. Let p = m + 104. Is p a composite number?
True
Let c = 2298 + -1529. Is c a prime number?
True
Let d(x) = x**3 - 4*x**2 - 4*x - 3. Let o be ((1 - 0)*10)/2. Let y be d(o). Suppose 0 + 42 = y*m. Is m prime?
False
Suppose 0*z = -5*v - 2*z - 23, -3*z = -3. Let p be ((-30)/(-50))/((-1)/(-25)). Is ((-18)/p)/(2/v) composite?
False
Suppose 0 = -4*s - 16, 0 = 3*t + 5*s - 2363 - 1448. Is t a prime number?
True
Suppose 3 = 5*q - 2. Suppose -4*i = -2*o - 20, 3*o = -2*i + 3*i - 10. Is q/(o + (-63)/(-31)) composite?
False
Let k be (4/(-8))/(1/(-36)). Suppose -34 - k = -o. Suppose v + 3*v - o = 0. Is v composite?
False
Let k(n) be the first derivative of -10*n**2 - n + 2. Is k(-4) prime?
True
Suppose 0*w = -2*u + 4*w + 2198, -2*w + 4396 = 4*u. Is u prime?
False
Let m(l) = 3*l - 90*l**3 - 6*l + l - 2*l**2 + 1. Is m(-2) prime?
False
Let g(s) = s**3 + 4*s**2 + s - 2. Let y be g(-4). Let p(z) = 5*z**2 + 8*z - 5. Is p(y) a composite number?
False
Suppose -b + 7*a - 15 = 2*a, -5*b + 4*a = 33. Suppose 3*t - 6*t = -2*c + 2, -4*c + 4 = -t. Is (b - -48)*(c - 0) a composite number?
False
Let w(x) = -177*x + 23. Is w(-7) composite?
True
Let d(t) = 5*t**2 - 2*t - 4. Suppose -2*a + 2 = -c, c = -4*a + 2*a + 10. Is d(a) a composite number?
True
Let r = -29 + 54. Let t = 27 + -15. Let w = r + t. Is w a prime number?
True
Suppose 5*g + 0*g - 2495 = 0. Is g a composite number?
False
Let t = 1138 - 557. Is t composite?
True
Let h be (1/(-2))/((-1)/(-248)). Is ((-7)/(-4))/((-1)/h) a composite number?
True
Suppose 0 = -4*z + 983 - 271. Is z composite?
True
Let t be 4 - (-1 + 1 + -1). Suppose 0 = j + 1, -t*j - 2 - 3 = -2*r. Suppose 2*a = r, 0*h + 37 = h + a. Is h composite?
False
Let n be (0 - (-6)/(-8))*-140. Let a = 260 - n. Is a prime?
False
Let b = 12 + -10. Suppose -2*f = -f + 2*a - 33, -b*f + 72 = a. Is f a composite number?
False
Is 14/4*(0 - -898) composite?
True
Let k = 566 - 333. Is k composite?
False
Suppose 483 = 2*w + 61. Is w composite?
False
Suppose 0 = 2*b - 2157 - 1405. Suppose 0 = -3*t - 5*k + b, -3*t + 1602 = 4*k - 175. Is t prime?
True
Let w(k) = -321*k - 20. Is w(-11) a composite number?
False
Suppose -n - 1245 = -6*n. Suppose 58 = d - n. Is d prime?
True
Suppose -2*p = -4, c - 4*c = 3*p - 18. Let j = -45 + c. Let a = 72 + j. Is a a prime number?
True
Let u(m) = -m**2 - 9*m - 6. Let o be u(-8). Suppose 4*b + o*r - 38 = 0, 4*r - 10 = -0*b - 2*b. Is b composite?
False
Is ((-8)/20)/((-2)/370) a composite number?
True
Let q be 3/(-6)*-2*3. Suppose -h = -5*p - 929, h - 4*p - 3684 = -q*h. Is h composite?
False
Let n(x) = 210*x**2 - x - 1. Let d be n(-1). Let z = -83 + d. Is z prime?
True
Let y = 3 - -14. Let v be y/3 - (-1)/3. Is ((-66)/(-9))/(2/v) a prime number?
False
Let r(s) = -s**2 + s + 36. Let f be r(0). Let v be 4/18 - 8/f. Suppose 5 = -a + 3, v = -3*m - 5*a + 785. Is m prime?
False
Suppose -4*i = -2*i, -4*t = 4*i + 28. Let f(d) = -7*d - 10. Is f(t) prime?
False
Let h = -9 - -13. Suppose 6*r = r + 4*s + 90, h*r = s + 83. Is r a prime number?
False
Suppose -s - 70 = -2*g + 351, 2*g + 5*s = 427. Let r = g + -48. Is (r/2)/((-1)/(-2)) a prime number?
True
Suppose 5*s - 5*m + m - 173 = 0, 3*s - 5*m = 96. Is s composite?
False
Let a(b) = 84*b**2 - 2*b - 5. Is a(3) a prime number?
False
Suppose 0 = 2*l + y - 127 - 254, 0 = 5*l - 4*y - 933. Let z = l - 120. Is z a prime number?
False
Let n be (7 + -3)/(4/2). Suppose -z + 1 = -n*w + w, -3*w + 4*z = 7. Suppose w*d - d = 118. Is d a prime number?
True
Suppose -5*q + 3041 + 2394 = 0. Is q a prime number?
True
Let w = 10 - 9. Suppose 15 + w = 3*k + 4*o, o + 3 = k. Suppose 0 = -4*f - k*q + 547 + 501, -2*q = -2*f + 528. Is f a prime number?
True
Suppose 8*n = 3*n - 650. Is 1/(3 - n/(-44)) a prime number?
False
Let i(p) = -2*p + 1. Let t be i(1). Let y be 2/3*(t + 22). Is (y/(-1))/(-1) - 0 composite?
True
Suppose -15 = 4*d - 4*l + 5, -3 = 3*l. Is ((-2)/d)/(4/2532) a prime number?
True
Let s(b) = b**3 + 16*b**2 + 2*b + 5. Is s(-12) prime?
True
Suppose -9 = 3*f - 8*f - 4*r, -4*f = -3*r - 32. Suppose 3*b + a - 230 = 0, -50 = -b + 9*a - 4*a. Is f + -3 + 1*b a composite number?
True
Suppose 5*p - o = 2 - 10, 2*o - 3 = -3*p. Is p - 9/(27/(-150)) prime?
False
Suppose 0 = 5*q - 538 + 63. Let n = 151 - q. Let k = -37 + n. Is k composite?
False
Let n(p) = 69*p**2 + 2*p - 2. Let o be n(2). Suppose -2*z = 2*d + 2*d - o, z + 330 = 5*d. Is d composite?
False
Suppose 0 = -5*g + 232 + 818. Let w = g - 150. Suppose 3*d - w = -3*a + 102, d - 5*a = 60. Is d a prime number?
False
Let t = 277 + -138. Is t a prime number?
True
Let x be 4 + 1 + -3 - -9. Let l = 49 - x. Is l a prime number?
False
Suppose s + 5 = -3*s + l, -13 = -s + 5*l. Let y be 15/2 - (-1)/s. Suppose 0 = -2*n + y*n + 5*u - 125, 31 = n - 5*u. Is n composite?
True
Let z = 346 - -241. Is z a prime number?
True
Suppose 0*b = -h + b, 2*b = -4. Let n = -2 - h. Let s = n + 3. Is s a composite number?
False
Suppose -3*i + 147 = 48. Is i composite?
True
Suppose -2*a + 10 = 3*b - 5, 3*a - 21 = -4*b. Suppose b*i + 34 + 95 = 0. Let g = i - -102. Is g a prime number?
True
Suppose g - 4*w - 29 = 146, 5*w = -4*g + 763. Is g composite?
True
Suppose 1397 + 4233 = 10*h. Is h prime?
True
Let p = 61 + -2. Suppose y = -0*y + p. Is y a prime number?
True
Suppose 3*k - 13 = 2. Suppose 3*b - 5*u + k = 0, 4*b - 6*u = -u. Suppose 4*o - c = c + 20, 0 = 3*o - b*c - 8. Is o a composite number?
True
Let n be (-3)/4 - (-54)/8. Suppose 3*a - n*s + 2*s = 188, 4*a + 3*s - 209 = 0. Suppose -w + a = 22. Is w a prime number?
False
Let l be 1 - 2 - (-3181 - 0). Suppose -l = -6*c + 3*c. Suppose -c = -5*h - b, 0*h = 5*h - 3*b - 1040. Is h prime?
True
Let w be 2/2 + 1 + 0. Let f(q) = q**2 + 14*q + 13. Let d be f(-13). Suppose h = -d*n - w*n + 149, -395 = -5*n + 2*h. Is n a composite number?
True
Let q(d) be the first derivative of -d**4/4 + 7*d**3/3 - d**2 - d - 1. Is q(6) composite?
False
Let c = 235 + -133. Let x = 187 - c. Is x composite?
True
Suppose z = -5*s + 3, -s - 9 = -3*s - 3*z. Suppose 5*l + u - 65 = s, 2*l + 3 = -3*u + 16. Is l prime?
False
Let j(v) = 48*v**2 - 1. Let o(u) = 2 - 5*u - 3 + 4*u + u**2. Let b be o(0). Is j(b) composite?
False
Let a = 89 - 135. Let j = a - -125. Is j a prime number?
True
Let q(d) = 2*d**2 - 14*d - 5. Let p be q(10). Let m = 14 + p. Is m prime?
False
Is (-2722)/(-6)*(-2 + 5) a composite number?
False
Suppose -2*v + 3*c + 945 = -2*c, -4 = 4*c. Suppose -v - 398 = -4*t. Is t