composite number?
True
Suppose 15 + 9 = 6*l. Suppose p - 4*o = 387, l*o - 53 = -2*p + 673. Is p a prime number?
False
Let r be -7 + (-92258 - (-3)/(-3)). Is 3/6 + (r/(-4) - 6) a prime number?
False
Suppose 2268*z - 2232*z + 919729 = 2630521. Is z composite?
True
Let q = 301672 + -61439. Is q composite?
True
Suppose -12269363 = 38*x - 30861205. Is x a composite number?
True
Suppose -2148 = 24*c - 28020. Let j = -587 + c. Is j prime?
True
Let b = 264 + -126. Let u = -17 - -58. Let p = b + u. Is p composite?
False
Is (-2)/(-8) - ((-271478)/8 - 14) a prime number?
False
Let y be (-56)/(-9) + (-46)/207 + -5. Is 22/18 - y - 3791850/(-1350) a prime number?
False
Suppose 5*j = s - 7 - 11, 5*s - 4*j - 153 = 0. Let h = -54556 + 37808. Is h/(-7) + s/77 a composite number?
False
Let j(d) be the second derivative of -3*d**5/20 - 55*d**4/12 - 11*d**3/3 - 7*d**2/2 - 81*d. Is j(-24) composite?
False
Is -1*3 + 12672256/96*12/16 composite?
False
Let c(l) = -l - 10. Let y be c(-16). Suppose -y*a = 5*z - 3*a - 1150, -3*z + 5*a = -724. Is z composite?
False
Let v be 18982*((-10)/(-5) + -1). Let l = -32587 + v. Is (l/5)/((-1)/((-4)/(-4))) a prime number?
False
Let b(f) be the second derivative of 31*f**3/6 + 15*f**2 + 3*f - 23. Is b(5) a prime number?
False
Let b = 15456 - -26267. Is b a prime number?
False
Let z = -222 + 234. Let r(h) = h**3 - h**2 + 8*h - 23. Is r(z) a composite number?
False
Suppose 0 = 5*d + 3*z - 997571, 0 = -5*d + 3*z + 681792 + 315767. Is d prime?
False
Is 21139*(240/15 - 3) a prime number?
False
Let b be (210/(-15))/(972/980 - 1). Suppose 0 = 3*j - 4*q - 9836, -2*j + 16374 = 3*j + 3*q. Let a = j - b. Is a a prime number?
False
Suppose 22*w - 18*w - d - 471 = 0, 5*w + 5*d = 570. Is 13/w + (-11148)/(-27) a composite number?
True
Suppose -5*k - 5*h + 308289 + 140491 = 0, 2*h = -4*k + 359018. Is k prime?
True
Suppose 5444904 = 16*t + 13*t - 5*t. Is t composite?
False
Suppose 22*b - 19053013 = -1582571. Is b composite?
False
Let d be (25/(-10) - 1)*36/(-21). Suppose 2*i - i - 6 = 0. Is (3062/d)/(2/i) a prime number?
True
Let z(u) = 889 + 802*u - 298 - 296 - 290. Is z(8) composite?
False
Let a be 3*(-6)/(-72)*8. Suppose 4*t - 492 = -5*b - 19, 482 = 4*t + a*b. Is t composite?
True
Let b = -52397 + 79758. Is b a prime number?
True
Suppose -1282338 = -j - p, -3*p - 6243964 = -5*j + 167766. Is j composite?
False
Let z be (-8)/(-20) + 4/(-10). Let l be z + ((-13602)/(-21) - 2/(-7)). Suppose 4*f - l = 420. Is f prime?
False
Suppose 0 = 2*n - 9 + 5. Is (0 - 1847)*((3 - 6) + n) composite?
False
Let u(y) = -15*y**2 + 6*y - 7. Let c be u(2). Let r be ((-22)/c)/(2/20). Suppose 2*g = 6 - r, -128 = -4*z + 4*g. Is z a prime number?
False
Suppose 2*y - 315 = 5*s, -4*s + y + y = 254. Let k = s + 34. Let b = 48 + k. Is b composite?
True
Let n = 216808 - 82481. Is n prime?
True
Suppose -3*f - 28 = -2*c - 0*f, 0 = -5*f - 20. Let q be c/(-3) + 2/3. Let i(g) = -19*g**3 + 4*g + 5. Is i(q) a composite number?
False
Suppose -q + 3*q + 4*t = 1212, q - 5*t - 627 = 0. Suppose -q + 51 = -v + 2*n, -v + n + 562 = 0. Is v a composite number?
False
Is (10 - (-796516)/56)*2/6*2 composite?
True
Let y(k) = 165*k**3 + 2*k**2 - 2*k + 55. Is y(6) composite?
True
Let g(z) = -21*z + 4. Let t be g(-3). Let r = -110 - t. Let c = -126 - r. Is c a composite number?
True
Let v be 394/7 + (-4)/14. Let k = 55 - v. Is (-14)/k*(-3)/6*-43 a composite number?
True
Suppose 0 = 75*u - 205936 + 46261. Is u composite?
False
Let t = -357 - -360. Suppose -3*i = 6, 2*q + t*i - 10660 = -0*q. Is q a prime number?
True
Let h = 6349 + -6350. Let t(u) be the first derivative of -394*u**2 + 9*u - 1. Is t(h) a prime number?
True
Let c = 150 + -375. Let u be ((-33)/30*-8)/((-2)/c). Let a = u - 453. Is a composite?
True
Let l(d) = -d**2 + 4*d. Let h be l(3). Suppose 2*q - 3595 = -h*b, b = -0*q - q + 1200. Is b a prime number?
False
Suppose 2*y = 50*u - 45*u - 77139, -4*u - 4*y + 61700 = 0. Is u composite?
False
Let r = -220541 - -324628. Is r a composite number?
False
Let y(a) = a - 2. Let d be y(4). Suppose -4*m - o + 6 = 0, -o + 10 - d = 5*m. Suppose 4 = 2*b, -4*b + 1234 = m*u - 1496. Is u composite?
False
Suppose 4*r - 203904 = 5*q, -4*q = 2*r - 9*q - 101942. Is r prime?
False
Let n(t) = 54*t**3 - 3*t**2 - 15*t + 167. Is n(11) a prime number?
False
Let f = -795 - -791. Is ((-165)/30 - f)/((-3)/2234) prime?
True
Suppose -2*n - 16 = 4*h, 3*h + n + 13 = -n. Let u be h + -1 + 2 + 3. Is u*-47*(1 + -8) a composite number?
True
Let w(p) = 600*p**3 + 3*p**2 + p - 143. Is w(10) composite?
False
Let b(t) = 279*t**2 + 4*t - 2*t - t - 4. Let p be b(2). Let d = -573 + p. Is d prime?
True
Suppose 39*k - 253061 = 171376. Suppose 4*v - 21753 = -i, 5*v - 2*i - k = 16292. Is v composite?
False
Suppose 8*b = 14*b - 718068. Suppose -136*r + 149*r - b = 0. Is r a composite number?
True
Let i(y) = -y**3 + 10*y**2 - 15*y - 1. Let k be i(8). Suppose -k*f + 2*f = -70360. Suppose 0 = -3*n + 11*n - f. Is n a prime number?
True
Let f = -22788 + 51209. Is f composite?
True
Let q(j) = 9*j - 25. Let h be q(21). Suppose 4*m = -0*m - 132. Let r = m + h. Is r composite?
False
Let t(d) = 357*d + 18. Let w be t(7). Let g = -11 - -13. Suppose 1999 = 3*b - 3*z + 472, -w = -5*b - g*z. Is b prime?
False
Suppose 4*a - 42 = -2*a. Suppose 5*f - a = -37. Is ((-2279)/(-6) - -2) + f/(-36) prime?
False
Suppose 0 = 2*b - 2*z - 126, -3*b + 0*b + 5*z = -181. Let h = 4 + b. Let m = h - 34. Is m a composite number?
False
Let c(u) = -100*u + 10. Let f be c(2). Suppose s - 1512 = 5*s + 4*p, -2*p - 2 = 0. Let z = f - s. Is z prime?
False
Suppose 2*y + 4 = -2*k, -k + 26 = 5*y - 5*k. Suppose -3907 - 12721 = -y*s. Is s prime?
False
Let z be (13/2)/(3/(-72)). Let x(n) = 23*n - 118. Let d be x(6). Is z/(-16)*d/3 a composite number?
True
Let v(h) = 290*h**2 + 24*h + 841. Is v(-21) composite?
True
Suppose -237 = -6*m + 93. Is 10/m + 22942/22 a composite number?
True
Let o be 1236/33 - 12/(-22). Suppose 41*a = o*a + 1497. Is a composite?
False
Let n(m) be the second derivative of m**5/10 - m**4/4 - 11*m**3/3 + 17*m**2 - 48*m. Is n(15) composite?
False
Suppose 2*z = 3*u - 33647, 2*u + 43*z - 22434 = 45*z. Is u composite?
False
Suppose -20345537 + 6748175 = -54*h. Is h a prime number?
False
Let w be (1 + 7)/((12 + -6)/(-12)). Let u be (1 + w/8)/(1/(-324)). Let v = u + 427. Is v composite?
False
Let q = 27 - 36. Let z be ((-24)/q)/((-6)/3051). Is 1 + -4 - z/6 a prime number?
True
Let f(y) = 93*y**2 + 15*y + 103. Is f(-15) prime?
False
Let j(r) be the third derivative of r**5/4 - 5*r**4/8 + 5*r**3/6 + 95*r**2. Let b be (-1 - -10) + (-3 - -1). Is j(b) prime?
False
Let i(r) = 14*r**2 - 18*r - 35. Let x be i(-10). Suppose -6*v - 993 = x. Let g = -232 - v. Is g prime?
True
Let h(b) = 1008*b + 456*b + 10 + 1233*b. Let z = 1946 - 1945. Is h(z) a composite number?
False
Let x(z) = -61*z - 244. Let h be x(50). Let q = 12037 + h. Is q a prime number?
False
Suppose -h = 2*x - 20966, 5*x - 52415 = 41*h - 42*h. Is x composite?
True
Let d(q) = 6280*q + 1963. Is d(3) a prime number?
False
Let c be 0 + -7 - 209806/(-23). Suppose -59*i = -54*i - c. Is i prime?
True
Suppose 4*c = -3*o + 121, -2*o - 3*o - 5 = 0. Suppose 5*j = 121 - c. Suppose -j = -s + 109. Is s composite?
False
Let w be (1 + 1)*(-100)/(-40). Suppose 575 = w*a - 3*u, -580 = -9*a + 4*a + 2*u. Is a prime?
False
Suppose -4*s - 34685 = -t, 0 = -58*t + 53*t - 2*s + 173469. Is t a prime number?
True
Suppose 64*g + 36 = 68*g. Suppose 0 = 3*f - 3700 - 14816. Suppose 0 = 13*z - g*z - f. Is z prime?
True
Suppose 2*t + 19*f - 8205 = 16*f, 5*t - 20538 = f. Suppose t = 12*h - 54129. Is h prime?
False
Let p(k) = -437*k**3 + 3*k**2 - 83*k - 123. Is p(-14) prime?
False
Is (6/8)/(2/16*-1) + 133103 composite?
False
Suppose 416*b = 419*b + 30645. Is 4 - 13 - -1 - b composite?
True
Let z(n) = -n**2 - 3*n - 2. Let y be z(-1). Suppose y = -2*j + 4 + 80. Is 11135/15 - (-7)/(j/4) a composite number?
False
Suppose 0 = -m - j + 417846, -324*m + 321*m = -4*j - 1253489. Is m composite?
False
Let x be ((-91)/26)/((-21)/12). Suppose 3*r - 5*h - 2408 = 0, -3*r + 2453 = -x*h + 6*h. Is r a prime number?
True
Is 21442725/60 + 126/(-72) prime?
True
Let f(b) = 17981*b**2 + 582*b + 2351. Is f(-4) a prime number?
False
Is 728/(-2002) + 46230/22 composite?
Tr