4*h = -141 + n. Is h a composite number?
True
Let o(q) = -158*q - 3. Is o(-13) a composite number?
True
Suppose 0 = -2*j + 2*r + 4, -5*j + 3*r + r = -9. Let l be j*203 - 0 - 2. Suppose 0 = -k - 2*k + l. Is k composite?
False
Let a(s) = s**2 - s - 1. Let z = 5 + -6. Let m be a(z). Suppose 24 = t + m. Is t a prime number?
True
Suppose 4*d = u + 7, 4*d + d - 28 = 4*u. Let q = u + 26. Is q a prime number?
True
Suppose 4*c = 5*t - c - 15, 6 = 4*t - 2*c. Suppose -10 = -5*w, -5*w + t*w + 65 = 5*u. Is (u/(-4))/(3/(-12)) prime?
True
Suppose 4420 = 8*b - 12612. Is b a composite number?
False
Suppose 0 = 4*k - 5*k + 445. Is k a prime number?
False
Suppose 2*u = u + 2. Suppose -3*c - 6 = 4*y - 2*y, 4*y = -u*c + 4. Suppose -4*t + y*t + 65 = 0. Is t a prime number?
False
Suppose -d = 4*b - 87, 2*d = 4*d + 3*b - 179. Let l be d + 2 - 2*-1. Suppose -l = -3*o + 10. Is o a prime number?
False
Let j(r) = r**3 + 6*r**2 + 3*r - 1. Let a = 8 + -14. Let f be j(a). Let i = 0 - f. Is i composite?
False
Let r = 12 + -24. Let n(f) = -f**3 - 12*f**2 - 7*f - 1. Is n(r) prime?
True
Let s(l) = -l**3 - 13*l**2 - 14*l - 5. Is s(-12) prime?
True
Let f(c) = 14*c + 15*c + 5*c - 1. Is f(2) a composite number?
False
Suppose 3511 = 2*o + 2*m - 5*m, -3*m - 7025 = -4*o. Is o composite?
True
Suppose -2*k = -4*n + 700, 5*n - 3*k - 1199 = -326. Suppose 19 = 5*t + 4. Suppose -t*b + v = -103, 2*b + n = 7*b - 3*v. Is b composite?
True
Suppose 2 + 5 = -a. Is -3 + a/((-21)/264) a prime number?
False
Suppose 4*m + 3*x = -0*m - 1858, 0 = -3*x - 6. Let n(y) = -77*y**2 - y + 4. Let f be n(-3). Let v = m - f. Is v prime?
True
Suppose -3*t = -6 - 9. Is (-51)/(-9) + t/15 composite?
True
Let j = -60 - -33. Let o(x) = -5*x + 8. Let c be o(-6). Let r = c - j. Is r a prime number?
False
Let s be (-35)/10 - 2/4. Suppose 3*o + 281 = -5*k, k + 279 = -4*k - 2*o. Let r = s - k. Is r a composite number?
True
Let n(b) = b**3 - 9*b**2 - 7*b + 12. Is n(11) prime?
False
Suppose 4*x - 171 - 153 = 0. Suppose -x = -2*m + 49. Is m composite?
True
Let p be (-3 - 17/(-5))*-5. Let s be p/(-4)*(-1 + 1). Suppose -c + s*c + 109 = 0. Is c composite?
False
Suppose -1 - 17 = 3*k. Let m(z) = z**3 + 6*z**2 - 2. Let s be m(k). Is (-6)/(-9)*(-69)/s a prime number?
True
Let s(j) = -j - 9. Let p be s(-7). Let d be (-1*2)/2 - p. Is (d*-53)/(-3 + 2) a composite number?
False
Let x(q) = -8*q - 17. Let r be x(-10). Is (-14)/r - 8014/(-18) a prime number?
False
Let a(h) be the second derivative of 5*h**4/4 - h**3/6 + h**2/2 + 4*h. Is a(-3) a composite number?
False
Let y(u) = 2690*u - 11. Is y(3) prime?
True
Suppose -a + 91 = 2*o, 0 = 4*a - 3*o - 434 + 81. Is a composite?
False
Let u(v) = 41*v - 3. Suppose -2*h - 2 = 2. Let z = 0 - h. Is u(z) prime?
True
Suppose 12 = -2*b + 5*b. Suppose 0 = b*a + 25 - 893. Is a a prime number?
False
Let r = 321 + -130. Suppose -5*v - 4*u + 0*u = -r, 5*u + 15 = v. Is v a prime number?
False
Suppose b - 7 = 42. Is b a composite number?
True
Let h be (-12)/(-4) + -6 + 1. Let b(s) = -58*s - 1. Is b(h) composite?
True
Suppose -2*a = -a + 1. Let w = a - -5. Is w*-1*(-231)/12 a composite number?
True
Let u(v) = -v**3 - v**2 - v + 1. Let x(o) = -o**3 + 4*o**2 + 6. Let t(i) = -2*u(i) + x(i). Is t(-5) prime?
True
Suppose -3*v = -4*y + 13 + 3, 5*v = -4*y + 16. Suppose 5*x - 1 - 24 = v. Suppose -x*l = 5*r - 450, 354 = 4*r - 5*l + 21. Is r a prime number?
False
Let s(z) = -z**3 + 3. Suppose 0 = 4*l - 2*b + 2, l + 1 = 3*l + b. Let g be s(l). Suppose 3*k = g*n + 8*k - 177, -5*k = 0. Is n composite?
False
Let m = 21548 + -11179. Is m a prime number?
True
Is 362/1 - 2/((-12)/(-18)) a composite number?
False
Let h(n) = -2 - 2 + 33*n + 0. Is h(5) composite?
True
Is (2 + 725/(-15))*-3 a prime number?
True
Let n = -573 - -340. Let f = -120 - n. Is f composite?
False
Let b = -93 - -45. Let o = 175 - b. Is o a prime number?
True
Let d = -1 - -16. Is d a prime number?
False
Suppose 3*b - 25 - 48 = -5*w, -b = -4*w + 55. Let j = 24 - w. Is (-2)/j - (-1158)/15 a prime number?
False
Is ((-6896)/(-12))/((-2)/(-3)) composite?
True
Suppose 4*r - 6 = r, 0 = -4*p + 5*r + 34. Let g = p - 8. Suppose 2*t - 77 = -g*z, -t - 22 = 5*z - 64. Is t composite?
False
Let h(j) be the first derivative of -3 - 1/2*j**2 - 1/3*j**3 + 85*j. Is h(0) a composite number?
True
Suppose 0 = 13*a - 10*a - 6. Is (-6)/(416/212 - a) composite?
True
Let v be 81/6*4/6. Suppose -v = -2*q - s, -4*q - s + 3 = -5*q. Suppose -3*n + 19 = -q. Is n composite?
False
Suppose 3 = 2*f - 7. Suppose -107 = -z - 3*b, -72 + 555 = f*z + 2*b. Is z composite?
True
Let c(b) = b**3 + 3*b**2 - 4*b - 5. Let s be c(-4). Let g = s + 6. Is g - 2*26/(-4) a prime number?
False
Suppose 2*o - 3*p = 14, 5*o - 12 = o - 2*p. Suppose o*g = 7*g - 393. Is g a prime number?
True
Let v(j) = -5*j + 3. Suppose -5*w = 3*d + 25, -2*d + 0*d - 6 = -2*w. Is v(w) prime?
True
Suppose -5*s = -7*s - 5*k + 1082, 3*s + k - 1649 = 0. Is s composite?
True
Let b(k) be the second derivative of k + 1/12*k**4 + 0 - 1/2*k**2 + 1/2*k**3. Is b(2) a composite number?
True
Let x be 1/2 - 1830/20. Let s = 32 - x. Is s composite?
True
Let m be (-24)/4*-1*1. Let n be 4/2*m/4. Suppose y = n, 3*v - 3*y - 22 = 2*v. Is v a composite number?
False
Is (1 + (-18)/12)/((-1)/3694) a prime number?
True
Suppose -4*i = -8*i + 104. Suppose 4*k = 2*k + i. Is k prime?
True
Suppose -3*i = -4*i + 359. Let m be -3 + 0 + (i - -1). Suppose 4*z - 7*z = -m. Is z a prime number?
False
Let t = -187 - -405. Is t prime?
False
Let w = 3114 - 1493. Is w a composite number?
False
Suppose -2*a = -7*a - 25, a = 4*p - 453. Suppose p = 3*s - 47. Is s composite?
False
Let d(t) = 15*t**2 + 2*t + 13. Is d(-6) prime?
True
Let y = 6093 + -3934. Is y a composite number?
True
Suppose 2*d = -d + 21. Is 215/d + (-2)/(-7) a prime number?
True
Suppose 11*v = 8*v + 609. Suppose l = -k + 203, 3*l - k = 2*l + v. Is l a prime number?
False
Let q be (-4)/(-2) - (-10 - -8). Suppose 114 = q*d - 106. Is d a prime number?
False
Let l(c) = -c**2 + 3*c + 2. Let b be l(3). Suppose 5*u + n - 5*n - 663 = 0, b*n = -u + 127. Is u a prime number?
True
Let c = -679 + 1086. Is c composite?
True
Let k be ((-8)/(-6))/(2/3). Suppose 0*b + 264 = 2*b + k*c, -5*c = -25. Is b composite?
False
Is (3 - 2)/(5/4435) composite?
False
Is (-3339)/(-15) + 4/10 prime?
True
Let q(y) = 377*y + 64. Is q(11) a composite number?
False
Is -2*(-5)/(-40) - 13829/(-4) a prime number?
True
Let c(i) = -i**3 + 7*i**2 - i + 3. Suppose 3*j + j = 8. Suppose 3*h = 14 - j. Is c(h) composite?
False
Suppose 5*q = l + 3*l, 25 = 5*l. Suppose -g - q*g = -660. Suppose 2*h + 2*h = g. Is h a composite number?
True
Suppose -2*r - 4*n + 0*n = -318, 4*r = 3*n + 581. Is r a composite number?
False
Let x = -16 - -9. Let q(p) = -2*p + 2*p**2 + 0*p**2 + 7 - p - p**2. Is q(x) a composite number?
True
Let d(g) be the second derivative of -4*g**3/3 + g**2/2 + 2*g. Suppose 2*i + 0*i - 16 = 3*o, 0 = -4*i + 8. Is d(o) prime?
False
Let d(v) = -8*v**3 - 3*v - 2. Is d(-3) composite?
False
Let h(w) = -20*w + 5. Let n be h(7). Let t = n + 238. Is t a composite number?
False
Suppose 1056 = b - 1805. Is b prime?
True
Let h = 2484 + -1413. Let g = h + -758. Let n = g + -180. Is n a composite number?
True
Suppose 5*h + 0*o - o - 2359 = 0, -3*o = -2*h + 954. Suppose -5*n + 313 = -3*n - 3*p, -4*p - h = -3*n. Is n a composite number?
True
Suppose 2*l + 8 = 6*l. Suppose l = 2*h, -2*h - 25 = -4*w - 3*h. Suppose 0 = 4*a - w*a + 148. Is a composite?
True
Suppose -7*a + 2*a = -15. Suppose 18 + 3 = a*m. Is m a prime number?
True
Let v(l) = -l**3 - 6*l**2 - 7*l - 3. Is v(-5) a composite number?
False
Suppose -25 = -c + 69. Let w = -15 + c. Is w a composite number?
False
Suppose 2*q + 2*q - 4172 = 0. Is q prime?
False
Let x(a) = a + 1. Let t be x(5). Suppose n + 62 = -n. Let s = t - n. Is s a composite number?
False
Let r = -16 + 23. Suppose 0 = 3*s - r*s + 16. Suppose 84 = s*d + 8. Is d prime?
True
Let f(z) = -93*z + 32. Is f(-5) composite?
True
Suppose -3*c + r = 2*r - 13, 3*c - 28 = 2*r. Let v(z) be the second derivative of -z**4/12 + 4*z**3/3 - 3*z**2/2 + 6*z. Is v(c) a composite number?
True
Suppose -4*y - 3*k - 26 = 0, -y + k - 3 = -0. Let q = -5 - y. Suppose -65 = -x - q*x. Is x a prime number?
False
Let h(g) be the third derivative of -g**6/120 - 13