6/(-8). Which is smaller: k or -68?
-68
Let x = 699.2 - 699. Is 182 < x?
False
Suppose -3*j + 102 = 4*y - 7*y, 4*y = 5*j - 140. Let s = y - -30. Which is smaller: s or -2/3?
-2/3
Suppose u + u = -5*z + 102, u - 51 = -4*z. Which is smaller: u or 52?
u
Let i = -15.6 - -16. Let c = -0.7 + 0.1. Let x = c + i. Is x greater than or equal to -0.1?
False
Let i(l) = l**2 + 13*l + 15. Let d be i(-15). Let s be (24/30)/(3/d). Suppose -3*m - s + 3 = 0. Which is smaller: -2 or m?
m
Let z = -2 - -2. Suppose z*d = 4*d + 40. Let n(c) = -10*c + 52. Let i be n(6). Which is bigger: d or i?
i
Suppose 3*a - 16 = 5*w, 0*w = -2*a - 5*w - 6. Suppose -5*d + a - 7 = 0. Is d <= -1/23?
True
Suppose -3*g + 4 = g. Let h be 3/(-4) - 295/(-20). Is g greater than h?
False
Suppose 170*a - 25 = 165*a. Which is smaller: 3 or a?
3
Let t = -171 + 856/5. Let m = 14 - 6. Which is smaller: m or t?
t
Suppose 1766 = -8*h + 790. Is -120 less than or equal to h?
False
Let x(a) = -a**3 - 13*a**2 + 12*a - 17. Let k be x(-14). Let q(u) = 2*u - 31. Let j be q(k). Which is smaller: -66/7 or j?
-66/7
Let u = 32 - 60. Let c = u + 27. Which is greater: c or -2/245?
-2/245
Let l(y) = -5*y - 34. Let n be l(-6). Let p be (-1)/((4 - 12)/n). Which is greater: 0 or p?
0
Let j(m) = -m**3 - 16*m**2 + 20*m + 24. Suppose w + 0*w + 5*z = -64, -w - 24 = -5*z. Let p = w - -27. Let o be j(p). Is -27 greater than or equal to o?
True
Let m = -0.096 + 39.096. Is m < -1/2?
False
Let u = 0.069 - -12.931. Let r = 3.2 - 16.2. Let z = r + u. Which is bigger: 1 or z?
1
Let r = 355 + -56095/158. Is r < 0?
True
Let y = 0.6 + -44.6. Let j = -43.9 - y. Which is bigger: j or 10/13?
10/13
Suppose -25 + 13 = -4*j. Suppose -5*f + j + 37 = 0. Suppose f*h = -0*h - 16. Is h at least 1?
False
Let i be 0 + 9/(-3)*5/(-15). Suppose -5*w = -25 + 30. Which is greater: w or i?
i
Let d(o) = o**2 + 5*o + 6. Let k be d(-4). Let m = k - 0. Suppose -2 = -2*b, -l + 5*b - m*b - 4 = 0. Is l bigger than -1?
False
Suppose -1 = u - 0*u. Let a be (2 + u)/((-21)/6). Let o(t) = t**3 + t**2 - t. Let i be o(1). Which is smaller: i or a?
a
Let o be (-32)/69*(-9)/2. Let q = 401/115 - o. Let k(f) = f**2 + 4*f - 3. Let h be k(-5). Which is smaller: h or q?
q
Let i be -18*(5/10 - 1). Suppose -3*f + 0*f - 5*n - 13 = 0, 4*n = -3*f - 14. Let y be (-3)/9*f/i. Which is bigger: 2 or y?
2
Let b(m) = -m**2 + 58*m - 91. Let h be b(33). Which is smaller: 735 or h?
h
Let m(p) = -p**3 - 5*p**2 + 17. Let d be m(-4). Which is smaller: d or 15/11?
d
Let f(m) = 80*m + 161. Let k be f(-2). Is 4/801 not equal to k?
True
Let a be (-2)/(-5)*15/27. Let d(j) = j**3 + 11*j**2 + 10*j. Let p be d(-10). Is a >= p?
True
Suppose 7*b = 2*b. Let g be 50/(-100) + ((-15)/(-50))/((-11)/(-35)). Which is bigger: g or b?
g
Let v(c) = -3*c + 50. Let i be 1 + (3 - (-5)/((-15)/(-48))). Let y be v(i). Is y greater than or equal to -13?
True
Suppose 7*u = 3*u + 5*z - 9, -3*u - 5*z + 2 = 0. Let g(f) = 3*f + 2. Let t be g(u). Which is smaller: t or 6/41?
t
Let r = 390/7 + -55. Let q = -4/35 + r. Let x be 5*1*(-6)/(-15). Is q greater than x?
False
Let x = -75 + 76. Let m be x*(2 + -4) + 1 + -67. Is -69 at least as big as m?
False
Suppose -3*x - s + 905 = -7*x, -2*x - 2*s - 440 = 0. Do -225 and x have different values?
False
Suppose -11*z + 576 = -3*z. Which is smaller: z or 74?
z
Let p = 0 + 3. Let c = 33 + -31. Suppose c*u - 14 = 9*u. Are u and p non-equal?
True
Let n = -0.108 + -4.892. Is n < -120?
False
Let u = 208/45 + -11/9. Which is smaller: 2 or u?
2
Let u = -0.1576 - 0.0424. Is u >= 26/9?
False
Let o be (2 + -7)/((-100)/(-40)). Is o less than or equal to -10/9?
True
Let q(r) = r**3 + 10*r**2 - 12*r - 20. Let a be q(-10). Let y be (-63)/a + (-36)/(-48). Which is bigger: -1 or y?
y
Let a be (1/(-4))/((-324)/57888). Is a not equal to 46?
True
Suppose -3*f - 2*t + 10 = 0, -5*t + 11 = -2*f + 6*f. Let n be 3 - 104*f/136. Is n less than 1?
True
Let n = -8 + 8. Suppose n = -g - 0*g + 19. Is g less than 20?
True
Let o be (-4*3)/4 - (4 + -8). Are o and 29/19 non-equal?
True
Let u = -18 + 17.8. Let m = -124.3 + 136. Let y = m + -12. Is y at most as big as u?
True
Suppose 4*t = -8, -5*t - 6 - 4 = -o. Suppose 20*j - 16*j - 12 = o. Is 3 at least as big as j?
True
Let s be -18 + 45 - (-1 - -4). Let j = s + -24. Let n be (-2)/5 + (-4)/(-40). Is n > j?
False
Let b = 422207/1476 + -2578/9. Let g = b + 6/41. Let x be ((-12)/16)/(3/2). Which is greater: g or x?
g
Let h(n) = -14*n + 28. Let q(d) = -5*d + 9. Let o(g) = 6*h(g) - 17*q(g). Let c be o(-16). Which is greater: c or 1/9?
1/9
Let t = 3671/593515 - -1/1985. Let b be (47 - 42 - 1*(-1 + 2)) + -3. Is t bigger than b?
False
Let y(u) = -5*u + 16. Let t be (9/18)/((-1)/(-12)). Let z be y(t). Which is bigger: -3 or z?
-3
Let g(p) = 8*p**3 - 2*p**2 + 2*p - 1. Let t be g(1). Suppose -11*d + t*d - 8 = 0. Let f(w) = 2*w + 6. Let h be f(-4). Is h at least d?
True
Suppose -3*u = -3*s - 9, 1 = -4*u - s + 8. Suppose 0 = -5*a + u*a - 27. Let l(r) = r**2 - 29*r - 39. Let i be l(30). Is i smaller than a?
False
Let h = -5212/11 - -474. Which is greater: -30 or h?
h
Let m = 1509 + -1509. Is m >= 1837?
False
Let z(u) = 8*u - 57. Let t be z(20). Let x = 112 - t. Which is greater: x or 12?
12
Let d = 9 + -5. Let h = -3 + d. Let t be 1/(6/9)*24/(-198). Is t greater than or equal to h?
False
Let c = -806 - -438. Is c smaller than -367?
True
Suppose -2*u = 3*z + 1648, 0 = -2*z - 2*z - 2*u - 2200. Let l be z/(-36) + (-2)/(-3). Which is bigger: l or 13?
l
Suppose 7 = 3*b - l - 4, 0 = -3*b - 4*l + 1. Let d be (10/(-8))/(b/12). Let r(u) = u**2 + 4*u - 7. Let i be r(d). Which is bigger: -3/5 or i?
-3/5
Let a = 34 + 24. Let d = -58.01 + a. Which is smaller: -7 or d?
-7
Suppose -3*i + 0*i = -4*s + 266, 63 = s + i. Let p = s + -71. Let a(j) = j**3 + 4*j**2 - 3*j + 1. Let g be a(-5). Which is smaller: g or p?
g
Let k(s) = -3*s**3 + 61*s**2 - 18*s - 29. Let t be k(20). Let u(v) = -v**3 - 5*v**2 + 4*v - 4. Let f be u(-6). Which is bigger: t or f?
t
Let b = -327 - -1309/4. Do 1 and b have the same value?
False
Let x(d) = -d**3 + 27*d**2 + 26*d + 34. Let v be x(28). Let n(b) = -3*b - 47. Let y be n(v). Which is smaller: 17 or y?
17
Suppose y - 622 = -4*q, 5*q - 537 = -3*y + 237. Let u = q - 1094/7. Which is smaller: u or 2/25?
u
Suppose -6*l = -3*l - 9. Suppose 5*m - l*m + 2 = 0. Which is greater: m or 8?
8
Let y be ((-882)/2780 + (-14)/(-35))*-26434. Let x = y + 2187. Which is smaller: 1 or x?
x
Suppose 0 = 4*v + 5*h - 41, h = -4*v - 0*v + 21. Let w = 21 - v. Suppose 0 = 4*k - 3*k + w. Does k = -18?
False
Suppose -4*u + 70 = -3*y + 899, -5*y = -u - 1359. Let j = 5972541/13 + -459155. Let c = y - j. Do c and 1 have the same value?
False
Let h = -26 + 20. Let s = h + -17. Is -23 at most as big as s?
True
Let o = -17 - -42. Let d be o/(-10)*(-4)/5*-1. Is d greater than -8/15?
False
Let d = 2 + -2.01. Let w = 4.01 + d. Let h = 259.8 + -259.6. Is h < w?
True
Suppose 31*k - 25*k = 144. Suppose -5*z - k = 11. Is -8 < z?
True
Let j = -4.7519 - 0.0481. Let u = -0.3 + 1.3. Is u < j?
False
Let w be (-4)/7*(-42)/12. Suppose -2*b - 5*m = 2*b - 6, -w*m = -b - 5. Let x be 0/(-2 - 3/b). Is -2 <= x?
True
Suppose -12 = -4*n - 0*p - 3*p, -9 = -3*n - 3*p. Suppose 4*o + l = 3, 3*o + n*l + 6 = 5*l. Let w be ((-2)/6)/((-13)/3). Which is smaller: o or w?
o
Let c = 78 + -78. Let j = 4 - -2. Let b be 2*(2 - -1)/j. Is c <= b?
True
Let q(u) = -43*u - 21. Let p(b) = -b**2 + b - 1. Let c(n) = 2*p(n) + q(n). Let i be c(-20). Is i less than -7/2?
False
Let n be 24/(-8) + 384/123. Is 2/7 bigger than n?
True
Suppose 5*x = 2*x + 3*i + 888, x + 3*i = 316. Let j = 619/2 - x. Let t(z) = -56*z - 102. Let y be t(-2). Which is smaller: j or y?
j
Let l be (30/(-4))/((-190)/40 - -5). Which is greater: l or -0.06?
-0.06
Let c(f) = -f + 3. Let u be c(-11). Let q be u/4 + 1/(-2). Suppose 0 = -3*j + 6 + 9. Which is greater: q or j?
j
Let t be 17 + 7*50/35. Is 41 equal to t?
False
Let h = -244730/17 - -14396. Let f be 0 - 2*(-2)/4. Is h < f?
True
Suppose -4*p = -2 - 18. Suppose -p*s - 5 - 5 = 0. Let q = 22 + -22.2. Is s smaller than q?
True
Let d = 2659/28 - 663/7. Does -88 = d?
False
Suppose 2*d + 778 = 2*g - 5*g, 3*d = 5*g + 1265. Let r = -5121/20 - g. Let f(p) = -p**3 + 7*p**2 - 6*p + 1. Let t be f(6). Do r and t have different val