0)/(-4))) a prime number?
False
Let k(m) = 6*m**2 + 2*m - 1. Suppose 0*d + 6 = -3*d. Is k(d) a prime number?
True
Suppose -4*u + 17 = 3*p - 3*u, -2*p + 2 = -4*u. Suppose -76 = -2*d + x, -p*x = -d - 6 + 44. Suppose -3*n - 5*b + d + 7 = 0, 24 = 3*n - 2*b. Is n a prime number?
False
Let s(y) = 6*y**3 - 7*y + 5. Is s(6) composite?
False
Suppose -n - 14 = 180. Is (4 + -1 + n)/(-1) a composite number?
False
Let l = -1 - -6. Suppose 3*r = -l*w + 8, -2*w + 4*r - 1 = r. Suppose w = 3*x - 245. Is x a composite number?
True
Let j(q) = q**3 + 12*q**2 - 32*q - 21. Is j(-14) composite?
True
Suppose -w - 29 = v - 3, -20 = 4*v. Let r = w - -40. Is r a composite number?
False
Suppose 0 = 3*y - 5*y + 4. Suppose 282 = y*v + 46. Is v a composite number?
True
Let h(i) = 2*i - 6. Let q be h(4). Suppose 4*l - t = -3, t + 6 = -2*l + 3*t. Suppose 6*g = 5*c + 3*g - 595, l = q*c + g - 238. Is c prime?
False
Suppose -3*c + 3*n = -5*c - 24, -c = 3*n + 9. Let q be 3/c + 2/10. Suppose -t + 4*t - 93 = q. Is t prime?
True
Suppose -x = h - 672, 4*x + h = -h + 2682. Is x composite?
True
Let h = 22 - 18. Is 59 - ((-16)/h + 4) a composite number?
False
Is (-2151)/(-12) - 1/4 prime?
True
Let h = 7 + -5. Suppose 6*v - h*v - 268 = 0. Is v composite?
False
Let a = 5 + 17. Is a a prime number?
False
Let u be -3*(-1 - (-170)/6). Let y = 137 + u. Is y a prime number?
False
Let p be 10/(-3 - (-1 + 0)). Let h(w) = 12*w**2 + 8*w + 3. Is h(p) a prime number?
True
Let a = 23 - 19. Suppose 0*h - 8 = 4*h, 0 = -a*q - 3*h + 502. Is q a prime number?
True
Let h(l) = l**2 + 12*l - 8. Let s be h(-11). Let d = -5 - s. Is d prime?
False
Let g(k) = k**3 + 23*k**2 - 24*k - 11. Is g(-23) composite?
False
Let s = -173 + 336. Is s prime?
True
Is (254/(-5))/((-8)/20) composite?
False
Suppose -5*k - 3*b + 163 = 0, 4*k + b - 132 = -3*b. Suppose 3*o = k + 79. Is o composite?
False
Suppose 3*h + 4*j + 5 = 0, 3*j - j = 3*h + 29. Let c be (7/h)/((-1)/(-4)). Is (19/c)/(2/(-8)) composite?
False
Let b = 665 + -334. Is b prime?
True
Let f(a) = -a**2 + 13*a - 14. Let t be f(11). Let h(w) = -w**3 + 7*w**2 + 9*w - 6. Let d be h(t). Suppose 3*l = 2*g + 67, l - d*g = 6*l - 101. Is l composite?
True
Let w(o) = o. Let i be w(-2). Let v be (-6)/(-3) + i - -13. Let x = 0 + v. Is x a prime number?
True
Let u = 359 - 199. Suppose 6*l - 116 = 5*l. Suppose 3*n + 2*n - u = -5*h, -3*n = -h - l. Is n composite?
False
Let r be 16 + (-3 + 3 - -1). Let q = r + 14. Suppose q = 4*i - 217. Is i a prime number?
False
Suppose 7 = 4*w - 5. Let l = 0 + w. Is (-50)/(4 + -3 - l) a prime number?
False
Let z(r) = -r**3 + 4*r**2 + 5*r + 7. Let b be z(5). Let f(t) = t**2 - 4*t - 10. Is f(b) prime?
True
Suppose 0*u = 3*f - u - 149, -3*f + 165 = 3*u. Let n = f - 21. Suppose -3*j = j - 4*a - 140, 0 = -j - 4*a + n. Is j composite?
True
Let n be -1 + (-1 - 1 - -2). Let v(a) = -a**2 + 3*a - 1. Let s(y) = y - 1. Let z(h) = n*v(h) + 3*s(h). Is z(-3) a prime number?
True
Let t(c) = -c + 3. Let w be t(5). Let h be (-1443)/(-11) + w/11. Suppose q - 36 = 4*g - h, -3*q = -g + 32. Is g prime?
True
Suppose -w + 1 - 6 = 0, 2*c - 3*w - 117 = 0. Let g(k) = 2*k**3 - k**2. Let r be g(-1). Is (c/(-9) + -2)*r composite?
False
Let w(i) = -87*i**3 - 2*i + i + i**2 - 1 + 3 - 3. Let g be w(-1). Let s = 127 - g. Is s composite?
True
Let d be (4/(-6))/((-1)/(-3)). Let b = d - -4. Is (134/(-8))/(b/(-8)) a prime number?
True
Let w = 8 + -3. Suppose 3*g - 7 = -1. Suppose -239 = -3*s - 4*f, -g*s + w*f + 360 = 2*s. Is s composite?
True
Suppose 119 = i - 5*y, 2*y - 357 = -i - 2*i. Is i a composite number?
True
Let d = 12 - 11. Is d/2 + 885/10 a composite number?
False
Let m be -4 + 7 - 7*1. Let g = -4 - m. Suppose -n + g*n = 3*i - 107, 579 = 5*n + 4*i. Is n a composite number?
True
Let g = 282 - 193. Is g a prime number?
True
Suppose -26 = -4*o - 2*g, o + 11 = g + 2*g. Suppose -r - o*r = -70. Suppose l + 2*n = r, -3*l = -4*l + 4*n + 14. Is l prime?
False
Let n be 6/(-3) - -2 - 0. Suppose -3*h = -12, -3*x + n*x - 266 = h. Is (1 + -2)*(x + 5) a composite number?
True
Is ((-1)/1)/(((-16)/(-4))/(-1940)) a prime number?
False
Let i = -11 - -15. Suppose -2*r + f - 2 = -10, -3*r + i*f + 2 = 0. Is r prime?
False
Let h(o) = 11*o + 3 + 9*o - 4. Let b(c) = c**2 + 4*c + 6. Let l be b(-4). Is h(l) a composite number?
True
Suppose 5*y - 5 - 10 = 0. Suppose -5*d = -y*d - 894. Is d composite?
True
Suppose 0 = -5*w + 20 - 5. Suppose 3 = w*z - 6. Suppose -30 = c - z*c. Is c prime?
False
Suppose 4*b - 4 = 900. Is b composite?
True
Let l(g) = -g**3 - 3*g**2 + g - 4. Let j(a) = a - 1. Let q(v) = -5*j(v) + l(v). Is q(-4) prime?
False
Let q(a) = 4*a**2 - a. Let y be q(-1). Suppose 0*v = -r - v + 27, 2*r = -y*v + 45. Suppose j - 7 = r. Is j a prime number?
True
Let w(l) = 81*l**2 + 2*l - 4. Is w(-3) prime?
True
Let x = -17 - 0. Suppose -5*w + 4*v = 108, w + 4*v = 3*v - 27. Let l = x - w. Is l a prime number?
True
Let l(j) = -j**3 + 6*j**2 - 5*j + 4. Let x be l(5). Let h = 72 - 228. Is x/(-2)*h/8 prime?
False
Let t(c) = 163*c. Let v be t(2). Let w = 173 + v. Is w a composite number?
False
Suppose 0 = -0*s + 5*s. Suppose -2*r + 3*r - 43 = -2*h, -3*r + 2*h + 137 = s. Suppose 5*x + 4*m = r, -12 - 25 = -4*x - 3*m. Is x composite?
False
Let c be (-335)/(-3) + 8/(-12). Suppose -c = -5*n + 664. Is (n/1)/(1/1) a prime number?
False
Suppose 0 = -f - 2*n + 4, 7*f - 5*n = 3*f - 23. Let s be f/12 + 1653/(-18). Is (25/10)/((-2)/s) composite?
True
Let d = -28 + 84. Suppose -4*t = -4*j - d, 70 = 5*t + 3*j - 40. Is t a composite number?
False
Suppose 80 - 551 = -3*y. Is y a composite number?
False
Let k be ((-4)/4)/((-1)/346). Let v = -129 + k. Is v a composite number?
True
Is (-4)/12 - 1916/(-6) prime?
False
Let a(w) = -7*w**2 + 8*w - 2. Let o(j) = 4*j**2 + 2*j**2 + 2 - 4*j - 3*j. Let p(t) = 2*a(t) + 3*o(t). Is p(-5) prime?
True
Suppose -c + 6 = -4*h, h = -5*c + 3*h + 66. Is (-4)/c - (-387)/7 composite?
True
Let u(v) = 8*v - 7. Let g = -13 - -26. Is u(g) a composite number?
False
Suppose -2*q + 6*q = 4*g + 248, 5*q - 3*g = 318. Suppose 3*i - q = 5*i. Let o = 55 + i. Is o prime?
False
Let h be (-32)/(-10) - 6/30. Is (-6 + h)*(-17)/1 prime?
False
Let f be (-1)/(2/72*3). Let p be 3*(-110)/f*4. Suppose 0*d + 4*k = 2*d - p, 0 = -d - 4*k + 37. Is d a prime number?
False
Suppose -c = 3*v - 7 - 2, -c = 0. Suppose -v = -i + 23. Is i prime?
False
Suppose -3*f = 3*l - 10654 + 3676, 3*l - 6953 = 2*f. Is l a composite number?
True
Let t(s) = s - 7. Let y be t(4). Is -68*((-38)/8 + y) composite?
True
Suppose -391 = p + 21. Is p/(-12) + 1/(-3) prime?
False
Let y be (-1)/(-2) + (-49)/(-14). Let o be (0 + 6/y)*2. Suppose -2*j = 2*j + 5*r - 79, o*j - r - 83 = 0. Is j prime?
False
Let y be 48/(-30)*(-10)/4. Suppose a - y = -a. Suppose 508 = a*f + 2*f. Is f prime?
True
Let f = -7 + 10. Let r(p) = p**3 + 3*p**2 + p. Is r(f) prime?
False
Let r(b) = b**2 + 3*b + 3. Let s = -9 - -17. Suppose -p = p + s. Is r(p) a prime number?
True
Let i be (-6)/(-9)*3*1. Let q(n) = n + 2*n**2 - 1 - n - i*n. Is q(-1) a prime number?
True
Suppose -2*j + 42 = -0*j. Let g be (-2)/4 + (-19)/2. Let x = g + j. Is x a prime number?
True
Suppose 0 = 3*q + 4*s + 16, 3*q + 0*s - 16 = 4*s. Suppose q = -2*f - 0*f. Suppose -2*n + 38 + 116 = f. Is n composite?
True
Is 2/2 + 0 + 52 a composite number?
False
Let g(s) = -173*s + 1. Let t be ((-30)/9)/((-1)/(-3)). Let y = 8 + t. Is g(y) prime?
True
Let p(q) be the third derivative of 7*q**5/30 + q**4/12 - q**3/6 + 2*q**2. Is p(-3) a composite number?
True
Let t = 69 - -7. Let j = 333 - t. Is j a composite number?
False
Is (14/(-21))/((-4)/498) composite?
False
Suppose 0 = -3*k - 0*k + 4*j + 83, -35 = -k + 5*j. Suppose 0 = 4*a + 5*x - k, 4*a + 2*x - 8 = 26. Suppose 2*u = 2*g + a, -4*g - 3 = -u - 1. Is u composite?
True
Suppose -3*u + 907 + 260 = 0. Is u composite?
False
Let c be -1 - (-1 - (-2)/(-1)). Let g = c - 1. Suppose -2*m - 5*t + 8 = 0, 0 = m + 5*t - 3 - g. Is m a prime number?
False
Suppose -11 = -4*z - 0*z + 5*o, 13 = -4*z - 3*o. Is (1 + -2 - z) + 43 a composite number?
False
Let c = 6203 - 4288. Is c prime?
False
Let v = -125 - -178. Is v a prime number?
True
Suppose 5*l - d - 315 = 0, -4*d = -3*l + 6*l - 212. Let a = -25 + l. Is a a prime number?
False
Let y = -5 - -9. Let c(w) be the first derivative of 4*w**2 +