
Let k = -51 - -51. Let f(z) = -z + 451. Is f(k) a composite number?
True
Suppose 0 = 5*p - 12996 + 636. Suppose 4*f - f - p = -3*j, 4*f = 3*j + 3275. Is f a prime number?
True
Suppose -5*p = t - 9, -3*p + 33 = -0*t - 4*t. Is (-3 - t - 3697)*(-4)/8 prime?
True
Let v(f) be the second derivative of 67*f**3/6 - 5*f**2/2 + 7*f. Is v(12) a composite number?
True
Let w(k) = -6*k**2 - 4*k + 4 + 2 + 5*k**2. Let d be w(-5). Is 4/(16/148)*d a prime number?
True
Suppose -y - 4*x = -8 - 763, -5*x + 3795 = 5*y. Suppose 2*w + 506 = 2*s, w + y = 4*s - s. Is s a composite number?
False
Suppose -2*r + 80944 = 14*r. Is r a prime number?
True
Suppose -6*z = 4*z + 3620. Is z*(10/20 + 1/(-1)) composite?
False
Let n(j) = 48*j - 10. Let k = 15 - 27. Let t be k/42 - 102/(-14). Is n(t) a prime number?
False
Suppose 1969 = f - 5*c, 0*c + 1969 = f - 4*c. Is f a composite number?
True
Let m be 1*-262*(-12)/8. Let d be (-4)/((2/m)/(-1)). Suppose -3*h + 201 + d = 0. Is h prime?
False
Suppose -3*a = -4*a. Suppose -5*w - 552 + 2027 = 5*q, 3*w - 5*q - 869 = 0. Suppose a = l - 0*l - w. Is l composite?
False
Suppose 3517 = -22*j + 24*j + 3*w, -5*j = 4*w - 8782. Is j a prime number?
False
Let t(i) be the first derivative of -5*i**4/4 - 7*i**3/3 + 3*i**2 - i - 12. Is t(-6) a composite number?
True
Let s = 175 - 469. Let a = 77 - s. Let b = a + -180. Is b composite?
False
Suppose 0 = -5*p - k - 2, -15 = -5*k - 0*k. Let w(v) = -v - 1. Let d(c) = -c - 16. Let y(o) = p*d(o) + 5*w(o). Is y(-20) composite?
True
Suppose 14*b = -12*b + 23062. Is b a composite number?
False
Let h be 1/(-4 - (-4 - 1))*1931. Let y = h - 225. Is y a prime number?
False
Suppose 16 = -4*z, 2*v - 3*v - 2*z + 41 = 0. Let u = v - 27. Is u a prime number?
False
Suppose 3*j - j + 3*a = 9, -a - 10 = 5*j. Is -21 + 7361 - 1*j prime?
False
Suppose -5*z + 5*k - 158639 = -3*z, -4*k = -5*z - 396606. Is (z/51)/(2/(-3)) composite?
False
Let i = -246 + 392. Is (-5)/3 - -2 - i/(-3) a composite number?
True
Let a(b) = -8*b - 2. Let c be a(-1). Is 818 + c/((8/(-2))/(-2)) prime?
True
Let m be 28/(-6)*(-66)/77. Suppose 25 = m*h - 3. Is (113 - 10)/(1/h) composite?
True
Suppose 8*w = -19338 + 102578. Is w prime?
False
Is 33/(-2)*(-9 + (-1070)/30) prime?
False
Let l = 12 + 1. Let h be 3575/l - (-1)/(-1). Suppose 2*c - 599 = -5*s, -4*s + 195 + h = 5*c. Is s a composite number?
True
Suppose 2*u = -2*o - 1282, 0*u - 625 = u + 5*o. Let s = u + 904. Is s composite?
True
Let z(y) = -28*y**3 + 6*y**2 - 5*y - 1. Let u(k) = -k**3 + k**2 - k. Let p(s) = 6*u(s) - z(s). Let l(g) = -g**3 - g - 1. Let m be l(-1). Is p(m) composite?
True
Let r be 22/6 - 7/(-21). Suppose 0 = d + r*d - 20. Suppose -4*m + 92 = -d*z, 0 = 2*m - 0*z - 5*z - 49. Is m prime?
False
Let p = -6246 - -17833. Is p a prime number?
True
Let t be -1 + 3 + -9 + -1. Let p(b) = -b - 6. Let q be p(t). Let l(n) = n**3 + n**2 - 2. Is l(q) a prime number?
False
Suppose -5*h + m = -2*m + 15, 2*m = 10. Suppose h = -4*o - 3*n + 13, 4*n + 1 + 7 = o. Suppose 0 = 2*l - o*s - 241 - 133, 3*l = -s + 575. Is l composite?
False
Suppose j + v - 381 = -v, 5*j - 4*v - 1835 = 0. Let c = -93 + j. Is c a composite number?
True
Let l(m) = 54*m**3 - 2*m + 1. Let x be l(1). Let i(p) = -2*p**2 - 2*p + 9. Let v be i(-5). Let f = x + v. Is f a composite number?
True
Let h(g) = 7*g**2 - 3*g + 4. Suppose 57 = 4*f + 21. Let u = -6 + f. Is h(u) a composite number?
True
Let p(g) = 107*g**2 + 5*g - 7. Let t be p(5). Let h = t - 1804. Is h a prime number?
False
Suppose -6*n + 21 = -9. Suppose -n*g + 11074 = 1329. Is g a composite number?
False
Let o = 189 + 41. Suppose -109 - o = -3*z. Is z a prime number?
True
Let d(a) = -1588*a - 245. Is d(-16) prime?
True
Let n(c) = c**2 - 10*c + 0*c + c. Let j be n(-7). Let f = -75 + j. Is f a prime number?
True
Let d(u) = 2*u**2 - 8*u - 24. Let o be d(6). Suppose o = 20*b - 24*b + 3236. Is b a composite number?
False
Let y = 4 + -2. Is 79*((-1)/2)/(-1)*y prime?
True
Suppose n + 1 = 3. Suppose 0 = -46*r + 47*r - 28. Suppose -v + r = -3*s, 0*v = v - n*s - 31. Is v a composite number?
False
Suppose -3*w = -3*m - 2298, 12*w = 11*w + 3*m + 756. Is w a prime number?
False
Let s(u) = 54*u + 3 + 125*u - 2. Let t be 4 + (3 - -5)/(-4). Is s(t) prime?
True
Suppose -114*w - 13593 = -117*w. Is w composite?
True
Suppose 86*u = 88*u - 614. Is u composite?
False
Is ((-9888)/(-20) + 1)*25 composite?
True
Suppose 3*s + 2*s - 5 = 0. Let j be -3 - (12/(-3) + s). Suppose -4*y = -2*c + 402, j*c - 5*c + 1030 = -5*y. Is c a composite number?
False
Let p(q) = q + 6. Let i be p(-6). Suppose 3*t + 0*t + u - 2380 = 0, 2*t + 2*u - 1584 = i. Suppose 12*c + t = 14*c. Is c composite?
False
Suppose 3*o - 6 - 6 = 0. Suppose -u + 32 = 3*u - 4*x, o*x + 12 = 0. Let g(f) = 6*f + 5. Is g(u) composite?
True
Let w(i) = -2*i - 5. Let l be w(-8). Suppose 4*j = l*j - 7273. Is j a prime number?
True
Suppose -g = -2*r - 11, g = 3*g - 10. Let u(n) = -56*n - 5. Is u(r) a prime number?
True
Let o = 2346 - -1283. Is o composite?
True
Let y(l) = -670*l - 53. Is y(-6) a composite number?
False
Let i = 46 + -42. Suppose 0 = -i*h + 181 + 39. Is h composite?
True
Let y(w) = w**2 - 21*w + 23. Let q be y(19). Let j = 37 + q. Is j composite?
True
Suppose 0 = v - 4*j - 6205, -v - j - 3*j + 6189 = 0. Is v composite?
False
Let j = 114 + -110. Suppose 0*a - 1405 = -v + 2*a, -j*v + 5638 = a. Is v a prime number?
True
Suppose -m - 16*g = -13*g - 2179, -8716 = -4*m - 3*g. Is m a prime number?
True
Suppose -p = 5*t - 279, 5*p + 0*t - 1291 = t. Suppose -3*u - 2*z = -p, -2*u - 3*z + 264 = u. Is u a prime number?
True
Let h(q) = q**2 - 5*q - 1. Let p be h(7). Let k = -11 + p. Suppose -y + 548 + 209 = k*n, 4*n - 3024 = -4*y. Is y prime?
False
Let t = -636 + 1102. Let m(v) = 275*v**2 + v + 1. Let z be m(-1). Let k = t - z. Is k composite?
False
Suppose 5*i = h - 6*h + 19600, h + 3*i - 3916 = 0. Is 15/20 + h/8 composite?
False
Suppose 4*o + 0*o = 16. Suppose -h + o*i + 820 = 2268, 3*h + 4293 = -5*i. Let v = h + 2587. Is v a prime number?
True
Let f(u) = -180*u**3 + 8*u**2 + 14*u + 1. Is f(-6) composite?
True
Let d = -229 + 244. Suppose 0 = -5*q - 20, -34 = -0*u - 2*u + q. Is 2082/u*d/6 prime?
True
Let s(p) be the first derivative of p**5/12 - p**4/8 + 4*p**3/3 - 3. Let h(r) be the third derivative of s(r). Is h(8) composite?
True
Suppose 88*b = 43*b + 1212615. Is b composite?
False
Is (32691/(-204))/(1/(-4)) a composite number?
False
Let y = -9 - -15. Suppose 2*z - 3*j + 2*j - 4 = 0, -4*z - 5*j - y = 0. Is -1 + z - (-205 + 2) a composite number?
True
Let w be (-4)/(-4) + (-1 - -18). Suppose -3*a + w = -6*a. Is (-195)/a - (-6)/4 composite?
True
Suppose -2*x + a = 1, 2*x + a - 1 = -2*x. Suppose 5*j + 18 + 22 = x. Let m(w) = 7*w**2 + 8*w - 3. Is m(j) prime?
False
Suppose -r - 4 + 2 = 0. Is -3 + r*(-244 + 3) a prime number?
True
Let r(s) = -s**3 + 10*s**2 + 3*s - 4. Let l be r(7). Suppose -5 = c - l. Let g = c - 74. Is g a composite number?
True
Suppose 10 = 2*k + 8, 0 = i + 3*k - 31972. Is i a composite number?
True
Let p(m) = 133*m + 90. Is p(11) a prime number?
True
Is 14/(-21) + 43637/3 composite?
True
Let a = 24 + -21. Let j = a - -29. Let y = j - -1. Is y a prime number?
False
Let l(d) = 118*d + 157 - 164 + 66*d + 66*d. Is l(4) a composite number?
True
Let q = -3302 - -6939. Is q a prime number?
True
Is 145230/130 + (-4)/26 composite?
False
Let h(m) = 2*m**3 + 5*m**2 - 4*m + 1. Let x be h(-3). Is (50 - x)/(0 + 1 + 0) composite?
True
Suppose -5*y - 162 = 3*g - 2*y, -2*y = -4. Let r = -80 - g. Let o = r + 47. Is o prime?
True
Suppose q - 12 = -8. Let c(b) = 160*b - 5. Is c(q) composite?
True
Suppose -3*a + 5*o + 37 - 13 = 0, o + 6 = a. Suppose 0*l - a*l + 345 = 5*q, 0 = q. Is l a prime number?
False
Let a = 7 - 4. Suppose -3*b + 1186 = g, -a*b - 132 + 1303 = 4*g. Is b a prime number?
True
Let d = -87 - -53. Let v be (d/4)/((-1)/82). Suppose -5*n + 273 = 2*g, 4*g - 4*n - v + 81 = 0. Is g a composite number?
False
Suppose -5*h + 80 = -50. Suppose 5*v = 5*a + 2*v - 31, h = 4*a - 2*v. Is (20/a + -2)*706 prime?
True
Let n be (-72)/(-108)*(0 + 0 - -6). Suppose -n*f + 934 = -2*f. Is f prime?
True
Let f = -1537 - -3337. Let l = 2687 - f. Is l a composite number?
False
Suppose 5*y - 68285 + 10690 = 0. Is y composite?
False
Let i be -3 + (3 - (4 - 0)). 