ime number?
True
Let d(a) = 2*a**2 + 4*a - 9. Let i be d(-7). Suppose -2*p + 3*g = 8*g - i, -4*p + 95 = g. Is p composite?
False
Let q(x) = -x**2 + 14*x - 13. Let w be q(13). Suppose w*y = y - 407. Is y a prime number?
False
Suppose 202*l - 517821 = 198*l + 5*x, -4*x - 517816 = -4*l. Is l a prime number?
True
Let a = -165 + 3259. Let w be 4/12 - a/(-6). Let b = w + 157. Is b a prime number?
True
Let j(b) = -2*b**3 - 5*b**2 + 18*b + 2. Let z be j(-12). Suppose p - z = -p. Suppose p = 2*l + 383. Is l a prime number?
True
Suppose 6*w - 21 + 3 = 0. Suppose -5*q - 3*d + 6304 = -0*q, -w*d + 5042 = 4*q. Is q prime?
False
Let z = 111 + -111. Suppose 12*j - 22*j + 38410 = z. Is j prime?
False
Let x(m) = -2*m**3 + 2*m + 1. Let q be x(2). Let d = 12 + q. Is (d - 4/2) + 144 a composite number?
True
Let v(u) = -3192*u + 13. Let q be v(-2). Let a = q + -1266. Is a composite?
True
Let r = -6 - -10. Suppose 89 = -y + 93. Suppose -3*g + 251 = 3*a - y*g, r*a - 360 = -5*g. Is a prime?
False
Let g(i) be the first derivative of 3*i**4/4 + 4*i**3/3 - 3*i**2 + i - 6. Is g(5) a composite number?
True
Suppose 0 = -y + 12 - 3. Suppose -1492 = -y*s + 5*s. Is s a prime number?
True
Let q be 2/(-5) + (-42)/(-5). Let b = 40 - q. Suppose -b = -t + 30. Is t composite?
True
Suppose 0 = 5*i + 4*y - 20, 4*i = 2*i + 2*y + 8. Let n be 5/(2 + -7) + 252. Suppose 5*o + s = 1674, -i*o + 5*s + n = -1094. Is o a prime number?
False
Let w(a) = a**3 + 17*a**2 - 5*a - 8. Is w(-17) prime?
False
Let n(g) = 4*g**2 - g - 2. Let q be n(2). Suppose 489 = -q*y + 13*y. Is y a composite number?
True
Let u(y) = 64*y**2 - 2*y - 5. Suppose -7*w + 0*w = 28. Is u(w) composite?
True
Suppose -10 = 5*c - 10*c. Suppose 3*y - 5*z = 6517, 5*z = 6*y - c*y - 8696. Is y a prime number?
True
Suppose -6*i + i = -20. Is i/16 + (-855)/(-4) composite?
True
Let b = -2778 - -3921. Suppose 0 = -4*c + b - 155. Is c a prime number?
False
Suppose -20 = -5*b, -2*o = -3*o - 3*b + 475. Is o/5 + (-28)/(-70) composite?
True
Is 11968*(-12)/(-28) - 2/14 prime?
False
Suppose p - 5 = 0, 4*h + p = -h + 5420. Let c = h - 727. Suppose x - 5*x + c = 0. Is x prime?
True
Let k(d) = 4*d**3 - 26*d**2 - 5*d + 39. Is k(12) a prime number?
False
Let b = 2317 + -1160. Is b composite?
True
Let h = 49 - 70. Let o be h/(-21) - (-2)/(-2). Suppose 2*d = 2*v + 1312, 3*v + 9 = -o. Is d a composite number?
False
Suppose 2*l - 228 - 662 = 0. Let v = l - 194. Is v a prime number?
True
Let g(f) = 801*f + 13. Let r(z) = -534*z - 9. Let v(t) = -5*g(t) - 7*r(t). Is v(-1) prime?
False
Let t = 4163 + -1704. Suppose 5*i = 3*q - 153 + t, -2303 = -5*i + 4*q. Is i prime?
True
Let g(a) be the third derivative of 11*a**5/30 - 13*a**4/12 + 5*a**3/6 + 17*a**2. Is g(7) prime?
False
Let m(o) = 11*o - 51. Let w be m(5). Suppose l - 1068 = -0*l - u, -l - w*u = -1071. Is l a prime number?
False
Let o = 145 + -101. Let v = o - 25. Suppose m - v = 50. Is m prime?
False
Let w = 78563 + 11030. Is w a prime number?
False
Suppose -4*f = f + 5*i - 1535, -319 = -f + 3*i. Suppose y + 4*y + f = 0. Let q = y + 129. Is q a composite number?
False
Suppose -3*i = -0*i + 2*t - 102, 4*t = -5*i + 168. Suppose -4*g = -7*g + i. Is (g/(-3))/(10/(-185)) a prime number?
False
Let u(i) = -i + 8. Let q be u(5). Suppose -3*x - q*w + 2 = -16, 0 = 2*x + w - 8. Suppose 10 = -x*b + 38. Is b prime?
False
Suppose -4*z - 34 = -198. Let y = 25 - z. Is (-1 - -433) + 15 + y a prime number?
True
Let v(d) = -2724*d - 103. Is v(-3) a prime number?
True
Suppose 3*t - t + b = 24673, 5*t - 2*b - 61669 = 0. Is t composite?
True
Let t(c) = 4*c - 4. Let s be t(3). Suppose -3*h = -3*i + 471, -3*i + s*h = 3*h - 473. Let u = 421 - i. Is u a prime number?
False
Is (-103125)/(-45) + (4/3 - 0) a composite number?
False
Let r(u) = 3*u**2 + 3*u - 17. Let a be 2/(-12) - 268/(-24). Is r(a) a composite number?
False
Suppose 12*f = 14*f + 458. Let x = -102 - f. Is x a prime number?
True
Let p(j) = 52*j**3 - 6*j**2 + 3*j - 4. Is p(3) composite?
True
Suppose 6*c - 11806 = -2*i + 9*c, 0 = -3*c. Is i composite?
False
Is (-4 - 6/3) + 60555/3 a prime number?
False
Let p(j) be the second derivative of -133*j**3/6 + 21*j**2 + 14*j. Is p(-19) a composite number?
True
Suppose -2*t = w + 4, -13 = -4*w + 4*t + 7. Is 3/(w + 1) + 972 composite?
True
Let w(k) = -k**3 + 6*k**2 + 6*k + 15. Let d be w(7). Suppose 6221 = d*q - 21419. Is q prime?
False
Suppose 77437 = 4*z + 16025. Is z prime?
False
Suppose 197145 - 61749 = 18*m. Is m a composite number?
True
Suppose -46*j = 11*j - 41781. Is j composite?
False
Suppose -1956 - 43976 = -4*t. Is t prime?
True
Let p = 869 + 2426. Is p composite?
True
Let c be (-147)/28 + 6 + (-123)/4. Is (-9444)/c*(-5)/(-2) composite?
False
Let x = 24 - 18. Suppose 427 = l - y, 10*l - x*l - 2*y = 1698. Is l a prime number?
False
Suppose 11759 = 4*j + 3*b, j + 5*b - 4207 = -1263. Is j prime?
True
Let o be 2/(1 + 1) + 4. Suppose o*p - 4 = 2*g, -2*p - 2*p = -g - 5. Suppose -b = -2, 3*q - 4*b - 309 = p*q. Is q prime?
True
Suppose -15*t + 23563 + 2147 = 0. Let y = t + -523. Is y composite?
True
Let w = 33 - 29. Suppose 4*f = w*u - 868, -u = -0*u - 5*f - 233. Is u a prime number?
False
Is 89713/15 + (-12 - (-910)/75) a prime number?
True
Let y(o) = o**3 + 4*o**2 - o + 2. Let l be y(5). Let c = l + 159. Is c prime?
False
Let m be 86 - 14 - (0 + 2 + -5). Suppose -77*q + m*q = -958. Is q a prime number?
True
Let r = 38 - 34. Suppose 0*o - r*o + 856 = 3*c, 0 = 4*o - 3*c - 832. Is o composite?
False
Suppose 2*n - 8 = 0, -25*n + 26*n + 34111 = 5*r. Is r composite?
False
Let t(u) = -7*u - 28. Let a(p) = 6*p + 17. Let r(w) = -5*w - 16. Let h(m) = -2*a(m) - 3*r(m). Let c(g) = 9*h(g) + 4*t(g). Is c(0) prime?
False
Suppose -3 = -2*m - 5. Let a = m + 6. Suppose -b + o + 0*o + 268 = 0, -2*b + 501 = a*o. Is b a composite number?
False
Suppose -6*m = -14*m + 282760. Is m prime?
False
Let v(n) = -1966*n - 32. Is v(-19) a composite number?
True
Let u(v) = 34*v - 1. Let x be u(3). Let h = x - 71. Is (10/h)/(2/150) prime?
False
Let a(f) = f**3 + 5*f**2 - 7*f - 6. Let x be a(-6). Suppose x = -s + 2*s. Suppose 7*n - 9*n + 124 = s. Is n composite?
True
Let a(i) be the third derivative of i**6/120 + i**5/60 - i**4/8 - i**3/3 - 11*i**2. Let y be a(-2). Is 121*(-4 + y + 5) prime?
False
Let i(t) = 4*t + 1. Let m(x) = x. Let y(b) = i(b) - 3*m(b). Let w be y(0). Is w*311 - (-56)/(-14) composite?
False
Suppose 31043 = -39*g + 257594. Is g a prime number?
False
Let m = 13 + -8. Let k(f) = 135*f + 4. Is k(m) a prime number?
False
Let y = 1297 - 554. Is y a prime number?
True
Suppose 3*n + 2*l - 48 = -6, -n - 5*l + 1 = 0. Is (-447)/(-12) + (-4)/n prime?
True
Let v(y) = y - 4. Let o be v(6). Let c = -19 - -281. Is (-3 + c - -4) + o a composite number?
True
Suppose 4*r + 2*k = 2728, 5*r + 0*k - 3407 = -k. Let c = 990 + r. Is c a composite number?
True
Let h(i) = -144*i**2 + i. Let m be h(-1). Let x = 4468 - m. Is x prime?
False
Let u(r) = -2*r - 13. Let a(i) = -3*i - 12. Let s(x) = -3*a(x) + 4*u(x). Let n be s(11). Is 8 + n - -1*248 a prime number?
True
Suppose -4*p + 57 = -0*p + 3*c, -3*p - 2*c = -42. Suppose 10*g = p*g - 6. Is g prime?
True
Suppose -6579 = -19*y + 10654. Is y a prime number?
True
Suppose -345346 - 13051 = -13*z. Is z a composite number?
True
Let k = 3 + -13. Let f(x) = -x**2 - 13*x + 11. Let y be f(k). Suppose -2*c + z + 175 + y = 0, 5*z - 404 = -4*c. Is c composite?
True
Let n(x) = 3*x**3 + 2*x**2 + x - 1. Let b(y) = y**2 - 4. Let a be b(3). Suppose -q + a*g - 3 = 0, 2*q - 2*g - 3 = -1. Is n(q) a composite number?
True
Let u(a) = a**2 + 27*a - 6*a**2 + 29*a**2 - 8. Is u(-6) prime?
False
Let a(x) = 32*x**2 + 9*x + 78. Is a(-19) prime?
False
Let c = -68 - -71. Suppose 0*u - 862 = -c*q + u, -2*u = -2*q + 568. Is q composite?
True
Is 6 - (1 + (-647 - 3)) a prime number?
False
Let w = -2027 - -2921. Is (14/(-21))/((-4)/w) a composite number?
False
Is (-676105)/(-105) + 2/(-21) composite?
True
Let a(b) = -66*b**2 - 10*b + 27. Let x be a(-10). Let z = -3970 - x. Is z prime?
True
Is ((-31836)/(-63))/((-8)/(-30)) prime?
False
Let b(n) = 25*n**2 + 3*n + 9. Is b(-7) prime?
True
Suppose 4*a + 4 = 8*a, z + 4*a - 2673 = 0. Is z prime?
False
Let q = -3461 + 12064. Is q a composite number?
True
Suppose -p - 18 + 1 = -y, y - 2*p - 19 = 0. Suppose -