 p). Do 0 and m have different values?
False
Let i be 2 - 1 - 22/7. Let r = i + 16/7. Are r and 0 equal?
False
Suppose 7*z - 2*z - 265 = 0. Let v be z/4 - (-1)/(-4). Let u = v - 11. Is 2 not equal to u?
False
Let h be ((-1)/3)/(6/4). Let t(k) = k**2 + 6*k + 2. Let a be t(-8). Let o be 14/a + 6/27. Which is smaller: o or h?
h
Let q(c) = -2*c + 3. Let n be q(-5). Suppose 5*m = -7 - n. Let w be 7/9 - m/18. Is -1 less than w?
True
Suppose -2*p - 2 = 2. Let j = -1 - p. Let m be 0 - j - (-16)/10. Which is smaller: m or 2?
m
Let o = 4/135 + -217/11880. Which is greater: o or 0?
o
Suppose 5*z = -5*v + 3*z - 19, -25 = 5*v + 5*z. Let t be (-48)/54*v/4. Which is greater: -0.1 or t?
t
Let f = -169 + 170. Is 2/23 at most as big as f?
True
Let q(j) be the third derivative of -j**5/60 - j**4/6 + j**3/6 + 3*j**2. Let w be q(-3). Suppose x = -x - w. Which is bigger: 2/5 or x?
2/5
Let q(a) = a**3 + 2*a**2 - 2*a - 1. Let y be q(-3). Which is smaller: y or -10/3?
y
Let d be -2 + -3 + 6 + 1. Which is smaller: 4/3 or d?
4/3
Let u be (2/12)/((-4)/(-6)). Let d(j) = 4 + 5*j - 2*j - 4*j. Let q be d(7). Which is smaller: u or q?
q
Let g = 5 + -1. Let m = 3.9 - g. Is 2 at least as big as m?
True
Let u = -135 - -279/2. Is u > 6?
False
Let z = 1.3 + -0.3. Let i = 0.8 - z. Let a = -0.2 - i. Are -2 and a unequal?
True
Let n = -8 + 5. Let d be n/(-1) - 30/18. Is d greater than or equal to 0?
True
Let v = -36 + 41. Let l be (1 + -10)*(-2)/3. Do v and l have the same value?
False
Let w(f) = f**2 - f + 2. Let m be w(2). Suppose -3*h + 8 = 6*d - m*d, 20 = -h + 5*d. Let g = -329 - -4279/13. Which is smaller: g or h?
h
Let v = -6 - 0. Let f be -2*(15/v)/5. Let i be 3/2*4/21. Is f greater than i?
True
Let k = -3 + 3. Suppose k = -5*t + 2*t. Which is smaller: -1/4 or t?
-1/4
Let p = -54 + 57. Which is smaller: 5 or p?
p
Let c(y) = y**2. Let b be c(-1). Let p = -204 + 3875/19. Let m = 25/114 + p. Which is greater: m or b?
b
Suppose 4*r - 36 = r. Suppose 3*b - r = -0*b. Is 3 less than b?
True
Let v = -0.06 + 10.06. Let i = -9.7 + v. Is i < 0?
False
Suppose -2*x = -0 + 2. Let f = -9/20 + 7/60. Are f and x nonequal?
True
Let a = -18 - -19. Which is greater: a or 4?
4
Let k = 1.95 + 0.05. Let y be (-1)/5*(5 - -4)/3. Is y less than k?
True
Let a be (-187)/(-51) + -3 + 0. Is a at least 2?
False
Let a = 14/197 + 7993/1182. Let s be ((-1)/3)/(1/(-21)). Let p = a - s. Do p and 1 have the same value?
False
Let l = -0.6 - -0.1. Let r = l - 1.5. Let c = 298 - 1191/4. Is c < r?
False
Let v be 16/12*(-3)/(-15). Which is smaller: -1 or v?
-1
Let u = 6 - 3. Let h be (5/45)/(1/u). Let d = -4 - -4. Is h less than or equal to d?
False
Suppose 9*v + 11*v + 420 = 0. Which is smaller: v or -23?
-23
Suppose -2*o - 3*c - 15 - 3 = 0, 0 = -5*o + 5*c - 95. Let q be (2/o)/((-590)/15). Let d = -597/2065 + q. Is d greater than or equal to -0.5?
True
Let l = 20140034 - 180910522/9. Let b = l - 38936. Let j = b + 71. Which is greater: j or -1?
j
Suppose 0 = -5*h + d + 92, h - 42 = -h + 3*d. Let q = -9 + h. Is 9 > q?
False
Let m = 3 + -2. Suppose -m = 4*o - 17. Is o at most 3?
False
Let j(t) = -t - 7. Suppose 3*x + x = 8. Let b be 7/(-1*x/2). Let l be j(b). Are 1 and l unequal?
True
Suppose 0 = -8*u + 3*u + 50. Let m be 3/6 - u/12. Let j = -0.07 - 4.93. Is j greater than m?
False
Let v be ((-30)/(-14))/(8/84*-3). Do v and -9 have the same value?
False
Let g = -1287841/99 + 13009. Let z = g - 8/11. Which is greater: -2/5 or z?
z
Let w(u) = -u**3 + 3*u**2 - u - 2. Suppose 0*j + 10 = -j + 4*q, q = 3. Let b be w(j). Which is greater: -1/4 or b?
b
Let m = -1308/15571 + -2/677. Which is smaller: m or 1?
m
Suppose -5 + 1 = 2*w. Let m be (-5 + w)*4/(-14). Does m = 0?
False
Let l be (2 + (-5 - -2))*1. Let r = -1 - l. Let u be (6/9)/(2/3). Is u at least as big as r?
True
Let r(s) = -s**3 + 7*s**2 + 5. Let x be r(7). Suppose 3*z + 24 = z + x*n, 4*z = -4*n - 20. Let a = z - -7. Which is greater: a or -4/7?
a
Suppose 19 = -3*x + 4. Let n = x + 5. Let r be (30/175)/(3/10). Which is smaller: n or r?
n
Let y = -62 + 89. Which is greater: 26 or y?
y
Let v(m) = -m - 1. Let h be v(-3). Suppose -h*b + b + o = -24, -2*b = o - 51. Suppose -4*p + 2*d = d, -5*d - b = 5*p. Which is greater: 2/15 or p?
2/15
Let o = 7 - 6.7. Let z = o + -0.4. Suppose -i = -1, -5*f = i + 15 + 4. Are f and z equal?
False
Suppose 3*i + 0 = -3. Let v be (-1)/4 - 3/4. Let s = -1 + v. Which is bigger: s or i?
i
Let a be ((-6)/(-9))/(8/(-12)). Let d = a - 4. Is -4 less than d?
False
Let g be 102/(-110)*(-11)/(-66). Let j = 2/165 - g. Which is bigger: 0 or j?
j
Let r = -248/5 - -48. Do -1 and r have the same value?
False
Let n(m) = 6*m - 20. Let s be n(4). Which is smaller: s or 5?
s
Let a = 22 - 21. Which is smaller: 2/89 or a?
2/89
Let c be (2 - 1)*(-2)/17. Let b be 32/(-72) - (-13)/9. Which is greater: c or b?
b
Suppose 0 = -4*f + f. Suppose 10 = n - m - 3*m, m = -4*n + 6. Let s be ((-2)/(-4))/((-3)/n). Is f > s?
True
Let c = -36/53 - -2/159. Which is bigger: -0.09 or c?
-0.09
Let x be 4/(-10) + 52/455. Which is smaller: x or -0.1?
x
Let v = -15 + 13.8. Let f = v - -4.2. Is f < -0.2?
False
Let r = 0.5 + -0.9. Let j = -0.4 - r. Is j less than -0.1?
False
Let z be -4*4/8 + 8. Suppose h - z = -h. Suppose 0*x + 3*x = m + 16, m - 2*x = -11. Is h < m?
False
Let f = -0.1 - 0.1. Let n = -2 - -4. Which is smaller: n or f?
f
Suppose 6*p - 10 = p. Suppose p*h + 1 = h. Let s = h + 1. Is s != -2/7?
True
Suppose -7*r + 2*r + 5 = 0. Let l = 15 - 17. Let j be (-2)/132 + l/12. Which is greater: r or j?
r
Let q be (-18)/8 - (-1)/4. Let p(x) = -x**2 - 9*x - 3. Let z be p(-9). Is q < z?
False
Let b(c) = 2*c**2 - 30*c + 9. Let d be b(15). Which is greater: d or 10?
10
Let m = 0.1 + -0.2. Let p be (10 - 711/72)/(14/8). Which is smaller: p or m?
m
Let l(p) = -p**2 - 5*p + 5. Let f be l(-5). Let k = 9 + -9. Suppose k = -d + f*d. Is d bigger than 0?
False
Let d be 17/(-2) + (-2)/4. Let i be (-6)/d*1/3. Suppose 0 = -3*f - f. Is f at least as big as i?
False
Let l(a) = a**2 + 3*a - 5. Let m be l(-4). Which is smaller: -3 or m?
-3
Let v = 18 + -16. Let d = 105 + -523/5. Are d and v equal?
False
Let l be 1*-2*-1 + 0. Suppose l*w + 7 = 3*z, w = -4*z - 2*w + 32. Suppose -h + 2*q - 4 = 0, 0 = -3*h + h + q - z. Is -1 at most as big as h?
False
Suppose n = -5*z + 119, -3*z + 2*z - 131 = -n. Let x = n - 83. Suppose 4*t - 16 = 2*r, -4*r + x = 4*t + t. Which is bigger: t or 7?
7
Let u(y) = -y**2 - 3*y - 1. Let l be u(-4). Let q = 4 + l. Which is greater: -3 or q?
q
Suppose s + 4*j = -4*s + 6, -4*j + 24 = -4*s. Let c be -2 - s - 4/(-1). Let w be 0 + 0 - (-5 + c). Are w and 1 equal?
True
Let m = -149/4 - -35. Which is bigger: m or -0.2?
-0.2
Let a = -0.1 + 0.9. Let u = a - 0.9. Let s = -0.3 - u. Which is bigger: s or -0.1?
-0.1
Let r = -32 - -32.6. Is r smaller than -2/7?
False
Let d be 0/(-2) + -4 - -5. Is 1 at least d?
True
Let q = 1.9 - 1.81. Let b = q + -5.09. Let s = b + 5. Which is smaller: s or -1?
-1
Suppose 0 = 5*t - 2*l - 78, l - 1 = -0*l. Let w = 15 - t. Which is smaller: w or 2/9?
w
Let f be 18/8 - (-1)/(-4). Let l be ((-5 - -3)/f)/(-1). Which is smaller: 3 or l?
l
Let k = 0.1 + -0.1. Let q = 8.8 + -13.8. Which is bigger: q or k?
k
Suppose 4*y - 24 = -80. Which is smaller: -15 or y?
-15
Let k be 13/(-26) - (-11)/2. Is k at least as big as 4?
True
Let t = 1 + 4. Let p be t*((-3)/(-15) + -1). Let k = p + 3. Which is smaller: k or 1/5?
k
Let d = -55 - -70. Is d < 15?
False
Let t(v) = -5*v + 2. Let g(d) = -d**2 + 7*d - 4. Let m be g(6). Let o be t(m). Let q = -5 - o. Which is smaller: q or 4?
q
Let f be (-1 - -1)*10/(-20). Suppose -5*a + 16 - 1 = f. Suppose 0 = 5*h - y - 16, 0 = 3*y - 0*y + a. Do h and 1/3 have the same value?
False
Let k = 4.9 + 22.1. Let f = 29.7 - k. Let t = f + -3. Which is smaller: t or 0?
t
Let c = -3 - -1/3. Let d(s) = -s**3 + s**2 - s - 3. Let m be d(0). Does c = m?
False
Let q = 10 - 11. Is q <= -1?
True
Let i(p) = 2*p + 2. Let c be i(-1). Which is bigger: 1/75 or c?
1/75
Suppose -5*j - 5*r - 5 = 0, 5*r = 4*j - 0*j - 23. Let q = j + 3. Is 6 equal to q?
False
Let x = -39/7 - -272/35. Is x > 2?
True
Let y = 4689/44 + -1098/11. Which is smaller: y or 7?
y
Suppose 0 = 4*o - o + 6. Let q be (-2)/o*(1 - 2). Let a = -3 - q. Which is smaller: a or -4?
-4
Let n = -5/4 + 39/