ime number?
False
Suppose 5*q = -4*k + 435964, 2*k = 838*q - 833*q + 217982. Is k prime?
True
Is 6/(-75)*10 + 512199/5 a composite number?
True
Let i(j) = j**3 - 8*j**2 + 15*j - 12. Suppose -8*g = 6*g - 84. Let o be i(g). Suppose o*n - 7517 = 4321. Is n a prime number?
True
Let o(k) = 64*k**3 - 11*k**2 - 33*k + 443. Is o(11) a prime number?
True
Suppose -15381*o - 1113293 = -15418*o. Is o a prime number?
True
Let j(q) be the first derivative of -185*q**2/2 - 292*q + 304. Is j(-19) a composite number?
True
Let f(c) = c**3 + 22*c**2 + 41*c + 26. Let o be f(-20). Is (((-80)/(-25))/8)/(o/35085) composite?
False
Let p = -531 - -547. Suppose 2*o = -5*y + 14857, 3*o + p*y - 17*y - 22260 = 0. Is o a composite number?
True
Suppose i - 676800 = -17*i. Suppose -52999 = -k + i. Is k prime?
True
Let i = 635392 - 98187. Is i a composite number?
True
Suppose 15*c = 20*c + 15. Let n(p) = p**3 + 4*p**2 + 2*p - 2. Let h be n(c). Is 2*(-1)/h + 255 composite?
True
Suppose 0 = -3*g - 4*v + 32574, -5*g + v = 21183 - 75450. Suppose -6*z + g = 2712. Is z a prime number?
False
Let g be ((-13)/(-26))/(2/96). Suppose -g = -9*a + a. Suppose h + 0*h + a*m = 636, 4*m + 1895 = 3*h. Is h prime?
False
Let g = -7 + 31. Suppose -2*v = -y - 12, -g = -7*v + 3*v - 3*y. Suppose -v*d - 1557 = -9*d. Is d prime?
False
Let g = 85653 - -34856. Is g prime?
False
Let d be 0 + 2 - 1*8698. Is ((-1)/4)/(4 + 34786/d) a prime number?
True
Let o = -3286 - -7029. Is o a composite number?
True
Let i(m) = -m**3 + 4*m**2 + 24*m - 7. Let z be i(7). Suppose 4 = -7*n + 11*n. Is 3/n - -37*z composite?
False
Let w be (-918)/21 + (6/(-21))/1. Let t = -30 - w. Suppose t - 280 = -2*c. Is c a composite number?
True
Let t(o) be the third derivative of 349*o**4/24 - 2*o**3/3 - 35*o**2. Let y be t(1). Let q = y + 974. Is q a prime number?
True
Let y be 327*(-2 - 100/(-15)). Let b = y - -1881. Is b prime?
True
Let y(q) = 22*q**3 - 10*q**2 - 20*q - 2. Let p be y(13). Let f = -20011 + p. Is f composite?
False
Let i = 83 - 38. Suppose 38*n = i*n - 30751. Is n a composite number?
True
Suppose f - 7 = -6*f. Let g be 4/f + 14 + 1. Suppose -h + 19 = 4*j, -2*h + h + 4*j = -g. Is h prime?
True
Let c = -1067 + 2034. Let q = 1415 - c. Let o = 1355 - q. Is o a prime number?
True
Suppose -96 = -16*t + 24*t. Let r(i) = i**2 - 11*i - 6. Let d be r(8). Is d/(-4)*(-1048)/t a composite number?
True
Let c = -15 - -19. Let g(x) = -3*x**3 + 0*x + c*x**2 + 6 + 10*x + 7. Is g(-6) a composite number?
True
Is 36/12 - -8 - 5899878/(-9) a composite number?
True
Suppose -2*t + 4*t = -210. Let f be 7515/t + 4/7. Let x = 22 - f. Is x a prime number?
False
Let o be (6/(-4))/(1/(-2)). Suppose 2946 = -o*v + 5*v - x, -5*v + 7351 = x. Is v composite?
False
Let y be (-10)/(-5) - (-1 + -3). Is 55922/1*y/12 prime?
True
Let z(b) = -531*b - 22. Let h be z(-7). Suppose 20*o = 17*o + 15. Suppose -201 = a - 5*y - 924, h = o*a - 5*y. Is a a composite number?
False
Let k = -54 - -56. Let z = -214 - -417. Suppose -z = -i + 5*d, -k = 2*d - 10. Is i a composite number?
False
Let j(l) = 6070*l + 7513. Is j(40) composite?
True
Is -4*(-33)/(-352) - 4033617/(-24) prime?
True
Suppose 0 = 30*n - 47*n + 1846931. Is n composite?
False
Suppose x - 68155 = -2*p, x + 338*p - 339*p - 68137 = 0. Is x a composite number?
True
Let j be (117/(-26))/((-6)/16). Is (-561)/(-22)*10216/j prime?
False
Let s = -21 + 26. Suppose z = 2*p - 5*p + 1196, 0 = p + s*z - 408. Suppose -53*q + 52*q = -p. Is q prime?
False
Suppose -2*n - 4 = 0, v + 0*n + 4 = -3*n. Let o be (1 - 1 - 20)*v/(-8). Suppose o*g + 3*r - 362 = 366, 5*g - 727 = -2*r. Is g composite?
True
Let g = -281234 + 445407. Is g a prime number?
True
Suppose -2*o = 4*m - 56, 3*m - o - 1 = 36. Let y(c) = c**3 + 2*c**2 - 20*c + 30. Let v be y(m). Let q = -1416 + v. Is q prime?
False
Let b(y) = 39*y - 112. Let n be b(3). Suppose 0 = -3*q + 9, n*l - 2595 - 5861 = 3*q. Is l prime?
True
Suppose 30671 = t - 5*j - 119785, -5*j = 10. Is t a prime number?
False
Let t = -5930 - -157167. Is t composite?
False
Let d = 153467 - 71706. Is d prime?
True
Is (-981908)/(-5) + 13/(-5) a prime number?
True
Let a(w) = -709661*w + 390. Is a(-1) prime?
True
Let b = -49 - -63. Let z be 52/b + ((-8)/14)/(-2). Suppose -2*t + 4082 = 4*l, 5*l - z*t = -670 + 5740. Is l a prime number?
False
Let h(x) = -1708*x + 56. Let f be h(-6). Suppose 10*k = -4014 + f. Is k a prime number?
False
Suppose -y + 670 - 217 = 2*u, -433 = -y + 2*u. Suppose -2*n - j + y + 1368 = 0, 2*j - 1808 = -2*n. Is n composite?
False
Suppose -5*j + 3*o = -13921, -3*j - 3*o + o + 8345 = 0. Let q = j + -1044. Is q a prime number?
False
Let t(m) = -710*m - 317. Is t(-12) composite?
True
Suppose 6*q + 2*k + 89228 = 10*q, 0 = 4*q + 6*k - 89260. Is q prime?
False
Let w be 9/(-6)*(-5 + 5/(-15)). Suppose -1163 + 435 = -w*y. Is y a prime number?
False
Suppose -2*n = 3*y - 432438 - 101587, 0 = 3*n + 5*y - 801036. Is n a composite number?
False
Let s = -16 - -63. Let z = s - 44. Suppose -v = -z*w - 3453, -17289 = -5*v - w + 4*w. Is v composite?
True
Suppose -736 = -3*q + 2*z + 1566, 4*z + 2306 = 3*q. Suppose n - 273 - q = 0. Is n prime?
True
Let s(q) = 9*q**3 + q**2 - q + 1. Let a be s(1). Suppose -a*f = -2*f - 56. Suppose 0 = -6*j + f*j - 127. Is j prime?
True
Let w(t) = -1002*t**3 - 4*t**2 - 2*t + 13. Let c(o) = 2003*o**3 + 7*o**2 + 3*o - 26. Let r(z) = -4*c(z) - 7*w(z). Is r(-2) prime?
True
Let f be 6/(-51) - 539/187. Is (0 - f)/((-3)/(-129)) a composite number?
True
Let h = 292 + -286. Suppose -3*b - 6516 = -3*w, -2*w = h*b - 2*b - 4314. Is w a prime number?
False
Let v = 280356 + -132295. Is v composite?
False
Is (-404)/(-28) + -14 - ((-2465156)/14 - -2) prime?
True
Suppose 3*n - 702423 + 27764 = -4*r, -n + 224913 = -4*r. Is n a composite number?
True
Let y(d) = 5*d**3 - 2*d**2 - d. Let b be y(-1). Let q be (-3)/b*(-6 - 2). Let u(w) = -13*w**3 - 2*w**2 - 8*w - 3. Is u(q) prime?
True
Let k(h) = -201*h**3 + 22*h**2 + 45*h + 37. Is k(-7) prime?
False
Suppose -23*f + 103*f - 4706480 = 0. Is f a composite number?
False
Let m be -2 + -4 + 3 + 73. Suppose -m = -3*t - 61. Suppose t*f - 198 = 1308. Is f prime?
False
Let x(b) be the first derivative of 7*b**5/60 - b**4/6 - 4*b**3/3 + 7*b**2/2 + 10. Let v(j) be the second derivative of x(j). Is v(7) a composite number?
False
Suppose v - 16 = -3*w, 2*w = -5*v + 19 + 9. Suppose v*p - 41 = 19. Is 1910/p - (-2)/(-6) a composite number?
False
Suppose 2*a = -3*g - 341, 23 - 8 = 3*a. Let l be (-6 - (-10992)/90) + (-4)/30. Let u = l - g. Is u a composite number?
False
Let r(u) = 5*u**3 + u**2 - 25*u + 298. Is r(15) composite?
True
Let q(d) = 33*d + 19. Let s(b) = 170*b + 96. Let h(r) = 16*q(r) - 3*s(r). Suppose 3*n + c = 6*n - 26, 4*c = 4. Is h(n) composite?
True
Suppose -12*a + 58178 = -16534. Suppose 2*z - a = 2332. Is z composite?
True
Suppose -9*r = -5*r - 2*h, 0 = -5*r - h. Suppose r = -2*d + 7*f - 12*f + 13458, 0 = -d - f + 6735. Is d a prime number?
False
Let k(c) = -c**2 - 6*c + 11. Let x(r) = -r**2 - 3*r + 5. Let j(w) = -2*k(w) + 5*x(w). Let o be j(1). Is (-634)/o + (-2)/6 composite?
False
Let x(m) = 2*m**2 - 13*m + 9. Let z be x(0). Let n(b) = 23*b**3 + 6*b**2 - b - 26. Is n(z) composite?
True
Suppose -36*a + 25*a - 99 = 0. Is (81417/a)/(56/12 - 5) composite?
True
Is 0 - -2 - (-80752 + (1 - -16)) composite?
False
Let c = 912 - 909. Suppose -c*s + 3*t + 2010 + 7815 = 0, 0 = 4*s - 3*t - 13096. Is s a prime number?
True
Suppose -q - 5*n = -83, -4*q + 0*q = -2*n - 442. Let a = 365 - q. Is a a composite number?
False
Let l be (21/5)/((-4 - -1)/(-15)). Let k = -15 + l. Suppose 0 = -4*g - 5*v + 4201, -5*g + 3*v - k*v = -5248. Is g a prime number?
True
Suppose -o + 220 = -12*o. Is 76 + (3 + -2)/(10/o) a prime number?
False
Let o be 2 - (170/8 - 5/20). Let t(m) = -m**2 - 33*m - 117. Is t(o) prime?
True
Suppose 5*t + 2*i = 1228870, -3*i - 737322 = 4*t - 7*t. Is t composite?
True
Let g = -324098 - -1627575. Is g prime?
False
Let p be (-4)/2*((2 - 3) + 0). Suppose p*a - 2*l + 4*l - 2560 = 0, 2*a - 4*l - 2530 = 0. Suppose -8576 = -7*n - a. Is n prime?
False
Let i = -15678 + 50717. Is i a composite number?
True
Suppose -103198 = 18*t - 988024. Is t a prime number?
True
Let a(z) = -z**2 + 63*z - 48. Let d be a(-34). Let p = d - -6233. Is p composite?
False
Let v = 