hich is smaller: i or 7/5?
i
Let u(t) = t + 8. Let i = 24 + -29. Let d be u(i). Suppose -d = -4*m + m. Are m and 2 non-equal?
True
Let t be -2*1*(-1)/(-2). Let j = 102617/70 + -1466. Which is smaller: t or j?
t
Suppose 3*f + y = -4*y - 116, -3*f - 115 = 4*y. Let j = -29 + -9. Which is bigger: j or f?
f
Let z = 31197139/11 + -2837997. Let j = 1898 + z. Let g = 739/165 - j. Is g < 1?
True
Suppose 3*t - 9 = -3*v, -4*t + 0*v + 5*v = 15. Suppose 0 = 4*i - t*i + 12, -2*b - i - 9 = 0. Let y = -3497 - -3490. Which is greater: b or y?
b
Let i be (-14)/(-4) + (-4)/8. Let h(f) = i + 2 + f + 3 - 4. Let t be h(-6). Is -2 at least t?
True
Suppose -f + 59 = f - 5*k, -5*f + 119 = -3*k. Let p be (-14)/91 + (-550)/(-26). Let g = f - p. Which is bigger: g or -2/35?
g
Let g = -83/14 + 45/7. Which is greater: g or 55?
55
Let d = 63 + -14.16. Let l = 49 - d. Which is smaller: 0.2 or l?
l
Let m = -2.04 + 2.24. Let h = 3.8 - -15.2. Let v = -8 + h. Which is greater: m or v?
v
Let u be (-36)/(-7)*-8*(-42 + -14). Which is greater: 2303 or u?
u
Suppose 7*w = w - 6. Let k be ((-2)/(-17))/(1 - 2/w). Is 0 smaller than k?
True
Let v = -0.06 + 0.18. Let h = 0.12 - v. Let z = h - 6. Which is greater: -1 or z?
-1
Suppose -x = -3*x + 2. Let d be 57/6 + x/(-2). Is d <= 9?
True
Suppose -2*g - 14 = -4*w, 3*g + w - 6*w + 17 = 0. Which is bigger: g or 2?
2
Let c = -44 - -76. Let o = c + -34. Which is bigger: 10 or o?
10
Let a(k) = -6*k**3 + 2*k + 2. Let v be a(-2). Let q = v - 78. Let z = q + 319/10. Which is smaller: z or 0?
z
Let t = -437 + 436. Let s be 3/((2 - -11) + 1). Which is smaller: s or t?
t
Let b = 19785/548 - -20/137. Which is bigger: 36 or b?
b
Let k be -2 - 106/(-20) - 4. Let a = -11/5 - k. Is a equal to -8?
False
Let u(l) be the third derivative of l**5/60 - l**4/3 - 3*l**3 + 17*l**2. Let y be u(8). Which is smaller: -17 or y?
y
Let f(s) = -3*s + 4. Let l be f(-2). Suppose 8 = r + l. Let j be (-78)/(-20) - r/(-5). Which is bigger: j or 5?
5
Let i be 2/(24/9)*(-104)/(-117). Let t = 14.8 + 4.2. Let g = t + -17.4. Does g = i?
False
Suppose 0 = 23*d - 26*d + 18. Let q(s) = 5*s - 12. Let u be q(d). Let p be (u/12)/((-6)/8). Which is greater: p or -4?
p
Let m = 1019.982 + -1020. Is m > -1?
True
Let l(n) = -n**2 - 3*n + 2*n**2 - 1 + 0*n - n. Let o be l(4). Which is smaller: o or -2/85?
o
Let q = 0.65 + -0.37. Let l = q + -7.28. Let f = l + -16. Which is smaller: -1 or f?
f
Suppose 19053 = -28*h - h. Let t be (10/6)/((-58)/(-22866)). Let w = h + t. Are w and 1 equal?
False
Let f be (3/(-9) - (-24908)/4668) + -5. Are 0 and f unequal?
True
Let m = 2 - -6. Let l be (-5 + 11)*m/(-3). Let r = l + 79/5. Which is smaller: r or -1?
-1
Let u(d) = -d**2 - 17*d + 4. Let i be 3*(-2)/(-21) - 228/14. Let a be u(i). Does a = 21?
False
Suppose 54 = -3*a + 2*l, -5*a - 12*l - 122 = -10*l. Let y = -24 + 3. Which is greater: y or a?
y
Let g be 17 - 14*(-2)/4. Is 32 < g?
False
Let i = 10 - 12. Let f be (12/8)/(1/i). Let p be 6/30 + (-42)/15. Which is smaller: f or p?
f
Suppose 2*s - 5*s - 1596 = 3*k, -3*k - 1592 = s. Are -530 and k non-equal?
False
Suppose 0*f + 2*f - 508 = 5*k, f + 3*k = 276. Is f bigger than 264?
False
Let r = 7 + -7.24. Let j = r + 0.34. Let p be (-3)/15*(0 - -2). Is p <= j?
True
Let a(h) = -h**2 + 24*h - 96. Let d be a(19). Which is greater: d or -9/32?
-9/32
Suppose 30*k - 11 = 41*k. Which is bigger: 116 or k?
116
Let q = 35 - 133. Let i = q - -1077/11. Which is smaller: i or 1?
i
Suppose 0 = 4*b + 20, -3*p + 43*b = 47*b + 20. Let r = -2 + 6. Suppose -4*w + p = r, 3*i - 3*w = 0. Which is bigger: i or 1/38?
1/38
Let z be (6/27)/(12/(-45)). Suppose 4*l - 8 - 8 = 0. Suppose 4*h + 6 = -4*d - 10, -h - 10 = l*d. Is z equal to h?
False
Let t be (8/(-24))/(2/(-6)). Let h be (t/(-3))/((-82)/(-6) + 5). Let q(f) = -f + 4. Let k be q(3). Is h greater than or equal to k?
False
Let o(l) = l + 2. Let t be o(-2). Let k be (0 + t)/(3 + -1). Let w = 38 + -496/13. Is w smaller than k?
True
Let a be 9/(-36) - (-1 - 69/4). Let o be (-32)/a + ((-1)/(-1) - -1). Is -0.3 equal to o?
False
Let a be 64/(3 + (-20)/8). Let f = -894/7 + a. Which is greater: f or -0.08?
f
Let y(k) = k**2 - 5*k - 5. Let u be y(6). Let z be ((-8)/(-4180))/((-52)/260). Are z and u non-equal?
True
Let m be (0 + (-16)/18)*(-4)/(-16). Which is smaller: m or 2/69?
m
Suppose -4*t + m = -0*t - 120, -4*t - 5*m + 120 = 0. Is 36 at most as big as t?
False
Let h = 1.2 - 0.2. Let n = -24 - -23.77. Let m = n + 0.12. Is h greater than or equal to m?
True
Let n be (6/15 - 2)*207. Let q = n - -330. Which is bigger: 0 or q?
0
Let u be 6132/1228 + -1 - (-1 - -5). Is 1 <= u?
False
Let l = -1.8 + -4.2. Let b = 7 - l. Is -2 <= b?
True
Suppose 0 = 3*l - 4*z - 3, -2 = -l - 4*z - 1. Let m be (2 - l)/((-62)/4). Suppose -2*o - 2 = 2*a, -5*o = -5*a + 3*a - 9. Which is smaller: m or o?
m
Let m = 2.9 + -3. Let d = 85 - 41. Let s = -43.96 + d. Is m at most s?
True
Suppose 2*x + 24 = -42. Let v = 31 + x. Is -2 bigger than v?
False
Let z(y) = y**3 + 8*y**2 - 2*y + 5. Let h be ((-2)/1)/((-20)/(-80)). Let i be z(h). Which is bigger: i or 22?
22
Suppose -4*i + 16 = 0, 2*i + 1 - 9 = -5*k. Which is bigger: k or 13/43?
13/43
Let l be (-32)/(-208) + 2812/(-26). Which is smaller: -1 or l?
l
Let p be 58/18 + 3 - (-8)/(-36). Let r be (-1 + (-10)/p)*(-108)/(-8). Which is greater: r or 1/2?
1/2
Let m = 90 - 87. Suppose -54 = -6*n + 2*n - i, -m*i + 6 = 0. Is 7 less than n?
True
Let z(o) = 2*o**2 + 3*o - 5. Let j be z(6). Let c = 1439/17 - j. Which is smaller: 1 or c?
c
Suppose -4*i + 8 = 0, 0*i = -5*m - 2*i + 204. Let o be m/16*7/25. Let l = -6/5 + o. Which is greater: -1/4 or l?
-1/4
Let v = 2/3977 - -27749/178965. Is 1 at most as big as v?
False
Let r = 352.8 - 369.79. Let w = -0.99 - r. Which is smaller: w or 1/7?
1/7
Let f = 181 + -116. Let w = f + -40. Let z be (-2)/10 + 5/w. Is -1/38 > z?
False
Let m(n) = 3*n**2 - 4*n - 12. Let g(d) = -d**2 - d. Let j(t) = -4*g(t) - m(t). Let u be 3/21 - 86/14. Let s be j(u). Are 7 and s non-equal?
True
Let y = 1425.94 + -1426. Which is greater: 0.062 or y?
0.062
Let k be (-6)/(-9) - (-12)/9. Suppose -6*r = -2 + k. Which is greater: 1 or r?
1
Let d(j) = 40*j + 108. Let a be d(-2). Does a = 31?
False
Suppose -7*q + 5*q = -32. Let b be q + -12 + 19/(-4). Suppose -3*m = -m. Which is bigger: b or m?
m
Suppose 2*l = 10, -a - 25 = 4*a - 3*l. Is -22/15 greater than or equal to a?
True
Let o be -5 + (-2)/1*-1. Let i be 2/(o/(-2 - 1)). Is i equal to 15/8?
False
Suppose 0*w = 3*w - 4*m + 12, -w = -2*m + 6. Suppose 0 = -4*n - 4*i - 12, 3 = 3*n - i - w*i. Suppose n = 18*d - 17*d - 2. Is d at least 5/8?
True
Let o = -19 + 27. Let v = o - 6. Suppose 11 = -6*g + 5. Which is smaller: v or g?
g
Let b = 41 - 40. Which is smaller: 1/67 or b?
1/67
Suppose 5*a + 13 = 8. Let r = -17 - -7. Let n be (a + -1)*r/(-30). Does n = -1?
False
Suppose -8*v + 5*v + 3 = 0. Let o be v - 29/6 - 16/96. Which is greater: o or -0.04?
-0.04
Let d be (-2)/6*(-4 + 2/2). Is 1/26 at most as big as d?
True
Let g be (36/(-10))/(1/(-10)). Let n = g - 143/4. Let u be (-1)/(0 + -1 + -4 + 6). Is u at least as big as n?
False
Let b = 36 - 25. Let d = -12.64 - -2.64. Let h = d + b. Is h greater than or equal to -1?
True
Let a = -2/163 + 1028/4075. Suppose 35*j - 12 = 9 - 21. Which is greater: a or j?
a
Let z = -600 + 589. Is -4/9 >= z?
True
Suppose 3*n = -3*r - 30, 5*r + 0*n = -n - 30. Let j = -373/2 - -183. Is j less than r?
False
Let h = -45 - -59. Let u be h/28*(0 - (-6)/(-129)). Which is greater: u or -1?
u
Let k = -1148.96 - -1627. Let y = -465 + k. Let l = y + -13. Which is smaller: l or -0.1?
-0.1
Let l = 2/3531 - -10585/14124. Is l equal to -0.1?
False
Let x = -74574/11 - -6786. Let s be (-108)/(-18) - (2 + -3 + 1). Is x not equal to s?
True
Let s(u) = u + 1. Let m be s(-1). Let h be 42/(-3)*(-1 - 9). Let d be 14/(-8)*-5*(-12)/h. Which is bigger: d or m?
m
Let u = -96 + 104. Let v = 4.7 - 5. Let p = 0.2 + v. Do u and p have different values?
True
Let i = 0 + 3.4. Let b = 3.2 - i. Let r = 2 - 2.1. Which is bigger: b or r?
r
Suppose 5*y = -3*b - 6204, -4*y = y - b + 6212. Let z be -5 + (y/82)/(-3). Which is smaller: z or 0?
0
Suppose -5*w - 5 = -10*w. Let u be (2/24)/(1732/1452 + -1). Let f = -2/35 + u. Which is smaller: w or f?
f
Let a(l) = l**2 + 25*l - 73. Let n be 