+ 3445 = 5*d. Let u = h + d. Is u prime?
False
Let m be (1 + 3)/(0 - -1). Suppose -3*a + 4 = a - 4*d, 4*a = -m*d + 12. Suppose -2*r - a*n + 12 = -6, 6 = r + 4*n. Is r a prime number?
False
Let n(s) = s**2 - 10*s + 11. Let p be n(9). Suppose -271 = -5*t - 3*z, -p*t - 5*z + 275 = 3*t. Is t a prime number?
True
Let i(j) = -j**3 + 11*j**2 + 27*j - 3. Let d be i(13). Let x(v) = 5*v**2 - v + 1. Let a be x(1). Is (-1)/a - (-4672)/d composite?
False
Let z be (-2)/(3 - 2 - 2). Suppose -z*k = 2*k - 8. Suppose -5*r + 470 = 5*v, 0 = r + 3*r - k*v - 376. Is r a composite number?
True
Let j be ((-135)/(-12))/(1/4). Suppose -5*r + 2*r = 3*n - 60, -2*n - r + j = 0. Suppose -z - 1195 = -3*x + z, n = -5*z. Is x a prime number?
False
Let h(n) = 18*n**2 + 4*n + 2. Suppose -a + 16 = -5*a. Let w be h(a). Suppose w + 485 = 3*f. Is f prime?
False
Let a be 5664/21 + (-2)/(-7). Let q = a + 17. Is q a prime number?
False
Suppose 2*h = 5*j - 478, -5*j = h - 218 - 248. Let o = 411 - j. Is o composite?
False
Let k be (-3)/((-4)/(8/3)). Suppose -3*d = 5*f - 0*f + k, 0 = -2*f + 5*d + 24. Suppose -f*j + 747 - 85 = 0. Is j a composite number?
False
Is (-39)/(-78) - 7266/(-4) a composite number?
True
Is 9/(189/245231) - (-2)/(-3) a prime number?
True
Let o(f) = -252*f**3 - f**2 + f + 1. Let k = -3 - -9. Let r be (-4)/k - (-2)/(-6). Is o(r) composite?
False
Let g(r) = -3*r + 185. Is g(0) prime?
False
Suppose p + 5 = 2*z, 0*z = -3*z - 2*p + 4. Is (-761 - 0)*(-5 + z) a composite number?
True
Let r(w) = 4*w**3 + 2*w**2 - 1. Let x be r(1). Suppose 0 = 4*l - 16, 15 = 3*p + x*l - 14. Suppose p*m = -2*m + 5*v + 25, -2*v - 20 = -3*m. Is m a prime number?
False
Suppose 46 = -0*f + 2*f + 2*k, 5*f + 2*k - 115 = 0. Suppose 3*r - 2*r - f = 0. Is (-2)/(0 + (-2)/r) a composite number?
False
Suppose 5*x + 2*v = 14810, 9*x = 7*x - v + 5924. Is x composite?
True
Let y = 122 + -82. Suppose 14 = 3*a - y. Is (-5885)/(-45) - (-4)/a a prime number?
True
Let i be (-24)/(-10) + 2/(-5). Suppose -m = 3*t - 3, 0*m + 8 = -i*t - 4*m. Suppose -t*o + a + 0*a + 1113 = 0, 5*o = 2*a + 2783. Is o a prime number?
True
Suppose -4 = -7*d + 5*d. Suppose -2*p + 406 = d*i - 114, -4*i = -4*p + 1048. Suppose 11*c - p = 8*c. Is c a composite number?
True
Let u = 2647 - 1058. Is u a composite number?
True
Suppose r - 4*r = -72. Let s = -6 + r. Let y = s + 35. Is y prime?
True
Let v(r) = -r + 11. Let n(a) = a**2 + 9*a - 14. Let z be n(-11). Let h be v(z). Suppose 10*t = h*t + 1477. Is t composite?
False
Let h = 61 - 62. Is 27/(-54)*818/(-2 - h) a prime number?
True
Let a = 634 + -905. Is -5*(a*1 - 10/(-5)) prime?
False
Let v be ((-278)/(-4))/(10/(-40)). Let z = v - -447. Is z prime?
False
Let z(u) = -2*u**3 + 2*u**2 + 2*u. Let s be z(-1). Let t(k) = 121*k**3 + 2*k**2 - 3*k + 7. Is t(s) a composite number?
False
Let s(y) = 3*y + 3*y**3 + 0 + 2*y**2 - 3 - 2*y**3 - 3*y**2. Let l be s(3). Is ((-28)/6)/(l/(-1116)) prime?
False
Let a = 1747 + -1066. Is a a composite number?
True
Let m be 2/2 - 1*2. Let x(w) be the second derivative of 797*w**4/12 - w**3/6 - w**2/2 + 26*w - 1. Is x(m) prime?
True
Suppose -5*r = -3*r - 36. Suppose r + 11 = 3*q - 4*x, 3 = q + 2*x. Suppose 4*i = q - 3, 0 = -3*w + 5*i + 874. Is w a composite number?
False
Let v = 2416 - -3377. Suppose 4*z - z = v. Is z a prime number?
True
Let g(q) = 2*q**2 - 3*q - 4. Let d be g(3). Suppose -h + 4*j = -3*h + 3606, d*j - 9010 = -5*h. Is h composite?
False
Suppose -5 = -f - 10. Let v = 0 - f. Suppose 4*o + 68 = -3*n + 345, -v*o = 2*n - 341. Is o composite?
False
Suppose 0 = -2*h + 5*z + 7344, z + 4 = 2. Is h prime?
False
Suppose -13690 = -2*t - 41*h + 43*h, -5*h = t - 6821. Is t prime?
True
Suppose 22*m = 15*m + 21077. Is m prime?
True
Let b be 6/(-3) - 1 - -3. Suppose v - 635 = -b*v. Suppose -5*f + v - 20 = 0. Is f prime?
False
Suppose 5*z - 35*m + 30*m = 108370, 3*m = -5*z + 108362. Is z a composite number?
False
Is (-10)/(-8) + (-23)/((-1656)/24462) a composite number?
True
Suppose p - 4*g = 429, 5*p - g - 2081 = 3*g. Let t = 552 - 334. Let a = t + p. Is a a prime number?
True
Let a(x) = -339*x + 403. Is a(-32) a composite number?
False
Let y(v) = 8*v**3 - 6*v**2 + 12*v - 10. Let j be y(4). Let w = j + 425. Is w composite?
True
Let l = 6235 - 4434. Is l prime?
True
Let j(n) = -7*n**3 + 2*n - 1. Let k be j(1). Let l be 27/6*(-4)/k. Is (-1324)/(-8)*6/l a prime number?
True
Let i(q) = -q**3 + 7*q**2 + 4*q - 3. Let r(v) = v**2 + 7*v + 6. Let n = -22 - -15. Let l be r(n). Is i(l) composite?
True
Let d(q) = -7 - 2 - q + 9. Let l be d(1). Is l - 66/(-9)*9 a prime number?
False
Is (-1)/(-3) - (-4 - 12544/6) composite?
True
Suppose -2614 = 3*x + 4*g, -5*x + 2*g + 1788 = 6136. Let p = x - -1417. Is p a composite number?
False
Let m(k) = -k**3 + 28*k**2 + 12*k + 14. Is m(19) composite?
False
Let j(x) = 18*x**2 - 16*x - 7. Let t be j(-6). Suppose -8 = 2*w, -2*w = -5*s + w + t. Is s prime?
False
Let v = 3718 + -1401. Is v prime?
False
Let n(q) = 325*q**2 - 7*q - 1. Is n(6) a prime number?
True
Suppose -g + 20525 = 5*d, -5*d - g = g - 20525. Is d composite?
True
Let z(g) = g**3 + 27*g**2 + 43*g - 139. Is z(-24) composite?
False
Let b(m) = m**3 - 17*m**2 + 10*m - 14. Let x be b(16). Let g = 327 + x. Is g composite?
True
Let j = 25 + -92. Let o = j + 301. Suppose -o = -5*p + 281. Is p composite?
False
Let a = 1130 + -98. Suppose 5*h - 2*p - 2590 = p, a = 2*h - 2*p. Is h a composite number?
False
Suppose -q + 4*b = -404, 3*q + 4*b = b + 1167. Suppose -6*i + 7630 = -q. Is i a prime number?
False
Suppose 0*u + 4*u - 2*g + 2 = 0, -3*u + 4*g + 1 = 0. Let k(v) = -v - 1. Let p be k(u). Suppose -5*w = d - 630, -w + p*d + 4*d + 147 = 0. Is w composite?
False
Let a(v) = 5 + 3 + 99*v - 16. Is a(3) a prime number?
False
Suppose -3*r = 30 + 30. Let q be (-6)/(-8) + (-55605)/r. Suppose -714 = 3*g - q. Is g a composite number?
True
Suppose 5*i = -p + 33, p - 13 = i + 20. Suppose 0 = -a + 5*v - p, a + a + v = -11. Is -111*a/2 + 3 a composite number?
True
Suppose 2*j + 5252 = -3*q + 22525, -5*j + 5749 = q. Is q a prime number?
False
Let g be (((-24)/(-30))/(1/5))/(-1). Let m(r) = -61*r + 5. Is m(g) a prime number?
False
Let v(u) = u**3 - 40*u**2 - 26*u + 47. Is v(42) prime?
False
Suppose 0 = 11*i - 6*i - 2985. Let b = i - 358. Is b composite?
False
Suppose -11 = -4*q + 4*b + 9, -b = q - 5. Suppose 0 = n + 4*x - 47, -2*n + q*x = 3*n - 335. Suppose -444 = -m - n. Is m a prime number?
False
Suppose 3*t + 5 = -1. Let h(y) = -216*y - 2. Let n be h(t). Suppose -n - 502 = -4*u. Is u prime?
True
Let w(n) = -n**3 + 9*n**2 - 12*n + 1. Let r be w(5). Let p be (-589)/6 + 3/18. Let f = r - p. Is f prime?
True
Let b(x) = x**2 - x + 5. Let a be b(0). Suppose -8*n + 1294 + 1330 = 0. Suppose -w - n = -a*w. Is w a composite number?
True
Let y(w) = 2*w**3 + 16*w**2 + 6*w - 2. Let u(m) = -m**2 + 2*m + 2. Let r be u(4). Is y(r) a composite number?
True
Let q(a) = a**2 + 7*a. Let z be 33/(-6)*-2*1. Let g be q(z). Let k = -119 + g. Is k prime?
True
Suppose -2*o - y = -11, 3*o - y = 4*y + 10. Suppose o*k - 2849 = -2*k. Is k prime?
False
Is 11909130/360 + (-2)/(-24) a composite number?
True
Let p = 7 - 13. Suppose 4*n - 4 = 2*g + 34, 2*g + 4*n - 2 = 0. Is 171/6*p/g a composite number?
False
Let t = -67 + 105. Suppose 43*b - 6485 = t*b. Is b prime?
True
Suppose 2*p + 4*y = 4, -3*p + 4 = -p + 5*y. Suppose -p*o + 71 = -4871. Suppose 3*i - 1264 = -3*x + 224, 5*i = -2*x + o. Is i a prime number?
False
Let o(n) = -46 - 4*n + 17*n - 1 + 29*n. Is o(14) prime?
True
Let l(m) = 18*m + 455. Is l(14) prime?
False
Let j(w) = 12*w + 3. Let r be j(-2). Let i be r/28 + (-17830)/(-8). Is (-1)/4 + i/16 a prime number?
True
Let u be 16/6*(-9)/(-6). Suppose -u*w = -299 + 103. Let j = 306 - w. Is j a composite number?
False
Let h(s) = 6448*s**2 - 12*s + 13. Is h(1) a composite number?
False
Let p = 26 - 11. Let k(s) = 54*s - 32. Is k(p) composite?
True
Suppose 9*j - 41651 = 4348. Is j prime?
False
Let w(b) be the third derivative of -7*b**4/24 + 19*b**3/6 - 22*b**2. Is w(-10) prime?
True
Let l(j) = 2*j**3 - 3*j**2 - j - 3. Let a = -15 - -16. Let p = 2 + a. Is l(p) a composite number?
True
Is ((-9965)/(-15))/((-3)/(-9)) a composite number?
False
Let c(i) = i**2 - 2*i + 1. Suppose 4*l = -12, -2*j - 1 = 4*l + 5. Let s be c(j). Suppose 6*x = s*x