site number?
True
Let p(t) = 57*t - 1. Let s be p(-2). Suppose 8*x = -16937 + 19121. Let y = x + s. Is y prime?
False
Suppose 359*t = -9*t + 19614032. Is t a composite number?
False
Let i(j) = 7*j - 5. Let a be i(10). Let x = a + -38. Let r = x + 392. Is r prime?
True
Let q be (156/(-18) + 4)*(13104/8)/(-6). Let b(p) = 228*p**2 + 3*p + 1. Let c be b(5). Suppose m - 134 + q = v, 3*m - c = -5*v. Is v a composite number?
True
Suppose -7*q + 80875 = -12*q. Let d = -10738 - q. Is d composite?
False
Let z be (-14)/(-10) - -2 - (-93)/155. Suppose -5*n + 0*f + 2433 = -f, 3*f = 6. Suppose 0 = -g + z*o + n, 7*g - 5*o = 2*g + 2405. Is g prime?
True
Let g = -19931 - -28332. Suppose 0*q = 5*q - d - 10490, -4*q - d = -g. Is q composite?
False
Suppose 0 = -4*w + 3*w + 4. Suppose 0 = -9*n + w*n + 25. Suppose 0*u + 2*u - 779 = -m, -5*u + n*m = -1970. Is u a composite number?
True
Let l = 1225258 - 408491. Is l a composite number?
True
Let h(t) = 14*t**2 - 4*t + 10. Suppose 0 = -3*c + 39 - 12. Let s be h(c). Is (54/36)/(6/s) a prime number?
True
Let v(s) = -6*s**3 - 3*s**2 - 4*s - 32. Suppose -7*x = 16*x + 161. Is v(x) prime?
True
Suppose -8 = l, -323*t - 2*l = -326*t + 1931557. Is t composite?
False
Let i(r) = 1235*r - 16. Let b be i(-3). Let m be ((-2)/3)/(2/7692). Let g = m - b. Is g prime?
False
Let v(s) be the first derivative of 12 + 3*s - 3*s - 23*s - 45*s**2. Is v(-5) prime?
False
Let s = -10635 + 75304. Is s a composite number?
True
Suppose -o + 3 + 0 = 0. Suppose 5*m = 4*z - 0*z + 8263, 3*m - o*z = 4959. Is m a composite number?
True
Let u be (-32404)/(-12) - (-1)/6*4. Suppose u + 2576 = 3*w. Is w prime?
True
Let j(c) = 8*c - 6. Let b be j(-12). Let m = b + 107. Suppose m*z = -444 + 8249. Is z composite?
True
Let z = 15 - 6. Let b = -24 - z. Is 8/(-44) - 1755/b a prime number?
True
Let k be ((-3)/5)/((-7)/175). Let q(b) = -12 - k + 8 + 8*b. Is q(7) a prime number?
True
Let p = 2718972 - 1335543. Is p a composite number?
True
Let s(p) = 21*p**2 + 8*p - 6. Suppose -v - 15 = -0*v. Let l be (-3)/2*-25*2/v. Is s(l) a composite number?
False
Suppose 3581644 = 153*t - 109*t. Is t a composite number?
False
Suppose 2*v - 78*m = -77*m + 18968, 2*v - 3*m = 18956. Is v prime?
False
Suppose 0 = -10*m + d + 2277589, 2*m + 4*d - 82476 = 373046. Is m prime?
False
Suppose -74450745 = 15*a - 178*a + 28*a. Is a a composite number?
True
Is ((44489391/68 - 10/(-8))/(-1))/(-1) composite?
False
Suppose 2*y + 40 = -3*w, 0*w + 40 = -2*w + 2*y. Let z be (-1 - 3) + w/(-4). Suppose z = s - 2, -2*s - 753 = -4*c + 2431. Is c a composite number?
False
Let d(o) = -1418*o - 1. Let k be d(2). Let g = 11072 - k. Is g prime?
False
Let z be (2/(11 + -5))/(2/(-18)). Is (-3)/(3*z/7158) a composite number?
True
Let b = 10426 + 28768. Is b a composite number?
True
Suppose -4*l + 105675 = -29*q + 30*q, 316998 = 3*q + 3*l. Is q prime?
False
Let h(n) = -11*n**3 + 17*n**3 - 10*n**2 - 2*n - 6*n**3 - 20 - n**3. Let u be h(-10). Suppose u = r - 281 - 672. Is r prime?
True
Let f(j) = 2*j**3 + 16*j**2 + 4*j + 6. Let y be f(-12). Let z = y - -1705. Suppose z = 4*b - g, 0 = -4*b + 2*b + 4*g + 266. Is b a composite number?
False
Suppose 3*a + 79 = -5*c, -4*a + 2*c - 62 = -0*a. Is (-4)/a - (282772/(-36))/1 prime?
False
Let l be 56/7 - (6 - 2 - -1). Let x = 3 - -1. Suppose x*o - l*o - 1657 = 0. Is o composite?
False
Let u(o) = -47*o - 232. Let j be u(33). Let d be 4/14 + 79792/28. Let y = j + d. Is y a composite number?
True
Let m(d) = 12949*d**2 + 17*d + 3. Let q(n) = 2*n**2 - 1. Let b(v) = m(v) + 2*q(v). Is b(-1) prime?
False
Suppose -2*c + 2*t + 585187 - 217951 = 0, 918075 = 5*c - 2*t. Is c a prime number?
False
Let n(c) = -c**2 + 1861. Let k(j) = j**2 - 2*j - 15. Let b be k(5). Let m be n(b). Suppose -1419 = -3*i + 7*a - 3*a, -4*i + m = 5*a. Is i composite?
True
Let v = -382 + 373. Is (-6)/21*(v - (-270230)/(-20)) composite?
False
Suppose -508*j + 503*j + 5 = 0. Is j*-3*(-59608)/24 prime?
True
Let c(h) = -305*h**3 - 3*h**2 - 7*h + 59 + 11*h**2 + 294*h**3 - 15*h + 143*h**3. Is c(5) a composite number?
False
Suppose 10*i = 17*i - 19194. Let p = i + -1423. Is p a prime number?
True
Let d(x) be the third derivative of x**5/10 - 7*x**4/8 - 13*x**3/6 - 21*x**2. Let v be d(12). Let w = 3026 - v. Is w prime?
False
Suppose -5567 + 1343 = 4*z. Let y = z + 736. Let x = y + 1351. Is x a composite number?
False
Suppose -78 = 6*c - 108. Suppose -69925 = -5*k + c*o, -o + 27970 = k + k. Is k a composite number?
True
Let u = 8726 + 77055. Is u prime?
True
Let m = -101 - -106. Suppose -m*x + 9262 = 177. Is x a composite number?
True
Let v(k) = -k**2 + 55*k + 149651. Is v(0) a prime number?
False
Let i(k) = 152*k - 27. Suppose 0 = 6*f - 197 + 11. Is i(f) a composite number?
True
Let s(b) = -295*b**3 - 2*b**2 + 11*b + 75. Is s(-8) composite?
True
Let x(f) = -668*f**3 + 3*f**2 + 4*f. Suppose -4*q + 20 = 0, 5*q - 27 = a - 0*q. Let u(n) = -n**3 + n. Let h(d) = a*u(d) + x(d). Is h(-1) a composite number?
True
Let d(j) = -456*j - 1. Let t be d(-2). Let o(a) = -a**3 - 25*a**2 + 36*a + 44. Let k be o(-27). Let q = t - k. Is q a composite number?
True
Suppose -137*a = -2*a + 238*a - 36352207. Is a composite?
False
Let j(t) be the third derivative of 27*t**5/2 + t**4/6 - t**3/3 + 4*t**2. Let l be j(2). Suppose 0 = -2*y + l + 4024. Is y prime?
False
Let t be 138/46*(2 + -8 - -1). Is (-3)/t + (1 - (-96658)/10) prime?
False
Let k be (-378182)/(-56) + (-6)/(-8). Is 0 + (k/4)/((-16)/(-32)) a composite number?
True
Suppose -2*f = -28 + 24. Suppose -f*g = -4*g + 8. Suppose 0 = g*d - 3*h - 0*h - 9884, -h = -3*d + 7418. Is d a prime number?
False
Suppose -36*j - 16*j + 2758444 = 0. Is j prime?
True
Let h(q) = 6*q**2 + 14*q - 19. Let j be h(8). Suppose s - 110 = j. Is s prime?
True
Let h = -21106 + 29909. Is h prime?
True
Let f(n) = 1066*n - 2071. Is f(20) composite?
False
Is 2*5186 + (75/5)/(-5) a prime number?
True
Let f be 93/(-15) + (-1)/(-5). Is f/(10812/2164 - 5) prime?
False
Let u = 135931 - 88440. Is u a prime number?
True
Suppose 3*i + 0*i - 6 = 0. Let k be (((-330)/8)/1)/(i/24). Is 34*(-1 + k/(-10)) a prime number?
False
Let h be 24884/6*(341/22 + -14). Let r = h + -3423. Is r prime?
False
Let x(p) = -18*p**3 + 2*p**2 + 10*p - 12. Let w be x(-6). Let d = w - 2665. Suppose d = 3*o - 220. Is o a composite number?
True
Suppose 3*l = 60*l - 137427. Is l a prime number?
True
Let c(j) = -j**2 + 22*j - 27. Let o be c(19). Suppose 38401 = o*w - 19*w. Is w a composite number?
False
Let d be 13/(-5) + (-26)/65 + -185. Let c = 567 + d. Is c a prime number?
True
Let m(r) = -2*r**3 - 29*r**2 - 80*r + 23. Let o be m(-20). Suppose -c + 2*x + 5469 = 0, -3*c - 5*x + o + 10439 = 0. Is c a composite number?
False
Suppose 7*p - 10*p = 5*n - 3700, 2466 = 2*p + 3*n. Let o = p + -695. Is o prime?
False
Let n(k) = -k**3 - 12*k**2 + 13*k - 5. Suppose -135*p = -141*p - 84. Is n(p) a prime number?
False
Let u = 966880 - 212463. Is u composite?
False
Let d be -2 - ((-4)/(-6) + (-170)/30). Suppose 0*a + d*k = -4*a - 151, -a + 5*k = 32. Is (2 + -3)*(a + -6) prime?
True
Let s = -6244169 + 9178156. Is s a prime number?
False
Let p(y) = -18*y + 215. Let i be ((-202)/(-505))/((-2)/20). Is p(i) composite?
True
Suppose 0 = -5*m + k - 4, 0 = -5*m + 13*k - 11*k - 8. Suppose 4*i = -5*d + 2966, m = -3*d - d + 8. Is i a composite number?
False
Suppose n - 4 = 4*j + 5*n, -4*j - 18 = -3*n. Is (j + 3 + 921)*(-10)/(-6) a composite number?
True
Let d(y) = 734*y**2 - 11*y + 6. Let c be d(4). Suppose 0 = -0*p - 2*p + 6. Suppose 2*q = 5*q + 4*v - 11709, p*q + 3*v - c = 0. Is q a prime number?
False
Let v be 2*(-3)/8 - (-110210)/(-40). Is 2/6 - v/3 a composite number?
False
Suppose 0 = -22*o + 1726392 + 261971 - 277621. Is o a prime number?
True
Let y = 27795 + 47356. Is y a prime number?
False
Let h be (-1)/4*2*-2*107833. Suppose -32*j + 43*j = h. Is j composite?
False
Suppose -4*t = -4*n + 28, 0 = -4*n + 5*t + 14 + 13. Suppose -5*d + 29494 = 7*u - n*u, d - 4*u = 5895. Is d composite?
True
Suppose -81 - 69 = -10*h. Suppose -10 = -5*u + h. Suppose -3*q = u*q - 4136. Is q a prime number?
False
Suppose -3*g - 4 = -4*g. Suppose g*f + 12 = h, h + 2*f - 4*f = 8. Suppose -4*l - 513 - 3004 = -5*o, -2*l + 2798 = h*o. Is o composite?
False
Is 5/(25/(-4)) + (-18959)/(-5) a prime numb