 t be q(z). Let m = t + 1000. Is m a composite number?
True
Let j(u) = 25674*u - 67. Is j(5) a composite number?
True
Suppose 2 = 6*r - 28. Suppose r*s = y - 10, -2*s + 2*y = -y + 4. Is s/((-2)/(-3)*(-3)/339) prime?
False
Suppose -w = -3*o + 235276, -296*o + 299*o - 235301 = -4*w. Is o prime?
True
Suppose -362*c + 349*c + 2303197 = 0. Is c a composite number?
True
Suppose 6*a = 62076 + 28110. Suppose -2*o = -f + 2*f - a, 4*o - 45103 = -3*f. Suppose 4*w - 4*k - f = -k, 3766 = w + 5*k. Is w prime?
True
Suppose 3*y = 1031*v - 1030*v + 1482643, -3*v = 12. Is y a composite number?
False
Suppose 25 = -3*k + 7. Let v be 5/20 + 2/(k + -2). Suppose 3*u + 2*r = -r + 2568, 5*u + 2*r - 4271 = v. Is u a composite number?
False
Let w(x) be the third derivative of -x**6/40 - 7*x**5/12 - x**4/3 - x**3/6 + 9*x**2 - 5. Is w(-13) a composite number?
True
Let r be (-1)/(-2)*(9 - -23)/8. Suppose 6*l - r*l + 2589 = n, 5*n - 12907 = l. Is n composite?
True
Let l(y) = -3*y**2 + y. Let x(z) = 4*z**2 - 2*z + 1. Let u(s) = 3*l(s) + 2*x(s). Let i be u(3). Is i/(-75) + (-29263)/(-15) prime?
True
Suppose -4*h = -u - 977409, 0 = -h - 5*u + 121687 + 122639. Is h a composite number?
False
Suppose 12812 = 3*i - s, 32*i - 28*i - 17089 = -5*s. Is i a composite number?
False
Suppose 10 = 3*h + 5*x, 6 = 5*h - 4*h + 3*x. Suppose -5*s - 6250 = -5*u, h*s + 3*s = 9. Is u prime?
False
Let i(n) be the second derivative of -n**5/4 - n**4/4 - n**3 + 4*n**2 - 26*n. Let k be i(-6). Is k/20*(-10)/(-4) prime?
True
Suppose 32229 = 3*d - 4*u - 53832, 5*d - 4*u - 143435 = 0. Is d a composite number?
False
Let t(k) = -1795053*k + 1574. Is t(-1) a composite number?
True
Let j(z) = -z**2 - 13*z - 31. Let k be j(-19). Is 149*-5*k/25 prime?
False
Suppose 0 = 28*v - 975270 - 3297166. Is v a composite number?
True
Suppose 4*t - 3*g - 391081 = 0, -2*t + 69*g = 70*g - 195543. Is t composite?
False
Let f(x) be the third derivative of -x**4/12 - 4*x**3/3 + 6*x**2. Let r be f(-14). Suppose -15*d - 9235 = -r*d. Is d composite?
False
Suppose m + p = 35878, 0 = 5*p - 7*p - 2. Is m a composite number?
False
Let m = 58 - 137. Let v = -79 - m. Suppose v*r + 1744 = 2*r + 4*z, 4*z = 4*r - 3428. Is r a composite number?
True
Let h = -285 - -117. Let o be h/32 + 3/12. Is o/4 - (-61798)/88 composite?
False
Let s = -86 - -91. Let i(w) be the second derivative of 17*w**4/12 - w**3/2 + 5*w**2/2 + 13*w. Is i(s) a composite number?
True
Let h(b) = -307*b**2 + 12. Let n(m) = -8 + 87*m**2 + 105*m**2 + 13*m**2. Let z(v) = 5*h(v) + 8*n(v). Is z(-3) a composite number?
False
Let f(k) = -2*k**3 + k - 3. Let r be f(2). Let a(o) = 10*o**2 - 2*o - 3. Is a(r) a prime number?
False
Suppose 3*v - 24 = -3*v. Suppose u = v, y + 344 = -3*y - 4*u. Let m = y - -484. Is m prime?
False
Let b(v) = 1383*v + 122. Let i(l) = l**3 - 9*l**2 + 5*l + 27. Let z be i(8). Is b(z) a prime number?
True
Suppose -3*j = -5*z + 3*z + 4980, -2*z - 6 = 0. Let a(v) = 114*v - 19. Let q be a(-8). Let g = q - j. Is g a composite number?
True
Let x(n) = -n**2 + 20*n - 44. Let a be x(21). Let w = 64 + a. Is 901*5 - (-3 - w) a prime number?
True
Let b(x) = x**2 - 2*x + 1. Let u be b(1). Let c be u + (-227 - 8/(-12)*-3). Let o = c + 576. Is o a composite number?
False
Suppose 10*q - 2*q = -48. Is -2*(q/(-30))/(2/(-12055)) prime?
True
Let l = -27 + 22. Let q be 2/(-5) - 47/l. Suppose -q*a + 6*a = -423. Is a a prime number?
False
Let f(y) be the second derivative of -y**4/6 - 17*y**3/2 - 25*y**2/2 - 24*y. Let d be f(-25). Suppose d = 5*q - 4*q - 185. Is q prime?
False
Let v be 5/(35/7)*1201. Let l = v + -302. Is l composite?
True
Let b = 83 + -75. Is 2404/(((-30)/(-40))/(3/b)) composite?
True
Suppose -16 + 20 = -4*r. Let n be r/((-2 - 3)/35). Suppose -m + 4*i = -62, n*i + 119 = 2*m + 4*i. Is m composite?
True
Suppose -2*i - 2*d - 718 = 2*i, 5*i + 3*d + 896 = 0. Let m = 114 - i. Is m a prime number?
False
Suppose 0 = 40*u - 46*u + 71958. Let i = 18496 - u. Is i a composite number?
True
Is (-1549*1/(-1))/(31/4867) a composite number?
True
Let v = 507580 - 340319. Is v prime?
True
Suppose -18383 = -16*t + 12*t - 3*r, 0 = -4*t - 10*r + 18418. Let f be 1206*(-2 - 6/(-4)). Let k = f + t. Is k a prime number?
True
Suppose 0 = 3*x - 5*g + 1 + 18, 4*x + 4*g - 28 = 0. Let c be 9/(-6) + (-12)/(-8). Suppose -x*h = -c*h - 614. Is h composite?
False
Let h(l) = l**3 + 2*l**2 - 13*l + 7. Let a be h(-5). Let n be (a + 1 - -14)/((-6)/69). Let z = 269 + n. Is z a prime number?
True
Suppose 37*h + 265409 - 20801482 = 0. Is h composite?
False
Let q(v) = v**3 - v**2 - v - 82. Let z be q(0). Let b = 85 + z. Suppose 2*m + 3*m = 3*c - 208, -m + 214 = b*c. Is c a prime number?
True
Suppose -85*s = -80*s - 555. Let k be (-1)/(-1) - (1 + s). Let g = 414 + k. Is g prime?
False
Suppose 41*s - 1219985 - 733139 = 2105917. Is s a prime number?
False
Let r = 7253 - 6774. Suppose -4*z + 12 + 8 = 0, 4*d - 5*z - 3103 = 0. Let k = d - r. Is k composite?
True
Suppose f + 7342 = 4*z - z, -3*z - 4*f = -7352. Suppose -y = -2335 - z. Is y a prime number?
True
Suppose 13*g - 16*g + 110496 = 0. Let y(r) = -7*r**3 - r**2 - 3*r - 1. Let m be y(-1). Suppose 8*o + m*o = g. Is o composite?
True
Let n be ((-14)/(-6))/(1/24 + 0). Suppose i - n = -0*i. Let l = 111 - i. Is l prime?
False
Let r = 565 - 2130. Let f = r + 499. Let g = -731 - f. Is g a composite number?
True
Let f = 29 + -16. Let j(y) = -f*y**3 - 5 - 9*y - 3*y**3 + 8*y**2 - 15*y**2. Is j(-4) a composite number?
True
Suppose 484737 = -58*v + 67*v - 1457850. Is v a prime number?
True
Let z(d) = -d - 23. Let j be z(-31). Is (-460529)/(-92) - (-2)/j composite?
True
Suppose 2*j + 196 = 4*i, -2*j = -5*i - 4*j + 254. Is 2/5 - (-56130)/i prime?
True
Let g = -764 + 1536. Let z = 621 + g. Is z a composite number?
True
Let g(z) = -3929*z - 3533. Is g(-36) a composite number?
False
Let q(m) = 103*m**2 + 148*m - 545. Is q(18) a composite number?
False
Suppose -3*r + 10 = -3*p - 2, 3*p = -3*r - 6. Is (p/4)/((-12)/54224) a composite number?
False
Suppose -20*c = -8*c - 105828. Let t = c + -1366. Is t prime?
False
Suppose 129187 = 3*v - h, 3*v - 3*h - 37321 - 91862 = 0. Is v a prime number?
True
Let r(u) = 3*u**3 - 29*u**2 - 46*u - 45. Let d(f) = -7*f**3 + 60*f**2 + 91*f + 91. Let m(o) = 4*d(o) + 9*r(o). Is m(-21) prime?
True
Let u = 756 - 722. Suppose 43*i - u*i - 258831 = 0. Is i a prime number?
True
Let s = -188 + 192. Suppose u = s*q + 2106, 5*q = -5*u + 3042 + 7588. Is u prime?
False
Let i(z) = 826*z**3 + 7*z**2 + 74*z - 327. Is i(4) prime?
False
Suppose 16 = -3*t - t, 4*t - 624 = -d. Suppose 0 = 4*i + 4*o - d, 5*i + 0*i = o + 794. Let v = i - 110. Is v a prime number?
False
Let k(x) = 4234*x - 569. Is k(18) a composite number?
True
Suppose -33 = -4*i - 9. Let m(a) = -15*a - 12. Let d be m(i). Let r = d + 191. Is r a composite number?
False
Suppose 11*j = 2*l + 14*j - 32974, -5*l + 82453 = 3*j. Is l a composite number?
False
Suppose d + 12*v - 8*v - 302619 = 0, -1210516 = -4*d - 6*v. Is d prime?
False
Suppose -2*x + x = -130409. Suppose 7*i - 10*i + 4*r = -97783, -4*i - r = -x. Is i composite?
True
Suppose 38 + 49 = 29*p. Suppose 2*c + 4540 = 4*o, -2*o = -4*o - p*c + 2254. Is o composite?
True
Is ((-12991)/5)/((-170)/(-25) - 7) prime?
False
Suppose -3841029 = 74*b - 9275071. Is b prime?
True
Suppose -6847 = -3*a + 2*d, -7*d + 9096 = 4*a - 3*d. Let q = 3646 - a. Is q a prime number?
True
Let v(f) = 283*f**3 - f**2 + 2*f + 1. Let x(h) = 6*h - 28. Let q be x(5). Let d be v(q). Suppose -10*t + 29945 = -d. Is t a composite number?
False
Let o = -2450 + 4726. Suppose 5*q - q - 84 = 0. Is (-7)/q - o/(-6) a prime number?
True
Suppose -17*c + 21*c = 20. Let f(n) = 18 + c - 12*n**2 - 14*n + 1 - 161*n**3 + 162*n**3. Is f(15) a composite number?
True
Let f(p) = -4*p - 15. Let d be f(-9). Suppose 4*k - 5*g = d, 24 = 5*k - 2*g - 2*g. Suppose -t + 4*s = -3*t + 170, k*t - 360 = -4*s. Is t composite?
True
Let a(v) = -16*v**3 + 2*v**2 + v - 6. Let b be a(-3). Let n = 189 - b. Let q = 129 - n. Is q a prime number?
False
Let u = 10 - 25. Let c be 0 - u/(-3 - 252/(-88)). Let o = 145 + c. Is o a composite number?
True
Let u = -283404 - -630437. Is u a prime number?
True
Suppose 4701 = -2*q - 5*l, -4*q + 0*q = -4*l + 9388. Is (q/(-1 - -5))/(-1) a composite number?
False
Let i(c) = 1784*c*