 + 6*d**2 - 3. Let v be r(-6). Let u(x) = -13*x - 2. Is u(v) a prime number?
True
Is 6/10 + (-15)/(300/(-30728)) composite?
True
Suppose 3*v + 2*j = 2371, -1871 - 1252 = -4*v + 5*j. Is v a composite number?
False
Let f(z) = 0 - z**2 + 3 + 10*z - 5. Let s = -4 - -9. Is f(s) prime?
True
Let w(n) = n**3 + 14*n + 4. Is w(5) a composite number?
False
Let m = -7 + 10. Suppose -y - 263 - 249 = -2*g, 0 = m*g - 3*y - 774. Is g a composite number?
True
Let d(m) = m**2 - 6*m + 4. Let r = 2 + -2. Let h be 21/6*(r - -2). Is d(h) prime?
True
Suppose 3*b = 15, -5 = -4*x - 2*b + 21. Suppose 4*q + 2*p - 14 = 0, 0 = p + 1 - x. Is -2 - 41*-3 - q a prime number?
False
Let n = 1498 + -829. Is n a prime number?
False
Is ((-4)/6)/(48/(-36216)) a prime number?
True
Suppose -627 = -4*v + 181. Suppose 0 = 3*n + 4 - v. Is (-2)/(-11) + 1440/n prime?
False
Suppose 14*p + 5227 = 15*p. Is p prime?
True
Suppose m - 2 = -0*m. Is 128 + 3 + (m - 0) a composite number?
True
Suppose 0 = 4*i - 5 - 23. Suppose 39 = 4*p - i*p. Let f = 66 - p. Is f composite?
False
Suppose -3 = v + 4. Let w = 9 + v. Suppose 0 = 4*c - 3*u - 24, -c - w*c - 2*u = -35. Is c composite?
True
Suppose -a = -40 - 11. Suppose -4*h - a = -7. Is h*(-1)/(0 + 1) a prime number?
True
Suppose 3 - 23 = -5*w. Suppose 0 = -8*n + 12*n - 8. Suppose -194 = n*m - w*m. Is m composite?
False
Let x(f) = 61*f**2 - 6*f - 9. Is x(-4) composite?
False
Suppose 0 = -3*x + 1908 + 5685. Is x composite?
False
Suppose -4*q + 505 = -t, 78 = q - 5*t - 34. Is q composite?
False
Let h(w) = -w**2 - 5*w - 1. Let c be h(-6). Let s(i) = -i**3 - 6*i**2 + 7*i. Let l be s(c). Suppose 5*d - 2*d = z, l = 2*z + 2*d - 16. Is z composite?
True
Let o(s) = -151*s. Is o(-7) composite?
True
Is (642 - -7)*(1 - (0 - 0)) prime?
False
Let u(o) = 33*o. Let r(x) = -x**2 + 4*x. Let h be r(3). Let n be u(h). Suppose 5*l = 2*l + n. Is l composite?
True
Suppose -4*q - 86 = -3*r, 2*r - 4*r - 5*q = -65. Let m = r - -37. Is m a prime number?
True
Suppose 15 = -5*w, 6*w = -a + 2*w - 13. Is (-90 - -7)*1*a prime?
True
Let i(d) = 21*d**2 + 6*d + 9. Is i(-4) composite?
True
Let r = -155 - -347. Suppose -s = -r + 23. Is s a composite number?
True
Let k(s) = s**3 + s**2 - s + 65. Let i be k(0). Let o = 117 - i. Suppose 0 = 5*j - 647 + o. Is j a prime number?
False
Suppose v = 28 + 83. Is v a composite number?
True
Let s(l) = l**2 - 3*l + 6. Let y be s(4). Suppose -q + 47 = y. Is q a composite number?
False
Suppose -j - 3 = -2*j. Suppose -y + 5*o + 109 = 0, 0 = -2*y + j*o - 0*o + 190. Let q = 166 - y. Is q composite?
True
Let p = 2755 + -1764. Is p composite?
False
Suppose 624 = -0*q + 4*q. Suppose 5*z + 2*r + q = 6*r, 3*z - 4*r + 100 = 0. Let k = z - -61. Is k a composite number?
True
Suppose -3*b + 6*b - 4*f = 33, -b + 4 = f. Suppose 0 = -b*x + 2*x. Suppose x = -5*i + 2*i + 147. Is i prime?
False
Let k = 64 - 12. Let t = k + -21. Is t composite?
False
Let f(h) = -h**2 - 5*h - 4. Let l be f(-3). Is ((-53)/2)/(l/(-4)) a composite number?
False
Let o be 2/(-3) - (-64)/24. Suppose o*x + 518 = 2*z, 247 = z - x - 4*x. Is z composite?
True
Let y(u) = -u**3 - 3*u**2 - 11*u + 11. Let t = -9 - -15. Let p(q) = -q**2 - q + 1. Let v(d) = t*p(d) - y(d). Is v(4) prime?
True
Let p(s) be the second derivative of -s**4/6 + s**3/2 + s**2 - 2*s. Let i(w) be the first derivative of p(w). Is i(-5) a prime number?
True
Let b(l) = -l + 5*l - 3*l + 4. Let q be b(-4). Suppose q*z + 4*z - 268 = 0. Is z a prime number?
True
Let y(g) = -517*g + 57. Is y(-10) prime?
True
Let b(f) = f**3 + 11*f**2 - 2*f - 19. Is b(-9) prime?
False
Let d(r) = 23*r**2 - 2*r - 1. Let k be d(-1). Suppose -k + 246 = 2*c. Is c composite?
True
Suppose 2*o - 354 = -0*o. Let u = o - 112. Suppose -5*k = 5*g - u, 4*k = g + 2 - 0. Is g prime?
False
Let j(y) = 2*y**2 + 12*y + 4. Let g be j(-6). Let t be (-3)/(1 - 0)*-1. Suppose -4*c = 4*k - 64, -g*k - 3 = -c + t. Is c a prime number?
False
Let c(n) = n**3 + n**2 - 3*n + 1651. Is c(0) composite?
True
Let k = -3788 + 6241. Is k composite?
True
Let u = -7 - -10. Let b(g) = u - 8 - 3*g - 4. Is b(-6) composite?
True
Let u(b) = -20*b**2 - 36*b + 35. Let a(d) = -4*d**2 - 7*d + 7. Let x(s) = -11*a(s) + 2*u(s). Let o be x(6). Suppose 2 = -3*w + o. Is w a composite number?
True
Suppose 5*b = 836 - 241. Is b composite?
True
Suppose 0 = -5*l + 5*q - 18 - 12, 4*l - 8 = -4*q. Is 1/(l/(-96)) - 1 prime?
True
Let o(j) = -j + 1. Let n be o(-1). Suppose 0 = -5*f + 3*q - 581, 5*q - n*q = -3*f - 363. Let m = -63 - f. Is m prime?
False
Suppose 0*j + 2 = 5*c - 2*j, -3*c = -5*j + 14. Suppose -2*a + 528 = c. Is a composite?
False
Suppose 5*u - 15 + 1 = -3*i, -2*u + 14 = 4*i. Suppose -i*p + 15 = 3*g - 6*p, -5*g = -3*p - 27. Is ((-3)/g)/((-1)/278) a prime number?
True
Let w be (8 - 3) + (-3 - -1). Suppose 253 = 5*r - 2*c, -w*c = r - 22 - 15. Is r a composite number?
True
Suppose 0 = -7*o + 3*o + 932. Suppose 0*x - o = -x. Is x composite?
False
Suppose -60 = -3*h - 0*h. Suppose -3*f - 2*f = -h. Suppose -2*k + 43 = 2*s - 125, f*k = -12. Is s prime?
False
Let p be (-170)/6 + 2/6. Let a = p - -111. Is a a prime number?
True
Let h(l) = 2*l**2 - 4*l + 2. Let r be h(4). Is (-4)/(-3) - (-2262)/r a composite number?
False
Suppose 0*o + 4*o - 3688 = 0. Is o composite?
True
Suppose -5*x + 30 + 5 = 0. Let w be (68*x - 2)/2. Suppose w = 2*s - 85. Is s a composite number?
True
Suppose -5 - 7 = -4*z. Suppose -z*c + c + 10 = 0. Let v = -3 + c. Is v prime?
True
Suppose 3*y - 345 = -2*y. Is y prime?
False
Let o = 176 + 312. Suppose 2*w + 2*y - y = 242, -3*y = 4*w - o. Is w composite?
True
Is (-1)/2*-2*62 a prime number?
False
Is 2/(8/652 + 0) prime?
True
Let k = -18 - -23. Is (-6)/30 + 1906/k composite?
True
Let s(m) = -m**3 + 4*m**2 + 3. Let y be s(4). Suppose -2*o + 4*o - 10 = 0. Suppose o*a - 80 = -4*w, -w - y*a + 2*a + 21 = 0. Is w a composite number?
True
Suppose 0*f + 2*f + 119 = 3*b, 0 = 3*b + 3*f - 99. Is b composite?
False
Let y be ((-554)/3)/(8/12). Let g = 488 + y. Is g composite?
False
Suppose 0*i = i - 2. Suppose -z + 5*z - j - 146 = 0, 3*z - i*j = 107. Is z a prime number?
True
Suppose -k + 41 = -45. Let b = -31 + k. Is b a composite number?
True
Suppose 3*u = 5*s + 686, 191 - 65 = -s - 5*u. Let a = s - -93. Let t = 10 - a. Is t composite?
False
Suppose -z - z + 184 = 0. Is -3 + 3 + -1 + z prime?
False
Is (-494)/(-10) + 40/(-100) a composite number?
True
Let r be 6*4/3 - 3. Suppose -3*c - 78 = -3*q, c + 7 = r*q - 111. Is q a composite number?
False
Let u = -84 + 87. Let v be 4/10 - 446/(-10). Suppose -u*m = m, -3*n = -3*m - v. Is n a composite number?
True
Suppose 976 = 2*t - 922. Is t prime?
False
Let l be (-1)/((-2)/((-2)/(-1))). Let c = 6 - l. Suppose -3*b + c*w + 805 = 2*b, 644 = 4*b + w. Is b prime?
False
Let q(x) = x**3 - x**2 - x + 1. Let a be q(-1). Let n(z) = -z**2 - 3*z + 293. Is n(a) composite?
False
Suppose 5*h - 2*l + 4*l = 21, l + 2 = 0. Suppose 278 = 3*r + h. Is r prime?
False
Let m(c) = 191*c**2 + 2*c - 2. Is m(1) a prime number?
True
Suppose -5*d + s = -2*d - 115, -5*d + 197 = s. Is d prime?
False
Suppose -5*f + 0*f - 45 = 0. Let j = f - -16. Is j composite?
False
Let p(g) = 2*g**2 - 9*g + 7. Let l be p(6). Suppose l = 5*z, c = -2*c - 4*z + 257. Is c prime?
True
Suppose -3*p = -7 - 11. Is 632/5 - p/(-10) a composite number?
False
Let u(l) be the first derivative of l**3/3 - l**2 + 12*l + 3. Is u(-9) prime?
False
Suppose d - j + 1 = 26, 4*j = -4*d + 68. Suppose -3 = -4*n + d. Is n prime?
False
Let x = 81 - 141. Let m = 45 - x. Suppose 0 = 5*h - 5*c - m, h = 4*h + 5*c - 47. Is h prime?
True
Let g(l) = 7*l**2 - 2*l + 6. Let w(n) = 20*n**2 - 6*n + 18. Let y(d) = -17*g(d) + 6*w(d). Let u be y(4). Is 1242/u + 8/28 prime?
True
Suppose -5*k = 20, 0*k + k - 534 = h. Is h/(-8) - (-5)/(-20) prime?
True
Let b = 1112 + -555. Is b composite?
False
Let y(g) = -g**3 - g - 15. Let k be y(0). Let h = k - -1. Is h/(-1)*(-3)/(-2) a composite number?
True
Suppose -2*y = 3*y - 19535. Is y prime?
True
Let f(g) = g**2 + 5*g. Let b be f(-5). Let n = 3 - b. Is ((-2)/n)/(1/(-9)) composite?
True
Suppose 15 = 5*p - 5*b, 2*b = 4*p + 7 - 17. Suppose 3*o - 2*l - 405 = -p*o, 0 = -3*l - 15. Is o composite?
False
Let g(x) = -x**2 + 5*x + 8. Let i be g(6). Suppose 0 = -d - 4*z + 7, i*d - z = z + 14. Is d a composite number?
Fal