 13*m - 960, c*m - 2*v = 380. Is m prime?
True
Let l = 29297 - 6474. Is l a composite number?
True
Let l(d) = 2*d**3 - 42*d**2 + d + 13. Let s be l(22). Suppose -48*a + s = -47*a - 5*o, -4*a = -2*o - 3940. Is a a composite number?
False
Suppose -m - 4*m = 2*h - 24, 12 = 2*h - m. Let c be -1 + h + (-30)/(-6) + -5. Let w(n) = 24*n**2 - 7*n - 1. Is w(c) a prime number?
True
Let i = 17445 - 4874. Is i a composite number?
True
Let n(s) = 197*s**3 - 6*s**2 - 5*s - 4. Let j be n(-2). Let i = j + 17139. Is i prime?
False
Is 93329 + 137 + 10 + -3 prime?
False
Suppose -3*m = 5*q - 12251, 3*m - m - 8172 = -q. Is m prime?
False
Let i(h) = 28*h**2 - 10*h - 19. Let r = -39 + 48. Is i(r) a composite number?
True
Let q be (-9828)/(-10) - (-3)/15. Let g be (-3 - -6)*4676/42. Let y = q - g. Is y a composite number?
True
Let w = -43276 - -64133. Suppose 3*c + 4*b - w = 0, 13*c - 14*c - 2*b + 6955 = 0. Is c composite?
False
Let d = 482 + 395. Is d - (15/5 + -3) prime?
True
Let n(s) = -2*s**2 - 113*s - 1006. Is n(-35) a prime number?
True
Let q be 4/6*(-2 - 1) + 161. Suppose -8*z + 84 = -4*z. Is 1*q*35/z prime?
False
Let u(d) = -229*d**2 + 12*d - 8. Let j(f) = -76*f**2 + 4*f - 3. Let h(b) = 11*j(b) - 4*u(b). Let y be (180/(-16))/15*4. Is h(y) prime?
False
Suppose 11620*f - 11591*f - 2006249 = 0. Is f a prime number?
False
Suppose f + 316*n = 319*n + 27595, 4*n - 24 = 0. Is f a prime number?
False
Suppose -2*k - 4*b + 48 = 0, -4*k = -6*k - 2*b + 40. Let d(o) = 11*o + 22 + 6*o + k*o - 4*o. Is d(23) prime?
False
Let p(f) be the third derivative of -f**5/2 + 2*f**4/3 - 7*f**3 + 14*f**2. Let r(j) = -10*j**2 + 5*j - 14. Let z(v) = 2*p(v) - 7*r(v). Is z(11) prime?
False
Suppose 0 = 91*r + 52*r - 33995533. Is r a prime number?
False
Let z(g) = 73932*g - 799. Is z(6) prime?
False
Let m(f) = -201*f - 3. Let o be m(1). Suppose 2*k + 630 = -0*d + 2*d, -5*k = 2*d - 616. Let i = o + d. Is i composite?
False
Let s(g) = 52*g**2 - 302*g + 119. Is s(66) a composite number?
False
Let z = 1002785 - 712044. Is z a prime number?
False
Let r be (-13)/(455/(-600))*(14 + 0). Suppose -r = -k + 34. Is k composite?
True
Suppose -7*f + 14 = -6*f. Suppose -f*c = -18*c + 1384. Let g = 795 - c. Is g composite?
False
Suppose l + 6 = 4*o - 0, 0 = -3*o + 9. Suppose 10*y - 632 = l*y. Is y/(24/4 - 4) prime?
True
Let x(j) = 8712*j**2 + 2*j + 19. Let i(n) = -13068*n**2 - 4*n - 28. Let q(u) = -5*i(u) - 7*x(u). Is q(-1) a prime number?
True
Let t(f) = -7*f**3 - 47*f**2 - 618*f + 71. Is t(-33) prime?
True
Suppose 0 = 3*c - 18*c + 17*c - 871498. Is c prime?
False
Let w = -458 - -1241. Let g = 2318 - w. Is g composite?
True
Suppose 5*x - 30 = -5. Suppose 0*t = -x*t + 50425. Suppose -t = -4*w + 8279. Is w composite?
False
Let x be 5091*(-7)/(-21)*2. Suppose -x = -28*q - 230. Is q a prime number?
True
Let f(d) = -3*d**3 - 6*d**2 - 5*d + 2. Let l be f(5). Let x = l + -384. Let i = 2095 + x. Is i composite?
False
Is (490/(-28) + 20)/(268846/268844 + -1) a prime number?
False
Suppose -4*t - 5247 = -3*r + 1834, -5*t = -5*r + 11805. Suppose 2 + 10 = 3*p, 0 = u - 2*p - r. Is u composite?
False
Let c = 121 - 421. Is -1 + (1 + c)*-1 a prime number?
False
Let r(q) be the second derivative of -q**5/20 - 2*q**4/3 - 3*q**3/2 + 2*q**2 - 7*q. Let b be r(-7). Suppose 8*n + 3370 = b*n. Is n prime?
True
Let m be 1*(-3)/(1 + 2). Let t(l) = -5*l. Let f be t(m). Suppose 0 = 5*h + 4*z - 1445, -f*h + 2*z + 289 = -4*h. Is h a composite number?
True
Let h(g) = 122*g**2 + 114*g + 35. Is h(-13) a composite number?
True
Suppose 4*g - 2*q = 14, -3*g + 5*q - 10 = -3. Suppose 2694 = -g*s + 12*s. Is s prime?
True
Let v = -29 - -28. Let n be 2/7 + 45/63 + v. Suppose 8*g - 11*g + 6729 = n. Is g a composite number?
False
Let q(d) = -5*d + 27. Let c be q(5). Suppose -c*k - k + 15 = 0. Suppose x - 4*n = 843, k*x + 7*n = 4*n + 4192. Is x a composite number?
False
Suppose 4*v = 12, 9*v - 10*v = 3*d - 68415. Suppose 3*z = d - 4861. Is z a composite number?
False
Let h(s) = s**3 + 4*s**2 - 3*s - 10. Let x be h(-4). Suppose 5*y = x*a + 5052, 2*a = -2*a + 16. Let j = 1531 - y. Is j a composite number?
True
Suppose 0 = -2*b + 5*h + 188149, -3*b + 277*h - 274*h + 282246 = 0. Is b composite?
True
Suppose -181*s + 183*s - 306 = 2*b, -2*s - 3*b + 296 = 0. Suppose 2*w = s + 4575. Is w composite?
True
Suppose -4*q = -16, 4*q - 8 = 2*c + q. Suppose c*d - l - 9 = 0, 5*l - l = 2*d. Is (4/d)/(10/3765) composite?
False
Let t(b) = 4*b**3 - 31*b**2 - 3*b - 57. Is t(26) composite?
True
Let a = 42 + -32. Suppose h - 4*x + 10 = -a, -5*x = -10. Is (h/8)/((-3)/22) a prime number?
True
Let w(s) = -3*s**3 - 4*s**2 + 4*s + 106. Let o(t) = t**2 - 17*t + 59. Let l be o(8). Is w(l) a composite number?
True
Let j(l) = 6*l - 28. Let c be j(5). Let o(h) = 33*h - 18. Let b be o(c). Is 28711/3 + -1 + (-16)/b composite?
True
Let q be (4242/(-15))/((-8)/80). Let p = q - 1285. Is p a composite number?
False
Suppose -2*d + 2*y = 3*d - 140, -112 = -4*d - y. Suppose -29*h = -d*h - 409. Is h a prime number?
True
Let c = 1163 - 378. Is c composite?
True
Let p = 1575060 - 1106671. Is p composite?
False
Suppose y - 5*x = 1533, -2*y + 13*x - 8*x = -3076. Is y prime?
True
Let k(f) = -391*f + 58. Let s(z) = -586*z + 87. Let c(l) = 8*k(l) - 5*s(l). Let b = -6 + 2. Is c(b) a prime number?
True
Let t(o) = 345*o**3 - 34*o**2 + 216*o - 64. Is t(5) a prime number?
True
Let s(d) = -2*d**3 - 29*d**2 + 5*d + 27. Let g be s(-22). Suppose -8496 = -7*h + g. Suppose -h = -3*v - v - m, -4*v + 2224 = -4*m. Is v composite?
True
Suppose -6373177 = -15*q - 753502. Is q composite?
True
Let y(t) = 2*t + 3*t - 3*t + 14 + 1. Let h be y(-5). Suppose 2*k + h*f - 116 = 0, -6*f = -f - 10. Is k composite?
False
Suppose 0 = 3*r - 5*p + 61, -r + p = -3*p + 32. Is (r - -15)*(-3506)/(-6) a prime number?
True
Let a(y) = y**3 - 15*y**2 + 8. Let r be a(15). Suppose 2*x + 10021 = 3*d, r = -8*x + 10*x. Is d composite?
False
Suppose 2*g = -3*j + 5*j - 2534, -3*j + 2*g = -3798. Suppose 4*p + 0*p = 484. Let u = p + j. Is u a prime number?
False
Suppose -3*b + 11088 = -d, -4*b + 3663 + 11128 = d. Let g(t) = 64*t**2 - 2*t. Let j be g(-6). Let s = b - j. Is s a composite number?
False
Let m be (18/24)/(6/16). Suppose 3332 = -m*d + 16274. Is d/(-6)*(8/6 - 2) prime?
True
Let s(m) = -4*m**3 - 80*m**2 - 999*m - 66. Is s(-49) a composite number?
False
Let g = 3103779 - 1743878. Is g composite?
False
Suppose -3*s = -6, -3*p + 42 - 14 = 5*s. Suppose -r = 0, -3*i + 5*r = p*r - 12981. Is i composite?
False
Let g be 12609 + -13 + 6 + 5. Is (-3 - (-2 - -1))*g/(-14) a composite number?
False
Let v be (2/1 - -16)*800/30. Let l = v - -877. Is l a composite number?
True
Let d(r) = 322537*r - 8450. Is d(7) composite?
False
Let m = -95160 - -317573. Is m composite?
True
Is (65497/1)/((65/(-39))/(15/(-9))) composite?
False
Let r(w) = 587*w**2 + w - 5. Let y(g) = -g**2 + g - 1. Let m be y(2). Let h(c) = 586*c**2 - 5. Let k(s) = m*r(s) + 4*h(s). Is k(-2) composite?
False
Suppose 4*o = 0, -3*o = 58*w - 60*w + 496742. Is w a composite number?
False
Suppose -667391 - 197669 = -63*p + 45983. Is p a prime number?
True
Is (1 + 1)/((-15)/1) - 19562270/(-150) composite?
True
Let k(i) = -i**2 + 3*i + 4. Let b be k(5). Let x(m) = 3*m**2 - 5*m + 15. Let q be x(b). Suppose 5*o - c = o + q, 2*o = 2*c + 72. Is o a composite number?
True
Let z(s) = -5*s + 11. Let j be z(3). Let k(i) = -431*i**3 + 3*i**2 + 3*i + 10. Let d be k(j). Suppose -10585 = 5*v - d. Is v a composite number?
True
Let g(t) = t**2 - 4. Let l be g(-3). Suppose d + l*o = -593, -4*d - 2663 = o - 291. Let p = 1174 + d. Is p composite?
True
Let c(l) = 131060*l + 263. Is c(1) a prime number?
False
Suppose 5*z = r + 389260 + 683613, 0 = -2*z - 3*r + 429122. Is z a prime number?
False
Let m = 28284 - 16625. Is m composite?
True
Suppose 218 = -v + 3*j, -3*v - 5*j = -9*j + 634. Suppose -104 = -2*b - 4*i - 786, 2*b + 2*i = -690. Let l = v - b. Is l prime?
False
Let h(b) = 37*b**3 - b**2 - 5*b + 4. Let z(l) = 38*l**3 - 2*l**2 - 4*l + 3. Let v(m) = 4*h(m) - 3*z(m). Is v(3) composite?
False
Let h(q) = 39*q**3 - 22*q**2 - 54*q + 600. Is h(11) a composite number?
False
Let v = 27756 - 12607. Is v prime?
True
Suppose 5*j - 7 - 33 = 0. Suppose 0 = -6*g + 4*g - j. Is (g - -3)/((-1)/3299) prime?
True
Suppose 0 = 