composite number?
False
Let b = -109 + 114. Suppose 4*u - 15450 = b*i, 0*i + 4*i = -5*u + 19333. Is u composite?
True
Let a(x) = 4774*x**2 - 974*x + 7745. Is a(8) prime?
True
Suppose -7986515 + 4843903 - 6583132 = -16*x. Is x prime?
False
Let g = -62 + 61. Let s(i) = -925*i - 7. Let t be s(g). Suppose -5*z + 917 = -2*z - 4*d, 3*z = 3*d + t. Is z composite?
False
Suppose 210*k - 34183619 = 67018434 + 51605497. Is k prime?
False
Suppose 769212 = 130*z - 20*z - 555958. Is z composite?
True
Suppose 122*v + 970152 = 134*v. Is v a composite number?
True
Let n(f) = -f**2 + 2. Let x be n(-2). Let y be (8/x - -3)*-10. Is 35518/18 - y/45 prime?
True
Is ((-2)/(-3)*-10594)/(3824/(-2868)) a composite number?
False
Suppose 2*w + 16489 = -2545. Let c = -2300 - w. Is c prime?
False
Let k = -3915 - -8265. Suppose -7*m + 2*m - 5*v = k, 1775 = -2*m + 5*v. Let w = m + 1346. Is w a prime number?
False
Suppose 674091 = 3*k + 3*w, 0 = -178*k + 176*k - 5*w + 449388. Is k a composite number?
False
Let i be (-12 + 22)*(-2)/(-4). Suppose 0 = 2*q - 4*v - 22842, -21*q + 18*q + 34274 = i*v. Is q prime?
True
Let l(i) = i**3 + 6*i**2 + i - 2. Let o be l(-6). Let m = o + 12. Suppose 6*p - f = p + 1114, -m*p = f - 893. Is p a composite number?
False
Let d(m) = 172*m**2 + 25*m + 42. Let y be d(12). Suppose 0 = 3*k - y - 213. Is k a composite number?
True
Let b(x) = x**3 + 28*x**2 - 298*x + 72. Is b(53) prime?
False
Let j be 0/((-4)/4 - -3). Suppose j = -9*t + 10*t - 11666. Suppose -t = -2*a - 3780. Is a prime?
True
Suppose -4*l - 2*h + 56040 = 0, -2*h + 6800 + 77258 = 6*l. Is l prime?
True
Let a = -1789 + 1052. Let b = 1228 + a. Is b composite?
False
Let v = -307924 - -584987. Is v prime?
True
Let y(t) = 1537*t**2 + 2*t + 2. Let h(b) = 20*b - 121. Let k be h(6). Is y(k) prime?
False
Let v(z) = 14*z**2 - 4*z - 9. Let l(i) = -i**3 + 4*i**2 - i + 6. Let s be l(4). Suppose 3*c + s*t = -22, 3*c + t - 11 = -31. Is v(c) composite?
True
Suppose -k - 20534 = -2*x + k, 4*x + 4*k = 41052. Let n(a) = a**2 + 15*a - 45. Let g be n(-19). Suppose 0 = -26*b + g*b - x. Is b a prime number?
True
Let d = -51623 - -122194. Is d prime?
True
Let r = -9 + 6. Let z(d) = 435*d**2 + 4*d + 13. Let u be z(r). Suppose 6*c = 2*c + u. Is c prime?
False
Suppose 2*s + 4*u - 34 = 0, -1 + 2 = s - 2*u. Suppose s*g = -0*g + 36. Suppose 3*p = 4*l - 231 - 126, -2*p = -g*l + 354. Is l composite?
True
Let m = 410 + -403. Let a = 6592 - 3394. Suppose m*t - a = t. Is t a prime number?
False
Suppose 0 = 5*u + 465655 - 2332795. Suppose -23*r = 95197 - u. Is r composite?
False
Let u = -14907 - -7689. Let a = -4967 - u. Is a a composite number?
False
Suppose 0 = -y - 6, 198*y - 201*y = -t + 183524. Is t a prime number?
False
Let v(l) = 9*l**3 - 3*l**2 + 19*l + 5. Let d be v(4). Suppose -18*p + 7869 = -d. Is p composite?
True
Let v be (1 + 22/(-10))*(-10)/3. Suppose v*l = 3409 + 1363. Is l a prime number?
True
Let c = 36 - 389. Let g = 1046 - c. Is g prime?
True
Suppose 174*b - 17193431 = 45523651. Is b composite?
True
Let l(f) = -f**3 + 38*f**2 + 323*f + 50. Let g be l(45). Let y be 2/(1/1) + 2. Suppose 6554 = y*m - g. Is m a composite number?
False
Let a(c) = -3*c**3 - c**2 + 39*c + 52. Let o be a(-21). Suppose -j = -5*n + o, j = 2*n + 4*j - 10613. Is n prime?
False
Suppose 4*t - 10 + 2 = 0. Suppose 0 = -t*l - 3*l - 50. Let p(z) = -27*z - 11. Is p(l) a composite number?
True
Let v be 170 + -1 + 5 + 0 + -10. Is (-9001)/(-4) - (-123)/v prime?
True
Suppose -5*g + 4*z = -g - 8, -5*z + 22 = 3*g. Let p be (-26444)/(-10) - g/10. Suppose -2*u - 2*f = -1312, 5*u = 5*f + 626 + p. Is u composite?
True
Suppose 610677 = 2*u - 5*t, 504*u - 3*t - 1221361 = 500*u. Is u a composite number?
True
Let m(o) = 3*o**3 + 3*o**2 + 6*o - 8. Let b be m(5). Let y be -3*3*b/(-18). Let c = 955 + y. Is c a prime number?
False
Suppose 22*t - 23*t + 23 = 0. Suppose 3*r - t = -11. Suppose -r*j = -4*z + 1172, 5*z - 1210 = -3*j + 255. Is z prime?
True
Suppose -3*c - 13*r = -16*r - 469455, -4*c - 2*r + 625952 = 0. Is c a prime number?
True
Suppose -4*o + 51440 + 45048 = 0. Suppose -4*g + 23706 = -o. Is g a prime number?
False
Let r = -32177 - -71670. Is r a prime number?
False
Let o(t) be the second derivative of 52*t**3/3 - 3*t**2/2 - 2*t. Suppose 80*j + 45 = 89*j. Is o(j) prime?
False
Is (-457868)/3*51/(-68) prime?
True
Let s = 572 - 989. Is (-14)/(-6) + (-730028)/s a composite number?
False
Let q = 445464 + -135241. Is q composite?
False
Let s be 4379/(-3) + 2/3. Let j be (-81536)/(-39) + 6/(-9). Let o = s + j. Is o composite?
False
Suppose -32*f - 27*f = 26*f - 4520895. Is f a prime number?
False
Let w(q) = 15*q**2 - 26*q - 273. Is w(-20) a prime number?
True
Suppose -6971037 = -54*r - 809961. Is r prime?
False
Suppose 68 = -r - 3*q - q, -2*q + 362 = -4*r. Let w = -89 - r. Is 22720/36 - w/(-9) a composite number?
False
Let s(u) = 7068*u**2 - 56*u + 189. Is s(3) prime?
False
Suppose 0 = 2*a - 13*a. Suppose m - 21 + 22 = a. Is m*(-5 - -1372)/(1 + -2) composite?
False
Suppose -5*y = 3*d - 291682, -10*y - 58326 = -11*y + 2*d. Is y prime?
False
Let l = -395784 + 565831. Is l a composite number?
False
Let b(k) = -13*k - 789. Let j be b(0). Let t = 2309 - j. Is t a composite number?
True
Suppose 0 = 11*u - 5020 - 5309. Let p(c) = -70*c - 4. Let q be p(-8). Let y = u - q. Is y composite?
False
Let a = 612 - 609. Suppose 2*l - 358 = a*w - 8*w, -w = -5*l + 895. Is l composite?
False
Let j(d) = 46*d**2 + 14*d + 23. Suppose -3*t - 12 = 0, t = -5*i - 0*t - 29. Let q be j(i). Suppose 0 = 4*c - 461 - q. Is c composite?
True
Let d = 37 - 115. Let i = 81 + d. Is i*2/(18/597) prime?
True
Let f(b) = 10*b - 4. Let z be f(1). Suppose 5*i = -g - 9, 3*i - g = -1 - z. Is (-1)/i*-2 - -342 a prime number?
False
Suppose -27719 = -3*p - v, 0*p + 3*v + 46189 = 5*p. Is p prime?
True
Let u(w) = -484*w + 8. Let q be u(-3). Suppose 0 = 3*t - q - 4459. Suppose 2*a - 17 - t = 0. Is a prime?
False
Suppose 2*g = -t + 6, -2*g + 15 = -t + 1. Suppose g*f - 28 = -2*f. Suppose 5467 = f*q + 5*n, 3*q - 2*q - 1360 = n. Is q composite?
True
Let p be ((-17883)/(-6))/(1 - (-15)/(-10)). Let r = p - -11902. Is r prime?
False
Let a = 78 - 78. Suppose a = -5*n + w + 1938, -1464 - 466 = -5*n + 5*w. Suppose 6*q = 10*q - n. Is q composite?
False
Let p = -1858915 - -3252504. Is p a prime number?
True
Suppose h - 515097 = 4*k, -50*h + 1545259 = -47*h - 4*k. Is h a composite number?
True
Let u be (0 - (-145)/15) + (-2)/3. Suppose 5*o - 14 = -4*t, -u*t + 10 = 3*o - 5*t. Suppose o*g - 253 = -3*v + 226, 4*v + 2*g = 638. Is v prime?
False
Suppose 11*k - 214476 = 4*n + 10*k, 5*n + 268116 = -4*k. Is 1 + -2 - n/5 a prime number?
True
Suppose 4*l - 77 + 41 = 0. Suppose 4*j + 35 = -1. Is 12/j + 2 + 2973/l composite?
False
Let p = -3744 - -2644. Let z = p + 5134. Let t = z - 2479. Is t prime?
False
Suppose a - 3*c = 529954, -4*a = 2*c - 8*c - 2119762. Is a a prime number?
True
Let s(d) = -118*d + 4. Let h be s(-7). Suppose -7*v + h = 179. Suppose 5*n - 2*r - 135 = 20, r + v = 3*n. Is n composite?
False
Let w be (-8 - -7)/(2/82). Let h = 38 + w. Is 337/(h + -3 + 7) a prime number?
True
Let a(s) = -12338*s + 29. Is a(-6) a composite number?
True
Suppose 2*g - d + 8 = 4*d, 4*d - 34 = -3*g. Suppose 5*y - g - 4 = 0. Is 190 + 9/6*(-4)/y composite?
True
Let x be ((-28)/(-35))/(6/45). Suppose 3*t = -5*a + 10, 3*a - 2*t - x = -3*t. Suppose c + m - 289 = 0, -a*m = 4*c - 3*m - 1166. Is c a prime number?
False
Let j be ((-5)/(-50)*5)/(1/16). Is ((-1250)/j)/((-4)/32) + -3 composite?
True
Let z = 1799 - 87. Suppose -3*g - z = -12194. Is g prime?
False
Let l(j) = -22*j**2 - 19*j - 18. Let v(w) = 2*w**2 - w + 1. Let t(a) = -3*a**2 + 2*a - 2. Let u(i) = -3*t(i) - 5*v(i). Let g(f) = -l(f) + u(f). Is g(-8) prime?
False
Let m(t) = 20884*t**2 - 86*t - 171. Is m(-2) a composite number?
False
Let k(n) = -578*n - 12. Let p be k(-7). Suppose -3*y = 4*s - 8903 - 3169, 0 = y - 2*s - p. Suppose 22*j = 18*j + y. Is j prime?
False
Let o be 1*(7 - 16/4). Suppose 0 = 2*f + o*f - 35. Suppose f*s - 27401 = -6212. Is s a composite number?
True
Let z(g) be the third derivative of 369*g**5/20 - 9*g**4/4 - 4*g**3/3 + 135*g**2. Is z(3) a prime number?
False
Suppose -42*b + 46*b - 6137 = -3*n, -n + 1534 = b. Is b prime?
False
Suppose -14*h = -10*h + 2*j - 2