- 1342. Is y composite?
True
Let w(r) = -2*r**2 + 5*r - 7. Let o be w(-11). Let v = 2589 - o. Is v prime?
False
Suppose -3*i - 1023 - 279 = 0. Let t be -20*((-3)/6)/((-18)/(-1161)). Let x = i + t. Is x a prime number?
True
Suppose 0 = -y + 3 - 4. Is (-6198)/(-15) + y/5 a composite number?
True
Suppose -20*q + 2569025 = 5*q. Is q a composite number?
False
Suppose 32 = 7*z - 24. Is (-5)/(-20) - (-246)/z a prime number?
True
Suppose 5*s - 125 = -2*t, -2*s = -s - 4*t - 47. Suppose -4*z + i + 1173 = 0, -2*z - 4*i + 312 = -252. Let v = z - s. Is v composite?
True
Let h(v) = -9*v**2 - 13*v + 26. Let u be h(-20). Is u*3*3/(-18) a prime number?
True
Let k = -80 + 42. Let n = k + 136. Suppose -n = -0*x - 2*x. Is x a composite number?
True
Suppose 3*v + v = s + 11, 0 = -v + 5*s + 17. Suppose 4*g = -v*k + 12122, 8497 = 2*k - 5*g - 3616. Is k composite?
True
Let n(u) = 48*u**2 + 4*u + 3. Let w be n(-2). Let r = w - 30. Is r prime?
True
Let c = 805 - -1924. Is c a prime number?
True
Suppose 5*n + 4*m = -220, 0*n + 4*n = 3*m - 207. Suppose 34*q = 36*q + 230. Let l = n - q. Is l a prime number?
True
Let d(i) = -539*i - 25. Let m be d(-13). Suppose 6976 = 5*t - 3*a, -a = 3*t - 8*t + m. Is t a prime number?
False
Let m(p) = p**2 + 1. Let v be m(-2). Suppose 4*f + v*l - 61 = 37, 0 = -3*f + l + 64. Let o = 43 - f. Is o prime?
False
Suppose 24*w = 32*w - 77096. Is w prime?
False
Suppose -5*v - 3*b - 1 = 0, 4*b - 6 = -3*v - 0. Let p be v/(8/4)*0. Suppose -14 - 51 = -4*s + 5*y, s + 5*y - 10 = p. Is s a composite number?
True
Suppose 2*o = o - 5, 4*o = 5*b - 7015. Is b prime?
True
Suppose -g + 793 = -3*w, -5*w = 9*g - 7*g - 1542. Is g a prime number?
False
Suppose -4*k + 23 = 7. Let d be k/18 + (-28)/(-36). Is (-663)/(-6) - d/(-2) composite?
True
Let d(p) be the second derivative of -401*p**4/24 - 5*p**3/6 + 11*p**2/2 - 4*p. Let a(q) be the first derivative of d(q). Is a(-2) prime?
True
Let h = 9854 - -3384. Is h a prime number?
False
Suppose -9*a = -4*a - 20. Suppose 2*j + a*j - 21882 = 0. Is j a composite number?
True
Let d be (-3 - -1) + (-2 - -1). Let u be 2*((-9)/(-2) + d). Suppose u*c - 873 = -2*v, -3 = 2*v - v. Is c a prime number?
True
Let v(s) = 3*s**2 - 18*s - 40. Suppose 19*t = 22*t + 99. Is v(t) a composite number?
False
Let z = 1749 + -1069. Is z - 0 - (3 + -2) a prime number?
False
Let k be (4 - 5249)*4/10. Let z = k - -3053. Is z a prime number?
False
Suppose 3*y = -2*z + 2, -6*y + y + z + 12 = 0. Let v(t) = -y*t + 2 + 3*t - 4 - 6*t. Is v(-7) a prime number?
False
Let o = 33 - 0. Suppose -1585 = -38*y + o*y. Is y composite?
False
Let o be (290 - 2)/(-2)*(-132)/16. Suppose 2*p - 2246 = 3*f, p + 5*f - o + 91 = 0. Is p a composite number?
False
Let w(o) = o**2 + 6*o - 2. Let r be w(-6). Let g be (r + 5)*58/6. Let c = 51 - g. Is c a composite number?
True
Suppose -3*u + 32 = u. Suppose 7*a + 145 = u*a. Is a a composite number?
True
Let d = 402 + 647. Is d prime?
True
Let j(c) = -4 + 5 - 3 + 3*c**2 - 8*c. Let z be j(9). Suppose t - 4*h = 65, -2*t - 4*h = h - z. Is t composite?
True
Let x(o) be the first derivative of -o**3/3 + 3*o**2/2 - 5*o + 2. Let d be x(4). Is 2 - 3/(d/159) a prime number?
False
Suppose -2*d + 2*x + 114442 = 0, -5*d = 3*x - 163600 - 122505. Is d prime?
True
Let z(x) = x**3 - 9*x**2 - 21*x - 45. Is z(14) composite?
False
Let u be (-4)/(-6) + (-86)/(-6). Suppose 0 = 2*g - 119 - u. Is g composite?
False
Let m = 8854 + -5789. Suppose -40*h + 35*h = -m. Is h composite?
False
Suppose 3139 = 4*m + v, 0 = -7*m + 2*m - 5*v + 3905. Let z = 53 + m. Is z composite?
False
Suppose q + 3*g = -1 + 18, q = -4*g + 15. Let s = q + 8. Is s a prime number?
True
Let r(t) = 42*t**2 + 10*t - 11. Let k be (-9)/(-6)*(-26)/(-3). Is r(k) a composite number?
True
Let x be 10*1/4*2. Suppose -2*w + w - x = -3*q, 4*w + 20 = 3*q. Suppose q*i - 2*i = -1294. Is i prime?
True
Let z = 327 - 94. Let m = z + 24. Is m a prime number?
True
Is (-135)/(-15) - 152708/(-1) a prime number?
True
Suppose -7780 = -3*a + 2*d, -2*a + 855 = d - 4334. Is a a prime number?
False
Let q = 14615 - -2004. Is q prime?
True
Suppose -z - 5*y + 264 + 56 = 0, -y - 4 = 0. Suppose 0 = r + 4*f - 2055 - z, -3*r + 7185 = -5*f. Is r a prime number?
False
Let z be (-42 - -47)*(8/(-10))/(-1). Is 7575/z + ((-3)/(-12))/1 prime?
False
Let u(c) = -12*c - 10. Let v be u(5). Let d = 144 + v. Suppose 10*y - 8*y - d = 0. Is y composite?
False
Suppose u + o - 5733 = 0, 5*u - 2*o = 13882 + 14811. Is u a prime number?
True
Suppose 958 = 4*n - 230. Suppose 3*x = 4*h - 69 - 71, -2*x = 3*h - 122. Let q = h + n. Is q prime?
False
Suppose 4*z + 8318 = 2*g - 6368, -4*g + 3*z = -29387. Is g composite?
False
Let p(k) = k**2 - 3*k. Let n be p(4). Let o(a) = a - 6. Let f be o(n). Is -1*(f + 3*-493) prime?
True
Is 5834/10*(1*-10)/(-2) prime?
True
Let o(a) = 445*a - 11. Let i(p) = 891*p - 21. Let h(f) = -6*i(f) + 13*o(f). Let g be h(13). Suppose -2*d - g = 3*m - 8*m, 3*d - 4552 = -4*m. Is m prime?
False
Let t be 4/18 - (-602)/126. Suppose -612 = -t*k - 212. Let x = -27 + k. Is x a composite number?
False
Suppose 0 = 2*n - 10, 12*y - 7*y + 4*n = 20725. Is y a composite number?
True
Let t be (-1475388)/(-48) + 2/(-8). Is t/28 + 3/(-4) prime?
True
Let x be (-330)/(-27) - (-4)/(-18). Let t be x/2*(-8)/12. Is (1653/6)/((-2)/t) prime?
False
Let r(h) = 76*h + 9 - 5*h**3 - 68*h + 5*h**2 + 0. Is r(-5) a prime number?
True
Let v(n) = 4*n**2 - 43*n + 439. Is v(34) prime?
False
Is (184/16 - 10)/(3/11246) a composite number?
False
Suppose -2*l + 2 = -5*t + 7, -4*l = -3*t + 31. Let y be (l/4 - -2)*2. Is 1 - y - -81 - -2 composite?
True
Suppose 0 = 7*v - 0*v - 28. Suppose 0*q = v*q - 12. Suppose -5*z - 44 = -q*y + 50, 5*z = 20. Is y a composite number?
True
Let j(x) = -7*x - 7. Let q be j(-11). Let o be (-20)/q - 74/(-14). Suppose 469 = 4*a - 5*v - 234, o*v = 3*a - 526. Is a prime?
False
Let j = 3 - -6. Suppose 2149 = 10*s - j*s. Is s a composite number?
True
Let u = 107 + -102. Let y be (1 + -1)/((-6)/3). Suppose y*j - u*t = 5*j - 425, 0 = 3*j - 4*t - 255. Is j a prime number?
False
Suppose -4*v - l + 5 + 31 = 0, -3*l + 18 = 3*v. Let o(k) = -k**3 + 10*k**2 + 11*k + 17. Is o(v) a prime number?
True
Suppose -s + 4 = 3*s. Is (6/12*337)/(s/2) a composite number?
False
Let b be 22 - (4/4 - -3). Is (-9332)/(-14) - b/(-42) a prime number?
False
Suppose 0 = 5*a - 144 - 21. Let g = -23 + a. Suppose -5*s + g*s = 815. Is s a composite number?
False
Let a(c) = c**2 - 8*c + 3. Let w be a(8). Suppose w*s + 220 = -s. Let o = s + 92. Is o a prime number?
True
Let z(p) = 440*p + 51. Is z(19) a prime number?
False
Suppose y = 3*y - 4. Suppose -2*m = -3*m - y*j + 23, -2*j - 142 = -4*m. Is m composite?
True
Is (-151 - -2)/((-6)/258) composite?
True
Let v(d) = 1409*d - 116. Let z(i) = 282*i - 23. Let s(m) = 2*v(m) - 11*z(m). Is s(-8) composite?
False
Suppose 34 = 5*s - 356. Suppose 2*f + s = 5*f + i, 3*i - 134 = -5*f. Suppose 2*k - f = -3. Is k prime?
True
Suppose -5*z = -f + 81, -2*f - 2*z = -131 + 5. Let t = 121 - f. Let l = t - 0. Is l composite?
True
Suppose 85223 = 29*v + 17566. Is v a prime number?
True
Suppose 2*d = -45 + 151. Is d composite?
False
Let t be (1/(-2))/((-3)/78). Let f = t - 9. Suppose f*m = -106 + 782. Is m prime?
False
Let c = 137 - 41. Let u = 134 - c. Is u a composite number?
True
Let g(q) = 52*q**2 - 13*q + 7. Let s(a) = -104*a**2 + 25*a - 15. Let j(v) = 13*g(v) + 6*s(v). Is j(6) a prime number?
True
Let s be (-6 + 6)/(-1*2). Is 251510/(-105)*(s - (-6)/(-4)) a composite number?
False
Let h(s) = -s**3 - 2*s**2 + 26*s - 28. Let q be h(-13). Suppose 0 = -p + q + 1896. Is p a prime number?
True
Let x(i) = -2*i**2 - 10*i + 6. Let k be x(-5). Suppose 0 = -m + 2*s + 13, -3*m + k = s - 12. Suppose m*y - 744 = -2. Is y composite?
True
Suppose -4*w - 719 = 337. Let g = w + 661. Is g a composite number?
False
Let j(z) = 2*z + 6. Let b be j(-4). Let p = -13 - 0. Is (-6596)/(-52) + b/p composite?
False
Suppose c - 16 = 4*c + 5*g, -4*c - 4*g = 8. Suppose 12 = -4*m, c*x - 2*m + 6*m = 543. Is x a prime number?
False
Let j(m) = -m**2 - 4*m + 3. Let y be j(1). Suppose r + 3 = -2. Is (-3453)/(-5) + y/r a prime number?
True
Suppose -2*r + 21 = 5*y, 3*r + 2*r - 2*y = 9. Suppose 2*l + 3*l - 45 = -5*o, -5*o - r = -3*l. Let s = l - -27. Is s composite?
Tru