f be 1 + 1/(-4) + (-2)/(-8). Which is bigger: 3/32 or f?
f
Suppose -3*y = 4*p + 7, 5*y + 3*p + 4 + 4 = 0. Is y < 2/27?
True
Let g(j) = 8*j**2 - 1. Let f be g(1). Let p be (12/10)/(12/80). Let s = p - f. Which is bigger: -3 or s?
s
Let j = -0.9 + -7.1. Let i = -1 - j. Which is smaller: i or -2/7?
-2/7
Let v(b) = -4*b - 8. Let f be v(-8). Let w = 14 - f. Let g be 30/9*12/w. Are g and -4 equal?
True
Suppose -h = 11 - 37. Are h and 25 nonequal?
True
Suppose 0 = -3*z - 2*k, 4*z + k = 2*k. Let a = -5 - -23/5. Which is smaller: z or a?
a
Suppose 0 = -4*x - 7 + 3. Let c be 6/(-68)*(-15848)/3. Let r = 466 - c. Is r at most as big as x?
False
Let s = 75611/33 + -2291. Let r = s - 2/99. Which is bigger: 0 or r?
r
Let g = 115 + -807/7. Is 1 at least g?
True
Suppose 1 + 5 = 2*z. Suppose -l + v - z*v - 9 = 0, 4*l + 3*v = -26. Which is greater: l or -4?
-4
Let l = -12.5 + 12. Let m = l - -0.7. Is m less than -3/7?
False
Let y = -105 - -67. Which is smaller: y or -37?
y
Suppose 11*i = 13*i - 46. Are i and 23 unequal?
False
Let v be (2 - 2)*(-1 - -2). Let g = v + 3. Which is smaller: 5 or g?
g
Suppose 3*v - 2*d = 3*d - 15, v = -2*d + 6. Do v and -2 have the same value?
False
Let k = -1415/13 + 109. Is k < -16?
False
Let t be 1/3*(-4)/(-6). Let g(f) = f - 14. Let m(o) = 10*o - 5. Let v be m(2). Let u be g(v). Which is bigger: t or u?
u
Let p(s) = -s**2 - 4*s + 3. Let h be p(-4). Suppose 0*n = -h*n. Let r be 4/(-6)*(-2)/(-4). Is r <= n?
True
Let m = 7 - 2. Let q = -4 + m. Let j be q + (19/17 - 2). Is j at most -1?
False
Let h be 4/(-6) - (-202)/294. Let o = h - 53/196. Suppose 3 = -4*c - 1. Is o < c?
False
Let v be 1/3*(-18)/(-39). Let g = -3 - -4. Suppose -2 = 3*z + g. Is v bigger than z?
True
Let w(k) be the third derivative of k**4/24 + 4*k**3/3 + 3*k**2. Let n be w(-8). Which is smaller: 2 or n?
n
Let t be (4/(-6))/((-2)/3). Suppose 2*l - 30 - 4 = 0. Let y be (6/(-15))/(l/5). Is y not equal to t?
True
Let c = -4.9 + 5. Let i = -2 + 1.9. Let y = -0.2 + i. Which is greater: c or y?
c
Let l(o) = o**2 - 2. Let x be l(-2). Suppose -x*j - 2 = -3*j. Let z be j/(-6) + (-85)/(-30). Is z <= 3?
True
Let k(c) = -c**2 - 9*c - 3. Let r be k(-7). Let s = r - 29. Let m be 4/s - 4/(-9). Is 1 smaller than m?
False
Let b = -6931/35 + 198. Which is smaller: b or 1?
b
Let u be (-2)/(-24)*(-24)/9. Let h be 7 - 2 - (5 - 1). Which is smaller: h or u?
u
Suppose -5 = 2*y + 4*d + 3, 25 = 5*d. Let r be 4/10 + y/(-15). Let k = -1.025 - -0.025. Which is bigger: r or k?
r
Let s = -0.01 + 0.02. Let i = -0.08 - s. Which is bigger: i or -1?
i
Let g be 3 + 3/6*-8. Let f = 2 - 2.04. Is g less than f?
True
Let u(d) = d**2 + 4*d - 4. Let r be u(-5). Let a be -1 + 3 - (-4)/4. Suppose 0 = -4*q + a*q. Which is bigger: q or r?
r
Let s = -13/4 - -3. Which is bigger: 20 or s?
20
Let d = 21 + -22. Is d greater than -14/15?
False
Let a = 24 + -24. Do -0.08 and a have the same value?
False
Suppose 4 = -2*j + 4*j. Suppose -10 = 5*y, -2*y = -3*b + 3*y + 22. Let d = b - j. Which is greater: 3 or d?
3
Let v = -6.97 - -7. Let z = 5.97 + v. Let x = z + -4. Are x and 0.1 nonequal?
True
Let n(j) = j**2 - 10*j + 5. Let u be n(7). Let b(d) = d**3 - 6*d**2 + d + 4. Let v be b(5). Let x be (4/u)/(10/v). Which is smaller: x or -1?
-1
Suppose -3*t + m = -108, 0*t + 184 = 5*t - 3*m. Are 35 and t equal?
True
Let l be 4/(-14) + 440/70. Is l <= 4?
False
Let z = -3/854 + 1885/50386. Is 1 < z?
False
Let q be (-4)/6 - (-165)/45. Suppose q*v = 7*v - 4. Which is greater: -1 or v?
v
Let l = 261 + -19051/73. Which is smaller: -1 or l?
-1
Let l = -38/5 + 36/5. Do l and 1 have different values?
True
Let t be 2/(-36)*(0 + 4). Let q(g) = -3*g**2 + 4*g + 2. Let b be q(2). Which is smaller: t or b?
b
Suppose 3 = -b, -3*y + 3*b = -y - 25. Let i(f) = 2*f - 10. Let x(k) = 5*k - 29. Let r(t) = y*i(t) - 3*x(t). Let q be r(-5). Is q > 1?
True
Let n(o) = o**3 + 4*o**2 - 4*o. Let i be n(-5). Let p be (i/10)/((-1)/(-6)). Is p greater than -9/4?
False
Let n = 0.02 - 3.02. Let l = n - -8. Let g = l - 5. Which is greater: g or -2?
g
Let c = 113 + -112. Is 9/5 greater than c?
True
Let t be 3/(-9) + (-32)/(-6). Suppose -c + 6*c - 6 = 4*g, 22 = -t*g - c. Does -2 = g?
False
Suppose -r - 2 = 5*n, -n + 2 = 4*n - r. Let h = 0 - n. Which is bigger: h or -0.3?
h
Suppose -g + 6*g = -60. Let z = g + 10. Which is smaller: z or 2?
z
Let n(w) = w**3 + 5*w**2 - 5*w + 1. Let b be n(-6). Let g(p) = p**2 + 4*p - 3. Let j be g(b). Let a be 0*(j/(-4))/(-1). Is -2/3 > a?
False
Let d be 10/(-35) - (-58)/154. Which is smaller: d or -1?
-1
Let b be (-2 + 12/8)/(2/(-4)). Is 4 less than b?
False
Let p = -3/328 + -90513/1640. Let h = -55 - p. Is 1 greater than h?
True
Suppose b + 2*b = 0. Suppose b = -r - 2*r + 3*g + 9, g = -2*r. Is 2/9 > r?
False
Let v(w) = -2*w**3 - 3*w**2 - 7*w + 2. Let n be v(-4). Is 111 greater than n?
True
Let s = -7 + 11. Does -1 = s?
False
Let z(u) = 2*u**3 + 14*u - u**3 + 9 + 3*u**2 - 5*u + 4*u**2. Let r be z(-6). Is -8 > r?
True
Let j be (-2)/(-8) - (-5)/(-100). Suppose -5*a - 15 = -3*i, 3*a + 4*i - 6 = 14. Suppose y + a = -1. Is y != j?
True
Let b = 0.1 + 0. Let v = -7.6 - -0.6. Which is bigger: v or b?
b
Let i = 13 - 18. Let u = i - -5.4. Is u at most as big as 2/5?
True
Let q be 48/265 - ((-42)/(-10) + -4). Is 0 greater than or equal to q?
True
Let w = 11 + -5. Let o = 5.7 - w. Is -0.2 bigger than o?
True
Let y = 3.7 + 0.6. Let k = y - 4. Let s = k + -0.2. Are 3 and s non-equal?
True
Let i = 162 + -111. Which is bigger: i or 50?
i
Let a(c) = -2*c - 2. Let f be a(-3). Suppose -f*d = -d. Suppose 1 = -2*h + 3*h. Which is bigger: d or h?
h
Let f = -35 + 49. Let x = 13.9 - f. Is x less than 0.07?
True
Let c be (-4 - (-2)/2) + 44/15. Which is smaller: c or 1?
c
Let d(y) = y**2 + 1. Let a be d(0). Suppose 3*u + 1 = -4*q - 0, 4*u - 2*q = 28. Let t be 10/(-25)*u/(-4). Is t != a?
True
Let b(v) = 2*v - 24. Let w be b(12). Let j = 17/10 + -21/10. Which is greater: j or w?
w
Suppose -t = 2*t + 12. Let r = -6 - t. Let d be ((-5)/(-2))/(-5) + r. Is -2 at least d?
True
Let d be (2/35)/((-1)/5). Let g = -7 + 10. Let c = g + -7. Which is smaller: d or c?
c
Let b = -40 - 2. Let q be b/16 - 0 - -3. Are 1 and q non-equal?
True
Let a(q) = -15*q - 17. Let s(w) = -7*w - 9. Let z(x) = 6*a(x) - 11*s(x). Let h be z(-2). Suppose r + 3 = 2*u, 0 = -4*u - 5*r - 6 - h. Is 0 less than u?
False
Let x be 2/(-3 - -5)*(-4)/42. Are 0 and x unequal?
True
Let y be 30/5 + 3*-1. Which is greater: 0 or y?
y
Let g = -320/99 - -38/11. Let l = 0.29 + -6.19. Let c = l + 6. Which is smaller: c or g?
c
Let p = 9 + 2. Let b = -15 + p. Let r = b + 7. Is 1 != r?
True
Let r be (-9)/4 + 7/(-4) + 2. Which is bigger: r or -16/9?
-16/9
Suppose 0 = -4*l + 2*i + 90, 2*i = -l - 2*i + 9. Is 2/5 greater than or equal to l?
False
Let z = -2183/115 - -104993/5405. Let l = 2/47 - z. Let w = 2 - 1.8. Which is smaller: l or w?
l
Suppose -7 = 4*l - 19. Suppose 3*z - 13 = -q, q - l*z + z + 7 = 0. Which is greater: q or 2/9?
q
Let a = -26 - -45. Suppose 4*g = a + 9. Is 7 less than g?
False
Let u = -2 + 5. Let j = -0.01 - -0.21. Which is smaller: j or u?
j
Let g be (-16)/(-6) - 3/(-9). Suppose g*c = -y + 16, 2*y - 11 = -3*c + 9. Let x = -6 + 7. Which is smaller: x or c?
x
Let d be ((-24)/36)/(28/18). Let v = 2 + -3. Let s = v - 0. Is d at most as big as s?
False
Let b = 21.2 - 28. Let u = b + 7. Which is bigger: 0.1 or u?
u
Let t be -1216*((-106)/(-56) + -2). Let q = -130 + t. Which is smaller: q or -1?
-1
Let o = 382 + -1199/3. Which is smaller: o or -18?
-18
Let u be -6 + 3 - -1*10. Let n = 10 - u. Which is greater: 3/4 or n?
n
Suppose 2*s - 12 = 4*x + 6*s, -13 = -x + 3*s. Suppose -6*y + y + 2*a = -20, -a = -3*y + 11. Is x <= y?
True
Let q = -8.7 + -1.3. Let l = q - -20. Do l and 2/5 have different values?
True
Let q be 58/18 - 2/9. Are q and 4 nonequal?
True
Let g = 1.36 - 0.36. Which is smaller: g or -65?
-65
Let r = -46 - -142/3. Let u(x) = -2*x**3 - 2*x**2 - x. Let l be u(-1). Which is smaller: l or r?
l
Let f(o) = -6*o + 1. Let p be f(1). Let s = p + 8. Let c be 1/(-3) + 4/s. Is c >= 3/4?
True
Let u(x) = 8*x**3 - 10*x + 5. Let q(j) = 7*j**3 - 9*j + 4. Let l(i) = -7*q(i) + 6*u(i). Let v be l(-2). Suppose t - v = 1. Which is smaller: 4 or t?
4
Let x(p) = 8*p - 83. Let u be x(14). Does 25 = u?
False
Supp