 be 2*1/(-4)*-2. Let s = 0.02 + -0.12. Which is smaller: s or m?
s
Suppose -5*v + 5*j - 2*j - 6 = 0, j = -4*v + 2. Suppose 2*n = 4*n + k - 14, -5*n - k + 35 = 0. Let l be n/(-15) - (-1)/(-3). Do v and l have different values?
True
Suppose -2*u - 8 = 0, -u = -r + 2*r - 3. Is r > 7?
False
Suppose -2*j = 5*d - 3, 0 = -5*d + d + 4*j + 8. Let q = 995 - 571. Let m = -8906/21 + q. Are d and m equal?
False
Suppose 4 = 4*o - 0. Let g be (-12)/(o/(2/3)). Suppose 5*m - 88 = 16*m. Is m greater than g?
False
Let i be 3 + (-11 - -3) - -2. Let o be (-2)/6 + i/(-9). Let t = 87/77 + 1/77. Is o > t?
False
Let w = -0.06 + 0.07. Let r = w - -0.09. Let h = 8 + -31/4. Which is smaller: r or h?
r
Suppose 0 = 3*j - 52 + 184. Let x be j/(-30) + (-6)/9. Is -2/5 less than or equal to x?
True
Let v be ((-1)/(-3))/(7/21). Suppose -2*x - 3 = 3*q, 0 = 5*q - 0*q + 2*x + 1. Is q not equal to v?
False
Let p = 610 + -1786/3. Let s = -14 + p. Which is smaller: 1/7 or s?
1/7
Suppose 2*h + 1 = -3. Let f(c) = -1 + c**2 - 2*c**2 + c + 0. Let m be f(0). Which is bigger: h or m?
m
Let a = -40 + 42. Is -0.4 < a?
True
Let t = 34/3 + -11. Which is greater: 0 or t?
t
Let g be 2/6 + (-2)/6. Let w = 139696/21 + -6651. Let f = w - 13/7. Is f at most as big as g?
True
Let b be 75*(-4 + 11/3). Which is greater: -26 or b?
b
Let m(q) = -q - 8. Let b be m(-6). Are -3 and b nonequal?
True
Let c(m) = -m**3 - 8*m**2 - 5*m + 9. Let t be c(-7). Let f = 3 + t. Suppose g + 3 = -2*g. Is g at least as big as f?
True
Let i be -2 + -9 + -3 + 0. Which is smaller: -13 or i?
i
Suppose 6 = 3*d - 36. Let f be (-2 - -4) + d/(-6). Let m = -0.1 + 0. Is m <= f?
False
Let w(b) = b + 4. Let h be ((-3)/6)/(3/36). Let u be w(h). Which is bigger: u or -1?
-1
Let k(c) = c**2 + 8*c + 8. Let i be k(-8). Let j be 7/4 - (-2)/i. Let n be 2 + 1 + 1 + -2. Is n equal to j?
True
Let f be 3 + -4 + 1 - -3. Suppose f*x - 6 = 6*x. Is x smaller than -2?
False
Let a = 4 + -2. Let b = -0.43 - -1.43. Is a greater than b?
True
Let v be (-18)/63 + 120/469. Are v and 1/4 non-equal?
True
Let m be (-146)/(-6) + (-3)/9. Let i be (-30)/(-4)*4/m. Suppose -o - o = -2. Which is bigger: i or o?
i
Let y = -1 + -1. Let s be y - (-5 + 1) - 3. Is -2/9 smaller than s?
False
Suppose 4*k = 4 - 0. Let s(v) = 3*v**2 - 2. Let d(b) = -b**2 + b. Let p(h) = k*s(h) + 2*d(h). Let j be p(-3). Is j <= 0?
False
Let q = 0.2 + -0.52. Let k = 0.02 + q. Is k at least 0?
False
Let j be (-12)/3 - (-1)/(3/13). Let l be 4/(-18) + (-14)/18. Which is bigger: l or j?
j
Let r(g) = -g**2 + 9*g - 2. Let y be r(9). Let f = -1 - y. Let u be (f/2)/((-2)/(-4)). Is u at least 0.1?
True
Let k(z) = 2*z**3 + 12*z**2 - z - 6. Let u be k(-6). Is u at most as big as 0?
True
Let d = -65 - -24. Is -41 greater than d?
False
Let z(h) = -h**3 - h**2 - h + 1. Let d = -3 + 3. Let k be z(d). Let a = 2 - k. Is a less than or equal to 2?
True
Let u(x) = 2*x - 2*x - 4*x + 3*x - 3. Let g be u(-9). Suppose g = -5*o + 3*o. Is -3 less than or equal to o?
True
Suppose 0 = -2*h + 6 - 2. Suppose -2*z = -u - 7, 0*u + 8 = u + z. Suppose -5*p - 24 = -q, h*p + u*q - q = 0. Which is smaller: -5 or p?
-5
Suppose 2*i + 8 = 4*i. Let o = i + 1. Let u be (1 - (-16)/(-10))*o. Which is smaller: -2 or u?
u
Suppose -2*d + 28 = 6. Which is greater: 10 or d?
d
Let k = 726 + -3647/5. Which is greater: k or -2?
-2
Let q be (0 - 0)/(6 + -3). Suppose 5*m + 3 = -4*n - 11, m - 2 = q. Let x be n + 8 + 3*-1. Does -2/11 = x?
False
Let w = -11 + 3. Let i = w + 7.8. Let z = i - 1.8. Are -5 and z nonequal?
True
Suppose 0 = -2*z - 2*l + 8, 2*l + 3 + 1 = 4*z. Which is smaller: z or -2?
-2
Let u(v) = -2*v + 1. Let a be u(1). Let l(s) = -s**3 + 2*s**2 + 6*s - 5. Let p be l(4). Let j = -89/7 - p. Which is greater: j or a?
j
Let r be 1*3/(-27)*-3. Suppose -5*f + 3*j - 7 = 0, f + 7*j - 2*j - 21 = 0. Is f bigger than r?
True
Suppose -5*o = 5*n + 165, -4*n + o - 87 = -n. Which is bigger: -0.1 or n?
-0.1
Let x be 14/8 + (-2)/(-8). Suppose 0 = 2*y - x - 6. Suppose y*k = -k - 4*d + 13, 2*k + 2 = 2*d. Which is smaller: k or 0?
0
Let g = 3 + -2.88. Let v = g - -0.28. Which is smaller: 2/7 or v?
2/7
Let n = 12 - 6. Let m be (n/(-4))/(3/4). Suppose 10 = -3*o + 1. Which is smaller: o or m?
o
Suppose -5*f = -3*f + 2. Which is smaller: -1/50 or f?
f
Let c = 1.2 - 1.4. Suppose 4*l = 5*l. Which is greater: l or c?
l
Suppose -1 = s + 1. Let g(r) = 3*r**2 + r - 1. Let a be g(1). Let h be (a + -1 - 0)/(-2). Is s greater than h?
False
Let q be 1135/100 - 4/(-10). Let p be 34/(-3) - 4/6. Let o = p + q. Which is smaller: o or -3?
-3
Let z = 23.93 - 24. Which is bigger: 1/3 or z?
1/3
Let g(h) = -5*h**2 - 3*h - 1. Let j be g(-2). Let b be (-25)/j*1*-3. Let t = b + 8. Is t at least 3?
True
Let h be (-18)/(-15) - (-1)/(-5). Suppose -m - 1 - h = 0. Let n = -4 + 2. Is m smaller than n?
False
Let r be (-1 - -2)/(5/10). Suppose -w + 3*o - 9 = 0, o - 2*o - 2 = -2*w. Is r bigger than w?
False
Let a be -8 + (-2 - 0)/2. Suppose 2*g - 1 = -3. Is a at most as big as g?
True
Suppose l - 8 = -j + 3*l, j + 3*l = 3. Let k(d) = -10*d**2 + 6*d + 1 + 3*d**2 - 3*d**3 + 4*d**3. Let g be k(j). Are 3 and g unequal?
True
Let j(q) = -q**2 - q. Let g(h) = -h**3 + 8*h**2 - 5*h + 2. Let f(m) = -g(m) - j(m). Let x be f(6). Let k = x + 0. Is k equal to -2?
True
Let w(n) = n + 10. Let h be w(-9). Which is bigger: h or 2/7?
h
Suppose -2*o - 4*c = 3*o - 20, -2*o - 3*c + 15 = 0. Which is smaller: o or -2.4?
-2.4
Let f(n) be the second derivative of -n**4/12 + n**3/6 + n**2/2 - n. Let z be f(0). Is -1/18 > z?
False
Let y be (4/(-2))/(3/12). Let t = 6 + y. Let k = 3 + t. Which is greater: k or -1/5?
k
Let g = -211 + 207. Which is bigger: -16 or g?
g
Let v = -29 - -26. Let s be (-7)/1 - (-1 + -1). Is s less than v?
True
Let h = 0.18 - 0.08. Which is smaller: h or -19?
-19
Let h be 1*(-2)/(-12)*3. Let x be ((-3)/3 + 2)*-1. Let i = x - -1. Is h smaller than i?
False
Suppose 19*b - 99 = 16*b. Which is greater: 31 or b?
b
Let m(k) = k**3 + 3*k**2 - 4. Let p be m(-4). Which is smaller: p or -19?
p
Suppose -15 = 12*n - 15*n. Which is smaller: 0 or n?
0
Let q = -13 - -13. Suppose -2*a - 4*k = q, 2*a - 8 = 4*a + 2*k. Are a and -9 unequal?
True
Let h be ((-3)/(-13))/(24/(-16)). Let i(m) = -m**2 + 5*m - 3. Let b be i(3). Suppose 3 = -b*k + 6. Which is greater: k or h?
k
Let g be (-2 + 0/(-3))*-1. Suppose g*k + 1 = -1. Do -3/4 and k have the same value?
False
Let j(k) = 2*k**2 - 3*k**2 + k**2 - 2 - k**2. Let f be j(4). Let l be (-52)/69 - 12/f. Which is smaller: l or -1?
-1
Let h(d) be the first derivative of -d**4/4 + 2*d**3/3 + d**2 - 2*d + 3. Let u be h(-2). Let p = -8 + u. Do 3 and p have the same value?
False
Suppose -v + 9 = -2*x, 5*v + 2*x + 13 = -2. Let z be 3 - 4 - (66/(-28))/3. Which is smaller: v or z?
v
Suppose 0 = 3*x, 4*x - 2 = 3*f - 8. Suppose 5*y + 3*d = -d + 20, -10 = -3*y - f*d. Does y = 0?
True
Suppose -v - 4*v = -4*x + 7, -3 = -3*x + 3*v. Let q(n) = n**3 - 8*n**2 + 13*n - 8. Let u be q(6). Let t = u - x. Which is bigger: t or 1/5?
1/5
Let c be -1 - (-4 + 0/2). Suppose -c*i + 3 = 2*z - 1, -3*z + 7 = 5*i. Are z and -0.1 nonequal?
True
Let d = 0.6 - -0.4. Which is smaller: 0.07 or d?
0.07
Let q = 0.6 - 0.54. Let g = q + -0.36. Which is smaller: g or 1/4?
g
Let n be (-1)/4 - (-425)/612. Let d = 9 + -10. Is n > d?
True
Let z(u) = 3*u**2 - 3*u + 1. Let i be z(2). Let k = 6 - i. Is k < 1?
True
Let b be ((-1)/2)/(92/(-8)). Which is bigger: b or 0?
b
Suppose 0 = -v + 5*y - 27, 0 = 2*v + 5*y - 11 - 10. Which is bigger: -10/9 or v?
-10/9
Let o be (1 + 5)*4/(-4). Let k(a) = a**2 - 4*a + 4. Let w be k(4). Let m = w + o. Which is smaller: m or -1?
m
Suppose 2*t = -7 + 1. Let x = 0 + t. Let g = x + 2. Is g less than 1?
True
Let m = -12 + 16. Let h be (1 + m/(-8))*0. Let j = -2/261 - -536/1827. Is j != h?
True
Suppose 2*x + 2*w + 2 = 7*x, -3 = 5*x + 3*w. Is -2/15 < x?
True
Let a = -51/4 + 13. Which is smaller: a or -1?
-1
Suppose 5*z - 2*t = 20, t - 30 = -5*z + 5*t. Let v be (2/(-5))/(2/(-5)). Let n = v - z. Is n smaller than 1/5?
True
Let w(c) = c**3 - 11*c**2 + 10*c. Let u be w(10). Let r = -1 - u. Is r equal to -1?
True
Let p be 1/(-2) + 41/10. Suppose 12 = 4*d - 4*m, -10*d + 15 = -6*d - m. Do d and p have the same value?
False
Suppose -108 = 4*b - 44. Do b and -17 have the same value?
False
Let n(q)