. Is r(10) a composite number?
True
Suppose -2*o + 4*f + 30 = 9*f, 3*f = -2*o + 22. Suppose -129 = -o*z - 4*p, -5*z - 3*p + 125 = 2*p. Let k = z - 14. Is k a composite number?
True
Is ((-1048)/20)/(-2)*5 a prime number?
True
Let h = -13 + 23. Let n be h/25 - (-32)/(-5). Is ((-28)/n)/(4/42) prime?
False
Let r = 11 + -26. Let o be -1 + 3 + -3*18. Let q = r - o. Is q a composite number?
False
Let n(y) = 8*y + 4699. Is n(0) composite?
True
Let d(r) = 106*r + 13. Let k be d(8). Suppose 0*n = -3*n + k. Is n prime?
False
Let i(r) = -3*r**3 - 1. Let t be i(-1). Suppose c - 5 = -t. Is c composite?
False
Let c(g) = 170*g - 11. Is c(20) prime?
True
Suppose -3*l + 0*l + 9 = 0. Suppose -3*q + 262 = l*w - 2*q, -2*w + q = -183. Is w composite?
False
Let i be (-18)/(-4)*(-12)/(-9). Let t = -5 + i. Is (0 - t)*2 - -12 composite?
True
Let t = 4 - 7. Let o = 5 - t. Is (-2)/o - (-2463)/12 prime?
False
Suppose t + 6286 = 3*t - 3*i, -2*i = 0. Is t a composite number?
True
Let p(f) = 8*f**2 - 3*f - 7. Suppose 0 = -3*d - 0*d + 18. Let s be p(d). Suppose 2*z - s = z. Is z a prime number?
True
Let t = -8 + -1. Is (-2)/6 - 2226/t composite?
True
Suppose 0*u + 2*u + 8 = 0. Let x(z) = z**3 + 7*z**2 + 3*z - 2. Is x(u) prime?
False
Let s(c) = 3 + 0 + 0 - 4 + 162*c**2. Is s(-1) prime?
False
Suppose 2*y - 5*y - v + 1892 = 0, 0 = 2*y + 5*v - 1257. Is y prime?
True
Let a(j) be the first derivative of -j**4/4 - j**3/3 + j**2/2 + 79*j + 4. Is a(0) composite?
False
Suppose 3*u = -3*y + 1260, y - 2*y = -5. Is u prime?
False
Suppose 0 = -5*y + 2*j + 339, -2 = 3*j + 4. Is y prime?
True
Let t be (-4)/14 + (-69)/(-21). Let i be 1/(-3) - (-1)/t. Suppose i = -l - l + 190. Is l composite?
True
Suppose -i + 2*w - 166 = 0, -3*i - 538 = -w + 5*w. Let y = -117 - i. Is y prime?
False
Suppose 2 - 17 = u. Let b be (-3)/u - 14/(-5). Is (-27)/6*(-14)/b composite?
True
Suppose 0 = -4*d + 4*f + 20, -5*d = -2*d + 4*f + 6. Suppose d*h = -5*c + 2491, h = c + 4*c - 2497. Is c prime?
True
Let q be 3/(-15) + 2/10. Suppose p - 4*z - 179 = q, 0 = p - 2*p - 3*z + 214. Is p a prime number?
True
Suppose 7*h = 3*h - 8. Let k(o) be the second derivative of -o**5/4 + o**4/3 + o**3/3 - o**2/2 + 3*o. Is k(h) a composite number?
True
Suppose -4*n - 158 = -n + 5*k, -98 = 2*n - 4*k. Let u = 94 + n. Is u prime?
True
Let p(z) = -80*z - 1. Let x be p(-4). Suppose 0*b = b - x. Is b prime?
False
Suppose 2*u + 2*u - 508 = 0. Let d = -80 + u. Is d composite?
False
Suppose -2*r + 1 = -3. Suppose 0 = -5*x + 2*l + 41, r*x = -4*l - 1 + 27. Let a(i) = -i**3 + 10*i**2 - 4*i - 12. Is a(x) a prime number?
False
Let u = -119 + 412. Is u a prime number?
True
Let l(b) = 3*b**2 + 3*b + 1. Is l(2) a composite number?
False
Let z be 6/15 - (-67)/(-5). Let k(g) = -g**3 - 11*g**2 + 5*g - 10. Is k(z) a prime number?
True
Let r = -1 + 0. Let d = -93 + 32. Is -2 + r + 1 - d prime?
True
Suppose -3*w = -4*i - 8, -4*w + 6 = 2*i - 5*i. Suppose -k + 2*k + 100 = w. Let u = 169 + k. Is u a prime number?
False
Let n(s) = -4*s**3 + 2*s**2 - 4*s. Let a be n(-3). Suppose 0 = 4*b - 0*b + 172. Let c = b + a. Is c composite?
True
Suppose -2*j - 5606 = -4*z, 5*z = -3*j - 224 + 7204. Is z composite?
False
Suppose 0 = -5*y - 35 - 5. Is ((-54)/24)/(3/y) a composite number?
True
Suppose -3782 = -2*j - j - 5*l, 0 = 3*j + 2*l - 3779. Is j composite?
False
Let x = 273 + 170. Suppose x = 5*o + 3*m - m, -o + 88 = m. Is o a prime number?
True
Let c = 81 + 1. Is c a prime number?
False
Suppose 3 = -3*y, -7 = -j + 5*y - 0. Let h(a) = 10*a**3 - 2*a**2 + 2*a + 1. Let f be h(j). Let d = f - 42. Is d prime?
False
Is -4*1/(16/(-676)) composite?
True
Suppose 5*j = -13 - 2. Is 206/3*j/(-2) prime?
True
Let t = 70 + -41. Let y = t + 98. Is y a composite number?
False
Let c(g) = 79*g + 3. Is c(4) a prime number?
False
Let f(c) = -2 + 0 - 2*c - c**3 + 0*c**3. Is f(-2) composite?
True
Let s(p) = 2*p - 5. Let y be s(4). Suppose -6 = -y*a - 4*z, -3*z + 0*z - 27 = -3*a. Suppose a*x - 2*x - 196 = 0. Is x composite?
True
Is (-3)/(-15) + (-788)/(-10) composite?
False
Let z = -62 - 7. Let k be (z*3)/(1/(-8)). Suppose 3*r + 4 = -r, -5*o + r + k = 0. Is o composite?
False
Let y = 271 + -174. Suppose 2*v - 3*v = -y. Is v prime?
True
Let g = 4 - 10. Let x = g + 8. Is x a composite number?
False
Suppose 5 = -5*i, s = -i - 0*i + 31. Is -4 + 1 + 2 + s prime?
True
Let z(x) = -x**3 + 15*x**2 - 13*x - 1. Let l be z(13). Suppose 4*j = l + 308. Is j a prime number?
False
Suppose 0 = 3*z - 2*b - 1132, 4*z - 4*b - 958 - 550 = 0. Suppose -3*k + z = 4*f, 0*k + 4*k = -4*f + 380. Is f composite?
True
Suppose 0 = 7*u - 1502 - 1277. Is u composite?
False
Let o(p) = -7*p + 4. Let l(k) = 36*k - 21. Suppose -63 = 3*a - 0*a. Let v(s) = a*o(s) - 4*l(s). Is v(7) prime?
False
Let z(y) = -71*y. Is z(-5) prime?
False
Suppose -9 = 5*k + 311. Let s be (-6)/12 + 854/4. Let c = s + k. Is c a prime number?
True
Let h = -158 + 211. Is h prime?
True
Suppose -4*l - 29 = -1. Let m(k) = -28*k + 7. Is m(l) prime?
False
Let v = -6 - -13. Suppose v - 16 = -z - j, 29 = 5*z + j. Suppose -96 = -z*g + 169. Is g composite?
False
Let g(a) = -a - 11. Let p be g(-13). Suppose -5*v - 12 - 58 = 0. Is ((-4)/p)/(-2) - v composite?
True
Suppose -2*h = r - 128, 2*r - 4*r + 232 = -4*h. Is r prime?
False
Suppose 2*i = 3*i + 14. Let g = 279 + i. Suppose 0 = -2*t - r + 137, -7*t + 3*t + g = -r. Is t composite?
False
Suppose 3*n + 2*n - 25 = 0. Suppose -4 = 2*d - 3*d + q, -2*q - n = -d. Suppose 3*a - 63 = -d*j, 0 = 2*j - 3*a - 0*a - 52. Is j composite?
False
Let j(c) = c**3 + 3*c**2 - 4*c - 5. Let r be j(-4). Let f = r - -8. Suppose 3*v - 90 = -f*n, n + 60 = 2*v - 3. Is v composite?
False
Suppose -2*c = -3 + 1. Suppose p + 53 = 3*h + 14, 119 = -5*p - 4*h. Is -2 + (1 - c) - p a prime number?
False
Let f = -3 + 6. Suppose -f*i + 0*i = -6. Is i composite?
False
Suppose 133 + 461 = 6*j. Let r = 134 + j. Is r composite?
False
Let x(h) = 2*h - 2*h - 2*h**2 - 1 + 2*h**3. Let q be x(2). Let r = q - -30. Is r composite?
False
Suppose i - 1 + 0 = 0. Is (260 + -1)*i + 0 a composite number?
True
Let a(d) = 2*d**2 + 9*d + 2. Let v be (-12)/(-42) + 164/14. Suppose 4*c - 3*h + 16 = 0, 3*c + v = -c + 4*h. Is a(c) a prime number?
True
Suppose o - 302 = -3*n, 0 = -3*n + o - 115 + 407. Suppose 0 = 4*d - 7*d + n. Is d prime?
False
Is 6/2*2312/24 a composite number?
True
Let v be 7 - (2 + -5)/(-3). Suppose 33 = 4*k + 4*r + 5, 3*r = 2*k + v. Let g = k + 8. Is g a composite number?
False
Let y be (0/3)/(2 + -4). Let p(n) = -n**3 - 5*n**2 + 5*n - 17. Let u(w) = w**2 - w + 1. Let b(c) = -p(c) - 6*u(c). Is b(y) composite?
False
Suppose 0 = 3*d - m - 79, 2*d - 2*m = -4*m + 50. Let a = d + -15. Is a composite?
False
Suppose -2*b - 3*b + 2285 = 0. Suppose 0*j - 2*j + 4*r = -230, 4*j = 5*r + b. Is j a composite number?
False
Suppose -24*b + 2597 = -17*b. Is b prime?
False
Let x(p) = p**2 + 13*p + 12. Let m be x(-12). Suppose m*k + 69 = 3*k. Is k a composite number?
False
Let u = 49 - 28. Suppose 0*t = 3*t - u. Let z(h) = 4*h + 9. Is z(t) a composite number?
False
Let w(z) = 5*z**2 - 6*z - 5. Is w(6) prime?
True
Let i = -19 + 21. Suppose -3*v + 1750 = -3*g + 8*g, -g = i*v - 357. Is g a prime number?
True
Let o be 2 - (-4 + (-3)/3). Let m = 16 - o. Is m a composite number?
True
Suppose 0 = 4*g - 741 - 431. Is g a prime number?
True
Suppose 2*f - 2*z - 16 = -3*f, -5*z + 22 = 3*f. Let x(l) = 35*l + 3. Is x(f) a composite number?
True
Suppose 29*i + 140 = 39*i. Is i composite?
True
Let d(c) = -c**2 - 9*c + 3. Let n be d(-9). Suppose -2 - 13 = -n*q, f + q - 262 = 0. Is f a composite number?
False
Let a(s) = s**2 + 9*s + 12. Let w be a(-8). Suppose 0*l = -3*l - z + 1245, w*l - 1660 = -z. Is l a composite number?
True
Let x = -3 + 7. Let p be ((-1)/(-2))/(x/16). Suppose -2*b - 17 = -3*j, 2*j + 2*j - p*b - 26 = 0. Is j a prime number?
False
Suppose -i + j = -2*j - 212, 4*i = -2*j + 778. Suppose -3*h - 61 = -4*t + 691, t - 3*h - i = 0. Is t prime?
False
Suppose -7*t = -6038 - 339. Is t a prime number?
True
Suppose -932 = -g - 3*g. Is g prime?
True
Suppose -8*h + 7*h = -143. Is h a composite number?
True
Let p be (-2 + 1)/(3/15). Let h(o) = o**2 - 6*o + 4. Is h(p) composite?
False
Let l = 21 - -36. Is l a prime number?
False
Suppose 4*o - 2*o = 8, 3*a + o = 1. Let i be (-5)/((2 + a)/1