r. Is t a prime number?
True
Suppose 3*s + t = 15619, -21*s + 23*s - 5*t - 10424 = 0. Is s prime?
False
Let c(m) = 340*m**2 + 262*m + 3. Is c(10) a composite number?
True
Let g(j) = 4*j**2 + 4*j - 2. Let f be g(-7). Suppose -4*p = f - 1682. Is p composite?
False
Suppose 0 = 3*f - 9 - 6. Suppose f*h + 1203 = 8*h. Is h a composite number?
False
Suppose -h + 3231 = 366. Let s = 0 - 5. Is (h/(-6))/s*2 composite?
False
Suppose 0 = -0*o - 2*o. Suppose -3*g - g + 8 = o. Suppose -4*i = g*z - 1028, 4*z = -4*i - z + 1016. Is i a prime number?
False
Let f(k) = 27*k**3 - 2*k - 7. Let x be f(3). Let b = x + -423. Is b composite?
False
Let n = -111 + 191. Suppose -3*o = o + n. Let d = o - -46. Is d composite?
True
Suppose 995 = j + 171. Suppose -1272 - j = -2*r + y, 4*r + 5*y = 4206. Is r a prime number?
True
Let j(q) = 5*q + 4. Let s be j(-3). Let m be (-3)/(-12) + s/(-4). Suppose b - 75 = 4*c, b + 3*b - 338 = -m*c. Is b prime?
True
Is ((-96)/12)/24*-7827 a composite number?
False
Is (-4 - (-28)/8)*(-54092)/2 a prime number?
True
Let l = 79 - 44. Let p = 33 - l. Let c(q) = 69*q**2 + 2*q - 1. Is c(p) prime?
True
Let j = 18 + -22. Is ((-764)/(-3))/(j/(-6)) a prime number?
False
Suppose 663*l - 661*l - 7286 = 0. Is l composite?
False
Suppose -5*i + 5*y + 35 = 0, -1 = 2*i + 2*y - 11. Let a = i + -3. Let b(t) = 4*t**3 - t**2 - 3*t + 3. Is b(a) a prime number?
False
Let z(v) = -v**2 + 5*v + 10. Let x be z(8). Let k = -9 - x. Suppose 0 = -4*y - 3*j + 821, 0*y = -y - k*j + 218. Is y a prime number?
False
Let z(m) = -2*m - 2. Let t be z(-2). Suppose -3*v - 31 = -0*v - l, -49 = t*v + 5*l. Is v/(-28) - 396/(-7) prime?
False
Suppose 2*n - 3*a = 3*n - 2547, -5*a + 5092 = 2*n. Suppose -4*l + n = 217. Is l prime?
False
Let w be 4*(0 + 3/(-4)). Let m be (-2)/w + 13/3. Suppose -m*x - 3*b = -1670, 5*x + 5*b = 1326 + 334. Is x prime?
True
Suppose 6*x = 551427 + 33255. Is x a composite number?
True
Suppose 7 = 4*v - 4*w + 3, -5*w + 7 = -v. Suppose 4*c - 977 = -v*j, -3*j - 2*j + 4*c = -1671. Is j a prime number?
True
Suppose -2386*h + 2384*h + 7342 = 0. Is h composite?
False
Let m = -8274 - -23567. Is m prime?
False
Is 123036/9 + 105/(-63) a composite number?
False
Suppose -3*j - 4*i = -3941, 3 = -i - 1. Suppose -240 = g - j. Is g a composite number?
True
Let y be (6/(-10))/(3/(-75)). Let f = y + -10. Let t = f + 74. Is t a composite number?
False
Suppose -15 = -2*m - 0*h - h, 3*m = -h + 23. Suppose -2*w + 5*n = -6*w + 44, -4*w + 4*n = -m. Suppose 130 = -f + w*f. Is f a composite number?
True
Let s = -8 + 5. Let a be s - (-34 - (-9)/(-3)). Let f = 71 - a. Is f prime?
True
Let o(j) = -j**2 + 3*j. Let k be o(3). Let t = 2087 - 1418. Suppose -t = -2*v - n, k*n = 5*n + 25. Is v composite?
False
Let k be ((-2)/(-3))/((-10)/270). Let t(h) = -3107*h - 1. Let a be t(1). Is (a/k)/((-4)/(-6)) a composite number?
True
Let j(n) = -2*n**3 + 5*n**2 - 3*n + 2. Let f be j(4). Let i = 97 + f. Is i a prime number?
False
Suppose -3*w = -3*r - 37716, 20*r = -5*w + 15*r + 62830. Is w composite?
False
Let p(k) = -3*k**2 + 64*k + 17. Let n(q) = 2*q**2 + 3*q. Let s be n(-4). Is p(s) composite?
False
Let q(b) = 42*b**2 + 3*b - 17. Let o(j) = j**3 + 10*j**2 - 13*j - 16. Let c be o(-11). Is q(c) composite?
True
Suppose 5*o + 5*c = 25, -3*o + 4*c - 18 = -5*o. Is 255 + 6 - (1 + 1/o) a composite number?
True
Is (401 - (-4 - 0)) + 6 composite?
True
Let f = 1217 - 718. Suppose 5*a = 0, -a + f = -l + 2*l. Is l a composite number?
False
Let o(h) = -3*h - 16. Let g be o(-9). Suppose -g*v + 2648 = -3*v. Is v a composite number?
False
Let o(g) = 232*g**2 - 15*g - 54. Is o(17) a composite number?
False
Let g(a) = -25*a**3 - 2*a - 1. Let s be g(-1). Suppose 0 = -32*d - 18*d + 7650. Let x = d + s. Is x a prime number?
True
Let p(z) = -z**3 + 2*z**2 + 5*z - 2. Let h be p(3). Suppose 3*l - 2*y - 746 = -l, -4*y - 752 = -h*l. Is l prime?
False
Let g be 2/(-6)*-3*4. Suppose v + 1 = g. Is 3*23 - (v - 1) prime?
True
Suppose j + 3*a + 2*a - 24 = 0, -5*j = -3*a - 8. Suppose 2*i - j*c - 3723 = 67, 9481 = 5*i - 4*c. Is i a prime number?
False
Let r be 10*(9/(-6))/(-3). Suppose -t + 2*t - 1 = -2*y, -t + 4*y - r = 0. Is (t - 4)/(6/(-186)) composite?
True
Let d = 766 + -459. Is d composite?
False
Let h(t) = -4*t + 2. Let p be h(3). Let m = 14 + p. Suppose -m*l + 0*l + 2540 = 0. Is l prime?
False
Let f = 96 - -47. Is f a prime number?
False
Is -5 + (4070*-1)/(-5) a prime number?
True
Let t(m) = -m**3 + 7*m**2 - 6*m - 7. Let s be t(6). Let d(n) = 35*n**2 - 7*n - 5. Is d(s) a prime number?
True
Suppose -33*s + 63920 = -47917. Is s a composite number?
False
Suppose 35 - 27 = -2*d, 0 = 4*b + 2*d - 28004. Is b a composite number?
True
Let w(i) = -i**2 + 8*i - 8. Suppose -3*d = -5*b - 5, 3*b - 10 = -d + 1. Let v be w(d). Suppose 110 = v*h - 5*h. Is h a composite number?
True
Suppose 0 = -4*f + 24 - 8. Suppose q + 30 = -5*j, f*q + 3*j + 10 = 5*q. Is (-3)/15 - 396/q prime?
True
Suppose 2*v + 4 - 6 = 0. Is v*4*(-3628)/(-16) a composite number?
False
Let d = -9 - -26. Let v = -8 + d. Is (-17)/(v/(-2) - -4) a prime number?
False
Let z(l) = -l**3 + 14*l**2 - 15*l + 28. Let q be z(13). Is (-471)/6*q/(-1) a prime number?
True
Let w(f) = f - 3. Suppose 0 = 2*c - 4*k - 6, -3*c - k = -0 - 9. Let y be w(c). Suppose -8*a = -3*a + 20, i - 2*a - 29 = y. Is i composite?
True
Let x(l) = 2*l**3 + 56*l**2 - 72*l - 15. Is x(-29) a prime number?
False
Suppose 2*s = -0*s + 4. Suppose -b + s = -2. Let z(f) = 2*f**3 + f**2 - 6*f + 2. Is z(b) a prime number?
False
Let o(a) = 7615*a**3 + 3*a**2 - 3*a. Is o(1) prime?
False
Is 28192 + 2 - (9 + -16) prime?
True
Let s(v) = 3525*v**2 + v + 3. Is s(-1) prime?
True
Suppose 54 = -0*l + 2*l + 4*m, -2*l - 3*m + 49 = 0. Let c = 18 - l. Is (-7)/((c/(-31))/1) a composite number?
True
Let b be ((-14)/(-21))/((-4)/18). Let x be -2 - (b - -40) - 2. Let i = x + 156. Is i a composite number?
True
Let j = 438 + -239. Is j prime?
True
Let l be -5*(-2 + 3 - 5). Let u = l - 1. Is u prime?
True
Let u = 1550 - 1013. Is u a prime number?
False
Suppose 0 = -5*f + 2*f + 4761. Suppose -5*u + 14 = -x, -5*x = -u - 0 - 2. Suppose -5*i = r - f, 344 = -u*i + 3*r + 1289. Is i a composite number?
False
Let x be (-4)/(-1)*(-1)/(-4). Let h be ((0 - -6) + -3)/x. Suppose -3*n + h = 0, 3*a - 6*n - 90 = -3*n. Is a composite?
False
Let f(z) = 28*z + 13. Suppose 6 + 6 = 3*q. Suppose 4*t - q = 36. Is f(t) a composite number?
False
Let n(l) = -l**3 + 14*l**2 - 33*l + 15. Is n(9) a composite number?
True
Let u be 1/((-1531)/(-510) + -3). Let j = -8 - -307. Let t = u - j. Is t a composite number?
False
Let r be 182/6 + (-14)/(-21). Suppose 4*h = k + 17, -3*h + 4*k - 2 + r = 0. Suppose 98 = 2*w - u, -5*w + 257 - 12 = h*u. Is w a prime number?
False
Let r be 1/4 + (-381)/(-12). Suppose -r = -h - 6. Let z = 319 - h. Is z prime?
True
Let w(b) = -b**3 + 3*b**2. Let p be w(3). Suppose -452 = -d - 6*l + 11*l, l - 3 = p. Is d prime?
True
Let b(x) = 9*x**2 - 2*x - 13. Let z(o) = 5*o**2 - o - 7. Let j(k) = 4*b(k) - 7*z(k). Let c be j(4). Let l(v) = v**2 - v - 13. Is l(c) prime?
True
Let j = 2733 - 1735. Let r = -619 + j. Is r prime?
True
Suppose -249 = 2*g + 267. Let c = -113 - g. Is c prime?
False
Suppose 2*q + 4*m - 2*m - 4 = 0, 3*m + 3 = 0. Is 1 + 3 - (-306)/q prime?
False
Let u = 1210 + -701. Let x = u + -288. Is x prime?
False
Let q(s) = -4*s**3 + 3*s**2 - 12*s - 4. Suppose -5*x - 30 = 4*i, -i - 5*x - 1 = 14. Is q(i) a prime number?
True
Let q(b) = -19982*b - 45. Is q(-1) a composite number?
False
Suppose -4078 = -9*k + 24551. Is k composite?
False
Let p(k) = -5*k + 56*k**2 + 3 - 2*k + 2*k + 3*k. Is p(-4) a composite number?
False
Suppose 3*q + 3*n = 25608, -2*q = 3*n - 0*n - 17077. Is q a prime number?
False
Suppose -10*i - 401 = 14199. Is i/(-5) + 4 - 3 a composite number?
False
Suppose 0 + 8 = 2*h. Suppose 0 = 2*m - 10, -p + h*m - 60 = 4*p. Let d(a) = a**2 + 5*a - 5. Is d(p) composite?
False
Suppose -5*h + 2*k = -95813, -20*k + 24*k - 19167 = -h. Is h composite?
False
Let x = 1497 + -708. Suppose 166 = 5*d - x. Is d a prime number?
True
Let l(t) = t - 2*t**2 - t**2 + 6*t**3 - 3 + 4*t**2 + 2*t. Let z = 17 + -15. Is l(z) composite?
True
Suppose -6*g - 70992 = -10*g. Suppose 4*x + 4*v = g, 3*v = -5*x + 7*v + 22185. Suppose 3*d - 2*o - x = 0, 5*d - 2*d = 5*o 