-0*f - x. Is ((-20)/d - 206)*(-2 - -1) prime?
True
Let u(j) = -2*j**2 + 26*j - 72. Let q be u(5). Let n(t) = 26*t + 1. Let d(o) = 27*o + 1. Let a(h) = -3*d(h) + 4*n(h). Is a(q) a composite number?
True
Let l = -204508 + 293097. Is l a composite number?
False
Suppose 12*v + 0*v - 16980 = 0. Suppose v = w + 120. Suppose -2*l + 7*l = w. Is l composite?
True
Let p = -1250544 - -1798411. Is p a prime number?
False
Let b(p) = -61*p**2 - 13 + 59*p**2 - 7*p - 9*p**3 + 2*p. Is b(-6) a prime number?
True
Let h = 87 - 85. Suppose 3*m - 2*m - z = 58, -h*m + 4*z + 108 = 0. Suppose 165 = k + 3*b, 0 = k - 4*b - 255 + m. Is k a prime number?
False
Let d(t) be the second derivative of -55*t**3/3 - 159*t**2/2 - 51*t - 1. Is d(-14) a prime number?
True
Suppose 0 = -2*a - 4*a + 42. Let k(o) = 277*o**2 + 11*o - 13. Let t be k(a). Suppose 0 = 8*u + 3693 - t. Is u a prime number?
False
Is 294/(-980) - (-19458039)/30 a composite number?
True
Let s(u) = u**2 - u + 9. Let z be s(5). Suppose 6*w - 19 = z. Is w/6*(-4932)/(-24) a prime number?
False
Let j = -10 - -4. Let a(p) = -413*p**3 - p + 11*p + 7*p**2 + 409*p**3 + 1. Is a(j) a prime number?
False
Let g = -121774 - -260841. Is g a composite number?
False
Let n(g) = -g**3 + g**2 - 2. Let d be n(0). Is (42376/6)/d*168/(-112) a composite number?
False
Suppose 2*h - 5*q - 53 = 0, 140 = 6*h - h - 5*q. Let t = -22 + h. Is 1/t*2 + 151280/112 a composite number?
True
Let x be (4 + -1086)*14/(-28). Suppose -4*l = x - 1817. Is l a composite number?
True
Let x = 1639180 + -1147077. Is x a composite number?
False
Suppose -28*t + 35*t = 4431. Suppose t*y - 635*y = -3470. Is y a composite number?
True
Suppose 5*l + 61*h = 57*h + 31149, 31148 = 5*l + 3*h. Is l a composite number?
False
Let p(h) = h**3 + 7*h**2 - 10*h - 8. Let v be p(-8). Let k be (-49)/2*(-6 - -4). Suppose l + k = v*l. Is l a prime number?
True
Let t(j) be the first derivative of -j**4/2 - 5*j**3/3 - 9*j**2/2 + 17*j + 25. Is t(-9) prime?
True
Let v(q) = -4*q - 10. Let i be v(-22). Let g = -74 + i. Suppose 5*f - g*f + 506 = b, 5*f + 2025 = 4*b. Is b composite?
True
Let w(y) = -y**3 - 33*y**2 - 16*y - 54. Let g be w(-22). Let q = 7229 + g. Is q a composite number?
False
Let d = -48 + 52. Suppose 6292 = -0*h + 4*h - d*b, 0 = -h + 2*b + 1572. Suppose -w = w - h. Is w a prime number?
True
Let r(l) = 6581*l - 130. Let x be r(-22). Is (-4)/14 - x/112*5 composite?
False
Let l be 4/(-3)*(-916)/16*9 + 5. Let n = -1 + 1. Suppose l = 2*r - 2*f, n*r + 350 = r + 3*f. Is r composite?
False
Suppose 75125 = 12*j - 35479. Is j prime?
False
Let c = 194 - 38. Let k(f) = -158*f + 159*f - 5 + 108 + c. Is k(0) composite?
True
Suppose 32 = 9*d - 7*d. Suppose 0 = -5*y - d*p + 20*p + 151565, 5*y + p = 151540. Is y a prime number?
False
Let f be (-2 + (-52)/(-20))*-15. Is ((-12)/8)/(f/942) a composite number?
False
Let f(i) = i**3 - 10*i**2 + 18*i - 13. Let z be f(8). Suppose -5*y + 6228 = -x - 24428, -5*y + 30652 = z*x. Is y a composite number?
False
Is 4/(-12) + (-17 - (-38363772)/36) prime?
True
Suppose 12*f + 102026 - 340214 = 0. Is f a composite number?
True
Let l be (1 + 19)*446/8. Suppose 5*z = s + 1107, l = 5*z - 2*s - 3*s. Let n = 170 + z. Is n prime?
False
Is (-15214)/(-8) - 17*(-21)/(-476) a composite number?
False
Is (-2)/((-6)/9) + 1 + (-6618225)/(-15) composite?
True
Suppose 0 = -4*m + j + 171591, 0 = -0*j - j + 5. Is m prime?
True
Suppose -382487 = 6*f - 26*f + 13*f. Is f a prime number?
False
Let i = -41916 - -138719. Is i composite?
True
Suppose 258962 = j - 1847525. Is j composite?
True
Let g = 14229 - 5770. Is g a prime number?
False
Let z = -49 - -56. Suppose -117 - 79 = -z*d. Suppose -25*b = -d*b + 291. Is b a composite number?
False
Let i = -26802 - -67379. Is i composite?
False
Let p = -434 + 494. Is p/45*(-24579)/(-12) a composite number?
False
Suppose -t - 11 = -3*w, -5 = 2*t - 3*t - 5*w. Let d(j) = -j**2 - 8*j. Let l be d(t). Suppose 0 = -13*g + l*g - 1434. Is g composite?
True
Let l = 1067 + -4375. Let f be (-4 - (-5844)/(-3)) + 1. Let h = f - l. Is h prime?
False
Suppose 14*m - 17317263 = -73*m. Is m a prime number?
True
Suppose 316*o - 5046160 = 57876708. Is o prime?
False
Let q be (-432)/(-96)*(-470)/(-3). Let b = 6686 - q. Is b a prime number?
True
Suppose -3*b - 945 = -6*b. Suppose 0*v - 9*v = b. Is (-7)/(v/(-15)) - -626 composite?
True
Suppose -4*p = -3*l - 92480, 4*p - 16*l - 92484 = -12*l. Is p a prime number?
True
Is (6 + (-11126 - -7))*(-2)/1 a prime number?
False
Suppose -5 = -2*a + 5, a - 7 = s. Let z(j) = -174*j + 26 - 452*j + 33 - 68. Is z(s) a composite number?
True
Let q(n) = 2. Let b(l) = -1. Let u(s) = 13*b(s) + 6*q(s). Let g(y) = -51*y - 65. Let a(x) = g(x) - 3*u(x). Is a(-7) composite?
True
Let h be (-1 - -1)/(20 - 19). Suppose -3*i - 3*a + 67383 = -0*a, h = 4*i + 5*a - 89842. Is i a prime number?
False
Suppose 0 = -z + 242 - 15. Let g = 609 - z. Is (-3)/1 + g - -3 a composite number?
True
Let f(b) = -b**3 - 8*b**2 + 6*b - 13. Let o(y) = -3*y - 13. Let n be o(-11). Suppose -n - 20 = 4*j. Is f(j) a prime number?
True
Suppose 12 = -7*j + 9*j. Let p = -12 - -17. Suppose -b + j*b - 155 = -5*u, -p*b = 2*u - 161. Is b a prime number?
False
Let x = 7229 + -7186. Is x a prime number?
True
Let u be (-40)/15*(-225)/60. Suppose -35344 = u*n - 145254. Is n composite?
True
Let s be (100/(-35))/(6/21). Let o(z) be the second derivative of -70*z**3/3 - 21*z**2/2 - 5*z. Is o(s) prime?
False
Is ((-194353)/(-5))/((-198)/(-15) - 13) composite?
False
Suppose 0 = 1302*q - 1374*q + 1127448. Is q a prime number?
False
Suppose -8*p + 20 = -4*p - 3*z, -2*z - 10 = -p. Suppose -y = -67 - p. Is y composite?
True
Suppose 0 = -6*x + 192424 + 45704. Suppose -3712 = 8*y - x. Is y composite?
True
Let f(u) = -3*u**3 - 21*u**2 + u + 10. Let v be f(-7). Suppose 2*h - 37263 = -5*t, t + 4*h + 14886 = v*t. Is t composite?
False
Suppose 2*a - 9*t - 18 = -8*t, 3*a + 2*t - 27 = 0. Let f(x) = 280*x + 53. Is f(a) a composite number?
True
Suppose -657596 = -231*h + 227*h. Is h prime?
False
Let v = -8 + 52. Suppose -4*n + 42 = -50. Suppose -v = -p + n. Is p a composite number?
False
Let a be ((-6)/(-12))/((-3)/(-36)). Let b be a/(-12) - (-9)/2. Suppose d - b*h - 179 = 0, -4*d + 616 = 4*h - 0*h. Is d composite?
True
Let k = 216570 - 92428. Is k a composite number?
True
Let j(h) = 12*h**3 - 41*h**2 - 53*h + 13. Is j(29) prime?
False
Suppose 840 = z - 424. Let l = z + -881. Suppose -16 = -5*s + s, -d + 2*s = -l. Is d a prime number?
False
Let s(j) = 3755*j**2 + 50*j + 29. Is s(-6) a composite number?
False
Suppose l - 2*v = 1897, -10*v = -8*v - 4. Let s = 5694 - l. Is s prime?
True
Is -5 + (-1076695)/(-75) - (-1 - 56/(-60)) a prime number?
False
Let i(l) be the first derivative of l**2 - 18*l - 26. Let y be i(11). Suppose 5*b - 5*h = 1115 + 925, -822 = -2*b - y*h. Is b a composite number?
False
Let h(w) = 20*w**2 - 13*w - 3. Suppose -1 = -s + 9. Is h(s) a prime number?
True
Is -14 - (5 - 10 - 24842) prime?
False
Let r = -22 - -32. Let i(t) = 3*t - 30. Let d be i(r). Suppose -8*o + 4*o + 2228 = d. Is o composite?
False
Let f be 1/4 + 2/(-8). Suppose -4*h - 1 = -17, -4*h = 3*y - 4222. Is 4/8*(y + f) prime?
True
Suppose -6*k = -m - 5*k + 80766, 5*k = -5. Suppose 21*x - m = 790042. Is x a composite number?
False
Suppose -7*o = -205 + 569. Is ((-14)/(-91))/1 + (-947796)/o a prime number?
False
Is (-24193154)/(-66) - 598/(-9867) a composite number?
True
Suppose -y + 6*y - 1515 = 3*d, 0 = 5*y - 5*d - 1515. Suppose -h = -3*k + 1640 - 96, 0 = h - 4. Let t = k - y. Is t prime?
False
Let g(d) = -1239*d**3 - d**2 + d. Let t(h) = 2*h - 9. Let a be t(4). Let f be g(a). Suppose 4*w - 3*r - f = 2241, 4 = 2*r. Is w a prime number?
False
Suppose 14*d = 5*g + 19*d - 1230, 4*d - 494 = -2*g. Let x = 434 + g. Is x composite?
True
Let k(b) = -b**3 - 3*b**2 + 4. Let w be k(0). Suppose -y + w*q + 7121 = 1072, 5*q = y - 6054. Is y prime?
True
Suppose 0 = -12*o + 43*o + 165633. Let v = -3746 - o. Is v prime?
True
Let v(y) = y**2 - 6*y + 1. Let k be v(7). Suppose -4*g = 4*u - 32, k*g = 6*g + 8. Suppose 3*o - 791 = -r, -5*r = u*o + 2187 - 6164. Is r composite?
False
Suppose 0 = -5*u + 3 + 12. Suppose u*j - 2*j = 84. Suppose 0 = -g + 803 + j. Is g a composite number?
False
Let p = 18265 - 11714. Let r = 2684 + p. Is r