*2 - y**2 - 37*y**3. Let i = -32 - -30. Is d(i) composite?
True
Let q(d) = 25264*d - 8. Let r be q(2). Suppose -8*s + r = 7*s. Suppose -8*t = 336 - s. Is t composite?
False
Let p(d) = d**3 + 24*d**2 - 82*d - 18. Let k be p(-27). Let w be -1*362/((-4)/2). Suppose -k*f + 98 = -w. Is f composite?
False
Let u = 157964 - -14303. Is u composite?
True
Suppose -4*s - 3*m + 5444 = 0, -m - 3030 - 1053 = -3*s. Is s composite?
False
Let c(m) = -20*m**2 - 1 + 1360*m**2 + 0 - 2*m. Let x = 1304 + -1303. Is c(x) a composite number?
True
Let c be (-28)/(-21)*((7203 - 1) + 1). Suppose 0 = 3*n - 491 - c. Is n a prime number?
False
Suppose 105*b - 103*b + 298 = 0. Let a = b - -228. Is a a prime number?
True
Suppose -6*v + 5*l + 32 = -3*v, -2*v + 17 = l. Let i(d) = 57*d + 31. Let p be i(v). Let h = 1331 - p. Is h composite?
False
Let r = -77716 - -246239. Is r composite?
False
Is (8/(-6)*(-120717849)/(-38))/(-2) composite?
True
Suppose 3*y - 361436 = 5*d, -3*d + 912049 = 5*y + 309599. Is y a prime number?
False
Suppose 5*x + m - 115 = -4*m, 0 = x - m - 27. Let p(s) = 4*s**2 + 19*s - 54. Is p(x) composite?
True
Let c = 255 + -248. Is (-2)/c + 19525*11/77 prime?
True
Suppose 2*l - l - 2447 = -3*w, l - 2*w - 2467 = 0. Suppose 6*v = 2251 + l. Is v composite?
True
Let f(p) = 200*p + 28. Let v be f(7). Let t = 786 - v. Let b = t + 2179. Is b prime?
False
Let z(q) = 534*q - 55. Let p(i) = -i**2 - 8*i + 18. Let v be p(-9). Is z(v) a prime number?
True
Suppose 2*p - 263 = -257. Suppose -p*r = -3051 - 5910. Is r prime?
False
Let i = -273 - -520. Let s be 2 - 69*20/15. Let l = s + i. Is l a composite number?
False
Let f = -100 - -104. Suppose 11*i - f*i = 10745. Is i composite?
True
Let c(v) = v**2 - 4*v - 5. Let t be c(-2). Suppose t - 43 = -2*q. Suppose -1905 = -21*o + q*o. Is o prime?
False
Is (6/8)/(993/1532793476) a prime number?
True
Let q(n) = 2191*n - 158. Let w(i) = -729*i + 53. Let h(r) = 6*q(r) + 17*w(r). Is h(20) composite?
False
Let v = 145 - 158. Is (-1)/(4/124)*v a prime number?
False
Suppose 211581 = -364*i + 373*i. Is i a composite number?
False
Suppose 19*u = 17*u - 4. Let f be u + (3 + 4 - 5). Let q(m) = m**2 + 4*m + 211. Is q(f) composite?
False
Let u = 54 - 40. Suppose u*i + 287 = -1295. Is (i + -2)*2*3/(-6) prime?
False
Suppose -899 - 1786 = -n. Let s = n - -1298. Is s a composite number?
True
Let t(n) = 395*n + 2. Let g be 78/(-18)*-3 - 6. Is t(g) a prime number?
True
Let h(n) = -125*n - 32. Suppose -4*v - 27 = -3*l, -2*l - 2*l + 32 = -4*v. Suppose 6*u - l*u = -11. Is h(u) prime?
False
Suppose 5900 = -25872*s + 25892*s. Is s a composite number?
True
Let u(o) = -o**3 - 6*o**2 + 35*o + 8. Let p be u(-10). Suppose -f + 6197 = 5*v, 0 = 63*f - p*f - 5*v - 30925. Is f a composite number?
True
Suppose 10 + 57 = 5*p + 2*r, -61 = -5*p + 4*r. Suppose 0 = -20*k + p*k + 7511. Is k a composite number?
True
Let j(a) = 4*a**2 - 5*a - 8563. Let o(f) = 7*f**2 - 9*f - 17126. Let l(u) = 5*j(u) - 3*o(u). Is l(0) a prime number?
True
Suppose 5*t - 108 = -3*s, 4*t - 89 + 9 = -4*s. Is ((-25268)/t)/((-2)/12) prime?
True
Suppose 3*u = -3*i + 45, 2*i + 26*u = 25*u + 26. Is 9522 - 0 - i/((-22)/10) composite?
True
Let m(l) = -19*l - 47. Let d be m(-5). Let h = d - 45. Suppose 1272 = 4*s - 4*b, -3*s - h*b - 2*b + 978 = 0. Is s a prime number?
False
Suppose -32 = -3*n - m, n - 2*n + 4 = -m. Let h be 2/n - 14/63 - 2. Is (h - 1)*1676/(-12) a prime number?
True
Let v = 30035 - -73472. Is v composite?
True
Let x = 11825 - 1783. Is x a prime number?
False
Let l be -2 + -12*3*4/12. Let q = l - -16. Is (q + 2)*662/8 prime?
True
Let q(t) be the third derivative of -75*t**4/4 + 79*t**3/6 + 15*t**2. Is q(-8) a prime number?
False
Suppose 15*f - 969162 + 161931 + 79296 = 0. Is f composite?
True
Let m = 431407 - 183416. Is m composite?
False
Suppose -5*q - 2*f + 31231 = 0, -3*q - 9*f + 14*f + 18720 = 0. Is q a composite number?
True
Let i(p) be the second derivative of -1711*p**3/6 + 2*p**2 - 31*p. Let t be i(-1). Suppose -4*n = -3*o + t, 4*o - n - 2288 = 3*n. Is o a composite number?
True
Let z be 0/(7/((-28)/24)) - 6526. Let u = -1617 - z. Is u a composite number?
False
Suppose -5*u + 952990 = 5*z, 3*z - 363879 - 17314 = -2*u. Is u prime?
False
Suppose -13*i + h + 12580 = -8*i, -4*i = h - 10073. Suppose 0 = 13*q - 512 - i. Is q a prime number?
True
Let n = 10 + -35. Let o = n + 42. Suppose -3*g = -284 + o. Is g a composite number?
False
Let y(w) = -10*w + 126. Let s be y(13). Let u(t) = -1727*t + 33. Is u(s) composite?
True
Is 19/57 - (-270329)/3 - 4 a composite number?
True
Suppose 0 = 4*a + 2*b + 24, -3*a + 4*b = a + 24. Let n be 44*(-1)/a + 4/6. Is (-136)/(-12)*1068/n a composite number?
True
Let a(n) = -7*n + 9. Let h be a(-1). Suppose 12*x = -5*b + h*x + 51425, -2*b - 3*x = -20593. Is b a composite number?
False
Let f(v) = 101*v**2 - 4*v + 9. Let l = -113 + 110. Let g(j) = -j**2 + 5. Let q be g(l). Is f(q) a composite number?
True
Suppose 3*n + 10*t - 6*t = 35, 4*t - 10 = 2*n. Let k(z) = 106*z - 51. Is k(n) a composite number?
False
Let j(v) = -1466*v + 420293. Is j(0) a composite number?
False
Suppose 0 = 5*s - r - 246099, 0 = 4*s - 6*s - 4*r + 98422. Is s composite?
True
Let f(j) = 2*j**3 - 61*j**2 - 21*j + 11. Is f(31) prime?
False
Let x be (1/2)/((-2)/4). Let n(r) = 2*r + 54*r**2 - 78 + 58 + 21. Is n(x) prime?
True
Let c = -1587389 + 2291332. Is c prime?
True
Let d(x) = -11 - 3*x - 3*x + x + 8 + 1463*x**2. Let y = 9 - 10. Is d(y) a prime number?
False
Let c(l) = 2*l**3 - 7*l**2 - 11*l + 10. Let q be c(6). Suppose -4*k = -3*h - q, 5*k + 3*h - 156 = 7*h. Is 8/k - (-24034)/14 a composite number?
True
Suppose -12*m = -39*m - 270. Is 4/m - (-441324)/60 a prime number?
False
Let a be ((14 - 8) + -7)/(2/5388). Let z = a + 5483. Is z a prime number?
True
Suppose -2*n = 4, 3*q + 9 + 7 = n. Let g be 14 + ((-3)/q)/((-1)/(-4)). Is ((-12)/10)/(g/(-1160)) a composite number?
True
Let n = 5812 + -10180. Let l be 2/3 - n/9. Suppose 3*k - 477 = l. Is k a composite number?
True
Let t = 271 + 14. Let j = t - 254. Is j a composite number?
False
Let p(z) = -3*z**3 - 5*z**2 + 4*z - 1. Let n be p(3). Let y = n + 116. Is (-2)/y + 9373/7 prime?
False
Suppose 0 = -5*y - 52 - 213. Let h = -43 - y. Suppose 14*u - 2108 = h*u. Is u prime?
False
Suppose a = -4*q + 1272, 4*a + 2*q = 364 + 4724. Suppose -d = -4, 13*k - 9*k - d = a. Is k a composite number?
True
Let u = 20000 - 11251. Is u composite?
True
Let z = 269 - 261. Suppose z*u - 346 = 7022. Is u a prime number?
False
Let m(q) = 44*q**2 + 23*q - 32. Suppose 5*k - 18 = 12. Let v(g) = -15*g**2 - 8*g + 11. Let y(t) = k*m(t) + 17*v(t). Is y(6) a composite number?
False
Suppose -12819229 = 87*v - 66199465 - 18190749. Is v prime?
False
Let b(p) = 12*p - 23. Let v be b(2). Let r(u) = 7222*u**3 - 18*u**2 + 20*u - 1. Is r(v) composite?
True
Suppose -6548210 = 28*h + 4356138. Is 2/(1 + -6 - h/77883) a prime number?
False
Suppose 5*k = 35, 4*t + 21918 = 5*k + 1453119. Is t composite?
False
Let d be -1*(-4 + -6) + -5. Suppose -2*m - 7*v + 2*v = 0, -d*v = m. Suppose -24*u + 20*u + 27220 = m. Is u a prime number?
False
Is (-14)/(-4)*(25608 - -98) prime?
False
Let q(u) be the third derivative of 19*u**6/120 + u**5/15 - u**4/12 - u**3/6 + u**2. Let g(b) = -16*b - 366. Let t be g(-23). Is q(t) prime?
True
Suppose -7 = -5*m + 78. Let a(p) = 2*p**3 - 26*p**2 + 33*p - 4. Is a(m) a composite number?
True
Let x = -13633 - -32150. Is x a prime number?
True
Suppose -2*j + 26 + 28 = 0. Let u = 29 - j. Suppose 96 = u*w - 310. Is w composite?
True
Let l be (-465)/60 - 1/4. Let g be 8*(1 + (-3 - 36/l)). Is 3 - (g/(-8) - -3)*-1076 prime?
True
Let y be 308/12 + (-4)/6. Suppose 0 = 2*r - y - 9. Suppose r*n - 254 = 15*n. Is n composite?
False
Suppose -a - 176 = -2424. Suppose 10*m - 12*m - a = 0. Let d = 1625 + m. Is d a composite number?
True
Let x(n) = -28009*n - 6534. Is x(-29) composite?
True
Let d be 2/(-6) - (-12)/9. Let j = d + 2. Is j*4/(-42) + 29259/21 a composite number?
True
Suppose 164*v - 319833 = 155*v. Is v composite?
False
Suppose -9*d + 15*d = 30. Suppose m + 2631 = 4*m + d*y, -3*y = -3*m + 2631. Is m a prime number?
True
Let g = -5984 + 35535. Is g prime?
False
Let b(i) = -4*i**3 - 4*i - 3. Let t be b(-2). Let w = t + -26. Let d(k) = 45*k - 26. Is d(w) prime?
False
S