+ (-3)/4. Suppose 0 = -2*t - 0*t + 2. Are d and t unequal?
True
Let t = -457/4 - -115. Which is bigger: 1 or t?
1
Let r = -2 - 0. Let i be -5*(-2)/(1 + -3). Let x = i - -2. Which is smaller: r or x?
x
Let v(a) = 5*a**2 + a - 1. Let x be v(-2). Is 0.1 equal to x?
False
Let p be (-1)/(3/(-4) - -1). Let v = 7 + p. Suppose -3*r + 5*o - 6 = -34, 2*o + 13 = 3*r. Which is greater: v or r?
v
Let q be -144 - 2*(-3)/(-2). Let w be 427/q - 3*-1. Which is bigger: 1 or w?
1
Suppose 25 = 2*u + 7. Let g be ((-60)/35)/6 + 58/7. Is g greater than or equal to u?
False
Let d = -8 + 39. Suppose -4*f + 1 = -d. Which is smaller: f or 7?
7
Let c be 78/10 - 9/(-45). Suppose -3*d + 0*d - 4 = -2*b, -4*b = -5*d - c. Which is smaller: -3/7 or d?
-3/7
Let q be 5/((-34)/4 + 0). Let n = 64/51 + q. Which is smaller: 2 or n?
n
Let g = 521387/5442 + 23/907. Let b = 63 + 32. Let o = b - g. Is -2 greater than or equal to o?
False
Let k(p) = 5*p + 2. Let j be k(-1). Let g be 2/j*24/32. Which is smaller: g or 0?
g
Let w(c) = -4 + c**2 + 2*c**2 + 9 + 5*c - 2*c**2. Let a be w(-4). Which is greater: -2/9 or a?
a
Let o = 52 - 51. Does o = -0.1?
False
Let t = -1.3 - -8.3. Let c = -14 + t. Let n = c - -9. Which is bigger: n or 1?
n
Let a(v) = -9*v + 1. Let k be a(-1). Let l be 23/k - (-3)/15. Which is smaller: 3 or l?
l
Suppose -5*a + q - 5*q = -16, -8 = -2*q. Suppose j + 1 = -a*j. Is -1 at most j?
True
Suppose 4*s + 8 + 2 = 3*q, 0 = 5*s + 4*q - 3. Let u = s - -8/5. Which is bigger: u or 2?
2
Suppose -2*n = -1 - 3. Suppose 0 = -4*o + n*o. Which is greater: 5/6 or o?
5/6
Let o = 1.24 + 2.79. Let x = o + -0.03. Let t = 0 - x. Are 1/2 and t equal?
False
Let x be (-2)/3 + (-96)/(-90). Is -1/6 greater than or equal to x?
False
Let x be (6/(-10))/((-24)/16). Which is smaller: 16 or x?
x
Let v = 5.5 + -1.5. Let u = -7 + 11. Let x = v - u. Which is bigger: x or 2/3?
2/3
Suppose -a - 3*a - j + 13 = 0, 3*a = -3*j + 12. Suppose -a*v = -6*v. Let m = v - -1. Is 1 not equal to m?
False
Let g(x) be the first derivative of -x**4/4 + 5*x**3/3 + 7*x**2/2 - 5*x - 2. Let j = 0 - -6. Let u be g(j). Which is smaller: u or -1?
-1
Suppose 2*b = -4*p + 20, 3*p = -6*b + 3*b + 15. Suppose 7*c = 4*c. Is b greater than c?
False
Suppose v - 7 = 5. Let o(j) = 2*j**3 + 20*j**2 + 5*j + 63. Let x be o(-10). Which is smaller: x or v?
v
Let j = -0.0111 + -401.9889. Let b = j + 412.01. Let z = 10 - b. Is 1/4 not equal to z?
True
Suppose 0 = -21*p + 17*p - 4. Let j(g) = -g**3 - 5*g**2 + 7*g + 7. Let m be j(-6). Is p greater than m?
False
Let r be (10 - 12)/(4/(-2)). Is r greater than 4/25?
True
Suppose -54*c + 67*c = 13. Is 2/29 > c?
False
Suppose -20 = -112*y + 110*y. Is 9 greater than or equal to y?
False
Suppose -29 = -4*o - 5. Do o and 6 have different values?
False
Let l be (-2)/((12/(-9))/(-4)). Which is greater: -8 or l?
l
Let b(j) = j**3 - 2*j**2 - 6*j + 1. Let l be b(4). Suppose 0 = -l*m + 4*m - 85. Which is smaller: -16 or m?
m
Suppose -p + 5*z = -15, -6*z - 12 = -2*p - 5*z. Suppose 0 = m + 4, -p*n - 27 = m - 3. Which is smaller: -3 or n?
n
Let m(o) = -6*o**3 + 5*o**2 + 5*o**3 - 5*o**2 + 4*o**2 + 4*o. Let b be m(5). Let c be -3 + 0 + (-13)/b. Is c < 1?
True
Let d = 4 - 6. Let z be -3 + 5 + 5/d. Suppose -5*v - 10 = -3*q, -2*v + q - 1 = 3. Which is smaller: v or z?
v
Let z be (-1)/2*(-321)/(-143). Let d = z + 15/26. Let k(h) = -2*h + 3. Let i be k(2). Is d at least i?
True
Let i(o) = 4*o**2 + o + 1. Let p be i(-1). Suppose 0 = g + p*g - 15, 4*g + 2 = -2*z. Which is greater: -6 or z?
-6
Let m(r) = 6*r + 7. Let g be m(-5). Is -23 at most g?
True
Let m(j) = -4*j + 0*j - j - j**2 - 2. Let g be m(-3). Suppose g*k = k. Is k equal to -2/5?
False
Let b(c) = c**2 + 4*c - 21. Let p be b(-7). Is p equal to 3/4?
False
Suppose 3*m = -x - 17, x = 4*m + 2 + 16. Let h be 1/4 - ((-15)/12)/(-5). Which is smaller: h or x?
x
Let j = -83 + 83. Is j not equal to 38?
True
Suppose -x + 5*x + 9 = 5*k, 5*x + 6 = k. Let y = -6 + 7. Let v be y - (4/(-3) + 2). Which is smaller: v or x?
x
Let y(h) = h**3 + 13*h**2 + 12*h + 1. Let m be y(-12). Which is bigger: 0 or m?
m
Let m = 15 + -16.5. Let b = m + -1.5. Which is smaller: b or 0.1?
b
Let w(g) = -g**3 + 6*g**2 + 8*g - 3. Let k be w(7). Let c = 1/116 - -217/58. Do k and c have the same value?
False
Let j be (4/8)/((-4)/8*2). Let g be 0 - -1 - 2/4. Which is smaller: g or j?
j
Suppose -4*j = j. Do j and 1/14 have the same value?
False
Let b(s) = -s**2. Suppose a - 3*a - 3 = 5*g, 5*g = 4*a - 9. Let c be b(g). Is c at most 4/11?
True
Let v(f) = f**3 + 4*f**2 + 3*f + 2. Let s be v(-3). Suppose -s*o - o = -3. Let g = 0 - o. Is -1 not equal to g?
False
Suppose -16 = 3*g - 5*s, 3*g + 2*s = -2*s - 25. Let o = 7 + g. Which is smaller: -2/11 or o?
-2/11
Let p = -1.1 + 6.1. Let q = p - 4. Is q less than -1?
False
Let a = 0.19 - -4.71. Let j = a + -5. Which is smaller: 1 or j?
j
Let x(o) = o**3 + 2*o**2 - 3*o - 2. Let k be x(2). Which is bigger: k or 7?
k
Suppose 0 = 5*f + 2*n - 4, -2*f + 3*n - 8*n + 10 = 0. Is 2/9 less than f?
False
Let n be (-4)/63 + (-4)/(-14). Let d be 1 - 0 - (-2 + 4). Which is smaller: d or n?
d
Let q(w) = -5*w**2 + 0*w**2 - 3*w**2 - 3*w - w**3 - 3*w + 3. Let i be q(-7). Let u be -2*(i/14 - 0). Is 0 < u?
True
Let z = 113/9 + -38/3. Let a = -18 + 13. Let o = a + 4. Are o and z unequal?
True
Let a = 0 + 30. Let r be (-51)/a*-2 + -3. Which is greater: -1 or r?
r
Let a = 1229 - 11084/9. Let w be (22/(-28))/(99/286). Let y = w - a. Which is smaller: -1 or y?
-1
Let b = 31 - 32. Let y be (-1 - -1) + (-3 - -4). Let q = -2 + y. Is q at least b?
True
Suppose 4*w + w = -4*x + 47, 27 = 3*x + w. Suppose -3*u + 7*u + x = 0. Is -2 less than or equal to u?
True
Let u = -15 - -15.7. Let o = -1.5 - u. Let m = o - -2. Is -0.1 less than m?
False
Let q(i) = 260*i**2 + 5*i + 6. Let s be q(5). Let k = s - 38849/6. Let f = -56 + k. Is 0 not equal to f?
True
Let c = 3 - -6. Let h(b) = -b**2 + 9*b + 1. Let u be h(c). Which is smaller: 2/21 or u?
2/21
Suppose m + 4 = 2*m. Let b(q) = 3*q - 4 - q**2 + 0*q + 9. Let w be b(m). Is -3 bigger than w?
False
Let y = 14/121 - -151/121. Which is smaller: 1 or y?
1
Let s = 3.2 + -3.3. Which is smaller: 22 or s?
s
Let j = 3 - -9. Suppose -5*h + 15 = -5. Suppose 1 = -5*x + 16, h*x - j = 5*g. Is g <= -1/4?
False
Let m(u) = u**3 + 2*u**2 - 5*u - 4. Let w be m(-3). Suppose -n = n - w*t + 4, 3*n + t - 2 = 0. Does 0 = n?
True
Let o be -1 - 5/((-20)/104). Let c = 36 - o. Do 10 and c have the same value?
False
Let a = -2 - -20. Let q be (-27)/a*(-8)/(-3). Let n(t) = -t**2 + 3*t + 7. Let w be n(5). Which is smaller: w or q?
q
Let u be 1 + (-42)/(-4) - (-1)/6. Is 12 smaller than u?
False
Let r = -20 - -28. Suppose 5*d - 3*d = r. Let x(l) = l**3 - 5*l**2 + 3*l + 4. Let u be x(d). Is u < 2/13?
True
Let s(y) = -y + 2. Let d be s(-4). Suppose -1 + d = 5*r. Let l = 9/7 + -88/63. Are l and r equal?
False
Let a = -15 - -4. Let d = 3 + a. Which is smaller: d or -7?
d
Let a = -1.45 - 0.05. Let t = 0.9 + a. Let d = t - -0.7. Are -1/2 and d equal?
False
Suppose -2*u - 5 = 5*s, -3*s + 2*s - 1 = 5*u. Suppose 5*v - 2*v = u. Which is smaller: v or 1?
v
Let z be 904/(-2448) - 2*(-1)/9. Which is smaller: -1 or z?
-1
Let d(t) = t**2 + 12*t + 1. Let o be d(-12). Suppose -2*v - 9 = v, -5*v - 13 = y. Which is greater: y or o?
y
Let j(l) = -l**3 + 13*l**2 - 7*l - 23. Let k be j(12). Which is greater: 36 or k?
k
Let c = -347.01 + 353. Let v = c + 0.01. Let u = 8 - v. Which is smaller: u or 0?
0
Suppose -2 = -2*q + 2. Suppose 0 = -3*u + q*u + 3. Let f be (2/(-4))/((-2)/16). Are f and u non-equal?
True
Let l = -23 + 16. Let w(t) = -t - 6. Let h be w(l). Which is greater: 3/7 or h?
h
Let f be 2/(-3)*-6*1. Suppose 5*a - 3*j + j = 79, f*j + 23 = a. Let x be 1/a + 6/(-15). Which is greater: 0 or x?
0
Suppose 4*g = -h + 3, 0 = 4*h + 2*g + g - 12. Suppose h*l = -0*l - 6. Let z = 13 + -15. Is l greater than or equal to z?
True
Suppose 0 = 5*r - 3*w - 18, 0*r - 4*w + 4 = -2*r. Suppose 0*y + 5*i = -2*y - 10, -3*i = r. Which is smaller: y or 1/2?
y
Suppose -709 = -2*c - c - l, l - 239 = -c. Let m = c - 2117/9. Let k be (0 - 1)/(2 + -3). Is k less than m?
False
Let s(d) = d**2 - 7*d + 3. Let o be (-4 - 3)*12/(-14). Let q be s(o). Do -4 and q have different values?
True
Let l be 8/(-270)*(-3)/(-2). Is l bigger than