4*n + 320 = 4*w, 2*n = -4*w + f + 61. Is w composite?
True
Is (-8)/44 - (-12069)/11 prime?
True
Is (-9)/(-9) + 10*43 a prime number?
True
Let a = 13 - -308. Is a a composite number?
True
Let q = 2 - -1. Let z be (1 - q - -8) + 2. Suppose 0 = 2*m - 5*j - z, -29 = -3*m + j - 2*j. Is m a composite number?
True
Is ((-2786)/(-21))/(33/9 - 3) composite?
False
Suppose -276 = -3*o - 0*o. Suppose -4*w + 2*w = -o. Let x = w - -13. Is x a prime number?
True
Let x(t) be the second derivative of t**4/4 - t**3 + 7*t**2/2 - 3*t. Is x(6) prime?
True
Suppose -c - 5*c = -4614. Is c a composite number?
False
Suppose -2 = 4*x - 10. Is 0 + x/2*259 prime?
False
Suppose -4*c = -g + 202, -4*g + 821 = 3*c - 6*c. Is g a prime number?
False
Suppose -4*f - 1021 = -j, 0 = -0*j + 4*j - 3*f - 4045. Is j a prime number?
True
Suppose 4*y - 2193 = 2651. Is y composite?
True
Suppose -5*d + 1065 = -4*p, 2*p + 15 = -p. Is d prime?
False
Let i = -591 - -2386. Is i a composite number?
True
Let v(c) = -c + 1. Let p be v(-4). Suppose -198 = -4*g - k, 0 = -p*g + k + 2*k + 239. Is g prime?
False
Let o(g) = 2*g + 4. Let p be o(-6). Let f be p/36 + (-2)/(-9). Is -1 - f - -26 - 2 prime?
True
Let d be -17 + -1 + -2 + 6. Let c be (-56)/16*24/d. Suppose -c*n + 3*n + 201 = 0. Is n composite?
False
Suppose 9*w - 390 = 753. Is w composite?
False
Let k = -18 + 22. Suppose j = 2*x - 433, k*j + 195 + 32 = x. Is x a prime number?
False
Let t(n) = -n**2 - 2*n + 4. Let w be 2/4 - 7/2. Let b be t(w). Is (127/(-4))/(b/(-4)) prime?
True
Let n be ((-2)/(-3))/(2/15). Suppose -3*q - 42 = -n*q. Is q prime?
False
Is (113/4)/((-6)/(-24)) a prime number?
True
Suppose 4*w - 29 = -3*h, 0 = 4*h + 4*w + w - 37. Suppose 0 = -5*b - h*u + 146, -38 = -b - u - 10. Is b prime?
True
Let q = -21 - -15. Let y(c) = -c**3 + 7*c**2 - 4*c + 5. Let h be y(6). Let b = h + q. Is b prime?
True
Suppose 863 = b - 0*b. Is b prime?
True
Suppose -49906 + 304 = -6*a. Is a composite?
True
Suppose y - 6*y + 10 = 3*u, -2 = 2*u - y. Suppose u = -3*v + v + 280. Is ((-1)/2)/((-2)/v) a composite number?
True
Is (60/(-18))/(-1*4/114) composite?
True
Let t(s) be the third derivative of s**4/4 - 5*s**3/6 + 5*s**2. Is t(2) a composite number?
False
Let w = -10 + 14. Suppose d = w*d + 4*l - 1475, -d = 4*l - 505. Is d prime?
False
Let b = 1004 - -2139. Is b a prime number?
False
Suppose 14 + 13 = 3*p. Suppose -5*u + 3*l + 54 - 17 = 0, -u + l = -p. Suppose -j + 2*z + 19 = z, -u*z = 25. Is j a prime number?
False
Let m(z) = 2*z**2 + 9*z - 3. Suppose -2*w + 3*w - 7 = k, w = -4*k - 33. Is m(k) a prime number?
True
Let f(q) = 82*q + 19. Is f(7) a prime number?
True
Let t be (-1)/1 - (-1540 + 0). Suppose -d - t = -5*s, 4*s - 4*d - 1655 = -411. Is s a prime number?
True
Is (3 - -334)/(-1 - -2) prime?
True
Suppose -2*i - 4 = -2*m, 3*m = -4*i + 2 + 4. Suppose 2*l + 0*l - 110 = i. Is l a prime number?
False
Let k = 14 - 12. Suppose k*v - 33 - 11 = 0. Is v composite?
True
Suppose -c + 0 = 9. Let p be (-34)/(-9) + (-2)/c. Suppose -p*o + 148 = -496. Is o composite?
True
Let s be -2 - 3/3*-4. Is (-1)/((0 - s)/254) a prime number?
True
Let c(o) be the third derivative of -o**5/60 - o**4/12 + o**3/2 - 3*o**2. Let v be c(-3). Suppose f - 161 - 56 = v. Is f prime?
False
Let l = -9 + 13. Suppose 0*o - o = -l. Let b(k) = 3*k - 3. Is b(o) composite?
True
Let n be (-1 - -4)*(-5)/(-5). Is n/(-9) + (-10)/(-3) a prime number?
True
Let h(j) = -j**2 + 2*j - 8. Let d(i) = i**2 - 2*i + 9. Let y(v) = 6*d(v) + 7*h(v). Let x be y(3). Is 34*1*x/(-5) a prime number?
False
Is 8/(-12) - 155/(-3) prime?
False
Suppose -3*y + 4*s + 326 = -129, 4*y = 3*s + 602. Is y a prime number?
True
Is (620 + -2)/(7 - 5) composite?
True
Suppose d - 6*d + b = -172, d = 2*b + 38. Is d a prime number?
False
Let j(h) = h**3 - 4*h**2 - 5*h + 2. Let v be j(5). Let g = -1 + v. Is 35/g + (-6)/(-3) prime?
True
Let j(p) = -4*p**2 - 11*p + 14. Let t(d) = -3*d**2 - 7*d + 9. Let x(c) = 5*j(c) - 7*t(c). Let o be x(5). Suppose -3*g + 13 = -o*g. Is g prime?
True
Is 4969/3 + -4 + (-84)/(-18) a composite number?
False
Let b = 13 + 12. Let u = b - -62. Is u prime?
False
Let w be (-124)/(-20) + 1/(-5). Suppose -4*p + 5*h + 492 = 0, -w*p + p + 3*h = -628. Let y = p + -13. Is y prime?
False
Let t be ((-12)/(-16))/((-2)/(-144)). Let c = t - 35. Is c composite?
False
Suppose 0 = -3*y + 78 + 81. Is y a prime number?
True
Suppose -6*f + 20 = 4*i - 2*f, -2*f - 25 = -5*i. Suppose -s = -i*s + 28. Is s*24/2 + 1 a composite number?
True
Suppose 5*h - 13164 = -7*h. Is h composite?
False
Let y = -570 - -177. Let c = y + 102. Is c/(-15) + 4/(-10) prime?
True
Suppose 3*y - 3*g - 9 = 0, 0 - 5 = -5*g. Suppose -375 = -4*w + 2*w + t, -t + 747 = y*w. Is w composite?
True
Let t = 262 + 903. Is t composite?
True
Let h(m) = m - 2. Let r be h(7). Suppose -r = c, -3*c = 3*i + 2*i - 150. Is i prime?
False
Let i = -35 - -88. Is i a composite number?
False
Let s be 5/1 - (-1 - -4). Suppose -s*l + 171 = -w, -312 = -8*l + 4*l - 4*w. Is l composite?
False
Let x = 29 - -582. Is x composite?
True
Suppose 2*r = 3 - 5. Let f(c) = -c**2 - c - 1. Let s be f(r). Is (s - -11)*3/3 a composite number?
True
Is -155*-3*2/6 a composite number?
True
Suppose -3*g = -3 - 0. Suppose -g = -2*c - 13. Is 603/c*(-2)/3 composite?
False
Let x(k) = 4*k**2 + 9*k**2 - 4*k**2 + 10*k**2. Is x(1) prime?
True
Let q(w) = -w**3 + 10*w**2 + 5*w - 5. Let g(r) = 2*r**3 - 20*r**2 - 11*r + 10. Let f(h) = 3*g(h) + 5*q(h). Is f(11) a prime number?
False
Suppose 4*w - x = 2*w + 126, -5*w + 313 = -2*x. Suppose 5*p - 2*p = 0. Suppose 5*i = -v + 3*v + w, -4*i + 3*v + 53 = p. Is i prime?
True
Let p(k) be the third derivative of k**5/60 - k**4/4 + 7*k**3/6 - k**2. Let t be p(6). Suppose t = 2*w - 15. Is w a prime number?
True
Suppose 0 = 3*q - 10 + 31. Is 2/q - (-4674)/42 prime?
False
Is 1143/2 + 7/(-14) composite?
False
Let c be 25/10*8/5. Let w = c + -2. Is (-1)/(-3)*(139 + w) prime?
True
Suppose 0*w - 3*w = -12. Let o be (8*-1)/(3/345). Is (o/12)/(w/(-6)) a composite number?
True
Let c = 113 + 411. Suppose -2*j + 3*h + c = 0, 0*j + 263 = j - h. Is j prime?
False
Is (0 + 9012/8)*(-4)/(-3) composite?
True
Suppose 0 = -4*i - 2*h - 22, -i + 3*h + 2*h = -22. Let s(n) = 42*n - 5. Let l(u) = -21*u + 2. Let d(t) = i*s(t) - 7*l(t). Is d(1) prime?
False
Let c be 24/9*6/4. Suppose 3*k = c*k. Suppose 0 = 5*y - 4*y - 2, -5*o - 2*y + 54 = k. Is o prime?
False
Suppose 4*k + 2*u - 21 = -5, -3*u + 18 = 5*k. Suppose 0 = 3*f - k. Suppose f*s + 0*s - 70 = 0. Is s prime?
False
Let t(v) = -v**3 + 7*v**2 - 2*v + 10. Let r be t(7). Is (-7 - r)*52/(-6) composite?
True
Is 12/4 + 333 + -4 + -1 composite?
False
Suppose -5*b + 7709 = 3*f, -4482 - 1696 = -4*b + 3*f. Is b prime?
True
Let i(c) = c**2 + 8*c + 1. Is i(-9) composite?
True
Let a = -5 - -7. Suppose -4*l = a*i - 140, 4*l + 2*i - 146 = 3*i. Let y = 94 - l. Is y composite?
True
Suppose 11*l - 7*l - 212 = 0. Is (l/3)/(1/3) prime?
True
Suppose -5*s = -4*n - 1611, 0*n - 2*n - 8 = 0. Is s a composite number?
True
Suppose q - 5*q = -4*u - 20, 0 = -5*q - 10. Let w(t) = t**3 + 6*t**2 - 9*t + 5. Is w(u) a prime number?
True
Let p(t) = -12*t**2 - 10. Let d be p(14). Is 2/(-8) + d/(-8) a prime number?
False
Suppose v = 5*n - 5 - 5, 4*n = 4*v - 8. Suppose 1 = n*h - 2. Suppose 2*q - 58 = 4*r, -h = -4*q + 4*r + 131. Is q composite?
False
Suppose -3*z + 989 = 4*o, 973 = 3*z - 8*o + 4*o. Is z a composite number?
True
Let f(k) = -3 + 7*k**2 - k**2 - 22*k**3 - 5*k + 23*k**3. Is f(-5) prime?
True
Suppose -1306 + 206 = 5*n. Let i = -152 - n. Suppose -g + i = 3*j, 0 = -3*j + 2*g - 0*g + 71. Is j a prime number?
True
Is 3 + 18/(-12) + 382/4 a composite number?
False
Let i = -4 + 8. Suppose -i*q = -3*q - 224. Suppose -q = -4*m + 156. Is m a composite number?
True
Is (-23)/((-16)/(-20) - 1) a composite number?
True
Let k = 1 + 2. Suppose -k*o + 66 = -93. Is o a prime number?
True
Suppose 12 = -8*y + 4*y. Is (-2905)/(-15) + (-1)/y a prime number?
False
Suppose 0*u + 148 = 2*u. Is u composite?
True
Suppose -1 - 3 = -x. Suppose -16 + x = -s. Suppose -j = -25 - s. Is j composite?
False
Suppose -5*r + 755 - 185 = 0. Is r/(-8)*(-1 - 3) composite?
True
Suppose 3*z = 184 - 37. Is z prime?
False
Let o be (-4)/(16/(-6))*-2. Let k be o + (25 - 2 - 0). Suppose 2*l + k = 4*l. Is l a prime number