 31*s + 0*s = 552947. Is s a composite number?
False
Let q be (-3)/5 - (-140)/25. Let u(t) = -t**2 + 6*t - 4. Let r be u(q). Is 155 + (2 - (-3 + r)) a composite number?
True
Suppose -8*b = -13*b - 45150. Is (-2)/4 + b/(-20) a composite number?
True
Let u be ((-1172)/4)/(3 - 2). Let y = -107 - u. Suppose 5*d = y + 209. Is d a prime number?
True
Suppose 0 = 6*t + 2451 + 28371. Let n = t + 7290. Is n a prime number?
True
Suppose 130627 = 5*g + 2*g. Is g prime?
True
Let m = -1705 - -1958. Is m a prime number?
False
Suppose 7*j + 4831 = 8*j. Is j prime?
True
Suppose 46 = 4*g + 26. Suppose 4*n + 964 = 4*z, -928 = -6*z + 2*z - g*n. Is z prime?
False
Suppose k + 3*k - 40 = 0. Let l = k + -13. Is (-1 + 0)*l*17 prime?
False
Let g = -206 + 379. Let t = 562 - g. Is t prime?
True
Let v be 86*5/(-10)*6. Let r = -35 - v. Is r composite?
False
Let p(h) = 299*h - 606. Is p(31) prime?
True
Let y(v) = 2776*v**2 + 22*v - 125. Is y(6) prime?
False
Let r(f) = -f**2 + 13*f. Suppose 0*s = o - 5*s - 33, 4*o - 2*s = 60. Let i be r(o). Suppose 7*c - 6*c - 633 = i. Is c prime?
False
Let o = 9 + -3. Let s(k) = 1 + 1 + o - 3 + 48*k. Is s(10) a composite number?
True
Suppose 16 = 5*h + 5*y - 3*y, -3*y + 5 = -2*h. Suppose 0 = q + q - 8, -h*q = 3*x - 11249. Is x a composite number?
True
Suppose -14*c + 5*x = -17*c + 143198, -2*c - x = -95463. Is c prime?
False
Let k(y) = -17*y + 2. Let m be k(1). Let c = -23 - -14. Is (-3570)/c + (-5)/m a composite number?
False
Let z(r) = 508*r - 14. Let c be z(2). Let f = 499 + c. Is f a prime number?
False
Suppose k = 5*o - 3*k + 16, 4*o + 11 = 5*k. Let f be o/(-14)*(-3 - -10). Suppose -u + f*u + 22 = 3*t, -4*t + 5*u + 44 = 0. Is t prime?
False
Suppose 0*t - 489 = -3*t. Let h(d) = 3*d**2 - 13*d - 6. Let a be h(-9). Let i = a - t. Is i composite?
False
Let r(b) be the third derivative of b**6/120 + 3*b**5/20 - b**4/4 + 5*b**3/6 - 10*b**2. Is r(-6) composite?
False
Let r(c) = -577*c + 42. Is r(-23) a prime number?
True
Let n(i) = 10*i**2 + 24*i - 107. Is n(-33) composite?
True
Suppose -5*n = 2*o - 8384, -4*n - 3*o - 5022 = -7*n. Suppose -18*d + n = -14*d. Is d composite?
False
Suppose 226*h - 223*h - 33621 = 0. Is h a composite number?
True
Let v(g) = g**2 + 6*g + 8. Let c = -10 + 10. Suppose n = c, -7*r + 2*r = 4*n + 35. Is v(r) a prime number?
False
Let u be (8/84*-3)/((-2)/14). Suppose 3*j = v - 220, 2*v + u*j - 950 = -2*v. Is v prime?
False
Suppose -p + 3*t - 17 = 0, -39 = 5*p - 3*t - 2. Let s(a) = 33*a**2 - 10*a + 2. Is s(p) prime?
True
Let r(l) = 34*l + 2231. Is r(0) composite?
True
Let u = 100986 - 66217. Is u a composite number?
True
Let q = 50 - 29. Let z be ((-4)/(-14))/(2/14). Suppose k - q = -z*k. Is k a composite number?
False
Let z be (-80)/(-20) + 810/1. Suppose 5*x = h - z, 2*h - 1579 - 7 = -4*x. Is h a composite number?
True
Suppose 2*b - 262 = 20. Is b a prime number?
False
Let s(j) = -33*j + 2. Let a = 1 - 7. Let w(x) = -1. Let l(m) = a*w(m) - s(m). Is l(3) prime?
True
Suppose 0 = 9*a - 3075 + 456. Is a prime?
False
Suppose -3*n + 15*k - 10*k + 2296 = 0, 0 = 3*n - 2*k - 2299. Is n composite?
True
Let v(h) = -2*h**3 + 3*h**2 - 8*h - 5. Let a be v(-6). Let t = 1028 - a. Is t a composite number?
True
Suppose -8*k + 21*k = 41873. Is k composite?
False
Let q(x) = 225*x + 7. Let d be (-3 + 2)*-23 - -1. Suppose 5*z = d - 4. Is q(z) composite?
False
Let g(v) = -4*v + 2 + 14*v + 13*v. Let x be g(2). Let w = x - 17. Is w prime?
True
Let d(h) = -h**2 - 10*h + 2. Let x be d(-10). Suppose 0 = -7*l + x*l + 935. Is l a prime number?
False
Suppose -18436 = -9*z + 5*z. Suppose -z = -10*d + 10401. Is d a prime number?
False
Let g(y) = 3*y**2 + 24*y + 23. Suppose 0 = -5*w + 17*w + 216. Is g(w) composite?
False
Suppose -2*t - 3*t - 4*f = -2874, 2*t - 1164 = 2*f. Suppose 0 = j + j - t. Is j prime?
False
Suppose -2*n + 0*n = -k - 7, -3*n = 3*k - 6. Suppose r - 5*t - 863 = -t, 0 = -n*r + 3*t + 2562. Is r a prime number?
False
Is ((155204/16)/(-7))/(4/(-16)) prime?
False
Let i(w) = 3*w**3 + 16*w**2 - 12*w - 17. Let g be i(7). Let z = -1211 + g. Is z composite?
True
Let j(b) = b - 12 - 68 + 3*b + 19. Is j(27) a composite number?
False
Let f(m) = m**2 - 3*m + 2. Let t be f(2). Suppose 32 = -t*k - 2*k. Is k/(-24)*282/4 a prime number?
True
Let j be (16/12)/(2/(-54)). Let n = 142 + j. Is n composite?
True
Suppose -d + 7 = -1. Let j = -143 + 137. Is j + d - (-134 - -2) a composite number?
True
Suppose 2*v + 32 = -0*z - 4*z, -4*v = 4*z + 68. Let p = v - -18. Suppose -4*q - 3*c + 224 = p, -23 = 4*q + c - 255. Is q a prime number?
True
Suppose -2*g + 9 - 1 = 0. Suppose 810 = g*q - 194. Is q a prime number?
True
Is (-5 - -25148) + -5 + 0 a prime number?
False
Let p(b) = 96*b - 127. Is p(9) a composite number?
True
Let h(p) = 3*p**2 - 4*p + 57. Is h(-38) composite?
True
Let c = 39 - 36. Is (-3)/(-6)*(26 - c)*2 prime?
True
Is (7 + -16 + 8)*-3989 composite?
False
Let b be (-292)/(-1) + -1 + 0. Let r be (-1*2)/((-2)/b). Let t = r + -204. Is t a composite number?
True
Let p(j) = -2*j**2 - 13*j - 3. Let z be p(-12). Let i = -87 - z. Let b = i - -173. Is b prime?
False
Suppose 14*x - 9*x = -7960. Let j = -637 - x. Is j prime?
False
Let s be 5/((-20)/(-24)) - (-4)/(-4). Suppose 2*o = 4*w + 806, o + s*w = -0*o + 417. Is o a composite number?
True
Let n(h) = -h**3 + 2*h**2 + 3. Let s be n(2). Let p(f) = f**3 + 3*f**2 - 2*f - 3. Let u be p(-3). Suppose -u*o - 103 = -6*o - 2*w, 88 = s*o - w. Is o prime?
True
Is 136534/304*(7 + 1) composite?
False
Suppose 206*t + 112008 = 210*t. Suppose -6*p = -5004 - t. Is p a composite number?
False
Suppose 3*k = -12, -5*q - 2*k + 20547 = -29390. Is q composite?
True
Suppose 2*q + 6 - 28 = 0. Suppose q*y - 445 = 6*y. Is y prime?
True
Let b be 1 + 6926/10 - 57/95. Suppose -j + 458 = -b. Is j a prime number?
True
Suppose -i + 2 = 0, -9*j + 2497 = -8*j - 3*i. Is j composite?
False
Suppose n + 4112 = -4*i + 16244, n = 5*i - 15156. Is 1/6*-2 - i/(-6) a composite number?
True
Let i be (3 + -3)/1 - -191. Let b = -122 + i. Is b a prime number?
False
Let f = -1351 - -2408. Suppose -3881 + f = -4*u. Is u/14 + 56/98 a prime number?
False
Let s be (12/10)/((-9)/(-135)). Suppose 0 = s*i - 1107 - 8631. Is i composite?
False
Let x be 2/4 + 2/(-4). Is (-6140)/(-8)*(1 + (x - -1)) prime?
False
Suppose 14*n - 2*n = 397428. Is n prime?
True
Let g(p) = -23*p - 15. Let s be g(-14). Is 1/((-4)/(-4))*s a composite number?
False
Suppose -2*o - 3*z + 12 = -0*z, -z = -5*o + 30. Let r = 2711 + -1605. Suppose o*k - 4*k = r. Is k composite?
True
Let m = -46 - -48. Suppose 0 = 3*u + 4*y - 8225, m*y = u - 3*u + 5480. Is u composite?
True
Let t be (-286)/2*(-14 - -22). Let u = -103 - t. Is u a composite number?
True
Let z(j) = j**3 - 10*j**2 - 11*j + 2. Let b = 35 - 24. Let q be z(b). Suppose 2*a - h = 357, -5*h + 157 = q*a - 182. Is a a composite number?
True
Suppose -3*o + 28 = 193. Let i = 132 - o. Is i prime?
False
Let l(n) = -n**3 + 12*n**2 - 19*n + 1. Let k be l(10). Suppose k*a - 2419 = 10*a. Is a composite?
True
Suppose -o = 2*b + 31, 0 = 2*b - 4*b + 4*o - 16. Let p = b - -16. Suppose 3*i - 233 = 4*y, -p*i - 2*y = -0*i - 174. Is i a composite number?
False
Suppose 2*m = -3*u + 7, -11 = u - 3*u + 5*m. Suppose -f + 4643 = u*q, 0*q - 2*f + 1556 = q. Suppose 3*w - q = 293. Is w a composite number?
False
Is (44 + -2)/7 + 12433 composite?
True
Let f(w) = 22*w**2 + 94*w - 89. Is f(-18) prime?
True
Let q(o) = o**3 - 4*o**2 - 6*o + 1. Let c be q(5). Let u be (3717/c)/(12/(-64)). Is (-4)/20 - u/(-5) a prime number?
True
Suppose -3*a - 10*a + 42263 = 0. Is a composite?
False
Suppose 4*w + 0*w = -1372. Let b = w + 504. Is b composite?
True
Let i(y) = 84*y**2 - 15*y - 1. Is i(6) prime?
False
Let o be -309 - ((-6)/(-3) - 4). Let k = -424 + 858. Let f = o + k. Is f a prime number?
True
Let u = -543 - -1153. Is (-1 + 4 - (4 + -2)) + u composite?
True
Suppose 0 = -5*p + 3*x + 1655, 5*x + 529 = 2*p - 114. Let m = 2615 - p. Is m a composite number?
False
Let c be 30/4*1002/(-9). Let y = 1831 + c. Suppose 0 = -4*q - 4*x + y, 6*q + 4*x = 3*q + 742. Is q a composite number?
True
Let m(h) be the first derivative of -7*h**2 + 2*h**2 - 1 - h**2 - h. Is m(-7) composite?
False
Suppose 3*a + 0*r + 21 = -3*r, r = -2*a - 9. Is 8 + -7 - (a - 820/2) composite?
True
Let j(r) = -r**2 +