e
Let v(a) = a**2 + 5*a + 4. Let d be v(-4). Let i be ((-10)/(-5))/((-14)/2). Which is greater: d or i?
d
Let g = 0.128 - 94.128. Is g bigger than -0.1?
False
Suppose -f = 3*f. Which is smaller: 1/4 or f?
f
Let j be 14/120 - 4/24. Which is bigger: 1 or j?
1
Let v = -13/25 - 2/25. Which is bigger: -2 or v?
v
Suppose 0 = 2*s - 5*s + 2*y + 65, 79 = 3*s + 5*y. Which is greater: 21 or s?
s
Suppose 6*t - 2*t = 0. Suppose t = -0*r - 2*r - 8. Which is smaller: r or -2?
r
Let s = 19.25 - 19.2. Which is smaller: -12 or s?
-12
Let z be (-3)/2 + 6/12. Let q = z + 0. Is q < 1/6?
True
Let y = -6.91 + 7. Let x = 0.09 - y. Which is smaller: x or 1?
x
Suppose 2*r + 3*k + 7 = 6*k, 1 = -k. Let j be (-27)/6*(16/6 + -2). Are r and j unequal?
True
Let d be (1/(-3))/((-2)/99). Is d less than 17?
True
Let h = -0.3 + 0.3. Let w = h - 0.1. Suppose -4*j = 2*n - 3*n + 3, 5*j = n - 4. Which is bigger: w or j?
w
Suppose -l = -3*p + 10 + 4, -4*l - 8 = 4*p. Is p at most as big as 3?
True
Let z be 5/110*12/3. Let b = 5/6 + -7/12. Which is smaller: z or b?
z
Let d = -6 + 6. Let y = 408 - 3676/9. Which is smaller: d or y?
y
Let k = -3 - -11. Is k < -0.2?
False
Let t = 29 + -13. Are 16 and t nonequal?
False
Let h = -122/117 + 15/13. Suppose -5*c = -0*c - 10. Which is greater: h or c?
c
Let a be 3/(2 + 3/(-6)). Let v be 2/(a + 0)*4. Suppose 32 = -4*i - v*j, -2*j + 0*j = -2*i. Which is greater: i or -3?
-3
Suppose 13 = -5*u + 4*r, -3*r = 4*u - 1 - 1. Let v be ((-234)/(-76) + -3)/((-9)/(-12)). Which is smaller: u or v?
u
Let x = 46.06 + -47. Let l = 0.06 - x. Let y = -2 + l. Are y and -0.2 unequal?
True
Let c be ((-5)/3)/((-2)/6). Suppose -l + 3*x = 6*x - 11, 0 = c*l - 4*x - 36. Suppose -l = 3*n - 2. Is -1 bigger than n?
True
Let b = -0.9 + 0.97. Is 1 < b?
False
Let i(t) = -t**3 - 8*t**2 + 8*t + 13. Let a be i(-9). Suppose r + 2*r = -2*q - a, 4 = -2*q. Is -4 greater than r?
True
Suppose m - 26 = -5*v, -2*v + 12 - 1 = m. Suppose -4*h - 58 - 82 = 5*n, -v*h + 4*n - 134 = 0. Let x be (-1)/((h/4)/(-3)). Which is greater: x or 0?
0
Let k be (-14)/6*(-6)/10 - 1. Is k at least 0.19?
True
Let b(z) = 7*z**2 + 5*z + 13. Let c(a) = 2*a**2 + a + 3. Let u(i) = 2*b(i) - 9*c(i). Let x = 3 + -2. Let q be u(x). Is -5 at most as big as q?
True
Suppose -56*z + 57*z = 0. Which is smaller: 18 or z?
z
Let w = 10 - 11. Which is smaller: 2/57 or w?
w
Let c be 6/4*(3 - (-2 + 19)). Which is bigger: -23 or c?
c
Let d(a) = a**2 + a + 1. Let p = -4 + 5. Let v(x) = -4*x**2 - 5*x - 3. Let q(s) = p*v(s) + 3*d(s). Let k be q(-2). Is k <= -1/13?
False
Let b(n) = 3*n - 17. Let f be b(8). Is 1 greater than f?
False
Let i be -1 + -1 + (1 - 0). Let k be (0 + 6/(-16))*2. Which is bigger: i or k?
k
Suppose -4 = l + h, -2*l = -0*l + 3*h + 12. Suppose 4*g = 2*k + 30, -k + 73 = 4*g + 28. Is g >= l?
True
Let l(n) = -5*n - 41. Let i be l(-15). Which is smaller: i or 32?
32
Let g = -5 - 3. Which is smaller: -10 or g?
-10
Let r = -14 - -10. Do r and -3 have the same value?
False
Let d = -17 + 17. Let n = 47 - 32. Let t be ((-3)/(-25))/(n/(-10)). Which is greater: d or t?
d
Suppose -u + 2 = 11. Which is bigger: u or -6?
-6
Suppose -4*u - 61 + 3 = -2*k, -125 = -4*k + 5*u. Suppose p + 3*n - 4 = 1, 5*p = 5*n - k. Is -4 equal to p?
True
Let q = -0.29 - 0.01. Let h = -3.3 - q. Is h < -1?
True
Let p = 1019/7 + -146. Is p greater than or equal to -1/2?
True
Suppose 3*m + 3*d = 45, -2*d - 5 = -3*d. Is m at most as big as 9?
False
Suppose -d + 4*x = -5*d - 12, -d + 5*x = -27. Let z = -2 + d. Is z greater than or equal to -1/4?
True
Let u = -2.19 + 19.99. Let t = u + -18. Do t and -3 have different values?
True
Let o be 19894/88 - (-1)/(-4). Let l = 226 - o. Let t = 8 - 7. Is l at least as big as t?
False
Let k be ((-91)/(-77) + 4/(-22))*0. Which is smaller: k or 4/29?
k
Let l be 74/10 - 2/5. Let y(n) = n**3 - 8*n**2 + 8*n - 9. Let w be y(l). Is w equal to -3?
False
Let f = 11 + -8. Let v(n) = 4*n**2 - 1. Let t be v(-1). Suppose a + 0*a = t. Is a at least f?
True
Let r be 13/5 + 12/30. Suppose m + 357 = 2*x, 4*m - r*x = -0*x - 1438. Let c = m + 4695/13. Which is smaller: 0 or c?
0
Let q = -2 - -8. Let m be q/(-9) + -4 + 3. Which is greater: m or -1?
-1
Let p = -3 - -2. Is p less than -1/13?
True
Let h(m) = m**2 - 16*m + 31. Let y be h(7). Which is bigger: y or -33?
y
Let l(k) = k**2 - k + 10. Let b be l(8). Let s = b - 463/7. Is 0 at least s?
True
Let h(x) = x**2 + 8*x + 1. Let z be h(-6). Is -13 > z?
False
Suppose -2 = 7*i - 9. Let w = i + -2. Is 3/7 less than w?
False
Let t(l) = -l**3 - 5*l**2 + 16*l + 13. Let s be t(-7). Is 1.4 equal to s?
False
Let t = 20 - 18. Let g = -4 - t. Which is smaller: g or -8?
-8
Suppose -2*f + 6 = -6. Let c = 7 - f. Which is bigger: 7/4 or c?
7/4
Let v be -2*((-7)/2 - -2). Let d be (v + -2)*(-4)/4. Does 5/12 = d?
False
Let o = 5.75 - 2.75. Let t be 1/(-2) - (-9)/10. Is t less than or equal to o?
True
Let a = 19 - 18.8. Is a not equal to 3/4?
True
Let l(g) = -g**3. Let v be l(0). Suppose v = 3*d - 0*d - 3. Let f be 3/48*(4 + -10). Which is bigger: f or d?
d
Let q(s) = s + 13. Let p be q(-13). Suppose -o + 4*o - 9 = p. Is 5 equal to o?
False
Suppose -22*l + 232 = -18*l. Is 58 bigger than l?
False
Suppose -7 = 3*u - 1. Let d(h) = h**2 + h - 12. Let z be d(-4). Is z less than or equal to u?
False
Let r = -48 - -15. Which is smaller: -34 or r?
-34
Let n = 13 - 13. Is 2/131 smaller than n?
False
Let i = 34 + -18. Suppose -3*o - i = -1. Is -9/2 less than o?
False
Let y = -21 - -13. Let s be (-3)/(-4) - 2/y. Let b(r) = r**3 - 12*r**2 - 13*r - 1. Let i be b(13). Is i greater than s?
False
Let l = 1/2140 - -207577/6420. Let f = -33 + l. Is -1 at least f?
False
Let c be -10*3/(-6) - 0. Suppose -3*l = -6*l + 30. Let z(b) = -b**2 + 12*b - 15. Let y be z(l). Is y greater than c?
False
Suppose -f + 8 - 4 = 0. Let k = 10 - f. Is k at least as big as 5?
True
Suppose 2*c - 8 = -3*q + 56, -4*q = 2*c - 82. Let a be (-1 + 3)*(-2)/q. Are a and -0.1 unequal?
True
Let w(r) = -r**3 - 2*r**2 - r - 2. Let s be w(-2). Let d be 1/(-5)*(1 + s). Let u = -2 - -1. Which is bigger: u or d?
d
Let u = -13 + 8. Is -0.1 >= u?
True
Let s = 0.139 - 0.019. Which is bigger: s or -6?
s
Let c be ((-2)/(-2) - 0) + 2. Suppose 8 = -c*y + y - r, 3*r = 3*y - 6. Let v be 6/8 + y/(-8). Which is greater: v or 2/9?
v
Let f = 5 - 18. Is -0.1 bigger than f?
True
Let t(f) = -f + 14. Let r be t(15). Is r < 0.2?
True
Let z be -7 + (0 - 2 - -5). Let r be -2 + z/((-12)/9). Is r > 2/9?
True
Suppose -4*c = -3*d - 10 - 4, 0 = -2*d + 5*c - 21. Suppose 2*l - d = -0*l. Let q be (8/(-14))/(8/(-28)). Is q less than or equal to l?
False
Suppose -l = l - 2, 0 = -5*t + l + 9. Let g = 87/34 + -1/17. Which is greater: g or t?
g
Suppose 0 = -2*n - 5*g - 1, -2*n = g + 1 + 4. Let o(s) = s**3 - 7*s**2 + 7*s - 7. Let c be o(6). Let z = n - c. Which is smaller: z or -1?
z
Let w = -27 - -347/13. Is 6 < w?
False
Let t(b) = b**2 + 2. Suppose -2*u - 2*u = 0. Let a be t(u). Suppose 0 = -a*q - i - 1, 3*q - 4 = -2*i - 5. Which is smaller: q or -1/4?
q
Let z be (-1 - 8/(-6))*3. Let n(x) = x**3 - 10*x**2 + 9*x. Suppose -2*h + 16 = 2*t, -t + 4*t = 2*h + 29. Let u be n(t). Is u greater than or equal to z?
False
Suppose 93 = n + 1. Suppose n = -4*h - 68. Let q be 4/h*5/2. Which is bigger: -0.1 or q?
-0.1
Suppose r = -3*r - 4*d - 28, -r - 4*d = 1. Is r >= -8?
False
Let p be 2 + 0 - (-2)/1. Suppose 2*n - 4 = 4*h, -5*h + 0*h + 3*n = p. Do -1 and h have different values?
True
Suppose -35 + 83 = -6*n. Is 0.1 at most n?
False
Let n(k) be the third derivative of -k**6/120 + k**5/10 + 3*k**4/8 - 7*k**3/6 - 6*k**2. Let v be n(7). Are 6 and v non-equal?
True
Suppose 5*v = -t + 3, 58 = 5*t - 4*v + 14. Let o = t - 4. Suppose 3*h - 9 - 5 = o*f, -2*f = h + 2. Which is greater: -0.1 or h?
h
Let j = 0.01 + 11.99. Let c = 13 - j. Which is smaller: c or -0.08?
-0.08
Let h = 2.2 - 0.3. Let p = h + -11.9. Which is smaller: p or -0.1?
p
Let m = -0.01 - 1.99. Let x = -5 - m. Let o = x + 3. Which is bigger: o or -5?
o
Let m = 0 - 0.01. Let n = 1.01 + m. Is 2 less than or equal to n?
False
Let c(r) = -r**3 + 4*r**2 + r - 5. Let p be c(4). Let b be (3/(-4))/(9/(-246)). Let f = -21 + b. Are f and p unequal?
True
Suppose -15 = -3*c - 3*p, -31 = -2*c - c + p. Which is greater: c or 7?
c
Let x(c) = c**3 + 10*c**2 + c + 1