ich is bigger: t or 1?
1
Let o = -6 - -26. Let l be (-8)/o + 19/(-15). Is -3 less than l?
True
Suppose 0*d - 2*d = 4*p - 14, 0 = -2*p + 2*d - 8. Suppose -2*a - p = -7. Let m be (-1 - -9)*(-1)/(-2). Which is bigger: a or m?
m
Let b(f) be the second derivative of f**5/20 + f**3/6 + f**2/2 + f. Suppose 0 = a - 3*a. Let i be b(a). Do i and 3/5 have the same value?
False
Suppose 5*u - 10 = 10. Suppose u*g = 2*g. Is g not equal to -1/6?
True
Let r(o) = -2*o**2 + 6. Let m be r(-5). Let a be (-1 - m/6) + 1. Let c = a - 7. Is 1 bigger than c?
True
Let t = 0.4 - 0.2. Which is greater: t or 0.05?
t
Let p = -731 - -2213/3. Let m = 1345/3 + -442. Let i = p - m. Which is bigger: i or 1?
1
Let g = -0.8 - 2.2. Let a = 6 + -6.2. Is g greater than or equal to a?
False
Suppose 0*y = 2*n - y + 55150, 0 = -n - 4*y - 27557. Let z = 193328/7 + n. Let k = 45 - z. Is k < -1?
False
Let v be (0/(20/(-4)))/(-3). Is v at most 12/11?
True
Let n = 10 + -2. Which is bigger: n or 7?
n
Suppose 0 = m + 2*a + 4 - 17, -2*a = 2*m - 20. Let y be ((-2)/(-3))/(3/27). Is y bigger than m?
False
Let d(l) = l + 3. Let s be d(-6). Let p be 3 - s*(-38)/42. Which is greater: -2/7 or p?
p
Let u(t) = t + 9. Let m be u(-6). Do m and 3 have different values?
False
Let a = -3.4 + 1.4. Is -3/7 >= a?
True
Let t = -111 + 111. Is t greater than or equal to 4/21?
False
Let v = -41 + 36. Let l = -3 + -1. Which is smaller: l or v?
v
Suppose 7*t = 4*t - 3. Is t greater than -2/31?
False
Let x be 0/((-2)/2*2). Let k be 2/3*(-99)/(-22). Suppose 0 = -k*z - 1 - 2. Is z at least x?
False
Suppose -5*f + 2*w + 0*w = -25, -5*f - 2*w + 5 = 0. Suppose b - 12 - f = 3*h, 4*h + 20 = 0. Let o = -1/410 + 1649/3690. Is o smaller than b?
False
Let q = 0.3 + -0.3. Let j = -15.9 - -15. Let l = j - 3.1. Which is greater: q or l?
q
Let t = 0.06 - 0.46. Which is bigger: -0.1 or t?
-0.1
Let a = 557/2 - 272. Which is bigger: 6 or a?
a
Suppose 25 = 5*w - 3*v, 0 = 4*w + 5*v + 3 + 14. Which is smaller: w or -5?
-5
Let m be ((-181)/3)/((-4)/3). Let y = 102743 + -3700369/36. Let o = y + m. Is o less than 1?
True
Suppose 0 = -0*c + 8*c + 8. Which is smaller: c or 2/39?
c
Let j = -0.108 + 1.108. Is 11 >= j?
True
Let d be 3/54*-8 + 1. Do d and 1 have different values?
True
Let o = 2 + -17. Let y be (-111)/o + (-2)/5. Suppose -5*x = 4*p - 13, -3*x + y*x + 3*p = 10. Which is smaller: x or 2?
x
Suppose -b - y + 3 = -1, -2*b + y - 7 = 0. Let v be 1 + b + 1 - -3. Which is smaller: 2 or v?
2
Let o be -2 + (51/45 - -1). Is 1/3 at most o?
False
Let o = 274/245 - -4/49. Suppose 0 = 5*p + 75 - 85. Is p bigger than o?
True
Let k = 3437/10541 + -46/127. Which is bigger: k or 1?
1
Let y = -1 + -1. Let x be (-6)/9 + y/6. Let s = 8 - 8. Which is bigger: x or s?
s
Let u(w) = -2*w - 25. Let p be u(-12). Is 0 at most as big as p?
False
Let p = -7 + 9. Suppose 2*q = -p*n + 22, -3*q + n = 2*n - 29. Let f be (-18)/(-11)*3/q. Which is greater: f or 2?
2
Suppose 2*t = -2*h - 74, -5*t - h + 4*h - 201 = 0. Let l = 27 + t. Let z be (1/l)/((-6)/(-12)). Which is smaller: z or 0?
z
Let v = -45.6 + 45. Which is greater: v or 5?
5
Let s = 6 + -6.08. Let g = -0.02 + s. Are 2/25 and g equal?
False
Let k be (-300472)/140 - 3/(-1). Let p = -2142 - k. Let h = p + -10/7. Which is smaller: h or -0.1?
h
Suppose 5*g = 0, -b = 2*g + g - 7. Is b at least as big as 8?
False
Let h = 10 - 20. Let n = h + 10. Let i = -3/11 + -3/11. Which is greater: n or i?
n
Let m(x) = -x**2 - x + 1. Let z(h) = h**2 + h. Let y(j) = 2*m(j) + z(j). Let o be y(0). Is o smaller than 5/7?
False
Let r be 1725*1/(-11)*1. Let x = r + 157. Suppose 2 = -3*j + d, d + 2 = 5*j + 6. Which is smaller: j or x?
j
Let c = -0.33 - -0.43. Let l = -2/257 - -544/3855. Is c less than or equal to l?
True
Suppose -11*t = -7*t. Is 2/131 < t?
False
Let c = -22 + 22. Let n = 6.4 - 7. Which is bigger: c or n?
c
Let d be (3 + -3)/(-1) + 0. Is d at least as big as 1?
False
Let c be (-32)/20*(-10)/4. Suppose z - 3*z + c = 0. Let t be (-4 - -6)*z/6. Which is smaller: 2 or t?
t
Let z be (-4)/(-22) - 1568/(-88) - 4. Is z >= 5?
True
Let z = 6 - 10. Let q = 75 - 223/3. Which is greater: z or q?
q
Let m = 7.4 + -7. Let q = m - 1. Which is smaller: 1 or q?
q
Suppose 2 = -5*q + 7. Which is greater: q or 4?
4
Let w be ((-4)/(-40)*-2)/(7/(-1)). Which is smaller: -1 or w?
-1
Suppose 2*p = -5*x - p + 13, 3*p - 3 = 0. Let k be -2 + 10/(2 - 3). Let s be (-2)/5 + k/(-5). Is x <= s?
True
Suppose -3*v - 11 = 4. Let r = 0 + -6. Is v > r?
True
Let r(q) = -3*q**3 - 4*q**2 - 2*q + 1. Let f be r(-2). Let x = f - 3. Suppose u - x = -4*u. Is 2 smaller than u?
False
Suppose 35 - 111 = a. Let l be a/120 + (-1)/(-2). Is l at least 0?
False
Suppose -v + 1 = -4. Suppose -v*y - 24 = -y. Is -6 greater than y?
False
Suppose 2*o + 9 = 3*r, 8*r + o - 28 = 3*r. Let h(s) = -s**3 + 3*s**2 + 6*s - 4. Let n be h(4). Which is bigger: n or r?
r
Suppose 4*t = t + 9. Suppose -l - 4 = t*l. Is -1/6 greater than l?
True
Let d = 8.2 + -8.3. Let c = -8 + 11. Let u be c*1 - (-3 - -4). Are d and u nonequal?
True
Let r be -5 + 2 - 2*-1. Let z(c) be the first derivative of -c**3/3 + c**2/2 + c + 1. Let w be z(2). Do w and r have the same value?
True
Let w be 111/(-57) + (-2 - -4). Let g = -10300251/190 - -54212. Let t = g - w. Is t >= 0?
True
Suppose -5*h - 52 = -137. Let u = 15 - h. Is u less than or equal to -3/2?
True
Suppose 8*y - 5 = 3*y. Suppose -2*b + 1 = 3. Let t(i) = 3*i + 2. Let c be t(b). Is y >= c?
True
Suppose 146 = 3*r + 5*l, -3*l + 159 = 3*r + 3. Let m be 51/r - (-1 + 2). Which is smaller: m or -1?
-1
Let m(o) = 3*o - 4. Let c be m(3). Suppose c*t + 5*z + 10 = 0, 3*z = 5*t + 11 - 1. Is -2 bigger than t?
False
Suppose 0 = 6*p - 2*p. Let i be 0 - (3 - p - 2). Is i at most as big as -1?
True
Let u be 8*(6/(-8))/(-1). Suppose -9 = -k - 5*i + 23, -5*i - 10 = -5*k. Is k < u?
False
Let q = 10 - 18. Let x = -15 - q. Is 0 greater than or equal to x?
True
Let p be -2 + (-4 - -6) - 0. Which is smaller: p or 1/6?
p
Suppose -7 + 27 = 2*v - 2*m, 2*v - 3*m - 25 = 0. Suppose 0 = -3*b + 2*b - v. Which is bigger: 2 or b?
2
Let u be (-1)/(-2)*2/3. Let n = -0.23 + 21.23. Which is smaller: n or u?
u
Suppose -3*d + 8*d = 15, -2*t - 4*d = -10. Are 3/13 and t non-equal?
True
Let r(d) = 6*d - 17. Let p be r(-5). Do -46 and p have the same value?
False
Let a be 48/(-22) - (-3 - -1). Let s(q) = 0*q - 1 + 5 - q. Let o be s(4). Is o at most as big as a?
False
Let d be (-2 - (-95)/15) + -2. Is d less than 3?
True
Let t be 0/(0 - 2) + -1. Let w(c) = c**3 - 2*c - 1. Let b be w(t). Which is greater: 5/6 or b?
5/6
Let x be -3 - ((-12)/2)/3. Which is smaller: x or 1/8?
x
Let j = 0.03 - 0. Let p = j - 0.13. Is 5 equal to p?
False
Let d(m) = 2*m**2 - 3*m - 1. Let v be d(3). Is v > 5?
True
Let w(u) = -u**3 + 6*u**2 + 7*u + 1. Let l be w(7). Is l smaller than -5?
False
Let h = 24 - 20. Which is smaller: h or 0?
0
Suppose -4*c - y = -20, -8 = -5*c + 3*y - 0*y. Suppose 0 = -c*q + q. Let j be -2 - 0 - (q + -1). Is j smaller than -2?
False
Let g be (-6)/(-14) + (-20)/(-35). Suppose 2*c = 3 + g. Which is greater: c or 7/3?
7/3
Suppose -2*k - 2*a = -0*k, -a = -3. Let f be -1*(2 + (k - -2)). Suppose 0 = -m - 3*m + 4. Which is greater: f or m?
m
Let y = -0.03 + 0.03. Which is bigger: -0.17 or y?
y
Let w be (-28)/(-10) - 1/(-5). Let a = w - 3. Let l be (-18)/15 + a + 1. Is l >= -1?
True
Let u = 42 - 42. Let r = -6412096/17 + 377447. Let q = r - 265. Which is smaller: u or q?
q
Suppose -16*d + 11*d = 0. Is -1/31 greater than d?
False
Suppose -2*h + 2 = 3*y - 0*y, -3*h + 3 = -4*y. Suppose 0*z + x = 2*z + 3, -z - 12 = -4*x. Is z greater than h?
False
Let t = 44 - 179/4. Which is greater: 4 or t?
4
Let f = -0.082 + 21.882. Let r = 22 - f. Is r less than or equal to 5?
True
Suppose -y - 4*y + 415 = 0. Suppose 3*c + 2*d - 29 = -y, d - 103 = 5*c. Let k be 2/(-4) - (-2)/c. Which is smaller: -1 or k?
-1
Let u be 3*(-1)/2*66/(-9). Which is smaller: u or -1/4?
-1/4
Let t = -7 - -11. Suppose t*r + 16 = 2*y - 0*y, y - 5*r - 20 = 0. Let a be 0/(2 - 1 - 3). Are y and a unequal?
False
Let g = -0.18 - -0.25. Let o = g + 0.93. Is o less than or equal to -5?
False
Let i(y) = y**3 + 8*y**2 + 6*y. Let f(k) = k**2 + 5*k - 1. Let m be f(-7). Suppose -3 = 3*c + 5*x + 13, 2*c + x = -m. Let r be i(c). Is 6 less than r?
True
Suppos