9) composite?
True
Suppose -59*i = -58*i - 20279. Is i a prime number?
False
Let o(r) = 14*r**3 + 2*r - 2. Let n be o(1). Is -18 + n - (1 - 24) a prime number?
True
Let k = -285 - -3448. Is k composite?
False
Let q be 1 - -209 - 0/15. Suppose 3*a - q = 876. Is a a composite number?
True
Is (125876/8)/((-20)/(-40)) a prime number?
True
Let h = 4462 - 1963. Let u = 3670 - h. Is u a composite number?
False
Suppose 3*u + 0*u - 30 = 0. Is (-41556)/(-30) + (-2)/u composite?
True
Suppose 2*z + 8 = 5*q, -22 = -3*q + 4*z - 6. Suppose 3*f + q*u = -4*u + 655, 0 = f + 2*u - 219. Is f prime?
False
Let x be (-5)/(3*4/(-24)). Suppose -3*h = x + 8. Is h/(-9)*(-531)/(-6) composite?
False
Suppose 1285 + 19626 = 11*w. Is w prime?
True
Let b(a) = -5*a**2 - 10 + 0*a**2 - 4*a**3 + 105*a - 106*a + a**2. Is b(-5) prime?
False
Suppose 6*b + 23 = 10*b + 5*k, -3*b - 2*k + 12 = 0. Is (-9548)/(-7) + -5 + b prime?
True
Let v(r) be the second derivative of 1/2*r**2 - 8*r + 1/6*r**4 + 4/3*r**3 + 0. Is v(-6) a composite number?
True
Suppose -3*x + 15 = -9. Suppose 2 = 2*z - x. Is 14/35 + 1473/z a prime number?
False
Let c(r) = -50*r**2 + 4*r - 1. Let p be c(-3). Let u = p - -1004. Is u a composite number?
False
Suppose 43534 - 1329897 = -53*k. Is k a prime number?
False
Is (-1*3)/(1000246/90935 + -11) prime?
False
Let t = -1149 - -2488. Is t prime?
False
Let h(f) = 11*f**2 - 11*f + 31. Is h(-18) composite?
False
Let j be ((-125)/150)/((-2)/12). Suppose -2*s + 3*t = -3928, -t - 9801 = -j*s - 3*t. Is s a composite number?
True
Let f be (-1)/(((-3)/12)/(4331/(-4))). Let h = 6262 + f. Is h a prime number?
True
Suppose 2805 = 6*b - b. Suppose 2*x - x = b. Suppose 3*i = 4*s - 0*i - 559, -4*s + 5*i + x = 0. Is s prime?
True
Suppose -3*t = 3*b - 5*b - 254, b - 3*t = -127. Let i = -81 - b. Is (i/8)/(9/252) prime?
False
Let d(g) = 12*g**3 + 2*g**2 - 3. Let u(l) = -13*l**3 - 3*l**2 - l + 3. Let i(n) = -6*d(n) - 5*u(n). Is i(-4) prime?
True
Let h be 4/18 - (-1 + 55/45). Is 199 - (-4)/(h - -1) composite?
True
Is (4 - 8)/24 + (-798892)/(-24) a prime number?
True
Let y be (-3)/12 - (-3)/(-4). Let f be ((y + 1)*1)/(-3). Is (f + 1 - -1) + 125 a prime number?
True
Let i(c) = 842*c + 7. Let h = -120 - -122. Is i(h) a prime number?
False
Suppose -17*s = -11*s - 4206. Is s composite?
False
Let w = -4 + 5. Let m be (1 - -5)/(w - 0). Suppose 4*u - 497 = 5*c, -2*u = m*c - c - 241. Is u a prime number?
False
Suppose -2*o - 5361 = -5*x, -6 = -3*o - 0*o. Suppose p - x = 1632. Is p composite?
True
Suppose 0 = 2*b - 3*b + 1239. Let t(o) = 42*o - 347. Let a be t(10). Suppose -a = 2*d - b. Is d composite?
True
Suppose 0 = 5*o - 5*u + 5, -5*o - 4*u = -3*o - 28. Suppose o*i = 8*i - 1268. Is i prime?
True
Let h(q) = 272*q + 309. Is h(46) a composite number?
False
Suppose -h + 25081 = -105*s + 110*s, 2*h + 15059 = 3*s. Is s prime?
False
Let u = -28 + 192. Let h = 322 - u. Is h a prime number?
False
Let h(s) be the third derivative of 0 + 5/6*s**3 + 0*s - 5/24*s**4 + 8*s**2 + 7/60*s**5. Is h(-5) composite?
True
Let c = 9 - -31. Let w = c - 21. Is w a prime number?
True
Let j(m) = -m**2 + 7*m + 7. Let i be j(6). Suppose -16*h = -i*h - 267. Is h a prime number?
True
Suppose 3 = 2*d + 5*l - 6*l, -5*d + 3 = 2*l. Let w(f) be the first derivative of 127*f**3/3 - 1. Is w(d) composite?
False
Suppose -3*o + 8 = 2. Let w be (-4*1)/(0 - (-10)/(-15)). Suppose -o*r + w*r - 204 = 0. Is r a prime number?
False
Suppose 2*h = -3 + 9. Let u(d) = d**2 - 13*d + 26. Let b be u(11). Suppose 311 = b*s + y, -331 = -s - 3*s + h*y. Is s a composite number?
False
Let w(g) = -11*g + 6. Let k be w(-3). Let x = 28 - k. Let c(t) = -t**2 - 22*t - 8. Is c(x) prime?
True
Let z(c) = -9118*c**3 + c**2 + c + 3. Is z(-1) a composite number?
True
Let w = 18 + -15. Suppose -4*s + 9*s - 632 = w*z, -5*s + 5*z + 630 = 0. Is s composite?
False
Let k = 116 + -113. Suppose -i - m = -k*i + 6498, 2*m = i - 3243. Is i prime?
True
Suppose 4*i - 411 = 5177. Is i prime?
False
Suppose 20*p = 15*p + 9805. Is -2 + p/13 - (-10)/65 composite?
False
Let f = -2189 - -3900. Is f prime?
False
Let c(l) = 8*l**2 - 37*l - 236. Is c(-13) a composite number?
False
Suppose -r = -36 - 17. Let g = r - -170. Is g a composite number?
False
Let f(k) = -k**3 - 16*k**2 + 36*k + 7. Let g be f(-18). Let s be (-3 - -2) + 1 - -30. Suppose -g + s = l. Is l prime?
True
Let w(j) be the first derivative of 299*j**2 - 3*j - 5. Is w(2) prime?
True
Let b(v) be the second derivative of 157*v**6/360 - v**3/3 + v. Let x(u) be the second derivative of b(u). Is x(1) a composite number?
False
Let k(h) = h**2 - 4*h + 6. Let t be k(4). Let y(s) = -45*s**3 - s**2 - 6*s - 1. Let u be y(-2). Suppose u = t*q - 197. Is q prime?
False
Let r(c) = 37*c - 8. Is r(37) a prime number?
True
Is (2 - 870/(-27)) + 18/(-81) a prime number?
False
Let u(z) = z - 14. Let j be u(12). Is (-555)/j - 10/20 prime?
True
Let w(t) = -88*t - 47. Is w(-16) a prime number?
True
Suppose 5*h = -23 - 2. Is h*(-12 - (2 + -3)) a composite number?
True
Let o(s) = s**2 - 14*s + 17. Let z be o(13). Suppose 0 = -5*f - 0 - 5, -2*f - 358 = -z*m. Is m a composite number?
False
Let y be (0/4)/(0 - -1). Suppose -5*t + 0*t + 5 = y. Is 2/6*t*363 composite?
True
Let w be 165/2*120/36. Let x = 494 + w. Is x composite?
False
Is 6/(-8) - (192981/(-4))/3 a prime number?
False
Let a(m) = 5*m**2 - 4*m - 3. Let k be a(4). Suppose -z + 297 = k. Suppose 4*y = 4*o + 448, -2*y + o - 3*o = -z. Is y a composite number?
True
Let b = -8 + 9. Suppose -c = -5*s + 10, -b = -2*s + 2*c + 3. Suppose -4*a - 1192 = -4*u, 4*u + s*a - 790 = 432. Is u composite?
True
Suppose 5*v + 14 = 169. Is v prime?
True
Let t be -2 + 1 - (15 + -20). Suppose -t*k = -1045 - 5911. Is k a composite number?
True
Let s(r) = 25*r**2 - 70*r - 31. Is s(28) prime?
True
Let q = -5 + 13. Let g be 765/60 - 6/q. Let j(m) = 4*m**2 + 10*m - 15. Is j(g) a composite number?
True
Let u = -9 - -14. Suppose z - 342 = -5*m, u*z - 2*z = -5*m + 976. Is z prime?
True
Let u = -265 + 262. Let n(t) = -13*t**2. Let g(y) = y - 1. Let a(j) = 2*g(j) - n(j). Is a(u) composite?
False
Suppose 0*u - 3*g + 20242 = 5*u, 3*u = 4*g + 12151. Is u a prime number?
True
Let o(b) = b**2 + 11*b + 3. Let s be o(-9). Let x be (-3)/(3 - s/(-4)). Suppose x*i - 993 = 2*y - 3*y, 2*i - 474 = 4*y. Is i prime?
False
Suppose 3*m - 2*m + 673 = 0. Let k = -342 - m. Is k composite?
False
Suppose 4510 = -b + 12*b. Suppose -q + 119 = 2*j - b, -j + 261 = 4*q. Is j prime?
False
Suppose 10*i - 355 = -65. Suppose 3*s + 5*h = i + 64, -5*s + h = -155. Is s a prime number?
True
Let w be (6 - 8) + (1 - -2). Suppose j + 4*f + w = -f, 2*j - 7 = -f. Is 2/(1034/(-259) + j) prime?
False
Let v(a) = 2*a - 6. Let t be v(2). Let n(h) = -36*h**3 - 4*h - 3. Is n(t) a composite number?
False
Let j(a) = -a - 1. Let g be j(2). Let q(z) = -15*z**3 - z**2 - 4*z + 1. Let v be q(g). Suppose -6*l = -3*l + k - 421, 0 = 3*l - 2*k - v. Is l prime?
True
Suppose 0 = 2*o - 5*o. Let g = 6 - 4. Suppose o = g*y + y - 1923. Is y a composite number?
False
Let p(v) = -168*v - 5. Suppose 7*c + 43 = 8. Is p(c) composite?
True
Let q be (2 + -3 - 1)*42. Let b = 133 + q. Suppose 2*l - 3*z = b, 5*l - z = 3*z + 119. Is l a prime number?
True
Let s(b) = -b**2 + 6*b - 9. Let d be s(4). Let a be (-200)/24 + d/(-3). Let f(z) = z**3 + 9*z**2 - 7*z + 7. Is f(a) composite?
False
Suppose 21 = 3*t + 3*k, -3*t + 0*k + 1 = -2*k. Let x be 8/(-6)*114/(-4). Suppose g - 5*g - t*y = -172, 0 = -g - 2*y + x. Is g a composite number?
True
Let k be 2/(3/(-24)*-2). Let g(c) = c**3 - 7*c**2 - 7*c - 7. Let n be g(k). Is n - -1 - (-1 - 146) composite?
False
Let h = -14 - -20. Let g(v) = 133*v + 13. Let c be g(h). Let n = c - 516. Is n composite?
True
Suppose -255 - 237 = -4*m. Suppose -2*f + 5*i = -187, 2*i = 4*i + 6. Let g = m - f. Is g a prime number?
True
Suppose 4*x + 2*g = 4786, 3*x - 2*g + 5984 = 8*x. Is x a composite number?
True
Let c = -2765 + 4090. Suppose -c = -3*t + 8*t. Let h = 662 + t. Is h prime?
True
Let a(r) = 74*r**2 - 27*r - 28. Is a(9) prime?
False
Suppose -267 = o + 179. Let z = o - -268. Let p = z + 369. Is p a prime number?
True
Let f(p) = 4*p + 0*p - 4*p**3 + 6*p**2 + 0*p - 3*p**2 + 29. Is f(-6) prime?
True
Let q = -1580 - -140. Let w = -941 - q. Is w a composite number?
False
Let d(k) 