2 + 14*y + 131. Is t(12) prime?
False
Let z(g) = 846*g**2 + 577*g - 5691. Is z(10) a composite number?
True
Let z(g) = -g**2 + 6*g - 3. Let l be z(5). Let k be l/(-7) + (-48)/(-21). Suppose q - 734 = -5*n, 2*n - 2163 = -q - k*q. Is q prime?
True
Suppose 0 = -5*g + 3*d - 1350, 3*g + g - 4*d + 1080 = 0. Let x be ((-30)/75)/((-2)/g). Is 2/(x/(-6837)) + (-12)/54 a composite number?
True
Is 215/(-43)*(2/(-20))/(2/697148) a prime number?
False
Let l(q) = 2974*q**2 - 2*q - 1. Let g be l(-1). Let r(b) = -5*b**2 - 3*b - 4. Let o be r(16). Let c = g + o. Is c prime?
False
Suppose 5*o - m = 2*m - 19, 5*o + 5*m - 5 = 0. Let k be o/17 + (-86330)/(-34). Suppose -3*y + 5*f = -5842, 0 = -3*y - 2*f + 3310 + k. Is y a composite number?
False
Suppose 0 = -104*w + 109*w - 15. Suppose -3*z + h + 30725 = 0, 5*z + 13914 = w*h + 65117. Is z a prime number?
True
Suppose -189 + 191 = d, z - 5*d + 21 = 0. Let r(k) = 70*k - 138*k - 38 - 253*k. Is r(z) composite?
True
Let g = 6661 - 6656. Let v = 6 + -3. Suppose -i - v*i + j = -1052, 0 = g*j. Is i a composite number?
False
Let s(w) be the third derivative of 1379*w**6/720 + 5*w**4/24 + 15*w**2. Let y(f) be the second derivative of s(f). Is y(1) prime?
False
Suppose 17742736 = 54*p - 11976758. Is p composite?
True
Let p(v) = -v**3 + 5*v**2 + 8*v - 7. Let t be p(6). Suppose 5*b = -10 - t. Is -2 + 118 + (-9)/b composite?
True
Let z = 30746 + 49603. Is z a composite number?
True
Suppose o - 23*r + 20*r = 191636, -958141 = -5*o + 2*r. Is o composite?
False
Let v(c) = -309*c + 18. Let p(o) = -154*o + 9. Let x(z) = -5*p(z) + 2*v(z). Is x(5) a composite number?
False
Let x be (-5 + ((-3395)/(-10) - -2))*118. Suppose -3*s = 16*h - 13*h - 39735, 3*h - 4*s - x = 0. Is h a prime number?
True
Suppose -11*g = -14*g + 24. Suppose -11*o + g*o = -7971. Is o a composite number?
False
Suppose 4*y = 2*f + 731622, 3*f = 8*y - 4*y - 731621. Is y a composite number?
True
Let v(r) = -286*r**3 + 4*r**2 + 13*r - 2. Suppose 4*a + 2*g = -16, 5*a + g - 6 = -23. Is v(a) prime?
True
Let v(x) = x**2 + 13*x + 41. Suppose -25*d + d + 312 = 0. Is v(d) composite?
False
Suppose 9*m - 564 - 453 = 0. Let g = m - -332. Is g a prime number?
False
Let x(n) = 293*n - 15 - 117*n + 192*n. Let g be x(-3). Is (0 + -1)/(3/g) a prime number?
True
Let t be (54/24)/(-3)*-2532. Let a = t - -146. Is a a composite number?
True
Let i = -17527 - -30978. Is i a composite number?
False
Is 30/35 - 15541/(-21)*3 a prime number?
True
Let p be (-9176)/18 - 50/225. Let o = 833 + p. Is o a composite number?
True
Let i(j) = -j**2 + 8*j - 7. Let f be i(3). Suppose 2*l + f = 0, -15*b - 5*l = -11*b - 107424. Is b a composite number?
False
Let k(h) = 31292*h**2 - 1683*h - 3. Is k(-4) a composite number?
False
Suppose -3*k + 760444 + 179984 = 0. Suppose -4*t - 2*z = -k, -3*z = -5*t + 280347 + 111476. Is t a prime number?
True
Suppose 231911 = 5*n + 2*d, 2*n + 2*d - 102547 + 9779 = 0. Is n a prime number?
True
Let p = 1865985 + -761782. Is p a prime number?
True
Suppose -153*c - 5*y + 495907 = -149*c, -5*y + 123988 = c. Is c composite?
False
Suppose -4*m = -4*w + 195824, 0 = 2*m + 3 - 5. Is w a prime number?
False
Suppose 5*v + 20 = 0, -4*t + 3*t = v - 5. Suppose -3*j + 2*j = 0, 3*z = -2*j + t. Suppose 0 = -i + 6*h - 3*h + 1642, -5*i - z*h + 8264 = 0. Is i composite?
True
Let x be (-12 - (-16 + 6)) + 4/1. Suppose x*s - 3885 = -1087. Is s a composite number?
False
Suppose -6*p - 27 = -3*d, 0 = 2*p - 4*d - 0 + 6. Is (-204896)/(-64) + p/2 composite?
True
Suppose -n + 4*s = 19, n + 5*s = 21 - 4. Let l be (24/(-18) - -5) + (-1)/n. Suppose -12440 = -0*c - l*c - 2*r, 4*c = -3*r + 12442. Is c a composite number?
False
Let w = -380 + 385. Suppose -3*n + 32490 = 3*k, n = -0*k + w*k + 10836. Is n a composite number?
False
Suppose 2*p + 27 = -k, k - 139 = -5*p - 175. Suppose 0 = i - 3*a - 0*a - 9, i - 2*a = 8. Is (-1244)/(-7) - i/k a prime number?
False
Suppose 0 = 15*n + 3330 - 258435. Is n prime?
False
Suppose -42*x = 2*a - 39*x - 1023037, 2*x = 4*a - 2046066. Is a a composite number?
True
Suppose -b - 138 = -5*b + 2*x, 0 = 4*b - 5*x - 135. Let r be (-7)/(b/15) - -587. Let l = r - 369. Is l a composite number?
True
Let u(w) be the second derivative of -w**5/20 + w**4 + 17*w**3/2 + 37*w**2/2 + 8*w - 5. Is u(-16) composite?
False
Is (-995287)/(-6) + 7/(-756)*18 a prime number?
False
Suppose 0 = -k - 4*k - 20, 16137 = p + k. Is p a prime number?
True
Let m = -28369 - -12408. Let y = 26394 + m. Is y a prime number?
True
Let g be (-12)/54 - 58/(-18). Let q be (23 + -21)/(((-3)/16)/g). Is (q/(-20))/4 + (-3306)/(-10) composite?
False
Suppose -3*b = 4*j - 750, 2*b - 489 = -0*j + j. Let c = b + -176. Let s = c + 45. Is s composite?
True
Let m = -345 - -355. Is 40910/m*(-1 - -4) a prime number?
False
Let f(v) = -43*v**3 - v**2 + 14*v + 32. Let d be f(-2). Let w = d - -222. Is w composite?
True
Suppose 0 = -21*k + 23*k - 8. Suppose 4*a = 0, -w - 2*a = -k*w - 12. Is 6/w - (-9273)/66 prime?
True
Suppose 12*u = -7*u - 35625. Let p = 5262 + u. Is p a composite number?
True
Let s = 287 - 274. Suppose 0 = s*p - 4*p - 13329. Is p a prime number?
True
Suppose 2*y - 267 = -5*n - 8, 3*n = y - 157. Suppose 1 = 5*s - 19. Suppose -s*r + i - 82 + 595 = 0, -r + 3*i = -y. Is r composite?
False
Let n(c) = -29*c + 3. Let r be n(-1). Suppose r*g = 42*g - 52090. Is g prime?
True
Let h(c) = 799*c**2 - 88*c + 6. Suppose -40 = -7*y - 5. Is h(y) composite?
False
Let f = 53536 - -58791. Is f prime?
True
Suppose -5*u - 740 = -3*u. Let w = u - 88. Let b = w - -1159. Is b prime?
True
Suppose 2*n = 9*n - 140. Let k be (-100)/(-6)*(n - 2). Is ((-6 - -4) + k)/(4/10) prime?
False
Let b(v) = -695*v**3 + v**2 + 1. Suppose -4*u + 67 = 23. Suppose 6 + 5 = -u*y. Is b(y) a prime number?
False
Let s = 250024 + -131189. Is s composite?
True
Let a = 253 + 3. Suppose 4*j - 6*b + a = -3*b, -b = -2*j - 128. Let l = 51 - j. Is l composite?
True
Let c(h) = -h**2 - h + 2. Let n be c(2). Let o(g) = -5*g + 12. Let y be o(n). Suppose 341 = f - y. Is f a composite number?
False
Suppose 5158 = 4*w - 3582. Let a = 4050 - w. Is -14*a/(-22) + (-2)/(-11) composite?
False
Let b be (-2)/(-27)*3 - (-2966)/18. Suppose 0 = -4*w + 4*v - 9*v + 211, b = 3*w - 3*v. Suppose c + z = 59 - 2, -c - 4*z = -w. Is c composite?
True
Let b(c) = 82*c**3 + 3*c**2 - 2*c - 1. Let q be b(3). Suppose 8*g - 5332 = 12*g. Let d = g + q. Is d composite?
True
Let u = -5964 + 8125. Is u composite?
False
Suppose 5*o - 257 = -237. Is ((-14)/o)/(-7) - 40023/(-6) a composite number?
True
Let z(s) = s**2 - 7*s - 61. Let h be z(12). Let d(a) = -788*a**3 - 2*a**2 - 9*a - 8. Is d(h) composite?
False
Suppose -3*o = 3*g - 3, 3*g = o - 9 + 4. Suppose 2*a = -3*f + 1317, 3*f - 2631 = -4*a - o*f. Let s = a - -1085. Is s a composite number?
True
Suppose -4*i = j + 2*j + 50, 5 = -i + 3*j. Let n be (-2)/4 + i/(-22). Suppose -s - 2*y = -n*s - 1949, -5*s = 3*y - 9745. Is s composite?
False
Suppose -3*i = 93333 - 303611 - 45673. Is i a prime number?
False
Let m = 52374 - -8761. Suppose 104*a - 99*a = m. Is a prime?
True
Suppose -433349 = -h + 2*l, -5*h - 4*l = -1478603 - 688226. Is h a prime number?
True
Let m(l) = 675*l**2 - 106*l + 164. Is m(27) composite?
True
Let q be 119398/3*24/16*10. Suppose -5738450 = -60*n - q. Is n composite?
False
Suppose 2*j + 3*w - 14 = 0, 5*j + 3*w - 11 - 24 = 0. Let t(f) = f**2 - 6*f - 27. Let o be t(j). Is o/(-6)*186/4 a composite number?
True
Suppose 0 = i - 3*j - 4 - 5, -5*i - 2*j = -28. Let u be (216/(-60))/(i/(-320)). Let t = u + -130. Is t composite?
True
Suppose 11*q - 368 = -5*q. Let w = q - 2. Suppose 0 = -6*r + w*r - 345. Is r prime?
True
Let i(g) = g**2 + 2*g + 1. Let r(z) = -4*z**2 + 5*z - 4. Let b(k) = -3*i(k) - r(k). Is b(30) a prime number?
True
Suppose 12*p = 9*p + 2454. Let w = 1301 - p. Suppose 5*s - 2*v = 1255, -2*s - 2*v = v - w. Is s a composite number?
True
Let a(n) = -n**3 - 42*n**2 - 41*n + 27. Let b be a(-41). Suppose 63*t = b*t + 362196. Is t a prime number?
True
Suppose n - 2*o = -10, 0 = -3*n - o + 5*o - 30. Let i be (1 + 5/n)*15626. Suppose -5*u + 1422 = -i. Is u a prime number?
True
Suppose 10*g = 3*g - 14. Let n be (-4)/(-12)*g*-2232. Let i = n + -581. Is i composite?
False
Let a be 12287/(-22)*(-1 - -3). Let k = 1754 + 316. Let p = k + a. Is p a com