 3. Let t = x + 6. Which is smaller: t or 1?
1
Let b = -167/387 - -9/43. Let q(r) = r**3 + 2*r**2 + 1. Let v be q(-2). Which is smaller: v or b?
b
Let l = -48.3 + 51. Let h = l + -3. Let p = h - 0.1. Which is smaller: -1/3 or p?
p
Suppose -2*a + 15 = 5. Suppose 3*n = -r + 3*r - 4, 0 = a*r - n - 10. Suppose -8*q = -4*q - 8. Does r = q?
True
Let y = -46 + 137/3. Suppose -2*j = -0*j + 4*t, -6 = -2*j - 2*t. Let l be 0*-3*(-2)/j. Is l smaller than y?
False
Suppose -m - 16 = -4*m - 4*z, 5*m = -3*z + 12. Let u be (-529)/(-345) + (-3)/9. Which is greater: u or m?
u
Suppose 4*t + 6 = 2*q + q, -2*t = 2*q - 4. Suppose -r - d = 1, 0 = -2*r + q*d + 3*d + 5. Let z be r + -2 - (-21)/9. Which is bigger: z or -1?
z
Let w = -31 - -24. Which is smaller: w or 1/4?
w
Let t be 35/21 + (-2)/3. Let u = 2 + -1. Is t less than or equal to u?
True
Suppose -3*b = 4*v + 1, v + 4*b - 8 = 5*v. Suppose -h + 3*u = 3, 1 - 16 = -3*h - 3*u. Suppose -5*w - 4 = -h*w. Does w = v?
False
Suppose 5*f + 15 = 20. Let y = -24 + 95/4. Which is smaller: f or y?
y
Let s = 9.9 + 1.1. Let o = -1.7 - -0.7. Which is smaller: o or s?
o
Let c be (-792)/162 - 2/18. Which is greater: -6 or c?
c
Let i = -60 + 36. Is -25 greater than or equal to i?
False
Suppose -2*w = 3*r - 23, 5*w - 9 - 31 = -5*r. Suppose -x = x - 2*k, -4*k - 5 = -5*x. Let j = r - x. Do 0 and j have different values?
True
Let g = -2473/7 - -354. Which is smaller: g or 1?
g
Suppose 4*o = 4*n, 5*o = -3*n + 4*n - 20. Let y(w) = -w - 1. Let v be y(o). Suppose 4*j = 4*x + v, 0 - 3 = 2*x - 3*j. Is 0 equal to x?
True
Let a = -0.16 - -0.18. Are 1 and a non-equal?
True
Suppose 4*d - 22 = 2*r - 4*r, -3*r - 2*d = -17. Let a be 1 + (0/r - 1). Which is greater: 1 or a?
1
Let f be (14/4)/((-2)/4). Is f smaller than -7?
False
Let t = -9 + 8. Are 0 and t non-equal?
True
Suppose 4*w - 2 = 2. Let q be w/2 + 0 + 0. Let c = 0.99 - -0.01. Is c less than q?
False
Let p = 718384651/31527 + -706214/31. Let a = -74/113 - p. Let h = -6 - a. Which is smaller: h or 1?
h
Let u(o) be the first derivative of -o**2/2 + 7*o - 4. Let a be u(8). Is a != 2/17?
True
Let c = 15 + -11. Let o = -7 + c. Let h = 0 - 0. Is h greater than o?
True
Let o = 25 - 25. Let r = 4 + o. Do r and -1 have the same value?
False
Let j be (-35)/14*4/(-5). Suppose -j*v - g = -9, 3*g + 4 = 1. Let k be (8/(-6))/((-1)/3). Are k and v non-equal?
True
Let l = -1 + 1. Let k be (-18)/10 - (-1)/5. Let f = -2 - k. Which is smaller: l or f?
f
Suppose -88 = -x + 3*x. Which is bigger: -43 or x?
-43
Let f be 394/9 - ((-2)/9)/1. Is f less than 42?
False
Let g = 1.06 + -0.06. Let r = -21 + 13. Let w = r - -6. Which is smaller: w or g?
w
Suppose 5*y + 6 + 178 = -2*u, 0 = y - 4*u + 28. Which is smaller: y or -38?
-38
Suppose 2*d - 2*m = -2, -d + 2*m + 4 = -2*d. Which is smaller: 0 or d?
d
Let g(v) = -v**2 + 4*v + 5. Let k be g(5). Suppose 0 = -u, 0*x + 6 = 3*x - 2*u. Suppose -l + x*s + 2*s = -19, -3*l = -3*s - 12. Which is greater: k or l?
k
Let m = -41 + 44. Is m smaller than 4?
True
Let k = 0 - -3/2. Let a(u) = u**3 + 2*u + 1. Let y be a(-1). Let s = y - -5. Are s and k non-equal?
True
Suppose 3*w - 15 = 2*w - 5*y, -4*w - 60 = -4*y. Is w bigger than -14?
True
Let v = 0 + -1. Let j = v - -3. Let k be -2 - (0 + -1*j). Is -1/6 != k?
True
Suppose 2*x + u = 3*x + 2, 0 = -5*x + 2*u - 1. Let o = 1 - x. Let h be o*(0 + (-1)/(-2)). Is 1 equal to h?
False
Let c = -5 + 4. Which is greater: -2/5 or c?
-2/5
Let s(h) = -h**2 - 3*h + 4. Let n be s(-4). Let i be -3 - n - 0/(-3). Is -3 < i?
False
Let i = 50/77 + -4/11. Which is smaller: i or -3?
-3
Let d(f) = f - 3. Let b be d(6). Which is bigger: 2 or b?
b
Let h(v) = -v. Let u be h(-3). Suppose s - 3 = n, 0 = -2*s - u*s + 20. Is -1/43 <= n?
True
Let f be -3*4/(4/(-37)). Let d be -18*f/(-6) - 0. Let l be (-3)/2*12/d. Is l equal to -1?
False
Let v = 0.52 - 0.32. Are -13 and v non-equal?
True
Let g be (6/(-4))/((-12)/16). Let t be 3 - g/2 - -2. Let d be t/(-10) - (-11)/15. Which is greater: 1 or d?
1
Suppose -87 - 88 = -25*g. Is 14 less than g?
False
Let f(m) = m**3 + 8*m**2 + 7*m + 3. Let h be f(-7). Suppose -h*r + 12 = -0*r. Let o be (-14)/(-12) - r/6. Which is bigger: o or 0?
o
Let v be ((-4)/6)/(20/54). Let w = -325 + 323. Which is smaller: w or v?
w
Suppose 3*w = 0, 2*a = -3*w + w. Let b = 17 + -6. Let d be (-28)/(-693) - (-2)/b. Are d and a nonequal?
True
Suppose -3*w = -5*v - 6, -2*v = w + 2*v - 2. Suppose d + 4*d - 10 = 0. Let p = -1 + d. Is p less than w?
True
Let b = 0.7 + -0.66. Let c = b + -0.08. Let o = c - -1.04. Is 2/7 at least o?
False
Let j(o) = -o**3 - o**2 + 3. Let u = -7 - -7. Let z be j(u). Suppose -2*m = -3*y + z - 23, 0 = -2*m - 3*y - 4. Are m and 4 non-equal?
False
Suppose -x - 51 = -3*a + 3*x, 4*x = a - 17. Which is bigger: 18 or a?
18
Let n(y) = y + 10. Let s be n(-6). Suppose 12*a - 27 = 9. Is a at most as big as s?
True
Let x(n) = -n**3 + 9*n**2 - 5*n - 11. Let z be x(8). Suppose 7 = 5*l - z. Let s be -2 + -1 + 10/l. Is s not equal to 0?
True
Let p = 151/3 - 51. Let f = -1 - -1. Suppose -4*z - 2*x = f, 0*z + 3*z - 4*x + 11 = 0. Are p and z unequal?
True
Let w(u) be the second derivative of -u**4/12 - u**3 + 4*u**2 - 4*u. Let d be w(-7). Let g = 5 - 3. Which is bigger: g or d?
g
Suppose 2*c = -2*c - 16, 5*n + 1 = -4*c. Let r(j) = j**3 - 4*j**2 + 2*j + 2. Let t be r(n). Which is bigger: t or -1/13?
-1/13
Let o = 73 + -74.9. Which is smaller: o or 2?
o
Let d(y) = -6*y**3 + y**2 - 1. Let g be d(1). Let i be g/(-21) + 48/(-119). Let z be 2/(-4)*0/(-5). Is i greater than or equal to z?
False
Let n = -46 + 45. Let i = 1.8 + 0.2. Is i at most n?
False
Let q = 54584/49 - 1114. Does q = 0?
False
Let m = -86/3 + 28. Let t = -0.15 - 0.1. Let b = -0.05 + t. Are m and b unequal?
True
Let p be (-18)/(-36)*(2 + -4 + 2). Which is bigger: 1 or p?
1
Let w = 12 + -6. Let j be ((-2)/w)/(2/6). Let i be (-2)/5 + 4/10. Which is smaller: i or j?
j
Let k = -11 - -11. Let j be 1363/(-13) + 4/(-26). Let i be 3/21 + 141/j. Are k and i equal?
False
Let z = 63 + -63. Which is bigger: 6/31 or z?
6/31
Let b be 20/30 - 7/(-3). Suppose 3*y - 33 = -b*l, 3*l + l - 2*y = 14. Is l at most 5?
False
Let c be (-15 - -17) + -1 + 0 + -13. Is -12 > c?
False
Let c be (-147)/(-45) + 10/25. Is c < 5?
True
Let d be (48/224)/(6/8). Which is greater: 2/17 or d?
d
Let x = -5 - -6. Let o be ((-4)/3 + x)*0. Suppose 0*l = 4*l - 4. Which is smaller: o or l?
o
Suppose -5*l = 2*w - 9*l - 80, -l - 65 = -2*w. Which is bigger: w or 28?
w
Suppose -5*o + 4*a + 21 - 4 = 0, o - 4*a + 3 = 0. Is o != 6?
True
Let r(m) = -m**2 - m + 1. Let o be r(-2). Is 22 not equal to o?
True
Let f(x) = -x**2 - 9*x - 5. Let v be f(-8). Is 0.1 equal to v?
False
Let l = 1 + -4. Let o = 2 - -4. Are o and l equal?
False
Let s = -0.3 + 1.3. Let n(v) = 2*v - 8. Let m be n(6). Suppose -1 = -m*w + 3*w. Is w smaller than s?
False
Suppose -2*z - 4 = -3*z. Suppose -4*q + 26 = -2*k, q - k + 5*k = -16. Do q and z have different values?
False
Suppose 0 = -2*g + 7*g + z - 11, -10 = -3*g - 4*z. Are g and 2 non-equal?
False
Suppose -4*d - 2*n = -0*n - 4, -4*d - 5*n + 4 = 0. Let l be (-2 - d) + 4 + -5. Let u(j) = j**2 + 3*j - 4. Let s be u(l). Which is smaller: 1 or s?
s
Let n = -1 + 2.3. Let b = 2.3 - n. Let x = -1 - -0.9. Which is greater: x or b?
b
Let k be -2 + (-2 - 87/(-20)). Let l = -3/5 + k. Let n be 10/15 + 1 + -2. Is n less than l?
True
Let o = 6.09 + -6. Let l = -0.09 + o. Does l = 0.1?
False
Let g be 113/(-14) - 3/7. Is g equal to -10?
False
Let p = -3 - -5. Let g be 0 - 1/2*-5. Which is smaller: p or g?
p
Let g = -2 + 1. Which is smaller: -1/59 or g?
g
Let i = -16 + 24. Let u = 7 - i. Which is greater: u or 1?
1
Suppose -3*i + 9 = w, 2*w + 0*w - 15 = -3*i. Suppose 3*g = 111 - w. Let y = g + -141/4. Which is smaller: y or -1?
-1
Let l be (4 + -10)*(28/13 + -2). Is l less than or equal to -2?
False
Let w(o) = o**2 - 6*o + 4. Let m be w(5). Let h be -9 - (0 + -1 + m). Suppose -4*y + y = 5*z + 15, 0 = -3*z - 3*y - 3. Is z less than or equal to h?
False
Let h = 38 - 37. Let p be 54/(-22) + (1 - -2). Which is smaller: h or p?
p
Let p = 15.4 - 15.5. Is p greater than or equal to 0.53?
False
Let x = 13/1540 - -1/70. Is x != 1?
True
Suppose 6 = 2*p - p. Suppose -3*h - 4 = 3*u - 8*h, -2*u - h + p = 0. Is u bigger than 2?
False
Let w be 2