pose -d + 3052 = 3*y. Is y prime?
True
Suppose 0 = 6*v - 20748 + 8466. Is v prime?
False
Suppose 147 = -3*l - 3*a, 0 = 2*l - 4*a + 8*a + 100. Let r be 3/((81/l)/9). Let k(v) = -v**3 - 15*v**2 - 12*v - 39. Is k(r) a prime number?
True
Let j(s) be the third derivative of s**6/120 + 3*s**5/20 - s**4/6 + 7*s**3/6 + 9*s**2. Let v be j(-9). Is -2 + 4 + v + 4 a composite number?
True
Suppose 29496 = -3*z - r, -3*r + 39328 = -4*z - 2*r. Suppose 0 = 3*f + m - 7, -f + 2*m = 0. Is (-7)/(168/z) + f/(-3) prime?
True
Suppose 2*x = 5*v - 834117, 0 = -5*x - 981 + 976. Is v a composite number?
False
Let r(a) = 12*a**2 + 4*a - 13. Let f(u) = -u**3 + 3*u**2 + 10. Let t be (-8 - -11)*(-4)/(-3). Let w be f(t). Is r(w) composite?
True
Let z(p) = 194*p**2 - 121*p - 71. Is z(-6) a prime number?
True
Suppose -22*n + 1381428 = 35*n - 21*n. Is n prime?
False
Let b(z) be the second derivative of 5/2*z**2 + 4/3*z**4 - 1/20*z**5 + 0 + 5*z + 5/6*z**3. Is b(10) prime?
False
Let a(n) = 16*n**3 + 2*n**2 - 2*n + 1. Let i be a(1). Let d(q) = q**2 + i*q**3 - 1 + 164*q**3 - 34*q + 21*q + 17*q. Is d(2) a composite number?
False
Suppose 209 = -2*d - 2*d - 3*t, 4*d + 229 = t. Let k = d + 68. Is (k - -2035) + (-1 - 1) prime?
False
Let y(i) = -5*i**3 + 2*i**2 + i - 1. Let c be y(-2). Let t = c + -47. Is (6 + 4)/(-5) + (97 - t) composite?
False
Let c = 675 - 673. Suppose 5*y - t - 41053 = -3*t, -c*y = -t - 16414. Is y prime?
True
Let v be 76*36 + (8 - 10). Let u = 910 + v. Suppose -u = -2*b - 2*b. Is b composite?
False
Suppose -18*p + 9 = -15*p. Let v(d) = -2*d + 5*d + p*d**2 - 17 + 4 + 17*d**2. Is v(4) a composite number?
True
Suppose 4*z = 3*k + 15905, 9*k - 7*k - 4*z = -10610. Let m = k + 7468. Is m composite?
True
Is (4 - 6)*(-103941)/18 + -8 a prime number?
False
Let o be (1/2)/((-2)/(-7596)). Suppose o = f + 2*f. Is f prime?
False
Let y = 359 + -145. Suppose -10*r = -1296 - y. Suppose n - r = 7*b - 3*b, -658 = -4*n - 2*b. Is n composite?
False
Let v(d) = d**2 + d + 2. Let i be v(-2). Suppose -3*p - 4*l = -1, 2*p + i*l - 1 = l. Is p*2 + -10 + 3875 a composite number?
False
Let s(j) = j**2 - 10*j - 79. Let x be s(-5). Is (21818/x)/((-5)/10) prime?
True
Let f = 32325 - 18880. Suppose 0 = -110*h + 127*h. Suppose -3*a + h*a + f = 2*l, l = 4. Is a a composite number?
True
Let y(h) = h + 10. Let f be y(-19). Let r(t) = -14*t - 12. Let i be r(f). Suppose -2*k = 0, -3*o - 5*k + 87 + i = 0. Is o a composite number?
False
Suppose 5*d + 24 = 44. Is 44 + 3 + d + -8 composite?
False
Suppose 0 = -2*l + 5*c + 81381, -5*l - 6*c = -5*c - 203466. Is l composite?
False
Let a(x) = 155*x + 56. Let w(f) = -78*f - 28. Let p(b) = 3*a(b) + 7*w(b). Let j be p(-10). Let s = -409 + j. Is s a composite number?
False
Let u = -25 + 27. Suppose -u*y + 299 = -1443. Suppose -122 = -3*m + y. Is m prime?
True
Suppose -4*o + 5*c + 12 = 0, -10*o + 7*o + 2*c = -9. Suppose -2*y + 6 = -0*y, -o*g + 4776 = -2*y. Is g composite?
True
Let b(c) = c**3 - c**2 - c + 2. Let p be b(2). Suppose -a = a - p. Suppose 3*i - a*i = 298. Is i a composite number?
True
Suppose 1423294 = 5*l + 6*s - 2*s, 5*s - 284663 = -l. Is (6/(-9))/(l/56934 + -5) a prime number?
True
Suppose 4*w - 16 = 2*v, -v + 1 = 3*w - 6. Is ((-54)/18)/(w/(-613)) a composite number?
False
Suppose 2*o = -3*n + 301336, n - 751121 = -5*o + 2258. Is o composite?
True
Suppose -847188 = -22*d + 2*z, -77013 = 8*d - 10*d + z. Is d composite?
True
Let f be 2 - -17 - (-24)/64*-8. Is (-12 + f)*4241/4 prime?
True
Let u(g) = 10*g + 214. Let c be u(0). Suppose -3*x + 353 = p, -5*x + 143 = p - c. Is p prime?
True
Let m(g) = 1031*g**2 - 622*g - 3683. Is m(-6) prime?
False
Let v = -203 - -212. Suppose -18713 = -v*q + 1852. Is q prime?
False
Let c be (-40)/(-540) + (-318)/(-81). Suppose c*s - 2*q - 7762 = 0, -6 = -3*q - 15. Is s prime?
False
Suppose -748044 = 32*x - 11*x - 6456873. Is x composite?
False
Suppose 3*i + 98 = -2*i + 4*h, 2*i = h - 38. Let j(b) = -b**2 - 17*b + 22. Let k be j(i). Suppose -6*v = -v - k*t - 13599, 5*t - 10912 = -4*v. Is v prime?
False
Suppose -70*g + 67*g - w + 109803 = 0, -3*g = 5*w - 109827. Is g a prime number?
True
Suppose -4*h - 8*l + 3*l = -123604, 2*h - 5*l - 61802 = 0. Is h a composite number?
True
Suppose 2*x + 0*i - 1801 = 3*i, 0 = -x - 4*i + 928. Let r = 2661 - x. Is r composite?
False
Suppose -z + 11628 = 3*z. Let w be -2*4/(-6)*3516/8. Suppose -w = 11*y - z. Is y a composite number?
False
Let f = 106 - 93. Suppose 1 = 2*l - 2*i - 3, 2*l - 11 = -5*i. Suppose 5*r + 58 - f = 3*d, l*d + r - 45 = 0. Is d prime?
False
Let o(h) = -3*h - 1. Let q be o(-2). Suppose 0 = 3*n + q*c - 320, 2*c + 3*c + 10 = 0. Is (-5)/(n/(-4)) + 15198/22 a prime number?
True
Let c be (-6)/(-27) + 132/(-108). Is c/(5 + 9672/(-1934)) prime?
True
Let t = 84749 - 56590. Is t composite?
True
Suppose 56*a - 991415 = -59*a. Is a prime?
False
Let w(v) = -v**3 - 10*v**2 - 2. Let z(r) = -r**3 - 10*r**2 - 3. Let i(y) = -4*w(y) + 3*z(y). Let q be i(-10). Is (0 - q)*(-6 - -1225) a prime number?
False
Let f be (-6)/(-15) + 2708/(-20). Let c = -242 - f. Let u = c - -298. Is u a prime number?
True
Suppose 65608 = -52*x + 1365452. Is x composite?
True
Let y be 1/2*(11799 - (6 - 9)). Let m = -2830 + y. Is m prime?
False
Suppose 63*u = 43*u + 1756520. Is u a prime number?
False
Let f(s) = 10*s**2 + 4*s + 279. Is f(-38) composite?
True
Let v(q) = q + 11. Let a be v(6). Suppose -a*u + 6*u = 836. Is -3*8/(-6)*(-11951)/u a composite number?
True
Let z(x) = -2*x**3 - 8*x**2 + 10*x - 5. Let q be z(-17). Suppose 2*n - 3*p - 19596 + 4904 = 0, n = -2*p + q. Is n a composite number?
True
Let z be 34*1 - (0 + 2). Let n(i) = z - 13*i + 7*i + 0*i - 19*i. Is n(-11) composite?
False
Suppose -28*d = 2*d + 110*d - 156431380. Is d composite?
False
Suppose -97*q + 103*q = 12. Suppose 3*s = -4*g + 19055, 2*g - 6351 = s - q*s. Is s a composite number?
False
Let o = 21206 + -13771. Suppose 2*y - o = -3*f, -5*f - 8604 = -2*y - 1129. Suppose -16*g = -11*g - y. Is g a prime number?
False
Let y = 964 - -269. Suppose -3*m + y = 90. Is m prime?
False
Suppose 5*f = -3*x + 34004, -686*f - 20422 = -689*f + x. Is f composite?
True
Suppose 0 = 2*j - 5*i - 76, -4*j - 3*i + i = -128. Suppose 4*h - 5*o - j = 0, -33 = -4*h - h - 2*o. Let b(s) = 344*s + 45. Is b(h) a composite number?
True
Suppose -4*r - 2*u + 26 = -40, -2*r - 4*u + 48 = 0. Is (r/21)/((-8)/(-58908)) composite?
False
Let q(b) = -15001*b + 527. Is q(-2) prime?
True
Suppose 41*v - 15 = 44*v. Let m be v - 114/(-22) - 18828/(-22). Suppose u = 5*u - m. Is u prime?
False
Suppose 8*b + 420 = -7*b. Is (-254)/((-24 - b)*2/(-4)) a composite number?
False
Is 85338/4 - 42/28*-1 - -5 a prime number?
True
Let x(z) = -7*z - 53. Let a be x(-11). Suppose -a*o + 8542 = -22*o. Is o composite?
False
Suppose 16*o + 53 + 59 = 0. Let i(d) = 5*d**2 - 9*d - 91. Is i(o) prime?
False
Is ((-41138135)/(-190))/(1/2) a prime number?
True
Let w = 126 + -121. Let l(v) = -10*v + 2245*v**2 - v + w*v - v - 7. Is l(-1) a prime number?
False
Suppose -7 = -4*t + c, -2*c = -2*t - 3*c - 1. Let n = t + 3. Suppose -2*k + n*o = -6*k + 6328, o = -3*k + 4748. Is k a composite number?
False
Suppose -8*j + 14 = -6*j. Suppose -j*z + 9*z = 4. Suppose 0 = 2*q + 5*t - 4191, 754 = z*q - 4*t - 3464. Is q a prime number?
False
Let m(s) = -5*s - 10. Let w be m(-4). Suppose w*q - 11*q + 3935 = 0. Is q a composite number?
True
Suppose 0 = -10*m + 47 + 1723. Let a(p) = p**3 + 2*p**2 - 4*p - 1. Let c be a(-3). Suppose -c*u + m = u. Is u a composite number?
False
Let n = -3590 + 43369. Is n a prime number?
True
Let a(h) = 8005*h - 3038. Is a(15) a composite number?
False
Suppose -590657 = -11*d + 1233429. Is d prime?
False
Suppose 7*x - 30 = 26. Let f be -3*(-3 - x/(-3))*2. Suppose -4*o - 8 = 0, f*q - 337 = q - 5*o. Is q prime?
True
Let h be (8/6)/((-16)/(-12))*7774. Let k = 18261 - h. Is k a composite number?
False
Suppose 0 = h + p - 3, h - 2*p = 0. Let s(w) = 2*w**2 - 3*w. Let b be s(h). Suppose -2*y + 22209 = 3*c, 0*c + b*y = 2*c - 14816. Is c a composite number?
True
Let u(l) = -l**3 + 2*l**2 + l. Let f be u(-1). Suppose 2*t - 2 = f. Suppose 4*w - 3812 = -t*g - 0*g, g + 1914 = 2*w. Is w prime?
False
Suppose 7*r = 13*r - 16596. Let i = -1385 + r. Is i prime?
True
Let r be (-11)/(66/(-31308)) + -3. Is r/2 + (-24)/(-16) 