t g be (i/(-10))/((-4)/20). Is g > -3?
True
Let h(j) = -j + 3. Let k be h(0). Which is smaller: 1 or k?
1
Let o = 17129202 - 39208744999/2289. Let a = 2/327 - o. Which is greater: 1 or a?
1
Suppose 6*s - 4*s - 2 = 0. Let l be -3 + 13/((-39)/(-14)). Is s at least l?
False
Suppose -s + 8 = -5*s. Let k be ((-2)/16)/(s/(-12)). Which is greater: k or -0.2?
-0.2
Let d = 0 + 0. Let w = -9 + 6. Let u = w + d. Which is greater: -2 or u?
-2
Suppose -10 = 2*i - i + l, -3*l = 3. Let p be -2 + 1 + -1 + 4. Let s be (p/(-4))/(1/18). Do i and s have the same value?
True
Let p(z) = 14*z**2 + 6*z + 5. Let g be p(-1). Suppose 0 = -4*r + 35 + 21. Which is greater: r or g?
r
Let g be 1/(-561)*4*183/122. Which is greater: g or -1?
g
Suppose -2*t - 2 = 4. Is -4 at least as big as t?
False
Let h be (2 - 1)/((-7)/70). Which is bigger: h or -7?
-7
Suppose -3*v + f = -70, 0*v + v - 3*f = 34. Are v and 22 equal?
True
Let d(u) = u + 7. Let i be d(-7). Let l = -14 + 16. Which is bigger: i or l?
l
Let y = 0.1 + -0.2. Suppose -2*p - i = -3 - 13, 2*i + 48 = 4*p. Is p bigger than y?
True
Suppose -5*a + 0*a - 45 = 0. Let q be (-8)/a - (7 - 6). Which is smaller: q or 1?
q
Let j = 2 - 2. Suppose j*d - 3*d = -6. Does d = 1?
False
Let j = 2.89 - -0.11. Let q = -3 + j. Which is smaller: q or -0.1?
-0.1
Let f = 0.46 - -0.54. Which is bigger: f or -77?
f
Let i be (10/(-10)*(0 - -1))/2. Let g = 20219/115 + -2121/23. Let k = -84 + g. Is k greater than i?
True
Let t(c) = -c**3 + 9*c**2 + 13*c - 20. Let x be t(10). Does -2 = x?
False
Let y be (-81)/18 - (-2)/(-4). Let l(m) = -2*m**2 - 12*m - 1. Let n be l(y). Is 9 at most as big as n?
True
Let l be 5*(0 - -1)/(45/9). Is 0 bigger than l?
False
Let g = -366/91 - -26/7. Do g and 0 have the same value?
False
Let g be 44/(11 + -22) + (0 - 1). Let c = -3 - 2. Is g < c?
False
Let i = -1458105887/895 - -1629169. Let x = i - 2/179. Is x bigger than -1?
True
Let j = 6.5 + 0.5. Let w = j - 6.5. Which is greater: w or -2/5?
w
Suppose -z = -5*z + 4, -5*z + 1 = 4*u. Which is bigger: 2/39 or u?
2/39
Suppose -3*f + 35 = 8*y - 4*y, 0 = f - 3*y + 10. Let q be (f + -6)*(1 - 2). Which is smaller: q or -4/3?
-4/3
Let t be ((-2)/(-10))/(4 + -5). Which is smaller: -1 or t?
-1
Let b be (-5)/3 - 2/6. Let d be 471/(-252) - b/7. Let j = 4/3 + d. Is j < 1?
True
Let b(i) = i + 2. Let n be b(-3). Let v = 0.1 - 0. Which is smaller: n or v?
n
Let q = -0.1 - -0.4. Let h = q - 1.3. Let x = 0.23 + -3.23. Do h and x have the same value?
False
Let x = -15 + 14.8. Let n = 0.6 + -0.3. Let b = n + x. Which is smaller: -1/3 or b?
-1/3
Let r(l) = l**2 - 19*l - 20. Let n be r(20). Let m be (-84)/(-76) + 0 + -1. Is n less than or equal to m?
True
Let l be -13*3/(-18) + 2. Which is greater: l or 4?
l
Suppose 5*q - 2*y = -11, 5*y - y = 12. Which is smaller: -9/8 or q?
-9/8
Let y = 15 + -15.7. Let s = -0.01 + -0.59. Let z = y - s. Is -2 at least z?
False
Suppose 0*r + 5*i + 20 = 5*r, 8 = -r - 5*i. Let q be 2/(-15) + (-12)/(-15). Does q = r?
False
Let s = 5 - 3. Suppose 0 = s*n + 4, -5*a - n + 13 = -0*n. Suppose 0 = 2*z + a*z - 25. Is z greater than 4?
True
Let m be 0/3 - (-1 - 13). Which is smaller: m or 12?
12
Let q be 5 + 5 + -1 + -6. Is 7 bigger than q?
True
Let p be 2 - -1 - 30/(-1). Which is greater: 32 or p?
p
Let b be ((-3)/(-18))/(-1)*(-42)/70. Is 1 less than or equal to b?
False
Let f be (20/(-25))/((-1)/5). Suppose 3*w + 4*d = f - 27, -w + d = -4. Is w greater than -1?
False
Suppose 5*r = 4*w - 1, -w - 2 = 2*r + 1. Is 2/19 <= r?
False
Suppose -3*q - m - 8 = 0, -m - 1 = 1. Suppose 0 = 5*h + 3 + 12. Which is smaller: q or h?
h
Let n = 0.32 + -0.22. Let x be ((-1)/(-9))/((-1)/(-2)). Which is smaller: x or n?
n
Let s(g) = 7*g. Let b = 0 - -3. Let a be s(b). Let j be (-153)/(-21) + (-6)/a. Which is greater: 6 or j?
j
Suppose -a - 11 = -4*m, 2 = -0*m + m. Let t be 0*(a/(-2) - 1). Which is greater: t or -1/3?
t
Let z = -7 - -4. Suppose -9 = -4*b + 7. Suppose -b - 2 = 3*k. Is k greater than z?
True
Let a = 0 - -1. Let i = -4 + 2. Which is smaller: a or i?
i
Suppose 2*d - d - 4*h = -12, 4*h - 20 = -d. Let b(s) = s + 8 - 5 + d. Let l be b(-7). Which is greater: -2/9 or l?
l
Let f = -55 + 113/2. Let o(w) = w**2 - 11*w - 24. Let a be o(13). Is a <= f?
False
Let s = -0.7 + 0.2. Let w = s + -7.5. Is 0 at most as big as w?
False
Suppose -3*c + 11 = -2*y, -3*y - y - 18 = -2*c. Is y greater than -60/17?
False
Let o = -575 + 2886/5. Which is bigger: 4 or o?
4
Let d(g) = 7*g - 6. Let x(a) = 2*a + 35 + a - 38. Let t(c) = -2*d(c) + 5*x(c). Let q be t(4). Which is smaller: q or 2?
q
Let b = -0.2 + -5.9. Let n = b + 6. Suppose -3*k - 4*c - 16 = 2*k, 0 = -3*k - 3*c - 9. Which is bigger: k or n?
n
Suppose 4*h = -0*k + 4*k + 220, 2*h = -3*k - 175. Which is bigger: k or 1?
1
Let g = -0.33 - -0.03. Is -2/3 at most as big as g?
True
Let l(h) = -h**2 - 6*h - 6. Let r = 2 - 6. Let m be l(r). Let t = m + -2. Which is smaller: -3 or t?
-3
Let g(z) = z**2 - 3*z + 1. Let j be g(3). Which is greater: j or -1/74?
j
Let i(m) = -3*m**2. Let l be i(-1). Suppose -2*d + 6 = 2. Suppose -o - d = 3*p, -6 + 0 = 3*o - 4*p. Is l >= o?
False
Let v = 5/49 + 475/147. Which is greater: v or 4?
4
Let g(r) = -7*r + 1. Let v be g(-1). Let p be 9/10 - 4/v. Which is greater: p or -1/5?
p
Let n(u) = u**2 - 6*u - 8. Let t be n(7). Let p be 2 + -3 + 55 + -2. Let j = -367/7 + p. Which is bigger: t or j?
j
Let m = 8 + -8. Suppose -2*p - 3*p - 25 = m. Which is smaller: -7/2 or p?
p
Let d be 4/8 + (-201)/10. Let k = d + 20. Let g = -10 + 9. Which is greater: g or k?
k
Let j = 152 + -249. Let t = j + 971/10. Which is greater: t or 0?
t
Let r be (-5)/6 - (-2)/(-12). Let y be (12/(-9))/((-8)/(-12)). Is r greater than or equal to y?
True
Suppose 0 = -v + 4*v + 2*b - 13, 3*v - 3*b = -12. Let s(g) = 13*g + 1. Let n be s(v). Let q be 4/14 - 4/n. Does q = 1?
False
Let k = -8 + 4. Suppose 2*o + 20 = 7*o. Let a = o + k. Which is bigger: -3/4 or a?
a
Let d(n) = n**3 - n**2 + n + 1. Let f be d(0). Which is smaller: f or 2/33?
2/33
Let t be (-974)/715 + 4/6. Let n = t + 26/33. Let s = -4/13 - n. Is s greater than 0?
False
Let v = 5.3 - 5. Let s = -77 - -233/3. Is s equal to v?
False
Let y = 21/2 - 12. Which is greater: -2 or y?
y
Suppose 4*v + 16 = -o - 0*o, 0 = -v + 5*o - 4. Let y(z) = -19 - z**3 - z + 7*z + 25 - 3*z**2. Let x be y(v). Which is bigger: 0 or x?
0
Let v = -8 - -34. Is 25 < v?
True
Suppose 3*l - 4*s - 9 - 14 = 0, -25 = -5*l + 4*s. Let j(t) = t - 2 - 3 - l. Let g be j(7). Is 1/6 at least as big as g?
False
Let r be 18/(-24)*(-1 - 10/(-6)). Is -12 > r?
False
Suppose 3*a = 2*a + 4*l - 4, -5*a + 3*l = 37. Let j = a - -5. Which is greater: -2 or j?
-2
Let y(h) = -h**2 + 11*h - 7. Let o be y(10). Suppose 8 = -o*d + d. Which is smaller: d or -3?
d
Let h(k) = 3*k - 6. Let t be h(10). Let r be 1/6 - (-8)/t. Is 1 smaller than r?
False
Let g = -60 - -53. Which is smaller: g or -52/9?
g
Suppose -2 = -4*k - 6. Let h be k/(-1)*(-4)/(-10). Which is greater: 1 or h?
1
Let m = -2 - -2. Suppose m*n = n. Suppose 10 = -5*x - n*x. Which is smaller: x or -5/2?
-5/2
Suppose -6 = -2*y - 4. Let r(a) = 3*a**2 + 2*a - 1. Let p be r(y). Let d = 4 - 0. Is d greater than p?
False
Let w be -3 - -4 - -3 - 16. Is -12 greater than w?
False
Let j be 10/6 + 2/6. Suppose -1 = 5*b - 2*s, 4*b - s + j = s. Let a be 0 - (2 - (3 - b)). Is -0.2 <= a?
True
Let h = -0.23 + 1.23. Is -2/7 less than h?
True
Let y be 0/(-2)*2/(-2). Suppose s - 7 = -3*x, -5 + 3 = s. Suppose -4*g = 5*a + 15, 3*g - x*a - 15 = 2*a. Does g = y?
True
Let o = 1/132 + 233/4092. Let x be (-39)/(-26) + 3/(-2). Is o >= x?
True
Let d(i) = i**2 + 0*i + 2*i - i - 5*i - 8. Let v be d(6). Let m = -3 + v. Is 0 smaller than m?
True
Let q = -18 - -19. Let y = 77/310 + -3/62. Is q equal to y?
False
Suppose 2*a = 3*a - 1, -3*k - 149 = a. Let p = 199/4 + k. Which is greater: -0.2 or p?
-0.2
Let x(v) = v**2 + 11*v - 5. Let r(d) = d**2 + 10*d - 5. Let p(k) = 6*r(k) - 5*x(k). Let q be p(-6). Let s be 2/(-2)*(-2 + q). Which is bigger: s or 0.3?
s
Let i(g) = -g + 9. Let t be i(9). Do 4/9 and t have the same value?
False
Let v = 0.06 - 70.06. Is v != -1?
True
Let c = -9 + 17. Let m(s) = s**3 - 7*s**2 - 8*s + 2. Let u be m(c). Is u at most 2?
True
Suppose 5*s = w - 17, -4*s + 0 = 3*w + 6. Let l be s - (-3)/((-30)/(-28)). Wh