r 1?
1
Let l = 4.4 + -3.4. Which is smaller: -13 or l?
-13
Let h = -7 - -2. Let s be 39/145 - h/(-25). Which is smaller: 0 or s?
0
Let v be 12/(12/3) - -15. Are 19 and v non-equal?
True
Let b be ((-27)/(-6))/3 - 3. Which is greater: b or -2?
b
Let x = -11 - -13. Let o = 2 - x. Let t be (12/105)/(2/5). Which is bigger: o or t?
t
Let a = -46 - -45.79. Is a bigger than 0.1?
False
Let w be 3 + 0 + 252/(-87). Which is greater: w or 2?
2
Let n = -5 - 3. Suppose -3*z + 6*z = -24. Is n at most as big as z?
True
Let s be (-6)/(-15) + (-16)/(-10). Let i be s - ((-5)/1 - -2). Is 4 not equal to i?
True
Let c(l) = l**3 - l**2 - l - 6. Let g be c(-2). Is -4 greater than or equal to g?
True
Let p = 182 - 181. Is p at least as big as 134?
False
Let i(l) = -l**2 + 6*l + 2. Let n be i(6). Let s = -3 + n. Let u = s - 0. Which is smaller: -2/9 or u?
u
Let t = -0.06 + 9.06. Let m = -9 + t. Is -2/7 at most m?
True
Let i(t) = 3*t. Let h be i(-2). Let c(f) = f**3 + 5*f**2 - 5*f + 5. Let m be c(h). Let z = -1 - m. Is z at most 0?
True
Suppose -3*m + 2*m - 11 = -2*i, -3*i - 1 = 2*m. Let v = 11 + -8. Is v not equal to i?
False
Let x be 5/(-2)*8/(-10). Let p be (2 + -1)/(x/14). Let z = p - 8. Is z at most 0.1?
True
Let y = -7.3 - -7.1. Is 4 bigger than y?
True
Let j = -17 - -101/6. Let c = -2/3 - j. Are c and -2 unequal?
True
Let r be 1 + 0 + 5615/45. Let a = -126 + r. Is 1 >= a?
True
Suppose 2*w + 0 - 1 = k, 2*w = 3*k - 5. Suppose k*i = -i - 8. Which is smaller: -1 or i?
i
Suppose 7*w = 4*w. Suppose p - 7 = -5*j - w, 4*p = j - 14. Let s be ((-1)/(-8))/(p/(-4)). Which is smaller: s or 0?
0
Let k be 0*((-1)/2 + 0). Suppose 4*a + 7*j + 52 = 3*j, 4*a - 3*j + 17 = k. Let d be (-2)/a - 78/504. Do 1 and d have the same value?
False
Let o(w) = w**3 - 8*w**2 + w - 8. Let x be o(8). Is 5/7 less than x?
False
Let a(t) = -t - 12. Let w be a(-6). Let g be ((-22)/(-44))/(1/(-22)) + 4. Do g and w have the same value?
False
Let w(y) = y**3 - 9*y**2 + 7*y + 11. Let u be w(8). Is u bigger than 0?
True
Let a(u) = -u**3 - 4*u**2 + u + 3. Suppose 4*q = 5*g - 2, 0 = -5*g - 3*q + 2*q + 12. Suppose -g*y = -4*y - 8. Let s be a(y). Do -1 and s have the same value?
True
Let p = -0.91 + 0.01. Let l = p + -0.1. Let a = 1 + l. Which is smaller: -2/3 or a?
-2/3
Let w = 3 + 0. Suppose 8 - 17 = -w*z. Let r = 10 + -8. Which is greater: z or r?
z
Let h = 7 - 3. Let t = h - 4. Which is smaller: 1 or t?
t
Let z(p) = p - 6. Let l = 25 - 17. Let w be z(l). Suppose -3*x = -1 - w. Is 3 >= x?
True
Let s(p) = -7*p**2 - 1. Let a be s(-1). Is -6 less than a?
False
Let y = -23 + 39. Suppose 2*u + 5 - y = -m, 0 = -3*m + 5*u - 22. Is 1 less than m?
False
Let c = -115.35 - -116. Which is smaller: c or -0.1?
-0.1
Let x = -4114466/3423 + -556/489. Let g = x - -1191. Let d = g + 12. Is -1 greater than d?
False
Suppose n + 13 = 4*k, -k + 3*n + 4 = -2. Suppose 0*d - k*d = 0. Is 2/13 at least d?
True
Let t be (12 - -21) + (0 - -2). Let l be (-10)/t*(-21)/9. Is 0.6 < l?
True
Let b = -25/4 - -106/17. Does 1 = b?
False
Suppose 4*k + 35 = -3*j + 2*j, 0 = -5*k + 5*j - 25. Let t(r) = r**2 + 6*r - 9. Let i be t(k). Suppose -2*h = -i*h - 25. Which is bigger: -4 or h?
-4
Suppose -c - 2*o - 8 - 4 = 0, 2*c = -3*o - 19. Let d = -2 + 3. Let u = d + -3. Is c at most u?
True
Suppose 2*i + 4*z = 8, -6 - 34 = 5*i - 5*z. Let o(w) = -2*w**2 - 5*w - 2. Let m(g) = g + 8. Let d be m(-11). Let l be o(d). Which is smaller: i or l?
l
Let r = -39437/6 - -6509. Let c = -64 - r. Is c <= 0?
True
Suppose -3*i = -5*s + s - 14, -3*s = 3*i. Is 0 < s?
False
Let h(a) = -3*a**3 + a. Let r be h(1). Let d(g) = 7*g**2 + 2*g - 6. Let m(q) = -q**2 + 1. Let o(x) = -d(x) - 5*m(x). Let n be o(r). Is n > -3?
False
Let c = -68 + 76.1. Let p = 2.2 - 10.2. Let v = c + p. Which is bigger: 6 or v?
6
Let i = 5 - 5. Which is smaller: i or 1/9?
i
Let m = 6 + -5.94. Do -2/3 and m have the same value?
False
Let d = 108 + -539/5. Suppose 0 = -3*y - y + 96. Suppose 3*h = -z - 15, 4*z + 1 + y = -5*h. Which is smaller: d or z?
z
Let f be (5 - 38/4)*(2 - -8). Which is smaller: f or -44?
f
Let x = -29702647327/2547 + 11661817. Let d = x + -2/849. Which is greater: d or 1/3?
1/3
Let o be (-2 - (-15)/3)*(-2)/(-5). Which is smaller: o or 1?
1
Let m = -26 + 11. Which is smaller: m or -13?
m
Suppose 3*n - 4*u + 34 = 0, -n + 0*n + 6 = 3*u. Is n equal to -6?
True
Let u = -1.01 - -0.01. Which is bigger: u or -17?
u
Let z be (3 + (-33)/12)*0. Which is greater: z or 1/11?
1/11
Let j(m) = m**2 + 10*m + 9. Let l be j(-9). Let c(f) = 2*f**2 + 3*f - 1. Let t be c(-4). Let q = t - 59/3. Is l >= q?
True
Let q(y) = -y - 12. Let u be q(-10). Let w be (-3)/18 - 46/12. Is w greater than u?
False
Let x(v) = v**3 + 8*v**2 - 8*v + 11. Let z be x(-9). Suppose -d + 7 + 1 = -z*c, -4*d + 32 = -2*c. Do d and 9 have different values?
True
Let r = 23 + -24. Which is smaller: r or 1/28?
r
Let m be 6/(-21) + 412/(-28). Let w be (-10)/m + (-4)/6. Let r = 83/20 + -17/5. Which is smaller: r or w?
w
Suppose 0 = 4*x - 2*x - 34. Let i be 2*(-2 - x/(-9)). Is i greater than or equal to 0?
False
Let f(i) = 18*i**2. Let h be f(-1). Let c be 3/2 + (-58)/(-4). Let w be (-4)/c + h/8. Is -2/7 greater than or equal to w?
False
Suppose f - 2*f = 0. Let c = -7097/15 + 473. Which is smaller: c or f?
c
Suppose -2 = -w - 3. Is w >= 3/20?
False
Suppose -3*c + 7 = 5*y - 20, -4*c + 50 = 2*y. Let b = c + -11. Which is bigger: b or 4?
4
Suppose 4 = 2*s + 28. Let f(z) = -z**3 - 5*z**2 + 2*z + 3. Let m be f(-4). Let i be s/7 - (-6)/m. Is -2 greater than or equal to i?
True
Let h = 7/36 + -121/252. Is 1.5 at most as big as h?
False
Suppose 364*w = 366*w + 4. Which is smaller: w or -9?
-9
Let u be 56/(-6) - (-24)/(-36). Let v be ((-2)/(-3))/(u/15). Which is bigger: 1/10 or v?
1/10
Let f be (-4)/(-22) + 57/(-11). Let u = f + 13. Let q be 2/u - (-7)/28. Which is bigger: 0.1 or q?
q
Let u be (-2)/3*(3 + -6). Suppose u*y - y = 1. Is 0 at most as big as y?
True
Let h(l) = -l**3 + 6*l**2 - 5*l. Suppose -5*f + 2*j = -15, f = -4*f - 2*j + 35. Let r be h(f). Which is greater: 1/4 or r?
1/4
Let k be ((-2)/(-156))/((-6)/(-24)). Which is greater: 0 or k?
k
Let k = 0.8 - -0.2. Suppose -v = 3*i + i - 7, 3*v = -3. Let z be (2/i)/(10/4). Is k greater than z?
True
Let y = 561/14 + -39. Is 1 smaller than y?
True
Let z = -4 - -13. Is z less than 2?
False
Suppose -28*r = -19*r - 18. Let h(c) = c**3 - 2*c**2 + 1. Let m be h(2). Is m at least as big as r?
False
Suppose -6*v - 1 = 5. Is 1/7 equal to v?
False
Let j(o) = -4*o**2 - 3*o + 2. Let i(a) = a**2 - a - 1. Let m(n) = 5*i(n) + j(n). Let q be m(8). Is -4 smaller than q?
True
Let g(z) = z**3 + 3*z**2 - 37*z + 14. Let x be g(-8). Suppose 2*c + 5*f = -32, -c - 2*f - 17 = f. Which is bigger: x or c?
x
Suppose 0 = 2*w + 2, 14 = 4*j + 2*w - 4. Let n(u) = -u + 6. Let f be n(j). Let d = 4 - f. Which is smaller: 2 or d?
2
Let y = -23 - -16. Suppose -5 = 2*p - 3. Which is greater: y or p?
p
Let v(l) = l**3 + l**2 + l + 2. Let b be v(0). Let f be (4 - 0) + 12/(-3). Do b and f have the same value?
False
Let x = -2.6 - 0.4. Let u = 9 + x. Is 0 equal to u?
False
Suppose -2*i + 3 = c + 13, 5*c - 3*i = 15. Suppose -2*q - 3 = 3. Which is smaller: c or q?
q
Let j be (40/(-14))/(8/(-28)). Which is smaller: j or -1?
-1
Let o = -89 - -163. Which is smaller: o or 75?
o
Let w = -2/713 - 4979/4278. Is -1 bigger than w?
True
Let d(o) be the third derivative of -o**6/120 - 2*o**5/15 - o**4/3 - o**3 - 3*o**2. Let k be d(-7). Are k and 0 non-equal?
True
Suppose -60 = -4*m - c, 3*m - 3*c - 56 = -c. Which is bigger: 17 or m?
17
Let m = -2 + 0. Let k = -0.163 + -1.817. Let i = -0.02 + k. Is i greater than m?
False
Let a = -16 + 16. Let u = -0.2 + 0.1. Which is greater: u or a?
a
Suppose 0 = -4*h - m - 36, -4*m = 3*h - 2*m + 32. Let v be ((-6)/h)/((-6)/(-48)). Suppose -2*a + v*a + 3*w = 1, -4*w - 24 = -a. Is a bigger than 5?
False
Suppose 0*n - 3 = -n. Suppose 0 = -0*t - n*t + 21. Are t and 7 unequal?
False
Suppose 0 = -7*c + 52 - 318. Is c greater than -37?
False
Let l = 70 + -69.8. Is -7 at most as big as l?
True
Let l(c) = -1 + 2 + c - c - c**2. Let o be l(1). Suppose 3*f + o*f = 6. Which is smaller: 1/5 or f?
1/5
Let y(h) = h - 6. Let b be y(7). Let n = b + 4. Let u be (0 + -1)*(-5)/n. Is u != 3/8?
True
Let b be 16/24 + (-16)/6. Let u