10). Which is greater: j or k?
j
Let t be 227/(7/(147 - 14)). Is t > 4312?
True
Suppose -23 = -2*j - 3*v, -v = 4*j + 4*v - 39. Is j != 1/859?
True
Suppose -2*a = -0*a. Suppose a = -p + 4 + 21. Suppose -268*k + 2826 = -24*k - 3274. Is p > k?
False
Let j = -47/36 - -3019/1044. Which is smaller: j or 1?
1
Let k = 406.85 + -407. Suppose -17 = -2*x - 3*x + f, 5*x + 5*f - 5 = 0. Let c be (1 - x)/(-1 + 3). Which is smaller: c or k?
c
Suppose -2*i = 2*a + 50, 2*a + 4*i + 9 = -51. Are a and -576/31 equal?
False
Let c = -635 + 989. Let y = c + -236. Suppose 10*k = y + 82. Is k != 20?
False
Let g = -20 + -115. Let z = g - -129. Is -4 at most as big as z?
False
Let i = 725275 - 3645503/5. Let k = 3843 + i. Let g = -69/5 + k. Which is greater: 5 or g?
5
Let c = 19773 + -15076. Is 0 > c?
False
Let w(a) = -3*a. Let j be w(-1). Suppose -3*p + 4*p + 4*f + 10 = 0, -5*p - j*f - 16 = 0. Which is smaller: 3/5 or p?
p
Let t = 32 - 31. Let s = 50 - 56. Let o be s/(-27) - (-44)/(-360). Which is greater: t or o?
t
Let g = 14 - 14. Suppose 2*p = -2*p + 424. Let n = p - 57. Which is bigger: g or n?
n
Let p = 3399 + -3401. Which is smaller: 11 or p?
p
Suppose -4*q - 582 = i + 919, -i + 3*q = 1515. Is -1505 >= i?
True
Let c(w) = -w**2 + 325*w + 6340. Let x be c(-20). Is x greater than or equal to -566?
True
Suppose -4*r - 2 = -d - d, -8 = -4*r. Let l = 4 - d. Let g be ((-2)/18)/((77/6)/(-7)). Are g and l equal?
False
Suppose -30 + 0 = -23*i + 16. Which is smaller: i or 116/111?
116/111
Let z = 31.797 - 32.797. Is 10/369 smaller than z?
False
Suppose 36 = 9*p - 0*p. Suppose 0 = 3*u - 2*u - p. Suppose -2*f + 3 = 4*h - 3, -u*h + 5 = 3*f. Is 24/13 less than or equal to h?
True
Suppose -3102 = 4*r - 3*d, 24*d - 22*d + 3092 = -4*r. Which is greater: r or -2318/3?
-2318/3
Let m be 12/60 - 74/(-5). Suppose 2*b + v = -m, 5*v = -2*b - b - 5. Let q be (-24)/1*2/4. Which is smaller: q or b?
q
Let z = -55.1 + -865.9. Is z < 0?
True
Suppose 2*r - 4*u + 12 = -0, -5*u = -25. Let t be r/(-4 - -12) - 42/92. Which is smaller: t or -0.04?
-0.04
Let w be ((-35)/(-30) - 2) + (4 - 125970/36). Are -3496 and w nonequal?
False
Let k = 0.3777 + 1198.6223. Which is bigger: k or 0?
k
Let h = -0.25 - -0.25. Let w be ((-2)/8 + 1)/(35/(-28)). Which is bigger: w or h?
h
Let k = -0.9 + -0.1. Let p = -6/1951 + -1753/64383. Which is smaller: p or k?
k
Let i be (-703)/(-1414) - (-2)/(-4). Let c = 250518 - 250518. Is i at most c?
True
Let z = 2.1616 - 77.1616. Let v(w) = 2*w**2 - 2*w + 1. Let q be v(1). Which is smaller: q or z?
z
Let p be (-269)/9 - 18/(-81). Let q = 30 + p. Let m = -3405 + 3405. Is q at most m?
False
Let n be (-105)/14*23/27. Let y = n + 12269/1926. Is 1 <= y?
False
Suppose 16*r - 225 = -9*r. Is r greater than or equal to 85/11?
True
Let s = 206241/5 - 41217. Is 1/50 not equal to s?
True
Let c = 28 + -28.122. Let f = 0.066 - c. Let x = f - -0.102. Which is bigger: x or -1/6?
x
Let c(l) = l**2 + 2*l + 7. Let g be c(5). Let z(a) = -42*a + 21. Let u(p) = p - 1. Let w(d) = 21*u(d) + z(d). Let m be w(-2). Is g at least m?
True
Suppose -4*q - 3*f - 8 = 75, -2*q + f - 49 = 0. Let s = q + 22. Let p be 154/(-80) - (-6 - -4). Is s not equal to p?
True
Let o(k) = -k**3 + 4*k**2 - k - 5. Let g(q) = -5*q + 38. Let u be ((-3)/6)/(8/(-112)). Let n be g(u). Let t be o(n). Is t at least -1/6?
True
Suppose 224*h - 197*h = -945. Which is bigger: -203 or h?
h
Let g be ((-151)/(-11) - 0) + -1. Let v be (4/(-3))/((-155)/1395). Is v smaller than g?
True
Let y(z) = -7*z**3 - 31*z**2 - 30*z - 60. Let k(m) = -4*m**3 - 16*m**2 - 15*m - 29. Let b(f) = -5*k(f) + 3*y(f). Let l be b(-12). Which is smaller: l or 5/33?
5/33
Let b = -39 + 21. Let z be (-28)/3094*13 + (-321)/17. Which is smaller: b or z?
z
Let z(k) = -8*k + 66. Let q be z(8). Let b(j) = 32*j - 30. Let v be b(q). Let u = 111 - 77. Is u != v?
False
Suppose 7*k = 2*l - 21, -29*k = l - 34*k - 15. Which is smaller: 83/76 or l?
l
Let o be (-292)/7227*6/(-140). Which is greater: 1 or o?
1
Let r = -224 - -378. Suppose -155*t + r*t = -3. Suppose -b + 29 = 4*w, t*b - 7*b - 52 = -5*w. Which is bigger: w or 7?
w
Let t = 199.2279 - 0.0279. Let w = -199 + t. Which is smaller: 2 or w?
w
Suppose -2*c - 3*c + 17 = -4*z, -5 = -c. Suppose 4 = z*y - 14. Which is bigger: y or 57/7?
y
Suppose 567 - 1035 = -4*t. Suppose 2*v + j = 6*j + t, -4*v + j + 225 = 0. Is 57 <= v?
False
Let s be (1128/(-9541))/((-6)/63). Let r = -10 - -11. Is r less than s?
True
Suppose -25 = -5*j, -s + 417 = 3*j + 122. Let n be s/(-30)*18/(-4). Which is smaller: n or 45?
n
Let q = -0.0234 + 0.3624. Let t = q + -1.139. Which is smaller: t or -22?
-22
Suppose 6 = -157*i + 158*i. Let s be (2/(-6))/(i/9)*-2. Which is smaller: -1/299 or s?
-1/299
Suppose -8*i - 2*s + 8 = -11*i, 0 = i - 4*s - 4. Let d be ((-24)/16)/(-2 + 554/i). Which is smaller: d or -1?
-1
Let f be -3 + 1/(5/10). Suppose -4*g + 4*k - 31 - 49 = 0, 0 = 2*g + 4*k + 28. Let d be -1 + g/(-390)*5. Which is smaller: f or d?
f
Let k = 179 + -172.6. Let n = 6.14 - k. Which is bigger: -3 or n?
n
Let j = -346 - -20412/59. Let x(v) = v**2 + 8*v + 1. Suppose 0 = 4*w, 4*r + w = -46 + 14. Let s be x(r). Which is bigger: j or s?
s
Let s(m) = -m**3 + 6*m**2 + 6*m + 12. Let p be s(7). Let o be (-46)/p - 3/(-15). Let i = o + 15/2. Which is bigger: i or 3?
3
Suppose 7*x - 4 = 17. Let s be (-462)/(-35) - (x - -2 - 1). Which is smaller: s or 8?
8
Let b = 266 + -264. Suppose -a + 4 = 18*t - 15*t, b*a - 8 = -4*t. Is t at most as big as 1/283?
True
Let t(z) be the second derivative of -z**4/4 - 5*z**3/3 - 10*z**2 + 28*z. Let j be t(-7). Is -96 >= j?
True
Let a be (-105)/(-200) + -4 + 31/8. Does a = 739?
False
Let m be (2/11 - 3045/231) + 1. Let x be 6/(-63)*m/32. Do -1 and x have the same value?
False
Let q = -2.665 - -18.295. Let s = -0.17 - q. Is -0.1 greater than or equal to s?
True
Let s(n) = n**3 - 32*n**2 - 44*n + 436. Let k be s(33). Let v = 99 + -25. Is k at most v?
True
Let q = -167.151972 - -0.151972. Let c = 0.1 + -0.1. Is c greater than or equal to q?
True
Let u = 723 + -728.08. Let h = u - -5.08. Is -1.7 greater than h?
False
Let o = -0.98 - -2.03. Let n = o - 2.05. Which is smaller: n or 80?
n
Suppose -4334 + 738 = -5*t + 4*y, -3595 = -5*t + 5*y. Suppose 5*q - 21*k + 20*k + t = 0, -2*q + k - 288 = 0. Do q and -3 have the same value?
False
Let f = 67 - 53. Let o be (-44)/77*f/(-2). Let b be o/(-6) - (-24)/(-180). Is b <= 2?
True
Let l = 6 - 51. Let u be ((-1)/(-3)*3)/l. Let g be 324/1080 + 6/(-20). Is g > u?
True
Suppose -3*a - 42 = -3*q, -4*q + 70 = -3*a + 10. Let r(k) = -k**2 + 13*k - 4. Let u be r(11). Suppose 5*b = 3*l - q, 7*l - 4*l = 3*b + u. Is 6 smaller than l?
False
Let o be -1*9/(-9)*(-1262)/(-6). Let z = -210 + o. Which is smaller: -643 or z?
-643
Suppose 26 + 16 = -3*t. Let x be (392/112*24/14 + -5)*-13. Do t and x have different values?
True
Let r = 163067088/47 + -3470967. Let j = r + 1455. Which is smaller: 0 or j?
0
Let y(q) = q**3 - 15*q**2 - 14*q - 28. Suppose -29*b + 32 = -27*b. Let s be y(b). Suppose -4*p + 8 = -12. Is p less than s?
False
Let a = 1814 - -2991. Let l = -43165/9 + a. Is 9 equal to l?
False
Let p be (-16 - 9114/(-567))/((-6)/(-1815)). Which is greater: p or 23?
23
Let j(d) = -d**3 + 6*d**2 - 6*d + 3. Let h be j(5). Suppose -w = 4*c - 75, -4*w - 4*c - 186 = -6*w. Let a be ((-6)/(-8))/(w/(-290)). Is a <= h?
True
Let c = -2056/3 + 94589/138. Which is greater: 0 or c?
c
Suppose -3*a + a = 2. Let k be 1/(-8 - 7/a). Which is smaller: k or 1/41?
k
Let c = -1.65 + 227.65. Let b = c + -233. Which is greater: -13/3 or b?
-13/3
Let h = 2522 + -2524.031. Let s = h + 0.031. Is -10.1 at least s?
False
Let z(x) = x**3 - 2*x**2 - 2*x - 1. Let m be z(-1). Let q = 0.215392 - 0.106392. Is q >= m?
True
Let l be (-10)/(-50) - (-1)/5*-211. Let t be (l - -12)*5/(25/12). Which is bigger: t or -74?
t
Suppose 0 = 29*i - 21413 + 707. Suppose 255 = -9*f + i. Which is smaller: 50 or f?
50
Let x be 534/8 - (-8)/(3 + 1). Let l = x - 69. Is -332 less than l?
True
Suppose 5*m = -2*z + 97, 3*z + 2*m = 3*m + 103. Suppose 3*k + z = -33. Let p = 21 + k. Which is smaller: -24/7 or p?
-24/7
Let v(s) = -s**3 + 9*s**2 - s + 4. Let p be v(9). Let r(d) = -d**3 - 8*d**2 - 17*d - 8. Let c be r(p). Is 2 not equal to c?
False
Suppose 130*d - 23*d + 46 + 61 = 0. W