number?
False
Suppose -2*l = 3*l. Suppose -2*y - 48 + 122 = l. Is y prime?
True
Let o(v) = -4 - 3*v - 1 + 2*v. Let b be o(-8). Suppose b*d - 3*u + 13 = 61, u = 4*d - 73. Is d composite?
False
Let h be (9/(-6)*2)/(-1). Suppose 0 = -s - j, 0*s + j = h*s + 4. Is -413*2/2*s composite?
True
Let s(u) = -u**3 - 17*u**2 - 21*u + 39. Is s(-16) prime?
False
Let t = -26 + -17. Let o = t + -36. Let m = o + 156. Is m composite?
True
Let i = 4 + -5. Let v be (-7 - i)/(2/3). Is 6/v - (-682)/6 a prime number?
True
Suppose 5*h = -q + 25, 35 = 2*q + 5*h + 10. Let s(v) = -v**2 + v + 93. Is s(q) composite?
True
Suppose j - 4*j = -237. Is j composite?
False
Suppose 5*r - x = 3*x - 123, 5*r - x = -132. Let h = 46 + r. Is h composite?
False
Suppose 3*i - 2*i - 5 = 0. Let o(c) = c + 5. Let h be o(-3). Suppose 4*q - 1 - 126 = i*s, -2*s = -h. Is q composite?
True
Let r be (-206)/(-6) - 3/9. Let u = r + 49. Is u prime?
True
Suppose 0 = -0*i - 3*i + 6, 0 = 5*k + 2*i - 9. Is 55 + k*(-3 - -1) a prime number?
True
Let t = 154 + -61. Is t prime?
False
Suppose 4*x - 148 = -4*u, -3*x - 5*u + 111 = -0*x. Is x prime?
True
Is -1 - (-7)/6 - 12917/(-6) prime?
True
Suppose o + 1 - 4 = 0, s = 5*o + 452. Is s composite?
False
Let m(n) = -79*n - 6. Let r be m(-4). Suppose r = 5*k + 5*z, -5*z + 2*z + 127 = 2*k. Let c = k + -6. Is c a composite number?
False
Let t(j) = 2*j**3. Suppose 0 = 4*i + m - 1, 5*m + 8 + 7 = 0. Is t(i) a prime number?
True
Let z be ((-14)/(-21))/(4/30). Suppose -3*d = -z*t - 142, -5*d + 0*d = 2*t - 185. Is d a composite number?
True
Suppose 0 = -d + 2, -2*w - 2*d - d + 14 = 0. Suppose 133 = w*k - 215. Is k a composite number?
True
Let z(l) be the first derivative of l**4/12 + l**3/6 + 3*l**2/2 - 2*l - 1. Let i(t) be the first derivative of z(t). Is i(-3) composite?
True
Let z(c) be the third derivative of c**6/120 - c**5/20 + 5*c**4/24 + c**3/6 + c**2. Let f be z(4). Suppose f = -0*q + q. Is q a prime number?
True
Let m(d) = -d**3 + 10*d**2 - d - 14. Is m(8) a prime number?
False
Suppose 2*u + 2*u = -3*m + 1035, -4*m + 3*u + 1355 = 0. Is m prime?
False
Let l(c) = c**3 - c**2 - 3*c + 1. Let a = 2 + 9. Let b = a + -7. Is l(b) a prime number?
True
Let b be 0/(-3) - 507/3. Let x = b - -296. Is x a prime number?
True
Suppose -4*t + 9*t - 1530 = 0. Suppose g - k = -3*g + t, -83 = -g - 3*k. Is g a prime number?
False
Let g = -251 + 1038. Is g a prime number?
True
Let w = -309 + 529. Let u = w + 31. Is u a prime number?
True
Suppose s = -5, 237 + 308 = 5*z - 3*s. Let k = z + -57. Is k a composite number?
True
Let a be 3/(3*3/6). Suppose -a*u - 244 = -5*v + 23, -8 = -2*u. Is v composite?
True
Let y = 796 - 380. Suppose -3*t = 71 - y. Is t composite?
True
Suppose -29 = 4*g - i, -g + i = 1 + 4. Let r = 13 + g. Is r/1 + 6/3 prime?
True
Suppose -3*s = -199 - 248. Is s a composite number?
False
Is (-2 + 3)*(3 - -742) composite?
True
Let f(r) = 2*r**2 + 4*r + 3. Let v be f(-2). Suppose 1 = 4*w - 4*p - 3, -w + v*p = 3. Suppose 0 = a + 4*i - 7, 2*i - 5 = -w*a + 16. Is a a composite number?
False
Let y(f) = f**3 - 4*f**2 - 5*f + 4. Let h be y(5). Suppose 41 + 179 = h*l. Is l a composite number?
True
Suppose 0 = -5*b + 3*b - 4. Let v(k) = -k - 18. Let l be v(-20). Is 69/l + b/(-4) a prime number?
False
Let z = 0 + 3. Suppose -2*t = -2, z*i = 5*i + 4*t - 82. Is i a composite number?
True
Suppose 3*w + i - 4*i - 15 = 0, -5*w - 3*i = -9. Suppose 2 = -w*b + d, -4*b - 2*d - 7 + 21 = 0. Is b - (106/(-2) - -1) a prime number?
True
Suppose 739 = 4*j - 3*j - 2*r, -5*j + 4*r + 3713 = 0. Is j prime?
False
Let w = -30 - -67. Is w a composite number?
False
Let j = 258 - -427. Is j composite?
True
Let l be (-12)/((36/32)/(-3)). Let p = 23 + l. Is p a composite number?
True
Let q = -12 + 21. Let j(x) = -11*x**3 + 8*x**2 + 11*x + 7. Let h(a) = -5*a**3 + 4*a**2 + 5*a + 3. Let t(l) = q*h(l) - 4*j(l). Is t(3) a prime number?
True
Let b be (4/(-10))/((-7)/35). Let y = b + -2. Suppose -26 = -2*n - y. Is n composite?
False
Is (223/(-2))/(17/6 - 3) prime?
False
Suppose s = -2*s - 5*h + 1257, 5*s = -h + 2095. Is s a composite number?
False
Suppose -10 = 3*a - 1. Let i = a + 6. Is 355/i - 10/(-15) a composite number?
True
Let n(s) = 36*s**2 + s + 4. Is n(-2) a prime number?
False
Let f = 0 + 2. Let r be (-10)/(-6) + f/6. Suppose -5 = -n - u + 5, n + 4*u = -r. Is n a composite number?
True
Suppose 3*y = 6*y - 4191. Is y prime?
False
Let c be (-1 - 0)/(1/(-37)). Let b = c - 18. Suppose 65 - b = 2*v - d, 4*d = 5*v - 121. Is v composite?
True
Suppose 3*z = 5*z - 8. Suppose 3*i = y + 83, 3*y = -z*i - y + 116. Let a = i + 25. Is a a prime number?
True
Is (-1)/(-4 + (-1083)/(-271)) prime?
True
Let i be -10*(-3)/(-6) - -3. Let l be i + (113*4 - 0). Let s = 661 - l. Is s prime?
True
Let o = -2 + 13. Let r = 19 - o. Suppose 3*y = 3, r + 23 = 4*c + 3*y. Is c composite?
False
Let u = -27 - -31. Let h(a) = 2*a + 1. Let q be h(1). Suppose 2*w - 31 = -q*r, -5*w = u*r - 31 - 22. Is r a composite number?
False
Let k(u) be the first derivative of u**3/3 + 9. Is k(-7) prime?
False
Let k = -23 + 12. Let u = 80 - k. Is u a prime number?
False
Suppose 3*h = -6 + 18. Let b(a) = 0*a - a + 0*a + 8*a + 3. Is b(h) a composite number?
False
Suppose -137 - 253 = -3*i. Suppose h + 3*t - 140 = 0, -3*h + i + 320 = -t. Is h a composite number?
False
Let n(m) = -m + 2897. Is n(0) a composite number?
False
Is 130 + 2 + -2 + 3 a prime number?
False
Let d(t) = -20*t**2 - 2*t. Let w be d(2). Is (w/(-9))/(4/6) a prime number?
False
Suppose -3*p = -3*l - 270, 2*p - 4*l - 45 - 143 = 0. Let q = -27 + p. Is q composite?
False
Suppose -2*r - 1837 = -3*r + 4*z, 2*r = -3*z + 3685. Is r a composite number?
True
Let m(f) = f**2 + 9*f - 6. Suppose -4*v - 8 - 28 = 0. Let w be m(v). Is (-178)/(3/(9/w)) composite?
False
Let g(s) be the first derivative of 9*s**3 - 3*s**2/2 - s - 1. Let c = 11 + -13. Is g(c) a composite number?
False
Let a(w) be the second derivative of -5/2*w**2 + 2*w + 3/2*w**3 + 0. Is a(4) a prime number?
True
Suppose 0 = -2*t + 5*u + 36, -8 = -6*t + 3*t - 4*u. Suppose -3*m - t = -7*m. Is ((-20)/m)/((-4)/14) a prime number?
False
Suppose -13 = 4*c - 41. Let k(j) = j - 3. Let f be k(6). Suppose f*n + c = 184. Is n composite?
False
Suppose -4*l = 4*n - 2*n - 2, 8 = 4*n + 4*l. Suppose n*i - i = -2*o + 20, 4*i + 5*o - 36 = 0. Is i a composite number?
True
Let o = 1436 - 555. Suppose 0 = 5*z + 216 - o. Is z a composite number?
True
Suppose -j = 4*n - 3*j - 22, 0 = -5*n + 4*j + 23. Suppose 0 = -4*b + n*b - 447. Is b composite?
False
Let u(m) = m**3 + m**2 + m + 339. Is u(0) a composite number?
True
Let i = 382 + -570. Let u = i - -541. Is u a prime number?
True
Suppose 249 = 6*n - 3*n. Is n prime?
True
Suppose 4*t = 5*t - 5. Suppose 2*r = 6, -2*r + 107 = t*z + 2*r. Is z a composite number?
False
Let k(h) = 65*h**2 - 2*h + 2. Is k(1) composite?
True
Let j(l) = -4*l + 13. Let m(i) = i - 1. Let n(d) = -j(d) - 6*m(d). Let b be n(-6). Suppose -4*r = -b*y + 62, 5*r = y + y - 18. Is y a composite number?
True
Let h = 805 - -148. Is h composite?
False
Let r(i) = 5*i**2 + 2*i + 4. Is r(-3) a composite number?
False
Suppose -3*f = 3*l + 9, -4*l - 6 = 3*f + 2. Is (-1)/4 + (-1485)/f a prime number?
False
Let c(n) = 4*n**2 - 8*n + 22. Is c(-16) prime?
False
Let d = -1439 + 2442. Is d prime?
False
Let g = 5 - 2. Suppose -3*o = -0*o - 3, -2 = b - g*o. Is 6*(-2)/(-2) + b a composite number?
False
Let n be ((-14)/(-4))/(5/(-10)). Let q = 10 - n. Suppose -9 = -2*j + q. Is j prime?
True
Suppose 6*h - 919 - 635 = 0. Is h prime?
False
Let p be 10/4 - 1/2. Let t(v) = 16*v**3 - 2*v**2 - 1. Is t(p) a prime number?
False
Let i = 6 + -4. Is i/4*(-1 - -319) composite?
True
Let h be (-1 + (-170)/4)*-10. Suppose 224 = -4*p + 3*p. Let k = p + h. Is k composite?
False
Suppose -2*j = 4*r - 14, -4*j + 3*r + 9 = 3. Suppose -5*t + 242 = -j*t. Is t a prime number?
False
Let a be (-2)/9 - (-2064)/54. Let y = 129 - a. Is y prime?
False
Is 1/(-3*1/(-1137)) a prime number?
True
Let g(u) = 65*u + 9 + 11 - 14. Is g(5) a prime number?
True
Let f(r) = -2 + 0*r**2 - 50*r**3 + 1 + 2*r**2. Is f(-1) composite?
True
Suppose j + 0*j + 16448 = 4*y, -5*j + 20535 = 5*y. Is y prime?
True
Suppose 5*f - 566 = -2*g, 5*g + f - 1394 = -f. Suppose 0*y = -2*y + 2*i + g, 5*y + i = 695. Is y prime?
Tru