, -2*k + j = -4*k + 5. Which is greater: k or -2?
k
Let n(j) = -2*j**3 - 265*j**2 - 429*j - 4772. Let x be n(-131). Let t = -14 - 44. Which is bigger: t or x?
x
Let f(w) = w**3 + 3*w**2 - 3*w + 9. Let c be f(-4). Let g be -6 + c + 8 - 20. Let x be (3/(-6))/((-2)/4). Which is smaller: x or g?
g
Let u = -14058 - -14058. Is u >= 7/33?
False
Suppose 4*d + 5*c = 5, 5 = -5*d + 5*c - 0*c. Let q = 268509/10234 + -446/17. Is d smaller than q?
True
Let g = 0 - 6. Let r = -158 - -159. Let l be (-7)/((-3 - r)/(-4)). Which is smaller: l or g?
l
Let h = -536 + 530.7. Let i = h + 13.1. Is i less than -1?
False
Let i = -655.9 + 689. Let b = 97.9 + -103. Let t = b + i. Is t less than or equal to -2/5?
False
Let o(p) = 12*p + 8. Let h(c) = c. Let x(d) = 2*h(d) - o(d). Let f be x(-4). Suppose -i + f = 10. Is 22 != i?
False
Let o = -88 + -506. Let j = 541 + o. Which is bigger: j or 0?
0
Let b = 964 - -1002. Which is greater: b or 2?
b
Let s = 7 + -28. Let b = -21 - -26. Suppose o + 3*o = 3*g - 92, 20 = -2*o - b*g. Do s and o have the same value?
False
Let i = 38 + -39. Let u(n) = -n**2 - 2*n + 2. Let t be u(-2). Let v be t*1/(((-16)/15)/8). Is v <= i?
True
Let q(b) = 7*b - 51. Let d be 3 - (0/7 - 1). Let t be q(d). Which is smaller: -108/5 or t?
t
Let w be -3*(-2 + (-20)/(-12)). Let l be 7/(-3) + -2 - (-4)/w. Which is smaller: l or 0.089?
l
Let m(o) = o**2 - 94*o + 765. Let t be m(85). Which is smaller: t or 5/1072?
t
Let l = 243 - 288. Let n = l - -50. Is -1 less than n?
True
Let v(o) = o**3 - 14*o**2 - 21*o - 16. Let x be v(15). Let j = -75 - x. Suppose -9*k - j = -4. Which is greater: k or 9?
9
Let o = -25.64 - -1.64. Let b = 4 - o. Is b greater than or equal to -4?
True
Let i = 15704 - 11359. Which is smaller: 4347 or i?
i
Let m be 16/(-8)*2 + 2*2. Suppose 10*z + 26 + 54 = m. Let v(f) = -f**3 - 6*f**2 + f + 1. Let t be v(-6). Which is smaller: z or t?
z
Let b be -14 - ((-2)/(-1) - 2). Let y be 4/(-10) + (6/9 - 736/60). Is y greater than or equal to b?
True
Let f = -128 - 15. Let x = 221 + f. Let z be 1/(-3) + 30/x. Which is smaller: -1 or z?
-1
Let o = -177 + 194. Suppose 0 = i + 16 - o. Is i at most -1/523?
False
Let l be -3*(-3)/9*-1 - 245. Let s = l - -246. Which is bigger: s or 13/14?
13/14
Let m(g) = g**3 - 6*g**2 + 7*g + 5. Let x be m(4). Suppose -10*k + 7*k = 3*p - 9, -3*p = -5*k - x. Is k less than or equal to 18/49?
False
Suppose 20329721772 = 12*d - 2811453384. Let b = 404930068171600/209979 - d. Let m = b + -2/2079. Which is bigger: m or 1?
1
Let a = -27 - -20.5. Let j = -25.9 - -22.4. Let v = a - j. Which is smaller: 2/5 or v?
v
Let z be (-1456)/(-168) + (-2 - -3 - 10). Is z greater than or equal to 4.89?
False
Suppose -31*b + 7 + 24 = 0. Let c = -5.69 + -12.91. Do c and b have different values?
True
Suppose 590*m + 340744 = -233326. Is -2923/3 bigger than m?
False
Suppose 11041 = 5*i + 3*h, i - 2*h - 183 = 2007. Which is smaller: i or 2203?
2203
Let r be 15*(2/(-5) - 5512/520). Is 26 greater than r?
True
Let r be ((-8)/14)/((-18)/189). Which is greater: r or 111?
111
Let y = 56 - 55. Let g = -441.12 - -452. Let r = -0.12 - g. Which is greater: r or y?
y
Let b be 4/(-25)*-1*-2. Let h = -88/25 - b. Let k = -2236 - -2232. Is k greater than or equal to h?
False
Suppose 4*r - 288 = 5*u, u + r + 63 = -0*r. Let c = u - -33. Do -28 and c have different values?
True
Suppose 5*t = -2*q + 2997, -4*t = -0*q + 5*q - 7450. Suppose -1763 = -19*h + q. Is 171 greater than h?
False
Suppose 9*q + 456 = 465. Are 0.0212 and q equal?
False
Suppose -12 = 4*f + 2*b, 28*f = 32*f + 4*b + 4. Let n(m) = m**3 + 6*m**2 - 7*m - 7. Let i be n(-7). Let s = -12 - i. Is s >= f?
True
Let u be (5 - 10) + 0 - -9. Let p be 225/50 + 2/u. Which is smaller: p or 9?
p
Let m be 6*662*(-12)/(-36). Let q = m - 205218/155. Which is bigger: q or -1?
q
Let l = 902 + -902. Let a = -0.07 - -2.07. Let t = a + -2.05. Which is greater: l or t?
l
Let a = -65 - -59. Let i be (8/(-24) - (-7)/a)*-2. Let x be -2*(12/i)/4 - -3. Which is smaller: x or -2/33?
-2/33
Let l = 206/116301 - 30351341/1574017734. Let m = -5/134 - l. Which is smaller: m or -1/3?
-1/3
Let b = -393.8 + 396.7. Which is smaller: 0.014 or b?
0.014
Let y(t) = 25*t - 62. Let x be y(7). Let w = 74 - x. Let i be w/(-26) + 1/(-1). Is i greater than 6/5?
False
Let l = 1000 + -102998/103. Which is greater: -0.12 or l?
l
Suppose 0 = y + 3*y - 4*w - 152, -y + 3*w + 36 = 0. Let g = -32 + y. Suppose 0 = 4*r - 2*o + 26, -2*r + 5*o - g - 10 = 0. Which is smaller: -3 or r?
r
Let n(m) = -2*m - 41. Let y be n(-19). Let l(q) = -10*q + 7. Let i be l(y). Does i = 38?
False
Let z = 2615 - 2614. Is z < -3/871?
False
Let s = -363 - -39566/109. Let b = 343 - 342. Which is smaller: b or s?
s
Suppose -2*p + 0*p = -5*y + 20, -p + y = 4. Suppose p*x = 3*x + 525. Let z = -2799/16 - x. Is z at least as big as 1?
False
Let u be 358/(-8) - 36/144. Let i = -44 - u. Are 1/3 and i nonequal?
True
Suppose 4*l + 1 = 17. Let q be l - (2 + 135) - 7. Which is bigger: 1 or q?
1
Let u = -544/5 - -893/10. Suppose -3*v = 4*h + 20 + 47, 3*h + 2*v = -51. Let y = h - u. Is 28/5 at most y?
False
Let m be (5 - 11)*((-291)/(-42) - -3) - 5. Do 0.1 and m have the same value?
False
Let j = 2152/5 + 1/10. Let r = j - 431. Which is smaller: r or 28/13?
r
Suppose 0 = 7*j - 3*j. Let f = 3815/6 + -347141/546. Which is smaller: j or f?
j
Suppose 226 - 1108 = 3*d. Let g be (-36)/42*44464/128. Let j = g - d. Which is bigger: j or -3?
-3
Suppose 13 + 8 = 3*u - 5*x, 0 = -4*u + x + 11. Suppose -9 = -c - u*r + 3*r, 0 = -c - r + 11. Suppose 5*o = c - 55. Is o > -10?
True
Suppose -5*b = -2*b + 4*h - 3555, 2*h + 3519 = 3*b. Is b greater than 1176?
True
Let a be (-2)/((-5)/862*60/75). Is 3026/7 less than a?
False
Let u be ((-105)/2)/((-36)/48). Let w = u - 50. Let g = -38 - w. Is g >= -58?
True
Suppose 1671*l - 857*l = 834*l + 60. Let w = -13.11 - -13. Is w equal to l?
False
Let u(t) = -9*t + 14. Let s(c) = -7*c + 14. Let q(o) = 3*s(o) - 4*u(o). Let d be q(2). Which is smaller: d or -3?
-3
Suppose -2*g + 0*g = 0, -10*n = -5*n - 4*g + 480. Let f = -0.35 - -0.65. Is f bigger than n?
True
Let m = 0.02 + 1.98. Let b = 1 - m. Let r be 5*(-14)/70*-1 + (-19)/21. Which is smaller: b or r?
b
Let u = -11624 - -12308. Is u at most as big as 684?
True
Let u = -217448212/5097 + 42662. Which is smaller: u or -1?
-1
Let j = -3615 - -3614. Let g = -7 + -9. Which is greater: j or g?
j
Let t = -7163785 - -1919891145/268. Let r = t + -2492401/1876. Let v = r + 1340. Which is greater: v or 0?
0
Let a = 20 - 57. Let z be (-1 - -5)/(10/(-85)). Which is smaller: z or a?
a
Let l = -1180.44 + -23.56. Which is smaller: l or 0?
l
Suppose 0 = -5*u + 10, 274 = 368*i - 366*i - 5*u. Is i bigger than 142?
False
Let h(a) = 4*a - 7 + 8 + 3 + a**2. Let z be h(-2). Let q be -14 - -22 - (2 + z). Is 6 less than q?
False
Let p = 140.036 - 140. Let f be (-1 - (-8)/6) + (-413)/177. Which is smaller: f or p?
f
Let o = -38422 + 38431. Which is bigger: -491 or o?
o
Let k be (810/(-1215))/(-46*(-1473)/36). Is 0 at most as big as k?
False
Let w = 208183/15543 + -1/15543. Let g = 41/3 - w. Does 1 = g?
False
Suppose -12 = -3*o, d = 3*o - 1033 + 7495. Is 6474 > d?
False
Let d(v) be the third derivative of -v**5/60 - 5*v**4/12 - 8*v**3/3 + 2*v**2. Suppose -11*b = 29*b + 320. Let l be d(b). Which is smaller: l or 2/7?
l
Suppose 15*z - 18*z + 12*z - 2763 = 0. Which is smaller: 2144/7 or z?
2144/7
Let l = 2064 - 2064.17641. Let w = l - 81.81359. Let t = -82 - w. Which is smaller: t or 0?
t
Let x(y) = -21*y**2 + 27*y - 3. Let v be x(2). Which is bigger: v or 4/51?
4/51
Let w = 149 - 148.32. Let l = 30 + -29.34. Let r = l - w. Is -0.1 bigger than r?
False
Let l be (-2)/5 + (-976)/(-2390). Let k(a) = 6*a + 64. Let v be k(-8). Suppose 0 = 4*b - 0*b + 4*x - 12, 0 = 4*b + 5*x - v. Which is greater: l or b?
l
Let w = 0 + 0. Let h = -127 - -71. Let b = -60 - h. Is w at most as big as b?
False
Let h = 849 - 536. Let n = h - 283. Suppose z = 5*z. Are n and z unequal?
True
Let f(i) = -15*i**3 - 11*i**2 + 9*i + 6. Let h be f(3). Which is greater: h or -943/2?
h
Let q = -306.07 + 322.3. Let t = q - 15.9. Which is bigger: 1 or t?
1
Let p(i) = i**3 + 19*i**2 - 2*i - 37. Let y be p(-19). Is y at most -4/1957?
False
Let b = 110 - 97. Suppose 0 = -4*j + 3*m + b, 3*j - 