rue
Let a(q) be the first derivative of -3*q**4/2 + 4*q**3 + 3*q**2/2 - q - 31. Is a(-6) a prime number?
True
Let d = 3644 + 1413. Is d prime?
False
Suppose -40*u - 73*u + 8904739 = 0. Is u composite?
False
Let f(m) = -8*m**3 + 3*m**2 + 12*m - 6. Is f(-5) a composite number?
False
Suppose 24455 - 1810 = 5*r. Is r a prime number?
False
Suppose -5*o - 3 = 4*q + 8, 3*o + 5*q = -17. Let a = -2 + o. Is a/(2 + 2012/(-1004)) prime?
True
Let f be (0 - 0)*(0 - 1). Suppose 0 = -f*t - 2*t + 8. Suppose -255 = 3*x - t*x + 2*w, 2*x = -3*w + 545. Is x prime?
False
Let z = 4 + -2. Suppose -a = -3*s - 982, -a = -z*a - 4*s + 975. Is a a composite number?
True
Let h = 4 - -29. Suppose 0 = -2*k + 2 - 0, 4*k = -2*g + 10. Is 0 + (h - 3) + g a composite number?
True
Let b = 118 - 48. Let o be 14/b - 2/10. Suppose -5*d = 2*a - 263, 2*a + d = -o*d + 243. Is a a prime number?
False
Let a(x) = -2*x - 1. Let r(p) = -29*p - 1. Let u(f) = 2*a(f) - r(f). Let l = 20 - 14. Is u(l) a composite number?
False
Let a be (-6)/12*-1 - (-3)/2. Suppose 4*v - 10426 = -a*q, 3*v + q = 8756 - 938. Is v composite?
True
Let o(f) = 4077*f**2 - 11*f - 10. Is o(-1) prime?
False
Suppose -510 = -5*k + 205. Let j = -252 + k. Let s = 128 - j. Is s composite?
True
Is ((-273177)/(-12))/((-21)/(-28)) a composite number?
True
Let x = 9 - 7. Let j(y) = 32*y + 3. Is j(x) a prime number?
True
Suppose 0 = -2*f - x - 6, -3*f + 3*x = f + 2. Let o be f - (8/(-4) + 1). Is (-2 + 75)*(-7)/o a composite number?
True
Let z(i) = 10*i**2 + 10*i + 33. Let w be z(-8). Let n = 378 + w. Is n composite?
False
Let x = -21 + 39. Let t = x + -22. Let z = 41 + t. Is z composite?
False
Suppose -547 - 31217 = -4*y. Is y prime?
False
Let d(f) = 1035*f**3 + 2*f + 3. Is d(2) a composite number?
False
Let l(w) = 171*w + 40. Is l(11) a prime number?
False
Suppose -3*q - 2*m - 186 = 2*m, 0 = -5*m + 15. Let y = q - -287. Is y a prime number?
False
Let o = 55 + -53. Suppose -2*n + 0*n + 5*g = -446, -o*n = -2*g - 446. Is n a prime number?
True
Suppose -2*f = v + 2*v - 1969, -3*f = 4*v - 2955. Is f a composite number?
True
Suppose -5*w = -2*d - 17455, -5*w + 4*d + 17455 = 9*d. Is w composite?
False
Is 3 + 4772 + 2 - (3 + -9) a composite number?
False
Is (72/(-32) - 2/(-8)) + 53815 a composite number?
False
Is 0/((-8)/(48/30)) + 15877 a prime number?
True
Let p be -2*2/(-4) + 2. Suppose -3*r + 492 = p*b - 2283, 12 = -3*r. Is b a prime number?
True
Is (-36282)/15*(5 + 45/(-6)) composite?
False
Let h(s) = -s - 17. Let j be h(10). Let i = j + 45. Is i/12*(-88)/(-6) a prime number?
False
Suppose -t - 417 = 643. Let b = t - -1899. Is b a prime number?
True
Let y(v) = -2586*v - 5. Is y(-16) a composite number?
True
Let h(s) = 9 + 7*s - 58*s + 5. Is h(-9) a prime number?
False
Let w be (-40)/25*(-10)/2. Let f be w/(-24) - (-392)/6. Is (-5)/(10/(-4)) + f a prime number?
True
Is (10673 - 2) + (-130)/13 composite?
True
Suppose a - 2429 = -5*z, -3*z = 5*a - 2*z - 12169. Is a a prime number?
False
Let r(g) = 9661*g - 14. Is r(1) a prime number?
False
Suppose g + 3*g = j - 2649, -5*j - 3*g + 13153 = 0. Is j composite?
False
Suppose -34*u = -30*u. Suppose u*o - 5*o = -q + 144, -3*o + 3 = 0. Is q a composite number?
False
Suppose 702059 = 27*u - 123790. Is u a prime number?
False
Suppose 5*k - v + 5 = -5, 4*k - v = -8. Is 1/k - (7236/(-8) + -3) prime?
True
Let h(x) = 6*x**2 + 6*x + 15. Suppose 0 = -4*z + 4*u - 44, 4*z + u = 3*u - 36. Is h(z) a prime number?
False
Let j = 7 - 2. Suppose h + 5*u = 41, 10*h = j*h - 2*u + 228. Is h composite?
True
Is (3245 + -3 + 9)/(3/3) prime?
True
Let x = 9 - 5. Suppose x*t + 81 = 877. Is t composite?
False
Let q(y) = 95*y**2 - 21*y + 5. Is q(11) composite?
True
Suppose 0 = -k + 5*m + 2077, -6*m + 11*m = 0. Is k a composite number?
True
Let h(x) = 343*x + 363. Is h(4) a prime number?
False
Let i(o) = 10*o**2 - 3*o + 16. Let t(x) = -30*x**2 + 8*x - 47. Let h(q) = 7*i(q) + 2*t(q). Is h(-8) prime?
False
Let i(v) = 23 + 24 - 51 + 11*v**2 - 10*v. Is i(9) prime?
True
Let s(k) = 65*k**2 + 62. Is s(-8) a prime number?
False
Let b be 2/6 - 2/6. Let n(p) = -20*p - 217. Let c be n(-11). Suppose -r - r + 633 = c*j, b = -3*j + 3*r + 633. Is j composite?
False
Let u(x) = 4*x**2 + 16*x - 23. Let t(l) = -4*l + 35. Let z be t(12). Is u(z) a composite number?
True
Suppose -184 = 2*s + 272. Let z = -119 - s. Is z a composite number?
False
Suppose -2*o + 2*f = f - 242, 4*f = -o + 112. Let y = o + 38. Is y a prime number?
False
Let y = 9 - 15. Is y/4 + (-1336)/(-16) a prime number?
False
Let d(z) = 32*z + 18. Let g(j) = -34*j - 17. Let i(s) = 4*d(s) + 5*g(s). Is i(-13) a prime number?
False
Let y(u) = u + 17. Let r be y(-14). Suppose -r*i - 5*q = -1930, 3*i - i - 1265 = q. Is i a composite number?
True
Suppose 0 = 4*o - 3*s - 14035, o + 3*s - 992 = 2513. Suppose -5*r = -r - o. Is r a prime number?
True
Suppose -24 = -11*v + 7*v. Suppose -10*n + 784 = -v*n. Suppose -4*b = 4*a - 496, 4*a - 4*b + n - 716 = 0. Is a prime?
True
Let n = 21798 + -12633. Suppose 4*r - 5*q = 9*r - n, 2*q + 5489 = 3*r. Is r prime?
True
Let t be 6/(-3*(-3)/6). Suppose l = -t*l. Is (-2 + l)*(-118)/4 a composite number?
False
Let d = -68502 - -107865. Is d a prime number?
False
Is 6413*451/132 - (-2)/(-24) a composite number?
False
Let q = -17 - -25. Suppose -5*b + 22 = 4*n - 10, -q = 4*n - 5*b. Suppose 2*j - 404 = -4*g + 940, -n*g - 5*j + 1015 = 0. Is g a prime number?
False
Is (-134182)/(-4) + 3/2 a composite number?
False
Suppose -3*i + 6 = -3. Suppose d - 1 = -2*h, -d + 2*d + 3 = 0. Suppose 0 = -i*x - h*m + 255, -3*x + m = -140 - 106. Is x a composite number?
False
Let t(w) be the first derivative of -w**3/3 - 5*w**2 + w + 3. Let s be t(-7). Is 4/s + 26348/44 a composite number?
False
Let d be (-56)/(-2)*1/2. Let k = 17 - d. Suppose k*z - 40 = -z. Is z a composite number?
True
Suppose -8*q - 550 = 3*q. Let n = 597 - q. Is n a composite number?
False
Let q(f) = 57*f**2 - 47*f + 53. Is q(17) composite?
False
Let n = 157 + 299. Suppose n + 249 = 3*h. Is h a composite number?
True
Let h(j) = -1 + 6 + 8 + 3*j + 1. Let f be (-27)/(-2) + 3/(-6). Is h(f) a composite number?
False
Let u = -4 + 9. Suppose 4*y - 7*y = -u*k + 1942, 0 = 2*k - 3*y - 775. Is k a composite number?
False
Suppose 3*q = 5*q - 35914. Is q a composite number?
False
Let c be 2501*-3*(-1)/3. Suppose -3*g + 4876 = -c. Is g composite?
False
Let f(p) be the first derivative of 97*p**2/2 + 2*p + 2. Is f(3) prime?
True
Suppose 5*k = k. Let m be ((-14)/4 - -3)*k. Suppose -3*w = -m*w - 27. Is w composite?
True
Suppose -685 = -2*f - v, -896 = -4*f + 2*v + 462. Is f a prime number?
False
Let a = -19902 - -28565. Is a prime?
True
Let u be ((-2170)/15)/(10/(-465)). Let z = -1220 + u. Is z composite?
False
Let b(d) = 13*d + 180. Is b(-7) a composite number?
False
Suppose 3*r - 965 = -n + 1588, -4*r - 2567 = -n. Is n prime?
False
Let t = -1 + 4. Suppose -1 - t = -f. Suppose f*a = 6*a + u - 974, 0 = -4*a + 2*u + 1948. Is a composite?
False
Let m(q) = -4*q**2 - 3*q - 7. Let u(x) = -3*x**2 - 2*x - 6. Let r(c) = -2*m(c) + 3*u(c). Let k be r(-7). Let o = 142 + k. Is o a composite number?
False
Suppose -7 = -3*d - 4, -7869 = -5*h - 4*d. Suppose -3*l = -3*r - r + h, -387 = -r + 2*l. Is r a composite number?
False
Let d(j) = -17*j**3 - 4*j**2 - 2*j + 2. Let p be d(-2). Suppose -t - 2*t - p = 0. Let m = 179 - t. Is m prime?
False
Is 14/(-6) + 1 + (-12610)/(-30) a composite number?
False
Let b(v) = 3*v**2 + 6*v - 4. Let x be b(-3). Suppose -x*t = -2*j + 483, -j = t - 5*t - 237. Is j prime?
False
Let z be (-83625)/(-10) + (-3)/(-6) + 1. Is (-4)/(-26) - (-2 + z/(-52)) prime?
True
Let m(a) = 5*a**2 + 3*a + 4. Let h be m(5). Suppose 3*b + 3*x + 9 = 453, -h = -b - 2*x. Is (-1)/((-4)/b) - 1 prime?
True
Suppose -332 = 79*u - 83*u. Let v = 1194 - u. Is v a composite number?
True
Let g(p) = 2*p**2 + 4*p + 3. Let h be g(-2). Suppose h*i = c + 2*c + 540, -i - 5*c = -156. Suppose 3*o = 7*o - 2*s - i, -4*o = 5*s - 162. Is o prime?
True
Let d(v) = 15*v + 34. Suppose -2*p - m = -4 - 17, -3*p + 24 = -m. Is d(p) prime?
False
Suppose 0 = 13*s - 4*s - 270009. Is s prime?
False
Suppose -11 = 3*i - 50. Suppose 12*b = i*b - 157. Is b a composite number?
False
Let d(w) = 4246*w**3 - w**2 + w + 1. Is d(1) a composite number?
True
Let w(x) = 6*x*