composite?
False
Suppose 256*t - 258692784 = -80*t. Is t prime?
True
Let m be 4/2 + 588/(-4). Let t = 204 + m. Is t a prime number?
True
Let k(n) = n - 8. Let o = 47 + -35. Let c be k(o). Suppose 2*z - 3390 = -c*z. Is z prime?
False
Let z = 9 + -9. Let u(s) = -4*s**3 + z*s**3 + 3 + 4*s**2 - 6. Is u(-4) composite?
False
Let t(r) = 481*r**2 + 7*r - 13. Let u be t(5). Suppose u + 79288 = 15*z. Is z a composite number?
False
Let y(b) = b**3 + 5*b**2 + 10*b - 3. Let c be y(-11). Suppose -2*r - 864 = -4*o - 6500, -4*r + 4*o = -11260. Let h = c + r. Is h a composite number?
False
Suppose -5*a - 5*m + 23675 + 53020 = 0, a = 2*m + 15351. Is a a composite number?
True
Suppose -2*p + 4*o + 21 + 7 = 0, -3*p + 3*o + 51 = 0. Is p/(-5) + -2 - -668 composite?
True
Suppose -34*l + 151645 = -29*l. Suppose -88*s = -75*s - l. Is s a composite number?
False
Suppose -10*p + 5*p + 10 = 0. Let s = p - 3. Is (-8)/4*s + 953 a composite number?
True
Suppose -3*p = -2*p - q + 1, 4*p - 5 = q. Is 3/((-39)/p) + 4324437/1521 a prime number?
True
Let y be 1/((-2461732)/(-492346) + -2 + -3). Suppose 30*t - 476047 = y. Is t composite?
True
Let a(m) = -14*m**2 - 73*m - 8. Let c be a(-5). Suppose c*r - 8*r = -t + 1198, -5*r - 2387 = -2*t. Is t a composite number?
False
Let k = 28195 + 55112. Suppose k - 262584 = -7*a. Is a a prime number?
False
Let w(r) = -r. Let f(d) = -25*d**2 + 42*d - 10. Let l(v) = -f(v) - 6*w(v). Is l(-13) prime?
True
Suppose 5*j - 30978 = -3*y, -y + 12993 = -3*j + 2667. Let k = y + -1397. Is k a composite number?
False
Let i(d) be the third derivative of 1/60*d**5 - 18*d**2 + 5/3*d**3 - 7/8*d**4 + 0*d + 1/120*d**6 + 0. Is i(9) composite?
False
Suppose 45*f = -14*f - 57*f + 27343636. Is f composite?
True
Let z(t) = -t**2 + 14*t - 28. Let j be z(12). Let b be 1*(j + 10)*9. Suppose n - b - 341 = 0. Is n a composite number?
True
Is 12/54 + (9/108)/((-9)/(-615684)) composite?
False
Let v(j) = -20*j**3 - 20*j**2 - 5*j - 1 + 12 + 19*j**3. Let l be v(-20). Suppose l = 7*h - 6*h. Is h prime?
False
Let z = 226 - -208. Let f = 116 - z. Let c = f + 445. Is c prime?
True
Let a = -2788 - -3329. Is a a composite number?
False
Let c = -205 + 236. Suppose -28*j - 1503 = -c*j. Is j composite?
True
Suppose 0 = 5*i + 10, -g + 2*i + 4625 + 39 = 0. Suppose 690 = 28*s - 27*s. Suppose g = 10*u + s. Is u prime?
True
Let u be (-3472)/(-5) + 32/(-80). Let g = u - -1639. Is g prime?
True
Is 15/6*(163127 + -13 + -20) a prime number?
False
Let n = 751711 - 382194. Is n a composite number?
True
Let t(u) = 1. Let o(l) = 37*l + 5. Suppose 3*n = 0, 5*b + 4*n = b - 4. Let i(a) = b*o(a) + 3*t(a). Is i(-4) a prime number?
False
Suppose -7394 - 1381 = -5*q. Suppose 0 = -5*l + 3290 + q. Is l a composite number?
False
Let c be (36/(-42))/(1/14). Let u(i) = 69*i**2 + 9*i - 25. Let b be u(c). Suppose -3*q - 1505 = -d + 1766, 0 = 3*d - 4*q - b. Is d a prime number?
False
Let r be (95/(-2))/(-5) - (-3)/(-6). Suppose -r = 4*h + 3, -2*y + 4044 = -2*h. Let u = 3196 - y. Is u prime?
False
Let n = -3278 - -4746. Let s = n - 833. Is s a prime number?
False
Suppose 29*k = -22197 + 3231. Let u = k - -1792. Is u a composite number?
True
Suppose 4*x = 2*x - 2*k + 1208, 5*x = 4*k + 2984. Let z = x + -1040. Is (z/60)/(2/(-51)) a composite number?
True
Suppose 0 = -75*f - 12*f + 16215 + 80442. Is f composite?
True
Suppose -16*r + 1467081 = -54983. Is r a prime number?
False
Suppose 9*g - 728777 + 229016 = 0. Is g prime?
True
Let h = 149 + -141. Let c(w) = 188*w - 7. Is c(h) prime?
False
Let k(s) = 4*s**2 + 3*s + 1. Let y be k(2). Is (5191744/(-48))/y*3/(-2) composite?
True
Let v be (-3)/((132/(-8))/(-11)). Is (2820/(-8 - -2))/(1*v) a composite number?
True
Suppose 4961*p - 4901*p = 51296460. Is p prime?
False
Is ((-6703164)/54 - -22)*((-90)/8)/5 a composite number?
True
Is 1247008 + (14 - -9) + 8 prime?
False
Is -2*(-5)/20*(7 + 8203831) prime?
True
Suppose -32569 + 8586 = -4*g - 3*q, -12 = 4*q. Is g a prime number?
False
Suppose -218761 = -y + 139*f - 144*f, -4*y - f + 874930 = 0. Is y a prime number?
False
Let a be 270/20 + (-9)/6. Is a/102 - (-18477)/17 a composite number?
False
Suppose c + 5*l + 6 = -0*l, 3*l - 170 = 5*c. Let d = c - -31. Suppose d*u - 267 = -u - 2*r, 2*u + r - 522 = 0. Is u prime?
False
Let j(a) = a**3 + 5*a**2 + 4*a + 2. Let g be j(-4). Suppose 0 = -4*v + g*f + 322, 0*f = 5*v + f - 399. Let y = v - -47. Is y a composite number?
False
Let i = 35565 - 25111. Is i composite?
True
Suppose 3*v + 6*v - 27 = 0. Let m be (1307 - (v - 6))/1. Suppose -2*h + 6888 = m. Is h composite?
False
Let p(z) = z**3 + 6*z**2 + 20*z - 18. Let f(n) = -n**2 - 16*n - 48. Let c be f(-9). Is p(c) a composite number?
True
Let h = -58 + 54. Let s(f) = 206*f**2 + 7*f + 41. Is s(h) a prime number?
False
Let n(i) = -6*i + 144. Let r be n(23). Is 3/r*-3*11422/(-3) a composite number?
False
Let i(j) = -27490*j + 597. Is i(-2) composite?
True
Suppose -4*d + 3*k = -341902, 17*k - 341872 = -4*d + 15*k. Is d a composite number?
True
Suppose 1610779 = 4*w + 28*q - 23*q, 6 = 2*q. Is w a prime number?
True
Suppose 81552 = -6*b + 658374. Is b a composite number?
False
Let r(d) = -145*d**3 - 2*d**2 + 12*d + 21. Let h be r(-4). Let k = 15714 + h. Is k composite?
True
Let i = 166 + -120. Let l = 51 - i. Suppose 5*d + 409 = l*b - 4*b, 5*d = 5*b - 2085. Is b prime?
True
Let o = 29909 - -30188. Is o prime?
False
Let z = 216 - 203. Suppose -7*j = -z*j + 5442. Is j a composite number?
False
Suppose 0 = 3*v + 5*m - m - 16, 0 = 3*v - 4*m - 32. Suppose 0 = v*a - 7*a - 5*y - 64, -5*y + 10 = 0. Is a a composite number?
True
Let l(u) = u + 0*u + 4*u - 8*u + 20. Let h be l(6). Is ((-3812)/(-12))/((2/3)/h) prime?
True
Let i = 894 + -888. Let k(r) = r**3 - 6*r**2 + 17*r + 8. Let d(b) = b**3 - 6*b**2 + 18*b + 9. Let f(v) = -3*d(v) + 4*k(v). Is f(i) a prime number?
True
Is ((-4)/50)/(52/(-195)) - 24787683/(-90) prime?
True
Suppose 0 = -5*s - 10, -3*h + 9111 = -3*s - 13020. Let k = -3467 + h. Suppose -11507 = -3*m - k. Is m a composite number?
True
Let o(w) = 85*w**3 + 56*w**2 + 14*w + 15. Is o(16) composite?
True
Suppose -u - 10 = 4. Let o be 8/u*(14/(-4))/1. Suppose -o*m + 4*g = -408, 0 = -3*m + m - 4*g + 448. Is m prime?
False
Let n = 7389 + 9770. Is n a composite number?
False
Let h(o) = -6*o**2 + 5*o + 9. Let v(p) = -13*p**2 + 9*p + 19. Let r(m) = 5*h(m) - 3*v(m). Suppose 4*b = k - 3, 0*b + 8 = -4*b. Is r(k) a composite number?
False
Suppose -12*a + 97007 = -23*a + 12*a. Is a a composite number?
False
Suppose l + 4 = 4. Let x be l + (-59)/(3 + -4). Suppose 2*t - 171 = x. Is t a prime number?
False
Suppose -246*b - 70*b + 941366 = -54*b. Is b prime?
True
Is (-2 + 1)/(5/5) - (-590716 + 12) prime?
False
Let h(g) = -g**3 + 11*g**2 + 4*g - 13. Suppose -18*i = 5*i - 230. Is h(i) composite?
False
Suppose 40*u + 254574 = 3*i + 39*u, -2*i + 3*u = -169723. Is i composite?
False
Suppose 0 = 5*t - 0*t, 0 = 2*z - t - 29548 - 851146. Is z a prime number?
True
Let b = -518092 + 1611659. Is b composite?
True
Let t(w) = 1439*w**2 + 85*w + 2383. Is t(-22) a prime number?
True
Suppose 103*l - 3105 = 94*l. Let p = -89 - -25. Let d = l - p. Is d a prime number?
True
Let o(c) = -c**3 + 3*c**2 + 16*c - 48. Let b be o(4). Suppose 19351 = 2*p - 3*w - 7371, -5*p + 4*w + 66819 = b. Is p a prime number?
True
Let o(i) = -113 + 11*i - 13*i + i**2 + 120 - i**3. Suppose 32 + 3 = -5*f. Is o(f) a composite number?
True
Let i be (-10)/(-55) + 13856/22. Let k = 181 + i. Suppose 0 = -2*q + 2425 - k. Is q a composite number?
True
Let m(n) = -3069*n + 4529. Is m(-18) prime?
True
Let i be 46/(-4) + (-90)/(-60). Let d(f) = 11*f**2 + 25*f + 37. Is d(i) prime?
True
Suppose -11 = -6*y + 2*y - 5*n, -4*y = -4*n - 20. Suppose 4*g + 0*g - 2*k - 8710 = 0, -4*k = y*g - 8728. Is g composite?
False
Let m = 200 - 132. Let h = -65 + m. Suppose x - 3*g = -2*g + 159, h*x - 477 = 4*g. Is x a composite number?
True
Is (5 + -1 - -1)/(44596/4054 - 11) a prime number?
False
Let x = 26434 + -11421. Suppose -3*i + x = -2*i. Is i composite?
False
Let a be (23/2)/(0 + (-1)/(-66)). Let g = a - 386. Is g prime?
True
Let a be (-2)/(16/(-8708))*(-24)/(-14). Suppose 2*g + 5*n - a - 2010 = 0, -2*g + 3888 = 2*n. Suppose -g = -5*h + p, -h + 1155 = 2*h + 4*p. Is h composite?
False
Let b(t) = 13*t**3 - 38*t**2 - 14*t