947 prime?
True
Suppose -y - a - 3139 = -95466, 369350 = 4*y - 3*a. Is y a prime number?
True
Let d(s) be the second derivative of s**5/20 + s**4/6 + s**3 + 14197*s**2/2 + 40*s + 1. Is d(0) a composite number?
False
Suppose 3*w - 2464 + 55 = 0. Suppose d + 9 - 4 = 0, 0 = -c - 2*d. Suppose c*m - 9687 = w. Is m composite?
False
Let r = -416688 + 650447. Is r prime?
True
Let l be (4 + 55/(-10))*-2. Suppose l*g - 11 = 1, 5*g = 4*k - 5372. Let i = k - 725. Is i a prime number?
False
Suppose 227*k - 239*k + 28056 = 0. Suppose -3*h + b + 2066 = -1407, 5*b = -2*h + k. Is h a prime number?
False
Suppose -6*m + 3*m = 4*s - 218, -104 = -2*s - 4*m. Is 4/14 - (-89416)/s composite?
False
Suppose -4*p = z - 7*p, -5*p = 2*z. Suppose -j = -2*u - 2299, z = -5*u + 4*u + 5. Is j prime?
True
Suppose -583569 = -5*g + d, 0 = -g - 4*d - 46565 + 163262. Is g prime?
False
Let d = 9 + 5. Suppose 80 = d*o - 4*o. Suppose 0 = o*r + 3*r - 19591. Is r a prime number?
False
Let f(p) = -15*p + 845*p**3 + 1851*p**3 + 5*p + 3*p**2 + 230*p**3 + 8. Is f(1) prime?
True
Let x(i) = -i + 9. Let h be x(7). Let q = -799 + 1271. Suppose -178 = -2*p + 2*b, -4*p - h*b = -q + 128. Is p a prime number?
False
Suppose -210896 + 1724752 = 64*s. Is s prime?
False
Let v = 81815 - 45598. Is v a composite number?
False
Let i = -993 - -2152. Is (-28 - i)/(1/(-7)) prime?
False
Let w(o) = o**3 - o**2 + 10*o + 4803. Let h be w(0). Suppose 3*b = -16*u + 20*u - 9541, 2*u - h = -5*b. Is u a composite number?
False
Let b = -8 - -18. Suppose 5 = 5*j + 2*q, 3*j + 1 = -4*q - b. Suppose -3*n - 2*c = -875, 4*n = j*n - c + 291. Is n prime?
True
Suppose -2*z + 4*x = -4 + 18, -z - 3*x + 8 = 0. Is ((-5921701)/(-214))/(z/(-2)) composite?
False
Suppose -122*a + 61457207 = -17988461. Is a a composite number?
True
Let n = 302628 + 523537. Is n a composite number?
True
Suppose 8*t = 12*t - 4*v - 1055048, 2*t + v - 527515 = 0. Is t composite?
False
Let h = 96 + -89. Suppose h*t = 29*t - 44594. Is t a prime number?
True
Let q = 8662 + -2433. Is q prime?
True
Suppose -2*p - 497486 = -2*w, 19*w - 3*p = 21*w - 497506. Is w a prime number?
False
Let v be (8 - (7 - 5)) + 2058/(-1). Let y = v + 3593. Is y a prime number?
False
Suppose -3*o - 318 = -4*o - 3*z, 5*o = 5*z + 1610. Suppose -5*y - o = -9*k + 8*k, 4*k - y - 1379 = 0. Is k prime?
False
Let p be 3 - (4 - (1 + 0)). Suppose 3*n - 23049 = 42498. Suppose p = 20*l - 3131 - n. Is l a composite number?
False
Let a(j) = 96*j**2 + j + 3. Suppose 0 = -13*h + 8*h + 20. Is a(h) prime?
True
Let d(g) be the first derivative of -g**4/4 - 4*g**2 - 2*g + 2. Let m(n) = 3*n**2 - 156*n - 7. Let f be m(52). Is d(f) prime?
True
Suppose 57*t - 1183494 = 31*t. Is t prime?
False
Is 8/(-2) + 101007 - (3 + 0 + 1) prime?
True
Suppose 36*n - 72 - 72 = 0. Is (-8)/(-12)*954/n prime?
False
Suppose -556983 = -2*s - 5*b, 10*b = -s + 13*b + 278486. Is s a composite number?
False
Let a(m) = 4032*m**2 + 4*m + 3. Suppose -4 = -t + 5*l, 0 + 5 = -4*t - l. Let j be a(t). Suppose 0 = -4*k + j - 403. Is k prime?
True
Let j(x) = x**3 - 37*x**2 - 2*x + 77. Let y be j(37). Suppose -4*g + 2*i + i = -12241, -y*g - 3*i + 9186 = 0. Is g a composite number?
False
Suppose 2*p - 27 + 21 = 0. Suppose -3*t + 2*j + 9490 = j, -p*j + 15812 = 5*t. Is t a composite number?
False
Let p(n) = n**3 - 2*n**2 - 3*n + 2. Let k be p(3). Suppose 3*u + q = 13252, 0 = -k*u + 8*q - 3*q + 8829. Is u a composite number?
True
Let m be -70*55/5 - -4. Let r = -262 - m. Suppose -i - r = -3*k - 4*i, 5*i = -5. Is k composite?
True
Let w = 18 + -15. Suppose -w*q + 1303 + 3805 = f, -2*q - 3*f + 3396 = 0. Let g = -557 + q. Is g a prime number?
False
Let y be (16*(-4)/16*3)/1. Let j = y + 9. Is ((-3)/j)/((-3)/(0 + -1119)) a prime number?
True
Suppose 0 = -5*i - 3*j + 8338696, 2*i - 13*j + 17*j = 3335470. Is i composite?
False
Suppose -13*q + 848764 + 704931 = 0. Suppose -31*c + 68562 = -q. Is c prime?
True
Suppose 0 = -11*q - 20245 + 160979. Let c = 19791 - q. Is c composite?
False
Suppose 491102 - 86532 = 10*y. Is y composite?
True
Let y = -2510 + 10447. Is y a prime number?
True
Is (2 - -3)*(-14 - (-52835)/25) composite?
True
Let u = -519295 + 1580244. Is u a prime number?
True
Suppose -2*t - 57 = 47. Let p = t - -55. Suppose s - 646 - 1811 = -2*h, -p*s - h + 7376 = 0. Is s a prime number?
True
Let q(y) be the first derivative of 2*y**3 - 37*y - 7. Let s be (-9 + 2)*(-10 + 7). Is q(s) a composite number?
False
Let b = 23732 + 74033. Is b prime?
False
Suppose -5*m = 4*t - 2115, -189 = -2*m + t + 644. Suppose 0 = -z - 7*a + 2*a + m, 4*z + a = 1638. Is z composite?
False
Let f(x) be the first derivative of 496*x**2 - 461*x - 268. Is f(12) composite?
False
Let j = 123168 - 15175. Is j composite?
True
Suppose 0 = 17*g - 2*t - 6587687, 101*g = 101*g - t. Is g composite?
True
Suppose -12*d + 13*d = 38*d - 11596355. Is d prime?
False
Let k(h) = 7*h**2 + 8*h - 5. Let b be k(-8). Suppose -2*d - 32 = -y, -4*d + 18 = 2*y - 86. Let j = b - y. Is j a composite number?
False
Let v = -209 + 204. Is -5 - (-27)/5 - 393/v prime?
True
Is ((-10)/8 + 1)*(-205930 + 134) a composite number?
False
Let q(c) = -4*c**2 + 2*c + 409. Let u be (-5 + (-69)/(-9))*21. Let a = -56 + u. Is q(a) composite?
False
Let j be 1/1*(-11756)/4*2. Let h be (j/8)/(2/(-40)). Suppose 3*b + b = 5*v - h, 0 = 3*b. Is v prime?
True
Suppose -263 = -2*b - 261. Is 56/(-196)*(-7062 - b) a prime number?
False
Suppose -10*r - 95 = -45. Let u(o) = -66*o**3 - 3*o**2 - 7*o - 9. Is u(r) a composite number?
True
Let i be (-24)/(-180) + (-6)/45. Suppose i = -4*a + 4779 + 7769. Is a a composite number?
False
Let b(g) = 2*g**3 + 31*g**2 - 15*g - 58. Let u be b(-24). Let z be (u/(-15))/(8/12). Suppose z = 5*j - 2*k, -18*j + 14*j + 5*k = -749. Is j a composite number?
False
Let b(j) = -j + 12. Let t be b(10). Suppose 9 - 5 = t*u. Suppose 0 = 3*v + 5*y - u*y - 2355, -2*y - 3152 = -4*v. Is v prime?
True
Let u = -11301 + 244580. Is u composite?
False
Suppose -1385*d + 1435*d = 53515850. Is d a prime number?
True
Let x = 24904 + 2883. Is x a composite number?
True
Suppose 2*n - 3*l - 16 = -3*n, 4*n = -l + 6. Suppose 4 = 2*f, n*m + 0 = -4*f + 6. Is m/(-2)*(260 + 18) a prime number?
True
Let u = -164 + 163. Is 3804 - -9 - (u + -7) a prime number?
True
Let y(c) = -3*c - 9. Let s = 10 - 13. Let m be y(s). Suppose -b - 4*u + 987 + 246 = m, -b = -3*u - 1261. Is b prime?
True
Let n be 0/((-4 - -2)/(-2)). Suppose n = -4*k - 8 - 0. Is (k + -1 + -521)*3/(-4) a prime number?
False
Suppose 19*t + 10*t = 1257991. Suppose -50*y = -43*y - t. Is y a prime number?
True
Let g be -3*(15839 + 21/3). Is (-8)/(-44) - (g/22)/1 prime?
True
Is (2/(-4))/(194/(-76894228)) a composite number?
True
Let r = -28085 - -89028. Is r composite?
False
Let z = 149 + -152. Is (5 - (-2 + 6)) + z + 2253 prime?
True
Suppose 1484458 + 1315742 = 8*t. Suppose 0 = -28*f + 125387 + t. Is f prime?
True
Let g = 7061 - 2028. Is g prime?
False
Suppose -3041242 = 15*y - 8851177. Is y prime?
True
Let w(u) = -107447*u - 1092. Is w(-5) prime?
False
Let p(w) = 14981*w - 10. Let z = -289 - -290. Is p(z) composite?
True
Suppose 31*s - 2722224 = 37275805. Is s a prime number?
True
Let s(w) = -9*w**3 - w - 31. Let l = -13 - -8. Is s(l) a prime number?
False
Suppose -3*u = -4*n - 500283, u - 3*n - 35179 = 131572. Is u composite?
True
Let d(g) = 4736*g**2 + 169*g + 1501. Is d(-10) prime?
True
Let z(c) = c - 1. Let f(v) = v + 12. Let r(m) = -f(m) - 5*z(m). Let a be r(-3). Suppose 0 = a*d - 17*d + 3846. Is d composite?
False
Let o(r) be the second derivative of 105*r**5/2 + r**4/6 - r**2/2 - 3*r - 89. Suppose 2*j - 1 = -3, 0 = -l + j + 3. Is o(l) composite?
True
Let g = -8 - -13. Is (94/g)/((-3142)/(-785) - 4) composite?
True
Suppose -57 = -6*b + 3*b. Let d(q) = -q**2 + 3*q**2 - 5*q + 6 - 20*q - 52. Is d(b) prime?
False
Suppose 4*l - 16397 + 41921 = 4*j, -4*l - 12760 = -2*j. Suppose -7*t + 5*t = -j. Is t composite?
False
Suppose 5*v = -2*k + 27, -4*v + v = -2*k - 29. Suppose -v*a - 3*a + 1540 = 0. Let b = a - 87. Is b prime?
True
Let x = -202 - -205. Suppose 3*z = 4*c - 12548, -x*c - 3*z + 8718 = -693. Is c prime?
True
Suppose 16*n - 12020214 = -42*n - 11*n. Is n composite?
True
Suppose -4*p = -2*g - 90, -5*p - 3*g = -8*g - 125. Suppose 0 = 24*v - p*v - 10256. Suppose -4*u + v =