 428 = -4*k - 2*m + 3572, 3931 = 5*k + 2*m. Is k composite?
False
Is (3/(-10))/3 - (-293733)/30 composite?
False
Suppose -22 = 4*l - 30, 0 = -2*d - 4*l + 29190. Is d composite?
False
Is ((-31235)/(-15))/((-1)/(-3)) a prime number?
True
Let i be 1203790/154 + 2/11. Suppose -i = -3*y - 2*b, -y + 0*b - 4*b + 2609 = 0. Suppose f = -5*v + y, 3*f = 5*v - 0*f - 2605. Is v a prime number?
True
Let o be 3 + (-68)/12 - (-8)/12. Is (8952/(-36))/(o/3) prime?
True
Suppose 259749 = 32*m - 509179. Is m a composite number?
False
Suppose 0 = -2*t - o + 8141, -4*t + 2*o - 2628 = -18930. Is t a prime number?
True
Let t be 82/8 + (-2)/8. Let p(k) = -138 - k + k**2 + 71 + 68. Is p(t) a composite number?
True
Let x = 642 - -1091. Is x a prime number?
True
Suppose -5*z = -2*x + 1661, 7*x - 5906 = -z - 0*z. Is x a composite number?
True
Suppose -152 = -2*v + 792. Suppose 3*t = -2*z + 354, -4*t + 0*z = -5*z - v. Suppose -4*n + t = -2*n. Is n a prime number?
True
Is (-97920)/(-15) - 6 - (2 - 1) prime?
True
Suppose 0 = 3*x - 4*x + 4. Is (x + -3)*1*1151 prime?
True
Suppose m - 940 - 460 = 0. Suppose -m = -4*b + 2*w, 4*b - 2*w = -4*w + 1392. Suppose -2*y = -2, -z - 4*y + b = 4*z. Is z a composite number?
True
Let a be 9/(36/2600) - -2. Suppose 4*g - a = 1648. Is (-2)/(-2) + (g - -5) a composite number?
True
Suppose 3*o - 3 + 15 = 0. Let f be 20 - (24/(-3) - o). Is 2*-3*(-388)/f composite?
False
Let j(p) = -314*p - 69. Is j(-14) a prime number?
True
Is (-3)/(-1) + (-4 - (-2288)/4) composite?
False
Suppose 4*s + 0 = -16. Let a(q) = -q**2 - 15*q - 15. Let g be a(-11). Is g + (-1 - -2) + s composite?
True
Suppose -y - 4*y = 0. Suppose y*s - 5*s = 50. Let n = s - -23. Is n prime?
True
Suppose 4*d + 109 = -35. Is ((-12)/d)/((-2)/(-2514)) a prime number?
True
Suppose -4*t + 693 = -27. Let j = 263 - t. Is j prime?
True
Let x = -41 - -40. Is 320 + (0 - -2 - 1/x) composite?
True
Let s(y) = 25*y + 2. Let w be s(1). Suppose 3*k + 32 = g, 4*g + k + w = 155. Is 8/g + 643/4 prime?
False
Let k = 68185 + -41876. Is k a prime number?
True
Suppose -32*i + 353018 = 80346. Is i composite?
False
Suppose 5*n - 153233 = -20448. Is n a composite number?
False
Suppose -4*z = 1413 + 1595. Let b = -283 - z. Is b composite?
True
Suppose 28 = -0*s + 7*s. Suppose -3*l + s*j + 589 = 0, -5*j = -10 - 0. Is l a prime number?
True
Suppose 0*z = 3*z. Is (z - (-871 - 2)) + (-40)/10 prime?
False
Suppose 3*o - 6*u - 1475 = -10*u, 0 = -3*o + 3*u + 1482. Is o composite?
True
Suppose w + 8 = 11. Is 2 + (-2812)/(-2) + w a composite number?
True
Let g be (2/1)/((-9)/(-18)). Suppose 5*l - l - g*h - 3624 = 0, 3*l - 2*h - 2719 = 0. Is l prime?
True
Suppose -2*d - 15 = -4*h - d, -h - 2*d = 3. Suppose o + 0*o = -5*f + h, -o + 3 = -5*f. Suppose -k = -f*k - 191. Is k a prime number?
True
Suppose 34*y + 76675 = 39*y. Is y a prime number?
False
Let k be (5 - 3)*(3 + -2). Suppose s = 3*h - 3, -k*h - s = s - 10. Suppose 1949 = -h*c + 3*c. Is c a prime number?
True
Let o(g) = -57*g + 1. Is o(-2) a prime number?
False
Suppose 0*c - 264 = 3*c. Let t be (-4)/(-22) - (-16)/c. Suppose 7*f - 4*f - 5*h - 593 = 0, t = 3*h + 12. Is f a prime number?
True
Let b(y) be the first derivative of -10 + y**2 - 1/3*y**3 - 1/4*y**4 + 62*y. Is b(0) composite?
True
Let f(i) = 4*i - 17. Let m be f(5). Is (-48380)/(-50) - m/5 composite?
False
Let i be (-30)/(-24) - (-482)/(-8). Let j = i + 126. Is j composite?
False
Suppose -a + 972 = a. Suppose 2*o - 3*b - 1443 = -a, -4*o = b - 1879. Is o a prime number?
False
Suppose -8942 = -5*u - 29*u. Is u composite?
False
Let d = -1490 + 19371. Is d prime?
True
Suppose -12021 = -67*g + 64*g. Is g prime?
True
Let h(i) = -2*i + 2. Let l be h(-3). Let a = -6 + l. Suppose 0 = n - 2*d - 67, -n + 210 = a*n + 3*d. Is n prime?
False
Let m = 47927 + 51734. Is m prime?
True
Suppose f + 8 = -4*z + 17, -4*z = 2*f - 10. Suppose -2*k + 1658 = 3*x - 760, -x + 816 = 4*k. Is (1/z)/(6/x) a prime number?
True
Suppose -136475 = 90*f - 115*f. Is f prime?
False
Suppose 0 = 2*k + 4 + 6. Let w(o) = -65*o + 1. Let q be w(k). Let d = 511 - q. Is d a composite number?
True
Let r(l) = 55*l**2 + 3*l + 3. Let k be r(-2). Suppose -2*p + 4*m + 212 = 0, 0 = -4*p + 2*p - m + k. Let q = p + 5. Is q a composite number?
False
Let d be (36/24)/(3/(-4)). Let p be d/(-3) - (-3280)/12. Suppose 633 + p = a. Is a composite?
False
Suppose -5*z + 6361 = -704. Let u = -528 + -442. Let y = u + z. Is y composite?
False
Let q = -22672 + 46815. Is q a prime number?
False
Suppose -3*i + 13189 = -0*i + 5*g, -3*i + 13181 = g. Suppose 4*d - i = -d - 4*j, -3*d + 4*j = -2623. Is d prime?
True
Suppose 34520 = 2*p + 6*p. Is p prime?
False
Suppose -5*a + 1323 = -1987. Let p = a + -364. Is (p/6)/((-5)/(-15)) a prime number?
True
Let s be 3352/18 - (-4)/(-18). Let u = -612 + s. Let p = 755 + u. Is p a prime number?
False
Let j(n) = 2*n**3 + 7*n**2 - 8*n + 1. Suppose 0 = 2*g - 4*g + 8. Is j(g) composite?
True
Let z(h) = 44*h**2 + 10*h + 15. Is z(-3) a composite number?
True
Suppose 5*x - 5 = 0, 2*x + 2917 = 17*o - 14*o. Is o composite?
True
Suppose -4*l + 5*w = -8691, 5*l - 10915 = -0*l - 4*w. Is l composite?
False
Suppose 5*s = -v + 3*s - 10217, 0 = -5*v - 5*s - 51110. Is (v/(-42))/((-2)/(-4)) prime?
True
Suppose 4*t - 4*p = t - 10738, 3*t + 10748 = -p. Let s be 2/(-2)*t/6. Suppose 4*d - 3129 = -s. Is d composite?
True
Suppose 4*v = 5*v - 1931. Suppose 4*t - v = 25. Is t prime?
False
Suppose -v + 8 = -0*v. Let p be (4/3)/(v/(-36)). Is (-23 - p)*1*-7 composite?
True
Suppose -3*h - 11150 = 7*h. Let q = h - -1762. Is q a prime number?
True
Suppose 27210 = 5*w + 1475. Is w a composite number?
False
Is 90225/30 - 3/6 a composite number?
True
Let d be 2/3*(2 + -5). Let k be ((-955)/d)/((-1)/(-2)). Suppose -7*s + k = -2*s. Is s a composite number?
False
Let w(i) = i**3 - 11*i**2 - 14*i + 29. Let t be w(12). Suppose -t*d + 0*x + 5*x = -485, -273 = -3*d - 3*x. Is d prime?
False
Suppose 54548 = 2*z + 24*z. Is z prime?
False
Let f = -13 + 13. Let r = -5 - f. Let c(z) = -5*z**3 + z**2 + 5*z - 2. Is c(r) a composite number?
True
Suppose 23*q + 172644 = 35*q. Is q prime?
True
Let p = -62236 - -109727. Is p composite?
False
Suppose -4*b = 2*j - 10, -j + 4 = 3. Suppose 1458 = b*z - v + 5*v, -4*v + 2920 = 4*z. Is z composite?
True
Let o(t) = -2*t**2 + 71*t + 49. Is o(30) composite?
False
Suppose 0 = -5*m + m. Suppose -8*l + 11*l + 1515 = m. Let x = l + 902. Is x prime?
True
Let j(b) = -4 - 6*b + 0*b - 4 + b**2. Suppose 8*r + 60 = 4. Is j(r) a composite number?
False
Suppose -2*t + 9 = t + 3*u, -5*u = -t - 3. Suppose -3*q - 20 = 2*q, -t*n - 4*q = -810. Is n prime?
False
Let v be 24/(-20)*(-10)/3. Suppose 5*b - 10 - 341 = -v*q, 260 = 4*b - 2*q. Is b a prime number?
True
Let n(g) = g**3 - 25*g**2 - 76*g + 61. Is n(39) prime?
False
Let x(o) = -17*o + 10. Suppose -107 = 5*t - 4*d, 2*d + 2 = -2. Is x(t) a prime number?
True
Suppose -2*h + 3*h + 21256 = 3*l, 2*h = -l + 7097. Is l prime?
False
Suppose 0 = 4*v - 102 - 58. Suppose 2*j = -2*j + v. Is j a composite number?
True
Let h(z) = 3*z**2 + 7*z - 23. Suppose o + 15 = -2*p - 4, 0 = -3*o - p - 37. Is h(o) a composite number?
False
Let b be (-5)/(10/(-216)) + (11 - 9). Suppose -3*k + b = -3*j - 643, -4*j = -3*k + 751. Is k prime?
False
Suppose 11*n - 5*n = 30. Suppose 4*v + h - 5569 = 0, 0 = -n*v + 5*h - h + 6977. Is v composite?
True
Let f(c) = -598*c - 4. Let n(h) = 599*h + 3. Let q(u) = -3*f(u) - 2*n(u). Is q(2) prime?
False
Let g(n) = n**3 - n**2 - 4*n + 19. Let d be g(-13). Let o = -1144 - d. Is o a prime number?
True
Let v(c) = 24*c**3 + 2*c**2 - 20*c + 43. Is v(9) a composite number?
True
Is (-8)/(-14) + (-2533972)/(-196) prime?
False
Let z = -26 - -29. Suppose 2*w = -4*s + 316, 2*w = -5*s + z*s + 162. Is s a prime number?
False
Suppose 0*f + 4*f - c + 1 = 0, -3*f + 2*c + 3 = 0. Suppose -68 = -5*d - 2*m + 12, 65 = 5*d + 5*m. Is 354/d*(2 - f) a prime number?
True
Suppose -5*t + 3*t = 0. Let w(r) = r**2 + 2*r + 2. Let s be w(t). Suppose -s*q = 3*q - 165. Is q a prime number?
False
Let f = 6 + -10. Let i be (-691)/((4/3)/f). Is i*1*(-1)/(-3) a composite number?
False
Suppose 0 = -4*c + 345 + 559. Suppose 347 + c = k. Is k prime?
False
Is 5/(-1) - 70992/(-2) a composite number?
False
Suppose 9788 = 9*b - 12343. Is b a prime number?
True
