t p = h - 0.2. Let y = p + 0.2. Are y and 1/2 unequal?
True
Let x = -0.1 - 0. Let v = 1.3 - 35.3. Let p = v + 37. Is p less than x?
False
Let j be 5*(8/(-20) - -1). Is 4 less than j?
False
Let u be 378/(-78) + (-2)/13. Is -5 less than u?
False
Suppose -2*x = 5*l - 8, -4*x - 11 + 5 = -l. Suppose 4*b = -5*t + 13, l*b - 1 - 1 = 2*t. Let p be (t/2)/(1/2). Which is greater: p or -3/4?
p
Let n(h) = -2 - 4 + h + 2 + 5. Let o be n(-2). Are o and 0 nonequal?
True
Suppose 0 = 4*g + 3*k - 5*k + 14, 0 = g - 3*k - 4. Do g and -8 have the same value?
False
Let l = 8 + -9. Is l > -2/7?
False
Let x(g) = 2 + g + 0 - 1 - 2. Let j be x(6). Suppose 0 = j*i - 3 - 7. Is i at least 1?
True
Suppose 3*u + 2 = 23. Suppose -4*b - 27 = -u*b. Suppose 4*t + b = 1. Do -4 and t have different values?
True
Let t = -139/360 - 1/72. Is t < -1?
False
Let h = 6 - 6. Which is greater: h or 2/9?
2/9
Let f be -2 - ((-3)/1)/(-3). Suppose 4*g - 38 = 2*d, 52 = 5*g - 0*d + 2*d. Let w be (-5)/2*(g + -8). Which is greater: f or w?
f
Let y = 0 - -0.1. Let k be (-1 - -2)*3/9. Is y < k?
True
Let h be (-1)/(-1) - 0/(-2 - -4). Do h and -2/37 have the same value?
False
Let m = 276 - 470. Let d be 0 + -1 + 5066/26. Let w = m + d. Do 0 and w have the same value?
False
Suppose 4*u - 7 = 9. Suppose 3*p + 4 = u*d - 0*d, 0 = -2*d + 2*p. Which is smaller: d or -1?
-1
Suppose 0*h + 5*h + y + 3 = 0, 4*h = 2*y + 6. Suppose k + k - 5*l = -14, 3*k + 3*l = 21. Let u be 2*(0 - k/(-33)). Is u bigger than h?
True
Let h = 8 + 6. Is h smaller than 15?
True
Suppose 0 = -0*t - 3*t. Suppose 4*u + 0*u - 4 = t. Let w = 18 - 16. Which is bigger: u or w?
w
Let z = -0.27 - -0.07. Let a be ((-1)/(-3))/(7/6). Is a at least as big as z?
True
Let b = -5.9 - -6. Let f = 6 - 6.07. Let v = f - -0.13. Which is bigger: v or b?
b
Let n be (5/2)/(1/2). Suppose 2 = n*u - c, 3*u = 6*u - c - 2. Which is smaller: -1 or u?
-1
Let j be -4 + (-12)/(-4) + -21. Which is bigger: j or -23?
j
Let q = 5 - 1. Let s(y) = -y**2 + 4*y - 1. Let t be s(3). Let f be 5/(-10) - (-7)/t. Which is smaller: f or q?
f
Let c = 92/3 - 31. Which is bigger: c or -3?
c
Let h = 749/19 - 39. Is h bigger than 1?
False
Let u = -9 + 4.18. Let y = u + -0.18. Does -2 = y?
False
Let d be (-452)/4716 - (-4)/36. Is 1 at least as big as d?
True
Let t = -0.16 + 0.16. Which is smaller: t or -0.1?
-0.1
Let f be ((-12)/(-16))/((-1)/(-13)). Let a = 19/2 - f. Is a < 0?
True
Let z(l) = -l**3 + 4*l**2 - 3*l - 1. Let y = -14 - -7. Let m(h) = -h**2 - 8*h - 4. Let k be m(y). Let v be z(k). Which is smaller: -2/3 or v?
v
Suppose 3*h = 82 + 278. Suppose -4*a - 3*c - h = -30, 3*a + 5*c = -62. Is -25 > a?
False
Let n = -59/790 - 2/79. Is n at most as big as -1?
False
Let u = -12.2 + 12. Let p = 0.5 + -0.9. Let y = u - p. Which is bigger: 2/3 or y?
2/3
Let y(n) = -n + 6. Let r be y(5). Suppose 0 = 4*j + 5*d + 9, 24 = j - 2*d - 2*d. Suppose s - 13 - 12 = 5*f, -j*f - 20 = -4*s. Which is bigger: s or r?
r
Suppose 4*s + 4*h = h + 11, -4*s - 5*h = -21. Let x = 5.1 + -5.3. Is x smaller than s?
False
Let q be (-95)/35 - 6/21. Let h be -1 + 0 + q/3. Which is smaller: -1 or h?
h
Let v = -155 + 156. Let l(m) = m**3 + 4*m**2 - 5*m + 6. Let i be l(-5). Let d be (-84)/99 + 4/i. Which is bigger: d or v?
v
Let w = 88/3 + -30. Is -4/5 > w?
False
Let c = 29 - 29.1. Which is greater: -1 or c?
c
Let o = -1.1 + 0.8. Let f(z) = -z**2 - 10*z. Let k be f(-9). Let a be -2 + (-2 - (-33)/k). Are o and a non-equal?
True
Let d = 2.92 - -0.08. Let k = -2.8 + d. Let f = -0.3 - -0.4. Is f less than or equal to k?
True
Let r = -2 + 16. Is r >= 13?
True
Let j be (-1)/(-6)*26/(-65). Suppose 3*q - 8*q = 0. Is j < q?
True
Let k(j) be the third derivative of -j**4/24 - 7*j**3/6 - 3*j**2. Let u be k(-3). Which is smaller: -3 or u?
u
Let r = 29 - 16. Let n = -19 + r. Which is smaller: n or -7?
-7
Let s = 29 - 18. Is s greater than 1/3?
True
Let c = 125 + -126. Which is greater: -55 or c?
c
Let y be (-2)/(-15)*-3*(-10)/4. Which is greater: 2/43 or y?
y
Let b(g) = g**3 - g**2 + g - 2. Let z be b(3). Let x = 58/3 - z. Let t be (-6)/(-4)*2/15. Is x < t?
False
Suppose -m = -4*a + 4*m + 27, 4*m + 12 = 0. Suppose -4*x + 2*b - 5*b = 3, -3*b = a*x + 6. Let q(u) = -u**3 + 4*u**2 - u - 2. Let g be q(3). Is g < x?
False
Suppose -2*b - 2 - 2 = 0. Is -2 at most b?
True
Let y be -5 + -4 + (-2)/(-1). Let x be y/4*(-2)/7. Which is smaller: x or 2?
x
Suppose 0 = 4*d - 0*d - 8. Let b be (2/4)/(1/d). Let t be ((-1)/(-4))/1*-1. Is b > t?
True
Let j = 0 - -2. Let s = j + -1. Which is smaller: s or 0.1?
0.1
Let i = 3 + -6. Are 0 and i non-equal?
True
Let u = -7.06 + 7. Let h = u + -0.04. Which is bigger: -0.7 or h?
h
Let l = -0.1 + -0.1. Let n = 259.9 - 260. Is l less than or equal to n?
True
Let v = 3711 + -649427/175. Which is smaller: v or 1?
v
Let z(m) = -m**3 + 5*m**2 - 4*m + 5. Let t be z(4). Let y = t - 5. Are -0.1 and y non-equal?
True
Let d(i) = -3*i + 3. Let v be d(4). Which is greater: v or -11?
v
Let r = 373 + -370. Let l be 4/(-6)*(-15)/2. Suppose -l*c - 5 = -0*c. Which is smaller: c or r?
c
Let z = 1 - 1. Let t = 0.34 - 0.04. Let i = -0.1 + t. Is i smaller than z?
False
Suppose 90*j - 228 = 94*j. Is -58 less than j?
True
Let k(u) = 2*u**3 + 5*u**2 - 3*u. Let o be k(-3). Let n be 64/110 + 2/(-5). Which is smaller: o or n?
o
Suppose 6*s - 1 = 7*s. Let w = 13 + s. Is 12 greater than or equal to w?
True
Let o = -2696/5 + 536. Which is bigger: -3 or o?
-3
Let k be (-1 - (-3)/15)/((-8)/(-180)). Which is smaller: k or -84/5?
k
Let i be -1 + 0 + (-3 - -71). Let y = i + -203/3. Is y bigger than 0.1?
False
Suppose -c - 18 - 18 = 4*l, 2*c - 2*l = -22. Is c at least -17?
True
Let k = 11 + -8. Suppose k*q - 4 = -1. Which is bigger: 2 or q?
2
Let t = -2.8 + 3. Let u = -14404 + 71523/5. Let m = -99 - u. Is t less than m?
True
Let m = 233 + -471. Let j = 1670/7 + m. Suppose 0 = 4*d - 5*h + 15, -h + 0 = 3*d - 3. Which is greater: j or d?
j
Let p = 84 - 69. Do p and 16 have the same value?
False
Let v = -3 - -3.1. Let n = 13/19 - 1673/57. Let i = -28 - n. Which is smaller: v or i?
v
Suppose -4 = 3*i - i. Which is smaller: -5 or i?
-5
Let u be (0 - 1)/(2/4). Let w be -13*3/6*u. Suppose 3*p + 6 = 4*i + 1, -i - w = 4*p. Is -3 >= p?
True
Let q(m) = -5*m + 4*m - 5 + 1. Let a be q(-3). Is a at most as big as 2/9?
True
Let b be (1 - 3/1) + 6. Suppose -b*f + r = -r - 10, 5 = -5*f - r. Which is smaller: -3/5 or f?
-3/5
Let h = -0.91 - -3.03. Let k = 0.12 - h. Is 0.2 < k?
False
Suppose -3*i - 9 = -4*t + t, 2*t - 16 = -3*i. Suppose j = -2, 0 = -t*a + 5*j + 14 + 1. Is a at least as big as -2/15?
True
Let l = -16.4 + 11.5. Let i = l + 5. Which is bigger: i or -1/2?
i
Suppose -2*p - 138 = -40. Which is bigger: -48 or p?
-48
Let m(d) = 2*d**2 - 7*d + 5. Let x be m(2). Is x at most as big as -4/5?
True
Suppose 2*m = -8, -3*o + 19 - 60 = 5*m. Let q = 0 + 7. Let i = q + o. Are 0 and i non-equal?
False
Let f = 155/2 - 77. Which is smaller: f or 1?
f
Let o(c) = c**3 + c**2 + 22. Let i be o(0). Do 22 and i have the same value?
True
Suppose 8*o = 3*o - 5. Which is smaller: 3/4 or o?
o
Let u = -0.11 + -3.89. Let m = 3 - u. Let d = -3 + m. Which is greater: d or -0.1?
d
Suppose 0 = 5*z + 12 - 7. Let r(k) = k**2 + k. Let d be r(z). Which is greater: -3 or d?
d
Let z = 138/13 - 612/65. Let q(o) = o + 6. Let y be q(-6). Which is greater: z or y?
z
Let c be 5/15*(-182 - 3/3). Is -61 at most as big as c?
True
Let b(p) = -p - 8. Let q be b(-6). Which is smaller: q or 0.02?
q
Let i(d) = d**2 + 6*d - 7. Let t be i(-7). Let a(w) = -w**2 + 3*w - 1. Let h be a(2). Let b be (2 + 0 - h)/1. Is b at least t?
True
Let d(f) = -f**2 - 12*f + 1. Let c be d(-12). Let b be (-9)/3 + (c - -2). Is b <= -2?
False
Let g(h) = -2*h - 2 + 11 + 3*h. Let q be g(-9). Suppose 2*v = -q*v + 6. Is 1 at most v?
True
Suppose -4 = 3*b + 3*i - 1, 2*b - i = -8. Let x be (3/1)/(b/2). Let t be (6/(-8) - 0)*4. Is t < x?
True
Let n = 0.09 - 0.07. Which is bigger: n or -2/3?
n
Let d = -408644/45 - -45706/5. Let r = 60 - d. Let n = -75 - -73. Which is bigger: r or n?
r
Let f = -2 + 1. Let i be 180/22 - (-4)/(-22). Let s be ((-3)/i)/(30/20). Is f bigger than s?
False
Let o(d) be the second derivative of -d**4/12 - 7*d**3/6 - 3*d**2 - d. Let j be o(-5). Suppose -j*a + 3*a = -1. Are 2/5 and a equal?
False
Let c = 25 - 36