j). Which is greater: n or 3?
3
Let t = -4 + 10. Let y = -5 + t. Which is greater: y or 0.3?
y
Let n be 4/(-10)*(-1)/(-2). Let i = 284/3 + -95. Is n <= i?
False
Let n(u) = u**2 + 3*u - 5. Let s be n(-4). Suppose 0 = -3*v + 26 + 13. Suppose -20 = -4*k, -6 - v = -3*t - 5*k. Which is smaller: t or s?
t
Suppose n + 3*p = 2*p + 7, -5 = -5*n + 5*p. Let z(y) = y**3 - 5*y**2 + 5*y - 4. Let f be z(n). Let l = -3 - -2. Which is smaller: l or f?
l
Let k(z) be the first derivative of -z**3/3 + z**2/2 - 4*z + 1. Let d be k(0). Which is greater: d or -5?
d
Let c(w) = -w**3 + 7*w**2 - 2*w + 10. Let y be c(7). Let d be (1/y)/((-4)/(-24)). Let r = -25/14 - d. Do r and -1 have the same value?
False
Let i be 22/120 - (-3)/(-9). Let o be ((-1)/(-6))/((-2)/3). Let n = o + i. Which is bigger: n or 0.1?
0.1
Let v = -12 - -21. Let a = v - 9. Is a not equal to -7/5?
True
Let x = -0.38 - -11.38. Which is smaller: x or 1/2?
1/2
Suppose 0 = 4*k + 2*c - 5*c - 37, 0 = -5*k + 5*c + 45. Suppose -2*z - k + 4 = 0. Which is bigger: z or -5?
z
Let z = -6 - 2. Which is bigger: -7 or z?
-7
Let a be (-4)/(-10) + (-6)/15. Let j be 3 + -1 - (2 - a). Let c be (-4)/2 + -1 + 3. Is j equal to c?
True
Let u = 3 + 0. Let n be 5/3 + (-2)/u. Let b = -1 + n. Are -1 and b equal?
False
Let m = 221/3 + -73. Let p = m + -7/24. Which is bigger: p or 1?
1
Suppose -9 = -2*w - 5*y, -2*w - 5*y = -4*w - 1. Suppose 2*i = -2*i - w*j + 14, -5*j + 27 = 2*i. Let s = 7/40 + -3/10. Which is bigger: i or s?
i
Let k be 2/15*-3 - (-54)/(-15). Is 1.3 at most k?
False
Let r = 6 + -4. Let a(u) = 5*u - 2. Let s be a(r). Suppose -28 = -5*f + 7. Which is greater: f or s?
s
Let n(a) = -7*a - 29. Let m be n(-3). Is -7 >= m?
True
Suppose 16*w = 21*w + 5. Is 2/39 >= w?
True
Let i = -337 - -1339/4. Are -1 and i nonequal?
True
Suppose -a - 14 = -4*t, 4*a + 24 = -t + 2. Suppose 6*w + 5*q + 17 = 2*w, 3*w = -2*q - 11. Which is bigger: a or w?
w
Suppose -4*h + 16 = -0*h. Are h and 4 equal?
True
Suppose 2 - 7 = -5*v. Is -1/15 at least as big as v?
False
Let s = -18 - -12. Which is smaller: -1 or s?
s
Suppose 0*m = 5*m - 9*m. Which is smaller: -1/13 or m?
-1/13
Let w = 19 - 19.1. Is -13 < w?
True
Suppose 3*z + 2 = -7. Which is bigger: z or -2?
-2
Let o be (1 - -18)*(-8)/16*-2. Which is greater: o or 17?
o
Let x(u) = u**3 + 4*u**3 - u**2 + u - 4*u**3. Let r be x(1). Are r and 1/2 unequal?
True
Let g be -2 - -2 - (12/4 - 3). Let j = -219 - -1529/7. Do g and j have different values?
True
Let o = 0 - 0. Let r be -1 + o*3/(-9). Let f be 1/(-1 + 0)*r. Is 1/2 bigger than f?
False
Suppose 2*m = l - 8, 0 = l - 2*l - 5*m - 13. Suppose 0 = l*r + y, 2*r - y - y = 6. Which is bigger: 1/23 or r?
r
Let c = 27 + -11. Let u be (2 + -3)/(c - 6). Let x be (3 - 1) + 1*-1. Is u less than x?
True
Let a = -44 + 244/5. Which is greater: -1/4 or a?
a
Let a be 1/(-4)*(0 - -1). Let s = a - 1/12. Suppose 3*j + 4*z = z + 18, -4*z = -j - 19. Which is smaller: s or j?
s
Suppose -5*t + t = 0. Let y = -412197/95 + 4340. Let a = y + -32/19. Are t and a unequal?
True
Let j(b) = 1 + 2*b - 2 + 3*b**3 - 4*b**3. Suppose -3*v - 3 = 3. Let f be j(v). Is f <= 2?
False
Suppose 0 = 6*b - 2*b + 60. Let g be 1 - (b/(-2))/(-3). Let f = g - 33/10. Is f > 0?
True
Let x be (-6)/12 - (-22)/12. Suppose 3*l + 15 = 4*q, -3*l + 2*q - 12 = -q. Let z be (-1)/(-1) + l/(-1). Which is smaller: x or z?
x
Let y = 6.14 - 0.14. Do 0 and y have different values?
True
Let b(g) = -g**2 - 3*g + 4. Let v be b(-4). Which is smaller: v or -2/35?
-2/35
Let m = 404/665 + -1/133. Which is smaller: m or 1?
m
Let f be 608/176 + (-1 - 3). Is 0 less than or equal to f?
False
Suppose -5*h = -k - 123, 4 = 5*h + 2*k - 125. Suppose -4*d = d - h. Suppose -d*j - 3 = -2*j. Are j and 1/3 nonequal?
True
Let w = -67 + 38. Which is smaller: 1/4 or w?
w
Suppose 0*t - 216 = 3*t - 4*n, -t - 3*n = 72. Let b be 4/14 + t/448. Let g(j) = j**2 + 9*j + 9. Let v be g(-8). Which is greater: b or v?
v
Let l be ((-9)/(-9))/((-1)/12). Which is smaller: l or -8?
l
Let s be (54/(-20))/(4/(-30)). Let j = s - 22. Which is bigger: -3 or j?
j
Let y = 9.8 + 0.2. Let t = y - 6. Let r be (-5)/(-2)*16/120. Are r and t non-equal?
True
Let g = 1 + 5. Which is greater: 4 or g?
g
Suppose 0*y = y - 14. Let g = 14 - y. Is 3/17 smaller than g?
False
Let x = -2203/9 - -245. Which is greater: 1 or x?
1
Suppose -2*p = 6*p - 576. Does p = -1/4?
False
Let d = -21 - -28. Suppose -5 = u - 3*t, t = -u - d - 6. Is u greater than -11?
False
Let c = 33 + -37.2. Let h = -5 - c. Is h less than 0?
True
Let j = 5 - 3. Suppose 3*s = -1 - j. Is -1/2 at most s?
False
Suppose 0 = 2*j - j - 2. Is 1 >= j?
False
Suppose -a = 4*r + 19, -3*a + r + 13 = -r. Let g be -3*((-4 - -1) + a). Let u = g - 7. Is 1/5 at most u?
False
Let n = -6.2 - -6. Are -0.1 and n equal?
False
Let g = 2 - 8. Let d be (-8)/(-21) - (-4)/g. Let y = 0.4 - 0.6. Which is smaller: d or y?
d
Let j be (4/(-6))/(4/(-6)). Let d = 12 - 6. Let t be 7/((-2205)/d)*-3. Which is smaller: t or j?
t
Let a = 60.8 - 61. Which is smaller: 1/2 or a?
a
Let r = -148 - -202. Is r less than -2/7?
False
Let o(u) = u**2 - 3*u + 3. Let q be o(3). Let n(c) = -c**2 + 4*c - 1. Let x be n(q). Which is greater: x or -1?
x
Let t be (-2)/3*(-45222)/(-84). Suppose -q + 2*q = -359. Let c = q - t. Is -1 at most as big as c?
True
Let i be 3/((35/20)/7). Which is greater: i or 21/2?
i
Let o be (-8)/(-6)*(4 + -1). Suppose -o = 3*j + r, 5*j + 2*r - 8 = 4*r. Is 1 less than or equal to j?
False
Let b be 2/8 + (-6826)/(-88). Let z = b - 78. Suppose -4*j - 16 = -3*m + 5*m, -3*m = 3*j + 12. Is z smaller than m?
True
Suppose -165 = -11*m - 0*m. Let d(w) = -w**2 + 15*w - 4. Let i be d(m). Let x be (-2)/(-2 + 0/(-2)). Which is greater: i or x?
x
Suppose 3*s - y + 2*y = 14, -y - 16 = -3*s. Let o = s + -6. Let w = 62/3 + -187/9. Which is bigger: o or w?
w
Let n = -0.3 + 0.4. Let g be (-4)/2*(7 + -11). Which is smaller: n or g?
n
Let g be -1 - -3 - 2/2. Suppose 16 = -3*y - 2*f, -2*y + 2*f - 16 = 6*f. Let c = 5 + y. Is c not equal to g?
False
Let n be (6/(-4))/((-4)/(-8)). Let z = n - -2. Is z >= -1?
True
Let h be (2/(-4))/(7/(-14)). Is 0 < h?
True
Let s be 78/(-5)*(-15)/6. Which is bigger: 38 or s?
s
Let g = 173.035 - 173. Which is smaller: g or 0?
0
Let u = -172/5 - -34. Let a = -4 + 8. Suppose -6*q + a*q = -2. Is q at least as big as u?
True
Let z be 1*(-2)/(-468) - 0. Let b = -1633/1170 - z. Is b <= -1?
True
Let v = -1 - -1.1. Let r = -0.1 + v. Let g = -7.7 + 4.7. Do r and g have the same value?
False
Let x = 0 - 0. Let n = 88 - 527/6. Is n greater than x?
True
Let c = 0 - -3. Let u = -4 + c. Is -1 bigger than u?
False
Let j(n) = n**3 - 8*n + 3. Let t be j(3). Do 4 and t have the same value?
False
Let y(o) = -o - 12*o - 4*o + 2*o. Let v be y(-1). Suppose 8*k = 3*k + v. Which is greater: k or 4?
4
Let j = 43 + -122/3. Let q = -3 + j. Suppose 0 = -f - 2. Which is bigger: q or f?
q
Suppose 3*q - 16 = -q. Suppose -1 + q = 3*n. Let g be (-2)/(20/(-13)) - n. Do g and 1 have different values?
True
Let i = 28 - 55/2. Is 35/3 < i?
False
Let d(y) = -y**2 - 176. Let l be d(0). Let g = -876/5 - l. Which is smaller: 2 or g?
g
Let i be 1/(-4)*2*0. Let a be (3 + 0)*(-2)/(-10). Is a greater than i?
True
Let v(y) be the second derivative of -y**3/2 + 6*y**2 - y. Let z(n) = n. Let i(r) = -v(r) - 2*z(r). Let d be i(9). Is -3 smaller than d?
False
Let b = -1 - 6. Let q = 13 + b. Which is greater: 7 or q?
7
Let m be ((-9)/12)/(6/1). Suppose -4*d + 4*y = -16, 4*d + y - 1 = -0*d. Which is smaller: m or d?
m
Let h be 16/(-96) - (-7)/6. Which is smaller: h or 1/7?
1/7
Let n = 2 - 4. Let a be ((-2)/(-4))/(1/(-4)). Let f = -1 + a. Which is smaller: n or f?
f
Let c = 191/120 - 22/15. Let w = c - -5/8. Is w greater than or equal to 0?
True
Let v be 993/(-3 + 3/3). Let u = v + 946333/1906. Let d = u - 3826/6671. Is 1 >= d?
True
Let c be (-1 + -1)*(-1096)/(-18). Let u = -122 - c. Which is smaller: u or -1?
-1
Let o(w) = -w + 5. Let v be o(0). Suppose 0 = -2*d - 2*z - 2, 0 = d + 4*d - v*z - 15. Do d and 1/12 have different values?
True
Let a = 1/42 - -223/42. Which is bigger: 5 or a?
a
Let o be (-335)/65 + 8/52. Let m = 137/4 + -34. Are o and m nonequal?
True
Suppose -4*d = -0*d. Suppose d = 3*s + 6, -18 = 2*g - 3*s + 4*s. Let y be g/(-12)*3/(-4). Which is bigger: y or -1?