Is 45/7 smaller than b?
False
Let w(j) = -j + 2. Let d be w(4). Let y be d + 2/(-4)*10. Let h(m) = m**3 + 7*m**2 + 1. Let l be h(y). Which is smaller: l or -3/7?
-3/7
Let x be -1 - 4/(-64)*-8*0. Which is bigger: 2/535 or x?
2/535
Suppose 28*x - 11*x = 5304. Is 311 <= x?
True
Let q(s) = 2*s + 15. Let z be q(-12). Do z and 6 have the same value?
False
Suppose 0 = -4658*w + 4666*w - 7984. Is w smaller than 999?
True
Let h be 18/(-5)*(-195)/117. Which is smaller: 9 or h?
h
Let a(w) be the second derivative of w**4/12 + w**3 + w**2/2 + 4*w. Let m be a(-7). Let g = m - 11. Do -3 and g have different values?
False
Let u = -0.676 + 0.576. Which is greater: u or 552?
552
Let i(p) = -10*p. Let l be i(-1). Suppose 0*d = l*d + 40. Is -9 at most as big as d?
True
Let j = -1 - -1.7. Let d = 0.5 + j. Let t be ((-124)/(-44) - 4/(-22)) + -2. Are t and d equal?
False
Let u = -27 - -33. Suppose 0 = -2*z + u - 8. Let k be (2/(-14))/(1 - 0). Which is greater: z or k?
k
Let y(a) = a**3 + 3*a**2 + 3*a + 4. Let w be y(-3). Let j(t) = t**2 + 5*t - 7. Let i be j(w). Which is smaller: i or -10?
-10
Let q be 14/(-72) + 2/(-9). Let j = 50069 + -3004043/60. Let s = j + q. Is s > 0?
True
Let g(n) = 5*n - 4*n + 0*n**2 - 3 - 6*n + n**2. Let a be g(3). Which is greater: a or -12?
a
Let s = 0 + -12. Let l = 9 + s. Let o be -1*(l + 2 - -3). Which is greater: -5/6 or o?
-5/6
Let c be 12397/245 + 2/10*-3. Which is smaller: 52 or c?
c
Let x = 0 + 0.08. Suppose 5*h - 3*d + 351 = 0, -2*h = 5*d - 46 + 205. Let g be (-18)/h - (-26)/(-40). Which is smaller: x or g?
g
Let u(f) = f**2 + 10*f + 24. Let t be u(-6). Which is smaller: 1/2888 or t?
t
Let v = -1271.7 + 1176. Is v smaller than 2/5?
True
Let j = -0.106 - 0.024. Let t = j + 0.03. Which is smaller: 93 or t?
t
Let n(f) = 2*f**2 + 3*f + 2. Let i be n(-2). Suppose 2*j - i*d = 0, -8 = 5*j - 2*j + 2*d. Let v = -1189 - -10687/9. Is v at most as big as j?
False
Let f = -0.021 - -0.071. Let b = -14.95 - f. Which is bigger: -1/3 or b?
-1/3
Let n(w) = -2*w**3 - 2*w**2 + w - 3. Let i be n(2). Let c be (10/i)/(2/10). Which is greater: c or 2?
2
Let v = 11 + -9. Suppose 3*n - v*n + 10 = 3*z, -5*n + z = -20. Suppose 2 = -3*t + n. Which is smaller: -2/19 or t?
-2/19
Suppose -s = 4*s + 5*i, 4*i = -3*s. Are s and 5/218 unequal?
True
Let j(o) = o**2 - 6*o. Let q be j(-6). Suppose 3*i - q = -12. Let k be i/(-8)*(-2)/(-4). Which is smaller: -1 or k?
k
Let d = 3353/858 + -51/13. Let t = d - 257/462. Let o = 14541 - 14543. Is t at most o?
False
Let i = 17 - 12. Suppose -i*j = -6*j. Let w(l) = l + 8. Let t be w(j). Is t less than or equal to 7?
False
Let c = -1186 - -924. Is c != -260?
True
Let j(u) = 1129*u + 1. Let s be j(2). Let z = s - 42933/19. Is z less than or equal to -2?
False
Suppose 8 = i + 3*i. Suppose 3*j + 3*k = i*k - 14, -12 = 2*j + 2*k. Let a be 29/(-12) + (-3)/j. Are 1 and a non-equal?
True
Let f be (-122)/22 - (-126)/231. Are 66 and f equal?
False
Suppose b = -4 + 6. Suppose 0 = -4*r - 13 + 5. Let c be (-21)/15 + -3*r/15. Which is greater: b or c?
b
Let b = 20.7 + -1.7. Let x = 18.1 - b. Let v = 0.1 - x. Is v at most as big as 2/7?
False
Let y be 26/2 + 48/(-12). Suppose 0 = -2*v + 3*r - 16, -v - 2*r + 4*r - y = 0. Is -7 < v?
True
Suppose 0 = t + 9*t - 390. Let y = t - 42. Which is greater: -4 or y?
y
Let t = -700 - -700.68. Which is bigger: -4 or t?
t
Let s(m) = m**3 + 12*m**2 + m + 7. Let x be s(-12). Let o be (-1)/(-2 + x/(-3)). Suppose -w = -0*w + h - 3, o*w = -5*h + 13. Is w equal to 1?
True
Let s(u) = u**2 - 6*u + 3. Let l be s(5). Let j be (-14)/12 - (-3 - l). Suppose -g = -4*p + 5, p = -2*g - p. Is j < g?
False
Let i = 893/3757 + -2/289. Suppose 0 = 5*c - 27 + 2. Suppose g + x = 0, 3*x = c*g + 4*x + 4. Which is bigger: i or g?
i
Let q be (5/3 - 0) + 2/6. Which is greater: q or 3/5?
q
Let c be (-38)/(32/(-36) + 1). Let b be (-3)/(-4)*(-19)/c. Is 0 smaller than b?
True
Let m = -389.2 - -387. Which is bigger: m or -10?
m
Let j = -4758 - -19355/4. Let a = j - 81. Are 5/8 and a equal?
False
Let y = -7 - -9. Let b = -5 + y. Let l be (3 - 3)/(-2) - 3/48. Which is bigger: l or b?
l
Let l = 288 + -60. Is 229 equal to l?
False
Let j be (-18)/30*(-5)/2 - 1. Are 1.44 and j unequal?
True
Let k = -55.1 + 55. Which is smaller: k or 162/7?
k
Let z(y) = -6*y + 113. Let v be z(19). Let a = 361/5 - 72. Is a > v?
True
Suppose 23*i - 86 = -17. Which is bigger: i or 2?
i
Let o be (-427)/(-14)*(-4)/2. Is -61 >= o?
True
Let w be 4/12 - 7/3. Let i be 6/((-6)/w) + -3. Let r = -1.1 - -1.2. Which is greater: i or r?
r
Suppose f + 0*x = -2*x + 26, 5*f = -2*x + 98. Let i be f/(-22) - -1 - (-256)/(-1892). Let o = -4 + 4. Which is smaller: o or i?
o
Let y = -251 + 269. Is 18 at least as big as y?
True
Suppose 168 = 17*o - 223. Let v be (-13 - -14) + o/(-5) + 4. Let i = 1.1 - 0.4. Does i = v?
False
Suppose 7*x - 4*x - 12 = 0. Suppose -3*n + 6 = -n - t, 4*t + 16 = x*n. Suppose -3 = n*g - 5*g. Is -1/11 at least as big as g?
False
Let m = -11 - -17. Let u be (-18)/15*(56/(-18) - -2). Are u and m equal?
False
Let s be 194/644 - 8/92. Which is smaller: s or -0.3?
-0.3
Suppose 5*n - 3 = 8*n. Which is smaller: -1/77 or n?
n
Let f be (2/(-1))/((-1)/(-13)). Let i = f + 43. Which is smaller: 16 or i?
16
Let t(b) = -b**3 + b**2 - b + 2. Let f be t(0). Let o be (2/4)/(f/(-8)). Let g be 1/12*-1*o. Which is smaller: -1/4 or g?
-1/4
Suppose 1851 = -j + 1856. Let m be (-1)/(-3)*(33 + 0). Is j >= m?
False
Let g = 23 + -48. Let f = g - -27. Let v be 2/(-6)*18/(-7). Which is smaller: v or f?
v
Suppose -152*g + 216 = -155*g. Which is smaller: g or -71?
g
Let c be (-27)/(-12) - 2/8. Let y be (1/c)/(-2 + 0). Let z = 2681 - 2684. Is y greater than z?
True
Let m = 36.912 + 0.088. Let l = m - 35. Let t = 4 + -4.4. Which is smaller: l or t?
t
Suppose -6*h + 63 = -873. Is 155 < h?
True
Let m(b) = -b**3 + 12*b**2 - 13*b - 18. Let h be m(11). Let q be 24/h*10/(-2). Which is smaller: 0.03 or q?
0.03
Let c(n) = 2*n**2 + 11*n - 12. Let f be c(-6). Let y be -5 + 296/(-348)*f. Let l be (2/6)/(2/6). Which is smaller: l or y?
y
Let k = -136/67 + 72145/35443. Which is bigger: 1 or k?
1
Let v be -5 + 8 - (-2470)/(-6). Let t(m) = -34*m + 28. Let g be t(-11). Let k = v + g. Is k at most -7?
False
Let f = 2364 - 1673. Which is smaller: -0.2 or f?
-0.2
Let z be (-2 - -7)/(-5)*6. Let r be z - -66 - (6 + -1). Is r less than or equal to -0.1?
False
Suppose u + 4*u = -5*h - 20, 0 = -5*h - 3*u - 28. Let r be 38/4 - (-11)/22. Let j be r/50 - 46/5. Which is smaller: j or h?
j
Let s = 17642/273 + -452/7. Which is bigger: s or 1?
1
Suppose -5*l = 4*k - 3, -5*k - 50 + 63 = -3*l. Which is bigger: -2/879 or l?
-2/879
Suppose 2*g - 456 = -4*o, 8*o + 5*g = 3*o + 565. Suppose 5*q + o = 4*b + b, b - 4*q - 32 = 0. Let s be 6/4*b/(-45). Do s and -0.7 have the same value?
False
Let r = -0.51 + -1.59. Let h = r + 5.1. Is -0.5 greater than h?
False
Let k(h) = 63*h**3 - h**2 - h - 1. Let v be k(-2). Let y = v - -847. Let a be 1/(-4) - (-357)/y. Which is bigger: 2/7 or a?
a
Suppose 0 = 5*o + 3*y + 5, -7 + 5 = 2*o - y. Is 9/139 >= o?
True
Let w = 7326512/247 + -29662. Let l = 3 - 2. Do l and w have the same value?
False
Let m(p) = 2*p - 6. Let z be m(10). Let w = z - 6. Suppose -6 = 5*g + r, g - w = 6*g + 3*r. Which is greater: g or 3?
3
Let f(z) = z**3 - z**2 - 2*z. Let j be f(2). Suppose 2*y - 1 = 15. Let x be 31/(-9) + y + -4. Is j greater than x?
False
Let n = -5.268 - -0.308. Let b = 5 + n. Let g = -40 + 42. Which is bigger: b or g?
g
Let q be 3/(-3) - 0 - -64. Suppose -5*i - t = t - 51, -5*i + 4*t = -q. Let b be (-1)/(12/(-118)) - 9/(-54). Are b and i equal?
False
Let w = 1.04 + -0.04. Let b(r) = -r**2 + r + 6. Let n be b(-5). Let o = -47/2 - n. Is w at most as big as o?
False
Suppose 0 = -4*w - 3 - 5. Suppose 0 = -4*h - 6 - 10, 2*p - 3*h = 8. Is w greater than or equal to p?
True
Let u(w) = 33*w + 24. Let m(f) = -1 + 8*f + 8 + 2 - 3. Let q(g) = -21*m(g) + 5*u(g). Let x be q(-3). Does 4 = x?
False
Let f(r) = -r**3 + 8*r**2 + 18. Let p be f(8). Are p and 14 equal?
False
Let o = -9.547 + 0.572. Let m = o - 0.025. Which is smaller: m or 2/9?
m
Suppose -16 = 2*i + 2*a + 52, 4*a = i + 24. Let j = 8748 + -8782. Which is greater: i or j?
i
Suppose -80 = 2*i + 3*a, 5*i - 4*a + 193 = -8*a. Let v = -32 - i. Suppose 4*j + v =