25?
v
Let z = -37 - -40. Suppose -5*w + 14 = -3*l - 12, z*w - 22 = 5*l. Let g be (119/34)/(l/4). Which is bigger: g or 2/9?
2/9
Let f = 1819.1 + -1863.1. Which is smaller: 13/7 or f?
f
Let c = 47341/6 + -7871. Suppose -u - 112 = -5*y + 2*u, y + 3*u - 8 = 0. Is c >= y?
False
Let s be ((-105)/(-14))/(-20 + -1). Let j be 19/(-2)*(16/(-126))/(-4). Let q = s - j. Is q smaller than 0?
True
Suppose 2 = -6*f + 4*f. Let j be (-112805)/(-38213) - (-12)/(-4). Let d = j + 3/103. Which is greater: f or d?
d
Let f = -791/39 + 77963/4017. Let l = f - -19029/21424. Let u = -8341/1456 + l. Is u bigger than -6?
True
Let w = 609 + -638. Which is greater: -61 or w?
w
Suppose -3 + 0 = -w - i, 3*i = 5*w + 1. Let o be w/(2/4) - 1. Let u = 1873 + -1866. Is u greater than o?
True
Let w = -58439/14 - -4174. Is 13 smaller than w?
False
Let g = -1 + 4. Let k = -67 - -67.102. Let x = -0.008 - k. Is x >= g?
False
Let h be (-2 - 0)/2 + 4131 + -6. Let x be h/(-28) + 2/7. Let q be (-4 - x/35) + (-1 - -1). Is q at most 0?
False
Suppose -3*s - 2*d - d = 3351, -1105 = s - 3*d. Which is smaller: s or -1115?
-1115
Let h be 78/4*(-12)/(-9). Let l = h - 97/4. Is l > 0?
True
Let b = 1511/3770 + -3/3770. Which is smaller: 3/799 or b?
3/799
Let k be (-36 + -1)*(10182/(-141))/2. Let r = k + -1336. Which is smaller: 1 or r?
r
Let x(s) = -s**2 - 20*s - 19. Suppose b + 3*b + 68 = 0. Let n be x(b). Let o = 74 + -42. Is o greater than n?
False
Let c be ((-10)/44)/(-8 + (-20)/(760/(-209))). Suppose -j - 3*j = -4. Which is bigger: c or j?
j
Let z be (-1057)/(-131) + -5 + 15/(-5). Is 0 not equal to z?
True
Let x = -18 - -32. Let z(t) = t + 10. Let q be z(x). Which is smaller: q or 172/7?
q
Let w be 20/(-6)*(-4 - (-25)/10). Let x(p) = 4*p**3 - 2*p - 2. Let s be x(-1). Let r be 5 - (w + 3 + s). Which is smaller: -1 or r?
-1
Suppose -46 = -b + 69. Let d be 580/18*69/b. Is d < 19?
False
Let b = -3/359 + 1143/7898. Let m(y) = y**2 + 10*y - 1. Let v be m(-10). Is b > v?
True
Let r = -9917.93 + 9291.9. Let k = r + 623. Which is smaller: 1 or k?
k
Let h be ((-1)/(-9))/((-246)/(-9)). Let q = 509/4182 - h. Suppose 909*x = -5*i + 911*x - 15, -2*i = 5*x - 23. Which is smaller: i or q?
i
Let y = -4966 - -288017/58. Which is smaller: y or -4?
-4
Let h be 1/(-5*(-7)/644)*830. Which is bigger: h or 15270?
h
Let g = -1181788/19 + 62240. Are 40 and g equal?
False
Let v = 8 + -14. Suppose 29*t - 18 = 28*t. Let g be t/(-3) - (6 - -1). Which is smaller: g or v?
g
Let b(w) = 2*w**2 + 14*w + 1. Let z be b(-7). Let r be 178 + -1 + (z - -4). Are 183 and r equal?
False
Let d be 3 - (-37 - 5) - 44. Let o be ((-4)/26)/(26/(-4)). Is d <= o?
False
Let s(n) = -2*n**3 + 132*n**2 + 139*n - 325. Let k be s(67). Is k >= 594/61?
True
Suppose 0 = -4*i + 17 - 9. Suppose r = i, 2*n + 3*r - 84 = -2*r. Is n > 191/5?
False
Suppose -41*c + 9936 = -4*c + 35*c. Which is bigger: 0.19 or c?
c
Suppose 135 = 4*k - 7*k. Let v(n) = -n**2 - 65*n + 876. Let y be v(-77). Is k greater than or equal to y?
True
Let i(w) = -5*w**2 + 4*w**2 - 42 + 84 - 44 + 4*w. Let j be i(1). Is 3/4 smaller than j?
True
Let y(n) = 11*n + 48. Let c be y(-5). Which is bigger: -20 or c?
c
Suppose -31*r + 21*r = 50. Let f be (r/10)/((-1)/2 + 0). Which is greater: f or -4?
f
Let w be 271873/(-155358)*4 + 7 + (-4 - -4). Do 1 and w have the same value?
False
Suppose -7*q + 26 = -2. Let z be (9 + -7 + q/(-3))*-36. Which is greater: z or -26?
z
Let u be (-2)/(-4)*4*(-8 + -24). Let f = -55 - u. Suppose 10*c - f - 11 = 0. Which is smaller: c or 12/17?
12/17
Suppose 4*l + 9 = 1. Let k = 1.044 - 0.96. Let v = 0.264 - k. Is v smaller than l?
False
Suppose 1087 = 13*l - 889. Suppose l*w = 147*w - 940. Is -189 <= w?
True
Let k = -8856 - -8832. Which is smaller: -518/23 or k?
k
Suppose 0 = 4*k - 3*k - 4*q - 12, 4*k - 6 = -5*q. Suppose -14 = 3*i - l, 39 = -k*i + 3*l + 12. Which is smaller: i or -4?
-4
Let n(q) = -1079*q + 2057. Let s be n(2). Which is smaller: -96 or s?
s
Let o = 7069 + -70667/10. Suppose -r - v + 3*v + 3 = 0, -v = 4*r - 3. Which is bigger: o or r?
o
Let g(x) = 20*x - 115. Let n(j) = j**2 - 31*j - 95. Let o be n(34). Let h be g(o). Let m(q) = -4*q**3 + 3*q + 2. Let i be m(-2). Is h at least as big as i?
False
Suppose -6*d + 241 = -281. Which is bigger: 351/4 or d?
351/4
Let w = -77.115 - -0.515. Let m = 75 + w. Which is bigger: -1 or m?
-1
Suppose 6 = f - 2*p, -3*p - 11 = -2*f - 0. Suppose 0 = f*a + 3*n + 112, 0 = 5*a - 2*n - n + 113. Is -25 at least as big as a?
True
Let m be (-101795)/(-10180) + -12 + 2. Which is smaller: m or -1?
-1
Let d be 8 - 4/(2 + 2). Let h = 12 - d. Let w be (-8)/((-8 - -4) + h). Is 0.1 < w?
False
Let x be (-120)/5 + (-43 - -55). Which is bigger: x or 89?
89
Let t = -6392.2 - -6392. Let v = 1181/5 + -237. Is t < v?
False
Let j be (-203298)/(-117)*27/(-12). Let l = j + 3909. Is l at most as big as 0?
True
Let h be (2685/(-1345) + 2)/(10/(-160)). Is -1 at most as big as h?
True
Let b(g) = -24*g**2 + 199*g - 56. Let f be b(8). Let c = 23909/220386 + 1/4791. Which is smaller: f or c?
f
Let b = -9579 + 9183. Which is greater: b or -0.04?
-0.04
Let m = 56.98 + -0.98. Let x = -65 + 22. Let w = m + x. Which is smaller: w or 1/3?
1/3
Let h be 0 - 0*3/(-9). Let l(b) = -b**3 + b**2 + b - 1. Let m(q) = q**3 + 6*q**2 - 11*q + 18. Let r(f) = 2*l(f) + m(f). Let t be r(7). Which is greater: t or h?
t
Let h be 480/(-120) + (-1)/(2901/(-11606)). Is h at most as big as 1?
True
Let t = 187 - 220. Let x be ((-279)/15)/(t/55). Which is smaller: x or -2/5?
-2/5
Suppose z + 20 = -4*z. Let r be ((-126)/60)/((-32)/(-40)). Is z greater than r?
False
Suppose 253*h + 80*h - 4369771 = -14*h. Which is bigger: h or 12592?
h
Let s = -10 - -37. Let y(c) = -307*c + 35027. Let j be y(114). Is s > j?
False
Let w = 88 + -88. Let g be w*4/(-36)*3. Let v be g/(-14) - (-1)/8. Which is greater: v or 1?
1
Let z(y) = -y**2 + 3*y - 4. Let k be z(6). Let v = 213 - 155. Let s = 57 - v. Is s bigger than k?
True
Let g(w) be the first derivative of w**3/3 + 5*w**2/2 + 6*w - 26. Let a be g(-2). Suppose c = -c - a*c. Is -2/107 at most as big as c?
True
Let g(w) = -6*w - 86. Let r = 27 + -42. Let d be g(r). Are d and 3 equal?
False
Let h(v) = -v + 4. Let y be h(0). Suppose k - y = -3*k. Let g = 7754 + -620319/80. Are k and g equal?
False
Let c be (-29)/(-1 + (-35)/25). Let h = c + 85/12. Which is smaller: h or 19?
19
Let d(s) = -9*s - 37. Let k(w) = w. Let v(t) = -d(t) - 5*k(t). Let n be v(-7). Suppose 13*j = n + 4. Is 5/9 at most as big as j?
True
Suppose -2*g = -172 + 160. Suppose g*u - 3*u - 9 = -3*o, o = -3*u + 13. Let j be 1*-3 - (-5)/25. Is j not equal to o?
True
Suppose 6*y + y - 42 = 0. Suppose y = k + 41. Is -40 at least k?
False
Let i = -33414 + 33193. Which is smaller: -7 or i?
i
Let k be -12*(-5)/116460*9. Which is greater: 0 or k?
k
Let o be 13/(-4)*5/((-25)/40). Suppose i + 42 = 4*n, 4*n + i - 12 = o. Suppose 18 - n = -4*c. Which is smaller: -6/7 or c?
c
Let m = -447 - -453. Let c be 0 + (-894)/(-85) + m/(-51). Is 11 != c?
True
Let g(x) = 3*x - 41. Let c be g(23). Suppose 3*a = -4*a + c. Suppose a*i - 10 = 3*o, 4 = -0*i + i. Is -2 greater than o?
False
Let y be -7 + (215 + -4 - 48/(-6)). Suppose -3*s + p - 6*p = 3, 0 = -4*p. Which is greater: s or y?
y
Suppose 58*p + 94723 = -20*p - 661565. Which is bigger: -9695 or p?
-9695
Let w be ((-18)/15)/((-755)/50 + -5). Is w less than or equal to 1?
True
Let k be (-6)/(-28) + (-25185)/346458. Which is greater: 0 or k?
k
Let g = 40/77 - 5129/10318. Let i = g + 789/670. Which is bigger: -0.08 or i?
i
Suppose -250 = -2*z + 7*q - 5*q, -5*z = -2*q - 628. Is z at least 5/2?
True
Let p be (-6)/8 + (-1)/4. Suppose -4 = -9*v + 11*v. Let f be ((-21)/(-567))/((-5)/v). Is f greater than p?
True
Let f(a) = a**3 - 19*a**2 - 37*a + 27. Let u be f(21). Let d be ((-4)/7)/(u/(-126)). Suppose 0*b = -3*b. Which is greater: d or b?
d
Suppose 5*g + 97 - 1 = -y, 3*y + 212 = 4*g. Let b be ((-1125)/(-1575))/((-12)/1274). Let i = b - y. Are i and 2 non-equal?
True
Suppose 15 = -5*r, -1 = 2*j + 94*r - 93*r. Let d = 41/66 - 5/11. Are j and d non-equal?
True
Let y be -153*(3 + 3 + (-6 - 1)). Suppose -13*m = -y - 3. Suppose -3*g + 5*s = -119 + 21, 3*s + m = 0. Is g at most 26?
True
Let a be -2*(-17)/(-6)*-3. Suppose -18*i = -a*i - 3. Let t be (38/(-6))/(19/i + -6)