b - 3*o + 1453. Is b prime?
False
Suppose 4*g - 18 = 2*g. Let x = 6 - g. Is 3/(x/2) + 159 prime?
True
Let n(v) be the second derivative of 9*v**4/2 + v**3/6 - 2*v. Suppose 4*x = -2*l + 18, -x + 6 - 3 = 2*l. Is n(l) composite?
False
Suppose -l + 5 - 2 = 0. Suppose 2*s - 113 = -l*v, 3*s = -0*s + 3*v + 132. Is s prime?
False
Let x(c) = c**3 + 14*c**2 + 3*c + 6. Let l be x(-13). Let o = l + 25. Is o prime?
False
Suppose k = -2*k + 15. Suppose -4*t = 4*z + 33 + 3, -13 = -3*z + k*t. Is (-222)/z + (-2)/4 a prime number?
False
Suppose 14*n - 23256 = 16882. Is n a prime number?
False
Suppose 8 = 5*v - 17. Let d = 5 - v. Suppose d*m = -4*m + 148. Is m prime?
True
Let s be 3516/18 - (-4)/6. Suppose s = 2*l + 2*l. Is l a prime number?
False
Let h be (1 - 1)/(0 - 2). Let m(l) = -28*l - 3. Let w be m(-6). Suppose -4*v + v + w = h. Is v a composite number?
True
Suppose -6847 + 27565 = 9*q. Is q a prime number?
False
Suppose 0*t + 3*b = -2*t - 19, -5*t + 2*b = 0. Is (t + 1)/((-3)/42) a composite number?
True
Let g(h) = 27*h**2 - 5*h - 3. Is g(4) a composite number?
False
Suppose 4*i + 956 = 4*u, 3*i = u - 207 - 36. Suppose -f = 2*f - u. Is f composite?
False
Suppose -2*a = -0 - 8. Let t(z) = -z - a + 3*z + 3. Is t(4) a composite number?
False
Let g = -1724 - -3216. Is (8/16)/(2/g) a prime number?
True
Suppose -4*q + 110 + 654 = 0. Is q composite?
False
Suppose 0*f = f. Let n(t) = -t**2 - 2*t + 71. Is n(f) composite?
False
Let q = 60 - -32. Let y(u) = -u**3 - u**2 + q + 2*u**2 + 71. Is y(0) a composite number?
False
Suppose 0 = -a + 2 + 24. Let m(p) = 17*p + 34*p + a*p. Is m(1) prime?
False
Let i(v) = -2*v**2 - 3*v - 3. Let w be i(-2). Let s be (-348)/(w + 2) - 1. Is (s/2)/((-1)/(-2)) composite?
True
Suppose 11 = 4*n - 337. Suppose -n = 3*k - 4*k. Is k prime?
False
Suppose w - 2*w = -28. Let u = w + -2. Is u prime?
False
Suppose d + 1 = 4*y - 3, -6 = -3*y. Let g = d + 9. Suppose -2*p = -g - 17. Is p a prime number?
False
Suppose r = 2*r + 1. Let v be 2/(-6) + r/(-3). Is (0 - (-1 + v)) + 36 composite?
False
Let z = 14 + 165. Is z prime?
True
Let j(s) = 2*s**2 + 3*s + 2. Is j(7) a composite number?
True
Let n(d) = -d**2 + d. Let r(l) = 3*l**2 + 23*l + 7. Let k(y) = -4*y**2 - 34*y - 10. Let x(o) = 5*k(o) + 7*r(o). Let w(u) = -3*n(u) - x(u). Is w(-6) prime?
True
Let v = -28 + 138. Let i = v + -33. Is i composite?
True
Suppose 0 = l + 718 - 4911. Is l a composite number?
True
Suppose v + 4*v = -5*a + 10, -v - 2*a = -2. Suppose -2*k - 2*k = -u + 95, 2*u + k = 145. Suppose -v*z + 83 = -u. Is z a prime number?
True
Suppose 52 + 23 = 5*d. Is d a composite number?
True
Is -2692*((-3)/(-12))/(-1) a composite number?
False
Let j(l) = 2*l**2 + 11*l + 13. Is j(-10) composite?
False
Is (203 - 3) + (-6)/(-2) a prime number?
False
Suppose 3*y = 3*f + 81, 2*y - f - 50 = -3*f. Suppose 2*r = 4*t - 33 - 71, -t = r - y. Is t prime?
False
Let f = -5 + 4. Let m be (8 + 2)*f/(-2). Suppose r + 70 = 2*r + m*o, -269 = -5*r + 2*o. Is r a prime number?
False
Suppose 0 = -f - f - 3*i + 775, -4*i = 4. Is f prime?
True
Let d(b) = -b + 9. Let w(v) = -v + 8. Let r(k) = 2*d(k) - 3*w(k). Let h be r(11). Suppose -157 = -3*u + 4*t, 5*u + h*t = -0*u + 215. Is u prime?
True
Let q be ((-48)/20)/((-4)/90). Let n = -17 + q. Is n prime?
True
Let s(u) = -3*u**3 - 4*u**2 - 4*u + 5. Let p(i) = -2*i**3 - 3*i**2 - 3*i + 3. Let n(l) = -7*p(l) + 5*s(l). Let y be n(0). Is 290/6 + y/6 prime?
False
Let p(d) = -d**3 + 3*d**2 + 6*d - 3. Let j be p(4). Let y be (-4)/(-8) - 123/(-2). Suppose y = j*s - 63. Is s composite?
True
Let p(b) = -b**2 + 7 + b - 3 + 13*b. Is p(11) prime?
True
Suppose 0*f = 2*f + p - 173, 2*f - 188 = 2*p. Is f a prime number?
True
Suppose v + 5*m - 892 = 0, v = 4*v - 5*m - 2616. Is v prime?
True
Let d = 111 - 76. Is d a prime number?
False
Is ((-27)/(-54))/(-2 - (-2453)/1226) a composite number?
False
Let i(x) be the second derivative of -11*x**4/6 - x**3/2 + 2*x**2 - 2*x. Let y be i(4). Let o = 523 + y. Is o composite?
False
Let i be -19 - -5 - (-2)/2. Suppose -5*x + 128 = 428. Let d = i - x. Is d a prime number?
True
Let m(v) = -v**2 + 5*v - 2. Let j be m(4). Suppose -46 = -j*f + 472. Is f composite?
True
Let p = 8 + -50. Is 891/7 - (-12)/p composite?
False
Suppose -4*h + 2584 = -4*n - 0*n, 3*h - 1918 = -n. Is h composite?
False
Let c = 66 + 79. Is c prime?
False
Suppose 4*g = -3*u + 1637, -5*g = -5*u - g + 2771. Is u a prime number?
False
Let g = -101 - -300. Is g a prime number?
True
Let t = 3 + -1. Is (3/(-12))/(t/(-536)) a composite number?
False
Let h(t) = t**2 + t + 1. Let x(u) = 7*u**2 + 4*u + 7. Let f(i) = -6*h(i) + x(i). Let p be f(2). Is p/(-2) - (-13)/2 composite?
True
Suppose 2*o + 0*o = 986. Is o composite?
True
Let q = 13 + -18. Let p(y) be the third derivative of -11*y**4/24 + 2*y**3/3 + y**2. Is p(q) a prime number?
True
Suppose 0*c = c - 295. Is c a composite number?
True
Let k(s) = 10*s - 3. Let m be k(12). Suppose z - m = -2*z. Is z a composite number?
True
Let w be 5/15*(-6)/(-2). Is (2 - 3)/w*-26 a prime number?
False
Let a be (-18)/(-14) + (-4)/14. Let c(f) = 2*f + 1. Let g be c(a). Suppose 5*y + g*k - 50 = -2*k, 0 = 2*k + 6. Is y prime?
True
Let o be (942/(-10))/((-1)/5). Is (o/(-12) - -2)*-4 prime?
True
Let k(s) = 35*s**2 - 4*s + 7. Is k(-4) a composite number?
True
Let q = 443 - -204. Is q prime?
True
Let x(a) = 2*a**3 - 3*a**2 + 8*a - 8. Is x(7) composite?
False
Suppose -2*c = -0*c - 408. Let t be (-1 - -1)*(-3)/(-6). Suppose 4*x + 0*x - c = t. Is x a composite number?
True
Is -2*(669/2)/(-3) composite?
False
Let r = 81 + 388. Is r a composite number?
True
Suppose 4*d - 125 = 2*k - 7*k, -k = -2*d - 25. Is k a prime number?
False
Let l(s) = 289*s**2 - 3*s + 1. Is l(2) a composite number?
False
Suppose 4*y + 12 = -5*d, 4*d - 1 = -17. Suppose 6 = 4*l - y. Suppose l*p + 3 - 121 = 4*a, 0 = 4*p - a - 236. Is p a composite number?
False
Let i(k) = -k**2 - 31*k - 23. Is i(-25) composite?
False
Is (-1)/((-3)/879*1) a prime number?
True
Suppose -2*l = -2*q + 6, -3*q + 14 = 5*l + 45. Is 6/15 + (-173)/l prime?
False
Let f = -4 + 4. Let y(c) = c**3 + c**2 + c + 71. Is y(f) prime?
True
Suppose 0 = -r + 6*r. Suppose t + 2*t = r. Suppose 5*n + 10 = t, 2 = 2*b + 5*n - 16. Is b composite?
True
Let w be 3/((-2)/(-36)*3). Is w/45 - (-206)/10 a composite number?
True
Suppose -2235 = 2*f - 5*f. Is f a composite number?
True
Let b(a) = -202*a + 19. Is b(-9) a prime number?
False
Let n be (-3)/(36/15)*-4. Let f be -1*2/3*-3. Suppose -f*u = n*y - 69, -y + 0*u + 3*u = -7. Is y prime?
True
Let a(b) be the first derivative of -5*b**4/4 + 2*b**3/3 - b + 1. Let o = 5 - 7. Is a(o) a prime number?
True
Let f(q) = q - 4. Let x be f(6). Suppose x*u - 265 = -3*u. Is u a prime number?
True
Let d(z) = 4 - 8 - 8*z - z**2 + 2*z + 0*z**2. Let b be d(-6). Is (106/b + 2)*-2 composite?
True
Is 0 - (-573)/(-2)*24/(-36) prime?
True
Suppose 5*h = -0*h. Let i = h + 0. Suppose 2*k + k - 111 = i. Is k a composite number?
False
Let f(t) = t**3 + 3*t + 1. Let c(d) = -d**3 - 7*d**2 + 3. Let k be c(-7). Is f(k) composite?
False
Let g(f) = -2*f + 22. Let m be g(-7). Let w = -27 - -40. Let s = m - w. Is s a composite number?
False
Is 5/(5/1)*509 a prime number?
True
Let g = -3265 + 5132. Is g prime?
True
Let z = 5 + -3. Suppose 3*u - 8 = -z. Suppose -u*a = 2*a - 100. Is a composite?
True
Let c = 390 + -213. Is c prime?
False
Suppose -218 = -5*x + 3*x. Is x a composite number?
False
Let i(c) = -21*c - 14. Is i(-13) a composite number?
True
Suppose -4*a = 5*q - 3*q - 370, -4*a + 2*q + 374 = 0. Suppose -a - 92 = -5*k. Is k prime?
True
Let y = 23 + -21. Is -21*(154/(-6) + y) prime?
False
Let g = -188 + 615. Let l = 338 + -624. Let n = g + l. Is n a prime number?
False
Let i(y) = y**3 - 18*y**2 + 26*y - 21. Is i(18) a prime number?
False
Suppose 0*p + 5*p = -45. Let c = p - -60. Let q = c - 30. Is q a composite number?
True
Suppose 0 = 3*i - 6 - 0. Suppose -4 = -0*s - i*s. Suppose 2*y + 3*p = p + 152, -s*y = -4*p - 170. Is y composite?
False
Let i be (-8)/(-5) - 10/(-25). Suppose -13 = i*q - 3*q. Is q a composite number?
False
Let o be -1*(4 + -7) - 1. Suppose -3*m - 2*f + 84 = 0, 3*f = -m - 4*m + 140. Is ((-1)/o)/((-2)/m) a composite number?
False
Let i(j) = -4*j**3 - 6*j**2 - 7*j + 3. Is i(-4) composite?
False
Let h(o) 