j + 50. Let k be d(-78). Suppose n = 4*c + 113, 0 = -3*c - 3*n - 73 - 8. Is k < c?
False
Let y = -17502 - -4533019/259. Is 1 >= y?
True
Suppose -2*k = 3*c - 181, -11*c + 10*c - k + 62 = 0. Suppose a = -j - 15, -2*a - c = -3*j - 17. Which is smaller: -52/3 or a?
-52/3
Suppose -r - 3*y + 66 = 0, -2*r + 177 = 4*y - 7*y. Let d = r - 77. Is 0.01 at least d?
False
Let v be 3 + (2/6)/(6/(-126)). Let z(u) = -13*u**2 - 19*u - 53. Let q(m) = 3*m**2 + 5*m + 13. Let i(r) = -9*q(r) - 2*z(r). Let k be i(v). Is 7 greater than k?
True
Let q = 4.69 + 202.31. Is 5 equal to q?
False
Suppose 5*u = 6*u + 2*a + 2, -4*a = 4*u. Suppose p + 3 = u. Do 1/38 and p have different values?
True
Let c = 52 + -55. Let w be (-100)/(-8) - c/6. Suppose -w = -n - 4*x + x, -n = -2*x + 7. Is n <= -2/29?
False
Let i = -58.228 + -19.772. Is i greater than 4/11?
False
Let n = -574/27401 - 925458443/493218. Let c = n - -1875. Which is bigger: c or -1?
-1
Suppose 0 = 196*w + 89491 - 16808 + 30609. Do -1582/3 and w have the same value?
False
Let y = -220 - -201. Which is smaller: -37 or y?
-37
Let z = 52249415/246 + -212396. Let h be -1 - (-1 - (0 + 0)). Is z bigger than h?
False
Let x = -111710/9 + 12433. Let g = 21 - x. Is g at most 76?
True
Let f be (-16)/14 - (-16)/2800*7305. Suppose -71 - 11 = -2*r. Which is smaller: r or f?
f
Let r(j) = -6*j + 6. Let z(a) = 4*a - 4. Let v(y) = 3*r(y) + 4*z(y). Let w be v(8). Are -16 and w unequal?
True
Let r = -41 + 10. Let g(c) = c**2 + 23*c + 16. Let m be g(-21). Which is smaller: m or r?
r
Let t = -13432 + 13431.16. Is t not equal to -0.8?
True
Let h = -0.098 + 0.098. Let i = 472 - 638. Which is bigger: h or i?
h
Let s = -5395 + 5396. Does s = 8/259?
False
Let i be ((-2600)/(-16) - -11)/(8/(-16)). Which is bigger: i or -330?
-330
Let m = 1 - 3. Let p(v) = -v**2 + 26*v - 104. Let d be p(21). Let b be ((-12)/(-6) - d)*(-34)/10. Which is greater: b or m?
m
Suppose 22 = -5*v + 27. Let y be ((-6)/(-12) - v)/((-2)/76). Suppose y + 9 = -7*n. Which is smaller: n or -20?
-20
Let m be (-3993679684)/2222*19/18420519. Let y = m - -47630/24859. Let q = 2/1313 - y. Which is smaller: 0 or q?
q
Let k = -0.297 + -117.903. Let n = -122 - k. Let b = 4.1 + n. Are 11 and b nonequal?
True
Let c = 56 + -282/5. Let y(l) = 75*l - 12. Let g be y(-2). Let q = -162 - g. Which is greater: c or q?
q
Let a be 11*(-1 + 24/26). Suppose 0 = 2362*n - 2383*n - 42. Which is smaller: a or n?
n
Suppose -6 = -7*p + 1. Let f = 10 - p. Suppose 4*j - 14*j = -100. Which is smaller: f or j?
f
Let m(s) = 11*s**2 + 36*s - 12. Let q be m(-4). Which is smaller: 16 or q?
16
Suppose 8*i + 16 = 256. Suppose i*a + 48 = 33*a. Suppose 5*f - 24 = a. Is 10 equal to f?
False
Suppose u - 3*x + 30 = x, -4*u + 5*x - 87 = 0. Let w be (12/8)/3*u/237. Let t = 641/237 + w. Which is bigger: 1/7 or t?
t
Let z be (-3)/4 + (-2583)/(-4). Suppose 3*c = 3*w - z, 3*w + 5*c = -0*w + 653. Is 217 equal to w?
False
Let n = -0.444 + 0.064. Let o = 0.0266 - 0.1266. Is o at least as big as n?
True
Suppose 288*o - 72156 = 124*o + 136*o. Is 2576 at most o?
True
Let n be (15 - 6/2)*(-9)/(-38). Is 4 greater than or equal to n?
True
Suppose 2*y - m = 316, 3*m + 60 + 728 = 5*y. Let b = 270 - y. Does 109 = b?
False
Let y(a) = -a**3 - 2*a**2 + 4*a + 15. Suppose 3*v = -5*w - 36, -5*v = -3*w - 10 + 2. Let o be y(w). Let h = 131 - o. Is -8 at least as big as h?
False
Suppose 3*f = -f. Suppose 4 = c - f. Suppose 99*j = -4*x + 95*j + 24, -9 = 2*x - 5*j. Is c less than or equal to x?
False
Suppose -4*l + 1 = 3*o + 25, l = 0. Let s = -669 - -2649/4. Which is greater: o or s?
s
Suppose -3*i + 2 = 3*h - 1, 5*h + 2*i - 14 = 0. Suppose 3*y + 2 = y + 4*b, 0 = -4*y - h*b + 20. Suppose -2 = r + y, -c + 4*r + 91 = 0. Is c at least 70?
True
Let i = -184 - -174. Let h be (-3)/(-9) - (i/(-3) - 3). Which is smaller: h or 1/42?
h
Let i be 984/(-4592) + (-1674)/28. Which is greater: 14/3 or i?
14/3
Suppose -5*o + 35 = 3*g, 4*o - 3*g + 3 = 4. Suppose 5*s - 14 + o = 0, 18 = t + 5*s. Let i be ((-4)/(32/18))/((-3)/8). Which is smaller: t or i?
i
Let t = 6102 + -7080. Which is bigger: t or 6?
6
Suppose 3*k = 23 + 1. Suppose -5*d = -3*o - k, -3*o - d + 16 = -0. Let n be ((-2)/o)/(11/(-22)). Is n equal to 1/9?
False
Let q = 80.057 - 0.057. Let j = 83.7 - q. Let n = -3.8 + j. Is n at most as big as -10/9?
False
Let i(n) = n**2 + 5*n + 4. Let g be i(-3). Let k be (-114)/(-190) - (-1858)/(-30). Let z = -938/15 - k. Which is bigger: z or g?
z
Let c = -3.04 - -37.04. Let w = -34.34 + c. Is w less than -2?
False
Let h be (-27 + -3)/(-2) - 3. Let a = 48 - h. Suppose -4 - a = 8*i. Which is smaller: i or -3?
i
Let s be (819/(-546))/(6/(-2092)). Is s at most as big as 522?
False
Let n = -47.9652 - -48. Let y = n + 0.1652. Is 0.165 > y?
False
Let p = 244 + -188. Is 1472/27 less than or equal to p?
True
Suppose -4*z = -g - 3*z - 22, -46 = 3*g + 2*z. Suppose -18*r + 21*r - 9 = 0, 5*l + 4*r = 67. Let n be l/9 + g/81. Which is smaller: 1/9 or n?
1/9
Let u = -1184927/99 + 11969. Which is smaller: u or -3?
-3
Let r = 4.93 - -0.07. Let o(a) = -a**2 + 3*a + 40. Let g be o(8). Let q be g + 3 + -2 - -1. Which is bigger: q or r?
r
Suppose 9*m = 5*m - 5*z - 719, m + 2*z + 176 = 0. Let l be ((-1)/(-4) - 0)*(-45384)/m. Is 61 greater than or equal to l?
True
Let n = -0.03 + -0.1. Let b = 0.21 - n. Let k = 1.34 - b. Is 13 at least k?
True
Let y be (-6)/3 + (-5)/(-3). Let n be ((-15630)/(-380))/((-3)/(-126)*3). Let p = n + -576. Is p > y?
True
Let b = -2784012/821 + 3391. Let c = -1232/337431 - b. Which is greater: c or 1?
1
Let u = 360 + -360. Suppose -11*s + 313 - 82 = u. Is 148/7 at least s?
True
Let x be (2/(-3))/(22/(-6)). Let v = 1618 - 1614. Is x at most as big as v?
True
Suppose -3*i = -i - 124. Suppose -11384*c + 11891*c - 1014 = 0. Which is smaller: c or i?
c
Suppose 2*i - 20 = -6. Let s(a) = -a**3 + 15*a**2 - 18*a + 55. Let r be s(14). Let c be (r/(-1))/((4 - 7) + i). Which is greater: 0.018 or c?
c
Let w(k) = 830*k - 78. Let n be w(0). Which is smaller: n or -1349/17?
-1349/17
Suppose 4*r = 3*r - 1. Suppose -5*u + 231 = -4*k - 10*u, 2*k + 121 = 3*u. Let d be k/(-649) + 347/(-3575). Is r >= d?
False
Let m(b) = -59*b + 67. Let u be m(3). Let k = 138 + -140. Is k bigger than u?
True
Let y(a) be the third derivative of -23*a**4/24 + 115*a**3/6 + 3*a**2 + 10. Let o be y(12). Which is smaller: o or -162?
-162
Suppose -384 = 10*a - 104. Let h be 0 - 24/a - 1651/7. Is -235 equal to h?
True
Let h be 16/12*(-334)/84. Let w = -34/7 - h. Is w >= -0.07?
True
Let q = -2419 - -2419.115. Let f = 18.096 + -18. Let g = q - f. Which is bigger: 1 or g?
1
Let m = -228427.9 - -228428. Let p = 0.39 - -0.03. Let g = p + -18.42. Are m and g non-equal?
True
Let v = 13484 - 9963. Is 3519 greater than v?
False
Let k be (-34)/(-153) - (-25195)/63. Let l = k - 400. Are 0 and l unequal?
True
Let u = 196 - -200. Let s = u + -19803/50. Suppose 4*g + g = 0. Which is smaller: s or g?
s
Suppose -4*p + 19 - 43 = 0. Let v be -298*p/888 + -2. Which is smaller: v or 2?
v
Suppose -b = -2446 + 2640. Which is bigger: -192 or b?
-192
Let m = -281892 - -281893. Let v be 4/(-3)*(-15)/278. Which is bigger: v or m?
m
Let f(u) = -u**2 - 2*u - 2. Let t be f(-2). Let l be 5/(-1) + (-38)/4. Let w = 15 + l. Is w < t?
False
Let k = 35978 - 36069. Which is smaller: -56 or k?
k
Suppose 5*j = -0*j + 3*w - 8, j = w. Let s be ((-21 - -5)/j)/1. Let l = -7 - -5. Are s and l non-equal?
True
Suppose 3*b + 141 = -3*c, 2*c + 101 + 21 = 5*b. Suppose 141 = -3*x - 4*t, -4*x - 2078 = 5*t - 1889. Is c equal to x?
True
Let l = -13234.2 + 13234. Which is bigger: 4.6 or l?
4.6
Let o be (-286)/5148*81/(-6). Which is smaller: -597 or o?
-597
Let z = -380/3 - -113237/894. Let n = 24133/1490 - z. Is n less than 16?
False
Let h = 0.8 - -0.2. Let s = 125.295 - 0.295. Let w = -124.96 + s. Which is smaller: w or h?
w
Let t be 4/88*-4 + (-24)/(-11). Let k(i) = i**2 + 3*i - 9. Let p be k(t). Is p < -0.433?
False
Let n = 0.1 - 0.2. Let h(z) = -z**3 + 3*z**2 + 55*z - 110. Let j be h(3). Is j <= n?
False
Let m be 4645/25 + (-7)/(-35). Suppose -15*o = -13*o + m. Is -93 less than o?
False
Let c = -8/88051 + 32051612/11534681. Which is smaller: c or 3?
c
Let b = 1597/470 + 1/470. Let x = 18587 + -18585. Are b and x nonequal?
True
Suppose -5*k + 168 = k. Let