= t + -793. Is q prime?
False
Suppose 5*h - 4*q = 2458, -2*q = -3*h - 0*h + 1474. Suppose 4*b - h = 2*b - 4*k, 0 = 4*b + 5*k - 968. Suppose -2*w + b = w. Is w a composite number?
False
Suppose -w + 1 = 2*n, -4*w - w - 25 = 0. Suppose 0 = 2*i + 3*r - 9332, -8*i + n*i = 4*r - 23323. Is i composite?
False
Suppose -3*i = -2*g - 286509, 3*i - 286497 = 13*g - 9*g. Is i a prime number?
True
Let b(f) = 37088*f**3 - 6*f**2 + 8*f - 3. Is b(1) a composite number?
False
Let j be (-1)/((-4)/436) + -5. Suppose u = -2*r + 839, -2*u + 317 = r - j. Is r prime?
True
Let d be 138/(-7) + 32/(-112). Let b be 26/(-5)*d/(-8). Is 14/(-8)*4316/b prime?
False
Suppose 2*d = 5*g, d + 0*g - 9 = -2*g. Suppose 5661 = d*f - 6784. Is f prime?
False
Suppose 0 = -4*v - c + 127515, 2*v - 23769 - 39964 = 3*c. Is v a composite number?
True
Let v(g) = 15*g**3 + 3*g**2 + 2*g - 24. Let w be v(4). Let p = 549 + w. Is p a prime number?
False
Suppose -12*u - 166 = -22. Is ((3824/u)/(-2))/((-4)/(-42)) a composite number?
True
Is 6/(-7) - 7/(1568/(-1363232)) a composite number?
True
Let t(h) = -45*h**2 + 15*h + 2. Let n be t(7). Is n*(3 + (-42)/12) a composite number?
False
Suppose 70*j = 65*j - 810. Let i = j - -991. Is i a composite number?
False
Suppose -2*z = -3*r + 891, -2*z + 575 = 4*r - 613. Let i = -195 + r. Let w = i - 35. Is w prime?
True
Suppose -680*x = -697*x + 269807. Is x prime?
False
Let v be ((-42)/49*-1)/((-6)/(-28)). Suppose 6*b - v*b = 37186. Is b composite?
False
Let k = 240032 + -143773. Is k a composite number?
False
Suppose -5*r - 5*n = -346405, -38*n = r - 42*n - 69266. Suppose -5*l + 63603 + 23012 = 5*m, -4*m + r = -3*l. Is m a prime number?
True
Let r be -1*3 + -25160*9/(-6). Suppose -23*m = -14*m - r. Is m composite?
True
Let b(i) = 87*i + 205. Let a be b(-8). Let r = -282 - a. Is r a composite number?
True
Is 3 + ((-72)/6 - -99770) a composite number?
False
Suppose 0 = -206*k + 25402909 + 39599773. Is k prime?
True
Suppose 5*a - 14 = -2*t, -4*a - 5 + 13 = 0. Let s(u) = 130 - u**2 - 3*u + 2*u + 252 - t*u. Is s(0) prime?
False
Let s(d) = 2*d**2 + 30*d + 31. Let x be s(-14). Let f be x/(635/(-158) + 4). Let o = 341 - f. Is o prime?
True
Suppose 660 - 1934 = -14*q. Is 2051*(143/q + (-8)/14) prime?
False
Let k(b) = 8*b**3 - 28*b**2 + 83*b - 2156. Is k(33) a composite number?
True
Let m(c) = 2*c**2 - 13*c + 14. Let k be 435/85 - 2/17. Let a be m(k). Is 49/(((-1)/(-5))/(a/(-5))) prime?
False
Let k(r) = 22*r - 23. Suppose -4 = -7*h + 8*h. Let l be (15/2)/((-2)/h). Is k(l) a prime number?
True
Let z(p) = -p**3 - p + 2. Let c be z(1). Suppose c = 2*u + 3*f + 814, 0 = 2*u - f - f + 824. Let j = -243 - u. Is j a prime number?
True
Let p be 1/7 + 81/21. Suppose p*s - 2*f + 5*f = 13550, -s + 3387 = f. Is s a composite number?
False
Let z = -30 - -34. Suppose g + z*p - 260 = 500, 5*p + 1494 = 2*g. Let r = -273 + g. Is r a composite number?
False
Let s(a) = 90*a**2 + 4*a - 6. Let p be 3/(15/(-65)) - -2. Let n be s(p). Is 6/(-9) - n/(-24) prime?
False
Let r(x) = 3*x + 6. Let d be r(0). Let t be 1/2 + (1 - (-21)/d). Is 479*((-3 - 1) + t) a composite number?
False
Is (-20 + 13 + -3 - 370708)/(-5 + 3) a prime number?
True
Suppose 4*q - 12 = -0*q. Let l = 1553 + -1001. Suppose -1641 - l = -q*u. Is u composite?
True
Let y(o) = -o**3 + 4*o**2 + 17*o - 10. Let b be y(6). Is 10/b*2*7073 a composite number?
True
Is 4327840/140 + -1 - 16/14 a composite number?
False
Is ((-76325804)/664)/((-2)/4) composite?
False
Suppose -k + 3 = 0, 3*k = -3*r - 23 + 86. Suppose -40 = 10*m - r*m. Suppose 1613 = -3*p + m*i + 4742, p = 2*i + 1043. Is p prime?
False
Let k = -101368 - -209981. Is k a composite number?
True
Let i = 2218 + 67. Suppose 0 = 3*v - 4*s - i, 2326 + 738 = 4*v - s. Let t = -412 + v. Is t a prime number?
False
Suppose 246*l - 64795605 = -153*l. Is l composite?
True
Suppose 5*a + 5*h = 286659 - 72584, 5*h = 4*a - 171260. Is a a composite number?
True
Let u be (-4 - 101/(-2))*(-6)/9. Let a = -28 - u. Suppose -591 + 7758 = a*z. Is z a prime number?
True
Suppose -4*r = 6*r - 40. Suppose r*x + 0*y - 12813 = 5*y, 0 = -2*x - y + 6417. Is x prime?
False
Let r be (-1 - (-1)/(-1))/((-4)/286). Let w = r - 142. Is (0 - w) + (0 + 6)*78 a prime number?
True
Let a = 3569 - 3312. Is a a composite number?
False
Let h = 185633 + 51845. Is h a composite number?
True
Suppose 7492 = u - 5*q + 2*q, 7460 = u + 5*q. Suppose -u - 1504 = -8*h. Is h a prime number?
True
Let g = -30 - -32. Let m = -34 + 320. Suppose m + 228 = g*b. Is b prime?
True
Let d(a) = 478*a**2 + 48*a + 14. Let q be d(18). Suppose 7 = g + 2, 5*p + 3*g = q. Is p a composite number?
False
Let v = 190 + -456. Suppose 0*m = -2*g - 3*m + 1, 0 = -2*g + 4*m - 6. Is ((-2)/g)/2 - v/2 a prime number?
False
Suppose -21*c = 14*c - 4882885. Is c composite?
False
Let w(t) = -t**3 + 19*t**2 - 17*t - 14. Let m be w(18). Let d be 2481/(-1) - ((2 - m) + -1). Let p = d + 4639. Is p prime?
True
Suppose 107417076 + 77134212 = 302*y - 20528154. Is y a prime number?
False
Suppose -68*a + 789094 + 469808 + 159170 = 0. Is a composite?
True
Is (5 + (640/24)/(-5))*-1*8529 a prime number?
True
Let i be (-1 - 90/(-4))*2. Suppose -i = -3*n - 34. Suppose -r = 4*c - 41 - 91, n*r - 56 = -2*c. Is c a prime number?
False
Suppose 5*z + 15 = -5*w, 6*w - 4*w - 14 = 2*z. Suppose 0 = w*j - 4*j - 8. Is (6 - j)/((-2)/(-23)) + 3 a prime number?
False
Is -19 + 34 - (-3566324)/1 prime?
False
Let k(g) be the third derivative of g**5/20 - g**4/4 + g**3/3 + 9*g**2. Let x be k(2). Suppose -6*w - 4 = -x*w, 3*i - w - 8500 = 0. Is i composite?
False
Suppose -5*k = -4*u + 1061509, -71*u - 2*k = -76*u + 1326899. Is u prime?
True
Let d be -2 + 0*(-5)/(-25). Let a be (d + -2)/(2/(-4)). Is 69/92 - (-5746)/a composite?
False
Let q be -4*1/8*54596. Is (-14)/(-91) - (2 - q/(-13)) composite?
True
Is ((-87730)/(-6))/1 - 22/33 a composite number?
False
Let c(x) = 2*x**2 - 3*x - 16. Let h be c(5). Suppose h*f - 43135 = 18900. Is f a prime number?
False
Let u(m) = -m**2 + 13*m - 22. Let c = 3 + 7. Let z be u(c). Let a(j) = 173*j + 15. Is a(z) prime?
True
Suppose -m + 2*m = t - 143, -t - m + 141 = 0. Suppose -3*l + t = -0*b - b, 2*b + 8 = 0. Let c = l + 367. Is c prime?
False
Let s(v) = 167*v + 9. Let r(c) = -c - 1. Let h(q) = 4*r(q) + s(q). Let x be h(7). Let f = x - 613. Is f composite?
True
Suppose -62 = -2*m + 4*p - 5*p, 91 = 3*m + p. Suppose -m*h - 16*h + 45405 = 0. Is h composite?
False
Suppose -22*o + 20*o = 2. Let f = o + 5. Let h = f + 139. Is h a prime number?
False
Let v = 43 - 41. Suppose 5*n - 4*g + v*g - 21 = 0, -2*g + 3 = 3*n. Suppose -z = -3*a + 5842, 1157 = 2*a - n*z - 2726. Is a composite?
False
Suppose -4*r + 2212762 - 510996 = a, -3*a = -4*r + 1701758. Is r a prime number?
True
Suppose 3*c - n = -15, -4*n + 14 = -4*c + 2. Let u(p) = -2*p**3 - 3*p**2 - 8*p - 7. Let d be u(c). Suppose -38*l + 37*l = -d. Is l a prime number?
False
Let t(v) = -7*v**2 + 11*v + 6. Let q be t(2). Suppose -x - 3*p - p = -31453, p + 4 = q. Is x a composite number?
False
Let w(l) = -2687*l**3 + l**2 - l - 1. Let t be w(-1). Is (-1)/(-2)*6 + t/6 a composite number?
True
Suppose 3*o = -1 + 1. Let m be -198 - o*1/(-2). Let l = m - -595. Is l composite?
False
Let p(o) = 3023*o**2 + 61*o + 391. Is p(15) prime?
True
Let r = -45 + 37. Let u be -15*1*(r - -7). Suppose -1055 = u*s - 16*s. Is s a prime number?
False
Is (-4)/126 - 2507005445/(-8379) a prime number?
False
Let q(t) = 12027*t + 919. Is q(4) composite?
True
Let s be 2*2/(-22) + 237135/165. Let v = 2445 - s. Suppose 4*t = 5*g - 5414, 4*g - 2*t + v = 5338. Is g prime?
False
Suppose 6 + 40 = 2*x. Let p = -21 + x. Suppose -3*f - p*f = 4*c - 9955, 2*f = -c + 2485. Is c prime?
False
Suppose -101*r - q = -96*r - 2848416, 13*q - 13 = 0. Is r a prime number?
True
Let g = -873223 - -1609284. Is g composite?
False
Let v(x) = -635*x + 63. Let b(j) = 212*j - 21. Let a(d) = 7*b(d) + 2*v(d). Let p be a(7). Is (6 - p)/(-1 + (2 - 2)) composite?
False
Suppose 3*h - 65521 = -b, -91 + 109 = -3*h. Is b a composite number?
False
Suppose -7*h + 5*h = -8. Let p be (h - -1600)*6/(-8). Let f = 5314 + p. Is f prime?
True
Suppose 0 = 3*d - 4*l - 18560, 59*d + 12360 = 61*d + 4*l. Let o = -2334 + -1061. Let s = o + d. Is s composite?
False
Suppose 3*y = 4*y - 4*x + 4, 4*x - 24 = -4*y