0, h*d - 2*d = -4*b + 614. Is d a prime number?
True
Is 46 + (-2*3)/2 prime?
True
Suppose -5*a + 15 + 140 = -4*q, -4*q - 120 = -4*a. Is a a prime number?
False
Suppose -z - 2*z - 6 = 0. Is (-4 + 241)*z/(-6) a composite number?
False
Let z(l) = 62*l + 3. Is z(4) composite?
False
Let s(m) = m**3 - 5*m**2 + 4*m + 4. Let v be s(4). Let h be (-1 - (-2)/v)*-14. Suppose d + 0*d = h. Is d prime?
True
Suppose -4*y - 109 + 313 = 0. Let j = 3 - 1. Suppose y = j*q - 1. Is q prime?
False
Let p = -99 - -304. Is p prime?
False
Is (-3860 + -2)*(-2)/(4 - 0) composite?
False
Suppose 16*o = 14*o + 6. Suppose 4*n - 14 - 6 = 0. Suppose d = o*f - 0*d - 69, -3*f - n*d + 51 = 0. Is f a prime number?
False
Let c(g) = -67*g - 6. Is c(-5) composite?
True
Let t be 23/3 + (-6)/9. Let o(r) = -6*r**2 + t*r**3 + 9 + 12*r**3 - 20*r**3 + 13*r. Is o(-8) a prime number?
False
Suppose 0 = -2*q - b + 5, 5 - 30 = -3*q - 5*b. Suppose 4*w - 215 = 2*f + 95, q = -4*w - 2*f + 322. Is w prime?
True
Let w be (-4 + -2)*(-6)/2. Is 1671/w - 2/(-12) composite?
True
Suppose -5*h = 2*w - 20355, -2*h - 3395 + 11521 = 4*w. Is h a prime number?
True
Let k = 71 - 38. Let m be 2/(4/(-42)) + 1. Let g = m + k. Is g composite?
False
Is 25*((-24)/(-20))/2 prime?
False
Let p = 78 - 32. Is p composite?
True
Let d(w) = 22*w + 5. Let k be d(5). Let x = k + -49. Suppose a = 83 + x. Is a a composite number?
False
Suppose -k - 37 = -2*z + 18, 5*z = -5*k - 230. Let h = k + 92. Is h a prime number?
True
Let u(d) = -3*d + 2*d**2 + 2*d - 3 - 4*d. Is u(4) prime?
False
Suppose 0 = 5*i + 3*q - 292, -5*i + 2*q = -q - 298. Is i a composite number?
False
Let b be (129/6)/(2/28). Suppose -1206 = -5*g - b. Is g a prime number?
True
Let m(u) = -u**3 - 2*u**2 + 1. Let n be m(-1). Suppose 5*g - 19 - 26 = n. Is g a composite number?
True
Let u(h) = 4 - 2 + h - 3*h + 8*h**2. Let w be u(-4). Let v = 227 - w. Is v prime?
True
Let q(z) = -z**2 + z - 1. Let k(a) = 7*a**2 - 7*a - 84. Let o(w) = -k(w) - 6*q(w). Let i be o(0). Is 1 - i/(2 - 5) a prime number?
True
Suppose -5*v + 16 = -5*u + 56, -5*u + 2*v = -25. Suppose 2*l = u*l - 34. Is l prime?
False
Suppose 1882 - 445 = 5*a - q, 2*q - 857 = -3*a. Is a prime?
False
Let k(q) = -q + 13. Let m be k(13). Suppose -4*b - 1 = -3*g - 5, 5*b - 20 = m. Is g composite?
True
Let h = -1348 + 2269. Is h a prime number?
False
Let p(h) = h + 8. Let i be p(-6). Let o be (i/(-5))/((-1)/185). Let w = 171 - o. Is w a prime number?
True
Let q(f) = f**3 - 14*f**2 + 25*f + 31. Is q(18) a composite number?
False
Suppose p = l + 245, 3*p - 1320 = 4*l - 337. Is -6*(-3)/6 - l a prime number?
True
Suppose -4*q - 24 = -b + 36, -5*b - q = -258. Let j be (186/(-9))/((-4)/6). Let i = j + b. Is i a prime number?
True
Is (8/(-16))/((-2)/5316) composite?
True
Let h = 16 - 20. Let z(m) = 18*m**2 - 4*m + 3. Is z(h) a prime number?
True
Suppose 5*s + 14 = 4*v, 4*v + 0*v = 4*s + 12. Let f be 5 - 0 - 4/s. Suppose f*d - 115 = 2*d. Is d prime?
True
Let d = 2 - -15. Suppose 3*i + 15 = 3*c, -3*c + 2*i + d = -2*i. Suppose 2*q - c*q = -19. Is q a composite number?
False
Let a(o) = 6*o**3 + 2*o**2 - 2*o + 1. Let y be a(1). Suppose -17 - 19 = -3*r. Let h = r + y. Is h a prime number?
True
Let x be 3/((-9)/(-6)) + 33. Let m(g) = -g + 9. Let b be m(-11). Let p = x + b. Is p a composite number?
True
Let h be 3/6 - 42/4. Let l(w) be the second derivative of -5*w**3/3 - 11*w**2/2 + 3*w. Is l(h) a prime number?
True
Let b(p) = -7*p**3 + 5*p**2 + 23*p + 3. Is b(-4) prime?
True
Let s(d) = 2*d**2 + 20*d - 17. Is s(-15) prime?
False
Suppose -2425 + 257 = -8*f. Is f prime?
True
Is ((-218)/(-8))/(1/4) a composite number?
False
Suppose 5*l - 10 - 10 = 0. Suppose -l*b - 101 = -5*w, 15 + 46 = 3*w - 2*b. Let v = 70 - w. Is v a composite number?
True
Let k(u) = -u**2 - 11*u + 7. Let j(q) = -3*q**2 - 7*q - 5. Let f(m) = -m**2. Let o(d) = -4*f(d) + j(d). Let z be o(6). Is k(z) composite?
False
Suppose -7*u + 3*u = -12. Suppose u*l = 492 + 1041. Is l prime?
False
Suppose 0*y + 3*r - 30 = -5*y, 3*r = 15. Suppose y*a + a = 16. Suppose 0 = -s - a*z + 9, 0*z = 4*s - z - 87. Is s a composite number?
True
Suppose 2*s + 0*s + 1 = y, 0 = s + 2*y - 2. Suppose -5*j = 3*n - 269, -5*j + 4*n + 417 - 134 = s. Is j prime?
False
Let y(z) = -1 + z - 3*z - 4*z + 2*z. Is y(-11) prime?
True
Let s(c) = -c**2 + 6*c. Let a be s(5). Suppose -4*p - 219 = -v - 2*v, -p = -a*v + 382. Is v prime?
False
Is (-9459)/(-3) - 4/2 prime?
False
Suppose 1013 = 4*x + 29. Let d = x - 169. Is d prime?
False
Suppose 0 = p, 0 = 3*t - 3*p + 4*p - 216. Suppose -5*w + t = -2*g + 3*g, 5*w = 2*g - 69. Is g a composite number?
False
Let d be 50/16 - 4/32. Suppose 3*c + 0*u - 1086 = -3*u, -4*c - d*u + 1445 = 0. Is c prime?
True
Suppose 0 = 3*d + 3*q, -5*d + 54 - 14 = -5*q. Suppose d*c + 5*r = 1173, 2*r + 694 + 157 = 3*c. Is c composite?
True
Suppose -986 = 8*m - 10*m. Is m composite?
True
Suppose 3*h - 375 = -2*o, -2*o - 10 + 4 = 0. Is h prime?
True
Let p = -27 + 33. Let f(t) = 4*t**3 - 4*t**2 + 4*t - 7. Is f(p) a composite number?
True
Let r = -10 + 8. Let m be r/(-8)*3*-4. Is (-2)/3 - 149/m composite?
True
Suppose -3*w - 5 = -4*w. Suppose 3*t - w*t + 74 = 0. Is t a composite number?
False
Suppose 2*t + 0*t = 0. Let j(u) = u**2 + u + 77. Is j(t) a prime number?
False
Let u(t) = 5*t - 7. Let n be u(2). Is ((-449)/n)/(14/(-42)) a composite number?
False
Let l(c) = -c**2 + 8*c - 10. Let p be l(7). Is (5*53)/(4 + p) prime?
False
Suppose -2*z - g = 3*z - 41, -43 = -3*z + 4*g. Is z composite?
True
Let h(t) = -t + 10. Let x be h(5). Suppose -174 - 161 = -c - k, 2*c - 682 = -x*k. Is c a prime number?
True
Let n = -22 + 13. Suppose 3*y = g + 4*g + 23, 5*g + 15 = -5*y. Is y + 3/(n/(-228)) composite?
True
Let i = -304 + 635. Is i composite?
False
Let u = -8039 + 13978. Is u a composite number?
False
Let a = 6 - 4. Let x(g) = 2*g**2 - 3*g - 2. Let r be x(-2). Suppose -a*p = 2*p - r. Is p composite?
False
Is -1 - (2 - 7034)/4 a prime number?
False
Let p = 26 - 37. Let f(z) = -11*z + 6. Is f(p) prime?
True
Let v(a) = -a**2 + 3*a - 2. Let c be v(2). Suppose c = -14*p + 11*p + 771. Is p a prime number?
True
Suppose h - 113 = -0*h. Is h a prime number?
True
Let v(i) = i**2 + i + 644. Let l(z) = -z**2 + 3*z + 4. Let m be l(4). Let o be v(m). Suppose -o = y - 5*y. Is y prime?
False
Let i(l) be the second derivative of l**7/840 - l**6/120 + l**5/24 - l**4/6 - l. Let g(t) be the third derivative of i(t). Is g(6) composite?
True
Suppose -2*d = -d - 3. Let k be 3/9 + (-1)/d. Is k + 2 + -4 - -12 composite?
True
Let o(w) = -75*w - 6. Let a(b) = -b - 1. Let x(d) = 4*a(d) + o(d). Let r be x(8). Is r/(-4) + (-3)/(-6) composite?
True
Let t(x) be the third derivative of x**5/20 - x**4/6 + x**3/3 + 5*x**2. Is t(5) composite?
True
Let f(c) = -c**3 + 6*c**2 - 5*c. Let n be f(5). Let w(j) = -j + 41. Let x be w(n). Let t = 75 - x. Is t a composite number?
True
Let s be (2 - (-4)/(-2))/(-2). Suppose s = -z - 0*z + 10. Is z a composite number?
True
Suppose -m + 2 = m. Let w(u) = 36*u**2 - u. Is w(m) composite?
True
Suppose -3*z - 4*u + 2984 = 0, -1 + 13 = -3*u. Suppose 476 = 4*v - z. Suppose 3*j + v = 3*w, w + 5*j = 5*w - 496. Is w a composite number?
True
Suppose 0 = -d + 12*d - 6743. Is d prime?
True
Suppose 3*m - 3*j = 18, 0 = 3*m + j + 1 + 1. Is -1*2 - (m + -260) a prime number?
True
Suppose -1354 = 4*t + 374. Suppose 343 + 298 = -i - a, 0 = -i + 2*a - 647. Let k = t - i. Is k prime?
True
Suppose 3*i = 3*f - 12, -9 + 4 = -3*f - 4*i. Suppose c - 18 = -f. Suppose -c = -t + 18. Is t a composite number?
True
Suppose 0 = d - 4 - 1. Suppose 4*q + d*y - 116 = 0, -3*q + 128 = q + 2*y. Is q a composite number?
True
Let h(g) = 4*g**3 + 7*g**2 - 8*g - 2. Let f(u) = u**3 + u**2 - u. Let z(o) = -6*f(o) + h(o). Let p = -8 - -5. Is z(p) composite?
False
Let t = -96 - -361. Is t composite?
True
Suppose 0 = -3*i + 895 + 278. Is i a prime number?
False
Let t be 0/(-3) + 2 + 0. Is 0 + 2 + t + 7 a composite number?
False
Let o(l) = 151*l**3 + 10*l**2 + 14*l + 36. Let p(b) = 30*b**3 + 2*b**2 + 3*b + 7. Let f(j) = 2*o(j) - 11*p(j). Is f(-2) composite?
True
Let i(x) = x**2 - x - 7. Let u be i(-4). Let c be 9 - 0*(-2)/(-4). Let m = u + c. Is m prime?
False
Suppose 2*k + 4*w = 3*w + 3472, -3*w - 3464 = -2*k. Is k a prime number?
False
Let j be 5/1