han or equal to r?
False
Suppose -91*y = -94*y - 1542. Let f = y - -517. Is f at least as big as 28?
False
Suppose -180*w + 177*w - 357 = 0. Suppose 5321 - 602 = -39*d. Which is bigger: w or d?
w
Let f(q) = -q**3 - 21*q**2 + 24*q + 21. Let g be f(-13). Is -1642 at least as big as g?
True
Suppose 44 = -4*b - 4*i, 51*b + 4 = 49*b - 5*i. Let f be (-4)/6 - (-268)/(-18). Is b < f?
True
Let z = -50 + 71. Suppose z = -8*m + 29*m. Is -46 not equal to m?
True
Let k be (-11)/(2*(78/(-36))/13). Let m be (k/(-1287))/(7/(-6) + 1). Is 4 < m?
False
Let j(k) = k. Let m(t) = t**3 + t**2 - 5. Let i be (-6)/8 + (-15)/60. Let a(n) = i*m(n) + 5*j(n). Let h be a(-2). Does h = -1/6?
False
Let l(x) be the third derivative of 11*x**6/12 - x**5/60 + x**4/4 + 7*x**3/6 + 216*x**2. Let m be l(-1). Is m at least as big as -114?
True
Let y = -131 - -129.58. Let i = -12.58 + y. Which is smaller: i or -1?
i
Let o = -401 - -599. Let p be ((-192)/o)/((-4)/18). Let v be -24 + 17 + 9 + 3. Are v and p equal?
False
Let u = 129395/5506 + -2/2753. Suppose 1195*f - 10326 = 17159. Is u bigger than f?
True
Let b = -63 + 65. Let d be (-272)/(-384) + b*3/(-16). Are -10 and d nonequal?
True
Suppose -c + 3 = 0, -4*b = -1738*c + 1737*c + 3. Is -21/442 > b?
False
Suppose -292*f = -590*f + 289*f. Which is smaller: -3/62 or f?
-3/62
Suppose 45*i - 51*i + 18 = 0. Let m be (116/40 - i) + (-2)/(-4). Let w be ((-51)/(-42))/1 + -1. Are m and w nonequal?
True
Let r = 680 - 685. Are 34/5 and r non-equal?
True
Suppose -2*s - 7084 = -2*z, 0 = -4*s + 3*z + 2404 - 16571. Which is smaller: -3542 or s?
-3542
Let j = -1603 - -25591/16. Which is bigger: -5 or j?
j
Let s(t) be the first derivative of -t**4/4 - 14. Let u be s(-1). Let p be u - 3 - (3 - 4). Is p <= -1?
True
Suppose -29376 = 61*m - 186*m - 79*m. Which is bigger: 1578/11 or m?
m
Suppose 16 = d + 3*y, 8 = -2*d - 41*y + 43*y. Suppose 2 + 2 = -4*a, -2*q - 862 = -4*a. Let j = q - -5626/13. Do d and j have the same value?
False
Suppose -2*q - 15 = -7*q, 8 = 5*n + q. Suppose -3*j + 3 = -2*f - f, 3*j - n = 5*f. Suppose -11*o = -10*o - f. Is 1 equal to o?
True
Let j = 30653 - 28812. Is 1831 <= j?
True
Let w(l) = l**3 + 15*l**2 + 53*l - 24. Let z be w(-8). Suppose 0 = -4*i + 4*d - 328, i + 4*d = -z*i - 107. Which is smaller: i or -90?
-90
Suppose 320 = 5*a + 2*g, -a = -5*a - 5*g + 239. Suppose -j = 11 + a. Let z = 59 + j. Is -19 smaller than z?
True
Suppose 4*a - 620 = -2*o, a = 30*o - 34*o + 148. Let y(d) = 2*d**2 + 10*d + 24. Let s be y(-11). Is a <= s?
True
Let k(h) = -h + 13. Let d be k(8). Let w be 0/(0 + 1)*(-1)/1. Suppose 17*b - 177 + 58 = w. Are d and b nonequal?
True
Let f be -250 + (6/(-2))/(6/8). Let c = -1043/4 - f. Is c not equal to -7?
True
Let a = -1040924257/2791430 - -1/279143. Is -373 less than or equal to a?
True
Let u be (-2)/12*2 + 7/21. Suppose 270 = -5*i + g, u = -2*i + 4*g - 19 - 89. Let q be 38/9 - (-12)/i. Which is smaller: 5/2 or q?
5/2
Suppose -2*j + 142 = 4*a, 0 = 2*a - 7*j + 11*j - 68. Let s be (260/(-86) + 3)/(4/a). Which is greater: s or -1?
s
Let a = -436206/137 + 3184. Is -23 less than or equal to a?
True
Let f = -132 - 424. Let d = f + 621. Which is bigger: d or 0?
d
Let n be (-3)/(-2*47/6 + 28/42). Let s = 106/3 + -36. Is s >= n?
False
Suppose -15 = 3*h, 2*d - 2*h + 1278 = -0*h. Is d at least -644?
True
Let n = -1108 - -1108. Which is smaller: n or -7/3946?
-7/3946
Let o = -1 - -1. Let v be (1*(o + 3))/((-2)/2). Let g be (-2)/v + (-1)/(-9)*3. Do -4 and g have the same value?
False
Let m be 4/38 + 14/(223440/47055) + -3. Let y(n) = -n**3 - 5*n**2 - 3*n + 4. Let d be y(-4). Which is bigger: m or d?
m
Let p = -54 - 2. Let o = 31 + p. Let x = 23 + o. Which is smaller: x or 8?
x
Let s = -19 - -19.022. Let n = -599.1 + 598.978. Let y = n + s. Which is greater: y or -2?
y
Suppose 2*z = 4, s = -4*z + 3 + 2. Let y be (-5 - 370/(-6))*s/(-2). Let k = 85 - y. Which is smaller: k or -3?
-3
Let l(v) = 210*v**2 - 10*v - 10. Let d = 97 + -98. Let y be l(d). Is y at least 209?
True
Let t = 11.6184 - 12.0884. Let b = -0.24 - 0.06. Is b smaller than t?
False
Let z = 1836 - 1839. Which is smaller: z or 284?
z
Let m(w) = -37*w**2 + 5*w + 20. Let h be m(-4). Let j be (111/h)/((-1)/(-4)). Which is greater: j or 10?
10
Let n = 110.825 + -111.825. Let f = 22 + -5. Is f >= n?
True
Let p be 16/(-18)*54/(-12) - 106. Is p bigger than -102?
False
Let o(x) = 2*x**3 - 18*x**2 - 70*x + 27. Let b be o(11). Is -251 >= b?
True
Let c(r) = -4*r - 18. Let p be c(-7). Let l(i) = -4*i + 3. Let a be l(p). Suppose n - 4*k + 40 = -6*k, -5*k = -5*n - 185. Which is smaller: a or n?
n
Suppose -134 = -2*u + 4*c, c + 3*c = 4*u - 288. Let w = u - 48. Suppose 24*j + 115 = w*j. Is j less than 25?
True
Let h = 1626315/68 + -39803669/1768. Let v = 1403 - h. Which is bigger: v or 3?
3
Let x = 74 - 46. Suppose x = 6*t - 5*t. Suppose 167*a - 1 + 378 = 180*a. Do a and t have different values?
True
Let t be (-163)/(-4) + 14/56. Let b be 3*-1 - (t - -6). Let j = b - -199/4. Which is smaller: j or 14?
j
Let i = 6325/84 + -226/3. Let n(d) = -24*d - 371. Let s be n(-14). Let j be 4*s/(-84)*2/(-5). Is i <= j?
False
Suppose 1454 = 9*v + 1823. Which is smaller: -47 or v?
-47
Let y = -0.0229 + -3.9771. Let a = y + 3.9. Are a and -1/15 equal?
False
Let a(z) = -z**3 + 13*z**2 + z + 11. Let k be a(13). Let c be (14/4)/(7/49). Which is smaller: c or k?
k
Suppose -22*t - 51 + 5 = 64. Which is bigger: t or -97/20?
-97/20
Let g(n) = -2*n - 3. Let y be g(-5). Suppose -93 - 67 = -16*w. Let d be (-16)/72 - w/(-45). Which is smaller: d or y?
d
Suppose 8*q - 143 = 2018 + 935. Let x be 52614/(-136) - (-2)/(-8). Let d = x + q. Which is bigger: d or 3?
3
Let t(o) = 18*o - 18. Let j = -377 + 378. Let x be t(j). Is 2/17 at least as big as x?
True
Let j(n) = n**2 - 6. Let h be j(-3). Suppose 3*a + h*a + 36 = 0. Let v(u) = -u**3 - 5*u**2 + 7*u + 8. Let o be v(a). Which is smaller: 20/11 or o?
20/11
Let u = -3 + 3.1. Let d = 868.15 - 805. Let m = d - 63. Which is bigger: m or u?
m
Let n = 27856/116275 - -2/4651. Let u be -2 + (-2 - 32)*(-23)/2. Let j = u + -390. Which is greater: j or n?
n
Let m(j) be the first derivative of -j**4/4 - 10*j**3/3 - 11*j**2/2 - 10*j - 862. Let x = -10 - -1. Let l be m(x). Is 2 <= l?
True
Let v be ((-6)/18)/(7/(-21)) - (-49)/(-47). Which is smaller: v or 0.075?
v
Let w be (50/(-20))/((-5)/4). Suppose -w*s + 12 = s. Let x be s/5 + (17 - 18). Which is smaller: x or 2?
x
Let f = 4.3 - 4.02. Let r = f - 0.52. Let v = r + 1.24. Do 3 and v have the same value?
False
Suppose 0 = -12*b - 7 + 79. Let k = 3.88 + -3.78. Which is smaller: k or b?
k
Suppose 5*b + 10 = -z - 14, 16 = -4*b. Let y be z/(-22) + 263390/(-28710) + 9. Is y greater than or equal to -0.1?
True
Suppose -r - p = 3, -3*r - 4*p = -2*p + 4. Suppose -y - 3*s + 96 = 0, 0*y + 3*s - 183 = -r*y. Are 87 and y nonequal?
False
Let o = 1315/4 - 333. Let u = -81/20 - o. Is u at most as big as 2?
True
Suppose -4*a + 89 = -119. Let v = a + -39. Which is greater: v or 85/6?
85/6
Let d = 2063124310208/8327 - 2725354811/11. Let r = d + -3689. Is 0 smaller than r?
False
Let l be -3 - ((-195312)/(-216) - (-8)/(-36)). Is -909 greater than l?
False
Let w = -28.1 - -1.1. Let f = 33 + w. Which is bigger: f or 0.15?
f
Let l be 5697/(-5695) - (18/12 + (-25)/10). Which is smaller: l or 0?
l
Let c = -181 + 182. Let a be (4/4)/((-2)/1 + c). Is a <= -2/61?
True
Let j = -0.99 + 30.99. Is 4/45 at most as big as j?
True
Let c(a) = -3*a + 6. Let s be c(8). Suppose -x + 7 = 4. Suppose 13 - 61 = x*v. Is s equal to v?
False
Let n = -484.9431 - -485. Which is smaller: n or -1?
-1
Let j(q) = -10*q**2 + 161*q + 202. Let m be j(18). Which is greater: -102 or m?
-102
Let i(a) = 23*a + 226. Let s be i(-6). Suppose 0 = -7*n - 4*n - s. Which is bigger: -2 or n?
-2
Let t be 4*14/4*(2 - 1). Suppose -1237*i - 119 = -1244*i. Which is bigger: t or i?
i
Let p be (-4124)/(-3) - 644/(-483). Which is smaller: 1375 or p?
1375
Let x(z) = -72*z + 462. Let y be x(9). Let m(h) = -h**3 - 13*h**2 - 10*h + 12. Let b be m(-10). Which is smaller: y or b?
b
Let g = -4037 + 4038. Which is smaller: -17/373 or g?
-17/373
Let v = -263 + 43. Let i = 349 + v. Is 0.1 less than i?
True
Let a = 10442.046 + -10483. Let f = a + -0.046. Let d = f + 49. Is d <= -2?
False
Let b = 24 + -11. 