 p = -0.07199 - 0.02801. Does m = p?
False
Let h(v) = 8*v + 7. Let m be h(-6). Let c = m + 57. Let z = 27 - c. Which is smaller: z or 10?
10
Suppose 70 = -4*j - 2*p, -4*p - 44 = 2*j - 0*p. Let a = j - 0. Let d = a + 4. Are d and -12 non-equal?
False
Suppose 2*q + 18 = -3*c, 20 = -27*q + 23*q - 2*c. Let g = -1343/726 - -2/121. Which is smaller: g or q?
q
Let p = 94 + -126. Let t = p + 25. Which is greater: -11/2 or t?
-11/2
Let p(i) = -i**2 - 2*i + 2. Suppose 2*h + 20 = -4*v, -2*h + 4*v + 2 = -10. Let w be p(h). Which is bigger: w or 0.13?
w
Let t(i) = -i**3 + 5*i + 2. Suppose -3*x - 13 = 5*g, 15 = -8*g + 3*g - 5*x. Let m be t(g). Let d = 0.03 + -0.03. Are d and m unequal?
False
Suppose -5*m + 8*m - 3 = 0. Let w be (-3 + (m - -1))/((-2)/(-26)). Is 0 <= w?
False
Let j = -52 - -35. Let n be (j/(-51))/(1/6). Is 3 < n?
False
Let x = -203/129 - 4/43. Let s = -2.44 - -2.1. Let b = -0.34 - s. Which is smaller: b or x?
x
Let w = 714 + -694. Let u be 7*(2 - 16/(-28)). Are u and w nonequal?
True
Let z be (-15)/9*(3 + -6). Suppose -z*t = 5*o - 40, 2 + 2 = -2*o + 2*t. Suppose -25 = -o*f + 2. Does f = 1/3?
False
Let j = -15 - -10. Let h = -5 - j. Which is smaller: 9 or h?
h
Let l(z) = 21*z - 613. Let x be l(61). Are x and 667 unequal?
True
Suppose 17 = -5*d + 27. Suppose 3*z + d = -1. Is z at most as big as -1/47?
True
Let j = -2246817/26200 + -221/3144. Let s = -429/5 - j. Let y(r) = -r**3 + 1. Let o be y(0). Is s greater than or equal to o?
False
Let z(t) = -2*t**2 + 15*t - 17. Let p be z(6). Suppose -3*h - 19 = -4*o, -2*h - 3*o = -0*o - 10. Which is smaller: h or p?
h
Let r = 1259 + -3739/3. Let o = 7 - -7. Which is smaller: r or o?
r
Let m = -140 - -226. Which is smaller: 84 or m?
84
Suppose -y = 2*y + 132. Suppose -5*w - 8 = 2*v, 0 = -2*v - 27*w + 24*w. Let h be v/(-8) - 957/y. Which is bigger: h or 20?
h
Suppose -3*w = -2*j - 52, -j + 58 = 4*w + 2*j. Let h be (-1)/((-6)/(-16))*(-7 - -1). Is w at most as big as h?
True
Let s = 0 - 0.3. Let q = -0.2 + -0.8. Let g = q + 1.2. Is s greater than or equal to g?
False
Suppose -3*x = w - 4, 3*x + 2 = -4*w - 9. Suppose -1 = -z - x. Let c be (z/3)/(30/45). Is 3/31 less than c?
False
Let d = 647 + -7759/12. Let m = 1/12 - d. Suppose -6*b - b = -21. Is m equal to b?
False
Let a = 987 + -1019. Is -34 not equal to a?
True
Let t = -1430 + 1430.17. Which is smaller: t or -16?
-16
Let i = -4673/1614735 - -1/6645. Is i bigger than 0?
False
Let j = -24.39 + 24.301. Does 2 = j?
False
Suppose 2*l - 6 = -a, -5*l + 9*a + 37 = 6*a. Which is bigger: 3 or l?
l
Let a be 5 + 48/(-9) - (-26)/6. Suppose 3*q - a*h = 18, q - 3*h + 5 = 16. Is q at least -8?
True
Let i = -1.83 - 0.17. Let l = i + 2. Which is greater: l or -0.1?
l
Let r = -2 + 12. Suppose 8 = r*y - 12. Which is smaller: y or 1?
1
Let g = 26 - 10. Let o = -16 + g. Which is smaller: -2/19 or o?
-2/19
Suppose 0 = 4*i + 4, 5*i - 95 = 3*c - 25. Which is greater: -16 or c?
-16
Let z be (-4 - 4 - -3)*(-8)/2. Let m be (-4)/(-10) + (-102)/5. Let o = z + m. Which is bigger: -1/12 or o?
o
Let l = -706 - -716.38. Let j = -0.38 + l. Is 2/5 greater than j?
False
Let a = -12.86 + -0.14. Let x = -13.1 - a. Is -0.5 bigger than x?
False
Let s = 2408 + -2039. Which is greater: s or 0.1?
s
Let c = 582 - 514. Which is smaller: 135/2 or c?
135/2
Let a = -2.18 + -0.02. Let q = -3.2 - a. Is -1/17 != q?
True
Let h = -3 + 3.1. Let y be (-455)/75 + 9/(-15). Let t = y - -55/6. Is h at most t?
True
Let y = -11 - -16. Suppose 5*g + y + 10 = 0. Let m be (-2)/(g - (-1 + 0)). Which is smaller: 2 or m?
m
Let l be (-17 + 10/5)/(1/(-8)). Which is smaller: l or 119?
119
Let j = 3.027 + -0.027. Are j and 0.26 equal?
False
Let b(i) = -24*i - 8. Let k be b(-4). Suppose -37 = 4*l - 2*p + 63, -4*p - k = 4*l. Is l > -24?
False
Suppose 3*g + 6 = 3*h, 4*g + 2*h - 9 = 7. Suppose 11*k = -3 - 8. Let c be 4/(-16) - (k + (-3)/4). Which is greater: g or c?
g
Suppose -5*h - 645 = 2*i, -4*h + 5*i + 12 = 495. Suppose 5*b + 508 + 152 = -5*a, -5*a - 276 = 2*b. Is b less than or equal to h?
True
Suppose 0 = 2*m - 2 + 6. Let n be (-3)/(12/16) - m. Let j = n - -2. Which is greater: j or 4/9?
4/9
Let d = 519 - 518. Let u = 0.6 - 0.75. Is d smaller than u?
False
Let g(f) = -f**3 - 10*f**2 - 9*f - 9. Let v be g(-9). Let s be v/(27/(-6)) + -3. Is 0 smaller than s?
False
Suppose -27 = 19*w + 296. Do -10 and w have different values?
True
Let n(u) be the second derivative of u**3/2 - 2*u**2 + 9*u. Let o be n(3). Suppose -d - o*m - 1 = 4, 2*d - m = 1. Which is smaller: d or -2/3?
-2/3
Let l be (-4)/(-20) + (-18)/(-10). Suppose 0 = -3*c + l*c + 3. Suppose -c*r = -4*r + 5. Is r less than or equal to 27/7?
False
Let t = -113 - -111. Let i(x) = x**2 + 3*x - 1. Let d be i(-2). Is t at least d?
True
Let j = -119 + 2100. Is j > 1982?
False
Suppose r = 3*h + 14, 2 = -3*h + 8. Let c(d) = -d**3 - 4*d**2 - 5*d + 1. Let o be c(-4). Which is smaller: r or o?
r
Suppose 103*p - 376 - 242 = 0. Which is smaller: 46/7 or p?
p
Let x(h) = h**3 - 7*h**2 - 17*h - 6. Let i be x(9). Let d be (-6)/4 - (1 + -10 + 6). Which is bigger: d or i?
i
Let h be ((-314)/(-8))/(1 - 0). Which is greater: -1 or h?
h
Let z = -3 - -4. Suppose z = -b - 1. Let s = 38/99 + -10/9. Does b = s?
False
Let q be 14/(-4)*(-104)/546. Which is smaller: -234 or q?
-234
Let k = -10 - -14. Suppose 2*j = -3*s + 21, s - 4 + 2 = j. Suppose 1 = j*d + 4. Which is bigger: k or d?
k
Let y(r) be the second derivative of -r**3/6 - r**2/2 + 6*r. Let c be y(0). Which is greater: c or -3/28?
-3/28
Let y = -33 + 36. Suppose -4*t = -c + 377, 2*t = y*c - 4*c - 181. Which is bigger: -94 or t?
t
Suppose 0 = -4*g + 4*j + 4, g - 107*j - 21 = -111*j. Let u(s) = s**3 + 6*s**2 - 2*s - 3. Let c be u(-6). Which is smaller: c or g?
g
Let d(q) = 722*q**2 + 17*q - 18. Let s be d(1). Which is smaller: s or 719?
719
Let r be (5 + 452/(-92))*-3. Let z be ((-5 + 4)*2)/2. Does r = z?
False
Suppose 0 = 2*o + 4*p + 18, -7*o + 3*o = -5*p - 29. Suppose b + o = 2*k, 3*k + 4 + 7 = -b. Does -2 = k?
True
Let f be (-31 - 371)*((-4)/204 - 0). Does -1 = f?
False
Let n = -101/15 - -41/6. Suppose -g = -3*g + 4. Suppose 0 = 4*y - s, s - 18 = g*y - 4*s. Which is smaller: n or y?
n
Let v be (9 - 1 - 7)/(1/1). Which is smaller: v or -1/92?
-1/92
Let s = -0.3 - 1.7. Let l = 4.4 + s. Which is greater: -1 or l?
l
Suppose -4*r + r - 6 = 0. Let u(h) = -6 - 2*h**3 + 5 - h - h - h**2 - 2*h**2. Let q be u(r). Is 7 less than or equal to q?
True
Let o = -718 + 719. Is 1 at most o?
True
Suppose 4*w - 2*i + 124 = -6*i, 0 = -w - 4*i - 37. Is -27 greater than w?
True
Suppose 6 = -2*y + 5*b, 0*y - b - 9 = 3*y. Suppose 1 = -3*q + 2*q. Does q = y?
False
Let s = 225 - 225. Which is greater: 2/129 or s?
2/129
Let s = -1032.173 + -0.827. Which is bigger: s or -2/7?
-2/7
Suppose 42*u = 38*u + 88. Is 21 > u?
False
Let y = 1 + -1. Let u = 342 + -315.3. Let a = 27 - u. Is a <= y?
False
Suppose -3*z + 3*t = -2*z + 17, 0 = 4*z - t + 35. Let n be 2*3*z/(-12)*-1. Do -3 and n have different values?
True
Let a = 5 + -3. Let m(p) = p + 1. Let l be m(1). Are a and l non-equal?
False
Let k = -9.131 - -8.731. Let t = -463/2 + 227. Which is greater: t or k?
k
Let t = -10.3 - -12.3. Which is smaller: t or -97?
-97
Let v(c) = c - 2. Let i be v(-5). Let a be 3/(i/2 - -2). Is a smaller than 0?
True
Let w = 3.3 + -27.3. Let g be 84/882 - 3/((-126)/10). Which is smaller: w or g?
w
Let x = 1 - 2. Let r = -0.5 + 0.45. Let i = r - -1.05. Is i >= x?
True
Let b = -212 - -157. Is b less than -55?
False
Let r = 78886/57 - 1384. Suppose -3*c + 3 = -3. Suppose 4*w - c*s + 4 = -0*s, 4*w + 6 = 3*s. Is r greater than or equal to w?
False
Suppose -9*z + 4*z + 40 = 0. Suppose 0 = 3*v + 3*d + 36, 7 = d + z. Which is greater: v or -12?
v
Let z = 35 - 12. Let p be z/(-115) - 4/5. Is p at least as big as 0.24?
False
Suppose 0 = 4*w + 3*b + 325 + 590, 4*b - 1136 = 5*w. Which is smaller: w or -227?
w
Let u be 12/(-20) + (-31)/(-85). Suppose -d = 3*o - o + 6, 0 = 3*d + 5*o + 15. Which is smaller: d or u?
u
Suppose 0 = -4*m - 0*m + 3*s + 12, -3 = -m - 3*s. Suppose m*d = 2*d. Let k be (-7)/(-6) + d/(-7). Which is smaller: 0 or k?
0
Let j be (-80)/(-200) + (-48)/70. Are 4/9 and j unequal?
True
Let a = -0.86 + 0.88. Let h = 106 + -111. Is h > a?
False
Let g = -1/470 - 169/94. Let h = -757 + 754. Wh