 smaller: m or 4/23?
m
Suppose 5*y + 3*t = 52, -5*y - 5*t + 16 = -44. Let b be (-16)/(-6)*(y + -5). Let z be b/18*9/2. Does z = 22/7?
False
Let o = 28055/78 - 721/2. Let n = 6/103 - 284/1339. Let q = o - n. Which is bigger: q or -3/2?
q
Let c = -85 - -87. Suppose -l + 3*r = -c*l - 196, 5*r = -l - 190. Let w be (-2)/(-9) - (-3 - l/(-9)). Is w greater than -2?
True
Let t = -3076.4 - -3083.9. Let m = 2.1 + -2. Which is bigger: m or t?
t
Let x = 37.163 + 0.337. Let y = 261.5 + x. Which is greater: y or 0?
y
Let i be 1/(-14) - 9671/(-8778). Is i less than or equal to 1?
False
Let z(t) = -3*t**2 + 9*t - 27. Let o(b) = b**2 + b - 1. Let m(d) = 4*o(d) + z(d). Let j be m(-15). Let n = 115645/106 + -1091. Which is smaller: j or n?
j
Suppose 0 = -2*z + 4*k - 260, k = 3*z + z + 499. Let m be z/(-6) + (-22 - -24). Is 0.1 bigger than m?
False
Let i = -7/35486 + 91376513/319374. Which is bigger: 286 or i?
i
Suppose -c - 5*d = 4*c - 30, 0 = 5*c + 3*d - 26. Suppose -62*n + 58*n + c = 0. Which is smaller: n or 23?
n
Suppose -6*q + 64 = 28. Let z be 2*(-1)/6*-9. Suppose -5*w + 3*g = 8*g - 75, -2*w + 15 = -z*g. Do q and w have different values?
True
Suppose -4 = 2*r - 3*f - 3, -28 = 5*r + f. Suppose -3 = 4*x - t, -3*x + 2*t + 4 = -0*t. Let k be (r - 898/(-170))/(x/5). Are -2 and k nonequal?
True
Let o = 114888/5 - 23075. Let h = 98 + o. Suppose -d + 2 = -4*q, -8 = 2*q - q - 4*d. Which is bigger: h or q?
h
Suppose -a + 2*a + 242 = 0. Let j = 5022 - 5263. Is j greater than a?
True
Let m(u) = -u**3 + 21*u**2 + 16*u - 339. Let n be m(22). Is -478 smaller than n?
True
Suppose 3*u - 1 - 59 = 0. Let j(q) = -9*q + 90. Let p be j(u). Let k = p + 104. Do k and 38/3 have different values?
True
Let b(y) = -71*y + 4199. Let d be b(-25). Is 5973 at most as big as d?
True
Let n = 5038/3 - 1787. Let t = n + 103. Do t and -5 have different values?
True
Suppose -6*f - 2*s = -2*f - 338, 5*f = 4*s + 416. Let j be ((-5)/f)/(361/(-5092)). Let c = j - -1/57. Which is bigger: 0.5 or c?
c
Let l = -4035.585 + 4036. Is l equal to -2?
False
Suppose -35*u = -7*u + 13804. Let z = 268 + u. Is -224 greater than z?
True
Let t = 1228128/1575359 - -2/26701. Which is greater: t or 1?
1
Let v = 570 - 561. Suppose -v*t = 3*z - 13*t - 113, 0 = -z + t + 36. Is 31 at most as big as z?
True
Let n = -2529 + 3285. Is n at most as big as 751?
False
Let x be ((-6)/4 - -1)*-8. Let k be x - (-11 + 4 + 3). Let a be ((-40)/10)/((-1)/2). Is a < k?
False
Let s = -30629 - -30628.62. Do -0.04 and s have the same value?
False
Let l(x) = -14*x**3 - 3*x**2 + 12*x - 3. Let q be l(5). Is -1767 greater than q?
True
Let x = -3819 - -3788. Let l(q) = q**3 + q + 8. Let y be l(0). Let a = y + -38. Which is smaller: a or x?
x
Suppose 23 = 5*q + 28. Is 1/280 bigger than q?
True
Suppose 18 = 2*q - 0*b - 4*b, -5 = 5*b. Suppose 24 = -4*j + q*j. Suppose a + a = j. Which is greater: a or -0.1?
a
Suppose -2*b = -3*c + 2*b + 529, 4*c = 4*b + 712. Let z = c + 133. Are z and 317 unequal?
True
Suppose 52*q + 18 = 46*q. Let j be (q/9)/(1/3). Let d be -10 + -1 - (j - -1)/(-1). Which is smaller: 0.3 or d?
d
Let x = 284.84 - -81.16. Which is bigger: 4 or x?
x
Suppose -29*i + 1428070 = -12*i + 53*i. Are i and 20400 nonequal?
True
Let p = -40.52 - 0.48. Let f = p + 13. Let a = 29 + f. Is 22 < a?
False
Suppose 0 = -j + 42 + 27. Let q = j - 61. Let l be (-1)/4 + 6/q*-1. Is l greater than -1?
False
Suppose 5 = 5*o, 4*o - 114 = 3*u + 64. Let x = -57 - u. Let l be x*(0 + -2 + 1). Which is smaller: -3/4 or l?
l
Let d be 119/4 + (-6)/8. Suppose -4*g + d = -3*l, -5*g - 2*l + 22 = -l. Suppose -g*i + 62 = -3*i. Do 32 and i have different values?
True
Suppose -c + 134 = -4*b, -5*c + 3*b + 283 = -302. Is 3 bigger than c?
False
Suppose 0*m = -2*m + 10. Suppose 0 = 4*v + 4*u - 60 - 48, 0 = m*v - 5*u - 105. Suppose 0 = 2*f + 12, -25*f = 5*x - 23*f - 118. Which is bigger: v or x?
x
Let m = 732/7 + -135434/1295. Which is smaller: m or -0.26?
-0.26
Suppose -k = 3*k + 8. Let n = 93 + -83. Let y be 278/(-90) - n/(-50). Which is greater: k or y?
k
Let h = -157 + 51. Let x = -112 - h. Which is bigger: x or -1?
-1
Let c be (22/(-5))/(18/680). Let m = c - -166. Suppose 3*u = 9*u + 6. Are m and u equal?
False
Let c = 8820.326 + -8818. Which is smaller: -0.3 or c?
-0.3
Let w = 49.7 + -171.7. Is 38 < w?
False
Let p be -13 + 204400/15582 - 2/14. Is 0 greater than or equal to p?
True
Let i = -7568.9 + 7569. Which is bigger: -10378 or i?
i
Let m = -9 - -9. Let o = 1939.2 + -1985.2. Is m < o?
False
Let f = 89 + -86. Suppose 4*p = f*a - 77, -2*a + a + 59 = -3*p. Is p bigger than -20?
False
Let m = -75.4 + 75.5. Let d = 10.74 - -0.26. Let c = -26 - d. Is m at least as big as c?
True
Suppose -112*z = -122*z + 960. Suppose -o + z = 31*o. Is o >= 6?
False
Suppose -5*q + 15 = j, 0 = -0*q - 4*q + 12. Let n = -10475 - -5185127/495. Which is greater: j or n?
n
Let a be ((-6)/4)/(42/8). Let s = 119 - 78. Let g = s + -42. Are a and g equal?
False
Suppose 13*c - 103 = 14*c. Let l = c - -36. Is -68 at most l?
True
Let a = -23/186 + 139/372. Which is smaller: -508 or a?
-508
Suppose n - 7 = 0, -4*k + 1167 + 237 = -4*n. Which is bigger: 372 or k?
372
Let v(i) = 2*i**2 - 37*i + 1. Suppose 5*k - 3*o + 24 = 99, -5*k = -5*o - 65. Let x be v(k). Is -154/9 at least as big as x?
False
Suppose -7*g - 9 - 355 = 0. Let x = -42 - g. Which is greater: 13 or x?
13
Let z = -16.808 - 219.192. Is z <= -8?
True
Suppose -4*p + 10 = 5*u, 4*p + 10 = 5*u + 2*p. Let q(t) = -21*t**3 + 14*t**2 - 23*t - 2. Let k be q(u). Which is smaller: -161 or k?
-161
Suppose -3*h + 26 = -7. Let t(r) = r**2 + 4*r - 16. Let k be t(3). Suppose 3*m - 35 = -k*g - m, m - 6 = -g. Do h and g have the same value?
True
Suppose 4*r - 1 = 3*r. Suppose -5*i - 6 = -21. Let u be ((-2)/i)/(2/(-27)). Which is smaller: r or u?
r
Suppose -v + 3*v - 104 = 0. Let u be (-1)/(-3) + (-55245)/(-1044) - (-12)/(-48). Is u greater than or equal to v?
True
Let w = 83 + -77. Let h be w/105*(-9 - -4). Which is greater: -24 or h?
h
Let u be (-18)/(-5)*((0 - 15) + 10). Suppose 0 = -3*s + 3, y - 2*s = 3*y - 92. Let z = 29 - y. Which is greater: z or u?
z
Let i be (-3 + (-33)/(-9))*(7 + -1). Suppose -4*c = r + 7, 3*c + 6 = i*r + 2*c. Which is greater: r or 11/13?
r
Suppose 0 = -12*w + 57 - 69. Which is smaller: 145 or w?
w
Suppose 3*s - 9 = 3*c, 35 = 5*s - 0*s + 5*c. Suppose -s*a + 210 = -3*j, -12*a + 14*a + 3*j = 84. Is 42 > a?
False
Suppose -x - 80 = 122. Let p(n) = -2*n**2 - 6*n - 62. Let h be p(-10). Is x greater than h?
False
Let v = -115 - -118. Let a = 24 - 46. Let h = a + 22.4. Is v smaller than h?
False
Let g = 2960 + -2961. Is g < -4/465?
True
Let q = 1818.3 + -1818.2. Let c(r) = 6 + 0 - 2 + 8*r. Let y be c(-6). Which is smaller: q or y?
y
Let x(h) = 4*h - 46. Let u be x(11). Let y be u/(-3) - (-1248)/612 - 2. Which is smaller: -0.2 or y?
-0.2
Let u be (-10)/(-680)*17*-3628. Is -908 > u?
False
Let p = -85 + 87. Suppose -f - 23 = -3*n - 21, -3*n = -p*f - 4. Let y be (-6)/14*4/3. Is n <= y?
False
Let i(c) = 8*c**2 - 9 + 0*c**2 + 6*c - 5*c**2. Let h be i(-7). Let l = h - 97. Is l > -1/64?
False
Let r(d) be the second derivative of -d**5/20 - d**4/3 - d**3/3 + 7*d**2/2 + 4*d. Let s be r(-3). Let i be s*3/8 - 1. Which is smaller: i or -5?
-5
Let o = 0.027 - -1.973. Let u = -30108/5 + 5990. Let z = u - -32. Is o greater than z?
True
Let g = -10.205 + 9.905. Let c = 136 + -261/2. Let w = c + -5. Which is smaller: w or g?
g
Let d(w) = -2*w**2 - 11*w - 6. Let q be d(-5). Let n = 5687/6868 - 59/68. Is q < n?
True
Let t = 37 - 35.48. Let h = 1.52 - t. Is h bigger than -0.056?
True
Let o = -22970 + 19206. Which is smaller: -3766 or o?
-3766
Let a = 1164.7 - -4372.3. Which is smaller: -1 or a?
-1
Let k = -9544.9 - -9545. Is k bigger than -296?
True
Let l(x) = 253*x - 1824. Let z be l(8). Which is greater: z or 997/5?
z
Let l = -218.3798 + 0.3798. Is l greater than or equal to -3/2?
False
Let w(i) = -2*i**2 - 7*i + 248. Let j be w(-13). Which is smaller: 53/46 or j?
j
Let h be (2426/(-18)*276/23)/((-4)/(-6)). Is h != -2426?
False
Let n be (-7)/(-3)*(-170)/35. Let j(o) = o - 5. Let c = -58 - -52. Let w be j(c). Is n < w?
True
Suppose -5*i = -428 + 818. Let k = 78 + i. Which is smaller: 17/14 or k?
k
Suppose 3*g = 7*g + 115 + 3401. Is -879 less than g?
False
Le