?
False
Let p(r) = -3*r**3 - 9*r**2 + 9*r + 7. Let c be p(-9). Suppose -5*t + 5*g = -2735, 0 = 2*t + 5*g + 262 - c. Is t a composite number?
True
Let c(f) = 1398*f**2 - 2*f + 7. Is c(3) composite?
False
Let o = 34 + -39. Let u(c) = -3*c**3 - 6*c**2 - 6*c + 2. Is u(o) a prime number?
True
Let y be 60 - (9 - 4 - 1)/(-2). Suppose -b + 121 = -3*z, -3*b - 5*z = -453 + y. Is b prime?
True
Suppose -5*b + s + 13 = 5, -3*b + 5*s + 18 = 0. Suppose 4*m - 132 = -3*o, 3*o - 29 = 4*m - 185. Suppose -a + m - b = 0. Is a prime?
False
Suppose q = t - 13073, 2*t - 26122 = -20*q + 16*q. Is t prime?
False
Is (-1 + 96176)*(-6)/(-30) composite?
True
Suppose 5*h - 5*l - 2527 = -l, -3*h - 5*l = -1494. Suppose 30*t - h = 29*t. Is t a composite number?
False
Let k = 100 + -95. Suppose 4*d - k*b - 1923 = 0, -43 = -d + 4*b + 424. Is d prime?
True
Suppose -132*v = -137*v - 20. Let l(s) = -43*s**3 + 3*s**2 + 2*s + 5. Is l(v) a prime number?
True
Let a = -360 + 648. Let p be (64/(-6))/((-2)/a). Let u = p - 283. Is u a composite number?
True
Suppose -5*c + 9973 = -4*n, -3*n + 2*c + c = 7482. Let j = -1284 - n. Is j a prime number?
True
Suppose 60 = -2*y + 6. Let j = y + 23. Is (18/(-27))/(j/8754) prime?
True
Let h = -10768 + 17985. Is h composite?
True
Suppose -6*v = -6 - 6. Suppose 2*z - 3*r - r - 3826 = 0, -r = v*z - 3846. Is z prime?
False
Suppose 1 - 26 = -5*u. Suppose -u*p = j + 6, -3*j + 5*p + 6 = -56. Is (-4)/j - 1129/(-7) a composite number?
True
Suppose 2*j + 19 = 3*x + 1, 2*x - 2*j - 14 = 0. Suppose -3*f + 4362 = 3*s + 129, x*f = 0. Is s prime?
False
Is 14765*(-4 + 7 + -2) a prime number?
False
Let s(u) = -10*u + 3. Let c be s(-6). Is ((-2)/(-3))/(3/c) a composite number?
True
Let b = 22 - 43. Let r = 30 + b. Is (873/3)/(r/6) a prime number?
False
Suppose -3*w = -4 - 5. Suppose 0*k + 423 = w*k. Let m = 286 + k. Is m a composite number?
True
Let l(z) = 14281*z**3 + z - 1. Is l(1) prime?
True
Suppose -2*q - 5*b + 109589 = 0, -15*q - 219192 = -19*q + 4*b. Is q a composite number?
True
Suppose 2*d = -3*d - 1825. Suppose 2*q - 1802 = 2*p, -3614 = -5*q + q + 2*p. Let h = q + d. Is h prime?
True
Suppose 0 = 5*m - 5, -62336 = -3*r - 14*m + 15*m. Is r composite?
True
Let u(m) be the second derivative of -17*m**3/6 - 5*m**2 + 3*m. Is u(-13) composite?
False
Let u = 1 + 2. Suppose 3*h = u*i - 30900, -4*i - h = -7*i + 30902. Is i a prime number?
True
Suppose -5*s + 10 = 4*b - 6, b = -4*s + 4. Suppose -3*m + 255 = -3*x, -b*m - 4*x = -m - 269. Let u = 68 + m. Is u a prime number?
False
Suppose -2*d + 41 + 87 = 0. Let c be d/(-6)*(-27)/(-6). Let n = c + 113. Is n prime?
False
Let l(t) be the first derivative of 25*t**4/12 + 2*t**3 - 7*t**2/2 + 4*t + 5. Let g(s) be the first derivative of l(s). Is g(-6) composite?
False
Let r be (182/3)/((-22)/(-33)). Let c = r - 203. Let l = 177 - c. Is l a prime number?
False
Is 263/((9/(-15))/(4 + -7)) prime?
False
Let z = 11608 - 7965. Is z a prime number?
True
Suppose 4*c - 18931 = -7*c. Is c prime?
True
Let x(k) = 3*k + 11. Let j be x(-3). Let t = -5 - -8. Suppose 0 = -t*m + j*m + 97. Is m prime?
True
Let u(g) = -g**3 + 2*g**2 - 2*g + 2. Let i(c) = -c**2 + 14*c - 11. Let h be i(13). Let r be u(h). Let o(l) = 10*l**2 + 4*l + 3. Is o(r) prime?
False
Let t(j) = -39304*j + 31. Is t(-1) a prime number?
False
Let g = 2288 - 936. Suppose t - 1336 = 4*x - 8*x, -g = -4*x + 3*t. Is x prime?
False
Let z = 199 - -247. Is z composite?
True
Let r = 36 + 121. Is r a composite number?
False
Let d = 1799 + 3368. Is d composite?
False
Let x(o) = -5*o + 5 + 15*o + 24*o. Let s = -11 - -22. Is x(s) composite?
False
Let g = -5638 - -11361. Is g a prime number?
False
Let v be (-1 + 2)*-4 + (1137 - -1). Suppose -6*b = -v - 6396. Is b prime?
False
Is (-1056 + 2 + -7)*-7 a prime number?
False
Let y(j) = 34*j**2 - 26*j + 15. Let m be y(-12). Suppose 5*x - m = -4*f, 3*f - 4162 = -4*x + 8*f. Is x a prime number?
False
Let p(n) = 3*n**2 - 3*n - 2. Let x be p(-1). Suppose x*q - 1207 = 805. Is q a composite number?
False
Let o = 25 + -20. Suppose 0 = o*r - 2*r - 2127. Is r a prime number?
True
Suppose -702*g - 109773 = -711*g. Is g a prime number?
True
Suppose 0 = -5*f + 4*f + 316. Suppose 4*q - f = 2*s, -237 = -3*q - 5*s + 2*s. Is q a composite number?
False
Let p = 35 - 35. Suppose 61 = 2*m + u, p*u = 5*m + 3*u - 152. Is m prime?
True
Let u = 442 - 34. Let q = 953 - u. Is q composite?
True
Suppose 0*p + 12 = 2*p. Let m be -3 + p + (-5 - -4). Suppose -b + 401 = m*u, -4*u + 2*b + 152 + 654 = 0. Is u a prime number?
False
Let v = 17 + -10. Let x be (2/v)/(7/49). Suppose 0 = 5*j - r - 235, -5*j + 2*r + x*r = -250. Is j prime?
False
Let y(v) be the first derivative of 7*v**3 - 5*v**2/2 - 49*v + 5. Is y(8) a prime number?
False
Suppose 0 = -0*d + d - 4. Suppose l - 7 = -3. Suppose l*w + 57 + 703 = d*m, -4*m + 767 = 3*w. Is m prime?
True
Let a be (8/(-3))/(4/18). Let f(x) be the second derivative of -x**5/20 - 13*x**4/12 - 8*x**3/3 + 3*x**2/2 + 3*x - 2. Is f(a) prime?
False
Suppose -o + 18 = 5*o. Is (-124)/(-2) + -1*o a prime number?
True
Suppose 5*j + t = -55, 13 + 20 = -3*j + 4*t. Let h = j + 13. Suppose 2*v + v = -4*k + 561, -h*v = -k - 385. Is v prime?
True
Let l(q) = -8*q + 1. Let h be l(7). Let j be h/(-15) - 2/3. Suppose -2*n - 2*s = 3*n - 225, -j*n - 3*s = -144. Is n prime?
True
Suppose 4*o - 19140 = -4*n, 5329 = n + 4*o + 538. Is n a composite number?
False
Let s(f) = 2*f**2 + 2*f + 5. Suppose 0 = -d - 0*b - 2*b + 1, 4*d - 3*b = 26. Suppose 2*m = 3*m - d. Is s(m) composite?
True
Let g = -25 - -30. Suppose -g*u = 5*t - 0*t - 4420, 0 = -u + 5. Is t prime?
False
Let p(w) = 2*w - 2. Let l be p(0). Let b be 6/l + 2 - -1. Suppose b = r + 2*d - 42, 2*r - d = 4*d + 102. Is r prime?
False
Suppose 0 = 3*c - 3*y - 12, 12 + 3 = 4*c - 3*y. Suppose -765 = -c*a - 3*m, -2*m - 1271 = -5*a - 3*m. Is a prime?
False
Suppose -40500 = -3*n + 3*b, -3*n + 26*b + 40502 = 21*b. Is n composite?
False
Let x be ((-13)/1)/(2 - 3). Let f(c) = 7*c**3 - 14*c**2 + 16*c - 8. Let d(m) = -m**3 + 1. Let n(h) = 6*d(h) + f(h). Is n(x) composite?
False
Suppose -22*n - 5 = -23*n. Suppose -n*t + 5*j + 8145 = -0*t, -5*t + 3*j = -8135. Suppose -5*q = -3*h - t, 2*q - 250 = 2*h + 402. Is q a prime number?
False
Suppose 17556 = 2*x - 4*n - 2702, 0 = x + 5*n - 10115. Suppose -8705 = -14*d + x. Is d composite?
True
Suppose 0 = 4*z - 43 - 253. Let j = z - 72. Is j a prime number?
True
Let y(i) = 147*i**3 + i**2 - 2*i + 3. Let b(f) = f**3 + 1. Let t(j) = -2*b(j) + y(j). Is t(1) composite?
True
Let h(a) = 2*a**2 + a. Suppose 2*o = o. Let u be h(o). Suppose u = 5*w - 2*n - 381 + 3, 382 = 5*w - 3*n. Is w a composite number?
True
Suppose -2*h - 785 = 3*x, 2*x + 2*h + 404 = -118. Let w = x + 376. Is w prime?
True
Let d(z) = 52*z**2 - 5*z - 6. Let o be d(-3). Let i = o + -286. Is i prime?
True
Suppose 0 = d - n - 2782, 5*d - 5546 = 3*d - 4*n. Is d a composite number?
True
Let j(n) = 2996*n**2 + n - 7. Is j(4) composite?
False
Let j(b) = 55*b + 10. Let f be j(7). Suppose 4*i = f + 409. Is i composite?
True
Suppose 3*b = 2*l + 1087, l + 4*l = -b - 2726. Let z = l - -1066. Is z composite?
False
Let i be 1*189 - (-9 + (-21)/(-3)). Suppose a + 2*f - 622 = -a, a - 319 = -5*f. Let t = a - i. Is t composite?
True
Suppose 6 = -4*o + 2. Let d be o/(-2*(-1)/(-854)). Suppose 0 = 5*c - 28 - d. Is c a prime number?
False
Let d(n) = -n**2 - 6*n + 5. Let j be d(-7). Let q be (4/(-8))/(j/444). Let v = 32 + q. Is v a prime number?
False
Suppose -13*r = -14720 - 21303. Is r a prime number?
False
Let r(z) = -z + 4. Let x be r(2). Is (-2001)/(-3) - (x + -2) a prime number?
False
Let y(s) = 6*s - 3. Let i be y(5). Let f = 35 - i. Suppose -9*n + f*n + 521 = 0. Is n a prime number?
True
Is -1*12/(-4)*(-2447)/(-3) prime?
True
Let m = 9671 - 5110. Is m a composite number?
False
Suppose -449 = 2*y - 433. Let r(i) = 25*i**2 + 14*i + 23. Is r(y) composite?
False
Let j(s) = 4*s**2 + 3*s - 29. Suppose t + 8 = 20. Is j(t) a composite number?
True
Let j = -27 - -30. Suppose -j*v - v = c - 201, -3*c - 4*v = -635. Is c a composite number?
True
Suppose 1651 = n + 388. Suppose 0 - 8 = 4*h, -3*b + 3*h = -n. Is b a composite number?
False
Let a(j) = 18*j**2 - 19*j - 32. Is a(-9) a prime number?
True
Suppose -3*c - c = 28. Let g = -3 - c. Suppose 5*d - 130 = y