*j = -23*j + 35. Let b(w) = 8*w**2 + 10*w + 17. Is b(j) prime?
True
Let m be 13128 - 4/7*(17 + -10). Let p = 18559 - m. Is p prime?
False
Is (-1 - 1) + -4467*(-31 + 27) a prime number?
False
Suppose 2*d = 3*l - 3 + 20, -3*d - l - 2 = 0. Is (15 + -18)*d*14622/(-9) a composite number?
True
Suppose -5*p = -h - 2504411 - 338293, -4*h = 2*p - 1137086. Is p a composite number?
False
Suppose 0 = -4*y - 5*t + 46166, 12*t + 57817 = -6*y + 11*y. Is y composite?
False
Let g = 506 - 284. Suppose 0 = 215*c - g*c + 10591. Is c a composite number?
True
Suppose -62623 + 601153 = 30*h. Is h a composite number?
True
Let o(k) be the first derivative of 3*k**4/4 - 10*k**3/3 + 5*k**2 + 10*k - 49. Is o(9) composite?
True
Suppose 0 = 1603*k - 1735*k + 355911468. Is k a composite number?
False
Let r(a) = 23*a - 17. Let n(c) = -3*c + 2. Let b(l) = 51*n(l) + 6*r(l). Let d be b(-28). Suppose -2*h + 392 = -3*q, 2*h + 3*q + q = d. Is h composite?
True
Suppose -y - 7*y = -21*y + 479739. Is y prime?
False
Let g = 821 - 5717. Let o be (g + 2)*(3 - 33/6). Suppose -f - o = -6*f. Is f a composite number?
False
Suppose b - g = 0, 4*b + g = 17 - 2. Suppose 6*x - 2*x + b*j = 1400, -4*x + 1368 = -5*j. Is x composite?
False
Let v(m) be the second derivative of 13*m**6/360 - 29*m**5/120 + 2*m**4/3 + 28*m. Let u(f) be the third derivative of v(f). Is u(27) composite?
False
Let z = -459 + -1458. Let o = z - -2818. Is o prime?
False
Let z be (-75)/(-27) - 4/(-18). Suppose 0*k - 4*l - 1498 = -k, -z*l + 1491 = k. Suppose -8*u + k = 238. Is u a prime number?
True
Let p(a) = 807*a**2 + 55*a + 9. Let l be p(8). Suppose 18*s - l - 25789 = 0. Is s a composite number?
False
Let m(n) = -n**3 + 3*n**2 + 2*n - 3. Let i be m(2). Let w = -1309 + 1314. Suppose i*f = -w*g + 8250, 2*f - 4951 = 2*g - 5*g. Is g a composite number?
True
Suppose 72*d + 49657884 = 140*d. Is d a prime number?
False
Let g(i) = 3818*i - 1. Let r(p) = -p - 3. Let u(f) = -g(f) - 5*r(f). Is u(-1) a composite number?
True
Let x(y) = -5125*y + 3. Let v be x(-2). Suppose 5*q - v = i - 5*i, 15 = -5*q. Is i composite?
True
Let j(q) = -405*q**3 + 4*q**2 - 9*q - 23. Let k = -433 - -431. Is j(k) a prime number?
True
Let c(r) = 15*r**2 - 187*r + 169. Is c(-28) a composite number?
True
Suppose 101*i + 7*i = 63643212. Is i a composite number?
False
Suppose 0 = -383*a + 243458265 + 138354052. Is a composite?
False
Suppose 0 = -4*t + 4*u + 19 + 37, t - 3*u - 24 = 0. Suppose t = -a + 14, 0 = -2*j + 4*a + 5534. Is j composite?
False
Suppose 3*j - 160559 = -25076. Is j a composite number?
False
Suppose 3*z = -9*u + 57156, -18179 = -z + 3*u + 831. Is z prime?
True
Let t = 31748 + -45414. Is (24/(-8) + t)/(-1) prime?
True
Let i(z) = 5*z**2 - 2*z - 1. Let b be i(-1). Let y be (0 + (-15)/b)*-6. Is (-10)/y - (-2237)/3 composite?
True
Let b = 36158 - 23835. Is b a composite number?
False
Suppose -8*j = -3 - 13. Suppose -2 = j*n - 12. Suppose -f - n*h = -7794, h + 2*h = -3. Is f prime?
False
Let g(u) = -30*u**3 - 9*u**2 + 15*u + 12. Let v be g(-6). Let n = -2387 + v. Is n a composite number?
False
Let c(o) = -367*o + 15. Let l be c(-13). Suppose 6*s - 40 = -l. Is -3 - -3 - (3 + s + 3) composite?
True
Suppose 36547 = 5*c - 2*c - 5*s, -s + 60921 = 5*c. Suppose c = 12*u - 4*u. Is u a composite number?
False
Suppose -3*d - 27 = -12*d. Let v(s) = 89*s**2 + 5*s - 13. Is v(d) composite?
True
Let h(b) be the third derivative of 35*b**4/4 + 283*b**3/6 + 79*b**2. Is h(14) a prime number?
False
Suppose -2*o = 3*c - 4, 8*o - 10*o + 4 = 0. Suppose -2 = y + h - 35, c = h. Is y a composite number?
True
Suppose 0 = 4*d - 5*w + 23199, 0 = 2*d + w + 5397 + 6206. Let a = 11070 + d. Is a a prime number?
False
Suppose 5*n - 2*x - 130453 = 306108, -5*n + 5*x = -436555. Is n prime?
True
Suppose 8*g + 32526 = -10*g. Let q = -1064 - g. Is q a prime number?
True
Let l = -803 - -806. Suppose 9*v = 12*v, -l*v - 47954 = -2*f. Is f composite?
False
Suppose -12*y + 11*y + 223 = 0. Let z = 26 - 23. Suppose -1138 = -z*k - y. Is k a composite number?
True
Let m(c) = 7*c - 32. Let z be m(-46). Let t = z - -1611. Is t a composite number?
True
Let d(a) be the second derivative of 37*a**4 + a**3/6 - 7*a**2 - 21*a. Is d(-5) prime?
False
Let r be (15 - 14)/((-1)/4). Let v be ((-1622)/r)/(3/42). Suppose -j = -4*j - 2*b + v, 5*b = -4*j + 7560. Is j composite?
True
Let y(s) = -16*s. Let a be y(1). Let l(k) = -k**3 - 14*k**2 + 13*k + 15. Let n be l(a). Is 1*n*(-3 - -4) a composite number?
True
Suppose 3*o - 15 = -5*i - 0, -i + 3 = 3*o. Suppose -2*l + 5*x + 39223 = 0, 12*x - 17*x + 15 = o. Is l prime?
False
Suppose 1056*o + 62640 = 1071*o. Suppose -2*j - 6 = -2, 5*l + 4*j - 7 = 0. Suppose n - t + 1030 = o, -4*t = l*n - 9417. Is n prime?
False
Suppose 36*y = 32*y + 136125 - 24121. Is y prime?
True
Suppose -4*r + r = 4*r. Suppose -w - 2*h + 1509 = 0, r = w - 5*h - 1100 - 423. Is w composite?
True
Let t(k) = -213811*k - 116. Is t(-3) composite?
False
Let c = -25 - -206. Let q = 1198 + c. Is q a composite number?
True
Suppose r + 2*d = 31415, 70512 = 3*r - d - 23740. Is r a composite number?
True
Suppose 5285 + 21615 = -4*n. Let d = 2713 + n. Is 2*d/(-32) + 2/8 a composite number?
False
Let b(x) = 3*x**3 + 2*x**2 - 2*x - 5. Suppose -100*w + 32 = -99*w. Suppose 32 = 16*a - w. Is b(a) composite?
False
Is (-3)/(-1)*11*33602695/385 a composite number?
True
Let u(z) be the first derivative of z**4/4 + 4*z**3 - 7*z**2 - 15*z + 13. Let c be u(-13). Let x(l) = -114*l**3 + l**2 + 1. Is x(c) a prime number?
False
Let k = 11342 - -83477. Is k a composite number?
False
Suppose 961 = -15*y - 644. Let q = y + 196. Is q a composite number?
False
Is 194178 - (6/(-4))/(60/8 + -6) composite?
False
Let h(a) = 82*a**2 - 5*a - 4. Let o(i) = i**3 + 4*i**2 + i - 2. Let s be o(-3). Suppose 0 = 2*r - s*r - 6. Is h(r) a composite number?
True
Suppose 0 = 2*p - 6, -43277 = -5*o + 3*p - 14126. Let w = -2870 + o. Is w a prime number?
False
Suppose 2*q = -2*h + 40, h - 5*h = -3*q - 45. Suppose -h*b = 13356 - 134241. Is b a prime number?
True
Let t be -2 + -1 - (-1 - 12). Is 258/t*5*166/6 composite?
True
Let f(q) = -461*q + 44. Let b(v) = -v**3 + 5*v**2 + 9*v - 27. Let y be b(6). Is f(y) a prime number?
False
Suppose 3*t + 8534 = -3532. Let f = t + 1519. Let y = f - -4542. Is y a composite number?
False
Suppose 2*l - q - 3 = 0, -3*l + 2*q + 7 = -0*q. Let c be -2*(-45)/(-18) + -9. Is (194/4 + 0)/(l/c) prime?
False
Let w be 0/7 + 0/3. Suppose 16 = 3*o - w*o + 2*t, 0 = -4*t + 8. Suppose 4*y = -o*s + 276, -4*y + 117 = s + 36. Is s a composite number?
True
Let u(j) = -101*j - 6. Let i be u(-5). Let y = 834 - i. Is y a composite number?
True
Let r(a) = 675*a - 40. Let p be r(5). Suppose 3*t - 5549 = -5*n, -p = 5*n - 8*n + t. Is n a composite number?
True
Let a = 166 + 519. Let m = a + -238. Is m a composite number?
True
Suppose 18355 = 316*t - 315*t. Is 2*(-24)/(-80)*t a prime number?
False
Let t be 1 - ((2 - 4) + -2). Suppose -t - 22 = -3*a + 2*j, 0 = -a - 4*j + 23. Suppose -13850 = p - a*p. Is p prime?
False
Let u(n) = 10*n - 5. Suppose -9 = -4*j + 5*o, 2*j + 0*o - 27 = -5*o. Let m be u(j). Suppose s - m = 34. Is s composite?
False
Let m(y) = -13987*y - 757. Is m(-14) composite?
True
Let k(t) = 16610*t**2 + t + 4. Is k(-3) a prime number?
True
Let s be -4 + 20778/(-36)*(-6)/1. Let v = 5116 - s. Is v a prime number?
True
Suppose -18*g + 9288 = 1728. Suppose -5*o - 318 - 427 = 0. Let l = o + g. Is l a composite number?
False
Suppose l = -4*t + 282745, 2*t - l - 160787 = -19410. Is t composite?
False
Let a(d) = d**3 + 9*d**2 + 3*d + 23. Let t be a(-9). Is 10414/(-6)*(t - -3 - 2) prime?
False
Let f(r) = -4206*r + 42. Let m be f(3). Let d = 24353 + m. Is d a composite number?
False
Let n be 2778 - 2 - (-6)/2. Let f = 4038 - n. Is f prime?
True
Let q(k) = 72680*k**2 - 17*k + 74. Is q(-5) a prime number?
True
Let q(w) = 20*w**2 - 42 + 12*w**2 - 7*w + 24*w. Is q(-11) a composite number?
False
Suppose 0 = -2*m - 3*l + 127360, m = -4*l - 22336 + 86031. Is m a prime number?
True
Let x = -29 - -43. Let y(p) = p - 11. Let t be y(x). Suppose -o = t*c - 544, 6*c - o = 3*c + 542. Is c a composite number?
False
Suppose -66 + 81 = 3*r. Suppose -6285 = -2*s + r*t, -4*s + t = -2538 - 10077. Suppose 2*l = -4*w + 1262, 3*w - s = -5*l - 2*w. Is l compo