 1 = h. Suppose -4*s + 4 = 0, w*s - 130 + 17 = -v. Is v composite?
True
Let b(p) = 11 - 9*p**2 - 11*p + p - 3 + 0*p**2. Let h(f) = -8*f**2 - 11*f + 7. Let a(o) = 4*b(o) - 5*h(o). Is a(-14) composite?
False
Let d be (-8)/((-7)/(35/10)). Is d/(-18) + (-29470)/(-18) a prime number?
True
Let d(a) be the first derivative of 34*a**2 - 2*a - 290. Let c be 8/10*(-10)/(-4). Is d(c) prime?
False
Suppose 29*w + y = 33*w - 23834, -y + 2 = 0. Is w a composite number?
True
Let n = -1 - -4. Let i(d) = 98*d**3 - 5*d**2 + 5*d - 7. Is i(n) prime?
True
Suppose 0 = 3*z + z + 5*g - 74, 3*g - 99 = -5*z. Suppose 2*y + z = -y. Is 2/y - 1200/(-35) a prime number?
False
Let v(t) = -t + 13. Let a be v(8). Suppose a*m = 10 + 10. Suppose 0 = l - m*l + 2931. Is l a prime number?
True
Let h be 3*(1 + (-1)/(-3)). Suppose 9 = h*m - m. Suppose -i - 1 = 0, -5*a + m*i = -395 - 203. Is a a composite number?
True
Let u be (-6)/9 + (-2)/(-3). Suppose u = -3*a + 114 + 141. Is a + 3/6*0 prime?
False
Let z(g) = -g**2 - 18*g - 22. Suppose 0 = -8*t + t - 91. Is z(t) prime?
True
Suppose k = 3*z - 1085, 3*k - 436 = 2*z - 3719. Let d = -524 - k. Is d a composite number?
True
Let z(x) = 5*x**2 - 3*x - 19. Is z(5) a composite number?
True
Is (-2)/(-7) - (-1445805)/623 a prime number?
False
Suppose -16*v + 18*v = 3336. Suppose 3*j = c + 2*c - v, j - 2229 = -4*c. Is c composite?
False
Let h = 14661 + -8530. Is h a prime number?
True
Let a(t) be the first derivative of 6 + 4*t**3 + 11*t + 7/2*t**2 + 1/4*t**4. Is a(-9) composite?
False
Let r(h) = -18*h**3 + 5*h**2 + 12*h - 16. Is r(-7) composite?
True
Let m = -5575 - -12216. Is m prime?
False
Let y(h) = 23*h**2 + 2*h - 10. Let a be y(-4). Let j be 2 + 235 + 1 + -1. Let w = a - j. Is w composite?
False
Suppose 7*j = 21*j - 24934. Is j a composite number?
True
Let n(k) = -k**3 + 13*k**2 + 21*k - 30. Let a be n(14). Let j = 225 - a. Is j composite?
False
Let d(j) = -j**3 - j**2 + 3*j. Let g be d(-3). Suppose -22 = -n + 3*u - 0*u, n - 26 = -u. Let l = g + n. Is l composite?
True
Let b be ((-10)/8)/(2/(-8)). Suppose 0 = 4*y + b*n - 4174 + 62240, y + 14522 = -4*n. Is y/(-16) + (-3)/24 composite?
False
Let h = -484 - -3710. Is h a composite number?
True
Let b be (13/(-2))/((-3)/102). Let m = 384 - b. Is m composite?
False
Suppose -5*i = 5*o - 70, 0 = i - o + 4*o - 18. Let z be 5/i*-3*-4. Suppose -z*y + 257 = -153. Is y composite?
True
Suppose 11*m - 16*m + 2350 = 0. Suppose 112 - m = 2*n. Is n*1*(11 + -12) a composite number?
False
Suppose 5*q + 224 - 7269 = k, 4*k - 2818 = -2*q. Is q a composite number?
False
Let l(d) = 322*d - 6. Let x be l(3). Let j = -397 + x. Is j prime?
True
Suppose 5*u - 46 = 2*f, 3*f - 15 = -4*u + 31. Suppose o - 5*y - 16 = 0, -4*o + u = -y - y. Is 1 + o + 4 + 185 prime?
True
Let z(x) = 2*x**3 + 39*x**2 - 76*x + 145. Is z(30) prime?
False
Suppose 16*l + 2*a = l + 36793, 0 = 5*l - 4*a - 12269. Is l prime?
False
Suppose 90 = 3*f - 6*f. Let w be (6/(-4))/(9/f). Suppose -3*k + 0*g - w*g = -659, 0 = 3*k - 2*g - 673. Is k composite?
False
Suppose -13867 = -47*g + 45*g + 3*t, -3*g - 5*t = -20848. Is g a prime number?
False
Let s(h) = -5*h**3 - 34*h**2 + 23*h + 23. Let p(m) = 4*m**3 + 33*m**2 - 24*m - 23. Let a(z) = -6*p(z) - 5*s(z). Is a(28) prime?
False
Suppose 14*v + 114968 = 22*v. Is v composite?
True
Let i = 6183 - -2932. Is i a prime number?
False
Suppose 2*m = 3*m + 31. Let c = -8 + m. Is (-10341)/(-39) - (-6)/c a composite number?
True
Suppose -2*q - 2*q = -4. Suppose 6 = -3*o + 4*h, 2*o - 3*h = -o - 3. Is ((-8392)/(-16))/(q/o) a composite number?
False
Let g = -1382 - -761. Let s = g - -919. Suppose -6*a + 236 + s = 0. Is a a prime number?
True
Let c = -13 - -15. Suppose 0 = -0*o - c*o - t - 17, 3*t + 16 = -o. Let w(y) = 2*y**2 - 2*y + 7. Is w(o) composite?
True
Let v(c) = 379*c + 16. Let l be v(11). Suppose l - 949 = 4*t. Is t a composite number?
False
Let a(z) = 7*z**3 + 29*z**2 - 64*z + 62. Let g(o) = 11*o**3 + 43*o**2 - 96*o + 93. Let p(t) = -8*a(t) + 5*g(t). Is p(-25) a composite number?
True
Let c(v) = 1493*v + 13. Is c(2) a composite number?
False
Let t be (-4)/(8/(-1508) + 0). Suppose -7*u = -5*u - t. Is u prime?
False
Let o(z) = 76*z**2 + 16*z + 37. Is o(-3) prime?
True
Let d(l) = -89*l**2 - 7*l + 1. Let m(r) = 88*r**2 + 6*r - 1. Let a(v) = 2*d(v) + 3*m(v). Is a(-2) a prime number?
False
Suppose -3 = a - 2*a. Suppose -237 = -3*p - 6*c + 3*c, -2*c = -a*p + 242. Suppose -2*z = u - 231, 5*u - 1175 = 5*z - p. Is u prime?
True
Let n = -231 - -227. Let f(l) = 0*l - 1 + 11*l**2 + 27*l**2 + 4*l. Is f(n) a composite number?
True
Let d(q) = -8*q + 3. Suppose -2*o + p - 5 = o, 4*o + 4*p - 20 = 0. Suppose t + 4 = -o. Is d(t) a prime number?
False
Suppose 45386 = -21*y + 208955. Is y a prime number?
True
Suppose 2 = -3*n - u, -3*n - 5 = -2*u - 0*u. Is (-489510)/(-392) - n*2/8 a composite number?
False
Let s be 0/(0 - (5 + -9)). Suppose -2*u + 4*m + 818 = -s*m, u = 5*m + 400. Is u a composite number?
True
Let n(l) = 11 - 2*l + 6*l - 2 - 3*l. Let d be n(-4). Suppose 187 = d*x + u, x - 41 = -2*u - 0*u. Is x composite?
False
Let s(m) be the third derivative of -m**6/120 + m**5/10 + m**4/12 - 5*m**3/6 + 14*m**2. Is s(4) prime?
False
Is 17 + 481/(-26) + 28513/2 prime?
False
Suppose -21 + 9 = -2*r. Is (-10)/(-5)*3/r*701 a composite number?
False
Let s(u) = 4606*u + 185. Is s(13) a composite number?
True
Let a(u) = 3*u**2 + 6*u + 7. Let n = 2 - 8. Is a(n) prime?
True
Let a(j) = -39*j**3 - 4*j**2 + 4*j + 14. Let o(v) = 40*v**3 + 4*v**2 - 3*v - 14. Let n(s) = 5*a(s) + 4*o(s). Is n(-5) composite?
True
Let o(c) = -c. Let y(u) = 75*u + 5. Let r(h) = 15*o(h) + y(h). Is r(8) a composite number?
True
Suppose 0 = 3*t + 5*f + 14, -6*t + 11*t - f = 14. Suppose 4*u = t*x - 894, -3*x + 0*u + 1301 = 2*u. Is x prime?
False
Let a(c) = 6*c**3 - 3*c**2 - 12*c + 8. Let r = 36 - 27. Suppose r*p = 4*p + 25. Is a(p) prime?
False
Suppose 281722 + 17764 = 22*k. Is k prime?
True
Let c be (-6)/(-9)*9/1. Suppose 173 + 673 = c*x. Is x prime?
False
Let z(c) = -461*c - 9. Let o be z(-2). Suppose p + 5*f = o, 0 = -f + 2*f + 2. Is p prime?
False
Let x(f) = -f**2 + f. Let i(h) = -69*h**2 - 9*h + 25. Let w(n) = -i(n) - 6*x(n). Is w(-8) prime?
True
Let z be 84/22 + 12/66 + -1. Suppose -496 = -2*j + z*d, -2*j + 234 + 274 = 3*d. Is j composite?
False
Let g be (-8529)/5 + (-3)/15. Suppose 89 = -3*v - u, 20 = -6*u + 2*u. Is (g/(-4))/((-14)/v) a composite number?
False
Suppose 3*k - 4*n = k + 6718, -k - 5*n + 3324 = 0. Is k a prime number?
False
Let x(a) = 4*a**2 - 19*a - 52. Is x(-25) prime?
False
Let a = -5802 + 11849. Is a prime?
True
Suppose 4*k + 2*k = 66. Let t be (-2)/(-2)*(11 - k). Suppose t = -3*s - s + 3556. Is s composite?
True
Is (1 - -2)*13/(-78)*-10198 a composite number?
False
Let d(j) = 22*j**2 + 5*j - 1. Let x be d(9). Suppose -5*w = 5*t - 8926 + x, -5683 = -4*w - 5*t. Is w a composite number?
True
Suppose 4*u = -2*j + 12, u - 2*j - 18 = -5. Suppose u*d + 3*v - 531 - 149 = 0, -2*d = -5*v - 272. Suppose 84 = 4*c - d. Is c a composite number?
True
Is 18426 - 1 - -4*(-6 - -7) composite?
True
Suppose -121*h = -65*h - 3758104. Is h a composite number?
True
Let n be 46/(-10) + (-6)/15. Let y(a) = a**2 - a - 5. Let c(t) = -t - 6. Let o(g) = n*c(g) + 6*y(g). Is o(7) composite?
True
Suppose -244331 = -36*x + 202825. Is x prime?
True
Let b(y) = 10*y**2 - 3*y. Let p be b(15). Suppose -3*h = -p + 834. Is h a composite number?
False
Let r(p) = 0*p**2 + 8*p - 2*p + 2 - p**2. Let x be r(6). Is (4/(-12))/(x/(-66)) composite?
False
Suppose 4*g - 202 - 854 = 0. Suppose -3*f + 3557 = 4*o, -o + g + 619 = 2*f. Is o composite?
True
Suppose 4*j - 23 = 5. Suppose -6*n - 6 = -j*n. Suppose p - 22 = -3*s, 2*s - 2 = n. Is p prime?
False
Suppose -5*f = 3*t - 3929, 2*t = 5*f + 7*t - 3925. Is f a composite number?
False
Let s(m) = m. Let f(k) = -166*k - 35. Let w(h) = 55*h + 12. Let i(c) = 2*f(c) + 7*w(c). Let x(p) = i(p) + 4*s(p). Is x(11) prime?
True
Let w(v) = 11*v + 1. Let h be w(-1). Let l = 17 + h. Suppose -l + 244 = 3*a. Is a a prime number?
True
Let x = 8 - 6. Let n be x/3*(-60)/(-8). Let l(v) = 17*v - 6. Is l(n) prime?
True
Suppose 3021 = i + 2*i. Let y = 621 + -619. Suppose 0 = 5*t + y*j - i, t = 2*j + 195 + 4. Is t a prime number?
False
Let v be ((-6)/(-3))/((-1)/(-1)). Suppo