v = 13. Is (2 + -3 + 658/(-4))*l prime?
True
Let i = -40 - -48. Is 46987/i + (-3)/8 composite?
True
Let m(t) = 4*t**3 - 20*t**2 - 46*t - 9. Is m(11) prime?
True
Let z(i) = 3713*i - 16. Is z(1) a composite number?
False
Let x(k) = 4*k**3 - 7*k**2 - 3*k - 6. Let f be x(6). Suppose 11*c - 4*c = -f. Is 24/c + (-485)/(-7) a prime number?
False
Let i be -1*-2*(-81)/(-6). Is 198/i*33/2 a prime number?
False
Suppose 0*w + 5*z - 3519 = -2*w, -4*w + 2*z + 7050 = 0. Suppose 3*h - 8*b = -6*b + 4, h = 2*b + 4. Suppose -2*k - 660 + w = h. Is k composite?
True
Suppose 0 = 2*i - 3*i + 1. Let t be 762 - -2 - (0 + i). Suppose -4*y + t = 311. Is y a prime number?
True
Let x = -35 + 39. Is (12/x - -8)*47 composite?
True
Let y(u) = 859*u**2 - 3*u - 4. Let h be y(-1). Let f = -595 + h. Is f a composite number?
False
Let x = 152871 - 89764. Is x a prime number?
False
Suppose -5*o - 15*t = -20*t - 102085, 4*t = 0. Is o composite?
True
Let d(r) = r**3 - 4*r**2 - 29*r - 27. Is d(13) prime?
True
Let h be -6 - 6/(-2) - -6. Suppose 5*g - 18 = 3*j, -h*g + g = 3*j - 3. Suppose g*c = 2*c + 35. Is c a prime number?
False
Suppose -26*o + 236645 = 45051. Is o composite?
False
Let o be 7/3*3*-3578. Let t be 2/(-12) - o/12. Suppose q = -5*m - 3*q + t, -5*m = -3*q - 2101. Is m a composite number?
False
Let b(t) be the first derivative of 25*t**3 - 7*t**2/2 + 11*t - 4. Is b(-5) a prime number?
False
Let c(v) = 8*v**3 + 28*v**2 + 3*v + 43. Is c(10) prime?
False
Let a(i) = 9*i - 23. Let v be a(3). Suppose 5*z = z - x + 11934, -v*z + 11942 = 5*x. Is z a composite number?
True
Suppose 50 = 3*w + 7*w. Suppose -2*l + n = -259, -2*n + 660 = w*l - 7*n. Is l composite?
False
Let n(x) = 2*x + 6*x + 10*x**2 - x**3 - 12*x - 6. Let d be n(-8). Suppose 2*k + 1185 = 4*g + 7*k, 0 = 4*g - 2*k - d. Is g a prime number?
False
Let a(i) = 44696*i + 113. Is a(1) a prime number?
True
Let x be (-2 - (-4 - -4)) + -33. Is 1*-821*(x/5)/7 composite?
False
Let v = 27349 - 13398. Is v prime?
False
Is (8713/(-2))/(14/(-28)) composite?
False
Is (-2)/3*-1*851244/8 a prime number?
True
Let z = 520 + -211. Let w = -111 + 631. Let j = w - z. Is j composite?
False
Let n(h) = h**3 - 2*h + 2609. Is n(0) prime?
True
Let h be 11/(-22) - (-42)/4. Let m be (-1*1)/(h/(-37900)). Is (m/15)/(6/9) prime?
True
Suppose -u - 4 = -2*c + 1, -5*c = -u - 14. Suppose -z + u + 12 = 0. Is 2*z*9/6 composite?
True
Suppose -2*i + 2 = -4*m + 14, 5*m - 13 = 3*i. Let j = -2 - m. Is 1 + 69 + j + 4 a prime number?
True
Let x(z) = 2 + 6*z + 1 + 23*z**2 + 0*z**2 - 4*z**2. Let r be x(-2). Suppose -3*q + r + 146 = 0. Is q composite?
False
Let f(n) = -69*n**3 - n**2 + 5*n + 10. Let p be f(-3). Suppose 5*s + u + 2*u - p = 0, -2 = u. Is s composite?
True
Suppose -9*k + 20 = -4*k. Suppose 5*h - 2*l - 20 = 223, -h + 63 = -k*l. Is h a prime number?
True
Suppose h + 2*v - 430 = -3*h, 4*v = -5*h + 530. Let z = h + 609. Is z a composite number?
False
Let f(a) = 5*a**2 + 28*a - 43. Is f(-22) a composite number?
True
Let h(t) = -t**3 + 12*t**2 - 22*t + 3. Let r be h(11). Let g = r + 279. Is g a prime number?
False
Let n be -4*((-2)/4 - (-2396)/(-16)). Suppose 3*z = -5*x + 1252, 3*x - n = 4*z + 156. Is x a prime number?
True
Let g(u) = 30*u**2 + 2*u + 305. Is g(-17) a prime number?
True
Is 1474/(-99) + 15 - (-225512)/9 composite?
False
Suppose -j = 11 - 13. Is j/(-13) - (-45464)/104 a composite number?
True
Suppose -h = -0*h. Suppose h = 5*v - 27 - 28. Is v a prime number?
True
Let v = 32 - 48. Let y be -3 + (-4 + v)/(-5). Is -2 - ((y - 190) + 2) prime?
False
Suppose -5 = -t - 3. Suppose 10 = 3*h + t*h. Suppose 2*b - 4*g = 62, h*b + g - 60 - 17 = 0. Is b a composite number?
False
Suppose 0 = -5*f - g - 7581, 6*g + 7569 = -5*f + 2*g. Is 0 + 1 - f*2 prime?
False
Suppose 0 = 28*f - 21*f - 78400. Suppose -5*w + 36395 = f. Is w a composite number?
False
Let y(h) = -8*h**2 + 6*h - h + 9*h**2 - 3*h - 1 + 27*h**3. Is y(2) composite?
False
Suppose 0 = -30*n + 25*n + l - 279, -2*n - 98 = 3*l. Let m(x) = -7*x**2 + 3*x - 3. Let d be m(-6). Let c = n - d. Is c prime?
False
Suppose 14*m + 232385 - 585507 = 0. Is m prime?
False
Let p(n) = n**3 - 9*n**2 + 8*n + 6. Suppose -2*b + 7 + 11 = 0. Let l be p(b). Let k = l + -21. Is k prime?
False
Let w(b) = 5527*b - 166. Is w(9) prime?
False
Let o(v) = v**3 - 5*v**2 - 8. Let g be o(6). Suppose g = f - 283. Is f - 14 - (-1 + -1) prime?
False
Suppose u - 74 = 4*b, 0*b - 3*b - 143 = -2*u. Let n be 115584/u + 1/(-5). Suppose 5*g - n = -2*a, -2*g - 2*g + 1328 = -2*a. Is g prime?
True
Suppose 0 = -3*z - z - 3*f - 3, -4*z - 4*f = 0. Is z/(-12)*-2*-9710 prime?
False
Let x(p) = -p**2 + p + 6. Let l be x(0). Suppose -5*q = -9 - l. Suppose -3*t - i = -q*i - 96, -114 = -3*t - 4*i. Is t a composite number?
True
Let h be 3/(4/8 - -1). Suppose c - h*b = 241, 3*c + 2*b + 354 - 1117 = 0. Is c a composite number?
False
Let i(d) = d - 9. Let h be i(9). Is (2442 - 2) + (-5 - h) a composite number?
True
Suppose 0 = 93*h - 87*h - 762. Is h a prime number?
True
Suppose 0 = -0*m + 2*m - 3874. Is m a composite number?
True
Suppose 3*h + 3*q = 10271 - 2441, 2625 = h - 2*q. Is h prime?
False
Let j(i) = 3*i**3 - 4*i**2 - i + 5. Let r be j(4). Let n = -448 + 393. Let a = r + n. Is a composite?
True
Let x(t) = t**3 + 2*t**2 + t - 12. Let j be x(0). Is 6894/24 - (-3)/j a prime number?
False
Let d(n) = -n + 6. Let j be d(2). Let f(l) = -l**3 + 6*l**2 - 5*l + 5. Let w be f(j). Let r = 54 + w. Is r composite?
False
Suppose 4*a = -0*a + j + 127, -4*a - j + 129 = 0. Let d be ((-9)/(-2))/((-24)/a). Let h(r) = 2*r**2 + 6*r - 5. Is h(d) a prime number?
True
Let s be (-6)/(-8) + 168/32. Suppose l + s = 9. Suppose -5*i + 0*i + 144 = c, 0 = c + l*i - 146. Is c a prime number?
True
Let f(g) = -g + 2. Let z be f(2). Suppose 0*x - 6*x + 762 = z. Is x prime?
True
Let v(i) = -17*i**3 - 2*i**2 + 25*i + 221. Is v(-7) composite?
False
Let t(x) = -x + 5. Let h be t(0). Suppose -5*m + 10 = h*n, n - m - 3 = -1. Suppose n*k - 3*r - 98 - 109 = 0, -2*k - r = -227. Is k composite?
True
Let k be 4*(-1 + (-3)/(-2)). Suppose 4*m - 3*m = 0, 0 = k*s - 4*m - 130. Is s a prime number?
False
Suppose d + 21*j = 20*j + 9586, 5*d + j = 47934. Is d a prime number?
True
Let g be (-16 - 0)/(6 - 5). Is (-11894)/(-16) + 6/g a prime number?
True
Let v(j) = -2*j**2 - 2*j - 9. Let k be v(-3). Is 7/(k/(-9)) + 40 prime?
True
Let j = -97 - -155. Let q = -11 + j. Is q prime?
True
Suppose -2*h = -3*p + h + 37428, 0 = 4*h + 12. Is p composite?
False
Is -1 + 22/14 - (-8095802)/182 prime?
True
Let z = 34 + -31. Suppose -15 - z = -3*k. Suppose 5*q - k*q = -545. Is q a composite number?
True
Let s be 2 - (-2 - (1 - 4)). Suppose s = d - 1. Is d/4*(6 - -316) a composite number?
True
Let s be (-4)/10 + (-42)/(-5). Suppose 0*q = -s*q + 10184. Is q a prime number?
False
Let o(z) = z**3 - 4*z**2 + z + 8. Let v be o(3). Suppose -v*h = 5*s - 943, 2*h = s + 850 + 111. Is h prime?
True
Suppose l = -8*l + 7218. Suppose 4*i - 5*d - l = 13, -1024 = -5*i + d. Is i composite?
True
Let z(s) = s**3 - 9*s**2 + 8*s + 3. Let v be z(8). Let b be 85 - v/(9/3). Suppose 5*a + b = 2*f - 50, 0 = 5*f - 2*a - 377. Is f composite?
True
Suppose 3*z = 3*c + 34863, 2*z + 9*c - 4*c - 23214 = 0. Is z prime?
True
Let m = 22740 + -8639. Is m prime?
False
Suppose l - 13 = 4*s, 1 = 2*l + s - 7. Suppose l*q - 915 = -190. Suppose 4*y + q = 1173. Is y composite?
False
Suppose -4*u = -4*q - 2784, -2*q - 5*u = -q + 708. Let c be q/(-10) + (-3)/(-15). Let b = c + -39. Is b a prime number?
True
Let p = 2637 - -3476. Is p prime?
True
Let r(l) = -l**3 - 19*l**2 - 5*l + 24. Let k = -32 + 26. Let p = k + -13. Is r(p) a prime number?
False
Suppose 0 = 10*k + k + 11. Is ((k - -1) + 767)/1 composite?
True
Let m be -1 - 3132/(-2) - 3. Let z = m + -870. Let g = z - 385. Is g a prime number?
True
Let i be (1 - -1)*(5 - 3) - -3. Suppose -2*p + 1 + i = 0, 0 = -2*z + 2*p + 410. Is z prime?
False
Suppose 5*c - 89 = 2*h + 1180, 0 = 2*c - 2*h - 504. Let v = c - -101. Suppose -5 = -g, t - g + 38 = v. Is t a prime number?
False
Let p(a) = 3*a**2 + 3*a + 3. Suppose -5 - 5 = 2*k. Let x be p(k). Let c = -40 + x. Is c a composite number?
False
Let i = -40 + 199. Suppose -3*f + 2*s = -177, -i = -5*f + 3*s + 135. Is f composite?
True
Suppose -4*d = 2*s - 11126 - 832, -3*d + 2*s = -