s than -35?
False
Let m = 1.47 + 0.03. Let i = 4.5 + m. Let t = 7 - i. Which is bigger: -4 or t?
t
Let w = 13430/13 - 1034. Do 0 and w have different values?
True
Let q(s) = -s**2 - 4*s - 3. Let t be q(-2). Which is smaller: 2/21 or t?
2/21
Let i = -5.43 + 4.9. Let o = -0.5 - i. Let u = 0.13 - o. Is u at most 2?
True
Let g = 0.1 - -0.1. Which is smaller: g or 0.3?
g
Let t = 1713609/10 - 171561. Let b = -1527/10 - t. Let z = b - 47. Which is smaller: 1 or z?
z
Let g = 16 - 15. Let y be (g/(-2))/((-9)/(-18)). Is y at least 4/9?
False
Let u(v) = -v**3 + 6*v**2 - 5*v + 4. Let n be u(5). Suppose 0 = o + o + n, -5 = 5*w - 5*o. Are -4 and w equal?
False
Let c be (-56)/12 + 1 - 1. Which is smaller: -4 or c?
c
Let q = 0.06 - -4.94. Do 0 and q have different values?
True
Let u(b) = -b - 1. Let t be u(0). Is 2/21 less than t?
False
Let p = 3.7 - 4. Let h = 0.3 + p. Which is smaller: -1/4 or h?
-1/4
Let j(g) = 6*g**2 + 1. Let p(d) = -5*d**2 - d. Let c(n) = 4*j(n) + 5*p(n). Let f be c(-5). Let l be (f/(-6)*-6)/10. Is l equal to 0?
False
Suppose 3*t - x + 245 = 4*x, 0 = -3*x - 15. Are -90 and t non-equal?
False
Suppose -5*d - 10 = -5*s, d + d = 2. Suppose 0*o - 3*o = s. Let x = -85/6 - -14. Which is bigger: o or x?
x
Let j be 0/((2 - 6) + 3). Suppose 5*z + 0*z = 3*k - 21, -2*k + 10 = -2*z. Suppose j = r - p, 5*p + k = -3. Is -1 bigger than r?
False
Let n(a) be the first derivative of a**2/2 - 8*a + 3. Let y be 80/14 + (-4)/(-14). Let s be n(y). Which is smaller: -0.1 or s?
s
Suppose 6*y = 2*y. Let b be 3*-1 - (-119)/42. Is y smaller than b?
False
Let m be 1*((-14)/(-49))/(6/(-14)). Let i = 6 - 12. Let w(k) = k + 4. Let r be w(i). Which is bigger: r or m?
m
Let t(p) = 3 + 2 + p - 3. Let y be t(0). Suppose 3*u = s - 1, y*u + 15 = u + 4*s. Is u at most 1?
True
Let k be ((-81)/(-18))/(1/(-2)). Is -9 bigger than k?
False
Let h = -8/29 - -46/377. Is h less than or equal to -1?
False
Suppose q + 2*q = 0. Let t = 1 - q. Suppose s + 0*s + 1 = r, 3*r - 5*s - 7 = 0. Does r = t?
False
Let w = 2.17 + -0.17. Which is greater: 0.05 or w?
w
Let d = 2 - -1. Let z be (2 - 6)/(1*2). Let o be ((-8)/2 + 3)*z. Which is smaller: d or o?
o
Let a = -17/3 + 215/39. Which is greater: a or 0?
0
Let l = -7 - -12. Suppose l*z = -6*i + 2*i + 16, 2*i + 10 = 2*z. Do 0 and i have different values?
True
Let z(h) = -h**3 - 6*h**2 + h + 7. Let a = -6 - 0. Let s be z(a). Is s at most 2/45?
False
Let s = 3908/3 + -1237. Let l = 65 - s. Let j be (-2)/(-3) - (-16)/(-6). Which is smaller: l or j?
j
Let t = 1.03 + -1. Let g = 0.0125 + 29.0875. Let q = g - 29. Which is greater: q or t?
q
Let i = -2 + 3. Let k be 3 + (-1421)/473 - 0. Let u = k - 936/2365. Which is bigger: u or i?
i
Let f be (-3)/((-6 + 3)*1). Let s(l) = 3*l - 1. Let x(p) = -3*p + 2. Let m(r) = -3*s(r) - 2*x(r). Let q be m(-1). Which is greater: f or q?
q
Let c = -11 - 3. Let z = -14 - c. Is z at most as big as -3/5?
False
Let l be 2/(0 - 1) + 13. Let g = -8 + l. Suppose y = g*y. Is 0 >= y?
True
Let d(b) = -4*b + b**2 + 3*b + 3*b. Let y be d(-2). Let w be (24/14)/1 + -2. Which is smaller: y or w?
w
Suppose 0 = -4*c + 3*c. Let f be (-2)/(44/(-8) + c). Is -1 less than f?
True
Let w be ((-5)/(-480))/(-4*2/(-80)). Do 0 and w have different values?
True
Let j(c) = 2*c + 1. Let i be j(-1). Let h = 345 - 339.08. Let d = -0.08 - h. Is d less than i?
True
Let f = -4 + 3.92. Let n(m) = 4*m - 27. Let v be n(7). Is v at least f?
True
Let v = 7 - 7.14. Let g = v + -0.16. Which is smaller: g or 3?
g
Suppose 5*c - 2 = 2*c - s, -c + 2*s = -3. Which is greater: c or 3/11?
c
Let r = -0.01 + 0.01. Let l = 0.2 - 0.6. Is l at most as big as r?
True
Let s be ((1 - 1) + 0)/2. Suppose -y + 0*l + l + 2 = s, -y + 4*l = -5. Which is smaller: y or 2?
y
Let x be ((-2)/1)/(6/(-45)*3). Suppose 4*i - 2 - 18 = 0. Is x != i?
False
Let m = -180/11 + 174/11. Let h = m + 29/33. Which is bigger: h or 0.6?
0.6
Let t = 9.62 + -1.52. Let y = 8 - t. Which is greater: y or -1?
y
Let y = 56885/36 - 1580. Is -1 < y?
True
Let t be 5/(-4)*(-4 + 8). Let a(i) = -i**2 + i - 1. Let j(z) = z**3 + 4*z**2 + 2*z - 2. Let h(v) = -a(v) + j(v). Let q be h(t). Is -6 < q?
False
Let i(y) be the third derivative of y**4/24 - y**3/3 - 7*y**2. Suppose 0 = 5*c - 4*k - 2 - 0, c - 5*k + 8 = 0. Let j be i(c). Is j < 1?
True
Let z be 0/(5/5 + 4). Which is greater: -6/13 or z?
z
Let j = 9 + -5. Let i be j*1/6*3. Is i < 1?
False
Let t(r) = -r**3 - 2*r**2 + 1. Let s(a) be the second derivative of a**3/6 + a**2 + 2*a. Let p be s(-4). Let k be t(p). Is k not equal to 1?
False
Let d be (-1)/(1/(-182)) + -2. Let y = 56077 + -393797/7. Let r = d + y. Is -2 >= r?
False
Let s = 20 + -13. Is 9 greater than or equal to s?
True
Let u(t) be the third derivative of -t**6/120 + 2*t**5/15 - 7*t**4/24 - t**3/6 + 2*t**2. Let n be u(7). Which is bigger: n or -3?
n
Suppose -2 = -t - 5. Let s be -10 - (t + 2 - 1). Let w be (-2)/s - (-6)/(-72). Which is greater: 0 or w?
w
Let k = 1 - 8/9. Let i(x) = -x. Let r be 0/1 + (2 - 3). Let n be i(r). Which is greater: n or k?
n
Let w = 5.96 + 0.04. Let x = -6.3 + w. Is x greater than -1?
True
Let a be 2/(-4) - 2/(-4). Suppose -m + 0 = -1. Let y be (-1 - 1)/(m*13). Which is smaller: y or a?
y
Let a = 1676/25 + -67. Which is smaller: 1 or a?
a
Let z be ((-2)/(36/1670))/(-1). Let j be -2 - (-94 - (-3)/(-3)). Let r = z - j. Is r less than 3?
True
Let w(t) = t**2 + 4*t - 1. Let z be w(-4). Let x(p) = p + 1. Let m be x(5). Let u be (4/6)/(m/(-9)). Is u <= z?
True
Let j = 23 - 14. Is j bigger than 11?
False
Suppose -4*g - 6 - 14 = 0. Does g = -5?
True
Suppose a = 6*a - 10. Suppose 0 = w + 3*q - 10, 0 = -6*w + w - a*q - 2. Are -5 and w unequal?
True
Let h be (1 + -7 + 2)/((-9)/(-1)). Is h smaller than -0.05?
True
Let t be (-5)/((-20)/12)*1. Is 11/6 at most as big as t?
True
Let l = 31 - 31.2. Which is smaller: l or 26?
l
Let b = -1 - -4. Suppose b*j + 2*a + 5 = 0, j - 6*j = -5*a. Which is smaller: -1/3 or j?
j
Let n = 0.533 - 0.033. Which is smaller: n or 0?
0
Let t = 17 + -39. Which is smaller: t or -1?
t
Let r = 4 + -2. Let h = 2/33 - 25/231. Let l = h - -23/42. Which is greater: r or l?
r
Suppose 6*g - 21 = -3. Which is smaller: 4 or g?
g
Suppose -2*p = 4*p + 72. Is -11 greater than p?
True
Let f(x) = 2*x - 7. Let z be f(-5). Let a = -1 - z. Is a bigger than 15?
True
Let s = 1376 - 89442/65. Which is smaller: 1 or s?
s
Let w = -9 - -11. Let h = w + -2.14. Which is bigger: 2/3 or h?
2/3
Let o be (-8)/36 - 280/(-1422). Which is smaller: 1 or o?
o
Let m be -1 - -12 - (-8)/(-4). Suppose -d - m = -4*d. Which is smaller: d or 2?
2
Let v(o) = -2*o. Let h be v(-1). Let i = 4 - h. Suppose -4*x = 4*b + 4, -4*x - 5*b + 0*b - i = 0. Which is smaller: -1 or x?
x
Let s(d) = -d**2 + 4. Let b be s(-3). Let w = -4 - b. Is -1/3 > w?
False
Let b(l) = l**2 + l - 1. Let i = 2 - 2. Let k be b(i). Does 0.3 = k?
False
Let b = 1 - -2. Let p = b - 8. Do p and -6 have the same value?
False
Let w = 0.04 - 0.24. Let f be (-32)/(-12)*27/5. Let s = -14 + f. Which is smaller: s or w?
w
Let y be (12/(-45))/((-2)/25). Let w = 19/6 - y. Suppose 0 = -f - 0*f + 1. Is w greater than or equal to f?
False
Let h(r) = -r + 1. Let a be h(-3). Suppose -a*m + 7*m - 6 = 0. Is 2 greater than m?
False
Let v = -6 - 0. Let s = v - -4. Let m = 1 + 0. Which is greater: s or m?
m
Let p = 18 + -16. Let m be p + -1 + 4/(-14). Which is smaller: m or 1?
m
Let x be 38*2/((-68)/409). Let d = x + 457. Suppose 3*h + 3 = -0. Which is bigger: h or d?
d
Let f(w) = -4*w. Let k be f(1). Let z be k - 4/(-2) - 2. Let u be (0 - 1)*(-1)/z. Is u less than or equal to -1?
False
Let n be 2/5*(-2 + (-99)/(-32)). Which is smaller: n or 0?
0
Let q = -5 + 10. Let t = -24 + 24.1. Which is bigger: q or t?
q
Let b be 1*6 + 4/(-2). Let a be (0/2)/(b/(-2)). Suppose a*u - u = 0. Is u not equal to -1/4?
True
Suppose 0*f = 4*f + 4. Let v = f + 3. Suppose r - 15 = -r - 3*g, 2*r + 10 = 2*g. Is v at most r?
False
Let q = -2.5 - -2.6. Which is smaller: -55 or q?
-55
Let b = -0.25 + 0.3. Let m = b - -0.95. Is 2/7 less than or equal to m?
True
Let r = 1 + 2. Let h = r - -8. Which is smaller: h or 0?
0
Let c be (1 - -1)/(6/9). Suppose -3*m = 3*j + m + 5, 3*j - c*m = -12. Let o(p) = p**2 + 2*p - 3. Let u be o(j). Which is smaller: u or 4/3?
u
Let a be 18/40 - (-1)/(-4). Suppo