ite number?
True
Suppose 5*h + w - 171 = 58, 3*h + 4*w = 134. Suppose 56*x - 91070 = h*x. Is x prime?
False
Suppose -2 = 2*n - 2*l + 3*l, -5*l - 22 = -2*n. Suppose 2*t = -4*j - 18, 0*t + 3 = -4*j + t. Is (-1 + j)*(n + 3560/(-12)) prime?
True
Is 6/(-9)*(-432125 - 61)*(-2)/(-8) a prime number?
True
Suppose 26*w - 113691 - 1368387 = 0. Is w a prime number?
False
Suppose 30*j - 557639 - 2415067 = 125184. Is j composite?
True
Suppose 22*w - 2538783 = 1531459. Is w a prime number?
False
Let j(a) be the first derivative of 56*a**3/3 - 5*a**2/2 + 67*a + 208. Is j(-12) prime?
True
Suppose 4*v - 2*d - 30 = 0, 3*v + d = 6*v - 21. Suppose -v*u + 6095 = -u. Suppose -3*c + 6*n - 3*n + 1218 = 0, 3*c - 2*n - u = 0. Is c a composite number?
True
Let m = 5478 - 240. Suppose 0 = -4*c - 4*z + 6976, 7*z - 2*z - m = -3*c. Is c prime?
True
Is 21256 - (-20 - (-4 - 3)) composite?
False
Suppose -13*u - 515 = 226. Is 1417 + u + (-1)/(-1) a prime number?
True
Suppose -451*i - 18964834 = -465*i. Is i composite?
True
Suppose -176*a + 97*a + 88*a = 3296583. Is a a prime number?
True
Let t(r) = -142864*r + 425. Is t(-5) prime?
False
Is (-12326392)/(-145) - (-6)/(-10) a prime number?
True
Let k be (-24)/(-16)*(1 + 1). Suppose k*r - r = 5516. Suppose y - r = -5*g + 609, 0 = 5*g - 2*y - 3361. Is g a composite number?
False
Let c = 111 - 119. Let j(x) = 4*x**2 - 2*x - 10. Let k be j(c). Suppose -k = -4*q - 2*a + 80, 4*q - 341 = -3*a. Is q composite?
True
Suppose 2*q + 4 = 3*f, 8*q - 5*q = 2*f - 6. Is 11030/18 + q - 14/(-63) prime?
False
Let j(w) be the first derivative of -85*w**2/2 - 32*w + 10. Is j(-13) a prime number?
False
Let t be 20/(-5)*-1*42998/8. Suppose -t - 2999 = -18*a. Is a composite?
False
Suppose -2328 = 2*w + 5*x + 257, 1306 = -w + 2*x. Let m = 2844 + -871. Let u = w + m. Is u composite?
False
Suppose -56*r + 61*r = 15. Suppose 3*n + 21509 = 4*s, 2*s + r*s + 2*n = 26915. Is s composite?
False
Let n(y) = -y**2 + 3*y + 1. Let j(t) = -1502*t**2 + t + 21. Let v(l) = -j(l) - 2*n(l). Is v(-2) prime?
True
Suppose -33*w - 1882833 = -52327722. Is w prime?
True
Suppose 0 = -4*w - q + 136848, 2*w - 152*q - 68434 = -155*q. Is w a prime number?
True
Let d = -5096 - -8580. Suppose t = -3*g + 1483, 5*g - 562 = 2*t - d. Is t composite?
False
Is (3046/(-2))/(2/(170/(-5))) composite?
True
Let p = 35 - 24. Suppose 11 = d + p. Suppose -5*o + 5*y + 2467 = 3*y, d = 2*o + 3*y - 983. Is o prime?
False
Suppose 2830858 = -49*n + 12001845. Is n prime?
True
Let c(n) = -4*n**2 + 3*n. Let h(u) = 11*u**2 - 8*u. Let i(d) = -8*c(d) - 3*h(d). Let s(p) = -7*p**2 + 7*p - 9. Let x(a) = 5*i(a) - s(a). Is x(16) composite?
False
Suppose 83520 = 4*j + j. Let t be -3 + (j - 4)/5. Suppose -2*b - 575 + t = 0. Is b a prime number?
True
Is (-4)/(-3) - (-145576)/(-48)*-158 prime?
True
Let y = 164 - 191. Let n(c) = -c**3 - 26*c**2 - 21*c - 37. Is n(y) a composite number?
False
Suppose -5*o + 3415 = 2*y, -4*o = -3*y - 2*o + 5132. Let q = -674 + y. Let f = q + 601. Is f a prime number?
True
Let p(n) = 1495*n**2 - n - 3. Suppose -a + 11*a + 60 = 0. Let q(d) = -d**2. Let f(s) = a*q(s) + p(s). Is f(-1) prime?
True
Is 13/(-39) - (2 - (-5)/((-45)/36462)) composite?
False
Let m = 13 - 6. Suppose m*w + 9320 = 11*w. Suppose -16*z = -21*z + w. Is z prime?
False
Let b(u) = -26*u - 90. Let i be b(-3). Is -5 + (-5 + -630)*i a composite number?
True
Let u(t) = 13*t**2 - 18*t - 2. Let o be u(5). Suppose -4448 = -5*f - o. Is f a prime number?
False
Let s = 269575 + -155648. Is s a prime number?
False
Let l(m) = -2912*m - 31. Let f(u) = 5823*u + 60. Let x(s) = -3*f(s) - 5*l(s). Is x(-4) composite?
True
Suppose 0 = -26*b + 90 + 14. Let g be (-2)/(-1)*(-9)/(-6). Suppose g*f + 3*l = 1893, -b = -l - l. Is f a prime number?
False
Is ((-3)/6 + 14/20)/((-10)/(-9517850)) composite?
False
Let l be -1*(0 + 2)/(8/(-12)). Suppose 4*a = 2*v - 704, -4*a = 5*v - l*v - 728. Let n = 1607 - v. Is n a prime number?
True
Suppose 6*b = 2*v - 173110, -4*b - 16 = -0*b. Is v a composite number?
True
Suppose -10798 = -2*n - 3627 + 11655. Is n a composite number?
False
Let b be ((8/14)/((-10)/(-35)))/1. Suppose 0 = 5*p - 4*c - 2460 - 6387, 3536 = b*p - 3*c. Suppose p = r + 6*r. Is r a prime number?
False
Suppose -139*r + 132*r = 56. Is r/60 - (-667)/15*41 a prime number?
True
Let q be ((-43)/(-2))/(-5 - 36/(-8)). Let z = -36 - q. Suppose 1805 = z*h - 2*h. Is h prime?
False
Let s be ((-24)/36)/(2/9). Let d(j) = -2*j**2 + j + 9. Let y be d(s). Is 2/12 - 370/y prime?
True
Suppose j + 3*h = 40559, -j + 26916 = -3*h - 13679. Is j a composite number?
False
Let o be 45/5 - 0 - 6. Suppose o*m + 17*m - 11140 = 0. Is m a prime number?
True
Let x = -140 - -100. Is (-85)/x + -2 - 38095/(-8) a prime number?
False
Let y(q) = 29*q - 27. Suppose -2*i = -d + 3*d - 104, -4*i - 3*d = -210. Suppose 4 = -2*f, -4*l = f + 4*f - i. Is y(l) a prime number?
False
Suppose -5*c + 685 = -5*l, -5*c + 2*l + 684 = -2*l. Suppose h - 526 = c. Is h a prime number?
False
Suppose 22*l = 8*l - 30*l + 7044268. Is l a prime number?
False
Suppose -84*g + 40 = -74*g. Let x = -342 + 4697. Suppose -x = -17*h + g*h. Is h a composite number?
True
Let m(y) = 455*y + 713. Is m(24) prime?
True
Suppose 2*b - 12 = -2*b, -b = -3*k + 3537. Suppose -8560 - k = -4*p. Is p a composite number?
True
Let q be (3/(-9))/((-4)/312). Suppose -16 = -3*w + q. Is ((-4417)/w)/(1/(-2)) a prime number?
True
Is (7/5)/(98/70 - 237222/169445) a prime number?
False
Suppose -2*z = 26*z + 1344. Is ((-74136)/z)/(1/10) a composite number?
True
Let f = 24796 - 3617. Is f composite?
False
Let x(f) = -f**3 + f**2 + 5*f - 6. Let j be x(2). Suppose -b = 4*h + 2840 - 17378, j = 4*h - b - 14542. Is h a composite number?
True
Suppose 27*o = 32*o - 33675. Suppose -o = -l + 4*b, -2*b = -0*l - 3*l + 20195. Is l composite?
True
Suppose 1119978 = -180*t + 198*t. Is t composite?
True
Let i(d) = 2*d**3 + d**2 + d - 1. Let k(z) = 2225*z**3 - 4*z**2 - 10*z - 3. Let v(j) = -3*i(j) - k(j). Is v(-1) composite?
True
Let s(t) = -t**3 - 18*t**2 - 14. Let h(g) be the third derivative of -g**4/3 + 5*g**3/6 + 2*g**2. Let l be h(3). Is s(l) prime?
True
Suppose 4*v = -3*z + 5032291, -6*z + 2*v + 1683065 = -8381567. Is z prime?
False
Let f = -120 + 119. Let s be 3*((-7)/(-3) + f). Suppose -5*v = s*z - 1969, 4*v + z - 1592 = 2*z. Is v a composite number?
False
Let a = -53 - -69. Let g(w) = 44*w - 73. Is g(a) prime?
True
Let h(b) = -307*b**3 - 11*b**2 - 7*b - 143. Is h(-6) a composite number?
True
Let n = -428 + 471. Is n/(-129) - (-144032)/6 composite?
True
Suppose 16*h - 315 = 19*h. Is (-53476)/(-10) - -7*9/h a prime number?
True
Suppose 3*n - 14 + 5 = -3*w, 3*w = -5*n + 9. Suppose -w*b = -5*b + 29270. Suppose -3*v + b = 2*v. Is v composite?
False
Let b(c) = -4*c**3 + 69*c**2 + 33*c + 71. Let a(z) = 2*z**3 - 34*z**2 - 17*z - 35. Let y(d) = -5*a(d) - 3*b(d). Is y(19) a prime number?
False
Let a = -154 - -671. Let i be (-2)/(-6)*(2 + a). Let u = -64 + i. Is u a prime number?
True
Suppose -2*x + 389816 = -52*t + 53*t, 5*x = 5*t + 974510. Is x composite?
True
Suppose -o - 8 = -5*c, 4*c = 4*o + 16 - 0. Is 79*-7*(c - 2/1) a composite number?
True
Let i(d) = -2*d**2 + 2*d + 1. Let k be i(-1). Let u(q) = -31*q - 3 + 2 - 103*q - 4. Is u(k) a composite number?
False
Suppose -l + 4*h = -15, 3*l + 2*h + 14 = 3. Is (1 + 0)/l - (-44564)/13 a prime number?
False
Let q(g) = g**3 + 5*g**2 - 6*g + 3. Let a be q(-6). Suppose -n - 890 = -a*n. Suppose 9*h = 14*h - n. Is h a prime number?
True
Let v = 10704 - 2987. Is v a prime number?
True
Suppose 5*a - 4*f = -1, -4*f + 20 = f. Suppose 3*t + 4 = 5*t + a*g, 2*t + 5*g - 4 = 0. Is ((-367)/2 - -4)/((-1)/t) a composite number?
False
Let d be (3 + 11/(22/140))/1. Suppose 3*i + 2*g = 3*g + 851, g - 569 = -2*i. Suppose -3*q + d + i = 0. Is q prime?
False
Suppose 4940 = -7*q + 22657. Is q prime?
True
Suppose 2*s = 3*k + 4417 + 132434, -k - 136845 = -2*s. Is s a composite number?
True
Let x(z) = 35*z**3 - 10*z**2 + 13*z - 67. Suppose -q - 3 + 5 = -3*w, 2*w = 4. Is x(q) prime?
True
Let w(z) = z**3 + 4 + 5*z + 6 - 5*z**2 - 6 + 3. Let f be w(3). Let s(a) = 59*a**2 + 11*a + 3. Is s(f) a prime number?
True
Let g(o) = 14*o - 17. Let a be (2 - (1 + 2))/((-1)/9). Suppose 18*i = a*i + 45. Is g(i) a prime number?
True
Let a = 524 + -524. Supp