28*i. Suppose -i*l + 10172 = -20998. Is l prime?
True
Suppose -4*m - 2*f + 8 = 0, 0 = -4*m - f + 4*f - 12. Suppose 2*o - 18 - 8 = m. Suppose 14*r - o*r = 233. Is r composite?
False
Suppose 80*m - 40*m = 1390280. Is m prime?
True
Let r be 624/108 + (-70)/(-315). Let g = 40 - 76. Is (-42740)/g + r/(-27) composite?
False
Let l = -1243 + 205. Let v be (-13 - -16) + l/(-1). Let k = v - 562. Is k composite?
False
Suppose 2*n - 5*h = 65, 0*n - 68 = -2*n + 2*h. Let x = n + -63. Let o = x + 123. Is o prime?
False
Let c(l) = 77*l + 54. Let d be 10*((-20)/28)/((-2)/7). Is c(d) composite?
False
Let u = 6233 + -3606. Is u composite?
True
Let s(o) = 1006*o - 30. Let k(t) = 1509*t - 45. Let n(l) = -5*k(l) + 8*s(l). Let a be n(2). Suppose 2*g + 2*u + 1982 = 4*g, 0 = g - 5*u - a. Is g prime?
True
Let c(k) be the third derivative of k**4/24 + 7*k**3/6 - 14*k**2. Let s be c(-7). Is (-3)/(s + 6/(-326)) prime?
True
Suppose -5*p = -2*j + 29016, 163*j = 161*j + 2*p + 29022. Is j prime?
False
Is 50049622/350 + (-24)/(-300) prime?
False
Is 1 - 3012/(-6)*367 prime?
False
Let q = 59582 + -33831. Suppose 15*x + q = -25714. Let i = x - -4830. Is i composite?
False
Suppose -2*m = -4*z - 239434, 22*m + 2*z = 25*m - 359143. Is m a prime number?
False
Let g(i) = i**3 - 25*i**2 + 411*i - 24. Is g(53) a composite number?
False
Let i(m) = -22 - 950*m + 58 + 42 + 110 - 291*m. Is i(-15) a prime number?
True
Suppose 5*p - 4450 = -n, 5*p - 6*n - 4450 = -3*n. Let k = -878 - -295. Let q = k + p. Is q a composite number?
False
Suppose 5710 = -5*u - a - 298, 2*a + 6 = 0. Let x = 308 - u. Is x a composite number?
True
Suppose 4*x - 8*x + 152332 = 4*k, -5*k + 190409 = 2*x. Let j = -20755 + k. Is j a composite number?
True
Let v(s) = s + 11. Let x be v(-3). Is 3154/12 + x/48 composite?
False
Suppose 3*q - 31 = -22. Suppose -f = q*u - 2457 - 11672, 9402 = 2*u + 5*f. Is u a prime number?
False
Let q = -123525 + 697576. Is q a composite number?
False
Suppose 0 = 5*w - 5*d + 15, -5*w - 2*d = -5*d + 9. Suppose w*n + 44400 = 5*n. Suppose -2*x = 2*z - 3568, -5*x + 0*x + n = -3*z. Is x a prime number?
False
Let c(s) = -5*s - 14. Let m be c(-7). Let h = m - 20. Is (h/2)/((-9)/(-22374)) prime?
False
Let c = -80 - -80. Suppose c = -19*x + 13*x + 7830. Let l = x - 112. Is l prime?
True
Let h = -347 + 350. Suppose h*x = -3*j + 1536, -5*x + 650 + 888 = 3*j. Is j a composite number?
True
Let t(i) = -2395*i - 109. Let b be 15/6*(-24)/10. Is t(b) composite?
True
Let k(d) be the third derivative of 109*d**6/60 - d**5/15 + d**4/24 + 2*d**3/3 + 41*d**2. Is k(3) composite?
False
Suppose -5*n + 5260 = -5*i, -6*n + 5242 = -5*i - 10*n. Let z = 2699 + i. Is z a composite number?
True
Let m be 6/(-8) + 11/4. Let c = 113 + -87. Suppose -238 + c = -m*b. Is b a prime number?
False
Suppose -2756 = 3*q - 4*c - 58, -4*c = -q - 894. Let p = q - -2049. Is p prime?
False
Let t be 2/((-4)/(-390)*3). Suppose 7*b - 289 = -303. Let j = t - b. Is j composite?
False
Let q be 2/(-7) - (-176)/28. Suppose q + 3 = 3*i. Suppose -3*r + 9 = i*l, 2*r = 3*r + 5*l + 13. Is r composite?
False
Suppose -3*b + 45553 = 3*i + b, 0 = -2*i - 4*b + 30370. Let f = i + -9266. Is f a prime number?
False
Let s(f) = 2*f**2 + f - 40. Suppose -2*o - 25 = -35. Let k(l) = -2*l**2 + 42. Let h(b) = o*s(b) + 4*k(b). Is h(-21) a composite number?
True
Let h(t) = 2071*t**2 + 9*t + 21. Let g be h(-7). Suppose -5793 + g = 4*n - 4*f, -n - 5*f = -23935. Is n a prime number?
False
Let l(i) = 7*i**2 - 13*i + 23083. Let p(r) = -10*r**2 + 19*r - 34624. Let x(n) = -7*l(n) - 5*p(n). Is x(0) prime?
False
Suppose 4*x = -0*s + 4*s - 8, 0 = -5*s - 2*x + 17. Suppose -1 = -2*l + l, -s*l + 179 = 4*g. Suppose -2*y + 150 = -g. Is y a composite number?
False
Let i = 237493 - 51971. Is i a composite number?
True
Let w = -71 + 92. Is 6/(-14) - ((-89400)/w)/5 a composite number?
True
Let f(g) = 58*g**2 - 55*g - 6. Let v be f(23). Suppose -6*p = -9*p + 4*b + 22067, 0 = -4*p + 3*b + v. Is p prime?
True
Let l(m) = 24*m - 61. Let u(z) = 16*z - 40. Let h(a) = 5*l(a) - 7*u(a). Let s = -7 + 13. Is h(s) a composite number?
False
Let k = -283294 - -399257. Is k prime?
True
Let k(f) = -3*f**3 + 2*f**3 + 13 - 876*f**2 + 899*f**2 - 21*f. Let y be k(22). Is (-2)/(-10) + (938/y - 4) a prime number?
True
Let y(n) = -1004*n + 325. Is y(-11) a prime number?
True
Suppose -6*n = -11*n - 10. Is 0 + 1 - 13160/(-7 - n) composite?
False
Let a be -9000 + 2/(6/9). Let i = -24541 - a. Is i/(-24) + 2/(-3) prime?
True
Suppose -z = -g + 628264, 6*z + 3239318 - 97995 = 5*g. Is g a prime number?
True
Let y(i) = -178*i**3 - 3*i**2 + 7*i + 15. Let f be y(-2). Let t = 5428 + f. Is t prime?
True
Let l = 14927 + -9214. Suppose -d = -5*n + 14272, -2*d + d + l = 2*n. Suppose t = 5*j + 571, -t - 4*t + j + n = 0. Is t a composite number?
False
Suppose 7600 = 11*s - 15*s. Let o = s - -10907. Is o prime?
True
Let j be 14/(-6) - (-10)/30. Let b(w) = -138*w**2 - 2*w - 6. Let y be b(j). Is -1 + y/(-2) - 0 - 2 a prime number?
False
Let c(w) = 0 - 144*w**2 - 28*w - 13 + 150*w**2 - 8. Is c(13) a composite number?
True
Suppose 221465 = 4*g + 3*r - 92421, -3*r = 6. Is g prime?
False
Suppose 2*j + 5*x = -52, -2*x - 92 = 5*j + x. Let w = 11 + j. Is (1 + 2331/(-5))*w/2 a composite number?
False
Let h(x) = -1 + 40*x**2 - 2*x + 23*x**2 + 2. Let b = -1712 - -1714. Is h(b) prime?
False
Let d = -122964 - -247391. Is d a composite number?
False
Suppose -2*p + 4*y - 94080 + 710968 = 0, 5*p - 3*y - 1542269 = 0. Is p a prime number?
False
Let j = -837106 + 1345947. Is j a prime number?
True
Let o be ((-12)/(-7))/(30/945). Let t = 50 - o. Is (-3 - t) + 3 - -485 composite?
True
Suppose 3*d - l - 968 = 0, 0 = -d - 10*l + 9*l + 324. Let o = -70 + d. Is o a prime number?
False
Suppose 3*o = 13 + 11. Suppose 2*p = o + 2. Suppose 635 = p*v - 0*v. Is v prime?
True
Let j(v) = 31*v + 1. Let z be j(-1). Suppose 0 = -4*c + 3*n + 202, 0 = 2*c - 1808*n + 1807*n - 100. Let w = c + z. Is w prime?
True
Let i(t) be the second derivative of -t**3/3 - 5*t**2 + 14*t. Let m be i(-6). Is (-1028)/6*(68/(-8) - m) prime?
False
Let k(m) = 51639*m + 1669. Is k(2) composite?
False
Let r(g) = -42*g**3 - 12*g**2 - 23*g - 7. Let s(v) = -5*v**2 + 26*v - 9. Let o be s(5). Is r(o) a composite number?
True
Let k(l) = 11*l**2 - 10*l - 23. Let i be 2*(11 - (2 - -2)). Let v be k(i). Let w = v + -1362. Is w a composite number?
False
Let v(g) = 2*g**3 + 128*g**2 - 391*g + 139. Is v(-64) a prime number?
True
Suppose 5*m = 5*v - 0*v + 13940, -2*v = -3*m + 5572. Let a = v - -6285. Suppose -a = -12*s + 5*s. Is s prime?
True
Is (-2)/5 - ((-7016562)/105 + 15) a composite number?
False
Let o(s) = -32638*s**3 + 21*s**2 + 20*s. Is o(-1) a prime number?
False
Let y be (-157 - -3)/(-1*(-3)/(-462)). Suppose -4*v = -45360 - y. Is v a prime number?
False
Suppose -241911 = -5*d - 2*h, 41*h = 2*d + 40*h - 96750. Is d prime?
False
Suppose 0*p + 27599 = 4*u - 3*p, 2*p = -2*u + 13796. Is u composite?
False
Let m(n) = 15*n**2 - 4*n - 12. Is m(-17) a composite number?
False
Suppose -5*q + 556245 + 173190 = 0. Suppose 28*v = 7*v + q. Is v composite?
False
Let p be 480*(4 + (-35)/10 + 2). Suppose 0 = -q + 3779 - p. Is q a prime number?
True
Suppose 0*f = f + 2*d - 11, 0 = 3*f + 3*d - 24. Suppose -5*u - 4*v = -45, -3*u - f*v + 20 = -20. Suppose 2*t = u - 3, 4*o + 5*t - 193 = 0. Is o prime?
True
Suppose 177322 = -2*s - 109894. Is 2/10 - s/10 a composite number?
True
Let u(o) = -296*o - 1. Let r be u(-3). Suppose 201*b - 225*b = -5280. Let a = r - b. Is a prime?
False
Let x(p) be the first derivative of 11*p - 16 + 6 - 8 + 7*p**2 + 6. Is x(16) a composite number?
True
Let c be (-672)/35*844*5/1. Let d = c - -156889. Is d a prime number?
False
Let l(r) = -2*r + 19. Let m be l(-34). Suppose -5093 = -m*o + 76*o. Is o a composite number?
False
Let m(v) = -770*v + 185*v + 222*v + 204*v + 214*v - 37. Suppose -q + 5*q = 48. Is m(q) a prime number?
False
Suppose 5*t - 72845 = -3*i, -23*t - 3*i = -19*t - 58279. Is t composite?
True
Let h(o) be the second derivative of o**3/6 + o**2/2 - 27*o. Let a(d) = -6*d - 19. Let n(p) = -a(p) - h(p). Is n(19) composite?
False
Let h = 68 + -63. Suppose g + 16 = h*o, -1 = o - 4*g - 8. Suppose -o*c = -2*n - 1167, 4*c - 4*n - 1943 = -c. Is c prime?
False
Suppose 20 = -6*m + 11*m, 0