s x a composite number?
False
Suppose r + r - 818 = 0. Suppose r = 4*j + 61. Is j prime?
False
Suppose 5 = -2*u + 21. Suppose -3*s - 565 = -u*s. Is s composite?
False
Suppose -3*z = 2*b - 9, 4*b + 2*z - 27 = -5. Let t(x) = x**3 + 2*x**2 + 3. Is t(b) a prime number?
False
Let p be 1/(-5) - 44/(-20). Is p/2*-3 - -1262 a composite number?
False
Let l = -2 - -4. Let m(u) = 1 + 8*u**2 + 0 - 3*u + u**l. Is m(2) a composite number?
False
Let c be (-9)/(-4) - 3/12. Let b(h) = 8*h**2 + 2*h - 1. Let v be b(c). Let q = -25 + v. Is q a prime number?
False
Suppose 0 = -4*x - 30 - 18. Let f = 43 + x. Is f prime?
True
Is 4 + 0 - (-19108)/(3 - -1) prime?
False
Is 5/2*106/5 a prime number?
True
Let k(j) = 17*j**3 - j + 2. Let l be k(2). Let y(m) = -m**3 + 9*m**2 - m + 13. Let i be y(10). Let o = i + l. Is o a prime number?
False
Suppose i + 1031 = 4*o, -4*o + 3*i + 127 + 910 = 0. Is o prime?
True
Is (-14383)/(-7) + -2 + 6/21 a prime number?
True
Suppose w = -4*w + 3*h - 204, -5*h = 10. Let y = 75 + w. Is y a composite number?
True
Let f(h) = -h**2 - 7*h + 8. Let t be f(-8). Suppose -5*y + 271 + 1054 = t. Suppose -2*d - 3*d = -y. Is d prime?
True
Suppose 0 = x + 289 - 1208. Is x a composite number?
False
Let m(t) = 24*t - 26. Is m(6) a composite number?
True
Let z be (-4)/(-6)*(-5 + 11). Suppose -5*g - z = 16, 4*j - 500 = 4*g. Is j composite?
True
Suppose -p = -2*p + 8. Is (-7)/(-1 - p/(-10)) a composite number?
True
Let s = 469 - 150. Is s a composite number?
True
Suppose -4*l + t = -644, -5*t - 483 = -3*l - 0*l. Is l prime?
False
Suppose -4*y = -2*y - 16. Let i be (-1 - 0)/((-2)/y). Suppose i*v = -3*o + 320, 3*o + 146 = 2*v + o. Is v a composite number?
True
Let j(d) = 23*d**2 - d - 21. Let l(p) = 11*p**2 - p - 11. Let x(y) = 6*j(y) - 11*l(y). Is x(-5) composite?
True
Suppose -5*d - 265 + 40 = 0. Let a = 110 + d. Let l = a + 12. Is l composite?
True
Suppose 0 = 2*p - 3*i - 635, 0*p - p - i + 330 = 0. Suppose 5*d = 3*v - 670, -d + 3*v = 2*v + 134. Let y = d + p. Is y a composite number?
False
Suppose -3*m - 2*m = -i - 10, 4 = -i + 3*m. Suppose 0 = i*p + 5*a - 2 + 7, -2*a + 2 = 3*p. Suppose -p*l + 9*l - 15 = 0. Is l prime?
True
Let s(a) = -4*a**3 - 8*a**2 - 16*a + 3. Let c(i) = -5*i**3 - 7*i**2 - 17*i + 4. Let d(l) = -2*c(l) + 3*s(l). Is d(-6) a composite number?
False
Suppose 2*i + 5*y = 3*i - 4, 4*y + 5 = -i. Is (-6)/3 - (-38 + i) prime?
True
Suppose 5*b + 3*p = p + 29, 3*p + 9 = 3*b. Suppose -217 = -4*f - b. Is f a prime number?
True
Let n(z) = z**2 + 3*z. Let p be n(-4). Suppose 19 - 5 = s. Suppose 5*w + p*u = s + 6, -3*u + 16 = 4*w. Is w composite?
True
Is (-44)/(-6)*63/6 a composite number?
True
Let y(d) = 408*d**2 - 2*d - 1. Is y(-1) a composite number?
False
Let o = 243 + -77. Let b = -41 + -40. Let u = b + o. Is u composite?
True
Suppose -5*k + 74 = -521. Is k composite?
True
Let r(a) be the second derivative of -a**4/6 + a**3/6 + 235*a**2/2 - 3*a. Is r(0) a composite number?
True
Is (4 - 11)*37/(-1) prime?
False
Suppose 1228 = 2*n + 2*n. Is n a composite number?
False
Let o(w) = w**3 - 3*w**2 - 5*w - 1. Let d be o(6). Let i = d - 26. Suppose -2*p = -m - 49, i + 25 = 3*p + m. Is p a composite number?
True
Let f = -6 - -10. Suppose 3*i = -w - f - 10, -3*w = 2*i + 21. Is (238/8)/(i/(-12)) composite?
True
Let p be (-6)/(-3) + 0 - 2. Let b = -49 - -75. Suppose 2*t + 4*h = -p*t + b, 4*h + 107 = 5*t. Is t composite?
False
Suppose f + f = 6. Is (f + -5)/((-2)/55) a composite number?
True
Suppose 0*d = 4*d - 372. Suppose 0*b - 3*b = -d. Is b a prime number?
True
Let j(a) = 97*a**2 + 3*a - 3. Is j(-2) a composite number?
False
Suppose 0 = 5*y - 15, 0*c + c + 4*y = 46. Suppose -2*f = -2*t - c, 4 = f + 2*t - 1. Is (2 + 2)*f/4 a composite number?
False
Suppose -2*m + 3*m - 2 = 0. Suppose 0 = 3*y - 4*v + 8 + 2, 3*v - 8 = 2*y. Suppose y*b + 3*b = -m*k + 22, 0 = 5*k + 4*b - 55. Is k prime?
True
Suppose 4*i + 2*j - j - 11105 = 0, 3*i - 3*j - 8340 = 0. Is i a prime number?
True
Let t be (-2)/12 - 3485/(-30). Let j = -67 + t. Is j a prime number?
False
Let z be 2 + -1 + 1668/(-6). Let s = -186 - z. Is s a prime number?
False
Let l = -14 + 35. Let p be (-3)/(-3) + -2 - l. Is 326/22 - 4/p prime?
False
Suppose j - 319 = -s + 4*j, 0 = -2*s + 4*j + 630. Is s a composite number?
False
Let d(r) = r**3 - 7*r**2 + 7*r - 6. Let u be d(6). Suppose u = k - 0*v - 5*v - 582, 0 = 2*v - 2. Is k a composite number?
False
Suppose 0 = 4*a - 16, -5*j + 140 = -2*j + 2*a. Suppose 3*g + j = 5*g. Is g a composite number?
True
Let f be -2 + 2 + 0/1. Suppose 9*w - 4*w = f. Suppose -4*b + 148 = -w*b. Is b composite?
False
Let o(d) = 12*d - 3. Suppose 5*k + 7*r - 31 = 3*r, 2*k = 2*r - 2. Is o(k) a prime number?
False
Suppose 3*o - 1699 = -5*s, -s = 4*s + 2*o - 1701. Is s composite?
True
Let x be 10*(-2 + 1)/(-1). Suppose -g + x = -2*g. Let q = g - -32. Is q composite?
True
Is (20/(-5) - -5055)/1 a prime number?
True
Let c = 719 + -210. Is c a prime number?
True
Suppose -2*z - 4*z = -414. Is z prime?
False
Let l(d) = 13*d**2 + d. Let i be l(-1). Is (-1 + -2 - -4) + i a prime number?
True
Let k(o) = 4*o**2 - 11*o + 9. Let s be k(8). Let u = s - 100. Is u prime?
False
Suppose 0 = -5*b + 84 + 1226. Is b a prime number?
False
Suppose 3*c = 5*c. Let u(t) = 7 - 1 - t - 9*t**3 + 9 + 8*t**3 + t**2. Is u(c) a prime number?
False
Let q be (-5 + -2)/(-2 - -3). Let z(d) = -24*d - 9. Is z(q) prime?
False
Let s be (-2)/9 + (-32)/18. Let w be -70*((-3)/s)/3. Let o = 144 + w. Is o composite?
False
Suppose 3*o - o = -4*l - 42, l + 21 = 3*o. Is l/16 - (-55)/4 prime?
True
Let f(p) = -p**3 - 9*p**2 + p + 11. Let b be f(-9). Suppose b*w - 2*m - 64 = 0, m - 153 = -6*w + 2*w. Is w a composite number?
False
Is ((-991)/(-3))/((-8)/(-24)) composite?
False
Suppose h - 254 = 3*s - 68, -h - 2*s + 176 = 0. Suppose h = 2*c - 406. Is c a composite number?
False
Let l(k) = -k**3 + 5*k**2 + 5*k + 8. Let a be l(6). Let u(x) = 148*x**2 - 34*x**2 + 2*x + 50*x**a + 1. Is u(-1) prime?
True
Let x be (0 - 3)*10/15. Is (x + 33/(-2))*-2 a prime number?
True
Suppose -4*d - 62 = 74. Let p be 38/(-171) - (-22)/18. Let v = p - d. Is v prime?
False
Let l = 10 - 10. Suppose 2*z = -3*f - 1, l*z - 3*z = 4*f + 1. Is z/(-3) + 309/9 a prime number?
False
Suppose 135 + 42 = 3*h. Suppose 6*i = 3*i - 5*c + h, 5*i = c + 89. Is 2 + i + 3/(-3) a prime number?
True
Let y(s) = -7*s**2 + 3*s - s**3 - 8 - 3*s - 2*s. Let q be y(-8). Suppose -8 + q = 3*o + 5*t, 3*t - 15 = 0. Is o a prime number?
True
Let z(j) = -36*j - 1. Suppose -9 + 18 = 3*m. Suppose -m*h - v - 4 = 4, -4*h + 2*v = -6. Is z(h) composite?
True
Let z = 21 - 17. Suppose 3*n = 2*n + f + 584, -z*f = 12. Is n composite?
True
Suppose -3*h + 3*w + 36 = 0, 2*h + 2*w - 9 = -w. Let r be (h/(-6))/(3/(-4)). Suppose 4*b = -5*u + 8, 3*b - 25 = 3*u - r*u. Is b composite?
False
Suppose 4*p - 4 = 4*x, 0 = 4*p - p + x - 15. Suppose p*c - 69 + 9 = 0. Is c a composite number?
True
Let f be 2/(2 - 1)*-373. Let z = 3 + -10. Is f/(-14) + 2/z prime?
True
Let k be (12/(-15))/(3/(-345)). Let c = -25 + k. Is c a prime number?
True
Suppose 2648 = 13*d - 5*d. Is d a prime number?
True
Let g = 605 - 392. Let i = g + -134. Is i a composite number?
False
Let l = 118 - 3. Is l prime?
False
Let a(f) = 330*f - 13. Is a(5) a composite number?
False
Let z = -75 + 274. Is z a prime number?
True
Suppose 0 = 4*i - 1 - 51. Suppose 5*f - 3*r = -32, 37 = -5*f + 2*r - 4*r. Let w = i + f. Is w a prime number?
False
Let y(a) = 2*a - 3. Suppose -3*n = 3*s - 6 + 30, -s + 5*n = 2. Let x be y(s). Let j = 26 + x. Is j composite?
True
Let u be (-1 - 2)*8/(-3). Let l(a) = a**2 - 2 - 4*a - 8 + u. Is l(9) a composite number?
False
Is 1537/1*(1 - 4)/(-3) composite?
True
Suppose -4*q = -5*x - 194, -5*q - 2*x = 3*x - 220. Is q prime?
False
Let r(u) = 7*u**2 - 9*u - 11. Is r(-7) a prime number?
False
Let s(b) = -2*b**3 + b**2 - 1. Let k be s(-1). Suppose k*j + 0*j + 260 = 4*g, 5*g - 320 = 5*j. Suppose 0 = u + u - g. Is u a prime number?
False
Let u(f) = f**3 - 9*f**2 + 9*f - 10. Let j be u(8). Is -1 - (j - 20/2) composite?
False
Suppose -7*w + 3*w = -40. Suppose 2 = -2*g - w. Let n(b) = b**3 + 8*b**2 + 7*b - 7. Is n(g) composite?
False
Let b(r) = -72*r + 3. Let x(m) = -217*m + 10. Let t(s) = -7*b(s) + 2*x(s). Is t(3) prime?
False
Let m be -9*(24/9)/