True
Let n(q) = -2*q + 12. Let m be n(9). Let f be (3/m)/((-2)/4). Is -1 > f?
False
Let r = 11 - 12. Let q = 0 - -0.6. Let c = -1 + q. Which is bigger: c or r?
c
Let k = -2.019 + 0.019. Which is greater: k or -38?
k
Suppose 4*f - 44 = -x + 3*x, -63 = 4*x - 3*f. Is x >= -8?
False
Suppose 0 = -v - 2*v - 15. Suppose -2*p - 3*f - 21 = p, 0 = 3*f + 9. Which is smaller: v or p?
v
Suppose -p = 2*p + 2*n - 4, 8 = p + 4*n. Which is smaller: p or -1/16?
-1/16
Suppose -3*w + 3*r + 11 = -4*w, 34 = -2*w - 3*r. Let a = -89/4 - w. Are 2 and a unequal?
True
Let i = -0.3 + 0.2. Let n = 7 + 1. Let q = n - 10. Is q greater than i?
False
Let s = 0.11 + 3.89. Let u = -4.3 + s. Is -1/4 not equal to u?
True
Suppose -3*z + 3*o = -o - 28, 5*o + 29 = 3*z. Suppose 2*p = 5*p - h + 2, z = 2*p + 4*h. Is -2 at most p?
True
Let r = 4 + -1. Let a = -1.8 - -4.9. Let v = a - r. Which is bigger: -2/5 or v?
v
Let l = -5 + 8. Suppose 2*g = -l*g - 30. Which is smaller: g or -8?
-8
Let w = 2 - 3. Let m be 0 - (-2 - (-3)/3). Let i be m*-1*(w + -1). Which is bigger: 4 or i?
4
Suppose -2*m + 30 = -7*m. Let w = 0.2 - 0.4. Is w at least as big as m?
True
Suppose -7*a = -a. Do a and 5/32 have the same value?
False
Let a be -1 - 1126*(-51)/(-6). Let g be 6/(-27) - a/63. Let b = -152 + g. Does -1 = b?
False
Let c = 355/2 + -181. Which is smaller: c or -2?
c
Suppose 0 = -6*r + r. Suppose r = 4*m + 6*l - 11*l + 13, 0 = -m + 5*l + 8. Let q = m + 69/10. Which is smaller: q or 1/3?
q
Let s be (18/(-846))/((-1)/2). Which is smaller: 0.2 or s?
s
Let x(w) = w**3 - 8*w**2 + 5*w - 3. Let g be x(5). Let i be 2*1/3*g. Let z = 35 + i. Is z != 1?
True
Suppose 0 = 13*n + 99 + 83. Is 0.1 < n?
False
Let v = 629/355 + 2/71. Is v at least as big as 2?
False
Let u = 4 + -1. Suppose u*t + 2 = -7. Let i be (2/(-6))/(1/(-3)). Is t != i?
True
Let c be (-4)/18 - (-6)/(-27). Which is smaller: 0 or c?
c
Suppose 4*c = c + 3. Let u = 8 + -6. Let l(f) = -f**3 + f**2 + 2*f. Let y be l(u). Does c = y?
False
Let i = -30 - -61/2. Suppose -w = -3*w. Is w <= i?
True
Let l = -23 - -25. Let m(t) = t**2 - t + 4. Let h be m(l). Are h and 6 non-equal?
False
Let c(g) = -g + 1. Let a be c(1). Let f = 2/17 + 20/119. Is a bigger than f?
False
Suppose 0 = 2*q - q - 2*x - 17, -3*x = -3*q + 54. Let y = q + -132/7. Is 1 at least y?
True
Let s(o) be the first derivative of o**2/2 + 3*o + 2. Let w(h) = -h**3 + h**2 + 4*h. Let r be w(3). Let u be s(r). Are -4 and u non-equal?
True
Let r = -4 + 6. Suppose -3*g + 23 = 2*n, -r*g + 35 = g - 4*n. Suppose 0 - g = -3*x. Is x equal to 3/2?
False
Suppose 41 = -2*q + 5*q + 2*y, -2*q + 18 = -y. Is q less than 12?
True
Let p be (-1*2 - -2)/(-2). Let h be (1/(-2) + 0)*p. Let f be 6/(-36)*-2*2. Which is smaller: f or h?
h
Let z(g) = -2*g**3 - 2*g**2 + g + 1. Let k be z(-2). Let m be (4/10)/(k/5). Let a = -2.916 + -0.084. Which is smaller: a or m?
a
Let p = -169.9 + 170. Which is greater: p or -0.022?
p
Suppose 5*u + 25 = 3*d, -d - 2*d - 5*u - 25 = 0. Let r = d - 1. Which is smaller: r or 2/5?
r
Let y = 15/418 - 1/76. Is y > 1?
False
Let f(x) = -x**2 - 4*x + 2. Let a be f(-6). Let u be 30/12*1/a. Is u >= -1?
True
Let f(q) = -q**2 - 5*q + 1. Let w be f(-5). Suppose -3*j - 2*j + 15 = 0. Which is smaller: j or w?
w
Let a = 2 - -9. Let v = a - 10.9. Which is smaller: -5/6 or v?
-5/6
Let i = 6 + -5.6. Let d = i + -0.4. Let s be (3/(-6))/(5/4). Is d greater than or equal to s?
True
Suppose -5*m + 9*m = -4. Is m at least as big as -1?
True
Let o be (3/(-9))/(1/3). Let w be o/((-2)/2*-1). Which is bigger: w or 4?
4
Let m(q) = -q**3 - q. Let x be m(0). Let w = -37/840 + -1/280. Let a = -13/168 + w. Which is greater: a or x?
x
Suppose -15*q + 216 = 6. Which is smaller: 12 or q?
12
Let q be (-270)/14 + 2/7. Let x be (-3)/(-2)*(-2 + 6)*-3. Is q at most as big as x?
True
Let s = 0.086 + 0.014. Which is smaller: s or -70?
-70
Let d be (5/4)/(65/20 - 3). Does d = 5?
True
Suppose -2*a - 8 = 2*c, -3*c + 4*c + 4 = -5*a. Are 3 and a unequal?
True
Let l = 63 + -63. Which is smaller: l or 0.9?
l
Let s = 6 + -2. Suppose 7 = -2*x + 3*d, s*x - x - d + 7 = 0. Suppose -3*m + 7 = -4*v, 3*v = -4*m + m. Is x at least v?
False
Let i be 0*1/(-2) - -4. Let z = 2 - i. Let r be 3/z + -1 + 3. Which is greater: -0.1 or r?
r
Suppose 16 = q - 3*z, 0 = 2*q - q + z - 20. Suppose 1 + q = 5*o. Suppose 9*c = o*c. Is 0 bigger than c?
False
Let g be (1*-14)/2*3. Let f be (-3)/12 + g/(-4). Is f < 6?
True
Let r(d) = d**2 - 10*d + 1. Let g be r(10). Let h be 12/24*(-1 - g). Is -0.2 != h?
True
Let i = -63 + 79. Which is smaller: i or 13?
13
Suppose 28 = 3*k - 32. Let s be 5/(k/(-6))*-2. Suppose 0*v - s*v = 3. Is v greater than 3/7?
False
Let r = -4.32 - -4.7. Let f = r + 1.52. Let k = f - 2. Is -0.2 less than k?
True
Let s be 19/(-4) - (-8)/(-32). Is 0.4 greater than s?
True
Suppose -2*s = 4*a - 530, -s + 6*s = 2*a - 235. Let h = -913/7 + a. Is h at least as big as 0?
False
Let p be 160/192 - (-1 - 0)/(-1). Let x = -1.3 - -1. Is p >= x?
True
Suppose -y + 0*y = 0. Which is smaller: -1/12 or y?
-1/12
Suppose -3*x = 3*r - 6, 2*x + 2 = 3*r + 1. Let z be (-6 - -1*2)/(-1). Let o be ((2 - 2) + 1)/z. Which is smaller: x or o?
o
Let r(c) = 2*c - 5. Let f be r(6). Let i = f + -12. Is -4 bigger than i?
True
Let n = -42 + 41. Do 1/9 and n have the same value?
False
Let u = 54 + -54.1. Which is smaller: -0.24 or u?
-0.24
Let n = -187/28 + -687/4. Let z = -179 - n. Which is greater: 0 or z?
0
Let m be (-3)/(1/4*-6). Let c = m + -3. Let y = 0 - 0. Which is bigger: y or c?
y
Let k be 1*(-3)/9 + -1. Which is greater: -1 or k?
-1
Let u(h) = -4*h - 2. Let l be u(-1). Let y be 2/(-5)*40/(-4). Is y != l?
True
Let g = -52 - -158/3. Let n = 2 - 1. Does g = n?
False
Let y = -0.665 - -0.065. Which is bigger: y or 1/5?
1/5
Let x be (-78)/(-70) + 30/50. Which is bigger: 2 or x?
2
Suppose z - 2 = 0, 4*p - z - 6 = 3*p. Suppose -4*j + p = -8. Does 5 = j?
False
Let z = 19 - 16. Let v be ((-3)/z)/(2/(-4)). Which is smaller: v or 3?
v
Let c = -1 - 1. Let v be -1 + (-15)/12 - -1. Is c greater than v?
False
Suppose -6*o = -o + 40. Let q = o + 14. Which is bigger: q or 4?
q
Let p be 8/(-4) + 3 + 0. Let w be p*(3 - (2 - -1)). Do 2/7 and w have the same value?
False
Let h be 26/948*51/(-2). Let d = 4/79 - h. Let l = 7/20 - d. Which is smaller: l or 3?
l
Let s be 1 - (1 + 1/(-3)). Suppose 0 = -5*m - 2*y - 1, -4*y + 0 = 3*m - 5. Is m smaller than s?
True
Let w = 48 + -338/7. Which is greater: w or -4?
w
Let w(m) = 2*m**3 + 2*m**2 + 5*m + 4*m - 7*m + 1. Let z be w(-1). Which is greater: 2/25 or z?
2/25
Let b = -0.5 - 0.5. Are -7 and b nonequal?
True
Let s(o) = -o**2 + 5*o + 10. Let v be s(8). Does v = -15?
False
Let z = 62 - 52. Which is smaller: 8 or z?
8
Suppose -5 = -v + 6*v. Which is smaller: -1/9 or v?
v
Let z = 20.95 - 21. Let x = -0.7 + 0.55. Let i = x - z. Is i < -3?
False
Suppose -4*r - 12 = -j, 0*j + 16 = -r - 3*j. Let g be (r/(-6))/(10/285). Suppose 0 = s + 4*x - g, 0*s + 3*s - 4*x + 23 = 0. Which is bigger: -2 or s?
s
Let l be 2/(-4) + 66/4 + 4. Which is bigger: 21 or l?
21
Let a(r) = -r**3 - 16*r**2 - 15*r - 1. Let o be a(-15). Let b be 75/12 + (-1)/4. Which is smaller: o or b?
o
Let o = 4 - -5. Let u = o + -9. Let s be (-12)/135*(-5)/2. Which is greater: u or s?
s
Let s = 146 - 2335/16. Which is bigger: s or 0?
s
Let y be 2/(-2) + -1 + 0. Let d be 1*(1 + -1 + y). Is d not equal to -1?
True
Let r = -0.11 + 0.01. Are 21 and r unequal?
True
Let g(b) = -b**3 - b**2 + 2. Let m be g(-2). Let p(t) = -t**3 - 19*t**2 - 19*t - 13. Let q be p(-18). Which is greater: q or m?
m
Suppose 5 = 4*z + 33. Let a(x) = -10*x. Let p be a(1). Let t be (24/p)/((-6)/(-20)). Does t = z?
False
Suppose 0 = -4*r - 20, 5*q + 10 = -r - 0. Is 3/8 greater than q?
True
Let c(n) = -n**3 - 10*n**2 + 10*n + 13. Let t be c(-11). Suppose 0*r + 2 = r, 0 = -2*z - 5*r + t. Let q = -8 + z. Is 2/7 bigger than q?
True
Let i = -44 - -17. Which is greater: i or -28?
i
Let t = 0.2 + -0.3. Is -3 at least t?
False
Let f(n) = n**2 - n + 4. Let b be f(2). Which is smaller: b or 2?
2
Let c = 67/174 - 3/58. Which is smaller: c or 3?
c
Suppose -4*u - 5*l - 16 = 0, -l = 2*u - 4*u + 6. Let j(w) = -u - w**2 - 3*w + w + 0*w. Let d be j(-2). Which is greater: -2/9 or d?
-2/9
Suppose 4*l - 8 = -5*t + 3*t, -t + 3 = l. Which is smaller: l