a prime number?
True
Let k = -12217 - -53498. Is k composite?
False
Let z(b) = -45*b**2 + 20*b - 14. Let m be z(16). Is 2/3*m/(-12) a composite number?
True
Suppose 0 = -3*u - 3*k + 51492, 5*u + 1706 = k + 87496. Is u a prime number?
True
Let y be ((-8)/6)/((-1)/3). Suppose s - 3*w = 5*s + 179, y*s = 5*w - 203. Let l = s - -124. Is l a composite number?
True
Let f = 90569 - 53656. Is f a prime number?
True
Let n(z) = 50*z**2 - 40*z + 181. Is n(21) a composite number?
False
Let w(p) = 3*p**3 - 2*p - 12. Let z be 0/3 - (-3 + -2). Is w(z) a prime number?
True
Let w(a) = 36*a**2 - 7*a - 4. Is w(7) prime?
False
Suppose 2*k - 834 = 2*c, k + c + 0*c = 409. Let t = k - 231. Let x = t + -123. Is x composite?
False
Let x(m) = -3*m**3 - 5*m**2 - m + 2. Let r(a) = 7*a. Let n(d) = -3*d. Let z(f) = 5*n(f) + 2*r(f). Let l be z(5). Is x(l) a composite number?
False
Suppose 0*x = -5*x + 2*t - 17, 0 = 2*t - 2. Is x/9 - (-45656)/6 composite?
True
Is (-12)/(-66) + 2055/11 composite?
True
Suppose -z + 6432 + 7932 = -5*t, 5*z = -3*t + 71736. Is z composite?
True
Suppose -5*m + 38 = -27. Suppose -m = 3*i - 1. Is i/(-20) - 184/(-5) a composite number?
False
Suppose -5*c + 30200 + 19838 = 3*k, -4 = -4*k. Is c a prime number?
True
Suppose 2*h = -5*s + 3*s - 10, -3*s - 25 = 5*h. Suppose 6*u - 8*u + 614 = s. Is u prime?
True
Let a = -1217 + 3320. Is a a composite number?
True
Suppose -8*p = -7*p - 64. Let l = p + 45. Is l a prime number?
True
Is 1*(-7 + 11 + 2287) prime?
False
Is 8/18 + 4 + (-61158)/(-54) prime?
False
Suppose -33*a = -24*a - 5661. Is a a composite number?
True
Let p = 20 - 14. Suppose -5*x + p*x = 0. Suppose -5*d + 887 - 252 = x. Is d prime?
True
Let y be (2922/15)/(5/50). Suppose -4*s + 4*r + 2387 = 419, r = -4*s + y. Is (1 + -3)/2 + s a composite number?
False
Suppose 3*w = -4*w - 43274. Is (1 - (1 + 3))*w/33 a composite number?
True
Is 1368 - ((1 - -10) + -4) composite?
False
Let g be (0 + (-3)/2)*-2. Let n = -435 - -461. Suppose 0 = -f + 4*r + n, -g*r = -f + 40 - 11. Is f a prime number?
False
Suppose 1701 = 11*w - 12*w. Let z = w + 2948. Is z prime?
False
Let p(o) = -4*o - 11. Let i = 13 + -9. Let b be p(i). Let l = b + 48. Is l prime?
False
Let s(g) = 138*g**2 + 53*g + 351. Is s(-7) a prime number?
False
Let h = 17 - 12. Suppose d + 5*f = 957, -3*d + 2939 = -h*f + 3*f. Is d prime?
True
Suppose -2*m + f + 116 = -4*f, m = -5*f + 58. Suppose -39 = -u + m. Is u composite?
False
Suppose 2*m = -2*m + 72. Suppose -4*r - 3*n + 24 = 0, -34 = -4*r + 4*n + m. Is (159/r)/(2/6) a composite number?
False
Let o be (-2)/(8/12) + -1. Let u be o/8*5*-2. Suppose 3*h = -2*b + 238, 47 = 2*b - u*h - 191. Is b a prime number?
False
Let g = 42 + -40. Suppose 0 = -3*q + r + 1333, 3*r + g*r = -3*q + 1309. Is q a composite number?
False
Let j(p) = 1965*p**2 + 7*p + 57. Is j(-4) prime?
True
Let w be 0/((-5 - -3)*1). Suppose -6 = 3*n + 3*c, -c = -5*n - 0*c + 14. Suppose g + 316 = n*g + 3*t, g - 3*t - 298 = w. Is g a prime number?
True
Suppose 0 = -n + 5*n + 20, 3*j + 4*n = 27685. Is j a prime number?
False
Let o(q) be the second derivative of q**4/12 + 7*q**3/6 - q**2/2 + 5*q. Is o(-13) a prime number?
False
Let a(r) = -43*r - 9 - 39*r + 3 + 0. Let c be a(-10). Suppose -623 = -3*t + c. Is t prime?
True
Let r(p) = 2*p**2 + 7*p - 5. Let l(w) = -2*w**2 - 7*w - 4. Let b be l(-4). Let z(u) = 2*u + 8. Let f be z(b). Is r(f) prime?
True
Let z be 4 - (2 - 5 - -7007). Is (-1)/(z/(-2335) - 3) a composite number?
False
Let w(f) = f**3 + 4*f**2 + 2*f - 2. Let i(n) = 7*n - 12. Let b be i(3). Is w(b) prime?
True
Suppose -5*g = 18 + 7. Is (-4)/(-14) - (12530/(-49) - g) a prime number?
True
Let w(h) = h**3 + 40*h**2 + 9*h + 15. Is w(-32) a prime number?
True
Let d = -14164 - -38481. Is d a prime number?
True
Suppose 5*i = -2*b - 0*b - 24, 12 = -4*b - i. Is 3 + (-26504)/(-36) + b/9 prime?
True
Let f(y) = 1980*y - 1199. Is f(9) composite?
True
Suppose 3*a = 4*i - 11, 5*i - 5*a = -4*a. Let w(q) = 634*q**2 - q. Is w(i) prime?
False
Let k(x) = -x**3 + 10*x**2 + 7*x + 4. Let i be k(10). Is i + (1 - 2)*-3 a prime number?
False
Let v be ((-46100)/(-75))/(((-4)/6)/(-1)). Let z = 5221 + v. Is z composite?
False
Let s = -21968 + 33373. Is s composite?
True
Let y(o) = -o**3 + o**2 - 4*o. Let r be y(2). Is (69990/r)/(-5)*2 a prime number?
True
Let v = -417 + 514. Is v a composite number?
False
Let m(j) be the third derivative of 17*j**5/15 - 7*j**4/24 - j**3/3 + 22*j**2. Is m(-5) a composite number?
False
Let v(i) = i - 4. Let o be v(-7). Let l = -7 - o. Suppose x = -l*x + 1805. Is x composite?
True
Let s(m) = -m**2 - m - 315. Suppose w + 3 = -o, 2*o + 5*w + 5 + 10 = 0. Let v be s(o). Let r = 442 + v. Is r composite?
False
Suppose 3*k = -f - 3*f + 44, 3*k - 76 = 4*f. Suppose -k*c + 19*c + 389 = 0. Is c prime?
True
Suppose 7717 = y + 3*c, -4*y = -6*y + 2*c + 15434. Is y prime?
True
Suppose 8 = -3*f - 10. Let q be 4/((f/1)/(-3)). Suppose 483 = i + q*i. Is i a composite number?
True
Let k be (2/3)/(6/603). Suppose -5*u + 3 = c - 10, -u + k = 3*c. Is c a prime number?
True
Suppose -3*d - 34 = -2*x, 3*x + 2*d + 46 = 6*x. Suppose -3*f - 179 = -3*m + 346, -5*m + 839 = 4*f. Let n = x + m. Is n prime?
False
Suppose -2*g = -3*v - v - 29562, g = -3*v + 14786. Is g a prime number?
True
Let b = -6961 + 16200. Is b a prime number?
True
Suppose 8*b = 4*b + 20, 3*b - 57139 = -4*v. Is v a prime number?
True
Suppose 22 = 3*t - v, t - v - 4*v = 26. Let x(u) = u**3 - 2*u**2 + 11*u + 1. Is x(t) prime?
True
Let v be (0/(-2))/(2 + 0). Let u be 0 + 1/3*v. Suppose u = -3*o - 87 + 534. Is o a prime number?
True
Let a(p) = -25*p + 10. Let v be a(-6). Suppose 0 = 4*w - 2*r - v, w - 4 = -2*r + 36. Suppose 2*t = 6*t - w. Is t prime?
False
Is (-3 + (0 - -1))*(-26090)/20 a composite number?
False
Let v(x) be the first derivative of -x**4/4 - x**3 - x**2/2 - 2*x + 1. Let k = -94 + 89. Is v(k) a prime number?
True
Suppose 87 + 139 = -c + q, 0 = -5*c - q - 1112. Let l = c - -381. Is l a composite number?
True
Let j(p) = 1383*p - 1. Is j(24) a composite number?
False
Suppose -3*u + 1084 = -215. Suppose u = 4*q - 107. Suppose -q = -5*d + 650. Is d a composite number?
False
Suppose 5*q + 151 + 4019 = 2*m, -4*m + 8340 = q. Let w = -1334 + m. Is w composite?
False
Let w = 10 + -8. Let u(x) = x**2 - 3*x**2 - 1 + 4*x**w. Is u(-5) composite?
True
Suppose 0 = 21*h - 14*h - 70. Is h prime?
False
Let w(i) = i + 16. Let o(x) = -x. Let u(c) = -2*o(c) - w(c). Let t be u(18). Suppose -s = -t*n + 1431, n + 2*s = 1078 - 375. Is n a composite number?
True
Let i = 8 + -14. Let y(j) = -j**3 - 35*j**2 - 34*j + 28. Let d be y(-34). Let f = d + i. Is f a composite number?
True
Let q = 2524 - 21. Is q a prime number?
True
Let z be 127 - 0 - (-14 - -12). Suppose -z = 9*o - 1830. Suppose -o - 151 = -4*g. Is g a composite number?
True
Suppose 5*h - 5*d = -d + 81, -4*d = -3*h + 47. Suppose h*z = 20*z - 1137. Is z a composite number?
False
Suppose -2*t + 8 = 2. Suppose 5*g + t*v + 16854 = -11368, 2*g - 4*v + 11294 = 0. Is (-6)/4 - g/10 a composite number?
False
Suppose -v + 78096 = o + 25851, -3*o = v - 156731. Is o a composite number?
True
Let r = 16 - 12. Suppose 2*c = r*c - 116. Is c prime?
False
Suppose 2*b = b + 5*i + 8, -4*i = 8. Let l(s) = 41*s**2 + s + 1. Is l(b) composite?
False
Suppose 8*j - 53672 = -0*j. Is j prime?
True
Suppose -l + 1033 = p, 0*l + 3*p + 1037 = l. Let g = l - 646. Suppose -2*n + 6*n - g = 0. Is n a composite number?
False
Let g = -1005 - -1994. Is g a prime number?
False
Let t be (10/(-3) - -3)*-15. Is 3 - (1341 - t)/(-4) a prime number?
True
Suppose 2 = 2*x - 4. Suppose 2*s + x*s - 545 = 0. Is s a composite number?
False
Suppose -3*i - 11 = -2*n - 2, -4*n = -3*i - 15. Suppose -n = c - 1. Is 1/(c/(-820)) + 3 a composite number?
True
Suppose 17*s - 4739 = 10*s. Let c = s + 18. Is c a composite number?
True
Suppose -47496 = -3*w + n, -76*n - 63344 = -4*w - 80*n. Is w composite?
True
Is 76174/56 + 9/12 a prime number?
True
Let h be 438 + 8/12*(-3)/2. Let t = h - -50. Is t composite?
False
Let o = -5 - -11. Let h be (o/(-10))/(3/(-15)). Suppose -5*b + 2348 = -h*k, 5*b - k - 2349 = 3*k. Is b a prime number?
False
Suppose 0 = 3*x - t + 11, 35 - 6 = -2*x + 5*t. Let h be -4 - -3 - (-2)/x. Is (-665)/(-21) + h/3 a prime number?
True
Let z(m) = 