. Is v prime?
True
Suppose -2*t - 5 = -5*o, 0 = t + 5*o - 9 - 11. Let g be (t/(-2))/(8/912). Let p = g - -508. Is p composite?
False
Suppose -594 = 32*f + f. Is (-4)/f - ((-25050155)/(-45))/(-13) prime?
True
Let f be (-6)/12*-99222 + -6. Suppose -3*o + f = 3*m, 0*o + 5*m = 3*o - 49621. Is o a prime number?
False
Let i(b) = 2*b + 5. Let t be i(5). Suppose 2*v - t = -u + 6*v, u + 3 = -2*v. Suppose -5*n - 2*h + 1341 + 14584 = 0, 0 = u*n + 2*h - 9551. Is n prime?
True
Suppose -7972 = -3*a - l, 31*a = 26*a - l + 13286. Is a a composite number?
False
Suppose -5*z = -25, -7*q - z = -3*q - 13. Suppose -3*n = -d + 1123, -2*d = -3*n + q*n - 2236. Is d composite?
False
Let j(z) = -2*z**2 - 2 - 13*z**2 + 22*z + 0 - 26*z**3 + 29*z**3. Let n be j(10). Suppose 0 = -f + n - 349. Is f composite?
True
Suppose -67 = -15*a + 38. Suppose -4*c = -n + 2797, a*n + 5*c = 8*n - 2802. Is n prime?
True
Let x(z) = -z**2 - 18*z - 4. Let m be x(-18). Let r(k) = -11*k**2 - 12*k - 35. Let i(u) = -6*u**2 - 6*u - 17. Let v(y) = m*r(y) + 7*i(y). Is v(-7) prime?
False
Let t(g) = -g**3 - 10*g**2 - 14*g - 11. Let c be (-2 + -3 + 2)*(-286)/(-66). Let o be t(c). Let d = o - 193. Is d a prime number?
False
Let y = 174525 + -101048. Is y a composite number?
False
Let l = 189 + 17. Let y(t) = -2*t**2 + 8*t - 35. Let v be y(-10). Let i = l - v. Is i prime?
True
Let n be 6654/3 - 8/(-2). Let v = -11415 - n. Let b = 19450 + v. Is b a prime number?
True
Let o = 140947 + -75770. Is o composite?
True
Let h(o) = 27*o**2 + 23*o - 4. Let v be h(-4). Suppose -3*d + 7*k = 8*k - 330, -3*d + k + v = 0. Is d a composite number?
True
Suppose 98*w - 3132569 = -23*w. Is w prime?
True
Suppose 0 = -6*k - 241 + 31. Is (7/k)/((-15)/2039550) prime?
False
Let q be (-24626530)/(-344) + (2/(-1))/(-8). Suppose 0 = 6*o + 15*o - q. Is o prime?
False
Let l be 9/18 + (-50)/(-4). Suppose -l*m - 1104 = -t - 18*m, -5*t = m - 5400. Is t prime?
False
Let l = -133066 + 94448. Let y = l - -69433. Is y composite?
True
Suppose 0 = 24*h - 17*h - 27076. Suppose 101*b - h = 97*b. Is b a prime number?
True
Suppose 0 = 4*z - 74 + 18. Suppose z*d - 21 = 5705. Is d a composite number?
False
Let d(w) = -1011*w + 3. Let f be d(-3). Suppose -m - 3956 = -4*v + 1833, -2*m + 2892 = 2*v. Let z = f - v. Is z composite?
True
Let q be 0/(-3)*-1 - -3. Is q + (-13935)/(-21) - 6/(-14) prime?
False
Let o be ((-7)/(70/(-2204)))/(14/630). Is (140/(-77))/(-10) + o/22 a composite number?
True
Let d(p) = -4*p + 26. Let y be d(3). Suppose y*g = 21476 + 18354. Is g a composite number?
True
Let b = 1116 + -2132. Let z = b - -1803. Is z a prime number?
True
Is (560/(-32) + 18)*(1 + 81177) a composite number?
True
Let c(m) = 18*m**2 - 220*m + 813. Is c(-89) a prime number?
True
Let z = -271 - -274. Suppose -z*c - 77818 = -2*k, 3*k - 125482 = c - 8769. Is k composite?
False
Let j(h) = h**3 - h**2 - 7*h + 8. Let l be j(4). Let q(p) = p**3 - 8*p**2 - 63*p + 89. Is q(l) a prime number?
False
Suppose -15*b - 27142 = 22913. Let m = -1422 - b. Is m prime?
False
Suppose -3*i - 825 = -78. Let n = 763 + i. Is n a prime number?
False
Suppose -5*b + 4*n + 446062 = -507395, 3*n - 381415 = -2*b. Is b a composite number?
True
Suppose 10*s + 177889 = 36909. Let i = s - -28145. Is i a prime number?
False
Suppose 0 = 2*c + 3*a - 11326, -c = -4*a - 5718 + 33. Is c a prime number?
True
Suppose 3*m + 2*t = 4*t - 16, 0 = -2*m + t - 12. Let h be 5/(4/m*-8 - 3). Suppose 84 = 2*i - 2*b - 536, -15 = h*b. Is i a prime number?
True
Is (44/(-22))/((-2)/58013) prime?
True
Let j(l) = -392*l**3 - 5*l**2 - 2*l - 9. Let c(h) = -394*h**3 - 6*h**2 - 3*h - 8. Let b(z) = -2*c(z) + 3*j(z). Is b(-4) a prime number?
False
Suppose 4*t + 2099552 = 53*t. Suppose 3*g + 6*y = 11*y + t, -4 = 4*y. Is g a prime number?
True
Suppose -3*p = 5*o - 466520, -187*p = 2*o - 192*p - 186639. Is o a prime number?
True
Suppose -13*t - 81*t = -2922554. Is t a prime number?
True
Suppose 2*n + 6 = 0, 0 = -2*w + 7*w - 4*n - 302. Let q = w - 172. Is (-2)/(-2)*((-3)/3 - q) composite?
False
Suppose -4*t + 5*t = 98177 - 1066. Is t a composite number?
True
Suppose 0 = -19*l + 51*l - 279810 - 1221214. Is l a prime number?
False
Let n = -13 + 15. Suppose 0 = -4*p - 3*t + 40, n*p - t + 8 = 18. Let v(w) = 17*w**2 + 10*w - 14. Is v(p) a composite number?
True
Suppose 23*k - 38 = 54. Suppose 11510 = m + 5*y, k*y + 60527 = 5*m + 3122. Is m a prime number?
False
Is 2713132516/9156 + 2/21 a composite number?
True
Suppose -7*a + 8*a + 2*s = 0, 10 = 4*a + 3*s. Suppose -6*l + a*o = -5*l - 1661, 1659 = l - 2*o. Is l a composite number?
False
Let n = 175679 - 30048. Is n a prime number?
False
Let c(i) = -i**3 - 9*i**2 - 23*i + 7. Let p be c(-16). Let t be (-12)/(-42) - 38/(-14). Suppose 0*n - 5*n + 2851 = 4*j, -t*j + 2*n = -p. Is j composite?
False
Suppose 0 = 2*b - 5*g - 7325, b + 3*g - 2*g - 3645 = 0. Let n = b + -2013. Is n a composite number?
False
Let b(o) = 15766*o + 457. Is b(12) a prime number?
False
Let x(q) = 3323*q + 31. Let y be x(3). Let s = -6647 + y. Is s a prime number?
False
Let b(j) = 1854*j**2 + 60*j - 733. Is b(10) a prime number?
True
Suppose 0 = -4*m - 2*u + 81652, -3*m - u + 47216 = -14023. Is m prime?
False
Suppose o - 4200 = -233. Is o prime?
True
Let a(z) = -24772*z + 4935. Is a(-43) a composite number?
False
Suppose -p = -65 + 404. Let s = p + 1381. Is s composite?
True
Suppose -q = 2*z - 299515, q - 299517 = -49*z + 45*z. Is q composite?
False
Suppose 1037*o = 773*o + 202831464. Is o a composite number?
False
Let n = -251 - -247. Is (-102)/(-68) + (-2318)/n composite?
True
Let q(i) = 3*i**3 - 37*i**2 + 12*i + 14. Let v be q(12). Suppose -19*x + 7705 = -v*x. Is x a composite number?
True
Let f(g) = g**2 + 23*g + 28. Let u be f(-22). Let b be -3 - -1116 - (-24)/u. Let r = b + -666. Is r prime?
False
Is (9/12*(-279294)/9)/(4/(-8)) prime?
True
Suppose 9*t - 6*t = 35055. Suppose -y = -4*s - 1591 + 10927, -5*s = -5*y - t. Is s composite?
False
Let n(y) be the second derivative of 7*y**5/20 + 2*y**3/3 + 5*y**2/2 + 45*y. Is n(4) composite?
True
Let x be (-44)/154 + (-2 - 144/(-14)). Let f(b) = -3*b + 26. Let m be f(x). Suppose -m*j + l - 8286 = -5*j, 0 = -2*j + 3*l + 5513. Is j a composite number?
True
Let a be 60/42*(-4 - (-35 - -3)). Is (10653/6)/(20/a) prime?
False
Suppose 10 = -5*s, -3*x + 3*s + 15576 = 2505. Suppose 3*v + 2*v = x. Suppose 3*r = -3*l + l + v, l + 5*r = 418. Is l prime?
True
Let p(r) = 357*r**2 + 11*r + 48. Let i(g) = -357*g**2 - 12*g - 49. Let h(v) = -5*i(v) - 6*p(v). Let w be h(-27). Is (-3)/(-21) - w/49 a prime number?
True
Suppose -55753 = -3*x - 2*x - 4*b, -22308 = -2*x - 5*b. Is x prime?
True
Suppose -7*p = -3*p - 8. Suppose p*w + 3*w + 130 = 4*l, 2*l = -2*w + 74. Suppose 0 = -l*y + 40*y - 110. Is y prime?
False
Is 1/(-3) - ((-361746396)/27)/38 prime?
True
Suppose 0*f + 3*v - 1 = f, 0 = -5*f + v - 19. Let p(u) = -5*u**2 + 7*u + 13. Let o be p(f). Let d = o - -229. Is d a composite number?
True
Let p(t) = 905*t - 2813. Is p(15) prime?
False
Suppose 0 = -51*n + 56*n - 6*d - 365711, 5*n - 365743 = -2*d. Is n a composite number?
True
Suppose a + 5*m - 5099 = 0, 4*a + m - 1201 = 19309. Is a composite?
True
Suppose 5*y = -4*z - 0*y + 20125, -3*z = -y - 15070. Suppose -8497 = -2*o - 3*t, -4*o + 5*t + z = -11914. Is o prime?
True
Suppose 0 = m + 4*m + f - 532955, -3*f = -4*m + 426364. Is m a composite number?
False
Let j(w) = -2*w + 33368. Let f be j(0). Let a = 56385 - f. Is a prime?
True
Suppose -2*k = -3*j - 2528, 4*j + 5168 = 3*k + 1377. Is k composite?
True
Let o(a) be the third derivative of -7/12*a**4 + 0*a - 1/15*a**5 - 10/3*a**3 + 0 + 16*a**2 + 1/120*a**6. Is o(11) prime?
True
Suppose -2*v - 4*y + 149544 = 2*v, -186902 = -5*v - y. Is v composite?
False
Let p(y) = y**3 - 32*y**2 - 3*y + 94. Let q be p(32). Is (8/(-4) - q) + (9572 - 3) a prime number?
False
Suppose b - 19605 + 456 = -2*i, -3*i - 19169 = -b. Is b composite?
False
Let c(f) be the third derivative of -17*f**7/1680 + f**6/90 + f**5/5 - 39*f**2. Let v(h) be the third derivative of c(h). Is v(-3) composite?
True
Let v(d) = -d**3 + 57*d**2 - 152*d + 209. Is v(48) a prime number?
True
Let b be (-13)/(13/(-4))*436. Suppose b = 5*l - 2041. Is l prime?
True
Let h = 6782 + 735. Let i be 14711 - (6 - 4 - 0)*-1. Suppose -5*b = -5, 2*b