/14 - j/(-21) prime?
True
Suppose 3*a - 3*c = 15, -4*a - 6*c = -9*c - 23. Suppose 3*r - 3*p - 2527 = -a*p, 0 = 3*r - 3*p - 2511. Is r composite?
False
Suppose -14636 = -4*j + 3*p, -p = 2*j - 7*j + 18295. Is j prime?
True
Let x = -1 - -6. Suppose 0 = -5*a - 3*y - 1, y + 3*y + x = -3*a. Is 190/10*(a + 0) prime?
True
Suppose -7*o - 5*o + 138540 = 0. Is o a prime number?
False
Let j(l) = -47*l**3 + l**2 + 4*l + 5. Let k be j(-2). Let q = -594 - -1182. Let n = q - k. Is n a composite number?
False
Suppose -4*q + 4*m = -28, -3*q - 7 = m + 3*m. Suppose 30 + 207 = q*r. Is r prime?
True
Let o(c) = 9*c**2 - 3. Let t be o(-5). Let g be (-1 - 3)*t/4. Is (-1)/2 + g/(-4) a composite number?
True
Let h = -5 + -105. Let a = 504 - 339. Let z = a + h. Is z a prime number?
False
Let t(f) = f**2 + 13*f + 29. Let j(w) = 7*w + 15. Let o(b) = -5*j(b) + 3*t(b). Suppose 0*n + 11 = n. Is o(n) prime?
True
Let i = 82 - 23. Suppose 0 = -t + 650 + i. Is t a composite number?
False
Suppose -23*d = -19*d + 20. Is d*3/(-75) - 744/(-5) prime?
True
Let t be 9/(36/20) + 0 + 1. Suppose -t*q - 615 = -9*q. Is q a prime number?
False
Suppose -250*h + 249*h + 7339 = -4*g, -5*g = 3*h - 22034. Is h a composite number?
True
Let g(i) = -2 - 24 - 3*i + i. Let z be g(-14). Suppose -2*k + 4*t = -410, k + 3*t - 214 = z*t. Is k a prime number?
True
Suppose 0*j - 165 = -3*j. Suppose 0 = 2*r + j - 237. Is r a prime number?
False
Suppose 4*f - 4*t = -7 - 1, -16 = -4*t. Is (6 - f) + -1 - -1880 a prime number?
False
Let b be (-3)/12 - (-548)/16. Let v = b + -37. Is ((-1)/v)/((-8)/(-29928)) a prime number?
False
Suppose 5*s - 1970 = -5*t, -4*t + 4*s + 1189 = -395. Suppose t = -5*q + 2580. Suppose x - q = 116. Is x a prime number?
False
Let o = 18661 - -4077. Is o a composite number?
True
Let s = -305 + 612. Is s a prime number?
True
Suppose 4*q = -5*d + 7519, 3*q - 2*q = -3*d + 4517. Let h = 2220 - d. Is h a composite number?
True
Let c(w) = -w**2 + 7*w - 3. Let a be c(6). Suppose -2*x + 5*x = -3*u - 1035, 5*x - 1067 = a*u. Let q = 764 + u. Is q composite?
True
Let n(k) = 699*k - 62. Is n(5) a prime number?
True
Suppose -2*q + 7878 = h, -5*q + 498 = -2*h + 16290. Is h prime?
False
Let s = -19561 + 28800. Is s composite?
False
Let m be (-12)/(-9)*((-4)/8 - -2). Suppose -8461 = -5*s - 4*n, 0 = -s - 3*s + m*n + 6774. Is s prime?
True
Suppose -1 = f - 2*s, f = 5*s - 16 - 0. Suppose 2*b - 18 = -2*y + 3*y, -4*b + 24 = 4*y. Suppose b*w + 355 = f*w. Is w composite?
True
Let p(n) be the third derivative of -n**8/20160 - n**7/315 - 13*n**6/720 + n**5/15 + 7*n**2. Let o(w) be the third derivative of p(w). Is o(-12) prime?
False
Let m(b) = -4*b**3 - 2*b**2 + b + 2. Let k be m(-1). Suppose -k*i = i - 424. Is i a prime number?
False
Let t(r) = -r**3 + 22*r**2 + 2. Let k be t(22). Is ((-1227)/(-9))/(k/6) composite?
False
Is 1/(-5)*(-125)/25*21365 composite?
True
Is 2*9183 + 390/78 a prime number?
True
Suppose 2*a = 41990 - 1888. Is a a composite number?
False
Suppose 5*q - j - 1 = 0, 0*q + 3*j = -3*q + 15. Suppose -9*m = -6*m - 399. Is (-2 - q) + m + 3 prime?
False
Let w(t) = -t**3 - 3*t**2 + 14*t + 13. Suppose 30 = g - 4*g. Let p be w(g). Is (-1)/(3/p*-1) a prime number?
True
Let s = -67 + 72. Suppose -4*t - 4*b = t - 10987, -s*t = 2*b - 10981. Is t composite?
True
Suppose 160 = 4*k - 1188. Is k a composite number?
False
Let c(k) be the first derivative of 3*k**4/4 - 2*k**3/3 + 3*k**2/2 + 2*k - 2. Is c(3) a composite number?
True
Suppose -10*a + 832105 - 308495 = 0. Is a prime?
True
Let s(y) = 23*y + 4. Let r(u) = 24*u + 4. Let z(g) = 4*r(g) - 3*s(g). Is z(5) a prime number?
True
Let r(s) = s + 7. Let d be r(0). Let y(i) = 36*i + 35. Is y(d) a prime number?
False
Let f = -19 - -21. Suppose -f*w + 2*j + 954 = 0, -4*w - 4*j + 908 = -1032. Is w prime?
False
Let q = 3347 - -4638. Suppose b - 3096 = -b + 3*h, 5*b - h = 7714. Suppose 7*t - b = q. Is t a prime number?
True
Let y(a) = 59*a - 12. Let f(t) = -30*t + 6. Let k(o) = 5*f(o) + 2*y(o). Is k(-14) composite?
True
Let u = 4 - 1. Suppose -u*f = -2*q - 1, f + 0*f = q. Let k(n) = 210*n + 1. Is k(q) prime?
True
Let y(i) = 21*i**2 - i - 1. Let o be y(-2). Suppose -401 = -4*g - o. Suppose 5*x - g = 4*s, -x + 11 = -0*x - 2*s. Is x composite?
False
Let z(j) = -j**2 + 6*j - 3. Let o be z(5). Let v be o/10 + (-72)/(-15). Suppose h - 7 = -2, 0 = -m + v*h + 444. Is m prime?
False
Suppose 0 = 22*c - 28*c + 67182. Is c prime?
True
Let d(p) = p**3 - 4*p**2 + 5*p - 3. Let q be d(3). Suppose q*o - 72 = 69. Suppose 3*i - o = 319. Is i a composite number?
True
Suppose -70 = -4*g + 3*g - 4*a, g - 5*a - 61 = 0. Is 1/(-3) + 6424/g a prime number?
True
Let f(b) = b**2 - b - 7. Let u(n) = n**2 - n - 14. Let a(t) = 9*f(t) - 4*u(t). Is a(-5) a prime number?
False
Let z = -928 + 1483. Let h = z + 112. Is h a prime number?
False
Let k(o) = 1271*o + 661. Is k(46) a composite number?
True
Suppose -18 = -0*z + 2*z. Let s(n) = -n**3 + 10*n**2 + 5*n - 50. Let v be s(8). Let q = v - z. Is q prime?
True
Suppose 3*w = 4*i + 20813, -2*i - 27678 = -3*w - 6875. Is w a prime number?
False
Suppose -33*p + 44*p - 1343111 = 0. Is p a composite number?
True
Suppose 13*u + 7015 = 18*u. Is u a prime number?
False
Let i(p) be the first derivative of 47*p**3/3 - p**2 - 2*p + 33. Is i(-1) a prime number?
True
Suppose -14946 = -2*t + 8*w - 3*w, 4*w = -16. Is t a composite number?
True
Let v = -28 - -40. Let p = 12 - v. Suppose -3*z + 3*m = -783, p*m - 1273 = -5*z - 3*m. Is z a prime number?
True
Suppose -y + 3*p = 6, 2*p + 12 = -p. Suppose 165 = -r + 6*r. Let l = y + r. Is l composite?
True
Suppose 1513 = 3*h - 167. Let r = 243 + h. Is r prime?
False
Let w be (-17)/(-1*5/215). Let q = w - 246. Is q a prime number?
False
Let r = 84 - 150. Let l = 125 + r. Let h = -6 + l. Is h a composite number?
False
Let b = 5461 + -3868. Is b + 5*(-12)/(-15) a composite number?
False
Is (-556876)/(-69)*6/8 a prime number?
True
Suppose n = -2*q + 865, 0 = -5*q - 2*n - n + 2164. Let y = 216 + q. Is y a composite number?
False
Let s be ((-3616)/4 - -1) + -3. Let p = 153 - s. Is (-15)/(-20) - p/(-12) composite?
False
Let f(q) = -q**2 - 4*q + 6. Let h be f(-5). Is 3 - (-1043 - (2 + h - 0)) a composite number?
False
Let l be 1/(-1) - 13/((-65)/58290). Suppose 3*s - 9344 = -4*w, -3*s + s - l = -5*w. Is w prime?
True
Let u = 4342 + -251. Is u prime?
True
Let m(w) = -w**2 - w - 1. Let b(o) = 8*o**2 - 8*o + 1. Let a(l) = b(l) - 2*m(l). Is a(5) composite?
False
Suppose 7*l = 2*l + 1660. Let t = l + 3. Suppose -3*w + t = -112. Is w composite?
False
Let c = -118 - -553. Suppose 4*u + 4*s = -0*u + 4, -4*s = 5*u - 4. Suppose -3*y - 2*y + c = u. Is y a prime number?
False
Suppose -4*u + 392 = -2*l, -2*u + 287 = u + 2*l. Let a = u + -39. Is a a composite number?
True
Is (4 - -1) + (-16058)/(-31) a prime number?
True
Let h(i) = 17*i - 70. Is h(9) composite?
False
Suppose -5*j + 3*j = -16. Suppose 23168 = j*f - 4688. Is f composite?
True
Is -29334*((-133)/14 - -9) prime?
False
Let t(a) = a**3 - 5*a**2 + 3*a + 2. Let x be t(4). Let o be (x/3)/(7/(-21)). Suppose -o*n = -383 + 85. Is n composite?
False
Let m be ((-8)/24)/(2/(-12)). Suppose -1838 = -m*l - 0*l. Is l a prime number?
True
Let y(a) = -52*a - 5. Let h(k) = k - 6. Let i(g) = -2*g - 4. Let f be i(-2). Let q be h(f). Is y(q) a composite number?
False
Let w(h) = 514*h - 29. Is w(9) composite?
False
Let j = -1832 + 2901. Is j composite?
False
Let j be (638/(-3))/(14/(-21)). Suppose j = -3*f + 1552. Is f composite?
True
Let l(o) = -o**2 - 7*o. Let z be l(-4). Suppose 4*j - z = 8. Suppose 5*k - d - 262 = 0, j*d = -7 + 22. Is k a prime number?
True
Suppose 8*m - 1173300 = -52*m. Is m prime?
False
Suppose -4*f + 35 = b + 2*b, 5*f - 25 = 0. Suppose 5*u - 5*x = 15040, 3*u + b*x - 9048 = -0*x. Is u composite?
False
Let i = 534 + -342. Let p = -6 - -4. Is (-4)/(-4) + p + i prime?
True
Let i = 10 - 16. Let c(t) = 7 + 0 + 7*t - 17 + 2 + 4*t**2. Is c(i) a composite number?
True
Let f(v) be the first derivative of 173*v**2/2 + 7*v - 4. Is f(14) a composite number?
True
Let k(x) = 1591*x - 193. Is k(12) prime?
True
Let k = -18 + 18. Suppose 3*c - 2*w - 1951 = k, c = 3*c + 5*w - 1288. Is c composite?
True
Let d(n) = 4*n**3 + 7*n**2 - 48*n - 70. Is d(17) prime?
True
Suppose 0 = -m + 2*b + 5151 + 2168, -7