 + 1.6. Let j = 0.7 - a. Which is smaller: 1 or j?
j
Let u = 45.1 - 45. Is 19 greater than u?
True
Suppose 3*v - 12 = v. Let y(p) = -p**2 + 6*p - 8. Let a be y(v). Let g = 11 + a. Is g not equal to 2?
True
Suppose 3*d = 2*d + 2*k - 3, -3*k = 4*d - 21. Let n be 3 - d - (-2 + 3). Is n less than or equal to 0?
True
Let m = 3 + -1. Suppose -5*l + 15 = -y, m*y = -4*l + 2*l - 6. Let a = 7 + -4. Is l not equal to a?
True
Let a be (3/(-9))/(7/(-105)). Suppose -3*u = -3*n, -n + 20 = -0*n - a*u. Is n equal to -17/3?
False
Suppose -2*x = -7*x + 340. Let m be 2/9 - x/144. Let l = -0.3 + 0.2. Which is bigger: m or l?
l
Suppose 3*j = -h + 5, 5*h + 3*j - 39 = -2. Let k be (-56)/190 - h/(-20). Are 0 and k nonequal?
True
Let d = -8 - -4. Which is smaller: d or -5?
-5
Suppose -6 = 5*z + 4*c + 4, 0 = z + 3*c + 2. Suppose 5*m - 47 = -62. Are m and z equal?
False
Let d = -20 + 35. Let g be d/(-6)*(-8)/(-170). Is g at most 1?
True
Let f be 35/4 - (-8)/32. Do 9 and f have the same value?
True
Let b = 5 - 0. Suppose 0 = -5*x + g - b + 14, -5*x = -3*g - 7. Suppose -2*k = -5*k + 6. Is k at most as big as x?
True
Let a = 4077 - 4021.98. Let b = a - 56. Let h = b - 0.02. Do 0 and h have the same value?
False
Let h = 0.1 - 0.1. Let s = 0 + h. Is 0 <= s?
True
Let g = -2.1 - -1.1. Is g at most as big as -3?
False
Let u be 2/4 - (7 - 6). Suppose -y = -2*p - 8, y + 5*p + 20 = 3*y. Are u and y unequal?
True
Suppose 0 = -14*n + 1137 - 311. Which is smaller: n or 60?
n
Let o = -7 - -5. Let q = -51 - o. Let b = 247/5 + q. Which is greater: -0.1 or b?
b
Let o be 10/15*(-3)/4. Suppose -5*q = -2*q - 9. Suppose 0 = q*s + 2*s. Which is greater: s or o?
s
Suppose 4*c - 5*l - 20 = 0, -4*c + 0*c + 56 = 4*l. Let o = 11 - c. Let z = o + -10. Is -9 at most z?
True
Suppose 2*c = -0*c - 4. Suppose -3*l + 4 = -5. Let w = l - c. Is 5 < w?
False
Let l = 1.04 - 0.04. Which is greater: l or -13/3?
l
Let c(o) = -2*o + 3. Let z be c(2). Let f be ((-25)/(-15))/(76/3). Let l = f + -207/836. Is z >= l?
False
Let v = -0.5 - -2.5. Which is smaller: v or 4?
v
Let h = 60/13 + -472/91. Suppose 3*x = -4*p - 8, -x - 5*p - 14 + 4 = 0. Is x at least as big as h?
True
Let c = -1.05 - -0.05. Let j = -0.9 - c. Is j greater than 0.8?
False
Let t be 4/(-8) - 267/(-6). Let f = t - 131/3. Which is smaller: f or -1?
-1
Let x = -0.1 - 0.1. Let y be (-3)/98*7/2. Let p = y - -37/84. Which is smaller: x or p?
x
Let r(j) = -j**2 - 6*j + 1. Let y(c) = 1. Let s(w) = -r(w) + 4*y(w). Let x be s(-6). Which is bigger: x or 2?
x
Let d(f) = 4*f - 2*f**2 + 4*f**2 - f**2 + 2. Let c be d(-3). Which is greater: c or 4?
4
Let h(b) be the second derivative of b**3/3 - 3*b**2 - b. Let c be h(4). Let l be 3*(c/(-24))/(-1). Is 1 at least as big as l?
True
Let m = -1/574 - -17231/6314. Which is smaller: m or 4?
m
Let y = 0.05 - 2.05. Let j = -23.8 - -32.8. Do j and y have different values?
True
Let p(r) = -r**3 - 7*r**2 - r - 5. Let v be p(-7). Suppose a + v*a = -54. Let w be ((-5)/a)/(-5)*4. Which is greater: w or 1?
1
Let h = 1963/35 + -56. Which is bigger: -1 or h?
h
Let z(o) = 16*o + 18*o - 7*o. Let b be z(4). Let x = b + -542/5. Is x at most 0?
True
Let f be 8/20 - (-44)/(-135). Which is bigger: f or 1?
1
Let m be (2 - 4 - -14)/1. Let p = m + -13. Is -2 > p?
False
Let c = -15 - -9. Let w = -25/4 - c. Which is smaller: 0 or w?
w
Suppose 7 = 5*x - 18. Suppose 2*i = 7*i - 10. Let l be 10/8*i/x. Which is smaller: 1 or l?
l
Suppose 4*c = -5 - 23. Which is smaller: -6 or c?
c
Suppose s - 14 = g, -s + 0 = -4*g - 5. Let z = s + -23. Is -6 not equal to z?
False
Let h = 23 + -22.8. Which is smaller: -1 or h?
-1
Suppose 6*t - 10*t + 192 = 0. Which is smaller: 49 or t?
t
Let x = -40/7 + 659/119. Let y = x + -177/442. Let d = y + 1/13. Is -1 greater than d?
False
Let k be 6/(-15)*(0 + -10). Suppose -2*v = -h + 8, 0 = h - v - k*v - 20. Let x = 1 - h. Which is smaller: x or -1/4?
-1/4
Let m = 14 - 7. Suppose -m*f - 3*c = -2*f + 12, f = 2*c + 8. Is 2/11 at most as big as f?
False
Let a = -19/7 + 29/21. Let k be (-7)/(-2) + (-6)/12. Suppose -4*c = -k*c. Is a greater than c?
False
Let n be (-1)/(3/6*1). Let f = -6 - n. Is f smaller than -3?
True
Let v = 9 - 6. Suppose -3*y = -i - 8, -2*y + 14 + 3 = -v*i. Let x be (-3)/(y - 1 - -1). Which is smaller: x or -4?
-4
Suppose 2*z = -3*z + 5. Let s = -45 + 34. Is z > s?
True
Let q = 79.97 - 82. Let g = q - -2. Let v = -1.97 + g. Which is smaller: v or -0.2?
v
Let o(y) = y**2 + 16*y + 1. Let l be o(-16). Is 1/40 less than l?
True
Suppose -3*q - 67 = 2. Which is smaller: -22 or q?
q
Let r = -14.8 + 2.8. Let q = 12.2 + r. Which is greater: q or -0.4?
q
Let l = 142 - 142. Which is smaller: l or -100?
-100
Suppose -4 = -2*c - 0. Suppose -1 = 3*o + 2, 3*b - 12 = 3*o. Suppose -b = 3*s - 12. Is c bigger than s?
False
Suppose 2*a - 5*a + 5*u = -17, -5*u - 15 = -5*a. Which is smaller: a or 7/18?
a
Let y be 4/(1 - -7)*4. Let h be 52/10 + y/(-10). Let t(c) = 6*c**2 - 1. Let l be t(-1). Are h and l equal?
True
Let h(n) = n + 24. Let l be h(0). Let t be (-10)/(-4)*l/15. Suppose 0 = -c - 2, -v + 0*v - t*c = 9. Which is smaller: 1/4 or v?
v
Let c = 59 + -35. Does 24 = c?
True
Let r be -3 - 2*(-4)/(32/4). Which is smaller: r or -5?
-5
Let b be -1 + (-3 - -2) - 2. Let l = 8 + b. Let s = l - 2. Is s smaller than -0.1?
False
Suppose -2*m = 4 + 22. Let p(v) = -v**2 - 12*v + 7. Let i be p(m). Which is greater: i or -4?
-4
Suppose -2*x + 3 = 1. Suppose -x = -5*i - 6. Is i >= -1?
True
Suppose -14 = 4*h - 3*h + 5*a, 2*a = -2*h - 20. Is -9 at least as big as h?
True
Suppose 0 = -5*i + 25 + 5. Let l be (10/(-15))/(8/i). Which is smaller: -1 or l?
-1
Let k be ((-10)/15)/(7/3). Is k less than or equal to 1?
True
Let j = -7 - -13. Let f be (j/9)/((-10)/(-6)). Do -1 and f have the same value?
False
Let u be 852/(-684) - 2/6. Is -1 < u?
False
Let j be 24/(-36)*3/(-7). Let u = -8 + 13. Is u at most j?
False
Let p be 30/9*2/26. Let j = -4/117 + p. Which is smaller: j or 0?
0
Suppose 2 = 3*a - 4. Let j = a + -1. Suppose 0 = -5*v + 1 + 9. Which is greater: v or j?
v
Let f = 10 + -7. Are 11/6 and f nonequal?
True
Let p be 48/10 - (-3)/15. Let f be -12*((-10)/(-6) + -2). Let g = p - f. Which is smaller: 1/6 or g?
1/6
Suppose 5*k - 15 = 2*p + 2*k, 10 = 2*k. Is p greater than or equal to 3/7?
False
Let z = 10 + -12. Let s = -4 + 3. Which is bigger: z or s?
s
Suppose 2 + 26 = b. Let g be 92/b + 1 - 4. Suppose 3*y + 5 = -2*w - 1, 4*y - 5*w - 15 = 0. Which is smaller: y or g?
y
Let w = -75 + 74. Are -1 and w equal?
True
Let f be 6/(-24) - 14/24. Let p = 1/2 + f. Let r = p - -11/24. Which is smaller: 0 or r?
0
Let d be (-63)/(-54) - 2/4. Suppose k = -2*k. Which is bigger: k or d?
d
Let k = 2/1751 - 152341/3502. Let o = k + 42. Which is smaller: -1 or o?
o
Let i = 18 + -11. Suppose -i*v + 4*v = 0. Is 0 at most v?
True
Suppose -v + 7 + 12 = 0. Which is greater: 18 or v?
v
Let p be (-10)/(-228)*(4 + -15). Let d = p - -6/19. Let q = 4 - 4. Which is smaller: q or d?
d
Let t be (-6)/(-4) - 8/16. Suppose -c + 1 + 0 = 0. Is c != t?
False
Let t be ((-6)/8*-10)/6. Is -1 at most as big as t?
True
Let z = 9.5 + -3.4. Let f = z - 6. Are f and 1 unequal?
True
Let a = 0.449 - 0.149. Let f = -2290/11 + 208. Is a smaller than f?
False
Suppose -2*v + u = -5*v - 17, 0 = -5*v + 2*u - 32. Let z be (-2)/(1 - (-21)/v). Which is bigger: z or 1?
1
Suppose 4*a = 12, -5*a + a = 4*l - 16. Which is smaller: l or 6/11?
6/11
Let j = 2 + -1. Let x = -188 - -753/4. Are j and x unequal?
True
Let q(m) = -m - 3. Suppose -17 = -5*l - 52. Let f be q(l). Let z be (2/f)/(6/24). Is z less than 2?
False
Let q be (0 + 1 - -2) + 1. Suppose 0*o = o - 6. Suppose -d + o = d. Is d not equal to q?
True
Let j(m) = -m**2 + 2*m + 4. Let u be j(3). Is u greater than or equal to 1/4?
True
Let i(k) = -k**3 - 6*k**2 + 8*k + 8. Let m be i(-7). Let z be 171 + 1 + 1/m. Let p = z - 1555/9. Is 1 greater than p?
True
Let z be 0 - 6/(-4)*12. Let m be (6/(-40))/(z/(-24)). Which is bigger: m or 5?
5
Let v be (1/3)/((-1)/(-6)). Suppose z = v*z. Which is smaller: -6 or z?
-6
Let h = -1.719 + 0.076. Let x = h - 0.327. Let f = -0.03 + x. Is f smaller than 0.1?
True
Let c(n) = -n**3 + 3*n**2 + 4*n - 3. Let r be c(4). Let i = -9 - -9.1. Is i bigger than r?
True
Let g be 1 + (-12)/3 + 1. Let s = g + -1. Let p be s*1/(-12