q be m(5). Suppose q*b = -2*b + 230. Is b prime?
False
Let a = -1173 - -540. Is 14/21*a/(-2) a composite number?
False
Let h be (9/(-6))/(3/(-6)). Suppose -h*l - n = 11, 5*l + n + 22 = 1. Is ((-138)/8)/(l/20) prime?
False
Let s(l) = 48*l - 5. Is s(3) a composite number?
False
Let t(j) = -76*j - 55. Is t(-23) prime?
True
Let c(w) be the third derivative of w**4/24 - 5*w**3/3 - 2*w**2. Let v be c(11). Let q = 13 + v. Is q prime?
False
Suppose -4*i + 6*i = 4. Suppose i*r - 3*r + y + 65 = 0, 193 = 3*r - 4*y. Is r a composite number?
False
Let a(o) = 6*o**2 - 9*o + 6. Let c(w) = w**2 + w - 1. Let p(j) = a(j) - 2*c(j). Is p(9) a composite number?
False
Let l = 29 - -12. Let a = l + -27. Is a a composite number?
True
Suppose -l = -2*k + 62, -2*k = -3*l + 36 - 98. Let v = -1 - -1. Suppose v*u = u - k. Is u prime?
True
Let p(k) = -k**3 + 5*k**2 + 3*k. Let n be p(6). Let f = n + 37. Is f prime?
True
Suppose -2*k + 2395 = 3*k. Is k a prime number?
True
Let q = 2 - -1. Let y(m) = -m**q + 2 + m - m + 9*m + 8*m**2. Is y(9) composite?
False
Suppose p - 25 = 648. Is p composite?
False
Let l(x) = 6*x**2 - 1. Is l(-4) a prime number?
False
Suppose 102 = 2*q - 48. Let y = 130 - q. Is y a composite number?
True
Let m = 5 + -1. Is 46/m*2*1 prime?
True
Suppose 2 = 3*q - 1. Suppose 4*p + q = -b - 0, -b + p + 4 = 0. Suppose 0 = b*n - 15, -4*m - 4*n = -0*n - 256. Is m composite?
False
Let s be (-8)/84*-3 - (-11261)/7. Let t(u) = u + 6. Let c be t(-6). Suppose -j - 636 = -3*w, c = -5*w + 2*j + s - 548. Is w composite?
False
Suppose 5*w - 35 = -5*q, -9 = -2*w - 5*q + 4*q. Suppose -3*j = -15, z - 2*j + 5 + w = 0. Is z prime?
True
Let w(u) = -11*u**3 - 2*u + 4. Is w(-3) a composite number?
False
Let r(n) be the first derivative of 7*n**4/4 - n**2 - n - 1. Is r(2) a prime number?
False
Is (-8)/16 - 2519/(-2) a composite number?
False
Suppose -p + 2*p = 807. Is p composite?
True
Suppose -4*y = -4*m - 1336, -3*y - 2*m = -0*m - 1027. Is y composite?
True
Let w = -20 - -18. Is 1137*4/12 + w a prime number?
False
Let i = -29 - -56. Let r be (-15)/2*126/i. Is (-2)/4*2 - r prime?
False
Suppose 54 + 40 = c. Suppose -4*n + 126 = -c. Is n prime?
False
Let t(y) = y**3 + 3*y**2 - y - 2. Let u be t(-3). Let g be (u + -4)/(9/(-12)). Suppose -k + c = -130, -g*c + 8*c - 12 = 0. Is k a prime number?
False
Let i(c) = 24*c**2 - 1. Let a = 1 + -3. Let b be i(a). Suppose -g + 5*q = -103, 4*q = g + q - b. Is g a prime number?
True
Let h = -3 - -3. Suppose h = -4*k + 2*k + 42. Is k a prime number?
False
Let v be 4*(-2 - 15/(-6)). Let l be (v + 7)*1 + -2. Suppose 2*f + y + 447 = l*f, 2*f = 5*y + 188. Is f composite?
False
Suppose 0 = 3*l - l + 296. Let u = 55 - l. Is u a prime number?
False
Let m(w) = 9*w**2 - 5*w + 6. Let n be m(-6). Suppose -2*y + n = 4*i - 6*y, 0 = 5*i + 2*y - 485. Is i composite?
True
Let v be 9 + (0 + 4)/(-4). Suppose v*q - 674 = 6*q. Is q composite?
False
Suppose -3*z - 9 = 5*b, -3*b = z + 3 + 4. Let w = 765 - 545. Is z/6 - w/(-6) a composite number?
False
Let o be ((-4)/(-10))/(2/(-1960)). Let z be (-8)/40 + o/(-10). Suppose 0 = -5*a + z + 126. Is a prime?
False
Let v(g) = g**2 - 6*g - 3. Let n be 0/(-1) + (-5 - 1). Is v(n) prime?
False
Let d be 2*(1 + (-33)/6). Let f(t) = -t**2 - 9*t + 3. Let b be f(d). Suppose 3*g - 2 + b = -2*a, 5*g - a - 20 = 0. Is g a prime number?
True
Suppose -5 = 5*c - 20. Suppose c*m = -l + 65, -l + 3*l - m - 151 = 0. Suppose -g = g - l. Is g a prime number?
True
Is (10/(-45)*3)/(6/(-4311)) a prime number?
True
Suppose -4*n = 5*h - 4953, 8*n = -5*h + 3*n + 4950. Is h a prime number?
False
Let d(l) = l**3 + 11*l**2 + 2*l + 13. Is d(-10) a composite number?
True
Suppose 4*d - 20 = 0, -3*c + 4*c = -d + 5. Is (c - 95/(-1))*1 composite?
True
Let x be (-1 - (2 - 1))*-1. Let m(g) = g + 8. Let a be m(-5). Suppose r + x*v = 105, 2*r + a*v = -0*r + 213. Is r composite?
True
Suppose 0 = -3*k + f - 4, -5*k - 3*f + 12 = -2*k. Is (-1)/(k - (-1)/(-199)) a composite number?
False
Suppose -r = 3*r - 880. Suppose 2*w - r = -2*w. Is w a prime number?
False
Let h(b) = -628*b - 1. Is h(-2) prime?
False
Let r(y) = -30*y**3 + 3*y**2 - 3*y + 4. Let s be r(-3). Suppose -2*o + 6*o - w - 842 = 0, -3*w + s = 4*o. Is o prime?
True
Suppose -2*n + 804 = 4*v, -v = 4*v - 4*n - 979. Is v a prime number?
True
Let v(g) = g**2 + 2*g + 2. Let r be v(-3). Suppose 3*h = 4*l - 199, -3*l = -r*l + h + 101. Suppose 0 = p - 79 - l. Is p composite?
False
Let z = 84 + 34. Suppose p = g + 4*p - 23, -p = -4*g + z. Let t = g + -14. Is t composite?
True
Suppose 2*m + 5*a - 18 + 2 = 0, 0 = -2*m + 2*a + 16. Suppose 5*i = -0*i + 40. Is 2/i - (-374)/m composite?
False
Let g = 163 + -72. Is g a prime number?
False
Suppose -5*h = -21 - 14. Suppose h*n = 3*n + 380. Is n a composite number?
True
Let z(b) = -b**3 + 7*b**2 + 7*b - 9. Let u be z(6). Suppose 0 = -4*i + 2*n + 424, -5*i + 344 = 5*n - 186. Let d = i - u. Is d a prime number?
True
Suppose 555 + 26 = o. Is o composite?
True
Let d be (-3 + 1)/(1/52). Let c = -57 - d. Suppose 0*y - c = -y. Is y a composite number?
False
Suppose 3*z - 303 = 5*y, 10*z - 5*z - 536 = -2*y. Suppose -t + z = -55. Is t a composite number?
True
Suppose -5*t = 5*w - 15, -3*t - 1 + 9 = 4*w. Suppose 3*l + t*s - 160 = 0, 0 = l + l - 4*s - 100. Let z = 105 - l. Is z a prime number?
True
Let v(l) = -3*l**3 - 2*l. Let p be v(3). Let a = p + 221. Is a a prime number?
False
Let m(x) = 2*x**2 + 15*x + 7. Suppose 0*a + 2*a + 24 = 0. Let d be (1*a)/(-1 - -2). Is m(d) a composite number?
True
Let a = -7 + 11. Is 254*a/(-40)*-5 a prime number?
True
Let l(s) = -510*s + 24. Let p(g) = -255*g + 12. Let f(n) = -4*l(n) + 9*p(n). Let a be f(8). Is (-1)/(-4) - a/16 a composite number?
False
Suppose 2*i - 4 = -0*i. Suppose -44 = i*r - 4*r. Is r composite?
True
Suppose 4*r - 1641 = 5*c, r - 2*r = -5*c - 414. Is r a prime number?
True
Is (-687)/(-9) + (-6)/(-9) composite?
True
Is (-405 - (-1 + 3))/(0 - 1) a prime number?
False
Is 269/3 - 6/9 prime?
True
Suppose 0*t = -2*t + a + 5911, -2*t + 5881 = 5*a. Is t composite?
False
Let p be (-2)/((4/19)/2). Let w = -12 - p. Suppose -3*g + 49 = 2*i, g + 3*i - w = -0. Is g composite?
False
Let m(a) = 3*a**3 + 15*a**2 - 5*a + 1. Let d(y) = 2*y**3 + 8*y**2 - 2*y + 1. Let j(h) = 5*d(h) - 3*m(h). Let l be j(4). Is (-4)/(-12) + 124/l prime?
False
Let u be (-2)/(-5) + 13868/(-20). Let n = -262 - u. Suppose 117 = -2*b + n. Is b a composite number?
False
Suppose 0 = 5*r - 3 - 22. Let o(j) = j**3 - 5*j**2 + 2*j - 7. Let n be o(5). Suppose -3*l + 13 = l - r*a, -2*l + 5 = -n*a. Is l composite?
False
Let i be (8/(-5))/((-2)/5). Suppose 4*v - 4*l - 89 = 3, -i*l = 8. Is v a composite number?
True
Let o be 5/(-1)*(-3)/5. Suppose o*i = -i + 308. Is i composite?
True
Let t(a) = 26*a - 1. Suppose -4*o + 11 = 3. Is t(o) a prime number?
False
Let i(h) = 3*h - 3. Let g = 2 + 0. Let b be i(g). Suppose 3*u = 4*a - 487, -a = -0*a + b*u - 118. Is a composite?
True
Let i(w) = -w - 6. Let g be i(-8). Let o = g + 6. Suppose 2*u - 33 = b + o, 5*b = -3*u + 42. Is u a composite number?
False
Let n(x) = 3*x**2 + 2*x - 2. Let j be n(6). Suppose -211 = -2*p - 61. Let r = j - p. Is r a composite number?
False
Suppose n - 6*n = -15. Suppose 4*c + 4*g - 812 = 0, -2*c - n*g = -3*c + 211. Is c a prime number?
False
Let f be (-159)/(-6) - (-1)/(-2). Let p = -11 + f. Suppose -p = -3*r + 144. Is r prime?
True
Suppose -7*q + 6*q = -23. Suppose -595 = -4*s - q. Is s a prime number?
False
Let v = 873 + -550. Is v composite?
True
Let g = -1093 + 1970. Is g a composite number?
False
Let q = 34 + 85. Is q a composite number?
True
Suppose 3*v - 6358 - 1865 = 0. Is v a composite number?
False
Let l be 8222/14 + (-8)/28. Suppose 0*w = -w + l. Is w prime?
True
Suppose -300 = 5*y - 910. Let l = 187 - y. Is l a composite number?
True
Suppose -3*n - 7 = -1. Let k(i) = -16*i**3 - 3*i - 3. Is k(n) prime?
True
Let f(n) = 79*n + 4. Is f(7) composite?
False
Suppose 0*t + 4*t = 220. Is t composite?
True
Let j = -314 + 467. Suppose -4 - j = -m. Is m a prime number?
True
Let s = 662 - 331. Is s a composite number?
False
Let l(h) = 8*h**2 + 18*h - 11. Is l(9) prime?
False
Let s(l) = l**2 - l. Let w be s(1). Is (40 + -3 - w)*1 a prime number?
True
Suppose 5*g + 2*i = 3933, -4*g - 3*i + 2*i = -3144. Suppose 3*n + 2*n