-29 = 4*i + d, 2*i = 6*i + 2*d + 34. Let m = i + 2. Is -5 less than m?
True
Let v be (-4)/18 - (-48)/216. Which is greater: v or 6/11?
6/11
Let p be 2 + -4 + 5 - 6. Which is smaller: p or -4?
-4
Let c = 0.1 + -1.4. Let j = c - -0.3. Let s = j - 0. Which is smaller: s or 2?
s
Let v be (-56)/154 + 8/22. Let j be ((-1)/(-1))/((-2)/8). Is j bigger than v?
False
Let n = -2 - 2. Let u = -72 + 506/7. Is u less than or equal to n?
False
Let c = -0.18 + 0.06. Let p = -75/44 - -16/11. Is c < p?
False
Let k = -4 + 8. Suppose 4*y = 20, -k*y + 18 = -0*x - 2*x. Which is smaller: 1/2 or x?
1/2
Suppose 15 = -5*w, -5*a + 5*w = 23 + 2. Let u = -9 - a. Is u != -3?
True
Let u(q) = q**3 - 3*q**2 - 4*q + 2. Let j be u(4). Let k be 119/11 - 22/(-121). Suppose t + 10 = 5*z - 7, -k = -5*t + z. Which is bigger: t or j?
t
Let c = 13 + -8. Let b be (-2)/(-1)*c/2. Let s = 5 - b. Which is smaller: s or -1/2?
-1/2
Let f = -1.695 - -13.625. Let j = f + -12. Which is greater: j or 0.1?
0.1
Let x = 6 - 6. Suppose x = c - 5*c. Which is smaller: -1 or c?
-1
Let w = 123/4 + -1597/52. Is w > 1?
False
Let u be ((-3)/(-8))/(3/(-2)). Suppose -5*p + 5*t = -9 - 1, 0 = 3*p - 2*t - 5. Which is smaller: u or p?
u
Suppose -4*d - 3*f + 0 = -2, 0 = 2*d - f - 6. Is d at most 5?
True
Let s(a) = -a**2 - 4*a + 8. Let q be s(-6). Let i(v) = v**2 - 7*v - 5. Let n be i(7). Do q and n have the same value?
False
Let j = -8 - -11. Suppose 0*m - 7 = -j*u + 2*m, -3*u + 13 = -5*m. Let f(a) = 5*a**2 - 2*a + 1. Let h be f(u). Is h smaller than 4?
False
Let k(w) = 4*w - 36. Let a be k(11). Which is greater: a or 6?
a
Let b(n) = n**2 - 2*n - 1. Let t be b(0). Which is smaller: t or 3/56?
t
Suppose 2*v = -0*v + 20. Let l = -1 + -3. Let x be ((-3)/v)/((-3)/l). Which is greater: x or -1?
x
Suppose -3*t + 2 = -c, -4*c + 13 + 14 = -5*t. Which is smaller: c or 14?
c
Let r(o) = o**3 - 4. Let t be r(2). Is 3 bigger than t?
False
Let s = -5 - -7. Suppose p - 5*p + 2*f = -16, s*p = -4*f - 2. Let c be 1 + (p - (1 - -1)). Are c and 2 unequal?
False
Let p be (1/(-18))/((-1)/4). Suppose -3 = -5*y - 58. Let h = y + 10. Which is smaller: h or p?
h
Let x = 200 - 190.1. Let u = -10 + x. Let v = 1 + 1. Which is bigger: v or u?
v
Let z be (44/16)/11 + (-258)/8. Which is bigger: -29 or z?
-29
Let i be (-2*(-9)/(-30))/(-3). Suppose -10*q + 8 = -2. Does i = q?
False
Suppose -3*j - 65 = -3*d - 20, j + 4*d + 15 = 0. Let n = j + 10. Is -4 not equal to n?
True
Let w(u) = -u + 5. Let f be w(6). Let g = -57 - -55. Are f and g equal?
False
Suppose 0 = 5*y + 15 - 5. Are y and -4 nonequal?
True
Suppose 3*k - 38 = 4*q, -5 = -2*q + 3*k - 27. Which is smaller: q or -7?
q
Let l = 2 - 2. Let k be (-1)/(-1) - l/2. Are 1 and k equal?
True
Let k = 0 + 9. Let y(j) = -2*j + 13. Let q be y(k). Let m = q - -3. Which is smaller: -0.2 or m?
m
Let o = 0 - 0.1. Let t = 75/22 - -1/11. Which is bigger: t or o?
t
Let l = 0 - 3. Let c = l + 3.2. Is 0 greater than c?
False
Let w = 13.8 + 1.2. Let t = w + -14. Are t and -2/5 equal?
False
Let d = -20.9 + 0.1. Let y = 23 + d. Let f = 0.2 - y. Which is greater: -2/7 or f?
-2/7
Suppose 4 = -2*p + 6*p. Suppose 0 = 5*u + 2*n - 20, u - 4*n + 18 = -0*u. Suppose u*o = o. Which is smaller: p or o?
o
Let r = 162 + -91. Is 70 not equal to r?
True
Suppose -2*s + 6*s + 5*a = 17, a + 5 = -5*s. Let j(z) = 9*z. Let c(f) = -17*f. Let r(p) = 6*c(p) + 11*j(p). Let k be r(1). Which is bigger: s or k?
s
Let u(h) = -h - 27. Let b be u(-17). Which is greater: b or -9?
-9
Let d = -1 + 0. Suppose 3*b - 2*b + 10 = -2*w, 4*w + 12 = 2*b. Is d smaller than b?
False
Let z be -21 - 0/(4 + 0). Which is smaller: z or -20?
z
Let c = 15 + -13. Which is bigger: -2/3 or c?
c
Let w = -98 - -98.1. Which is smaller: w or -6/11?
-6/11
Let o be 18/(-14) + 18/63. Let p = -2.8 + 3. Which is bigger: p or o?
p
Let h be (-2 - -1)/(1/6). Let u = h - -7. Suppose -u = 4*c + 3. Is c <= -1?
True
Let l = -5 + -2. Let n be (-48)/70 + (-2)/l. Is n >= -1?
True
Let c = -9 - -11. Suppose -3*a + 2*a - c = 0. Which is bigger: a or 0?
0
Let m(d) = 2*d - 6. Let n be m(-6). Suppose 0 = -4*r + r - 6, -2*r = -4*q - 44. Let p = q - n. Do 7 and p have the same value?
False
Let v be 32/(-24)*6/4. Let t be (((-24)/(-44))/v)/(-3). Suppose 2*d - 3*g - 8 = 0, -2*g = -2*d - 4*g - 2. Is d less than or equal to t?
False
Let r = -5 - 0. Let a be 1/2 + r/(-2). Let v = 4 - a. Which is smaller: v or 1/5?
1/5
Let w = 3 - 5. Let r = -2/41 + -37/82. Is w greater than or equal to r?
False
Let k(g) = -g**3 + g**2 - g + 7. Let w be k(0). Suppose -3 + w = q. Suppose 0 = -2*i - 2, -3*a - 4*i + 0*i - q = 0. Which is greater: -2/5 or a?
a
Let d = -48662014/14411397 - -2/187161. Let g = 23/7 + d. Which is greater: -1 or g?
g
Let p = 16 + -12. Suppose -4 = -p*a + 5*o, 0 = -a + 2*a + 2*o - 1. Which is bigger: -0.05 or a?
a
Let g = 28 - 17. Which is smaller: 12 or g?
g
Let f be 1/((-27)/6) - (-760)/3528. Is 1 not equal to f?
True
Let w(c) = c**2 + 2*c - 1. Let m be w(0). Is m at most as big as 1/21?
True
Let w = 21 - 20.74. Let x = w - -0.04. Let v = x + -0.5. Is v != -1/3?
True
Let i = 47 + -421/9. Let l(f) = f**2 + 6*f + 6. Let j be l(-5). Which is greater: j or i?
j
Let r be 6/(-24)*(-26)/(-15). Let q = r - -1/10. Which is smaller: q or -0.2?
q
Let x = 20 + -28. Let z be (x/12)/1*-6. Is z bigger than 7?
False
Let r be (-29601)/63 - (0 + 1). Let p = 472 + r. Which is greater: p or 1?
p
Suppose -5*j - 7 = -12. Suppose -2 = -h - 0. Is j smaller than h?
True
Suppose -3*b + 9 + 3 = 0, 4*b = -3*c + 22. Which is smaller: c or 36/11?
c
Suppose 8*f - 3 = 11*f. Let g be (0 - (-8)/(-22)) + 0. Which is smaller: f or g?
f
Let s(j) = j**3 + 7*j**2 + 6*j + 1. Let l be s(-6). Let x = 291/5 + -58. Which is smaller: x or l?
x
Let c be 3/(-5)*(-4 + -1). Suppose 9 = -3*y + c. Let v be (-1)/y + (-15)/25. Which is greater: v or -1?
v
Suppose -3*t + 16 = -d, 0*d + 3*t = 2*d + 17. Let v = -5 - d. Let m = -16 - -11. Do m and v have the same value?
False
Let a = 11 + -16. Do a and -5 have the same value?
True
Let y = 12/19 + -103/133. Let n(q) = -2*q**3 - q**2. Let o be n(-1). Is o at most as big as y?
False
Let p(y) = -2*y. Let x be p(-3). Let i be (9/x)/((-78)/(-8)). Let u be (-3 + 2)*(-2)/(-2). Which is greater: i or u?
i
Suppose 0 = 5*q - 6*q - 2. Which is bigger: -2/3 or q?
-2/3
Suppose -3*g + 62 + 127 = 0. Let j be (6 + -3)*(-2)/g. Which is greater: -1 or j?
j
Suppose -3*s + 9 = 2*n, -n = 2*n - 4*s + 29. Which is smaller: -2 or n?
n
Let n = 17349/10 + -1737. Is -2 bigger than n?
True
Let i = -0.05 + -0.15. Let a(u) = -u**3 - 5*u**2 + 6*u - 1. Let s be a(-6). Are i and s equal?
False
Let d(n) = -2*n. Let w be d(-2). Let v = -3 + 3. Suppose v = -a + w - 7. Which is smaller: -2 or a?
a
Suppose 12*k = 7*k - 120. Is k bigger than 0.1?
False
Let f = -2461/39350 - -2/787. Is -1 at most as big as f?
True
Let l = 0.7 - 0.7. Let a = -0.8 - l. Which is smaller: a or 2/3?
a
Let g = -447/14 - -32. Which is smaller: -1 or g?
-1
Suppose 5*o = 45 - 10. Is o greater than or equal to 9?
False
Let k = -0.0734 + -0.9266. Let z = 0.12 + -0.29. Is z not equal to k?
True
Let b = 4/3 + -14/9. Do 0.1 and b have different values?
True
Suppose -18 = -0*o + 3*o. Let h(q) = -q - 8. Let x be h(o). Is -2 equal to x?
True
Suppose -n = -6*n. Suppose n = -10*q + 8*q. Suppose 3*t + 1 = 2*t - 3*j, -2*t - 5*j - 2 = 0. Which is bigger: t or q?
q
Let u = -5 - -3. Let n = 2.98 + 0.02. Let h = n - 2.9. Is u smaller than h?
True
Let c be -1 + (2 - (-10)/(-6)). Suppose -s = -6*s. Is c less than or equal to s?
True
Let b = 1 - -13. Let u be (4 - 48/b) + 0. Is 0 greater than or equal to u?
False
Let h = -2.3 + 4.3. Which is smaller: h or 0.27?
0.27
Let r be (-5)/15*0 + -4. Let o(g) = g. Let z be (-5)/(-10) - (-22)/(-4). Let k be o(z). Which is bigger: r or k?
r
Suppose 5*m = 10 + 5. Suppose 12 = m*a + a. Suppose 0 = a*v + v. Which is smaller: v or -2/15?
-2/15
Let s(u) = -2*u**2 + 7*u - 4. Let k be s(3). Which is smaller: -2/7 or k?
k
Let i = 293/1551 + -1/141. Let w = -4.2 - -5.2. Is w at most as big as i?
False
Suppose -3*t + 0*t = -5*h - 25, 4*t - 68 = -2*h. Let d = t - 59/4. Which is greater: 0.9 or d?
0.9
Suppose 6*l = 3 + 3. Which is greater: 3 or l?
3
Let w(q) = q**3 + 7*q**2 + 5*q - 7. Let r be w(-6). Let f(t) = -t**3 - 4*t**2 + 2*t + 2. Let z be f(2)