ime number?
False
Is 87*38 + (3 - 10) prime?
True
Let j be 9/(-3) - (-16 + -1). Let h = -38 + j. Is 4/h*-3*322 a composite number?
True
Let r be (-3)/(-6)*(4 - 4). Is -211*(6/3)/(-2 + r) a composite number?
False
Suppose 13*w - 29833 = 27484. Is w composite?
False
Suppose -57925 - 24605 = -3*b - 3*u, 4*u - 55022 = -2*b. Is b a composite number?
False
Suppose 2*z + 5*x - 11512 = 9327, 0 = -4*x - 12. Is z composite?
False
Let g = 23472 - 1049. Is g composite?
True
Let v(s) = 2*s**3 + s**2 - s - 323. Let z(j) = -3*j**3 - 2*j**2 + j + 322. Let r(g) = -4*v(g) - 3*z(g). Let c be r(0). Suppose -24*p = -22*p - c. Is p prime?
True
Let w be (-1)/3 + (-37)/(-3). Let h = w - -19. Is h prime?
True
Let y = -2206 + 51195. Is y prime?
True
Suppose 0 = -4*n - 5*d + 9302, 0*n + 5*d - 2333 = -n. Is n composite?
True
Let h = 907 - -994. Is h prime?
True
Suppose 5*v - 5*z = 3*v + 8479, -v = 5*z - 4202. Is v prime?
False
Suppose -236238 + 48028 = -5*b - y, 2*b + 4*y - 75266 = 0. Is b prime?
True
Suppose 2530 = -9*r + 11*r. Suppose -r - 1267 = 3*u. Is 2*-1*u/8 composite?
False
Suppose 0 = 5*b + 4*t - 627, -b + t + 2*t = -133. Suppose m = -u + 36, 0*m = -4*u + m + 144. Suppose -u = -h + b. Is h prime?
True
Is -2*(0 + 79017/(-6)) composite?
False
Suppose -3*u + 3*f - 4*f - 22 = 0, 5 = f. Let j(x) = -2*x - 3. Let g(d) = 2*d + 2. Let a(v) = -4*g(v) - 3*j(v). Is a(u) a composite number?
False
Let p(b) = -b**3 + 6*b**2 - 2*b - 2. Let c = 33 - 31. Let x be p(c). Is 995/x*(-3 + 5) a composite number?
False
Suppose s = -2*s + 351. Let w(l) = 2*l - 3. Let q be w(3). Suppose 6 = -q*b + s. Is b prime?
True
Suppose -19*w + 17920 = 6254. Is w a prime number?
False
Suppose -2*g - 246 = -g - z, 0 = -2*z - 10. Let l = g - -996. Is l a prime number?
False
Suppose -3*w = -31 + 19. Suppose -2*f + 5*f - w*s = 1635, 4*s + 553 = f. Is f a prime number?
True
Let t(u) = 176*u**2 + 28*u + 161. Is t(-6) a composite number?
False
Let g(w) = -140*w - 3. Let v = -46 + 41. Is g(v) prime?
False
Suppose g + 0*i = 3*i + 2, 5*g + 3*i - 10 = 0. Let v(t) = 1 + 3*t**g - 3 + 9*t + 1 - 4. Is v(-7) prime?
True
Suppose 0 = c - m - 7, -12 = 4*m + 8. Suppose -5*p + c*y = -76, -4*p = y - 3*y - 62. Suppose -p*l + 11*l = -471. Is l a prime number?
True
Let s(x) = -4*x**2 + 9*x - 10. Let y be s(8). Let m = -67 - y. Is m a prime number?
True
Suppose 6*v + 637 + 575 = 0. Let u = 3845 + v. Is u a prime number?
True
Let k(a) = 2*a**2 - 2*a - 29. Is k(18) prime?
False
Suppose 0 = -2*b + n - 3 - 3, 2*b = -2*n - 18. Let q be 2 + b/((-10)/4). Suppose q*d - 1813 = -5*h, -3*h = -5*h + 10. Is d prime?
False
Let w(k) = k**3 + 5*k**2 + 3*k + 5. Suppose p = -0*p + 5. Let r(o) = -3*o + 11. Let g be r(p). Is w(g) composite?
True
Let y be 2*5/(30/(-3)). Let d(v) = -832*v + 7. Is d(y) composite?
False
Let w(y) = -777*y - 17. Suppose -8*t - 16 = -0. Is w(t) composite?
True
Let w(f) = 2*f + 13. Let q be w(-6). Suppose 14 = -4*o - 2*s, -5*o - q = -s + 13. Let t(b) = -11*b**3 + 2*b**2 + 8*b + 2. Is t(o) a prime number?
True
Suppose 5*l = 3*l + 10. Suppose 3*v - 3139 = -l*p, -2849 - 304 = -5*p + 4*v. Is p composite?
True
Let d be 1/(-7)*0 - (-5 - 1). Suppose -d*o - 6610 = -11*o. Is o prime?
False
Let i(v) be the first derivative of -v**4 + 5*v**2/2 + 2*v - 14. Is i(-3) composite?
True
Suppose -3*x + 5*j - 16 = -0, -4*x = 2*j - 22. Suppose -281 = t - x*y - 1353, 4*t - 4363 = -3*y. Is t a prime number?
True
Suppose -d + 1804 = 3*y - 0*d, -4*y + 5*d + 2380 = 0. Let t(c) = -61*c + 242. Let b be t(9). Let h = y + b. Is h a composite number?
False
Suppose 3*q + 2*q = 15. Suppose -q*z - 2*h = 4 - 18, 0 = -2*h + 2. Suppose 277 = 5*w - z*a, -w - 2*a = 15 - 76. Is w a prime number?
False
Let d(r) = 582*r - 7. Let s be d(2). Let i = s + -672. Is i a composite number?
True
Let w(v) = -2*v + 12. Let n be w(4). Suppose -3*r + 559 = b, -4*r + 0*b - n*b = -740. Is r a composite number?
True
Let j(q) = -q**3 + 10*q**2 - q + 7. Let d be 15/20*(-16)/(-6). Suppose -6 = -h + d. Is j(h) prime?
True
Suppose -5*f - 268 = -9*f. Is f prime?
True
Suppose -4*g - 24 = 4*r - 0*r, r - 4*g = -6. Is (-196)/r*(-15)/(-10) a composite number?
True
Suppose 5*c = 2*h - h - 5928, -4*c - 17806 = -3*h. Let g = -3809 + h. Is g a prime number?
True
Let s(z) be the second derivative of z**4/4 - 5*z**3/3 + 3*z**2 + 22*z. Is s(7) a composite number?
False
Suppose 1 = -0*p - p. Let u(l) = -598*l - 2. Let a be u(-1). Is p/4 - a/(-16) a prime number?
True
Let w(o) = -2*o**3 - 38*o**2 - 37*o + 13. Is w(-18) a composite number?
False
Suppose 5*y = 2*y + 4*j + 18, -y + 5*j = -17. Let g be 17 + -19 + y/1. Suppose 4*i + u - 351 - 977 = g, -3*i + 5*u + 973 = 0. Is i prime?
True
Let p be 1/(-5) - 18/(-15) - -10095. Suppose p = -3*h + 11*h. Is h a composite number?
True
Is (0 - -1594)*(4/8)/1 composite?
False
Let a(o) = 2*o**2 - 4*o + 1. Let b be 4 - 2 - 1 - -2. Let q be a(b). Suppose -q*y + 2197 = 384. Is y a prime number?
False
Let r(l) = 31*l + 170. Is r(13) a prime number?
False
Let b(g) = 20*g - 10. Let m be b(-7). Let l = m - -399. Is l a composite number?
True
Let s(g) = 9*g**3 + 3*g**2 + g + 13. Is s(4) composite?
False
Suppose -4*w + 3195 = w. Suppose -6*x - w + 1569 = 0. Suppose -3*j = -8*j + x. Is j prime?
True
Suppose -l = -5*x - 13, 5*x + 19 = -l - l. Let f be x - 5/((-10)/12). Suppose -3*o = b - 34, 2*o + f*b = 6*o - 67. Is o composite?
False
Suppose 5*g = 4*g - 8. Let q be 1738/3 - g/12. Suppose -5*f + 5*v = -f - 469, q = 5*f - 5*v. Is f prime?
False
Let f = -12564 + 8743. Is (f/(-5))/(1/5) composite?
False
Suppose -5*u - 2*z - 111 = 0, u + 6 + 6 = 3*z. Let f = u + 17. Is (-3 - -9) + (-4)/f a prime number?
True
Is ((-9)/((-27)/2))/((-14)/(-39963)) a prime number?
False
Suppose -2*y + 5*p - 2*p = 5, -4*y = -4*p + 4. Let s(d) = 27*d**2 - 2*d - 1. Is s(y) a prime number?
True
Let a = -88 + 111. Let t = -7 + 37. Let j = a + t. Is j a composite number?
False
Suppose 4*v - 2*v = 2*c - 14, -3*c + 2*v = -21. Suppose w + c = 1. Is (-139*1)/(w + 5) composite?
False
Suppose -q + 2*q = 14. Suppose q = 5*f - j - j, -5*j = -2*f - 7. Suppose 5*p - 2*z = 435, 2*p - f*z - 125 - 65 = 0. Is p a prime number?
False
Let y(t) = 34*t**2 + 6 - 5*t - 2*t + 7 - 31*t**2. Is y(-6) a prime number?
True
Let w(z) be the third derivative of 169*z**6/120 - z**5/30 + z**4/24 - z**3/6 + 3*z**2. Is w(2) a composite number?
True
Let l = 1853 + 2238. Is l prime?
True
Let h(l) = 202*l**3 - 2*l**2 + 2*l - 3. Let n be h(3). Suppose a - 651 = 3*p - 4725, 0 = 4*p + a - n. Let z = p - -538. Is z prime?
False
Let t be (3 - 1)*(-2938)/(-8)*2. Suppose 0 = 2*n - 549 - t. Is n composite?
False
Let h(w) = -56*w**2 + 7*w + 3. Let z be h(6). Let s = z - -2884. Suppose 291 = 4*u - s. Is u a prime number?
False
Let b be 2 - 0 - (7 + -6). Let r be (2 - 4) + (b - -1). Suppose -3*m + 1021 = 4*a, 3*m + 533 = 2*a - r*m. Is a prime?
False
Let v(o) = -o**2 + 11*o - 10. Let f be v(7). Let b be f/(-15)*5/1. Is (2/((-4)/b))/1 prime?
True
Let d = 0 + 2. Suppose 3*j + 235 = -d*j. Let g = j - -126. Is g prime?
True
Let j be 102 + (-5)/(-5)*4. Suppose 0 = 5*m - 3*m - j. Is m a prime number?
True
Let i = -6974 + 14673. Is i prime?
True
Suppose -6 = 3*l + 3*s, -3*l - 4*s - 14 = -2*l. Suppose -3*h + 5 = -l*h. Let q(p) = 8*p**2 + 6*p - 7. Is q(h) composite?
False
Let u be ((-7)/(-2))/((-10)/(-120)). Suppose d - 5*d + 48 = 0. Is d/u - 2250/(-14) composite?
True
Suppose 1 = 2*d - 3. Suppose 2*f = -d*f + 12. Suppose -3*w - w + 41 = p, 155 = f*p - 4*w. Is p a prime number?
False
Suppose 40 = 5*l - 2*s, -5*l = -2*s + s - 35. Suppose 6*c - c = 3*y - 160, 2*y - 107 = 3*c. Suppose p + y = l*p. Is p a composite number?
False
Let y(z) = -z**3 + z**2 + z + 1. Let d be y(2). Let m be (-1 - (0 - d)) + 4. Suppose 3*w = 2*w - x + 485, 0 = m*x. Is w a prime number?
False
Let v be 965*(1 + (-4 - -2)). Let i = v + 1408. Is i a prime number?
True
Suppose -243 = -5*l - 3*p, -26 = -l - 5*p + 5. Let h be l/12 - (-6)/(-24). Is 1 + (1 - h) - -141 a prime number?
True
Let q(n) = -115*n - 8. Let l = 15 - 15. Suppose -p + 16 = -4*v, l = 5*v + p + 9 + 2. Is q(v) a prime number?
True
Suppose 0 = 5*h + 2 - 22. Suppose 3*x - 3 = 0, -h*x = 6*n - n - 1359. Let s = n + 46. Is s a prime number?
True
Suppose 3*z = 12, 11*f - 16*f = 2*z - 42973. Is f composite?
True
Let r(l) = -