g + 4, -c = -5*g + 1 + 5. Suppose c*o = -0*o. Is r less than o?
False
Let o = -11/36 - 1/36. Which is smaller: -2 or o?
-2
Let t = -31 - -61. Suppose 3*d = 3*r - t - 0, -r + 19 = 2*d. Are r and 12 equal?
False
Let y = -5 - -8. Suppose -2 = -y*d + 4. Let j be (14/63)/(d/3). Does -1/4 = j?
False
Let a = 26 + -26. Is a less than or equal to -100?
False
Let g be 1/5 - (-3)/15*4. Is -3/88 at least g?
False
Let m(r) = r - 7. Let c be m(9). Suppose -c*k + 3 = k. Suppose -2 = 3*b + k. Do b and 0 have the same value?
False
Suppose i = -3*w + 18, -i = -5*w + i + 19. Let g be (-51)/2*2/3. Let k = -12 - g. Are w and k equal?
True
Let v(w) be the second derivative of -w**3/6 - w**2/2 - 2*w. Let q be (-2)/(-6) - (-4)/(-12). Let i be v(q). Is -1 equal to i?
True
Suppose -z + 2 = -4*c - 7, -3*z + 13 = -5*c. Let k = 8 - 5. Suppose z = -m + k. Which is smaller: 0 or m?
0
Let q = 5 + 5. Let s = q - 3. Which is bigger: s or 6?
s
Let i(p) = -2*p**2 - 17*p - 1. Let u(h) = h**2 + 8*h + 1. Let f(k) = -2*i(k) - 5*u(k). Let g be f(-6). Is g greater than or equal to -7/3?
False
Let m = 10.9 - 11. Is m at least as big as -9?
True
Suppose h + 5*q - 10 = -4*h, 3*h + 2*q = 6. Suppose -6*m - y + 35 = -m, -28 = -3*m - h*y. Let x be (-4)/m + 1 + 1. Which is smaller: 1 or x?
1
Let g(u) = -5*u**2 + 21*u - 11. Suppose y - 28 = -3*y. Let a(p) = 3*p**2 - 11*p + 5. Let o(i) = y*a(i) + 4*g(i). Let t be o(-8). Does -4 = t?
False
Let x = 177 + -128. Are 49 and x non-equal?
False
Suppose -12 = 18*m - 14*m. Are -1 and m nonequal?
True
Let b be (1 - (0 - 0))/(21/(-126)). Which is smaller: b or -7?
-7
Let a be ((-192)/33)/2 - -3. Is a equal to 1?
False
Let a = 13 - 13. Which is smaller: a or 0.5?
a
Let f(n) = n**3 - 6*n**2 + 5*n + 2. Let u be f(5). Let k be 15 + (-2)/4*u. Is k >= 13?
True
Suppose 50 = -5*i + 5*v, -4*i - 41 = -v - 7. Let w = i + 7. Is w at most as big as -2/23?
True
Suppose -2*v = 2*v + 12. Which is smaller: v or -7?
-7
Suppose -5*o + 4 - 19 = 0. Let k = o - -8. Suppose -v + 5 = -k*t, v - t = 5*v - 20. Is 6 smaller than v?
False
Let b be ((-80)/(-15))/((-2)/(-3)). Let d(j) = 2*j**2 + 5*j + 3. Let t be d(-3). Is t at most b?
True
Suppose 0 = -4*d + 3*d + 3. Let h = 5 - d. Suppose 3*i = h - 5. Is 0 != i?
True
Suppose -3*w + 6 = -0*w. Let z be w/4 + 242/112. Let l = z - 19/8. Is l at least -1?
True
Let h = -1.43 - -1.5. Let c = -3.07 + h. Let i = -4 - c. Is i bigger than 0.2?
False
Let h = 3.27 - 4.68. Let k = -1.4 - h. Is k less than -1/4?
False
Let x(u) = -2*u - 26. Let m be x(-12). Let c be m + -2 - (-19)/5. Which is smaller: c or 3?
c
Let n(g) = g**3 - 1. Let t be n(-1). Let w be -6*1/(-4)*-2. Are w and t equal?
False
Suppose -2*t = -4, 0 = -7*w + 3*w + 2*t + 20. Let q be w/(-4) + (-3)/(-2). Let h = -0.5 - -0.2. Which is greater: q or h?
q
Suppose 0 = 2*z - 8 - 30. Are 19 and z non-equal?
False
Let r be 10/5 - (-1 + -2). Suppose -4*a - 8 = -2*a, r*d - 2*a = -12. Are d and -3 nonequal?
True
Let k = -138 + 138. Is k greater than or equal to 0?
True
Let r = 2 - 2. Suppose -4*c = -2*y + 53 + 19, 5*y = -4*c + 138. Let z = y - 152/5. Which is greater: r or z?
r
Let w be -4*(-3 + (-15)/(-6)). Let g be (4 + -2 + -4)*-1. Do w and g have the same value?
True
Let h = 22.3 - 22. Do h and -4 have different values?
True
Let k = -54.1 + 54. Which is smaller: -0.19 or k?
-0.19
Let u be (3/6)/((-1)/4). Let n = -3 - u. Which is smaller: 2/9 or n?
n
Let d be 15/(-4) + 3/4. Let f be (-4)/2 + 36/16. Which is smaller: d or f?
d
Let m = -9 - -17. Let k be (m/12)/(5/(-6)). Suppose 2*s = -3*n - 13, -n = -2*s - 0*n - 1. Is k less than s?
False
Let s be ((-34)/4)/((-7)/14). Suppose 0 = 2*l - 10, 2*l = p - l + s. Which is greater: -1 or p?
-1
Let i be (-1 - 14/(-5))/(27/18). Let k(f) = f**2 - 8*f + 2. Let g be k(8). Which is smaller: g or i?
i
Let r = -2/413 + -4539/826. Which is smaller: 0.2 or r?
r
Let d be ((-2)/(-6))/(18/(-12)). Suppose -3*g + 3 = 0, 9 = 5*l + 5*g - 1. Is d greater than l?
False
Let z be (-534)/(-10)*15/(-14). Let k = -115/2 - z. Suppose 3*d + 3 = 3*i + 4*d, 0 = -3*i + 4*d - 12. Which is smaller: k or i?
k
Let j = 1 - 1.3. Which is smaller: 13 or j?
j
Suppose 2*b = -2*x - 74, -b - 1 = -0. Let d = x - -143/4. Which is greater: d or 3?
3
Let g(p) = -5*p + 6. Let k be g(4). Suppose 2*h - 6*h - 68 = 0. Let y be h/(-6) - (-21)/k. Is 2 greater than or equal to y?
True
Suppose -13 + 67 = 3*i. Let r = i + -37/2. Is 0 at least as big as r?
True
Suppose 0 = -0*r + 5*r + 40. Let n = 13 + r. Suppose 2 = -n*c - 3. Which is greater: 0 or c?
0
Let k(d) = 13*d - 11. Let g(f) = -7*f + 6. Let a(h) = -11*g(h) - 6*k(h). Let v be a(2). Let z = -2 - 0. Is z greater than v?
False
Suppose 0 = -2*k + 10. Suppose -k*d - 5*a - 13 = -3*d, 0 = d - 5*a - 31. Which is smaller: d or 4?
4
Let q(r) = r**2 + 4*r - 2. Let z be q(-3). Let f = z + 3. Let a be f/6*(-6)/(-8). Is -0.1 at most as big as a?
False
Let q = 0.17 + -0.07. Which is bigger: 7 or q?
7
Let n = 17 - 18. Which is bigger: -2/3 or n?
-2/3
Suppose 5*h = -1 + 6. Let b = h - -1. Is b at most as big as 3?
True
Let h be 56/(-8)*1/(-1). Let v(t) = t**2 - 7*t. Let f be v(h). Suppose 0 = 2*m - o + 1, -4*m + 5*o = -1 + 18. Is f equal to m?
False
Let x = 111 + -113. Is -4 > x?
False
Let w be (-14 - -12)*(-1)/(-4). Which is smaller: w or -1?
-1
Let v(h) be the second derivative of 2*h**2 + 0 + 1/2*h**3 - 5/12*h**4 + 1/20*h**5 - h. Let i be v(4). Which is bigger: -1/7 or i?
i
Let r be 0/3 - (-1 - -1). Let l be (6/(-3) - -1)*0. Let f be l/(-2) - r/(-1). Is f equal to 2/3?
False
Let v = 1 + 2. Suppose v*t + 2*t = -5. Suppose -8*m + 5*g = -4*m - 10, -4*m - 2*g = 4. Is m < t?
False
Let m(b) = 2*b**2 - b. Let i be m(2). Does 4 = i?
False
Let a(t) be the second derivative of -t**5/20 + t**4/3 + 2*t**3/3 + 5*t**2/2 + 2*t. Let n be a(5). Suppose 68*z - 58*z - 10 = 0. Is n > z?
False
Let n be -4 + 1 - (1 - 3). Suppose 3*s + 6 = x, 0 = 4*x - 2*s + 3*s - 50. Let i be (-5)/8*x/6. Is n greater than i?
True
Suppose 8*m - 5 = -5*x + 7*m, -m = 3*x - 5. Is x smaller than -12/43?
False
Let k = 14 - 17.4. Let j = 3 + k. Is j at least as big as 1?
False
Let s(r) = 0 - 1 + r + r. Let g be s(-2). Let d be 10/4 + (-15)/2. Is g less than or equal to d?
True
Let r(l) = -1 - 1 + 5*l**2 - 2*l + 3. Let x be r(1). Suppose 0*i - 2*i = -y - 15, y = -5. Which is smaller: x or i?
x
Let n = 6 - 19. Let m = 14 + n. Is -3/13 at least as big as m?
False
Let w(u) = -8*u + 2. Let y be w(1). Let m(s) = -s**2 - 10*s - 7. Let z be m(y). Is 18 smaller than z?
False
Suppose 0*v = -g + 4*v - 23, -v - 10 = 5*g. Suppose h + 3 = j, -5 = 5*h - 3*j - 0. Suppose -3*n - 2*n - 5*u = 0, n - h*u + 12 = 0. Which is smaller: g or n?
n
Let a(z) = -4*z + 1. Let j be a(1). Let l be ((-2)/j)/((-14)/(-147)). Suppose -3*f + l*f = -4. Which is greater: f or 2/19?
2/19
Let j = 20 - 16. Is j > 3?
True
Let f be ((-1)/(-2))/(1/(-2)). Which is smaller: 10/23 or f?
f
Let h(q) = q. Let t be h(2). Suppose 0 = t*s - 6*s + 4. Which is smaller: -1/3 or s?
-1/3
Let a = -182 - -179. Let v = 1 - -2. Let g = v - 3.1. Which is bigger: g or a?
g
Let k(n) = n**3 + 5*n**2 - 2*n - 17. Let x be k(-5). Is x less than -6?
True
Suppose 0 = 3*u - u. Suppose -2 = -g - 2*p + 2, -g + 4*p - 8 = 0. Let o = g + u. Which is greater: o or -1?
o
Let s = -6 - -11. Suppose 0 = -3*t + s*t. Which is smaller: -1 or t?
-1
Let o be -1 + 3 + 162/(-10). Let g = -512/35 - o. Suppose 2*w - 7*w + 3*b = 9, 0 = 4*w + b - 3. Which is bigger: w or g?
w
Let d be (4 - (-87)/(-21))*1*-3. Is 0 not equal to d?
True
Let k = -3 - -8. Let n be -10*1*(6 - (-224)/(-35)). Let o be (n/k)/(4/(-20)). Is -4 equal to o?
True
Suppose -5*u - 25 = 0, -5*u - 16 + 3 = 3*o. Suppose 5*v = -1 - o. Which is smaller: 1/3 or v?
v
Let v be -3 + 2 - 20/(-26). Is -1 at least as big as v?
False
Let n be (-12)/54 + -3*(-4)/54. Is 7/12 at least as big as n?
True
Let l(t) = -7*t + 15 + 4*t + 2*t. Let m be l(14). Which is bigger: 5 or m?
5
Let z = 3.93 - -0.17. Let w = z + -4. Which is greater: 3 or w?
3
Let f be ((-2)/(-4))/((-2)/24). Let z be f/(-27) + 29/(-9). Are -4 and z equal?
False
Let z = -25 - -24. Let a = 121323/61 - 1989. Let q = a - 92/305. Which is smaller: z or q?
z
Let j = 40 - 22. Is j less than 18?
False
Let p = -0.0521 + -0.2479. Suppose 5*y - 2 - 3 = 0. Let b be (y/1 + 0)/4. Which is 