 Let x be 338/18 + 2*(-5)/(-45). Suppose 4*k + x = -3*y, y + y + 10 = -2*k. Which is greater: y or f?
f
Let j = 310 + -320. Which is smaller: j or 0.2?
j
Let m be 1 + 3 + (-394)/98. Let j = m - 142/245. Let o = 5 + -2. Is j <= o?
True
Let h(p) = -49*p + 7. Let a be h(0). Let t(v) = -v**2 - 6*v - 4. Let w be t(-4). Which is smaller: a or w?
w
Suppose -3*j + 3*w = -4*j - 13, -5*j + w = 1. Is j at most -4/5?
True
Let b be -5 - (-16 + 9 + 25). Is -0.1 less than b?
False
Let a be 208/(-7) - (-4)/(-14). Let z = a - -31. Let w = 3 + -2.9. Is z >= w?
True
Let k be 1/1*6 - (-174)/8. Which is smaller: 27 or k?
27
Let g = -0.136 + 115.136. Let v = g + -114.83. Is 2 greater than or equal to v?
True
Let v(r) = r**3 + 5*r**2 - 3. Suppose -16 = 3*k - 1. Let m be v(k). Let a be 2*m*(-48)/18. Which is smaller: -1/2 or a?
-1/2
Let y = 38.7 - 36. Let c = 3.7 - y. Which is smaller: c or 5?
c
Let s(p) = 2*p**2 - p + 2. Let g be s(-2). Let k = -8 + g. Suppose 2*a = q + 6*a + 4, -k*q + 1 = -a. Which is smaller: q or -1?
-1
Let s = 4 - 1. Suppose -s*p + 4*p + 4 = 0. Let g be (-10)/(-25) - p/(-15). Is g > -1?
True
Let w = 249 + -258. Which is smaller: -0.09 or w?
w
Let v = -418 - -423. Let x = 2.1 + -2. Which is bigger: v or x?
v
Let o = -13.9 - -8. Let b = o - -3.9. Which is smaller: b or 1.9?
b
Suppose -3*g + n + 18 = 14, -5*n = 2*g + 3. Which is smaller: 4/101 or g?
4/101
Let z(s) = 2*s**2 - s - 1. Let u be z(-1). Suppose -8 = 4*v - u*t, -2*v - 3*t - 3 - 1 = 0. Which is smaller: v or -5/8?
v
Suppose -5 = -v, v + 23 = a + 5*v. Suppose 1 + 5 = a*z. Are z and 3 nonequal?
True
Suppose -3*y - q - 1464 = 0, 4*y = -3*q - 2271 + 319. Which is bigger: y or 0.1?
0.1
Let a(w) = -w**3 - 13*w**2 + 6*w - 17. Let d be a(-13). Let z = 132 + d. Is z equal to 38?
False
Let n(i) = -3*i**3 - 27*i**2 - 31*i + 37. Let j(o) = o**3 + 14*o**2 + 16*o - 18. Let h(r) = 5*j(r) + 2*n(r). Let w be h(17). Is -1/4 > w?
False
Let y = -7 + 9. Suppose -3 = -3*x, 5*b + 5 = y*x - 7. Let c be (1 - b) + 1075/(-355). Which is bigger: c or 0?
0
Let u(g) = g**3 - 10*g**2 - 3*g + 13. Let s be u(10). Let t = -15 - s. Suppose -2*l = -6*l + t*q - 10, 0 = -2*l + 4*q + 10. Which is bigger: l or -6?
l
Let o = -1590 + 1584. Suppose 5*r + 30 = 5*b, -r + 6*b = 4*b + 3. Is o less than or equal to r?
False
Suppose 0 = -754*t + 749*t - 10. Let g be (3/((-6)/136))/(-1). Let l be t/(-2) + g/(-60). Is 1 >= l?
True
Suppose x + 17 = -4*v, -v + 7 = -3*v + x. Suppose 6 - 21 = -3*r. Suppose -2 - r = 2*o + n, 5*o + 2*n = -19. Are o and v equal?
False
Let x(h) = -h**2 - 12*h + 26. Let i be x(-9). Let c = 53 - i. Is c != -7/8?
True
Suppose 5*u - 2*n = 225, -3*u - n + 0*n + 124 = 0. Let f = 60 - u. Suppose 4*v = 3*h - f, 3*h + 0*h + 3 = 0. Which is smaller: v or -3?
v
Let a = 97 - 97. Which is smaller: 2/883 or a?
a
Suppose 0 = -3*h - 2*u + 66, -5*h = -h - 4*u - 88. Let j = 113 - 111. Is j greater than or equal to h?
False
Let d be 63/(-12) - (-1)/4. Let k = d - -7. Suppose 0 = -3*z - k*a + 4 + 3, -3*z - 5 = 5*a. Is 3 > z?
False
Let x(f) = -5*f**3 + 7*f**2 + 10*f - 4. Let t be x(-3). Which is bigger: t or 165?
165
Let u = -15 - -15. Let z = -2 + 2.1. Let k = z - u. Which is bigger: k or -10?
k
Suppose -n + j = -5*n + 458, -4*j + 452 = 4*n. Is n at most 117?
True
Let c = -8 + 5. Let g = -46 - -28. Let v be 82/(-45) - 4/g. Is c < v?
True
Let g(t) = 4*t**2 - 9*t - 26. Let d be g(-6). Which is smaller: 168 or d?
168
Let y = 21 + -18. Suppose -5*r = 5*h + 10, -y*h = -h + 5*r + 1. Let p be (-2)/((-12)/(-10)) + 0. Which is smaller: h or p?
h
Let r = -3 + -45. Let h be (9/(-21))/(9/r). Let t = 104/21 - h. Which is smaller: 4 or t?
t
Let a = 0.649 - 1.749. Are 55 and a non-equal?
True
Suppose 3*c = 5*i - 10, -5*c + 4 = -5*i + 14. Which is greater: 11/15 or c?
11/15
Let h = -6 + 3. Let c = h - -4. Let k = 0.077 - -8.923. Which is greater: k or c?
k
Let k = -858 + 773.1. Let y = k + 73. Let x = 12 + y. Are x and -1 unequal?
True
Let v be -1 - 292/8 - 0. Is -38 at least as big as v?
False
Let r = -0.395 - 19.705. Let u = r - -20. Which is bigger: 4 or u?
4
Let b(o) be the third derivative of -11*o**6/120 + o**4/24 + o**3/6 - 10*o**2. Let x be b(-1). Is 1 at most as big as x?
True
Let a be 10/(-104) + 8/(-52). Let s = 0 - -1. Is s greater than or equal to a?
True
Let b be (-30)/(-117)*(-63)/84. Is b greater than -1?
True
Let r = 681 - 704.9. Is r < -2/3?
True
Let n(f) = -25*f - 126. Let x be n(-5). Let y be ((-2)/30)/((-9)/(-51)). Let d = y + 4/15. Are d and x nonequal?
True
Let v be (3 - 2) + (-27 - -28). Which is bigger: v or -5?
v
Let i = -15.8 - -16. Let z = 6 - -6. Is z greater than i?
True
Let g = 0.25 + 0.33. Let u = g - -0.02. Let t = u - 1.6. Which is greater: -10 or t?
t
Suppose -3*c = 2*c. Suppose 4*f - 4 = c, -3*r - r - f = -1. Let i be (-7)/(-10) + 10/20 + -1. Which is smaller: i or r?
r
Let i(l) = -l - 4. Let x be i(4). Let h = 10 + x. Let w(d) = 12*d + 111. Let s be w(-9). Are h and s non-equal?
True
Let v = -2431/10 - -242. Is 0 greater than v?
True
Let i = -0.3 - -0.3. Which is bigger: i or 0.7?
0.7
Let g = 391 - 1055. Are 1 and g equal?
False
Let v(s) = s**3 + s**2 - s + 14. Let h be v(0). Let b = -14 + h. Let f be (-1 - 51/(-47))/(-2). Is f equal to b?
False
Suppose 13 + 42 = -5*f. Is f greater than or equal to -11?
True
Let y(w) = -w**2 + 6*w + 10. Let d be y(7). Let m(p) = -p**2 + 12*p - 25. Let h be m(9). Let k be ((-184)/60)/(h/d). Which is smaller: k or -5?
-5
Let f = 1771 + -1770. Is -42/85 equal to f?
False
Let w be (-49)/51 + 1 + 0. Let m be 10/(-50) + 22/10. Let z be m + 1 + -1 + -2. Is z > w?
False
Let s be -41 - 0 - (-2 - -4 - 4). Is s < -189/5?
True
Let x be (12/195)/(1/(-5)). Let t(w) = 2*w**3 + 32*w**2 - 38*w - 67. Let h be t(-17). Is x at most as big as h?
True
Suppose 0*l - 3*l = -l. Let a = -2 + 5. Suppose -2*g - 2*o - 20 = o, a*o = l. Is g greater than -10?
False
Let u(h) = -h + 5. Let a be u(6). Let g be -3*2 + (2 - a). Let y be (146/(-30) - -5)/(1/(-3)). Which is greater: g or y?
y
Let y(k) = k**3 + 11*k**2 - 12*k + 3. Let n be y(-12). Suppose 4*x = n*m + 23, 10 = 5*x - 3*x. Are m and -1 unequal?
False
Suppose 5*t + 35 = 5*k, 0*t - 20 = 5*t. Suppose 2*x - 4*x - k*s - 11 = 0, -3*s - 3 = 0. Let c be x/12 + 124/12. Which is greater: 11 or c?
11
Let x = -10.2 + -8.8. Which is greater: x or 2?
2
Let f = -2647 + 288531/109. Which is bigger: -1 or f?
f
Let c(q) = q**3 + 8*q**2 - 7*q - 24. Let j(f) = f**3 + 8*f**2 - 6*f - 25. Let u(m) = -5*c(m) + 4*j(m). Let s be u(-9). Suppose -4*t + 15 = -5. Does t = s?
False
Let n = -5/241 + 42441/1205. Let a = n - 36. Is a less than 1?
True
Suppose -3*z - 3*z = -1986. Suppose z - 2263 = 2*g. Let d be (-10)/35 + (-304)/g. Which is smaller: d or 0?
0
Suppose 3*m = 5*u - 8, 3 = 5*u - 2*u. Which is smaller: m or -1/78?
m
Let p = 10 - 11. Let m = p - -3. Is m not equal to -0.7?
True
Suppose 0 = 2*h + 2*k - 282, 4*h - 29*k = -24*k + 582. Which is bigger: h or 142?
h
Let m = 821.2 + -821. Let z be 6/8 - (-1)/4. Which is smaller: m or z?
m
Let n(c) = -c - 11. Let s be n(-12). Suppose -2*z + 13 + s = 0. Let m be -6 + z + 3/(-5). Which is bigger: 1 or m?
1
Let h = 6.4 + -11.4. Let b = -6 - 0. Let x = b - h. Is -7 at most x?
True
Suppose 0 = 42*b - 26*b - 32. Is b equal to 0.06?
False
Let h = 311 + -311. Which is smaller: h or -50/7?
-50/7
Suppose 47*o = 42*o + 5*a + 35, -4*o + 16 = -2*a. Let t = -15.9 + 2.9. Is o less than t?
False
Let o = -119 + 118. Is o less than or equal to 2/19?
True
Let w(x) = -2*x - 1. Let d(a) = 3*a. Let g(h) = -4*d(h) - 5*w(h). Let r be g(4). Let v = -4 - r. Which is smaller: v or 5?
v
Let o be 4/(-16)*-4*5. Let l = -4 + o. Is l > -1/35?
True
Suppose 3*o - 3 = -h, 3*o + 1 = -5*h + 4. Let d be 1 + (-15)/(-25) - o. Is d at most as big as 2?
True
Let v(y) = y**3 - 5*y**2 + 16*y - 59. Let b be v(4). Which is smaller: -10 or b?
b
Let t(n) = 3*n + 5. Let p(h) = -3*h - 6. Let v(d) = -5*p(d) - 6*t(d). Let j be v(2). Is j at least 0?
False
Suppose 0 = -1035*d + 1043*d + 2464. Which is smaller: -309 or d?
-309
Suppose 4*j - 3*a + 4116 = 0, 5*j - 5*a = -2821 - 2329. Which is greater: j or -1028?
j
Suppose -20 = -5*q + 3*q. Suppose 2*r - i + 2*i = 5, -5*i = 3*r + q. Suppose -2 = -6*n + 34. Which is smaller: r or n?
r
Let d be 2/9 + (-296)/36. Let x be (1*6)/(96/(-144)