 h = a - -607. Is h prime?
True
Let c(s) = -s**2 + 7*s - 9. Let p be c(4). Suppose -5*z + 3*y + 5357 = -0*z, -5*y + 3187 = p*z. Is z a composite number?
False
Suppose 0 = 7*p - 5*p - 4*v - 534814, 3*v + 267413 = p. Is p a prime number?
False
Suppose -33*u = -30*u - 9. Suppose -2*c - 3 = u. Is (31107/(-7))/c + 40/(-140) prime?
True
Let k be 1 - 22*36/(-8). Let t be 2/5 - (-327060)/k. Suppose -2*v = 3*o - t, -3*o - v + 1187 = -2079. Is o a prime number?
True
Let i(u) = -250*u - 28 + 3*u - 38 - 8. Is i(-4) composite?
True
Let f be 2 + (-2)/(-6) + 3683136/(-36). Let d = f - -184542. Is d a prime number?
False
Let y(k) be the second derivative of k**4/6 - 16*k**3 + 11*k**2/2 - 111*k. Is y(53) composite?
False
Let i = -533808 - -1206109. Is i a composite number?
True
Let m be ((-90)/(-4))/(-5)*2. Is 659*2 + m + 10 prime?
True
Let j be (-1)/((-78760)/26252 + 3)*9. Let b = -41938 + j. Is b prime?
False
Let o(f) = -5*f**3 + 41*f**2 - 46*f + 59. Is o(-29) prime?
False
Suppose -4*q + 140*v + 583008 = 136*v, -v = -3*q + 437258. Is q prime?
True
Let h be 2965/(-35) - 4/14. Let r(x) = 7*x**2 - 5*x + 8. Let f be r(-6). Let c = h + f. Is c composite?
True
Let j be 6 + -3 + -1 + -12. Let g(t) = -21*t**3 - 6*t**2 + t - 1. Let h be g(4). Is h/(-2) - 5/j a prime number?
True
Suppose -30 = -13*w + 19*w. Let x be 2 + (10/w)/(4/(-458)). Suppose 5*c + x = m, -4*c = 5*m - 3*c - 1259. Is m a composite number?
False
Suppose 24 - 21 = 3*g, -3*w + 116 = 2*g. Suppose 33*j + 93715 = w*j. Is j composite?
False
Suppose -2*n + 0*n = -10, -r - n + 11 = 0. Let s(i) = 74*i**2 - 10*i + 27. Is s(r) a composite number?
True
Let g(v) = 65*v**2 - 84*v - 1707. Is g(-22) a prime number?
True
Suppose 0 = 2*g + 2*u - 970680, -5*g = 50*u - 55*u - 2426670. Is g prime?
False
Is (12 - 13/1)/((-2)/3825962) composite?
True
Is ((-11166)/9)/((-36)/351)*2 prime?
False
Let h(k) = -k**3 + 5*k**2 - k + 7. Let q be h(5). Let y be -4 - (q - (2 - -4)). Suppose 1077 = 3*n - 3*u, 3*n + y*u = 2*u + 1077. Is n prime?
True
Let g(l) = 8*l + 35. Let n be g(-6). Is -5 - 670*n/(65/28) composite?
True
Let r(p) = -p**2 - 6*p - 24. Let q be r(-9). Is (-105414)/(-4)*(q/(-9) + -5) composite?
False
Let k(o) = 8912*o**2 - 156*o + 621. Is k(4) composite?
False
Let k = -16269 + 29922. Suppose -6*d + k + 9201 = 0. Is d a composite number?
True
Suppose 0 = -4*f - 1051 + 11939. Suppose 3*k = 11267 + f. Is k a prime number?
True
Let f = 430907 - 23034. Is f a prime number?
False
Suppose -11*q + 55868 + 10968 = 0. Let n = q - 3189. Is n composite?
False
Suppose -12 = 4*u, 0 = 3*s + 5*u - 0*u - 30. Let l(k) = 3*k**2 - 14*k - 23. Let a be l(s). Suppose -3*j = -29 - a. Is j a composite number?
False
Suppose 10098781 + 233457676 = 67*f. Is f prime?
True
Let b(v) = -v**2 - 3*v + 2. Let j be b(1). Let t be (5 - 7)/(j/4). Suppose -u + 296 = t*g + 3*u, -5*u = 2*g - 133. Is g composite?
False
Suppose 0*v - 5*v - 3*c = -97, -3*c = 3*v - 63. Let b(f) = -f**3 - f + v - 10*f + f**2 + 12*f**2. Is b(8) a composite number?
True
Let d be (1 + -9)/(-11 - -10). Let m be (d - 3)*-79 + 5. Is (-3 + (2 - m))/(1 + 0) a composite number?
False
Let o(u) = -243*u - 51. Let q(d) = d**2 + 22*d + 16. Let s be q(-21). Let w(z) = -162*z - 34. Let l(p) = s*o(p) + 8*w(p). Is l(-8) composite?
False
Suppose 4*t - 31 = -0*t - 3*r, -15 = -3*r. Suppose 3 = v - 2, -1528 = 2*i + t*v. Let h = i + 3011. Is h a composite number?
False
Suppose t = -0*t - 3*p - 526, t + 486 = 5*p. Suppose -5*c = 4*n + 4160, -3*c - 5*n - 3274 = -765. Let x = t - c. Is x prime?
True
Suppose 23*r + 3 = 26*r. Is -1 + (1839 - r) + 4 a composite number?
True
Let y(q) = -22*q**3 + 50*q**2 + 281*q - 21. Is y(-22) prime?
True
Suppose -63*j + 2710130 = 123*j - 2838808. Is j a prime number?
True
Let b = -139 - -141. Suppose 5*f - 22650 = -s, -4*f - f + b*s = -22665. Is f composite?
True
Suppose 17 = -3*n + 26. Suppose 0 = z + 5*r - 2699, -5*z - n*r + 3733 + 9762 = 0. Is z composite?
False
Let m(f) be the first derivative of 65*f**3/3 - 2*f**2 - 8*f - 1194. Suppose 0 = 2*u - 11 + 1. Is m(u) prime?
True
Let z be -2*((-3)/(-4))/(24/(-656)). Suppose z*k = 20*k + 122493. Is k prime?
False
Let f = 263 + -261. Suppose -f*p + 4*b = -4714, -5*p - 4*b + 9452 = -p. Is p a prime number?
False
Let z = -230388 + 565319. Is z composite?
False
Let b(z) = 3013*z + 456. Let m(c) = 1003*c + 152. Let g(f) = 6*b(f) - 17*m(f). Is g(25) prime?
False
Let u(w) = 75*w**2 + 2*w + 36. Suppose 5*y - 13*y = 40. Is u(y) prime?
True
Let l be (-4)/22 - 7665/(-231). Let w = 47 - l. Is (-2 - w/(-6))/(2/9846) prime?
False
Suppose 30053 + 999155 = 4*k + 4*k. Is k prime?
False
Let m(u) = 16*u**2 - 12*u + 43. Is m(26) prime?
False
Suppose 3*y + b = 19399, 2*b - 5980 - 6946 = -2*y. Suppose 2*v - 213539 = -5*t, 4*v - 36247 - y = -t. Is t composite?
True
Suppose -u + 3*y - 10 = -0, -20 = -5*y. Suppose -2*i = -2*r - 41860, 0 = -2*r - 0 + 10. Suppose 5*n = u*o + i, 0*n + n + 2*o = 4199. Is n prime?
False
Let w(v) = 59*v + 320. Let s = -292 + 305. Is w(s) composite?
False
Suppose 5*x = -l + 17468, x + 34881 = -24*l + 26*l. Is l composite?
False
Suppose n = -5*u + 60373 + 46163, -u - 5*n = -21312. Suppose -22*j = -11*j - u. Is j a composite number?
True
Suppose 0 = v + g + 1495, -4*v + 4*g - 5989 = 5*g. Let q = 2982 + v. Suppose q = -9*u + 8090. Is u a composite number?
True
Suppose -2*y - 246 = -v + 3722, 5*v - 19849 = y. Let h be (-1)/(12/(-42) + v/13846). Let j = -375 - h. Is j a prime number?
False
Suppose -3*l + 290437 = 4*a, 15545 = a + 5*l - 57043. Is a composite?
False
Let u = 130 + -103. Suppose u*s + 2948 = 31*s. Is s a composite number?
True
Let l = 103068 + 6555. Is l a composite number?
True
Suppose -4*r + 102428 = 4*l, 134*r + 3*l + 128083 = 139*r. Is r prime?
False
Let w = -212 - -343. Let x = w - -1670. Is x a composite number?
False
Let v(t) = -1255*t**3 - 6*t**2 - 22*t - 29. Is v(-6) prime?
True
Let s(x) = 1501*x + 11402. Is s(111) prime?
False
Suppose 3*o + c + 11 = 0, -1 = -o + 3*c - 8. Let i(b) = -b**2 - 21*b - 16. Let p be i(-21). Is 1 + 12/p - 891/o prime?
True
Let o = 100 - 95. Suppose -3*m = -3*j - 15, -3*m = o*j - 2*j + 15. Suppose -2*r + 2707 = 5*b, 2165 = 4*b - m*b + r. Is b a composite number?
False
Let d(c) be the first derivative of c**3 - 6*c**2 + c + 1. Let o be (-120)/(-32)*(6*2)/(15/2). Is d(o) a prime number?
True
Let b(v) = -687*v**3 + 2*v**2 - 149*v - 1373. Is b(-10) a prime number?
True
Let c(q) = 5336*q - 2013. Is c(49) a composite number?
False
Let n be (3*6/(-27) - -1)*27. Suppose 16*w - 147 = n*w. Let a = w - -134. Is a composite?
True
Suppose -38*j + 39*j - 107671 = -o, -538355 = -5*j - 2*o. Is j prime?
True
Let h = 16130 - 4690. Suppose 8*p - 5*s + 8603 = 11*p, 0 = 4*p - s - h. Is p prime?
True
Let p = 455 + -453. Is 6/36*23045 + p/12 a composite number?
True
Suppose 0 = -2*p - 4*p. Let k = 0 + p. Suppose -i - n = -334, -6*n + 4*n - 2 = k. Is i prime?
False
Suppose 3*w - 40 = 5*k, w + 4*k = k - 10. Suppose 3*g + w*x = 1296, -g - 1754 = -5*g + 2*x. Let l = 994 - g. Is l a prime number?
True
Let s be (-29194)/(-10) + 3*(-2)/15. Suppose -s = -246*a + 243*a. Is a a composite number?
True
Let s be 3/(-6) + 2 - 54/36. Let o(d) = -d**3. Let i be o(0). Suppose -5*j - 53 = -2*r, i = -r - 2*j - s*j + 4. Is r a prime number?
False
Suppose -74138 = -2*z - 5*y + 79970, 0 = 7*y + 14. Is z prime?
False
Suppose 5*d - q + 362 = 0, -5*q + 366 = -5*d - 2*q. Let j be (d/(-5))/(60/5550). Suppose -3*b - 5*r + 7525 = 0, -3*r = -b + 1195 + j. Is b composite?
True
Let t(k) = 18*k**3 + 5*k**2 - 27*k - 2. Let h(r) = r**2 + 1. Let x(q) = 3*h(q) - t(q). Is x(-6) a prime number?
True
Let i(o) = -19672*o - 770. Is i(-3) a composite number?
True
Suppose -3*t + 4*x = -125147, -t + 41715 = 75*x - 77*x. Is t a prime number?
False
Suppose -l - u = -1280222, 3*l - 4251860 = 5*u - 411218. Is l prime?
False
Suppose -11*g - 11 = -154. Suppose -17*m + g*m + 3812 = 0. Is m prime?
True
Let x = 443 + -430. Let s be 8/(-20) - (-7104)/10. Suppose -15*z = -x*z - s. Is z prime?
False
Let u(m) = -m**3 - 38*m**2 + 30*m + 50. Let x(y) = -45*y + 229. Let t be x(6). Is u(t) composite?
False
Let u be (-2)/2*-2 + -13. Let g = u + -1. Is ((-1)/(18/g))/(2/78) a prime number?
False
Suppose -3*b + y = -164606, 4*y = 3*y + 1. Is b prime?
True
Let d = 26