 0.02 + -0.12. Which is bigger: n or -1/2?
n
Let h be (-7)/(-3)*9/3. Let n(w) = -w**3 + 6*w**2 + 8*w - 4. Let t be n(h). Suppose -a - t = -4. Which is smaller: a or 2/3?
2/3
Let z = 1 - 3. Let p = z - -3. Let f be (-40)/(-66)*-3 + 2. Is f at most as big as p?
True
Let w be (-22)/(-12) + (-3)/(-18). Let a = -5 - 0. Let x = a - -8. Is x at most as big as w?
False
Let u = 0.015 - -0.375. Let n = u + -0.09. Which is smaller: 0 or n?
0
Let n = -4 + 8. Which is greater: n or 0?
n
Let s be (-3)/2 - 135/(-10). Let u be (-135)/s*2/(-5). Does u = 4?
False
Suppose 3*v + q + q = 45, -3*q = -4*v + 60. Suppose 2*n + v = 3. Is -4 != n?
True
Let r(z) = z**3 - z**2 - 3*z + 2. Let h be r(2). Which is smaller: 3/11 or h?
h
Let n = 1.2 + -1. Let w = -0.8 - n. Suppose 31*j = 27*j - 4. Is w less than or equal to j?
True
Suppose 9 = -5*u + 29. Let r be (u/10)/((-1)/(-5)). Is 1 greater than or equal to r?
False
Let h = 1.6 + -2. Let x = h + 0.4. Let z = -1.2 - -0.2. Which is smaller: z or x?
z
Let i = -59.8 + 66. Let s = 1.2 - i. Is s <= -1/2?
True
Let k = 359 - 357. Let t = 0.06 + -3.06. Which is bigger: k or t?
k
Let r be 14/5 + 2/10. Suppose r*v - 228 = 102. Let k be (8/v)/((-14)/(-35)). Is k smaller than -1?
False
Let p = 24/85 - 796/1615. Is p > 1?
False
Let g = -0.51 + 0.32. Let d = g + 0.17. Let t = 0.1 - 0.1. Which is smaller: t or d?
d
Let n(o) = -o**2 + 13*o - 7. Let w be n(13). Are w and -9 equal?
False
Let l = 0.04 + -0.34. Let k = 0.3 + l. Let g(q) = -q**3 + q**2 + 1. Let d be g(0). Which is bigger: d or k?
d
Suppose 7*k = k + 6. Is k not equal to -1/9?
True
Let c(l) = -l**3 - 7*l**2 - 7*l - 9. Let w be c(-6). Which is greater: w or -7/4?
-7/4
Let x(d) = -11*d - 4. Let i(j) = 4*j + 1. Let v(l) = -17*i(l) - 6*x(l). Let b be v(5). Which is smaller: b or -5/2?
b
Let i be (-2 - -1)*0 + 2. Let w be i/(-2 - (-24)/9). Is 4 at most w?
False
Let v(f) = -12*f**2 - f - 1. Let x be v(-1). Let n be -5 - (8/4 + -3). Let d be ((-4)/x)/(n/3). Which is smaller: 1 or d?
d
Suppose -n + 2*n - 3 = c, -c - 9 = -4*n. Let t = -46153 + 9415271/204. Let d = t + -2/51. Which is greater: d or c?
d
Let u = -12.8 - -10.5. Which is smaller: u or -3?
-3
Let i = 16 + -15.95. Let b = 0.05 - i. Is 2/13 <= b?
False
Let t(k) = -k**2 - 6*k + 1. Let n be t(-6). Let v be -1 + 3*(3 + -2). Let p = v - n. Is p greater than or equal to 2/5?
True
Let m = -17/683 - 110564/30735. Let j = m + 17/5. Is j greater than 0?
False
Let y(c) = -c**3 + 11*c**2. Let o be y(11). Let i = -327/68 + 120/17. Let v = i - 2. Which is smaller: o or v?
o
Let u be (-38)/(-14) + (1 - 1). Let b be 498/(-189) + 2/(-9). Let g = u + b. Which is smaller: g or -1?
-1
Suppose 0 = 5*k - 4*n - 9, 2 = -4*k - 5*n + 1. Let z be (-4)/34 - 37/(-170). Which is greater: k or z?
k
Suppose 7*c = 2*c - 115. Let k(p) = p**2 - 11*p + 6. Let a be k(5). Which is greater: a or c?
c
Let w = 0.04 + -0.14. Which is smaller: w or -9?
-9
Suppose -2*q = -1 + 9. Is q greater than -4?
False
Let a = 0 + -1. Let x = a - -4. Let q = x - 7. Is 2/7 smaller than q?
False
Suppose 44 = -0*n + 2*n - p, 4*n + 3*p - 78 = 0. Which is smaller: n or 20?
20
Let p(y) be the second derivative of -2*y**3/3 - 3*y**2/2 - 5*y. Let g be p(-3). Which is smaller: g or 10?
g
Let i be 2/4 + (-63)/6. Let v = 9 + i. Let f = 0 - 3. Which is smaller: f or v?
f
Suppose i = -3*i + 4. Is 1/5 at most i?
True
Let z(l) = -3*l - 41. Let o be z(-22). Is o bigger than 22?
True
Let l be 30/(-2) - (-2 - -2). Which is smaller: l or -16?
-16
Let t = -170901/133 - -1285. Let h = -414/4921 + t. Which is greater: h or 1?
1
Let n = 0.3 + -0.1. Let y = -2.7 + 3. Let v = n - y. Which is bigger: v or -1?
v
Let d = 22 + -31. Let s = d - -8.6. Let k = 1 + -3/2. Is k > s?
False
Let q be ((-3)/6*-2)/((-8)/(-62)). Which is smaller: 8 or q?
q
Let o be (-2)/(-5) - 52/(-70). Is 2 smaller than o?
False
Suppose -2*x + 40 = -7*x. Which is smaller: -7 or x?
x
Suppose -5 = -5*z + 3*r, -3*r - 3 = 5*z - 8. Which is greater: -42 or z?
z
Let a = 0.2 + -0.1. Let v = -0.3 + a. Let t = v + 1.2. Which is greater: -3 or t?
t
Let k = 13 - 7. Let t = k - 9. Let d = -2.7 - t. Is d != 1?
True
Let q = -37/4 + 10. Is q greater than -0.04?
True
Let s = -0.08 - -0.04. Let z = 0.16 - s. Is z >= 1/4?
False
Suppose -f = 3, -5*f - 18 = -6*w + 3*w. Do 3/5 and w have different values?
True
Let o = 124 + -124. Is 0.031 at most o?
False
Suppose 0 = -q + 2*i + 3, -5*q + 4 + 11 = -i. Suppose -2*v + 18 = 2*v - q*r, -3*v = -5*r - 8. Let b be 3/v*4/(-5). Is b <= 1?
True
Let p(f) = -f**2 + 5*f + 11. Let i be p(8). Is -14 at least i?
False
Let d = 42 - 41.892. Which is smaller: 0.1 or d?
0.1
Let l = 5 + -14. Let d be (-32)/63 - 2/l. Which is greater: -1 or d?
d
Let o be 3 - -1 - (-126)/(-9). Is o smaller than -9?
True
Let s(o) = o**2 - 12*o - 10. Let p be s(13). Suppose 0 = 3*z - 4*y - 31, -p*y = 3*z - 0 - 3. Which is smaller: 4 or z?
4
Let s = 5 - 5. Suppose -q + 2*y + 24 = s, 0 = 3*q - 2*y + 4*y - 48. Which is smaller: q or 17?
17
Suppose -2*h + 2 = 6. Let n be ((-3)/h + -2)*0. Are n and 0 nonequal?
False
Let i = -65/46 + -2/23. Is 1/4 smaller than i?
False
Suppose -5*c - 28 = 27. Let f = 17 + c. Suppose 2*l + 8 = f*l. Which is smaller: 0 or l?
0
Let g = 0.2 - -1.8. Let k = 3 - g. Let s = 5/2 - 3. Which is smaller: s or k?
s
Let r(b) = 3*b**2 - 2*b + 9. Let n be r(7). Let o = -713/5 + n. Which is smaller: o or -1?
-1
Let k(o) = 6*o + 13. Let z(i) = -7*i - 14. Let d(n) = 5*k(n) + 4*z(n). Let b be d(-6). Let g(f) = f**2 + 3*f + 3. Let u be g(b). Which is smaller: 2 or u?
2
Let g be (-2)/8 - 30317495/80. Let v = -378809 - g. Let t = v + -160. Is t bigger than 0?
False
Let g = -43 - -388/9. Suppose -c = -2*x - 11 + 12, -5*c + x - 5 = 0. Which is smaller: c or g?
c
Suppose 0 = -0*n - 4*n + 60. Suppose 5*k + 15 = -2*i + 5, -3*i = -2*k + n. Which is bigger: 1/10 or k?
1/10
Let b be -3 + (0 - 1)*-12. Are 9 and b equal?
True
Let u = 18 + -18.1. Is -0.001 less than or equal to u?
False
Suppose -5*g = -3 - 2. Let h be -1 + 1 + g + -5. Let z be 6/h - (-39)/18. Which is greater: z or 0?
z
Suppose -9 - 21 = -10*p. Is p at least as big as 26/7?
False
Let n be (-1)/1 - (-5 + 2)/3. Do -1/52 and n have the same value?
False
Let l = -4 - -7. Let v be (3/12)/(-4 + l). Let n(k) = -k**2 + 4*k. Let r be n(4). Is v less than r?
True
Let c = -1 + 2. Let u be ((-10)/(-4))/((-2)/(-4)). Suppose -f - 7 = -u*p, f + 3*f = -8. Are c and p nonequal?
False
Let l(i) = -i**3 + 5*i**2 - 3*i - 2. Let u be l(4). Suppose 3 = -j - u*j, -4*z + 5*j - 11 = 0. Let f = -7 + 5. Is f at most as big as z?
False
Let v(a) = -a**3 + 7*a**2 - 7*a + 6. Suppose 0 = -0*l - l + 8. Suppose 0 = -x - 2 + l. Let p be v(x). Which is bigger: 1 or p?
1
Let i = 10 + -7. Let x(v) = -2*v**2 - 7*v + 4. Let w(o) = o + 1. Let q(y) = 2*w(y) - x(y). Let g be q(-5). Are i and g non-equal?
False
Let h = 0.01 - 0.31. Let y = h + 0.1. Let a = y + 0.3. Which is bigger: -2 or a?
a
Suppose -3*m - 2*x = 6, -2*m + x - 4 = 2*x. Let z = 1242/5 - 249. Which is greater: m or z?
z
Let o = 207 - 1032/5. Let x = -1/10 + o. Is x greater than or equal to 0?
True
Let j = 6.2 + -6.3. Let b(l) = 3*l**2 - 5*l. Let w(q) = -13*q**2 + 20*q. Let o(k) = -9*b(k) - 2*w(k). Let a be o(5). Which is smaller: j or a?
j
Let o = 21 + -19. Does 3 = o?
False
Let j(x) = -x**3 - x**2 + 2*x. Let l be j(0). Which is smaller: l or 1/16?
l
Let i = -34 + 38.4. Let z = i - -1.6. Let l = z + -7. Is l equal to 2/7?
False
Suppose 18 = -l + 4*l. Suppose -3*s + l*s = 0. Which is smaller: s or -1/4?
-1/4
Let f = -9/8 - -175/152. Is -1 greater than or equal to f?
False
Suppose 0 = -q + 4*q. Suppose -9 = -2*v + 5. Suppose -3*t = k + t - 9, 0 = k - 4*t + v. Which is smaller: q or k?
q
Let a = -21 + 19. Is a greater than -3?
True
Let w = 129 + -121. Which is smaller: 9 or w?
w
Suppose -y = -4*q - 2 - 2, 1 = -q - y. Let b be ((8/(-12))/(-2))/((-9)/2). Which is smaller: b or q?
q
Let k = 19 + -16.4. Let n = k + -2. Let p = n - -0.4. Is 2 greater than p?
True
Suppose n + 3 = -10. Let o = n - -21. Let j be (2/o)/(3/(-18)). Are -1 and j non-equal?
True
Suppose 5*x - 37 = 3*o, 8*o - 4*o - 5*x + 41 = 0. Let t be 3/o*(-8)/(-14). Which is bigger: 2 or t?
2
Let b = 0.03 + 0.67. Let v = b - -0.3. Let m be 84/35 + -2 - 3/5. Is v less than or equal to m?
False
Suppose -4*u + 2