composite number?
False
Suppose f = -20*n + 17*n + 9217, 5*n - 15359 = -3*f. Is n a prime number?
False
Let x(a) = 1004*a - 8. Let g be x(-4). Is g/(-12) + 2 - (-2)/(-6) composite?
False
Let w(r) = -r**3 + 2*r**2 - 13*r + 88337. Is w(0) composite?
False
Let t(h) = 1360*h - 79. Is t(17) composite?
False
Suppose -310*w = -316*w + 10938. Is w a composite number?
False
Suppose -2*g - 2*t = -756, 8 = 5*t + 23. Is g a composite number?
True
Suppose y - 13 = -2*i, -10 = 2*y - 2*i - 3*i. Suppose 3*k - 2*k = y*t + 1302, -5*t + 6450 = 5*k. Let z = k - 879. Is z a prime number?
False
Suppose 15 = -3*i, -2*i - 5 = -5*l + 3*i. Is l/(-18) - (3 - 24920/45) composite?
True
Suppose 0*y + 801 = y. Suppose 0 = w + 2*q - y + 254, 5*q = -2*w + 1089. Is w prime?
True
Suppose 3*v - 3*z + 1041 = 0, 3*v + 2*z - z + 1025 = 0. Let c = v - -614. Is c prime?
True
Suppose m - 190 = 3*h + 47, -147 = 2*h + 3*m. Let p = h - -433. Suppose -3*o - y = -p, -4*o = -3*y - 2*y - 467. Is o a prime number?
False
Suppose -5*q - 14 = -54. Suppose -m - q = -5*m. Suppose m*k = 6*k - 104. Is k prime?
False
Let l(c) = 3*c - 3 - 2*c + 3*c. Let z be l(5). Suppose 13*i = z*i - 356. Is i composite?
False
Let b = -126 + 90. Let h be (-1244)/b*3*3. Suppose -3*s + 3*i = -s - 620, -s + 2*i = -h. Is s a composite number?
False
Suppose 13825 = 5*c - w, 5*c - 13795 = -5*w - 0*w. Let j = c - 495. Is j composite?
False
Suppose 2*r + 982 = -826. Let l = r - -1446. Suppose -c + l = -5*t, -3*t = 5*c + 1055 - 3849. Is c a composite number?
False
Suppose 1122 = -14*r + 16*r. Let u = r + -350. Is u a prime number?
True
Suppose r + 2 - 6 = 0. Let k be ((-76)/10 + 0)/((-1)/25). Suppose -r*z = -2*o - k, 2*o + 0 + 6 = 0. Is z prime?
False
Suppose 16082386 - 3081651 = 55*n. Is n a composite number?
False
Let x be 5 - (-1 + 4 + -1). Let y(a) = 2 + 0*a**2 + a**2 + 3*a**2 - a**2 - a. Is y(x) composite?
True
Let s = 757 + -1154. Let u = s - -594. Suppose 1452 = 5*q + u. Is q a composite number?
False
Suppose 0 = -3*p - p + 5*m - 4, 12 = 3*m. Suppose 2173 = p*o + 2*f - 741, -3*o + 3*f + 2208 = 0. Is o a composite number?
True
Let b(n) = -n**3 + 21*n**2 - n + 23. Let y be b(21). Is (-1823)/2*((y - 9) + 5) a prime number?
True
Suppose -5*b + 47 = 22. Suppose b*l + 8*l = 1703. Is l a prime number?
True
Is 17025/9 - 3*8/(-18) a prime number?
False
Suppose r + 704 = 3*n - 1200, -5*r + 20 = 0. Suppose 0 = 2*k + k + n. Is 2 + -1 + (8 - k) composite?
True
Let g be 1 + ((-1)/(-1) - (4 - 8)). Suppose -g*m + 538 = -4*m. Is m a composite number?
False
Suppose 21587668 = 142*x - 1383814. Is x composite?
False
Let l be 26*28*(0 + -2). Let k = l - -976. Let h = k + 893. Is h a prime number?
False
Is 57/(-133) + 1193680/28 prime?
False
Suppose 68995 = 5*j + 7*z - 6*z, -j - 3*z = -13799. Is j a prime number?
True
Let j = -195 - -37. Let o = j - -1417. Is o composite?
False
Suppose 27 = 4*j + 3*u, 4*u + 35 = 5*j + 8*u. Suppose 1019 = 3*y + x, -2 = -j*x - 14. Is y prime?
False
Suppose -5*v - 162 + 12447 = 4*o, -4*v = -5*o - 9787. Is v prime?
False
Let u = 16 - 16. Suppose 5*m - 16 = -4*f + 17, u = -f + 4*m - 18. Suppose 0*n + 4*n - c - 362 = 0, -3*n + 277 = f*c. Is n a prime number?
False
Let i(u) = -5*u + 4*u + 2*u - 47*u**2 - 6*u. Let m be i(-4). Let t = m + 1221. Is t composite?
True
Suppose -22464 - 195041 = -5*r. Is r a composite number?
True
Suppose 5*y = 6*p - 2*p - 34, -3*p - 2*y + 14 = 0. Suppose v - 304 = 3*j, 4*j - 1296 = -p*v + 2*v. Is v prime?
False
Suppose 12*v - 331791 - 32445 = 0. Is v composite?
True
Let i(q) = 2*q**3 - 14*q**2 + 13*q + 6. Let k be i(16). Suppose -2*d = -13848 + k. Is d a prime number?
True
Let c(t) be the third derivative of -1/12*t**5 - 3*t**2 + 0 - 1/60*t**6 + 1/24*t**4 + 7/6*t**3 + 0*t. Is c(-5) a prime number?
True
Let v = 43275 - 20024. Is v prime?
True
Suppose -3*z + z = -2*a + 14, -3*a - 3*z - 9 = 0. Is (-5)/a*(10 + -20) prime?
False
Let f(g) = 9 + 2*g**2 - 4*g - 33 + g**3 - 3*g**2 - 9*g**2. Is f(11) prime?
True
Let u be -12*((-20)/12)/5. Suppose 1800 = 2*z + p, 0*z - 2*z - u*p + 1806 = 0. Is z a prime number?
False
Let m(n) = -n**3 - 3*n**2 + 2*n + 4. Let x be m(-3). Let i be (-38)/(-57)*15/x. Is 134 + (-5)/(i/(-3)) a prime number?
True
Let b be (-1)/(2/(-16)) + -3. Suppose -b*y + 2 = -3*d + 17, -5*d + 12 = -4*y. Suppose j + 0*j - 251 = d. Is j prime?
True
Suppose 15113 = 5*m + 2*m. Is m composite?
True
Suppose -m - 66627 = -2*u, u - 6*m - 33301 = -8*m. Is u composite?
False
Let s = 6136 - 3317. Is s composite?
False
Let b = -9257 - -69208. Is b prime?
True
Let i = 17 - 15. Suppose 5*u - 3 = i. Is 3/(-12)*-1324*u a composite number?
False
Let v(b) = 495*b + 3. Let o be v(4). Let q = o - 132. Is q a composite number?
True
Let x = 141 - 989. Suppose 2*a - 7066 = -4*r + a, 5*a = -3*r + 5291. Let t = x + r. Is t prime?
True
Let b be (9/(-12))/(2/(-8)). Suppose -4*l + b*a + 4772 = 0, -4772 = -3*l - l + 5*a. Is l prime?
True
Let a be (-4 + 1)*(-156)/18. Let w = 421 - a. Is w a prime number?
False
Is 26/104 + (-16423)/(-4) composite?
True
Suppose 10*d - 13*d + 38001 = 0. Is d a composite number?
True
Let k = -2161 - -8799. Is k a composite number?
True
Suppose 5*v - 3*j - 19523 = j, 0 = 3*v + 4*j - 11701. Let t = 3038 + v. Is t a composite number?
True
Suppose 4*p = -p + 35. Let l = -2214 + 1327. Is 4/14 - l/p a composite number?
False
Suppose 4*z + 3*h = 97567, -3*h - 2*h = 15. Is z a composite number?
True
Suppose 0 = 3*f - 39*f + 617292. Is f a prime number?
False
Suppose 55 + 194 = -b. Let j = b + 368. Is j composite?
True
Let y(g) = g**2 + 5*g + 5. Let k be y(5). Suppose -i + 8*a = 9*a + 6, i + 3*a + 2 = 0. Let p = i + k. Is p a composite number?
False
Let x be 1 - (2 + (2 - 0)). Let r = -10 - x. Let p(y) = -2*y**3 - 11*y**2 - 8*y. Is p(r) a composite number?
True
Let f be ((-16)/6)/((-28)/42). Suppose 532 = f*r - 4984. Is r a composite number?
True
Let l be (-180770)/(-7) + 12/(-42). Is -3 + l/28 + 2/(-7) a prime number?
True
Let l be -2 + ((-178)/(-4))/((-3)/(-36)). Let c = -375 + l. Is c prime?
True
Suppose 4 = w - 5*v, 5*v = 4*w - 23 + 7. Suppose z + z - w = 0. Suppose 53 = z*h - 229. Is h a composite number?
True
Is (32/(-48))/((-4)/23934) prime?
True
Let b(u) = -18*u**3 + 2*u**2 + 4*u - 6. Let m be b(4). Let z = 1572 + m. Suppose a - y = -130 + z, 0 = -y + 5. Is a a composite number?
False
Let n(h) = -93*h + 7. Is n(-6) a prime number?
False
Let w(f) = -64*f**3 + f**2 + f + 1. Let u(x) = 2*x**3 + x**2 + x. Let i be u(-1). Let r be w(i). Suppose r = 3*s + 2*s. Is s a composite number?
False
Let k = -85 + 77. Is ((-2252)/(-8))/((-4)/k - 0) a prime number?
True
Let f be 2*(-5)/35 + 66/(-14). Is -1 - (-35 - 0/f) composite?
True
Suppose y = -4*u - y + 16300, -5*y + 16312 = 4*u. Is u prime?
True
Suppose 0 = 46*t - 51*t + 185315. Is t a prime number?
False
Suppose -v + 15 = 2*v. Suppose 4*f + v*p = 992, 3*f = 4*p + 523 + 252. Is f prime?
False
Suppose -14*i + 12*i - 310527 = -5*l, 5*l + 5*i = 310555. Is l composite?
True
Suppose 16034 = 17*m - 18017. Is m a composite number?
False
Let s(q) = -77*q**3 - 3*q**2 + 4*q - 7. Let c be s(2). Let g = -16 - c. Is g a prime number?
False
Let y = 3189 + -1828. Is y a prime number?
True
Suppose -r + y + 926 = 0, 3*r + 0*r - 2784 = -3*y. Suppose -5*i + 883 = -r. Is i a prime number?
False
Suppose r + 120339 = 6*r + 4*t, -2*r - 2*t + 48134 = 0. Is r a prime number?
True
Is 6/(376475/(-41833) + 9) a prime number?
False
Let f(h) = h - 18. Let v be f(24). Let o(m) = 139*m + 53. Is o(v) a prime number?
True
Suppose -39*d + 45246 + 118593 = 0. Is d prime?
True
Let b(d) = 6503*d + 88. Is b(5) a prime number?
True
Let n be 244*5/(-10)*(3 + 2). Let t = 1197 + n. Is t a composite number?
False
Let v = -19 - -19. Suppose -3*f + 256 - 19 = v. Is f prime?
True
Let v be -3 - (1 + -3)/2. Let f = v + 5. Suppose -f*n = 2*n + 2*b - 593, -4*b + 591 = 5*n. Is n composite?
True
Suppose -2*f - 2*h = -0*h - 2, -4*f - 5*h - 1 = 0. Suppose f*w = w + 95. Is (w/5)/((-1)/(-5)) a composite number?
False
Let d = -248 + 4095. Is d a composite number?
False
Let w be 15*2/(-12)*(8 + -4). Let y be 1104/5 + 2/10. Let d = y + w. Is d composite?
False
Let x = 3653 + -6553. Let k = 6537 + x. Is k a composite number?
False
Let v(u) = -11*u**3 + 4*u**2 - 2. Let q(k) = k**3 - 1. Let o(y) = 4*q(y)