mposite?
False
Is 422*(9/2 + (-19 - -15)) a composite number?
False
Let v = 1210 - -5275. Is v composite?
True
Is 6483/6*(12 + -10) prime?
True
Let j = 354 + 4176. Let v = -3148 + j. Is v a prime number?
False
Let a = -9 + 14. Suppose 3*q = a*o + 183 - 3411, 0 = 5*o + q - 3224. Suppose 4*j - 391 - o = 0. Is j composite?
True
Let h = -6 + 6. Suppose 3*d - 15 = -h*d. Suppose -y + r = -40, 23 + d = y + 3*r. Is y a composite number?
False
Let d(j) = 5*j + 19. Let c be 0 + -3 - (24 - 41). Is d(c) a prime number?
True
Let c = 2 + 4. Suppose 2378 = -c*t + 11444. Is t a composite number?
False
Let x = -6783 - -9708. Suppose -2*b + 3*f + 2933 = 0, 3*b - b + 5*f = x. Is b a prime number?
False
Let u be (-1)/(-2) + 10542/28. Let i = u + -84. Is i prime?
True
Is 3733386/76*(-2)/(-3) a prime number?
True
Let i(r) = 3*r - 33. Let k be i(7). Let u(d) = -d**3 - 11*d**2 - 2*d - 9. Is u(k) a composite number?
True
Let g be ((-15)/9)/((-1)/3). Suppose -335 = -0*r - g*r. Is r*(1 + (1 - 1)) prime?
True
Is 1/(3/21*1/3359) composite?
True
Let x be (34/(-6))/((-5)/(-15)). Let m(q) = -q - 10. Let s be m(x). Suppose 5*l = 3*y + 441, 3*l - 278 = 5*y - s. Is l a composite number?
True
Let x(f) = -19*f**2 - 7*f + 3. Let o(h) = h**2 + h - 1. Let u(c) = -4*o(c) - x(c). Is u(6) prime?
False
Suppose 0 = 2*k - 6*k. Suppose z + z - 4 = k. Is (359 - (-12)/4)/z a composite number?
False
Suppose 23367 = -25*w + 26*w. Suppose w = 12*a - 2757. Is a a prime number?
False
Let z be (4 - 5)/((-2)/(-76)). Let d be 8/(-24) + z/(-6). Is ((-23)/(-3))/(d/126) a prime number?
False
Let o(v) = v**3 - 40*v**2 - 66*v + 31. Is o(46) a prime number?
False
Let i be (-2)/4*-4*2. Suppose i*s + g + 16 = 4*g, 0 = -4*g. Is (-2 - -5) + s + 10 prime?
False
Suppose -6*i = -7*i + 5761. Is 14/(-91) + i/13 a prime number?
True
Let w = 10493 - -46544. Is w composite?
False
Suppose 0 = r - b - 10, -r + 3*b = -b - 25. Suppose -r*x = -2*x. Suppose x = 4*i - 0*i + 20, -58 = -t + 4*i. Is t prime?
False
Let k(z) = z**2 - z + 1. Let i(m) = 9*m**3 + 6*m**2 + m + 1. Let w(p) = -i(p) + 2*k(p). Let b be -6*(1 - (-1)/(-2)). Is w(b) a composite number?
True
Suppose 0 = -37*q + 40*q. Suppose 6*r + 3556 - 19888 = q. Is r composite?
True
Let q be (-3)/2*8/(-6). Let y(h) = 12*h**2 - 6*h**2 - 5 - 12*h**q + 16 - 3*h**3 + 8*h. Is y(-8) a composite number?
True
Let u(r) = 2*r**3 + 4*r**2 + 1. Let y(x) = x**3 + 5*x**2 + 1. Let l(s) = -5*u(s) + 4*y(s). Let j be 4*-1*25/20. Is l(j) a composite number?
True
Suppose 0 = -5*n - 0*n + 5. Suppose -d + 5*p - 20 = 0, n = 2*d + p - 3. Let y(a) = a**2 - a + 9. Is y(d) a composite number?
True
Let r be (-24)/(-4) + (-1 - 1). Suppose l - 175 = -4*l - 5*o, -r*l = 3*o - 144. Is 6519/l - 10/65 a prime number?
True
Let d(c) = c**2 - 7*c + 2. Let i be d(-5). Let h = 22 + i. Suppose 0*l = 6*l - h. Is l prime?
False
Suppose 0 = -4*t - 3*r + 2476, 2*t + 3*r - 1854 = -t. Is t prime?
False
Let z(s) be the second derivative of -s**3/6 + 2*s**2 + 2*s. Let y be z(2). Suppose y*c + 66 = 4*c. Is c a prime number?
False
Is 160252/(-32)*6*36/(-27) a prime number?
True
Let y(w) = 22*w**3 - 4*w**2 + 5*w - 5. Let l be y(2). Suppose -2*k + 5*d + l = -169, 5*k - 3*d = 797. Is k a prime number?
True
Is (-45438)/(-4)*(-164)/(-246) prime?
True
Let n(p) be the third derivative of p**5/30 - 2*p**3/3 + 10*p**2. Let h be 9/(-3) + -1 + 1. Is n(h) a prime number?
False
Suppose -2*y + 7*y = -2*f + 33, -f + 5*y = 21. Suppose r = -0*r - f, 5*u + 3*r = 3223. Is u prime?
True
Suppose -12 = -3*v + 9*v. Let p be (-1)/(-1) + 26/v. Is p/(-9)*(-9)/(-6) a composite number?
False
Let o(t) be the third derivative of -191*t**7/840 + t**5/120 + t**4/24 - 5*t**3/6 - 2*t**2. Let c(g) be the first derivative of o(g). Is c(-1) prime?
True
Is ((-10)/(-45))/(36/3424518) composite?
False
Suppose -s + 7 = 2*t - 2*s, 5*t - 12 = -3*s. Suppose d = -5*f - 5, 3*d + 2 + 13 = 5*f. Suppose f*w = t*w - 138. Is w composite?
True
Let f = -14 - -19. Suppose -3*d + d - 2 = -o, 0 = -5*o + 5*d + f. Suppose 2*x - 106 - 552 = o. Is x a composite number?
True
Suppose 3*y + 4*z - 376 = 0, 5*z + 20 = 10*z. Suppose 4*w - l = 2*w - 85, 0 = -w - l - 38. Let x = y - w. Is x prime?
False
Let p = -115 + 114. Is ((376 + 3)*-1)/p composite?
False
Is (-13888)/(-12) - 3/(1 + 8) a composite number?
True
Let a(r) be the second derivative of -r**4/12 - r**3/2 + 2*r**2 - 6*r. Let v be a(-3). Suppose 5*b + 108 = -2*w + 321, 4*b - v*w = 176. Is b a composite number?
False
Suppose -5*m - 39 = -2*i, 8 = -0*m - 2*m - 3*i. Let l(p) = -17*p - 25. Let t(q) = 4*q + 6. Let j(c) = -2*l(c) - 9*t(c). Is j(m) a prime number?
False
Let d(b) = -b**3 - 5*b**2 - 7*b - 3. Let g(u) = -2*u**3 - 16*u**2 - 20*u - 9. Let m(q) = -8*d(q) + 3*g(q). Let r be (13/1 - 0) + -6. Is m(r) a prime number?
True
Let u(q) = 61 - 8*q + 1 - 25. Is u(-15) a prime number?
True
Let m(w) = 1166*w**3 - 4*w**2 + w + 4. Is m(1) a composite number?
True
Suppose 23*u + 10*u = 434247. Is u prime?
True
Let l be 6/10 - 5174/(-10). Suppose 0 = -0*k + 2*k - l. Is k a composite number?
True
Let o = -1022 - -2757. Is o composite?
True
Let k(u) be the first derivative of -3251*u**3/3 - u**2 + u + 1. Let h be k(1). Is (-5)/(-25) - h/15 composite?
True
Suppose 2862 = 3*x + 3*h, -5*x + 1764 + 3036 = -h. Suppose y - 481 = -4*r + r, 2*y + 3*r - x = 0. Suppose 5*a - 3627 = y. Is a composite?
False
Suppose 134 = k - 131. Let r = -14 - -19. Suppose 18 = r*a + 3, 0 = -4*b + a + k. Is b a prime number?
True
Let x(u) = 30*u**2 + 3*u - 4. Let s(g) = -g**3 - 6*g**2 - g - 8. Let i be s(-6). Let t(w) = w**2 + w + 1. Let h(p) = i*t(p) + x(p). Is h(-5) a composite number?
True
Suppose 5*x = 0, -5*d - x + 7 + 8 = 0. Suppose -2*i = o - 381, 0 = o - 0*o + d*i - 386. Is o prime?
False
Let l = 8 + 0. Suppose -l*o = -o + 21. Is o - -7 - (-204)/2 a prime number?
False
Let x be ((-288)/30)/((-1)/5). Suppose -x = -3*a + 7*a. Is a/(-15) - 183/(-15) prime?
True
Let t(i) = 2564*i**2 + 15*i - 25. Is t(2) composite?
True
Let q(s) be the first derivative of 23*s**2/2 - 3*s - 1. Let w be q(-5). Let d = 201 + w. Is d a prime number?
True
Suppose -3436 = -15*n + 15269. Is n composite?
True
Let c(f) = -f**3 - 13*f**2 + 6*f + 37. Is c(-16) composite?
False
Let n(f) = -1217*f + 400. Is n(-17) a prime number?
True
Let r = -3387 + 12190. Is r a composite number?
False
Let g(q) = 4*q**2 + 69*q + 154. Is g(-59) prime?
True
Let s be 4/(-22) - (-175)/55. Suppose 79 + 197 = s*f - 3*i, 178 = 2*f - 4*i. Is f a prime number?
False
Let p be (-3)/(-6) + (4 - (-2685)/(-6)). Is p*(-3)/15 - 14/(-35) prime?
True
Suppose 5*r = 4*y + 3125, 0*r + 625 = r + 3*y. Let z = -401 + r. Suppose -2*b + z = -566. Is b composite?
True
Let n be (-11)/(-3) + 2/(-3). Suppose -10*l - n*l = -6383. Is l prime?
True
Let d be (-4)/(-10) - 33/(-5). Let i(u) = -u**2 + 8*u - 10. Let y be i(d). Is (2118/18)/((-1)/y) a composite number?
False
Let j(b) be the second derivative of -b**5/10 + b**4/6 + 2*b**3/3 - 5*b**2/2 + 16*b. Is j(-4) a prime number?
True
Let a(f) = -f + 4. Let z be a(7). Let h be (-52)/(-12) + z/9. Let j(d) = 27*d**2 - 6*d + 5. Is j(h) a prime number?
False
Suppose d = -5*g + 10, -3*d - 6 = g - 92. Let j(y) = -2*y**3 + 2*y**2 - 1. Let m be j(2). Let i = m + d. Is i a prime number?
False
Suppose -m - 13 = 2*d + d, 5*m + 5*d = -15. Suppose 3*x = -b - 5, x - 3*x = 5*b + 51. Let p = m - b. Is p prime?
True
Suppose 4*x + 5*a = 220515, -7*x + 165425 = -4*x - 4*a. Is x composite?
True
Let y = 11 - 8. Let v(k) = 55*k**3 - k**2 + 3*k - 4. Is v(y) prime?
True
Let s(o) = 14*o**2 + 6*o - 18. Let p be s(-7). Suppose p + 738 = 4*l. Is l composite?
True
Suppose -10 = -5*f - l, -10 = -5*f - l + 4*l. Is (-6 + f - -2) + 13 composite?
False
Let l = 3117 + -82. Is l a composite number?
True
Let r(p) = -4*p - 3*p + 1 - 5*p - 3*p + 76*p**2. Is r(-4) composite?
False
Let t = 5 - 9. Let f(p) = p**3 + 5*p**2 + 2*p - 4. Let j be f(t). Suppose -3*d - 127 = -j*d. Is d prime?
True
Let x = 1884 - 733. Is x prime?
True
Let f be 4/(-1 - (3 + -2)). Let y = 4 - 2. Is 891/3 + (f - y) composite?
False
Suppose 0 = 3*b - i - 1, 3*b - 11 = -3*i + 2*i. Suppose d - 2*r - 281 = 0, r + r - 532 = -b*d. Is d a prime number?
True
Let j = 22959 - -12380. Is j prime?
True
Suppose 0 = y + 4, 3*y - 4 = f - 5*f. Suppose -310 = -f*x + q, 2*x = 