Let v(i) = i**3 - 7*i**2 - 2*i - 34. Let l be v(8). Suppose 0 = -l*h + 2692 + 36186. Is h prime?
True
Suppose -3*m = -r + 194608, 0 = -5*m + 108 - 73. Is r prime?
False
Let b(g) be the third derivative of 0*g + 1/12*g**4 - 23*g**2 + 3*g**3 - 19/60*g**5 - 1/60*g**6 + 0. Is b(-14) prime?
False
Let c(y) = -2932*y + 131. Let t be c(-22). Suppose 3*z - 27356 = 4*o + t, -153329 = -5*z + 4*o. Is z a prime number?
False
Is (-52504)/(-6)*((-306)/(-255) - 3/(-10)) a prime number?
False
Suppose 10*n - 15 = 5*n. Suppose y - n*v = -3*y + 9336, -y - 4*v = -2334. Is (y/12)/((-2)/(-4)) a composite number?
False
Let o = 96299 + -49836. Is o a prime number?
False
Suppose -x + 762 = g, 756 = x + 3*g - 0*g. Let u = x + -178. Is u a composite number?
False
Suppose 4*c = 1012*w - 1010*w + 1106464, 4*c = -5*w + 1106422. Is c prime?
False
Suppose n + 35566 = 4*h - h, 5*h - 5*n - 59280 = 0. Suppose 0 = 5*i - h - 14130. Is i composite?
False
Suppose 374167 = 11*z - 26838. Suppose -11*v + z + 24980 = 0. Is v composite?
True
Let f = -36 + 21. Let r = f - -30. Suppose r*l + 1130 = 17*l. Is l a composite number?
True
Let w(z) = 419*z**2 - 6*z + 47. Let b be w(6). Suppose 5*f + 490 = b. Is f prime?
False
Let l(d) = d**3 + 17*d**2 - 17*d - 15. Let i = 44 - 54. Let w be l(i). Let m = 232 + w. Is m a prime number?
True
Let i(m) = -4*m. Let r be i(-4). Let l(c) = 10*c**2 - 15*c + 13. Is l(r) prime?
True
Let r(k) = 16550*k**2 + 17*k - 7. Let u(t) = -8274*t**2 - 9*t + 4. Let n(d) = 6*r(d) + 11*u(d). Is n(-1) prime?
False
Let s be ((-5)/(-25)*0)/3. Let q(l) = l + 270. Let f be q(s). Suppose 0 = -5*y - t + 2780, -2*y - t - f + 1379 = 0. Is y a composite number?
False
Is (-6)/(-4) + 3269134/68 composite?
True
Suppose -8*b = -12*b + 8. Let u(h) = 55*h - 5. Let w be u(b). Let q = w + -31. Is q composite?
True
Is (-2)/(-1)*((-102531)/(-6) + (-2 - 13)) a composite number?
False
Let n(d) = -4*d - 28. Let t be n(-4). Let l be ((126/t)/(-1))/((-6)/(-1736)). Let q = 4552 - l. Is q composite?
True
Let d = -799 + 109. Let o = 1703 - d. Is o composite?
False
Suppose -72*q - 61*q = -26399250 - 4503965. Is q a composite number?
True
Let u = -5185 - -2160. Let v = 5596 + u. Is v composite?
True
Let v be 4 - (6 + -6)/(1*-2). Let p be 4 + (-13714)/v + (-2)/(-4). Let h = 1959 - p. Is h a prime number?
False
Let z be 206208/90 - 12/(-15). Suppose 688 + z = 20*q. Is q composite?
False
Suppose 546 = 36*g - 29*g. Suppose 89*x - g*x = 5533. Is x a prime number?
True
Suppose -12*i + 478368 = 6*i. Suppose 15*l - i = 4639. Is l a composite number?
False
Let j = -85980 - -126859. Is j prime?
True
Suppose 3*a + 54 = -k - 52, -k - 96 = a. Let b(r) = 41*r - 835. Let u be b(23). Let f = u - k. Is f prime?
True
Let g(m) = 1472*m**3 - m**2 - 27*m + 163. Is g(5) a composite number?
False
Let y(k) = -k**3 - 7*k**3 + 7*k**3 - 189*k**2 - 16*k - 10 + 187*k**2. Is y(-17) prime?
True
Let h(k) = -11*k**3 - k**2 - 2. Let r be h(-2). Let f(l) = 94*l - 203. Let b be f(4). Let g = b - r. Is g a prime number?
False
Suppose 1 + 19 = -5*g, 0 = -4*p + g + 44940. Let s = -7441 + p. Is s prime?
True
Suppose 22*v = 527422 - 2637574. Let w = -64147 - v. Is w composite?
False
Suppose 476*u - 497*u + 64023 = -93456. Is u prime?
True
Suppose -2*x - 3772 = -p - 913, -3*p - 2*x + 8593 = 0. Let s = p + 721. Suppose 2*t - 2810 = -2*z, t - s = -5*z + 3457. Is z a prime number?
True
Is 3*(60/240 - 1263689/(-12)) a composite number?
True
Let q(d) = 3*d**3 + 2*d**2 + 35*d - 51. Let j(c) = -3*c**3 - 3*c**2 - 36*c + 52. Let s(x) = 2*j(x) + 3*q(x). Is s(12) prime?
True
Let s(m) = -12*m + 42. Let z be s(4). Is 2217*(0 + (-6)/z) a composite number?
True
Is (522876/(-14))/((4/49)/(606/(-2121))) a composite number?
True
Let h be ((-112)/24)/((-1)/12*2). Suppose h = -5*r + 4*j, r = -3*r + j - 18. Is (-844)/(-6)*(-6)/r prime?
True
Suppose 8*w - 316334 = -93350. Suppose -w = -6*j - 831. Is j a composite number?
False
Let h(g) = 16134*g + 541. Is h(3) a prime number?
False
Let m be 5/(-2)*32/(-40). Suppose -2*t + 49983 = -67*z + 70*z, 66644 = 4*z - m*t. Is z a prime number?
True
Let o = -3204 - -3059. Suppose -19 = -y - 5*u, 5*y - u + 4*u = -15. Let f = y - o. Is f a composite number?
False
Let h(t) = -42*t - 26. Let g = 42 - 58. Let u be h(g). Let l = -327 + u. Is l a prime number?
False
Let v(q) = -2*q**3 + 27*q**2 + 17*q - 14. Let u be v(14). Suppose -u*c + 26*c = -1730. Is c prime?
False
Let i(j) = -17*j**3 + 144*j**2 - 29*j - 127. Is i(-21) prime?
False
Suppose -c - 61030 + 181780 = 2*g, 5*c - 603734 = -2*g. Is c prime?
False
Let l(q) = q - 24. Let k be l(18). Let o be 8/(-28) + k/(-21). Suppose -3*p - 3 = o, 2*d + 0*d + 3*p = 8839. Is d prime?
True
Suppose 7613452 - 2087639 = 3*i - 2*k, -3*i = 2*k - 5525845. Is i a composite number?
True
Suppose -26*c = -2*c - 49128. Let a = c - 1080. Is a prime?
True
Let c(u) = 38*u + 329*u + 61*u + 940*u - 13. Is c(3) composite?
False
Let b = -60 + 63. Let l(d) = 25*d + 26*d**2 + 10*d**3 + 19 - 4*d**b - 5*d**3. Is l(-17) a composite number?
True
Let r = -151 - -150. Suppose k = 4*u - 1, -2*k = 2*u - 7 - 1. Is (-2864 + 5)*r/k a composite number?
False
Let k = -149 + 154. Suppose -4*i + 20529 = k*i. Is i a composite number?
False
Let x(z) = -64*z**3 - 2*z**2 - 7*z - 22. Let v(a) = 64*a**3 + 2*a**2 + 6*a + 23. Let b(d) = 3*v(d) + 4*x(d). Is b(-6) composite?
True
Let n(p) = p**3 + 21*p**2 + 99*p + 3. Let o be n(-7). Is 46*1082*(3 + 11/o) a prime number?
False
Let s(r) = 589*r**2 + 4*r + 5. Let n(a) = a**3 - 16*a**2 + 37*a + 22. Let w be n(13). Is s(w) prime?
True
Suppose -5*a - 2*g = 4679, -2*g + 1866 = a - 3*a. Is a/748 + (1 - (-26549)/4) a prime number?
True
Suppose -25 = -9*b + 4*b - n, 5*n + 25 = 0. Suppose -b*t + 4 = -8*t, 25 = 5*d + 5*t. Suppose -d*j = 3229 - 27372. Is j a prime number?
True
Let g = -267 + 267. Suppose -3*f - 22*f + 2825 = g. Is f a composite number?
False
Let n(m) = -12246*m + 673. Is n(-6) composite?
False
Let d = 5157 - 2438. Is d a prime number?
True
Suppose 0 = 3*s + 4*k - 1235085, -223*s + 228*s - 2058475 = -k. Is s composite?
True
Let j(z) be the first derivative of z**2/2 + 16. Let a be j(5). Suppose 0 = -o - o - f + 108, a*f = -2*o + 116. Is o a composite number?
False
Let h be ((-96376)/(-42))/((-4)/(-3)). Let o = 2658 - h. Is o a composite number?
False
Let l = 354184 - 241301. Is l composite?
True
Let h(a) = 29*a**3 - a + 2. Let x be h(1). Let t = x + -45. Is (2 - t/(-5))/(1/(-551)) a composite number?
True
Let p = 128926 - 82919. Is p a composite number?
True
Let o(a) = 109*a - 212. Suppose 0 = -7*w + 65 - 16. Is o(w) a prime number?
False
Let q = -391 - -387. Is (2/q)/(-6 + 16331/2722) a prime number?
True
Let q be (4 - (-1881)/(-18))/((-3)/136). Suppose -16*k = -q - 14852. Is k composite?
False
Let n = 230 + -265. Is 2941 - 14/n*-15 a composite number?
True
Let p = 207 + -211. Let m(l) = 539*l**2 - 2*l + 9. Is m(p) composite?
False
Let q be (-41)/(-5) - (-28)/35. Suppose 3*t - 6 = q*t. Is t*(-4 + -488 + 1) composite?
False
Let x(j) = 4693*j + 96. Is x(15) prime?
False
Let r = -594 + 3133. Suppose -r - 953 = -2*o. Suppose -d + 2*m + 1307 = 2*d, 2*m = 4*d - o. Is d composite?
False
Suppose 152*u - 37756700 - 17462191 = -121*u. Is u prime?
False
Let g = 19 - 10. Suppose 2*a = g*a - 28. Suppose -a*f + 1511 = -277. Is f prime?
False
Let b = 163 - 159. Suppose -3*x - b*w + 98 + 359 = 0, x + 2*w = 151. Is x a composite number?
True
Let s(n) = -1649*n - 14. Let j(h) = -825*h - 7. Let v(m) = -5*j(m) + 3*s(m). Suppose 5*g + b = -8, -4*g + 636*b + 2 = 634*b. Is v(g) composite?
True
Suppose r - s = 6, -2*r + s = 2*s - 15. Suppose -2*k = 2*a + k + r, -5*a + 45 = -5*k. Suppose -1073 = -4*n + 5*u, -a*n + 2*u + 803 = -n. Is n a prime number?
False
Let v be 23641/(-3) + (-82)/123. Is v/(-142)*(-178)/(-3) composite?
True
Let i be (-2)/7 - (-712910)/154. Let a = -3066 + i. Is a composite?
True
Let v(f) = -24*f + 35. Let u(p) = -49*p + 70. Let z(c) = -3*u(c) + 7*v(c). Is z(-4) a composite number?
True
Suppose r = -1 - 1, 0 = 5*s + 3*r - 4. Suppose u + 7450 = 6*u. Suppose 0 = -s*l + 8, -p = -3*p - 4*l + u. Is p a prime number?
False
Let m = 13433 + -18812. Is (5 - (-70)/(-15))/((-1)/m) composite?
True
Let c(j) = 10*j**2 - 11*j - 27. Let i(n) = n**3 - 1. Let l(s) = 7*s**3 + 14*s**2 - 2*s - 18. Let