 p(-2) prime?
False
Let c(q) = 927*q - 1003. Is c(16) a prime number?
True
Let q(g) = g**2 + 10*g + 26. Let i be q(-6). Suppose 502 + 160 = i*k. Is k prime?
True
Let k(l) = -l**2 + 12*l - 25. Let r be k(3). Suppose -r*w + 5*h + 434 = 2*h, 0 = 5*w + 3*h - 1064. Is w a composite number?
True
Let n(h) = -h**2 + 2*h - 6. Let x be n(3). Let y(c) = -43*c - 16. Is y(x) composite?
True
Let u(n) = n**3 - 11*n**2 + 11*n - 11. Let g be u(10). Let f be (-2 - -20)*g/2. Let b(y) = -y**3 - 8*y**2 - 2*y + 12. Is b(f) prime?
False
Let z = 17 - 13. Suppose -4*w - m = -89, 0 = -3*w + 4*w - 5*m + z. Let c = 164 - w. Is c a prime number?
False
Let v = 60 - 36. Let t = v + 16. Let i = -21 + t. Is i a prime number?
True
Let f(x) = -65*x**3 - 2*x**2 + 5. Let y be f(-5). Suppose -2*n - 2*p = 2*p + y, 0 = 3*n - p + 12155. Is n/(-16) - (-2)/(-16) a composite number?
True
Let y be 553/3 + 1/(-3). Let f = -105 + y. Is f prime?
True
Let a(g) = 43*g - 11. Let l be a(8). Let d(n) = -l*n - 62*n - 1 - 42*n + 77*n. Is d(-1) prime?
True
Let z(k) = -k**2 + 10*k + 12. Let w be z(11). Let p = 55 - w. Suppose 2*a - t - 35 = 0, -t = -3*a - 0*t + p. Is a composite?
False
Let l = -1558 + 3829. Is l a prime number?
False
Suppose 92 = z - 64. Let x = z - 103. Is x a prime number?
True
Let a(f) = -72*f**3 - 4*f - 3. Let m(r) = -2*r**3 + r**2 - 2*r + 1. Suppose 3*b + 11 = 2*c, -1 + 8 = 4*c - b. Let d be m(c). Is a(d) a prime number?
False
Let r = 42 - 42. Suppose -4*i - 3*t + 13628 = -t, r = -5*i - 2*t + 17035. Is i a composite number?
False
Suppose -13 = w - 11, -3*m + 16567 = -5*w. Is m prime?
True
Let v(m) = -m - 1. Let a be 4/6*63/(-14). Let l be v(a). Suppose l*y = 8*y - 354. Is y a composite number?
False
Let b(g) = -g**3 + 2*g - 1. Let k be b(8). Let m = 853 + k. Suppose m = 11*o - 9*o. Is o composite?
True
Let a be -2*((-30)/4)/1. Let i(s) = s**3 - s**2 + s + 18. Is i(a) a prime number?
False
Let c = -18724 + 32867. Is c a composite number?
False
Suppose n + 2*t - 14 = 0, -10 = n + 4*t - 34. Is ((-191)/n)/((-6)/24) composite?
False
Suppose -2 = g - 0. Let u be 2 + -4 + g + 2. Is (1 - -32)*u/(-2) composite?
True
Let s(g) = 20*g + 15. Let r be s(4). Let a = r + 236. Is a prime?
True
Let v(b) = b - 29*b**2 + 6 + 3 - 7. Let r be v(-3). Let p = r - -381. Is p prime?
False
Let q(g) = -2*g**3 + 4*g**2 + g. Let d be 2 - -2*12/8. Suppose -3*n - s - 8 = 0, 8 = -4*n - d*s + s. Is q(n) composite?
True
Let t(h) = 3*h**2 - 4*h + 24. Suppose -98 = 7*p - 7. Is t(p) a prime number?
False
Let f(q) = -q**2 + 8*q + 2. Let c be f(6). Suppose 3*r + 5*o - c = 41, -5*r + 55 = o. Suppose 0 = -2*l - r, -l = -4*m + 77 + 1252. Is m a prime number?
True
Is 1*2/(-11) - (-60161)/11 prime?
False
Let z(p) = -171*p - 5. Let d be (-4)/(-8) - (-11)/(-2). Let r be z(d). Suppose 105 - r = -5*x. Is x composite?
False
Let k be (-1 + 27/(-6))/(1/(-3238)). Suppose 7*m - 1378 = k. Is m a composite number?
False
Let g be (0 + -1)*((-3564)/(-3))/(-6). Suppose -9*m = -3*m - g. Is m composite?
True
Let j be 354 + 2 + 5/(-1). Let x = j + 326. Is x composite?
False
Let r be 3/12 + 235/20. Suppose 0 = -r*t - 0*t + 372. Is t a prime number?
True
Let v(x) = -x**3 + 6*x**2 + 4*x + 4. Let j be v(-5). Let k = j - 180. Let g = -42 + k. Is g a prime number?
True
Let j = -227 - -8808. Is j a prime number?
True
Is (-246)/(-574) + 375778/7 a prime number?
False
Let j(h) = 5261*h - 259. Is j(6) a prime number?
True
Suppose -48*x + 45*x + 15 = 0, 0 = 2*j + 3*x - 14725. Is j prime?
False
Let u be (2 - 0) + (-1288)/2. Let r = -343 - u. Suppose -5*f + r = -336. Is f a prime number?
True
Is 1670 + -5*(-1)/(-5) a composite number?
False
Let z = -2500 - 1560. Is (1/2)/((-10)/z) a composite number?
True
Let o be -4 + (5 - 2) - 1078/(-2). Let b be 3 - ((2 - 1) + -2). Suppose -b*n = -2*i - o, -4*i + 74 = n - 56. Is n a composite number?
True
Let v(g) = g**3 + g**2 - 3*g. Let z be v(-3). Let m be 6/8 + z/12. Suppose -2*r = -2*s + 684, -5*r + 3 - 8 = m. Is s composite?
True
Is (-5 - -2 - -2)/((-9)/22887) composite?
False
Suppose -5960 + 18044 = -4*h. Is h/(-9) + (-2)/3 a composite number?
True
Let v(s) = 3*s**2 - 23*s + 56. Is v(-13) a prime number?
False
Let t = -265 - -168. Let w be (-1)/4 + 0 - (-34750)/(-200). Let g = t - w. Is g a composite number?
True
Let o(g) = 339*g + 227. Is o(24) a composite number?
False
Suppose 0 = -12*z + 21766 + 47390. Suppose 0 = 71*d - 68*d - z. Is d a composite number?
True
Suppose 159715 = 17*r + 62288. Is r composite?
True
Suppose 0 = 4*d + 5*g - 1336, -g + 1 = -d + 326. Is -1 + 5 + -2 + d prime?
True
Let i = -115 + 121. Suppose 9*t = i*t + 3201. Is t composite?
True
Is (-2)/(-1) - (-2)/((-2)/(-11175)) a prime number?
True
Let r be (4 - -2)*4/6. Let t be 4/(5 - (-3 + r)). Is (-25)/(t/(4 + -5)) prime?
False
Let g = -18 - -23. Suppose -5*s + g - 95 = 0. Is 295/(-2)*s/45 a prime number?
True
Let x(u) = 15*u**2 - u. Let q be x(-2). Let a = 81 + -79. Suppose q = a*h - 96. Is h a prime number?
True
Is (2/4)/(10/54140) prime?
True
Let y(v) = -1235*v - 2. Let l be y(-2). Suppose 514 = -2*o + 4*k + 1498, -2*k - l = -5*o. Let i = -283 + o. Is i prime?
True
Suppose 142301 = -247*l + 270*l. Is l a prime number?
False
Let b = 20 - 21. Let v be (-6 - b) + (6 - 5). Is v + (-12)/(-3) - -211 a prime number?
True
Let a = -26 - -28. Suppose 4*q = -2*c + 366, -a*c = c + 5*q - 553. Is c composite?
False
Let u = 883 + 423. Is u composite?
True
Let i = 80953 + -57764. Is i a prime number?
True
Let h(v) = 36*v**2 + 5*v + 62. Is h(-9) prime?
False
Let s = -8 + 6. Let l be s/(-8) + (-6)/(-8). Is (149/(-3))/(l/(-3)) a prime number?
True
Let g(b) = -b**2 - 5*b - 12. Let u be g(-7). Let w = u + 27. Is w/2 - (-2058)/28 composite?
True
Let w(r) = 1. Let b(h) = -12*h + 3. Let x(m) = b(m) + 4*w(m). Let l be x(8). Is 0/(-5) - (-2 + l) a composite number?
True
Suppose 89 = -4*p - 63. Let s be p/(-9) + (-6)/27. Suppose -u - 201 = -s*u. Is u a prime number?
True
Let d(o) = 3051*o - 40. Is d(3) a prime number?
False
Suppose f - 2*z = -z, -2*f - 5*z + 21 = 0. Is 694 - 0*1/f prime?
False
Let r(k) be the third derivative of 5/6*k**3 + 0 + 9*k**2 - 1/60*k**5 + 0*k - k**4. Is r(-12) a composite number?
False
Let q = -1253 + 2121. Let c = q - 331. Is c a prime number?
False
Suppose -3*g + 5*g - 4 = 0. Suppose g*c - 994 + 212 = 0. Suppose h - c = -2*v, h + 3*v + 24 = 410. Is h a prime number?
True
Suppose -2*p = 3*p - 92485. Suppose -p + 47633 = 16*r. Is r a composite number?
True
Let t(l) = -32*l + 7. Let j be t(-5). Suppose -3*m + 2464 = -j. Is m a composite number?
False
Let y(x) be the third derivative of -5*x**4/12 - x**3/2 - x**2. Let g be 8/(-2) + -1 + -2. Is y(g) a composite number?
False
Suppose 3*g + 2*p - 33353 + 7758 = 0, -4 = -4*p. Is g prime?
False
Let s(t) = -2*t + 1607. Let p be s(0). Let k = p + -858. Is k prime?
False
Suppose 13418 = -52*c + 54*c. Is c prime?
True
Let y = 28 - 24. Suppose -28 = -0*f - y*f. Suppose f*q = 8*q - 85. Is q a prime number?
False
Suppose -5*k = 5*u - 615, -5*k + 625 = -8*u + 3*u. Let w = k + -269. Let q = w - -506. Is q prime?
False
Let d = 390 - 267. Suppose -497 = -2*q - d. Is q a prime number?
False
Let p = -630 - -4817. Is p a prime number?
False
Suppose -4*d = -4*c + 96828, -5*d + 72637 = 53*c - 50*c. Is c composite?
True
Let d(t) = -26*t + 1 + 136*t + t. Suppose 0 = 4*f - 2*z, 2*z - 3 = 5. Is d(f) a prime number?
True
Is (-3)/(-2) + ((-412125)/(-30) - -12) a composite number?
False
Let u(f) = 255*f**2 + 4*f - 41. Is u(-6) composite?
True
Let z be 2/(-4) + 15110/20 - 1. Suppose -z + 5428 = 6*o. Is o prime?
False
Let b(z) be the second derivative of -1/2*z**2 - 19/20*z**5 + 3*z + 0 + 1/3*z**3 - 1/12*z**4. Is b(-2) a prime number?
False
Suppose -35 = -4*b - b. Let g be -6*(-3)/((-6)/b). Is (-6)/g - (-580)/28 a prime number?
False
Let v(p) = 2153*p**3 - 4*p**2 - 7*p + 7. Let k(u) = 718*u**3 - u**2 - 2*u + 2. Let f(d) = -7*k(d) + 2*v(d). Is f(-1) composite?
False
Let i(y) = 160*y**3 + 2*y**2 - 29*y - 24. Is i(7) composite?
False
Let o(u) = -u**2 - 3*u. Let c be o(-3). Let w(p) = -p**3 + p**2 + 77. Is w(c) prime?
False
Let m = 5645 + 2414. Is m prime?
True
Let c(q) = 20*q**2 - q + 1. Let b be ((-8)/(-8))/((-1)/(-11)). Let y = b - 8. Is c(y) a prime number?
False
Let k = -15187 - -44288. Is k a prime number?
True