(23/24). Which is bigger: n or 1?
n
Let v = 0.02 + 0. Let k = 28 - 30. Which is smaller: v or k?
k
Suppose 0 = 3*n - 6 - 0. Let t be (6/(-8))/(n/8). Which is bigger: -4 or t?
t
Let f(q) = q**2 - 2*q + 1. Suppose -3 + 0 = -3*l. Let g be f(l). Let u(z) = z + 3. Let i be u(-4). Which is greater: g or i?
g
Let s(b) = 4*b + 3. Let u be s(-8). Is -29 not equal to u?
False
Let l = 100 - 101. Is 5 bigger than l?
True
Let d be 19/(-9) + 1 + (-1)/(-1). Suppose 0 = 4*c + 5*b + 6, 5*b + 16 - 1 = 5*c. Which is smaller: d or c?
d
Let l = -61636 - -3881711/63. Let t = l - -190/9. Suppose 0 = 5*b - 20, 1 - 4 = 5*c - 2*b. Is t bigger than c?
False
Let d = -8 + 8. Let q = -25 - -26.95. Let u = -0.05 - q. Which is greater: u or d?
d
Let r = -4/5 + 3/10. Do r and -2 have different values?
True
Suppose 0 = 4*n + g - 0*g - 12, g = 0. Let h be (6/n)/(18/4). Let r be 1*(0 - -1 - 1). Is r < h?
True
Let i = 3 - 2.94. Let u = i - -0.04. Which is bigger: u or 3?
3
Let s = 329/3 + -2315/21. Let k = -8 + 6. Are s and k nonequal?
True
Let t = -1 - 4. Let l be 0 + 2/(-16)*2. Which is greater: t or l?
l
Let r be (-2)/(-2) + (-11 - -2). Let s = -145/3 + 48. Which is smaller: r or s?
r
Let i be (-130)/(-16) + (-2)/16. Which is greater: i or -2?
i
Suppose 2*c + 1 + 11 = 0. Let f(g) = g**2 + 5*g - 7. Let u be f(c). Does u = 2/63?
False
Let n = -111 + 63. Which is bigger: 1 or n?
1
Suppose 56 = 4*a + a + 4*r, 4*a - 28 = r. Let o be ((-1)/a)/(4/8). Which is smaller: o or 0?
o
Let g = -1 - -1. Let k be (-2)/(-2 + g) - 2. Let s be (10 + -12)/(1*-2). Which is greater: k or s?
s
Let k = 0.03 + -1.03. Let c = 24 + -37. Is k greater than or equal to c?
True
Let m(h) = -h**2 + 4*h + 10. Let f be m(5). Is 7 equal to f?
False
Suppose 5*z + 2*s = 5, -s - 4 + 9 = 0. Suppose 5*f - 5 = -2*n + 15, -f + 3*n = 13. Suppose -b + 3*a = -5, -f*b - 4*a = -0*a + 10. Is b smaller than z?
False
Let w = -23 + 33. Suppose 0*z - z - 3*t + 9 = 0, 5*z + 4*t = -w. Is -6 <= z?
True
Let k(s) = s**2 + 6*s - 10. Let i be k(-7). Let x be i*1*6/45. Does -1 = x?
False
Let m = -86 + 85. Which is smaller: m or -44?
-44
Suppose 5*l = 6*l. Suppose 2*d + 6 = -l*d. Suppose -5*v - 15 = -0. Is d at least v?
True
Let f be (1*(-2)/4)/2 + 1. Let n = -1 + 1. Is n bigger than f?
False
Suppose 5*i - 9*i + 12 = 0. Suppose -2*m = m - i. Is m bigger than 1?
False
Let i = 0.7 - 0.45. Let w = i + -0.05. Is 1 at least as big as w?
True
Let t(m) = -m**3 + 3*m**2 + m. Let g be t(2). Let i be (-14)/(-21) - 7/g. Let s = 0.03 - -1.97. Is i at most as big as s?
True
Suppose -g + k = -3, -g + 15 = 2*g + 3*k. Suppose -3*j + 2*o + 16 = 0, -7*j + 30 = -2*j - g*o. Which is smaller: 1 or j?
1
Let d(y) = 2*y + 1. Let g be d(3). Let x = -871 + 871. Which is bigger: x or g?
g
Let z = 179 + -157. Which is smaller: -0.4 or z?
-0.4
Suppose 0 = -9*v + 10*v. Suppose -4*d = -5*r - 10, d = -v*d - 2*r - 4. Do -5/6 and d have different values?
True
Suppose 3*w = 2*z - 35, 6*w + 10 = 5*w + z. Is w greater than -16?
True
Let a = -28201/47 + 600. Let h = a + 145/188. Is h smaller than 2?
True
Let k = -4.5 + 0.4. Let m = 0.1 + k. Let l = m - -4. Is 0 bigger than l?
False
Suppose 0 = a - 0*a. Let q be 4/(-6) - 42/(-9). Let t be q/(-5) - (-2)/5. Which is bigger: t or a?
a
Let o(x) = -x**2 + 3*x - 4. Let k be (2 + -1)/(2/4). Let r be o(k). Which is bigger: -4 or r?
r
Let k(s) = s**2 + s + 1. Let v be k(4). Let t = v - 35. Is t less than or equal to -14?
True
Let b = 2823/10 - 282. Suppose 38 = 3*j - 5*s, -j = 2*j + 4*s - 29. Let c be (-3 + j/4)*4. Which is greater: b or c?
b
Let l = 7 + -8. Is l at most 1.5?
True
Let g(u) = -u - 1. Let h(d) = -d - 1. Let q(i) = -7*g(i) + 6*h(i). Let z be q(2). Which is smaller: z or 4?
z
Suppose 5*f = -3*u - 233, -f - 187 = 3*f + 3*u. Is -45 < f?
False
Suppose 27 = 2*m + 21. Suppose 0 = 2*x - 3 - 3. Is x != m?
False
Let b = -3960 - -3962.0015. Let i = 0.0085 + b. Let s = i - 0.01. Which is smaller: s or 0?
0
Let l = -234/1333 - -4/31. Which is bigger: l or 0?
0
Let d(w) = w**3 - 3*w**2 - 2*w. Let f be d(3). Let h be (-8)/f*9/(-6). Suppose 5*l + 9 = a - 2, 0 = -5*l + 3*a - 3. Which is bigger: l or h?
h
Suppose -3*r - 20 = -53. Is r at most as big as 12?
True
Let j = -5 + 8. Is j greater than -2/5?
True
Suppose 3*x - 2 = 4. Suppose -c - 4*u = -2 - 15, x*c + 2*u - 4 = 0. Let t be 4/14*(-2 - c). Which is smaller: t or 0?
0
Let c = 32 + -32. Which is smaller: -2 or c?
-2
Let w be 2*(0 + 1 + 2). Suppose w*g - g = 10. Is 2 bigger than g?
False
Let t be (1/(-6)*-2)/1. Let c = 0.26 + -0.36. Is t less than or equal to c?
False
Let l be (-1)/4 - (-9)/72. Is -0.8 at least as big as l?
False
Suppose -4*z - 20 = 0, -5*w = z + 2 + 3. Which is smaller: w or -1/26?
-1/26
Let m(p) = -6*p - 2. Let f be m(2). Let l be (-6)/3 - f/6. Is -4/3 greater than l?
False
Let d = 7 - 15. Let y = -6 - d. Is y greater than 1?
True
Let w = -1.3 + 1. Let k be -2 + ((-21)/12 - -2). Let v = 25/12 + k. Which is smaller: v or w?
w
Let s = -19 - -19. Which is smaller: -11 or s?
-11
Let m = 2 + -1. Let a(f) = -4*f**2 - 1. Let z be a(-1). Are z and m equal?
False
Suppose 2*h - 10 = 32. Is h >= 21?
True
Let m(c) = 11*c - 3. Let q be m(2). Let l = 20 - q. Which is bigger: 2/59 or l?
l
Let l = -2 + 5. Suppose -l*d = -d. Let m be (-6)/14 + 14/490. Which is smaller: m or d?
m
Let t = 36/61 + 4675/244. Let r = 9 + -29. Let u = r + t. Which is smaller: u or 0?
u
Let y = -4463/11 + 406. Are y and 0 non-equal?
True
Let a(u) = -u**2 + 6*u - 4. Let o be a(4). Suppose -o = 2*n - 16. Is n >= 6?
True
Suppose -4*f = -c - 13 - 3, 3*f = 3*c + 3. Suppose -4*p - 20 = -4*q, -13 = -5*q + c*p + 13. Are 6 and q equal?
True
Let z(w) = w**2 + 15*w - 16. Let d be z(-16). Is 3/13 less than or equal to d?
False
Let g = -0.25 + 0.75. Let l = 1.9 - 2. Which is smaller: g or l?
l
Let i(x) = x - 1. Let a = 3 + 0. Let d be i(a). Let y be 13/14 + (-1)/d. Which is bigger: y or -1?
y
Let q be ((-12)/(-18))/(2/3). Is -1/77 at least as big as q?
False
Suppose 0 = 3*s + 3*g - 18, -2*s - 3*g + 4 + 6 = 0. Is s at most 50/7?
False
Let j = -17 - -29. Let r be (-3)/j*24/(-105). Which is bigger: -1 or r?
r
Let f = -2 + 5. Suppose -f*c = -2*c - 2. Let g be (-5)/10*4/c. Which is greater: g or -2/15?
-2/15
Suppose 1 - 6 = -h. Suppose 4*a - 7 = h. Which is greater: 0 or a?
a
Let s be (0 - -7)/(-4 - -3) - -2. Are -4 and s nonequal?
True
Let y be (-4)/1 + 2 + 6. Suppose y*f = -4*s - 4, -s - 1 = 2*f + 2*f. Is s not equal to -1?
False
Let u = 4 + -3. Suppose -3*l + 11 = -5*w + l, -4*w - 2*l = -12. Suppose 2 = -3*j - w. Is u at least j?
True
Suppose -v - 10 = -6*v. Suppose 0 = 4*s - r - 26, v*s - 1 - 21 = 5*r. Let f = s - 8. Is f equal to 0.3?
False
Suppose 0*g = -4*g + 12. Suppose 5*b + h + 1 = -g*h, 0 = -b + h - 2. Which is smaller: 1 or b?
b
Let r = 17.2 + -17. Which is smaller: r or 1.1?
r
Let g(h) = h**2 - 16*h + 4. Let r be g(15). Let n = r + 12. Is 4/9 less than n?
True
Let r be 5/2 + 2/(-4). Let p(g) = -g**3 - 4*g**2 - 2*g + 3. Let m be p(-3). Let j be 6 - 3 - (m - -1). Is j bigger than r?
False
Suppose 0 = -7*r + 2*r + 45. Is r less than or equal to 11?
True
Suppose 1 - 7 = f. Let m be 428/306 + (f - -6). Let r = m - 20/17. Is 4 less than or equal to r?
False
Let n be (20 + 4)/3 - (0 - -2). Is n at most 1?
False
Suppose -10 + 50 = -8*d. Suppose 0 = 2*f + 3*x - 5, 0 = 5*f + 2*x + 15. Is f bigger than d?
False
Let t = 124/3 + -41. Let a = -27 + 55/2. Let l = t - a. Is l > 1?
False
Let y = -262/3 + 88. Let g = 8 + -7. Let q be ((-2)/4)/(g/(-2)). Which is smaller: y or q?
y
Let p(y) = y**3 - 17*y**2 - 14*y - 10. Let t be p(18). Is t < 63?
True
Let t = 15.5 - 14.5. Let a = 2.2 - 2. Are t and a non-equal?
True
Let b = 14 + 9. Which is greater: 21 or b?
b
Let j = 9 + -5. Suppose 0*z + j*z - 88 = 0. Let y be (-6)/z*(-2)/3. Is y smaller than 1?
True
Let g be (-261)/(-1 - 2) + 0. Let f = g + -353/4. Which is smaller: 0 or f?
f
Let x be (-8)/(-30) - 2/(-6). Suppose 4*q - 3 - 5 = 0. Suppose q*t = -0*t + 2. Is x bigger than t?
False
Let k be 19/(-12) + (6/(-8))/(-3). Are k and 0 equal?
False
Let w = 0.22 - 17.22. Let f = w + 16.93. Which is bigger: 1/3 or f?
1/3
Suppose 1 = n - 1. Let g(k) = -n*k + 2*k - k - 10 + 1. Let u be g(-9). Which is smaller: u or -5/3?
-5/3
Suppose -j - 1 = 3*w + w, 3*w - 3*j + 12 = 0. Suppose 5*y = -3*