 -2/49?
-2/49
Suppose -5 = a - 11. Let o(c) = 5*c - 31. Let m be o(a). Is -1 at least m?
True
Let u be 26/(-8) + 2/8. Let y be 12/192*88 - 8. Are u and y non-equal?
True
Suppose 8*o + 0*o = -64*o. Which is smaller: o or 4/1433?
o
Suppose 2*v - 506 = -4*k, -2*v + 29 = k - 90. Let y = -111 + k. Let a(p) = -5*p - 1. Let m be a(-4). Is y >= m?
False
Suppose 0 = 4*t - g + 23 - 2, -3 = 2*t + g. Let n(z) = -z**2 + 8*z + 12. Let l be n(t). Is l bigger than -36?
False
Let n(s) = -s**3 - 11*s**2 - 11*s - 13. Suppose 4*z + 46 = -z - y, 8 = -2*z - 3*y. Let f be n(z). Which is bigger: -4 or f?
f
Let f be ((-15)/4041)/((-210)/252). Is f less than or equal to -0.4?
False
Let t = -3 - -5. Let x(y) = -2*y - 11. Let r be x(-4). Let a be (10/(-4) - r) + 0/1. Which is greater: a or t?
t
Let m(s) = 31*s - 188. Let f be m(5). Suppose 2*b = -4, b = -3*k - 3*b - 113. Which is greater: f or k?
f
Let i be (1 + 8/(-5))*5. Let y(t) = -t - 27. Let b be y(-12). Is i < b?
False
Let a be 4/1 - 130/32. Suppose s = 2*s - 3*s. Is s bigger than a?
True
Suppose 0*n = -i - 2*n + 14, 3*i + 4*n - 32 = 0. Suppose -20 = -4*x - i, 0 = -r + x - 7. Let q = -231 - -228. Is r greater than or equal to q?
True
Let w(n) = n**2 + 5*n + 7. Let s be w(-6). Let q be (-54)/189 - 2/(-7). Is s at least as big as q?
True
Let z = 0.1376 - 6.1376. Is z less than or equal to 19?
True
Let p be 2/((-6)/257 + 0). Suppose -3*u + 341 = 4*i + 2*u, 5*i = 5*u + 460. Let k = i + p. Is k != -2?
True
Suppose -2*n - 5*l + 28 = 0, n + 3 + 9 = 4*l. Suppose 1 + 2 = 3*x - n*u, -2*x + 2 = 3*u. Let z = 1215/4 + -303. Which is smaller: x or z?
z
Let v = 506 - 526. Which is smaller: v or -18?
v
Let d(c) = -c**2 + 9*c + 1. Suppose 4*j + j + 30 = 0. Let b = j - -15. Let g be d(b). Is g at most -3/25?
False
Let t = -388 - -578. Let d be 0 - (5 - 7) - t/94. Which is bigger: d or -1?
d
Let w(s) = -68*s**3 + 2*s**2 + 3*s + 1. Let u be w(-1). Let p be (-24)/108 + u/63. Is 2/7 >= p?
False
Let o be (1 - 1) + 4/10. Let v = -2.959 + -1.041. Is o greater than v?
True
Let o be (0 - 5)*(-16)/(-10). Let l = o + 12. Suppose -3*h - 1 = -l*r - 4*h, 2*h - 6 = -4*r. Which is bigger: -2/69 or r?
-2/69
Let w be 48/36 - 7/(35/6). Is w at most -3?
False
Let d be (-2 - 42/(-9))*441/(-28). Does -2 = d?
False
Suppose q - 160 = -151. Let v(p) = -p**3 - 2*p - 3. Let b be v(-2). Is b > q?
False
Let q = -883 + 1041. Which is smaller: q or 1114/7?
q
Let f = -135103/69 - -1958. Is f >= 1?
False
Suppose -26 - 40 = -3*d. Let p = 0.157 - 0.337. Let o = 0.08 + p. Is d greater than or equal to o?
True
Let d be 3 - (3 + -6 + 12). Let o be (2 + 0)*9/d. Let c be 3 + (o - (4 - 6)). Which is smaller: c or 7?
c
Let n be (2/(-1) + 2/1)/(-1). Suppose n = -z + 4. Let l = -57/2 - -29. Which is greater: l or z?
z
Suppose m + 5*s = 12, 88 = 5*m + 7*s - 10*s. Is 14 at least m?
False
Suppose -x + 6 = -j - 0*x, -j - 5*x + 24 = 0. Is 2/245 greater than or equal to j?
True
Let l be ((-3)/(-4))/((-3)/(-16)). Let x be (l - 1) + 1875/(-714). Let g = x + -3/34. Is 1 greater than g?
True
Let p = 160 + -400. Is -1206/5 bigger than p?
False
Let x = 278 - 285. Is x at least 3/7?
False
Let f = 517.9 + -387.06. Let g = 133 - f. Let y = -0.16 + g. Which is smaller: y or -2?
-2
Let r = 424.001 - 424. Is r smaller than -0.3?
False
Let i = 6 + -7. Let y be (-116)/114 + 1 + 0. Let s = -6/19 + y. Which is bigger: i or s?
s
Let n be (16/(-40))/((-5)/(-1200)). Which is bigger: -95 or n?
-95
Let a = 408.7 - 426.67. Let h = a - 1.03. Which is smaller: 2 or h?
h
Let n be ((0 - 0) + -1)*-138. Let d be (4/n)/(4/12). Suppose r - 2*w = -1, 4*r - 3*r = -2*w + 3. Is d bigger than r?
False
Let v = -216 + 221. Which is bigger: v or 22/5?
v
Let d be 20/3*(-63)/(-42) - -2. Let f be ((-11)/(-33))/((-5)/(-198)). Which is bigger: d or f?
f
Let y = -215 + 191. Let i = 3 + -2. Which is smaller: y or i?
y
Let w = 26 + -9. Suppose 0 = 4*b + 1 - w. Suppose -4 - 8 = -b*g. Is g >= 4?
False
Let m = 17.3 + -0.3. Let w = m - 13. Let g = 43 - 171/4. Is w >= g?
True
Suppose -4*t + 5*y + 6 = 0, 4*t - 5*y - 13 = 7*t. Which is greater: t or -2/77?
-2/77
Let b be (3/(-4))/(2/4)*-144. Suppose 3*x = 2 - 11. Let f be x/2 - b/(-112). Which is smaller: 0.2 or f?
0.2
Let w be (-8)/(-16) + 709/(-74). Let n = w + 9. Is n at least as big as 1?
False
Let x(g) = 4*g - 81. Let s be x(-19). Is -155 equal to s?
False
Let m(x) = -x**2 - x - 3. Let r be m(-4). Let h be ((-9)/(-10))/((-72)/r). Suppose 9 = 5*z + 2*c + 12, 0 = -c - 4. Which is bigger: h or z?
z
Let t(a) be the second derivative of -a**5/20 - a**4 + 3*a**3 + 5*a**2/2 - 29*a. Let k be t(-13). Which is greater: -62 or k?
k
Let t = -110 + 10. Let o be t/(-45) - (-2)/(-9). Does o = 1?
False
Let n = 1 - 0. Let d be (-1 - 0)*3 - 18. Let f be (d/(-14))/((-2)/4). Is f at least as big as n?
False
Let x = -173.86 + -0.14. Let h = x - -175.89. Let r = h - 1.9. Which is smaller: r or 0.1?
r
Let h be (1 - -73)*(1 - 0). Let x = h + -887/12. Let m be (2 + -2)*2/4. Is x bigger than m?
True
Suppose 10*x - 30 = -40. Are 1/588 and x nonequal?
True
Suppose 5*s - 2 = -2*g, 3*g + 3 - 6 = 2*s. Which is bigger: -3/37 or g?
g
Let o(t) = t**3 - t**2 - 1. Let p be o(2). Suppose p*m - 27 = 6*m. Which is smaller: -8 or m?
m
Let i = 2 - 7. Let l be 1/(((-10)/(-36))/i). Let x be (-27)/l - (-34)/(-28). Is -0.1 less than or equal to x?
True
Suppose -17*t + 24*t = 0. Suppose 2*b - 9 + 15 = t. Which is greater: -19/7 or b?
-19/7
Let n be (-13)/(-5) - 4/(-10). Let h(f) = -f - 5. Let v be h(n). Is -2 at least v?
True
Let p = -66 + 20. Suppose -2*c + 2*d - 119 = -39, 0 = -4*d - 20. Is c at least as big as p?
True
Let o = -0.95 - -0.35. Let x = -0.106 - -0.026. Which is bigger: x or o?
x
Let r(t) = -t**2 + 5*t - 7. Let b be r(5). Let z be b/(14/4 - 3). Let n = -14 - z. Which is greater: -1/4 or n?
n
Suppose 5*n - 153 = 4*i + 8*n, -5*i - 3*n - 195 = 0. Let d be (1 - 7/(i/(-9)))*-8. Which is smaller: 0 or d?
0
Let y be (-4)/(-16) + 4/(320/172). Which is greater: 1 or y?
y
Suppose 0 = -4*l - 1 - 31. Let g(d) = d - 7. Let m be g(l). Let b = -15 - m. Which is smaller: 2 or b?
b
Suppose 47 = -4*w + 5*u, 5*u - 3 - 28 = 2*w. Let q be 295/(-20) + 2/w. Is q >= -12?
False
Let w be (-2)/(-1) - (-9 + 14)/5. Let g = 2/11 + -4/11. Do g and w have different values?
True
Let z(r) = 3*r**2 + r + 13. Let l be z(4). Does 66 = l?
False
Let p be 1 + -1*(-1)/(-4)*0. Suppose -4*y = 5*r - 20, 5*r - 25 = -5*y + r. Let q be ((-2)/22)/(y/(-90)). Is q bigger than p?
True
Let x(d) = d - 5. Let b be x(5). Is -0.71 smaller than b?
True
Let u = -989 - -523. Let h = 2321/5 + u. Which is smaller: h or -2?
-2
Suppose -7 - 13 = 4*p + 4*w, 18 = -2*p - 4*w. Which is smaller: p or 2/59?
p
Let k be -3 - 7/((-21)/26). Let t(n) = n**2 + 9*n - 16. Let y be t(-11). Which is smaller: y or k?
k
Let x be 27753/54984 - 2/4. Are x and 1 equal?
False
Suppose 13*r + 70 = -5*q + 11*r, 2*r = -3*q - 42. Let m = -24 - -9. Which is smaller: q or m?
m
Let z = 5.3 + -2.3. Let i = 13.5 - 14.6. Which is smaller: z or i?
i
Let m be (-34)/4 + (-4)/(-8). Let p be (-10)/5 + (-22)/m. Which is smaller: p or 0?
0
Suppose 3*j + 21 = 3*s, 6*s - 3*s - 5*j = 29. Suppose -v + s*z = -6 - 16, 4*z + 66 = 5*v. Suppose 7*y - 18 = v*y. Is -7 at least as big as y?
False
Let u be (2/(-824))/(22/8 + -1). Which is bigger: u or 1?
1
Let k be 917/12 + 3/(-4). Let c = -75 + k. Is c smaller than 0.6?
False
Suppose 0 = -15*b - 0*b - 1275. Which is smaller: b or -88?
-88
Suppose 42*v - 55*v = -13. Let b be (164/10)/(1/(-5)). Let p be 4/10 + b/180. Which is greater: v or p?
v
Suppose 5*a + 26 = -c, 4*c - 18 = 4*a - 2. Let k = 80629/4 + -20157. Is c < k?
True
Let f be -34*1/(-4)*-10. Is -86 bigger than f?
False
Let b = 2 + -1. Let n be ((-18)/21)/((-6)/((-294)/(-77))). Which is smaller: b or n?
n
Let q = -1235 + 1000. Which is smaller: q or 2/9?
q
Suppose 5*p - 135 = -5*b, -39 = -7*b + 6*b + 2*p. Which is greater: b or 9?
b
Let p(z) = -2*z**2 - 24*z + 27. Let g be p(-13). Let l(i) = 15*i - 8. Let u be l(g). Does 7 = u?
True
Let w = 45089676 + -3922745869/87. Let p = w - 643. Does p = 0.1?
False
Suppose -36 = 2274*f - 2270*f. Which is smaller: f or -10?
-10
Let n be 3*(-3)/3 + 0. Is n bigger than 6?
False
Suppose l + 3 - 6 = -2*v, -2*v + 8 = 2*l. Is 1/109 <= v?
False
Let n = 2/35941 + -2084596/323469. 