True
Let f(u) = 14*u**3 + 4*u**2 + 10*u - 17. Is f(7) a composite number?
False
Suppose 2*s - 3*u - 1605 = 53668, -5*s + 138202 = -u. Is s composite?
True
Is (13 - 14)/(14254/(-4751) - -3) a prime number?
True
Suppose -3*g = 2*b - 14113, 3415 = -2*g - 2*b + 12825. Is g composite?
False
Let s = 44 - 45. Is ((-2834)/(-65))/(s/(-5)) composite?
True
Suppose -3*q + 3432 = -2*v + 1283, -q + 3*v = -728. Is q a prime number?
False
Let i(l) = -l**3 - 2*l**2 + 4*l + 2. Let o be i(-5). Let b = 88 + o. Is b composite?
True
Suppose d - 211 - 490 = 0. Is d a composite number?
False
Suppose -5 = 3*v - 32. Suppose -v*x = -6*x - 6609. Is x a composite number?
False
Suppose 0 = -3*q - 2*p - 1, 5*p = 3*q + 2*p - 24. Suppose -3*l = -q - 6. Is 2637/l*(-1)/(-3) a composite number?
False
Let l(g) = 238*g**3 - 3*g**2 - g + 3. Let x be l(-2). Let m = x - -3310. Is m a composite number?
False
Suppose -g + 834 = 2*g. Suppose 0 = 3*j + g + 349. Let s = -147 - j. Is s a composite number?
True
Let m(w) be the second derivative of -w**5/60 - 5*w**4/12 + 2*w**3/3 - 5*w**2/2 + 3*w. Let k(b) be the first derivative of m(b). Is k(-9) prime?
True
Suppose -18*j = -19*j + 2*c + 59977, -4*j = 4*c - 239968. Is j a composite number?
True
Is (-813618)/(-36) - (-5)/2 a prime number?
False
Let v(o) be the second derivative of 19/6*o**3 - 13/2*o**2 + 12*o + 0. Is v(10) a prime number?
False
Suppose 0 = 69*n - 1352770 - 5660459. Is n composite?
False
Let o(s) = s**3 + 4*s**2 - 4*s + 7. Let k be o(-5). Suppose -k*u + 6 - 2 = 0. Is (1/(-3))/(u/(-738)) prime?
False
Let g(j) = -2502*j - 47. Is g(-7) a composite number?
False
Suppose -1065 = -t + 2730. Is ((-2)/(-6))/(5/t) composite?
True
Suppose -1839 = 2*t - 5*t. Is t composite?
False
Suppose -4*s + 2 = -0*s - 2*n, 3*n - 15 = -3*s. Let u(a) = 0 + 2 + 6*a**s + 2*a + 4*a**2 - 4*a**2. Is u(-2) composite?
True
Let s = 13429 + -5594. Is s a composite number?
True
Is 89837/15 + (-17)/((-3315)/(-26)) a composite number?
True
Let z = -95 - -230. Suppose d = 4*d - z. Is (-5)/(d/21)*-123 composite?
True
Suppose -3189 = 3*g + 5*m, -5*m + 2734 = -4*g - 1553. Let s = 83 - g. Is s composite?
False
Suppose 78*m - 246803 - 302239 = 0. Is m a composite number?
False
Suppose -5*h + 15 = o, h - 87 = 2*o - 5*o. Suppose 2*d = -2*r - o, -3*d = 7*r - 2*r + 43. Let p = 126 - d. Is p prime?
False
Let j(p) = 3238*p**2 + 4*p + 2. Let u be j(2). Let k = u - 9131. Is k prime?
False
Let m(v) be the first derivative of 2*v**3/3 - 22*v**2 + 13*v - 21. Is m(23) a composite number?
False
Let f = -33 - -68. Is 14294/f - 6/(-10) a composite number?
False
Let c = -2 + 5. Suppose -d + c*s = -s - 4, -3*d + s + 12 = 0. Suppose -5*u = -2*x + 830, 3*x - d*u - 1660 = -x. Is x prime?
False
Suppose 17 + 55 = 4*l. Suppose -16*d = -l*d + 332. Let q = 675 - d. Is q composite?
False
Suppose -b + 0*b + 11 = 0. Let d = b - 8. Suppose 4*s - 4*k - 324 = 0, s - d*s + 148 = 5*k. Is s composite?
False
Let o be (-115)/(-20) + 1/4. Let m be (-9)/(-27) + (-2)/o. Is (1 + m - 3) + 87 a composite number?
True
Suppose 9*h = 11*h - 14. Let t = 11 - h. Suppose 953 + 562 = 5*u + 5*r, -t*u + 1204 = 2*r. Is u a prime number?
False
Let b be 1 + (5 - 4) - -59. Let j = b - -496. Is j prime?
True
Let q be 0/2 - -3 - 3. Suppose -2 = 3*o - l - 8, o - 3*l - 2 = 0. Is (o + q)*1043/14 composite?
False
Suppose 0 = 11*f - 6*f - 40735. Is f prime?
True
Suppose 2 = s - 2*w - 4, 0 = -s - 5*w - 1. Suppose 3*l + 0*l + 5143 = 2*h, -h + s*l + 2559 = 0. Is h a prime number?
True
Suppose 4*m + 1355 = 5*m. Suppose 5*f - 2082 = 3*p + m, -5*f + 3421 = p. Is f prime?
False
Let o = -9 + 39. Suppose 4*l - 4198 = -o. Is l a composite number?
True
Suppose -24*h + 129524 + 67060 = 0. Is h prime?
True
Suppose 13685 = 5*p - 5*o, 0*p + o = 3*p - 8201. Let f = p - 1618. Is f a composite number?
True
Suppose -4*o - 34272 = -8*o. Let t be 5*(o/15)/3. Suppose -z - t = -9*z. Is z prime?
False
Let a be (-6519)/12 - (-3)/(-4). Let z = a + 983. Is z composite?
False
Let k = 756 - 531. Let w = k + -76. Is w prime?
True
Suppose 2*o = 2*g - 1 - 5, 5*g + o - 33 = 0. Suppose -217 = g*f - 7*f. Suppose -5*h + f = -418. Is h a composite number?
False
Suppose 3*k - 6*k = 0. Suppose k = 4*h + 491 - 1527. Is h composite?
True
Let q(n) = -639*n - 19. Is q(-2) prime?
True
Let x = 35 - 30. Let k(z) = 5*z**3 - 3*z**2 + 9*z - 12. Is k(x) prime?
False
Let f(g) = -95*g**2 - 7*g + 10. Let h be f(8). Let n = -2485 - h. Is n composite?
True
Suppose -28 = 8*g - g. Is 307 + (0/g)/(-4) a prime number?
True
Let x(o) = o**2 + o - 1. Let g(j) = -4*j**2 - 7*j + 5. Let s(p) = g(p) + 3*x(p). Let l be s(-4). Suppose 3*f - 441 = -3*m, 4*m - 560 = l*f + f. Is m composite?
True
Let c be -5 - -13 - (-1 + 4). Let h(w) = -46*w - 8. Let j be h(-13). Suppose c*s - j = -5*m, 0*m = 5*m - 5*s - 640. Is m composite?
True
Suppose 4*a - 710 = 9*a. Let y = 319 + a. Is y composite?
True
Suppose 2*t - 5*t + 60 = 0. Suppose 0 = -3*p + h - 3 + 5, 4*p + 3*h = t. Is p + -2*18/(-3) prime?
False
Let u = -80 - -22. Let g = u + 192. Suppose 5*m - 591 = g. Is m composite?
True
Let a(j) = 4*j + 16. Let k be a(-4). Is ((-5)/(-2) - k)/(17/2278) a prime number?
False
Let r(w) = 1891*w**2 + 9*w - 17. Is r(5) a composite number?
False
Suppose 0 = 42*j - 38*j - 5016. Is (-3 + 8 + j)/((-2)/(-2)) a composite number?
False
Suppose -34*g = -32*g - 2722. Is g a prime number?
True
Let c = 29 - -81. Let v be 364*(4/(-18))/((-6)/54). Suppose 0 = 2*z - c - v. Is z a composite number?
False
Suppose -16*h + 27303 = 3*h. Is h a prime number?
False
Suppose 2*n - 2844 = -n. Let z = -47 + -288. Let f = n + z. Is f a prime number?
True
Let p be (-8)/20 + 22/5. Suppose i = -p*i + 20. Suppose -i*m + 7*m - 345 = 0. Is m a composite number?
True
Suppose -5054 = -3*d + 2*n - 7*n, 3*n + 5094 = 3*d. Is d prime?
True
Let u be (4*1525 - -3) + -2. Suppose -c - 4*g + 1227 = 0, 6*c - u = c - 3*g. Is c composite?
True
Let w be 7/28 - 15/12. Is (-20715)/(-18) - (-1)/(-6)*w a prime number?
True
Suppose -5*a + 1663 = 4*b, 114*b = 115*b - 3*a - 437. Is b a composite number?
True
Let b = -38984 + 56821. Is b prime?
True
Let h(g) = g**2 - 11*g + 19. Let k(j) = -7 - 3*j + 4*j - 1. Let n be k(-7). Is h(n) prime?
True
Suppose -8*r - 5796 = -15*r. Suppose 2*g - 8042 + r = 0. Is g a prime number?
True
Suppose 4 = 2*l - 4*x, 3*l = -2*x + 34 - 12. Let b be 9*((-16)/l + 3). Suppose -b*n = -136 + 19. Is n composite?
True
Suppose 6561 = 5*c + q, 2*c - 3*q = -2*c + 5264. Is c a composite number?
True
Let i(b) = 11*b**3 - 3*b**2 + b - 4. Let k be i(-3). Suppose 2*l + 5 = 3*c - 0*l, -c - l - 5 = 0. Is (-5 + 6)/(c/k) a prime number?
True
Suppose -7*l + 2 = -6*l. Suppose l*m = 2*g - 942 - 104, -2621 = 5*m - 2*g. Is 12/18 + m/(-9) a composite number?
False
Let t = -33 - -35. Suppose -3*z + 2*m + 287 = 0, -t*m + 105 = z + 2*m. Is z a prime number?
True
Let v = 27366 + 425. Is v a prime number?
True
Let h = 3 - -4. Suppose -4*c + 2*w - 1 = 7, -c - h = -3*w. Is c/(-6) - 246/(-36) a prime number?
True
Suppose -117 = -k + 4*j, -2*k - 3*j = 2*k - 373. Suppose k = -3*r + 4*r. Is r a prime number?
True
Let a(x) = -x**3 + 8*x**2 - 7*x. Let v be a(7). Suppose j - 547 + 56 = v. Is j a composite number?
False
Let f = 73 - 103. Let z = f + 23. Is (-2)/z + (-13534)/(-14) composite?
False
Let f be 0/4 - 1*-3. Let k = 0 + f. Is 2/2 + 168/k composite?
True
Let a be ((-4146)/10)/(28/(-140)). Suppose -4582 = -d + 3*j, -j + a - 15795 = -3*d. Is d a prime number?
False
Let h be 11246/4 + ((-5)/(-2) - 2). Let m = h - 1935. Is m a composite number?
False
Let w(r) = 114*r**2 - 11*r - 22. Is w(-3) prime?
False
Suppose -i - 17793 = 3*c - 61334, -3*c + 87076 = 2*i. Is i a composite number?
True
Let h(m) = m**3 - m + 3. Let i be h(0). Let u be i + -4 + 1 + 0. Suppose -114 = -3*w - w + 5*j, u = -5*w + 2*j + 151. Is w a prime number?
True
Let k be (10/8)/((-2)/(-8)). Let n(i) = -2*i + 14. Let g be n(k). Suppose 0*p = -p, -g*l + 5*p + 1004 = 0. Is l prime?
True
Let p be (-2 + 1 - -725 - 1)/1. Let x = p - 376. Is x composite?
False
Let n be (8/10)/((-6)/(-1515)). Suppose 4*x = 5*u - 10*u + n, 116 = 3*u + 5*x. Is (u/12)/(1/74) a composite number?
True
Let y(j) = 950*j + 256*j + 11 + 189*j. Is y(4) composite?
False
Suppose -41542 = 45*h - 47*h + 2*y, 4*h = 2*y + 83084. Is h a composite nu