0)) - 2/3. Which is smaller: -5 or v?
v
Suppose -2*m + 4*m = -24. Let l be (m/(-7) - -1) + 2/7. Which is smaller: 20/7 or l?
20/7
Let u = 99/14 + -25/7. Which is smaller: u or 4?
u
Let k = -1448 - -2290. Is k < 843?
True
Let n be 89/534 - 1147/24. Which is bigger: n or -47?
-47
Let a(t) = -t + 9. Let b be a(8). Let o be (24/60)/(b/55). Are o and 22 unequal?
False
Let r(b) = b**3 + 4*b + 5. Let w(v) = 3*v**3 - v**2 + 11*v + 14. Let d(l) = -8*r(l) + 3*w(l). Let n be d(2). Suppose n = g + g. Which is bigger: g or 3/10?
3/10
Let v be 2*12/(-228) + (-276)/(-1178). Is v bigger than 1?
False
Let t(f) = -f - 4. Let i be t(-5). Suppose 5*g - 1980 = -2*k, 0 = -2*k + 4*k. Let r be g/189 - (-1 + 3). Is r >= i?
False
Let p be (-84)/1*(-1)/(-2). Let k be ((-19)/(-38))/(326/164 - 2). Which is smaller: k or p?
p
Let b = 326 - 325.903. Is b greater than or equal to -1?
True
Let o be (3/23)/(-3)*-9. Is o greater than 1?
False
Let y = 1.61 - 0.61. Let t = -0.051 + 0.078. Which is smaller: y or t?
t
Let l = -1441 - -1440.9. Suppose 29 = 5*b - 2*f, -f = 2*b - 3*f - 14. Let n be 54/5 - (-1)/b. Which is smaller: l or n?
l
Let f be (1/(-124))/(9/24). Suppose 108 = -187*n + 67 - 146. Which is smaller: f or n?
n
Let l = 52 - 8. Let h be (-4)/(-22) + 432/l. Suppose -3*j - 3*p - 2 + 5 = 0, 2*p = -4*j + h. Is 10 smaller than j?
False
Let a be ((-16)/(-4))/(68/2533). Is a at most as big as 150?
True
Let j(a) = a**2 + a + 12. Let y be j(0). Let z be (-18)/y*(-4)/6. Let d be (-3 - -2)*1 + 39/21. Are d and z equal?
False
Let t be (-58)/132 + (-1)/(-2). Let b be 2 - 15/(-18) - 2/(-12). Suppose -b*f = -k + 3, -5 + 0 = -k + 5*f. Which is smaller: t or k?
k
Suppose 6*v - 96 = 78. Let i = v - 37. Is -1 at least i?
True
Let z = -45 - -10. Which is smaller: -2/7 or z?
z
Let l be (2/(-8))/(2/(-8)). Let k = l + 0. Let j be (-3)/(-9)*(-6)/8. Is k <= j?
False
Let j = 0.51 - 0.51. Let u = 0.8 - 1. Let a = j - u. Is a greater than 1/4?
False
Suppose 29 + 100 = 3*o. Let m(n) = 39*n**3 + 2*n - 1. Let p be m(1). Let v = p - o. Which is smaller: 8 or v?
v
Let c(x) = -x**3 - 8*x**2 - 6*x - 50. Let f be c(-8). Is f at most as big as -52/23?
False
Let o = -0.014 + 0.126. Let h = o - 0.522. Which is bigger: -2 or h?
h
Suppose -4*o + 61 = -254*z + 255*z, 0 = -2*o + 4. Is z >= 54?
False
Let n = 46 + -56. Let a be n/(-20) + 15/(-2). Suppose 0 = 2*t + 9 + 5. Is t less than or equal to a?
True
Let d = -65/8 + 1349/168. Let j = 65.3 - 65.3. Which is bigger: j or d?
j
Let p(m) = 2*m - 9 + 12*m**2 + 4*m**2 - m + 4*m**2 - m**3. Let y be p(20). Let c(g) = -g + 11. Let x be c(0). Is x greater than y?
False
Let a(b) = 67*b**2 - 2*b - 2. Let r be a(-1). Let g = r - 64. Which is greater: -3 or g?
g
Let h = 1283 + -798. Is 1/2 less than h?
True
Suppose 5*y = -j - 44, j = -2*j + 4*y - 94. Let f = j + 71/2. Let h = -2 - -3. Which is bigger: h or f?
f
Suppose 3*a - 27 = 18. Let v(w) = 35*w + 15. Let c be v(a). Let k be c/(-48)*(-1)/3. Which is smaller: k or 0.1?
0.1
Suppose -3*b - 4 = -1. Let r = 1 + b. Let m(g) = g**2 - 4*g - 5. Let u be m(-1). Is u > r?
False
Let x = 36 - 35. Let g be -2*2 + (-215)/(-105). Let j = -2/7 - g. Is j > x?
True
Let j = -5047/117 - -388/9. Which is greater: 1/3 or j?
1/3
Let k = 53.977 + 0.023. Let m = -53 + k. Let y = 2/201 + 392/1005. Do y and m have the same value?
False
Let i(j) = -j + 34. Let l be i(33). Is l at most as big as -3/161?
False
Let l = -20 - -24. Let p = 0.029 - -0.471. Which is smaller: l or p?
p
Suppose 2*y + 5*d - 22 = 0, 4*d = -3*y - d + 33. Let o = 12 - y. Let v(w) = -w**2 + 1. Let g be v(o). Is 2/9 at most as big as g?
False
Let q be -2 + ((-5)/(-78) - -2) - 0. Is q at most 0?
False
Let y = 903 - 912. Suppose 0 = 2*v + i + 22, -5*v + 38 - 99 = i. Let z be (-2)/4*(v + y). Which is bigger: z or 1?
z
Suppose 7*n = 4*n + 459. Suppose -5*p - 33 + n = 0. Is p < 24?
False
Let j be (-36)/44 - -3 - 10/5. Let x = -0.43 - 0.87. Is j at least x?
True
Let p = -4 - -17. Let k = p + -7. Let o be (2/(-4))/(k/(-12)). Which is greater: 6/7 or o?
o
Let y = -4/1109 + 291703/9981. Which is greater: y or 30?
30
Let j = 68 + -57. Suppose 13*b + j*b = 10*b. Let k = -2/1655 - -13262/18205. Which is greater: b or k?
k
Let i = 945 - 946. Is i at most as big as 167?
True
Let o = -0.0353 + -21.8647. Let a = -35 + 57. Let m = a + o. Are m and 13 non-equal?
True
Let z = -1357 - -58348/43. Let c = 61/258 + z. Which is smaller: c or -1?
-1
Let x = -10 - -14. Suppose -10 - x = -k + 4*z, 2*z = 2*k - 34. Let l be 1/k*(-12)/8. Which is greater: 0 or l?
0
Let h = -509 + 509.1. Suppose -3*t = 30 + 9. Does h = t?
False
Let q = 26/15 - -443/30. Which is bigger: q or 16?
q
Suppose -3*n - 4*c = -5*c - 5, 2*n + 5 = -c. Suppose n = 4*r - 5*r + 44. Are 43 and r nonequal?
True
Let k(w) = w + 6. Let d be k(-6). Let m be 372/94 - (-2 + 5 - -1). Is m equal to d?
False
Let t be (-37 + 1)/3 - (12 + -18). Which is smaller: -10.7 or t?
-10.7
Let t(a) = -5*a**2 - 6 - 2*a**3 + 68*a + 3*a**3 - 68*a. Let d be t(5). Suppose 6*v - 5*r + 25 = v, 2*v + 4 = 5*r. Is v at least d?
False
Let o(s) = 20*s**2 + 9*s + 8. Let w be o(8). Suppose 12*t = 7*t - w. Let d = t - -1366/5. Which is smaller: 0 or d?
0
Let a = 0 + 1. Let u be (-22)/165*(-4)/32*3. Is u less than a?
True
Suppose 24*x - 27*x + 4*a - 20 = 0, -x = -4*a + 20. Which is greater: -2/45 or x?
x
Let y = 0.0168 + 26.8832. Let c = y + -28. Let j = 1 + c. Are j and 4 equal?
False
Let b(l) = -5*l - 41. Let u be b(-8). Let f = -35.4 - -31. Is u != f?
True
Suppose 5*r + 35 = -5*n - 0*n, 4*n = 5*r + 62. Let y = 1.2 + 0.8. Is r at least as big as y?
False
Let h = 1 + -4. Let o be h*(-1)/1 + 0. Suppose 2*d + a = -1, -a + 2 = d + o. Do 1/12 and d have different values?
True
Let y(a) be the third derivative of -a**6/120 + a**5/15 + a**4/4 + 5*a**2. Let o be y(5). Suppose 9 = -3*k, 3*g - 8*g + o*k + 5 = 0. Is g != -3/4?
True
Suppose -2*j = 5*i - 14, 0 = 2*i - 4*i + 3*j + 17. Suppose 4*g = l + 36 - i, -2*g - 4*l = -34. Let m = 979.1 - 979. Which is greater: m or g?
g
Let j = 79.002 + -0.002. Which is bigger: 0 or j?
j
Let r be -4*(-32607)/126 - 2/14. Do 1034 and r have the same value?
False
Let f be 6 - -1 - ((-5635)/(-42))/23. Is f less than or equal to -0.06?
False
Let p be (4/36)/(3/9). Let r = -2 - -13. Let y = -11.6 + r. Which is smaller: y or p?
y
Let o = -6 + 11. Let s(n) = -n**3 - n**2 + n + 2. Let r be s(-2). Let j be (14/(-476))/(1/r). Is j equal to o?
False
Let v = 188 - 36. Let x = v - 84. Let j be x/(-228) - (-1)/3. Which is smaller: j or -1?
-1
Let g = 0.042 + 0.258. Does 20 = g?
False
Let z = -24.24 + 24.3. Which is smaller: 0 or z?
0
Let n = -1 + 1. Suppose n = -4*u - u + 25. Let x = -98.1 - -97.1. Are x and u equal?
False
Let l = 0.118 - -68.882. Let j = l + -72. Which is greater: j or -7?
j
Let w = -0.2338 + 0.2338. Which is smaller: w or -31/2?
-31/2
Let z(g) = g**3 + 14*g**2 - g - 16. Let h be z(-14). Let x be (h/3)/(2/(-12)). Suppose 5*u + 15 = 0, x*c + 3*u = -3 - 6. Is c > 1/5?
False
Suppose 5*f - 12 - 23 = 0. Let o be (2 + -2 + 0)/((-14)/f). Which is smaller: o or 7/18?
o
Suppose 21*m = 25*m - 136. Are m and 32 nonequal?
True
Let z(y) be the second derivative of -y**4/12 + 5*y**3/6 - 3*y**2 + 11*y. Let t be z(3). Which is bigger: 2/9 or t?
2/9
Suppose 61*f + 27 = 60*f. Let l be (-5 + 2)/(f/2). Which is greater: 19 or l?
19
Let k = -4 - -3. Let r be 2*(-3)/7 - k. Let m(g) = -g**3 - 23*g**2 - 43*g - 21. Let z be m(-21). Is r < z?
False
Let a = -1654/7 - -236. Which is smaller: a or 32?
a
Suppose 2*n = 4*u + 10, 4 + 6 = 2*n. Which is bigger: u or 7/22?
7/22
Suppose 75 - 63 = 4*m. Let w be m + 0 + -2 + -1. Which is smaller: 7/6 or w?
w
Let o be 4*21/12 + -1. Let h(j) = -j**3 + 5*j**2 + 6*j - 4. Let i be h(o). Which is smaller: i or -24/7?
i
Let i be 52*(1 + 6/(-8)). Let m be (i + -12)/(1/(-7)). Let r be (-2)/2 + m + 4. Is -1 greater than r?
True
Suppose 2*v + 8 = 3*w, -2*w = 3*w. Let q(i) = -7*i + 11. Let r be q(v). Does r = 39?
True
Let s(p) = p**3 + 5*p**2 - 8*p - 6. Let m be s(-6). Let i = -6 + m. Suppose i = 3*c - 13 - 23. Is 14 <= c?
False
Let c = 558.6 - -105.4. Which is bigger: -1 or c?
c
Let s = -1290 - -233484/181. Which is greater: s or 0?
0
Let o(j) = 10*j**2 - 15*j - 5. Let z(s) = -5*s**2 + 8*s + 3. Let y(p) = -6*o(p) - 11*z(p). Let i be y(1). Let