9*k**2 - 7 - 5*k**3. Is d(-7) a composite number?
True
Suppose 3*d + 0*d + 120 = 5*r, -2*d - 55 = 5*r. Let n be 22582/d - 1/(-5). Let l = n + 938. Is l a prime number?
True
Let d be -4093 + (-5 - -6)/(1/(-4)). Let p = -960 - d. Is p prime?
True
Let s = 9 - 5. Suppose -4*x = -5*k - 145 - 2934, 3*x - 4*k - 2308 = 0. Suppose s*q = x - 140. Is q prime?
False
Is ((-11)/(-3))/(-1)*1114287/(-61) prime?
False
Let l = -23 + 19. Let z be 4 + (-4 - (l + 4)). Suppose 6*s - 946 - 392 = z. Is s composite?
False
Let m = -49 - -587. Is m prime?
False
Suppose 6*f - 5*f = 0. Suppose f = l - 2*t - 291, -2*l + 28 + 557 = -t. Is l composite?
False
Let k(q) = -q**2 + 5*q. Let s be k(4). Suppose -2*v - 6 = -s*v. Suppose 0*w + 1053 = 5*m + w, -v*w = 6. Is m a composite number?
False
Let x be (-4)/(-14) + (-23)/7. Is (-162)/x + (4 - 0) prime?
False
Suppose 6*u - 10 = -4*u. Is ((-1004)/16 + 4)/(u/(-4)) prime?
False
Let a(v) = 2*v + 9 - 5 - 9*v**2 + 0 + 4 - 4*v**3. Let w be a(-7). Let o = w + -344. Is o a prime number?
False
Suppose 2*f - 20397 = 5*y, 13*f - 2*y + 20404 = 15*f. Is f a prime number?
False
Let h(k) = -k**2 + 4*k - 3. Let z be h(3). Let d(j) = -2*j. Let a be d(z). Suppose 4*o - 2*l - 440 = 2*l, a = -3*o - 4*l + 337. Is o prime?
False
Let y be 37709/35 - (-2)/(-5). Suppose -5*i = 12 - y. Is i prime?
False
Suppose -2*o = -0*o - 4. Suppose -5*j - 9 = -r, j + 3*j - 16 = -5*r. Suppose -r*y + 5*n = -1152, 2*y + o*y + n - 1176 = 0. Is y a composite number?
False
Is (20/(-6))/5 - (-2691950)/30 composite?
True
Let n(o) = 15*o**2 + o - 1. Let j(u) = -u**2 - 14*u - 5. Let w be j(-13). Suppose -3*r = v - 2 + 14, 0 = -2*r + 2*v - w. Is n(r) a prime number?
False
Let m = -10 - -8. Let d be (-1)/((-1)/m*-1). Suppose -d*r = -c - 2*c + 379, -r + 255 = 2*c. Is c prime?
True
Suppose -3*a - 34178 = -1508. Is a/(-8) + 5/(-20) composite?
False
Let c = -595 - -1133. Suppose u - 162 = 5*r + 107, 2*u - c = 2*r. Is u composite?
False
Suppose 0 = -2*r + 7*r. Suppose -5*t + t - 856 = r. Is (t + (-3)/(-3))*-1 a composite number?
True
Let w(u) = 323*u - 2. Let l(r) = r**3 + r + 3. Let q be l(0). Is w(q) a prime number?
True
Let g(u) = 2*u**2 + 4*u + 2*u + u - 2. Suppose -2*t + 4*s + 15 = -t, 2*t + 30 = -4*s. Is g(t) a prime number?
True
Suppose -8 + 2 = -3*u. Suppose -460 = u*y + 106. Let g = y - -484. Is g a prime number?
False
Let o(d) = 5*d**2 + 3*d - 12. Let n(s) = 5*s**2 + 4*s - 11. Let w(i) = 3*n(i) - 2*o(i). Is w(-10) a composite number?
False
Is 0 + -4 + (-12 - -1487) + 0 a composite number?
False
Let a = 119 - 110. Is (-528183)/(-81) - (0 - 2/a) composite?
False
Let t be 5/2 - 7/(-14). Suppose z - t*z + 104 = 0. Let f = z - -75. Is f a composite number?
False
Let n(c) = 178*c**2 - 8*c - 43. Is n(-9) a composite number?
False
Let i(t) = -11*t + 1. Suppose 2*l + 33 = p - 3*l, -3*l = 12. Suppose 0 = 8*f - p*f - 40. Is i(f) composite?
False
Let b(r) = -49*r**2 - 5*r + 2. Let f(g) = 3 + 37*g**2 - 13*g**2 + 3*g - 4. Let k(a) = 2*b(a) + 5*f(a). Is k(-4) prime?
True
Let r = 8403 + 13826. Is r a prime number?
True
Let u be (-2 + -1)/(((-45)/1626)/(-5)). Let w = u + 913. Is w prime?
False
Let w be 5 + -2 - 0/(-13). Suppose 4*b = w*q + 4552, -6*q + 1133 = b - 8*q. Is b a composite number?
True
Let z(m) = 14*m**3 + 2*m**2 + 28*m - 37. Is z(9) a prime number?
False
Let i(w) = -481*w - 30. Is i(-11) a prime number?
True
Suppose -132 = -5*z + 3*a, z - 1 = 2*a + 24. Let g = z + -24. Suppose 0 = g*o + 2*o - 335. Is o composite?
False
Let w be 30*(5/15 - 0) - 0. Let j(l) = -3*l**2 - 3*l + 9. Let t(x) = -2*x**2 - 2*x + 8. Let c(f) = -3*j(f) + 4*t(f). Is c(w) a composite number?
True
Suppose -2*r = d - 22929, -11454 = -r - 13*d + 16*d. Is r a prime number?
False
Suppose 15*m - 20*m = 1660. Let n = 981 + m. Is n prime?
False
Let w be (-17)/(-2) - ((-10)/4 - -3). Let n(s) = -17*s + 1. Let a(f) = -8*f. Let h(j) = 5*a(j) - 3*n(j). Is h(w) composite?
True
Suppose 7*a + 8 = g + 5*a, 0 = a + 4. Is (g - -4)*(-879)/(-12) a composite number?
False
Let r be (-161 - -3)*(-1)/2. Suppose r = 4*t + 5*a, -3*a = t + a - 28. Suppose 2*c + y = t, -3*y = 4*c + y - 36. Is c a prime number?
True
Let r(l) = -l**2 - 3*l + 9. Let v be r(-4). Is 2313/3 + (-6)/(v + -2) prime?
True
Suppose 16 + 20 = -4*l. Let x = 4 + l. Let t(g) = -10*g + 12. Is t(x) composite?
True
Let x = -2809 - -1223. Let n = 651 - x. Is n a prime number?
True
Suppose 2*z - 25 - 83 = 0. Suppose -66 = -4*i + z. Is 393/5 + 12/i a prime number?
True
Let b = 911 + 2088. Is b prime?
True
Let z be 5*(16/20)/1. Suppose f - 6*f - 30 = -3*d, -z*f = -3*d + 27. Is 1*(-340)/12*f composite?
True
Suppose -3 = -i, i - 17197 = l - 52661. Is l prime?
False
Let a = -3 + 3. Let j = -100 - -103. Suppose a = -j*r - 0*r + 1599. Is r a prime number?
False
Suppose 20139 - 496 = 13*c. Is c a composite number?
False
Suppose -32*n = -101618 - 105198. Is n prime?
False
Let h be 23/(-1 + 3 + -1). Suppose 2*t - 4*y = -4, -3*t - y + h = 2*t. Suppose 4*v = -5*m + 4, -t*v = -0*m - 4*m - 40. Is v composite?
True
Suppose 16 = a + 94. Suppose 5*k = -7*k + 60. Is a/(2 + 1 - k) a prime number?
False
Let g = 721 - 414. Let x = g + -163. Let k = 149 + x. Is k prime?
True
Let u = -5138 - -10215. Is u a composite number?
False
Suppose u = -2*y + 64 + 745, 2*u = -2*y + 810. Suppose 0 = -n + y + 15. Suppose 8*v = 7*v + n. Is v prime?
True
Suppose 3*n + 0*n + 5*b = 2726, -b = -1. Is n composite?
False
Let x be 0*(2 - (4 + -1)). Suppose -4*y - y + 5 = x. Let z(d) = 56*d + 1. Is z(y) a composite number?
True
Let o be (-5 + 1)*(5/(-4) - -1). Is o/((-4)/5036)*-1 a composite number?
False
Let o be (-7)/((-28)/6)*-12. Let r = o + 21. Suppose z + 2 = 0, 0 = r*h - 0*z + 4*z - 385. Is h a prime number?
True
Let l(a) = -6 - 17*a + 2*a**2 + 3 + 23*a + 0. Is l(-7) prime?
True
Suppose 88 = 4*l + i, 0 = 4*l - i - 0*i - 80. Let z be 7*(93/l - 3). Let v(q) = q**2 - 4*q - 14. Is v(z) composite?
True
Let x(r) = 159*r**2 + 12*r - 8. Let y(c) = -c**3 + c**2 - 2*c - 5. Let v be y(0). Is x(v) a prime number?
True
Let x be ((-3320)/(-50))/((-12)/(-30)). Let q = 4 - 2. Suppose -2*a = 4*w - x, 5*a + q*w = -0*w + 439. Is a a composite number?
False
Let v = 12 + -12. Suppose v*x = -4*x + 296. Suppose -6*b + 4*b + x = 0. Is b prime?
True
Suppose 7 = -b + 9. Let v be (-13 - -11)/(b*1). Is (v - 93)*2/(-4) prime?
True
Suppose 0 = 3*a + y - 5 + 14, -5*a = y + 13. Is (2335 + -9)*(5/2 + a) a prime number?
True
Suppose -2*v - 1511 = -5*c + 1023, -10 = 5*v. Let w = -357 + c. Is w a prime number?
True
Let g be ((-2)/(-6))/(8/(-24)). Is (4 - 689)/(g/1) prime?
False
Let d be (-16)/24*18/(-4). Suppose d*b + 313 = -185. Let g = b - -819. Is g a composite number?
False
Let z be -1 - 2 - (-8 - -4). Let l be 80*(z + 3 - 2). Suppose -l - 1 = -u. Is u prime?
False
Let h be (-2)/14 - 4/(-28). Suppose 4*f - 25 + 1 = h. Is (-4)/f*(-42)/4 a prime number?
True
Let z = -5680 - -8039. Is z a prime number?
False
Suppose 105*m - 101*m = 12. Suppose j + 5*q - 57 = 0, -2*q + 365 = 5*j + m*q. Is j a composite number?
True
Let h be (16/12)/(4/6). Suppose 0*r + 4 = h*r. Suppose -118 + 2 = -r*d. Is d prime?
False
Is (2/8)/(-17*(-12)/2659344) prime?
True
Let k be ((-9)/(-27))/((-1)/(-21)). Let s be k/((-21)/9) - 6. Let a(w) = -14*w + 1. Is a(s) composite?
False
Let m = 11056 + 2287. Is m composite?
True
Let f = -83665 + 149556. Is f prime?
False
Is (43 + -17778)/((-2)/(1*2)) a composite number?
True
Suppose 2*v + 3*c + 3 = 0, -3*c - 12 = v + 2*c. Is ((v - 3)/3 - 3) + 169 a composite number?
True
Let a = 20011 - 13058. Suppose 5*b - a = t, b + 3*t + 238 = 1635. Is b composite?
True
Let q(c) = 77*c + 974. Is q(69) prime?
True
Let b(n) = -38*n - 15. Let r be b(-12). Suppose 3*z = -9, -4*t = -7*t + 4*z + r. Is t composite?
True
Suppose 3*t - 19321 = 2*y, -4*y - 5968 - 13363 = -3*t. Is t a prime number?
False
Let f(h) = -h. Let c = 10 - 15. Let s(y) = -16*y**3 + 2*y**2 - y + 3. Let n(j) = c*f(j) + s(j). Is n(-2) composite?
False
Let j(s) = 3150*s + 61. Is j(4) prime?
False
Let m(p) = 4*p**2 + 70*p - 169. Is m(47) composite?
True
Suppose 10*q = 5*q + 115. Suppose -5*v + q = 3, 5*f - v - 3161 = 0. Is f composite?
True
Suppose 0 = -2*j + 2*p + p + 21, 4*p + 18 = j. Suppose 5518 = 8*x - j*x. Is x a prime number?
False
Let s be ((-12)/(-4))/(6/4). Let n be s*1/(4