35 - 37)/(1/1). Is 514*(z/(-4) + p) prime?
True
Let r(j) = j**2 + 7*j + 2402. Is r(0) a composite number?
True
Suppose -1 = -d + 2*s - 6, -4*d + 5*s - 5 = 0. Suppose -8 = 2*w, -7*t - w + 258 = -d*t. Is t prime?
True
Suppose -2*q - 2*x = -10, -4*x + 5 = 3*q - 14. Let r be (-2 + (q - -3))/(-2). Is 33 + (3 + -4)*r a composite number?
True
Suppose l - 1191 = -o, -2*o = o + 12. Is l prime?
False
Let q = 58330 + -32427. Is q a composite number?
False
Let h be -1 + 1 - (-2 + -4) - 1. Suppose -262 = -x - h*z, -4*x + 3*z + 1282 = x. Is x composite?
False
Let o(r) = r**3 - 5*r**2 + 5*r - 2. Let y be o(4). Let u(p) = -2*p**3 + 3*p**2. Let i be u(y). Is i + 2 + 0 + 69 a composite number?
False
Let p = -2 + 6. Suppose -y + 2270 = p*y. Is y composite?
True
Let n(y) = 86*y**2 + 2*y - 7. Let v = -16 - -12. Is n(v) a prime number?
True
Suppose -7*t = -139 + 41. Is t/70 - 3/((-15)/2494) a prime number?
True
Let h be (-135)/5 - 4 - -4. Let q = h + 32. Suppose n + 4*l = 115, -l = q*n - 109 - 485. Is n a prime number?
False
Is 6/2 + -5 - -13597 a prime number?
False
Let h(q) be the third derivative of -q**7/180 - 7*q**6/720 - q**5/60 + 3*q**2. Let u(k) be the third derivative of h(k). Is u(-6) composite?
True
Suppose 5*w + 3403 = 128. Let p = -452 - w. Is p a composite number?
True
Suppose 2*w - 3148 - 7050 = -4*r, -15293 = -3*w - 4*r. Is w a composite number?
True
Suppose 0 = -20*t + 26*t - 202902. Is t a prime number?
False
Let m = 19 - 14. Suppose 110 = -m*k + b, -4*b - 85 = -0*k + 5*k. Let n = 254 + k. Is n composite?
False
Suppose 5*z - 8*z + 1134 = 0. Let r = z - 257. Is r a prime number?
False
Let j(g) = -g**2 + 6*g + 2. Let n be j(6). Let c be (n/(-5))/(5/(-25)). Suppose -4*d + 282 = -d - l, -5*d - c*l = -481. Is d a prime number?
False
Suppose 0 = -3*o + 15, 0 = -4*y + 2*y + o + 2249. Suppose -2*r + y = 5*a - 514, 4*r + 666 = 2*a. Is a composite?
True
Suppose o - 2*y + 5645 = 6*o, 4*y = o - 1151. Suppose 3*u + 4*j = -o, 0*j + 9 = -3*j. Let m = u + 851. Is m composite?
True
Suppose -l = 4*l - 5*s - 30, 5*l + 2*s - 9 = 0. Let z(h) = h**3 - 5*h**2 + 7*h - 3. Let f be z(l). Suppose -2*k - 2*k + 332 = f. Is k prime?
True
Let c(g) = 91*g**3 + 6*g + 3. Let k be c(-2). Let l = k + 1446. Is l composite?
False
Let c = 179 + 6498. Is c prime?
False
Let x = 1239 + 748. Is x composite?
False
Let d(z) = -z**3 + 3*z**2 + 3*z - 4. Let x be d(3). Let w = -2 + x. Suppose -w*a - 2*a + 345 = 0. Is a composite?
True
Let z(s) be the third derivative of s**6/12 - s**5/60 + s**4/12 + s**3/2 - 19*s**2. Is z(2) a composite number?
False
Let v(j) = -j**2 + 6*j + 10. Let m be v(5). Suppose -2*o + 2*n + 3*n + 25 = 0, -5*o + 3*n + m = 0. Suppose 0*l - 5*l + 1685 = o. Is l prime?
True
Suppose -4*y - 1471 - 181 = 0. Let s = -286 - y. Is s a prime number?
True
Let p(u) = -u**3 - u**2 + 2*u + 1. Let y be p(2). Let q be (y/21)/(2/(-54)). Let i = q + 100. Is i a prime number?
True
Is (8/16)/((-4)/(-23288)) a composite number?
True
Suppose -72*k = -80*k + 98744. Is k a prime number?
True
Let s = -989 + 1620. Is s prime?
True
Let n = 2862 + -1955. Is n composite?
False
Let d(u) = 3*u - 10. Let g be d(6). Let o(i) = -i**3 + 7*i**2 + 6*i - 2. Let l be o(g). Is 1*97 + l/9 composite?
True
Let c(z) = 3741*z**2 + z - 3. Is c(-1) a composite number?
True
Suppose 0 = -4*l - l + 20. Let o(r) = 7 + 5 + 3 + 2*r**2 - 3*r - l. Is o(12) composite?
False
Let v be (-1)/((-2)/(-12))*-83. Suppose -2*l + v = 3*x - 0*l, -5*l = 3*x - 498. Is x a prime number?
False
Suppose 2*w - 4*z + z = 671, -1688 = -5*w - 3*z. Suppose 6*f = w + 1949. Is f prime?
False
Suppose -8*q - 13004 = -12*q. Is q prime?
True
Suppose -5*n = -43 - 27. Suppose -9*q - 40295 = -n*q. Is q a prime number?
True
Suppose -n = i - 4387, -4411 = -i - 0*n + 5*n. Is i composite?
False
Is 0 + (-5225)/(-10) + 39/(-26) a prime number?
True
Suppose -a + 2 = 0, -3*m - 4*a + 4902 = -m. Is m a composite number?
False
Let v be 3/((-143)/(-146) + -1). Let h = v - -517. Is h composite?
True
Suppose -34 = -5*d + 2*d - 2*q, 4*d - 46 = -2*q. Is (-2)/12 + 7610/d + -3 a composite number?
False
Suppose 49 - 1503 = -2*c. Let v = c - 332. Is v composite?
True
Let h = -125 + 119. Let i(r) = -14*r**3 - 4*r**2 - 8*r + 11. Is i(h) prime?
True
Is 84 + 1582 + (-4 - (0 + 1)) composite?
True
Suppose 16 = 5*l + 1. Suppose 2*o = 5*r + 1030, -l*r - o - 316 = 302. Is (-4 - r) + 1 + -4 a prime number?
True
Let s(x) = 6 - 7*x + 2*x + 3*x - 5*x + 6*x**2. Let l be s(6). Let r = l - -215. Is r a prime number?
False
Let z(v) = 3687*v**2 - v - 2. Let p be z(-1). Let f be 10/(-20) - p/(-4). Suppose -5*g + 1061 = 4*d - 167, 3*d + 3*g = f. Is d a composite number?
False
Let b(s) = 85*s**2 + 12*s - 32. Is b(5) a composite number?
False
Suppose -14175 = 2*i - 7*i. Suppose -3*g - 2*g - i = 0. Is g/(-2 + -1) + 2 a prime number?
True
Suppose -4*u = p - 46268 - 5125, 2*u + 2*p - 25704 = 0. Is u a prime number?
False
Let q(y) = -y**3 + 2*y**2 + 8*y + 4. Let o be q(4). Suppose -5*b + 3226 = -4*j, o*b - 4*j = -6*j + 2560. Suppose b = 3*c - 759. Is c prime?
True
Suppose c - 7 = -0*c. Suppose c*u - 6*u = 0. Suppose 4*j = -o + 58, u*o + 82 = o - 2*j. Is o composite?
True
Suppose -284 - 1698 = -2*z. Let c = -474 + z. Is c a composite number?
True
Let w(h) = -3*h**3 + 65*h**2 + 26*h - 21. Is w(13) a prime number?
False
Suppose -13*k + 10*k + 960 = 0. Suppose -2311 - k = -3*g. Is g a prime number?
True
Let p = 15 + -23. Is 25388/28 - p/28 a composite number?
False
Let o be 1 - -4 - 8/(-2). Let i be 8/12*o/2. Suppose -i*l + 201 = -0*l. Is l composite?
False
Suppose -l = -2*l. Suppose l*j - 2*j = -10. Suppose 5*t = 2*t + j*v + 126, 4*v + 123 = 3*t. Is t a prime number?
True
Suppose -2*p = 4*d - 4, -4*d + 3 = -4*p - 1. Is (0 + d)/(6/1266) prime?
True
Suppose 322*r - 24215 = 317*r. Is r a prime number?
False
Suppose 5*l - 35 = 5*j, l + j - 5*j - 10 = 0. Let q(i) = -206*i - 213*i - 9 + 629*i - 193*i. Is q(l) prime?
False
Suppose 0 = -2*z - 0*z. Suppose -5*i - 2*v = -693, -4*i + 2*v = -z*v - 558. Suppose -u - 4*a + i = 0, 0*u - 5*a = u - 139. Is u prime?
True
Let x be (-2)/4 - (-1199)/(-22). Let i be 4/22 - (-16015)/x. Let d = -128 - i. Is d prime?
True
Let w = 224 + -16. Suppose p = x - 53, 5*x - w - 81 = -3*p. Suppose 16 = 2*j - z, -2*z + 6*z - x = -4*j. Is j a prime number?
False
Let h = 194 + -275. Let d = h - -139. Let l = d - 3. Is l a composite number?
True
Let k(w) be the third derivative of 217*w**6/120 + w**4/24 - w**3/6 + 12*w**2. Is k(1) a prime number?
False
Let i(r) = -4*r + 47*r**3 - 2*r**2 + 2 + 5*r**2 + 925*r**3. Is i(1) prime?
False
Let v(q) = 9*q**3 + 34*q**2 + 51*q + 23. Is v(12) a composite number?
True
Let v be (10/(-3))/((-8)/2796). Let c = -764 + v. Is c a prime number?
True
Let u(d) = d**2 + 7*d - 22. Let t be u(-12). Suppose 46*v - 4648 = t*v. Is v a composite number?
True
Let i(r) = 23*r**2 + 4. Suppose c + 3 = -2*t, 0 = 3*c + 2 + 7. Let z be 0 + t + -2 + -1. Is i(z) a prime number?
True
Is 9192/30 - -6*(-1)/(-10) prime?
True
Let z be 0/(-4) - 1/(-1). Let c be -1 + z + (-5690)/(-5). Suppose -5*s + c = 113. Is s prime?
False
Let a(p) = 9*p**2 + 7*p + 5. Let c be a(-5). Let w(f) = f**3 + 4*f**2 - 14*f - 11. Let j be w(-6). Is c/j + (-7 - -3) a composite number?
False
Let q be 347520/105 + (-4)/(-14). Suppose -12*m = -7*m - q. Is m a composite number?
True
Let u(s) = 35*s - 6. Suppose -4*p - 6*h + 4 = -2*h, -4*h - 28 = -4*p. Is u(p) a composite number?
True
Is (-10123)/(-4) + ((-12)/16)/(-3) a composite number?
False
Let j = 3563 - 1475. Suppose 0 = 2*m - j - 86. Is m a composite number?
False
Let v = 1062 - 568. Suppose 3*n + a - 658 = v, -a - 1536 = -4*n. Suppose -2*r - n = -2*i + 224, -i + 3*r = -298. Is i a prime number?
True
Let j be 8/(-6)*-5 + 20/(-30). Suppose 0 = -j*z - 9*z + 74805. Is z prime?
True
Suppose -g = t - 3997, 4*g = -t + 4320 - 329. Let j = t + -2017. Is j a prime number?
False
Let o = 5961 + -8599. Let f = -1721 - o. Suppose 5*i + 2*g + 95 = f, g = -2*i + 328. Is i prime?
False
Let d(u) = -u**3 - u + 4. Let s be d(0). Suppose -4*w = -3*v - 19, -s*v - 16 = -4*w + 4. Is (w/8)/((-2)/(-148)) a prime number?
True
Let z = 46 + -26. Suppose 0 = 27*w - 11*w - 48. Suppose -5*i = -l - 1111, -2*l - w*l = -z. Is i a prime number?
True
Suppose -81 = 8*v + 39. Let l = 84 + v