 a. Which is greater: 0.4 or r?
0.4
Let i be (-3)/4 - 18/(-24). Which is smaller: -3/13 or i?
-3/13
Let z(g) = 3*g**3 - 2*g + 1. Let f be z(1). Suppose -5*w = -f*c + c - 6, 4*w = -4*c. Is 1 smaller than w?
False
Let t = 50 - 60. Is -10 less than t?
False
Suppose 0 = 4*v + 5*j - 500, -v + 2*v - 112 = 2*j. Let a be (-14)/v - (-6)/24. Which is greater: -1 or a?
a
Let n be 1 - (-1 - 1 - -7). Let i be 221/(-114) - (2 + n). Let m = -2/19 - i. Which is smaller: m or -0.1?
m
Let a = -2/73 + 107/1241. Is a at most as big as -1?
False
Suppose 5*g + z = -z + 42, 2*g + 5*z = 0. Let j(t) = -t**2 - 3*t - 5. Let s be j(-4). Let m = g + s. Is 0.2 != m?
True
Let b be 1*(1 + -3)/(-2). Let z = 2 + b. Let x = 6 - 4. Is z at least as big as x?
True
Let p(t) be the third derivative of -t**6/120 - t**5/10 - 5*t**4/24 + t**3/6 - t**2. Let x be p(-5). Let b be (x + 2)/3 - 1. Is b equal to -1/8?
False
Suppose 0 = -8*d + 7*d - 5. Is 0 less than d?
False
Let d be 15/10 + 34/4. Suppose -w + 3*q = -8, -10 = -3*w + q + 14. Is w smaller than d?
True
Let o be ((-1)/4)/(18/(-8)). Suppose 0 = 3*j, 5*d + j + 4*j = 0. Is o < d?
False
Let v = 0 - 1. Let j = 2 + -1. Let t be (j/3)/(7/(-21)). Is t greater than or equal to v?
True
Let j = 730/13 - 12566/221. Is -2 < j?
True
Let y = 32 - 32.1. Which is smaller: y or 4?
y
Let a(q) be the first derivative of q**3 - q**2/2 - q + 2. Let d be a(-1). Which is smaller: d or 4?
d
Let p be (-6)/(-18)*-1*-3. Which is smaller: p or 3/56?
3/56
Let m = 0.06 - 0.36. Let j = -0.3 - -0.5. Let s = j + m. Which is smaller: 3 or s?
s
Let m = 29991/5 - 6023. Let r = 25 + m. Is 1 >= r?
True
Let r be (1/3)/(3/9). Which is greater: 2/65 or r?
r
Let d = -9 + 13. Let p(z) = d*z**2 - 4 + 0*z - 4*z + 3*z + z**3. Let u be p(-4). Is -1 <= u?
True
Let z be 2/2 + -1 + 1. Suppose -3*k + 6*v + 6 = v, 0 = 2*v. Let y be (2/3)/(k/6). Are y and z equal?
False
Suppose 0 = -8*x + 7*x + 63. Let u = -1699/27 + x. Which is greater: 0 or u?
u
Let s(j) = j**3 + 5*j**2 + 2. Let a be s(-5). Let t = -15 + 16. Which is bigger: t or a?
a
Let f = 116 - 116. Which is smaller: -2 or f?
-2
Suppose 0 = -u + 2*b, u = 3*u - b. Is -1/11 bigger than u?
False
Let x(c) = c**2 + 5*c + 3. Let f be x(-5). Suppose 5*a = -g + 4*g - 7, -4*g = -f*a - 13. Suppose -i = 5*m - 2*i, 0 = -g*m + 3*i + 11. Is -3/5 at least m?
True
Suppose 10 = 4*a - 2*f, a + 4*f + 9 + 11 = 0. Suppose -3*l + 8 = 2*t - 8, 0 = -4*t - l + 22. Suppose a*v = t*v. Which is bigger: 1/3 or v?
1/3
Let n(h) = -h**3 + 8*h**2 - 9*h - 19. Let m be n(6). Is m less than -1/186?
True
Let p = -248 - -751/3. Which is greater: -1/4 or p?
p
Let z(m) = m**2 - m. Let j be z(0). Suppose w - 2 = -j. Suppose o + n = -4, 4*n = -4*o + w*n - 18. Which is smaller: 1 or o?
o
Let k = 12 - 17. Which is smaller: -7 or k?
-7
Suppose 0*t + 4*t + 2*x - 24 = 0, 4*t + 3*x = 28. Suppose t - 8 = -4*q. Is 1/5 bigger than q?
False
Let d be -1*(-1 - (-2)/2). Let k be (6 - (d + 2)) + 2. Let y be (-1)/(-3) + (-2)/k. Which is bigger: y or 1/14?
1/14
Let j be (-1)/(-7) + 7/(-49). Is j greater than or equal to 2/37?
False
Let u = -12 - -14. Let q be (-8 - -3) + 2 + u. Let t(g) = -g**2 - 4*g - 3. Let s be t(-2). Is q at least as big as s?
False
Let l(s) = -s**3 - 13*s**2 + 2*s + 19. Let b be l(-13). Let g be 2/b + 6/(-28). Which is smaller: 0 or g?
g
Let a = 2/189 + 313/189. Let c = 5 + -4. Which is smaller: a or c?
c
Let g(t) = t + 4. Let o be g(-2). Which is smaller: o or 1?
1
Suppose -4*q - 6 = 2. Let a(l) = -4*l + 8. Let b be a(15). Let z be 117/b + 1/4. Is z less than q?
False
Let v(k) = -k**2 - 3*k + 6. Let s be v(-5). Let z be (6/(-4))/(s/8). Let r be z*(16/(-18) - -1). Do r and -1 have different values?
True
Let c be (-2 - 2) + -2 + 4. Is c < 2?
True
Let s = 0.7 - -3.3. Let t = -5 + s. Is 0.05 < t?
False
Let r(m) = -37*m - 16. Let u be r(3). Is -126 < u?
False
Let j(p) = p**3 + p**2 - p. Suppose 5*t - 5 + 15 = 0. Let r be j(t). Is r at most as big as -4/3?
True
Let v = -0.04 + -1.36. Let t = 1.3 + v. Which is smaller: -2 or t?
-2
Let s(w) = w + 6. Let b be s(-9). Let h be b/(-15) - 1/(-5). Are h and 0 equal?
False
Suppose 2*a - 26 = -5*f - 10, 9 = 3*f + a. Let s be 0/((-2 - f)/2). Let b be (s/3)/(-1 + 0). Which is smaller: 4/9 or b?
b
Suppose -4*w + w - 3 = 0. Let f be (398/(-2))/(1 + 3). Let v = f - -49. Do v and w have different values?
True
Let b be (4/10)/(6/30). Let x = 1 - b. Which is bigger: x or -3?
x
Let r = 956 - 65962/69. Is r at least -1/2?
True
Suppose -3*a = 12, -5*l + 3*a = -0*a + 8. Is -2 at most l?
False
Suppose -12 = -4*j - 0. Let i(y) = -y**3 - 7*y**2 + 7*y - 5. Let f be i(-8). Is f at most as big as j?
True
Suppose -19 + 16 = 3*a. Let o = -63 - -313/5. Which is smaller: o or a?
a
Let u be -3 - -3 - (3 - 5). Suppose 0 = -u*w + 5*w. Is w greater than 1/2?
False
Let p(i) = i**3 + 5*i**2 - 3*i + 18. Let m be p(-6). Which is greater: 1/39 or m?
1/39
Let t be (-14)/(-6) - (-3)/(-9). Suppose 0 = -2*s - 0*s + 4*f + 14, -t*f - 4 = 2*s. Let p(w) = -w**2 - 14*w - 24. Let v be p(-12). Are s and v nonequal?
True
Let m = 0.6 - -2.4. Which is smaller: m or 2/3?
2/3
Let k be (-2)/(-4) + (-2 - -2). Let c be ((-6)/(-8))/(6/16). Let x be (c + -5)*(-2)/(-10). Is x at least k?
False
Let z = 3 + -2. Let v(x) = -x + 7. Let t be 1/(-1 - (-24)/21). Let d be v(t). Which is smaller: z or d?
d
Let b(i) = -2*i - i**2 + 2*i. Let x be b(0). Suppose x = 3*g + g. Is 2/5 greater than g?
True
Let z be 1 + 2 - (0 + -3). Suppose -12*n + 70 = -2*n. Is n less than z?
False
Let g be (4 - 1 - 1)*(-2)/8. Suppose -2*q + 2 = 2*a, -3*a - 2*q + 1 + 2 = 0. Suppose 0 = -x - 0*x - a. Which is smaller: x or g?
x
Let c be (-138)/(-132) + (-2)/4. Suppose -6*y + 3*y = -6. Which is smaller: c or y?
c
Let m be 14/174*2*(-3)/(-21). Is m greater than or equal to -1?
True
Let v = 14 - 13. Are 2/7 and v equal?
False
Let d = 6 + -8. Let n = -2.2 - 0.8. Let k = d - n. Is k <= -1/4?
False
Let b be 186/(-90) - (-4)/(-12). Which is greater: b or -3?
b
Let r be ((-18)/(-4))/(6/16). Let x be (0 - 2)/(2/r). Is x bigger than -12?
False
Let b = 204 - 372. Let q be 2/(-12) + 68/b. Which is bigger: 0 or q?
0
Let z(d) = -d**3 - 13*d**2 + 31*d + 19. Let h be z(-15). Let t be ((-2)/2)/((-1)/(-1)). Let o be t + h + 335/(-115). Is 1 >= o?
True
Let q(m) = -m**2 + 4*m - 2. Let b be q(4). Is -1 greater than or equal to b?
True
Let u(f) be the first derivative of -f**4/2 - f**2/2 - f - 5. Let w be u(-2). Is 17 less than or equal to w?
True
Let j be (1*(-4)/(-1))/(-2). Let h = -2 - -5. Let o(z) = -z - 1. Let q be o(h). Are j and q non-equal?
True
Suppose -4*f + 2*d = 10, 5*f + 2*d - 6*d + 20 = 0. Let q = -24591/5 - -4896. Let p = q - -1453/65. Which is smaller: f or p?
f
Let m = -7 + 6. Let c = -642/5 - -128. Is c > m?
True
Suppose -4*y + 6 + 6 = 0. Let s(j) = -j**3 + 5*j**2 - 4. Let x be s(4). Suppose y*n + n = x. Is 5 less than n?
False
Suppose -6*u = -187 - 191. Which is smaller: 64 or u?
u
Let w be 10/4*8/5. Suppose -6 = -4*l + m, -2*m = -0 - w. Let b(p) = -p + 1. Let a be b(l). Are a and -2/3 non-equal?
True
Let y(b) = b**3 + 6*b**2 + 3*b - 6. Let x be y(-5). Let z = -12 + 22. Suppose z + 10 = 4*q. Which is smaller: x or q?
x
Let w be 8/(-3) - (-20)/30. Let y be (w/(-4))/(3/6). Which is smaller: y or -1/24?
-1/24
Let o(v) = v**3 - 7*v**2 + 8*v - 9. Let g be o(6). Suppose 0 = g*w - 4 + 1. Is w greater than or equal to 5?
False
Let k(c) = -c**2 + 19*c - 3. Let v be k(8). Let l = -421/5 + v. Which is greater: l or -1?
l
Let a = 18/19 - 166/95. Is a less than or equal to -2?
False
Let n = 6 + -5. Suppose u = 2*u + n. Which is smaller: u or -2/7?
u
Suppose 2*v - 85 = -3*c - 0*v, -v = 4*c - 105. Suppose h - f = -3 - 2, c = -h + 5*f. Are -2 and h equal?
False
Let o = -4 + 3. Let v = -0.01 - -2.02. Let a = 2 - v. Which is greater: o or a?
a
Let c = -0.3 - -0.2. Let a(d) = d**3 - 5*d**2 + d - 3. Let y be a(5). Let w be y - 1 - -1 - 2. Is c > w?
False
Suppose -5*g = -0*g. Suppose 0*k - 4*k - 4 = g. Which is smaller: k or -1/9?
k
Let d = -4.6 - -1.6. Is -1 less than or equal to d?
False
Suppose 0*u + 3*u = -5*o + 34, -4*u + 37 = 5*o. Let d be (-72)/(-33) + 6/(-33). Which is smaller: u or d?
d
Let o = 2 + -2.2. Let d = 0.6 + o. Let g = d - 0.4. Which is smaller: g or 0.2?
g
Let q be ((-6)/(-45))/(3/(-5)). Which is smaller: 1/2 