s (62 - c)*(-15)/(-6) composite?
True
Let v be (-2)/(-6)*(217 + 2). Suppose -3*r + v = 4*f, 2*f - 92 = -4*r - 2*f. Is r a composite number?
False
Suppose -15 = 2*t - 0*u + 3*u, 5*t = 2*u - 9. Is (2 - t)*4 + -1 composite?
False
Let l(q) = -q**2 - 4*q - 6. Let s be l(-4). Let n(j) = -3*j**2 + 3*j + 2*j**2 - j**2 + j**3 + 4 + 9*j**2. Is n(s) composite?
True
Suppose h = q - 76, -3*q - h + 235 = 3*h. Is q a prime number?
False
Suppose 16 = 2*d - 4*d. Let n(u) = -9*u - 5*u + 5 - 4*u. Is n(d) composite?
False
Let x(t) = 4*t**3 - t**2 + 12*t - 14. Is x(5) a prime number?
True
Suppose -8*x + 11186 = 6*x. Is x a prime number?
False
Suppose 0*y + 4*y + h + 30 = 0, 5*h = 3*y + 11. Let q be 2/2 + 10*y. Is (-12)/3*q/4 composite?
True
Suppose 4 = -h - 2*s + 3*s, -s + 4 = 0. Suppose h = 7*f - 2*f - 2715. Is f a prime number?
False
Suppose 0 = w + 223 - 1076. Is w composite?
False
Let r(u) = 8*u + 5. Suppose -5*v + 40 = 5*q, 2*v - 4*v + 2*q = -16. Suppose -2*k - 18 = -4*t, -27 = -v*t + 4*t - k. Is r(t) a prime number?
True
Let o(x) = 6*x + 7. Let d be 1/((-9)/5 - -2). Is o(d) prime?
True
Let j = 14 + -22. Is -146*(44/j)/1 composite?
True
Suppose -m - 2*m - 30 = 0. Let t = 29 + m. Is t a prime number?
True
Let m be (-1)/(-1*(-3)/(-39)). Suppose 32 = n + m. Is n composite?
False
Is -1*(-25 + (4 - 0)) a prime number?
False
Suppose 0 = -5*q + 3*p + 116, p = -5*q - 4*p + 140. Is q composite?
True
Is (2*-1 + 2646/12)*2 prime?
False
Let w = -1 + 2. Suppose -2*s - s - 15 = 0. Let b = w - s. Is b a prime number?
False
Let u = 99 + -288. Let f = 325 + u. Suppose 6*o = 2*o + f. Is o a composite number?
True
Let n(m) = 21*m + 7. Let w be n(-10). Let f = 291 + w. Let b = f - 55. Is b a prime number?
False
Suppose -4*g + 20 = 4*h - 20, 3*g = 4*h - 33. Let w = h + 1. Is w a prime number?
False
Suppose -x + 3*x = 252. Is -1 + 5 + -3 + x a composite number?
False
Let u(j) = 4 + 2*j - 13*j**3 + 0*j + 10*j**3. Is u(-3) prime?
True
Let k(v) = -4*v - 4*v**2 + 2 + 0*v**2 + 0*v**2 + 5*v**2. Let b be k(4). Suppose 2 = b*l - 24. Is l a composite number?
False
Suppose 3*m - 8*m + 5 = 0. Suppose 4 = -2*b + 10. Is ((-147)/(-9))/(m/b) prime?
False
Let i(y) = -y - 25. Let g be i(0). Let x be 0 + (-1)/(1/g). Suppose 5*r - x = 5. Is r a prime number?
False
Let b = 38 - -1655. Is b prime?
True
Suppose -2*h = -5*x - 3*h + 70, 3*x - 5*h - 70 = 0. Suppose x = 3*y + 3*q, 2*q = -y + 4*y. Let p = 12 - y. Is p composite?
True
Suppose -m = f + 4 - 7, 19 = 3*m - 2*f. Suppose -5*t - m*z + 150 = -0*z, 0 = t + 2*z - 29. Is t a prime number?
True
Suppose -5*i + 25 = -h, 0*i + 2*i + 2*h = -2. Suppose i + 6 = 2*g. Suppose -3*a - g*x = -347, -2*a + 313 - 81 = 3*x. Is a prime?
False
Let p = 379 - 558. Let t = p + 360. Is t a prime number?
True
Let y be 2/8 - (-75)/20. Suppose -3*u - 149 = -y*u. Is u composite?
False
Let t(v) = 19*v + 10. Let p be t(6). Suppose -3*k - p = -7*k. Is k prime?
True
Suppose -5*t = -3*t + 4. Is 163/3 - t/3 prime?
False
Let t be (-310)/(-4) + 1/2. Suppose 0 = -n + 3*n - t. Suppose -a + 3*l + 9 = 0, 0 = 2*a + 5*l - n - 23. Is a a composite number?
True
Suppose 7*a = 6*a + 85. Is a a prime number?
False
Let a(h) = -h**3 - 5*h**2 - 6*h - 1. Let y be a(-7). Suppose -m + 4 = -y. Is m a prime number?
False
Let f be -3*(-1)/3*1. Is ((-201)/(-3))/(1/f) composite?
False
Let g = 2094 + -1135. Let m = -201 + g. Suppose m = 4*l - 2*x, -3*x + 579 = 3*l - x. Is l prime?
True
Is 2488/32*2*2 a composite number?
False
Suppose 57 = 5*l + j - 3, -3*l = 4*j - 53. Suppose b + l = 4*n + 81, 4*n - 220 = -4*b. Is b prime?
False
Let i = -11 + 19. Let a(l) = 3*l - 5. Let m be a(i). Suppose -p + 0*p = -m. Is p prime?
True
Suppose p = -4*c - 7, -5*p + 58 = -5*c + 18. Let r(x) = 5*x**2 + x - 2*x**2 + 1 - 2*x**2 + 3*x**3 - p*x**3. Is r(-1) composite?
False
Let b be ((-8)/6 + 1)*-3. Let d be -3*b + (-5)/5. Is (2 - 2/d)*22 prime?
False
Let n = 411 + -128. Let x = 419 - n. Suppose x + 101 = 3*i. Is i a composite number?
False
Let c be 535/15 + (-4)/6. Is 6/(2 + 1) + c a prime number?
True
Let g be (-3)/(24/(-9) + 3). Let n = -14 - g. Let v(x) = x**3 + 6*x**2 - x - 7. Is v(n) a composite number?
False
Is 2/(-4)*(7 - 165) prime?
True
Suppose -4*d = 5*o - 12, 5*d - 3*d - 6 = -2*o. Suppose -5*g = -o*g - 1955. Is g composite?
True
Let w(c) = 2*c**2 - 3*c + 2. Let j be w(2). Let r = 11 + j. Is r composite?
True
Suppose -j + 8 = j. Let i = -6 - -10. Suppose 0 = j*n + 8, -i*q + 208 = -4*n - 140. Is q a composite number?
True
Let l be 1/(-2 + 14/6). Suppose 4*z + 0*z = l*w - 198, -2*w + 139 = -5*z. Let y = 113 - w. Is y a prime number?
False
Let y(p) = 17*p + 26. Is y(16) composite?
True
Let z(b) = b**2 + 46. Suppose -9 + 3 = 3*s. Let j = s + 2. Is z(j) composite?
True
Let c be (-61 - 1)*(-11)/2. Suppose -c = -5*n - 2*d, 0 = 3*n - 0*n + 5*d - 216. Is n a prime number?
True
Suppose 3*t - 158 = 109. Is t prime?
True
Suppose 2*w - l - 289 = 3*w, 274 = -w + 2*l. Let t = w - -507. Is t composite?
False
Suppose 6*b - 3*b = 1479. Is b a composite number?
True
Suppose -4*c - c + 190 = -4*t, -c - 4*t + 38 = 0. Is c a prime number?
False
Let m(n) = -16*n**3 + n**2 - n + 2. Let t be m(2). Let q = -35 - t. Is q composite?
False
Let o = 19 + -27. Let h(s) = -21*s + 3. Let q be h(-2). Let i = q - o. Is i composite?
False
Let n = 69 - -355. Let k be n/(-3) - 8/12. Let h = k - -233. Is h composite?
True
Let y be (-6)/(-3)*1 - 10. Let a = y + 10. Suppose -3*i + 2*l + 149 = -0*i, i = -a*l + 39. Is i prime?
True
Let j be 0 + 9386 + 8 + -10. Is (-2)/8 + j/32 a prime number?
True
Suppose 5 + 4 = 3*j + 5*t, 4*t = -5*j + 15. Let v be j/(-15) - (-4)/(-5). Is ((-6)/(-5))/(v/(-5)) composite?
True
Let p(v) = -v**3 - v**2 + 34. Let q be p(0). Let t = q + -24. Is t prime?
False
Suppose 4*c = -j - 20, 4*j + 15 - 5 = -2*c. Suppose -s - 325 = -5*p - j*p, 0 = -p - 4*s + 65. Is p prime?
False
Let x be (-378)/(-6) + -1*2. Let j = 182 - x. Is j a composite number?
True
Let x be 5 - 3/(-3 + 0). Suppose 3*a = x, 0*v - 3*a = -2*v - 10. Is v/(-6) + 176/3 prime?
True
Let n be (-1 - (-8 - -3)) + 1. Suppose -96 + 286 = -n*m. Let j = -3 - m. Is j prime?
False
Is 292691/56 - 1*(-3)/8 a prime number?
True
Suppose -23*w + 11*w + 6684 = 0. Is w composite?
False
Let q = 108 + 30. Suppose 0*p = -5*p + 10. Suppose 0 = -p*c + 5*n - n + q, -4*c = n - 267. Is c a composite number?
False
Suppose 6*f - 20 = f. Suppose 5*m + 4*k = 2*k + 4, f*m = -4*k + 8. Let b(x) = -x**3 + x + 35. Is b(m) prime?
False
Let g be 2/(-4) + 4/8. Suppose g = 2*h - 96 - 58. Is h a composite number?
True
Is 1199 - 3/(9/12) a composite number?
True
Let u be (-2)/2 - (-14)/(-7). Let z = u + 6. Suppose -108 = -3*m + 3*a, -z*m + 5*a + 57 = -53. Is m a prime number?
False
Suppose 4*i - 4 = 2*i, 0 = 4*d + i - 42. Suppose d = -4*g + 3*c + 65, -5*g + 64 = c. Is g composite?
False
Suppose -665 = -5*d - 115. Suppose d + 13 = p. Is p a prime number?
False
Suppose 5*v - 119 = -34. Let f = v - 11. Is f composite?
True
Suppose b - 5*b = -6212. Is b a prime number?
True
Let u(v) = 44*v**2 - 5*v - 4. Is u(-3) composite?
True
Suppose -28 = 2*m + 2*m. Let h(x) = -x - 4. Is h(m) prime?
True
Let b = 25 + -6. Suppose -4*v + 60 = 2*m - 16, 4*m = v - b. Is v composite?
False
Is ((-1078)/4)/(-7)*2 prime?
False
Suppose 1568 = 4*f - 0*f. Suppose f - 85 = j. Is j a prime number?
True
Let s(x) = -300*x + 1. Let z be s(-4). Suppose -900 = -3*c + 3*v, 7*v - 4*v = 4*c - z. Is c a prime number?
False
Suppose -5781 = -3*b - 4*m, -5*b + 2*m + 1913 = -7748. Is b prime?
True
Suppose 3*l + 0*i - i = 1259, -2*l = -4*i - 846. Is l a prime number?
True
Let c be 6/(-21) - 138/7. Let a = c + 30. Is a prime?
False
Is (-4374)/(-10) + (-2)/5 composite?
True
Let q(z) = 4*z + 4*z - 2*z - 5*z. Is q(7) a composite number?
False
Let s(g) = g + 46. Let v be (0*3/(-6))/(-2). Is s(v) prime?
False
Let z = 20 + -17. Suppose -z*d - 24 = -93. Is d a prime number?
True
Let s be (1/3)/((-4)/(-60)). Suppose 9 = s*x - 1. Is x*-1*(-14)/4 composite?
False
Suppose -12*z = -8*z - 260. Is z composite?
True
Let v(m) be the first derivative of 5*m**3/3 - 3*m**2 - 6*m - 5. Is v(-5) a prime number?
True
Suppose -y + 70 = 4*y. Let g be 12/y*(-4 - 3). Is (-9)/g*-2 - -74 prime?
True
Let b = 7 - 2. Suppose 0*o - 3*q = 4*o - 581, -472 = -3*o + b*q. Is o a composite number?