number?
True
Suppose 210 = 2*a + 70. Suppose -2*n + a = -n. Suppose 44 = 2*u - n. Is u composite?
True
Let g(t) = -5*t**3 - 7*t**2 - 4*t + 11. Is g(-6) a prime number?
True
Suppose 3*r - 689 = 232. Is r composite?
False
Let h be 51 - (-2)/((-1)/(-1)). Let q be -2*1 - (-5 - -1). Let b = h + q. Is b composite?
True
Suppose 0 = 7*x - 1913 - 6452. Is x a prime number?
False
Suppose -4*d + 218 = 2*i, d - 327 = -3*i - 0*d. Is i a composite number?
False
Suppose 11 = -2*f - 0*f - 3*o, -2*f - 5*o = 21. Let n = f + 1. Suppose -3*g - 85 = -5*y + 181, -4*g - 153 = -n*y. Is y a prime number?
False
Let m(v) be the third derivative of -v**6/120 + v**5/30 + 5*v**4/24 + v**3/2 - v**2. Let d(y) = -y**2 + 3*y - 4. Let h be d(3). Is m(h) prime?
True
Suppose 4*y = -2*u + 7*u - 73887, -2*u - 2*y = -29562. Is u prime?
True
Let f(t) = t - 4. Let p be f(7). Is (p - 51/12)*-28 a composite number?
True
Suppose -224 = -3*f + 349. Is f a prime number?
True
Suppose 2*x + 3*d - 2*d - 166 = 0, 4*d = -5*x + 418. Is x a composite number?
True
Let j(h) = 35*h**2 + 2*h - 8. Is j(-7) a composite number?
False
Suppose 4*k = 4*w + 2720, 0 = -k - 0*w - 2*w + 671. Is k prime?
True
Suppose -4*g = -5 - 27. Suppose -4*t - 2*q + 14 = -g, t - q - 7 = 0. Is t composite?
True
Suppose -664 + 3691 = 3*g. Suppose 2*n + v + g = 6*n, -3*v = -5*n + 1270. Is n a composite number?
False
Let n(y) = y**3 + 12*y**2 + 21*y + 3. Is n(10) composite?
True
Let u = -4 - -6. Let n(l) = -7 - 4*l**2 + 11*l**2 + 6 + u*l. Is n(2) prime?
True
Suppose 0*u + 4*k = -2*u + 364, 3*u = -3*k + 534. Let g = u - 47. Is g prime?
True
Let k(x) = -35*x - 1. Let l be k(-2). Let z = l + -35. Is z composite?
True
Let v = -4 + 8. Suppose -5*r = -1 - v. Is 1 - -82 - (r - 1) prime?
True
Let d(q) = q**3 - 19*q**2 + 25*q + 1. Is d(18) composite?
False
Let u = -61 + 108. Let y = u + 0. Is y a prime number?
True
Let z = -1818 + 3487. Is z prime?
True
Let q(m) = 6*m**2 + 6*m + 1. Is q(6) a composite number?
True
Suppose 3*s - 5*c = 37, -3*s - 4*c + 2*c = -2. Suppose s*w - 30 = 14. Is w prime?
True
Let q(k) = -k**3 + 8*k**2 + 8*k + 10. Let p be q(9). Suppose p = c + 2. Is (c - 1) + 3*13 composite?
False
Suppose 2958 = 4*h - 1326. Suppose -5*r + 6*r = -h. Is 3/(-4) + r/(-4) prime?
False
Let g(u) = u**3 - 15*u**2 + 22*u - 35. Is g(15) composite?
True
Suppose 0 = q - 3*t - 17, 15 = -2*q - 3*q - 5*t. Is 93 - (-1 - -3 - q) composite?
True
Suppose -2*a + a = 5*b - 27, 0 = -2*a + 2*b - 6. Suppose -3*i + 6*i - 366 = -3*o, -2*o = a. Is i composite?
True
Let g(s) = s**2 - 6*s + 1. Let k be g(6). Let f(q) = 2*q**2. Let n be f(k). Suppose t + 2*p - 80 = 0, -n*t + p + 130 + 15 = 0. Is t a composite number?
True
Let k be 2/(-5) + 34/10. Suppose -k*z - 1 = 17. Is (75 - z) + (-4)/2 prime?
True
Suppose -3*b + 2 = w, 0 = -5*b + w + 3 + 3. Let j(m) = 202*m**2 + m. Is j(b) composite?
True
Let z be -2 + 2/((-4)/(-694)). Suppose 0 = 2*v - 5*v + z. Is v a prime number?
False
Suppose -4*j + 3*h = 16, 5*h = -j + 5*j + 16. Let y(i) = 7*i**2 + 5*i - 3. Is y(j) prime?
True
Is 884/24 - 1/(-6) a prime number?
True
Let j(m) = 52*m**2 - 3*m + 2. Let y be j(2). Let f be 3/9 + y/9. Suppose l + 4*b + f = 218, 2*b - 1011 = -5*l. Is l a prime number?
False
Is 18666/8 + ((-2)/(-8))/(-1) a prime number?
True
Let u be -2*9/6 + -2. Let i(k) = k**3 + 7*k**2 - k - 2. Is i(u) composite?
False
Let w(h) = -8*h - 7 + 2 - 8. Suppose -4*r + r - 30 = 0. Is w(r) composite?
False
Let m(k) = 31*k**3 + 3*k**2 - k + 1. Let t = -15 - -17. Is m(t) a prime number?
False
Let g(j) = 972*j - 7. Is g(1) a prime number?
False
Suppose r + 4*k + 16 = k, -8 = r + k. Let t(x) be the third derivative of x**5/60 - x**4/24 - x**3/6 - x**2. Is t(r) a composite number?
False
Suppose 0 = -r + 10. Is r a prime number?
False
Suppose y + 4*d = -d + 27, -d + 7 = y. Suppose -y*j + 19 = 7. Is (-1*127)/(j - 7) composite?
False
Let b(o) = -5 - 4 + o - 2 + 3. Let v be b(0). Let x = 18 + v. Is x composite?
True
Is (-166)/(-4)*(5 + -5 - -2) composite?
False
Is 1/4 + (-1881)/(-44) composite?
False
Let v(i) = -2*i**3 - 3*i**2 - 6. Let x(h) = -3*h**3 - 2*h**2 - 6. Let r be 2 + (0 + 2)*-3. Let c(z) = r*v(z) + 3*x(z). Is c(5) a prime number?
True
Suppose 0 = 4*c - c - 9. Suppose 0 = 4*v - 2*u - 114, 104 - 15 = 4*v + c*u. Suppose 185 = 3*j + v. Is j a prime number?
True
Let o(x) = 20*x - 3. Suppose t - 2 = 5*l + 1, -4*t + 2*l + 30 = 0. Is o(t) a composite number?
False
Let a(m) = -m. Let t be a(-4). Let g(z) = 3*z - 5. Let q be g(t). Suppose -f = -44 + q. Is f a composite number?
False
Let z(w) = -w**3 + 8*w**2 - 8*w + 1. Suppose -4*l + 0*l - 3*b + 15 = 0, 0 = 2*l + 4*b. Is z(l) a composite number?
True
Let h = -4 + 14. Is (160 + -1)*h/30 a prime number?
True
Suppose 2*a - 204 = -4*m, 54 = -a + 4*m + 186. Let y = a + 10. Is y a composite number?
True
Suppose -5*y - 14 - 6 = 0, 3*v + 3*y = -3. Suppose v*w + 8 = -19. Is 3/w + (-1400)/(-6) composite?
False
Let y = 3 + 1. Suppose -y*m - 35 = -t, 5*t - 153 = 5*m + 97. Is t a composite number?
True
Let w(a) = 1 + a**2 - 4*a + 3*a**2 - a**3 + 3*a**2. Let o be w(6). Suppose n = o + 40. Is n a composite number?
False
Let v(k) = -75*k - 8. Is v(-2) composite?
True
Let j(i) be the third derivative of i**5/60 - i**4/12 + 2*i**2. Let v be ((-10)/4)/((-3)/(-6)). Is j(v) a composite number?
True
Suppose 0 = 2*y + 6, 4*b + 109726 = -b - 2*y. Is (-1)/5 + b/(-20) prime?
True
Suppose 2*i + 916 = 6*i. Let l = i + -146. Is l prime?
True
Suppose 2*u - 3 = -5*p + 4*p, 2*u - 9 = -3*p. Suppose -w + u*w + 143 = 0. Is w a prime number?
False
Let g = 169 + 18. Is g composite?
True
Let k = 1 - -1. Suppose -2*h + 2 = k*a, -3*h + 4*h + 4*a - 4 = 0. Suppose h = 2*z + z - 66. Is z a composite number?
True
Suppose 85 = o - 65. Suppose 5*a = 5*s + 200, 5*a - a - 2*s - o = 0. Is a composite?
True
Let i be 4*1/(-2)*-1. Suppose 0 = -2*a - s + 5*s - 4, -4*s - 4 = -3*a. Suppose 0 = -2*h - a - 0, -5*f - i*h + 147 = 0. Is f composite?
False
Let k(v) = -3*v + 2*v + v - 2 + 2*v. Let z be k(2). Suppose -3*f - y + 4*y + 162 = 0, z*y + 10 = 0. Is f composite?
True
Let h be ((-7)/((-14)/(-12)))/(-2). Suppose -h*t + 6*t - 279 = 0. Is t prime?
False
Suppose 3*n = 8*n + 155. Suppose -2*g - 4*o + 130 = 0, -6*o - 8 = -2*o. Let s = g + n. Is s composite?
True
Let y = -2 + 6. Suppose -2*l - 1201 = -6*l + 5*b, -3*l + y*b + 901 = 0. Is l a prime number?
False
Let i = -17 - -13. Suppose 2*n = 5*u + 62, -26 = -5*n + 4*u + 95. Let q = n - i. Is q composite?
True
Let a be (-2)/8 + 2/8. Suppose 2*f - 42 = -a*f. Is f a composite number?
True
Let u = 16 + -9. Suppose -146 = -q + x, 5*q - 2*x = -u*x + 750. Suppose q = 4*z - 472. Is z a prime number?
False
Suppose -2*j + 113 = u + 2*j, 5*j + 465 = 5*u. Is u a prime number?
True
Suppose -3 = -2*i + 9. Suppose 0*j - i = -3*j. Suppose j*z + 204 = 4*b - 62, 5*b = 3*z + 334. Is b composite?
True
Suppose 0*z = -2*z - 2*r + 1486, -5*r + 20 = 0. Is z prime?
True
Let o(y) = -76*y - 5. Is o(-3) composite?
False
Let i = 201 + 32. Is i prime?
True
Let i(q) be the first derivative of -q**2/2 + 9*q + 2. Suppose -3*s = 2*s + 2*r - 37, 2*r = 4*s - 26. Is i(s) a prime number?
True
Suppose -343 = -l + 4*d, d - 8 = 3*d. Is l prime?
False
Let b(s) = 6*s - 4. Let h be b(2). Is 26/(0 - h/(-20)) a composite number?
True
Let i = 36 - -1. Is i composite?
False
Let u(o) = 8*o**3 - 3*o**2 + 3*o - 3. Let p be (-6)/(-1) - 3 - 0. Suppose -p = -5*d + 7. Is u(d) a composite number?
True
Let q(a) be the first derivative of -a**4/4 + 10*a**3/3 + a**2 - 10*a - 4. Is q(10) a prime number?
False
Suppose 7*w + 12 = 2*i + 2*w, 5*w + 5 = -5*i. Let b be (3/(-2))/((-6)/(-184)). Is i/((6/b)/(-3)) composite?
False
Suppose 4*n - 8 + 0 = 0. Suppose 43 = a + 8. Suppose -a = -n*j - 3*j. Is j prime?
True
Suppose 0 = -26*a + 30*a - 9332. Is a a composite number?
False
Suppose -105 = -5*m - 5*y, -2*y = y + 9. Suppose -3*x = -m - 81. Is x prime?
False
Let a(i) = i**2 - 3*i + 10. Let c(m) = -m**3 - 8*m**2 + 10*m + 7. Let o be c(-9). Let h be (7/(-3))/(o/6). Is a(h) a prime number?
False
Let d be -2 - (-3 + 0 + -3). Suppose k - d = 35. Is k a prime number?
False
Let s be 7 - (0 - (-6 + 3)). Suppose -3*f + 14 = j, s*j + 1 = -4*f + 33. Suppose 56 = 2*c + 2*m, 2*c - j*c + 2*m = -69. Is c prime?
False
Is (40/(-60))/(4/(-36978)) a prime numb