 -z, 5*z = 4*k + 7. Suppose 9*a - 8*a + 3*g = 5, g = -z*a + 7. Do 2 and a have the same value?
True
Suppose 0 = -226*o + 218*o + 336. Do 35 and o have the same value?
False
Let z be (-2)/(-8) - 3752/(-32). Let d = z - 112. Which is smaller: d or 6?
d
Let x = 1/129 + 55/301. Suppose 22 = y + 3*k, -4*k = 3*y - 68 + 27. Suppose -3 = -y*m + 4. Which is greater: x or m?
m
Let r(w) = 19*w + 115. Let y be r(-6). Does -1/4 = y?
False
Let f(h) = -2*h**2 - 13*h + 4. Let m(z) = -6*z**2 - 38*z + 13. Let a(c) = 11*f(c) - 4*m(c). Let p be a(-5). Which is smaller: -17/4 or p?
-17/4
Let t = -385/782 + 8/17. Which is smaller: t or 1?
t
Let j be (12/(-88))/(2/4). Suppose -9*u + 4 = -5. Suppose u = 5*z - 4. Is j < z?
True
Let w = -25 + 44. Suppose w = -q + 8. Which is smaller: q or 2?
q
Suppose 3*f = -3*f + 1014. Is 169 at least f?
True
Let l = 3.9385 - -0.0615. Suppose 0 = d - 4*d + 21. Suppose d = 2*i + 3. Which is greater: i or l?
l
Let o be (-75 - -78)/((-6)/(-44)). Which is smaller: 62/3 or o?
62/3
Let o(c) = -39*c**3 - 2*c**2 + 2*c - 1. Let x be o(1). Let i(f) = 2*f**2 + 5*f - 5. Let p be i(5). Let s = p + x. Is 29 greater than or equal to s?
False
Let f = 124 + -126. Are -6/119 and f unequal?
True
Let y be (-10)/5 - (-3 - -1). Let f = y - -3/10. Suppose -o + 3 - 4 = 0. Are f and o non-equal?
True
Suppose 0 = i + 8864 - 9660. Which is greater: i or 2/7?
i
Let o be 48/27 - 30/(-135). Is 86/27 at least as big as o?
True
Let z = -142 + 146. Suppose -4*q + 21 = -7. Let j = q + -6. Which is bigger: j or z?
z
Let m be 3 + -1 - (0 - 1). Suppose -30 = 5*h - 115. Suppose -n - 3*f = -h, n + 0*n - 3*f = -13. Is m greater than n?
True
Let q = 0.02 - 12.02. Let h = 22 + q. Are -1 and h equal?
False
Let z(y) = -y**2 - 22*y - 63. Let f be z(-3). Is 0.03 smaller than f?
False
Let d = -65 - -127/2. Is d at most as big as 3/2?
True
Let q = 0.44 + 4.96. Let y = 10.4 - q. Do y and -1/3 have the same value?
False
Let a(z) = -3*z - 22. Let k be a(7). Let f = k - -44. Which is smaller: f or 3/14?
3/14
Let k(l) = -2*l**2 + 11*l + 6. Let r be k(6). Is r > -13/132?
True
Let j = -81 + 81. Let v = j + 0. Which is smaller: v or 2?
v
Let l = -153 - -117. Is -35 bigger than l?
True
Suppose 5*i - 12 = -27, 0 = -d - i + 6. Is 15/2 at most d?
True
Suppose 5*d + 12 + 13 = 0, -v = 2*d + 63. Which is smaller: -52 or v?
v
Let d be (-175)/(-20) + 3/12. Let j be d/7 - 4/14. Let a = 4 + j. Which is smaller: a or 6?
a
Let p = -1544 - -1542.998. Is p smaller than -1/2?
True
Let d = 92 + -61. Let x = 29 - d. Is x > -1?
False
Let d(l) = l**3 + 7*l**2 + 12*l + 1. Let k be d(-4). Which is greater: 6/7 or k?
k
Suppose 0 = 3*v + 5*f - 14, -3*f - f + 10 = 2*v. Suppose -2*a - 5 = -5*z - 39, -v*z + 3*a = 24. Is z greater than or equal to -19/3?
True
Let y be (-2 + 5)*1*786/36. Is 1 at most as big as y?
True
Let h(x) be the first derivative of x**4/4 - 4*x**3 - x**2 + 10*x - 11. Let y be h(12). Let l be (y/6)/(1/6). Do l and -1/2 have the same value?
False
Let p(s) = s**3 - 7*s**2 - s - 10. Let f be p(7). Let j = 18 + f. Which is smaller: j or -2/93?
-2/93
Let g = -0.67 + 0.46. Let t = 0 - g. Is 2/7 greater than or equal to t?
True
Suppose 6*k - 2*p + 10 = 9*k, 0 = p - 5. Is k smaller than -1/210?
False
Let c(v) = -v**3 + 11*v**2 + 30*v - 12. Let y be c(14). Which is greater: -179 or y?
-179
Let q(h) be the first derivative of -h**2/2 + 10*h + 1. Let x be q(12). Let l be (-29)/7 - (-27)/189. Which is greater: l or x?
x
Suppose 2*d + 2*d - 16 = 0. Suppose 6 = p + f + 2, -10 = -5*p + 5*f. Which is greater: d or p?
d
Let q = 1417 + -1417. Is q < 1/90?
True
Let k be ((-32)/(-72))/((-1480)/12). Is -1 greater than k?
False
Suppose 4*d - 5*b + b + 104 = 0, -53 = 2*d - 3*b. Let r be 20/2*(-20)/d. Let s be (-237)/21 - r/(-28). Which is smaller: -12 or s?
-12
Let f = -24236/11 - -2204. Let x(a) = -a + 0*a + 3 - 3*a + a**2. Let y be x(3). Do f and y have the same value?
False
Let q = -13 - -17. Suppose -16 = q*w, 3*v - 2*w = -w + 7. Let b be v*-2 - (-80)/56. Is 0 greater than b?
True
Let b = 2/11603 + 69344/1589611. Which is smaller: b or 0?
0
Suppose 4*j = -l - 2, -4*l + 16 = j + 24. Is j smaller than -10/87?
False
Let v = 100 - 69. Let u = -34.2 + v. Let t = u - -1.2. Which is bigger: t or 2?
2
Let k = -17.6 - -18. Let b = 2.6 + k. Which is bigger: b or 6?
6
Let r = -101 - -103. Is r <= 0.24?
False
Let v = -199/4 - -50. Let h(w) = w**3 - 11*w**2 - 12*w + 1. Let y be -1 - (-12 + 0) - -1. Let u be h(y). Which is bigger: u or v?
u
Let w = 4 + -8. Let k be (-8)/((-8)/(-4) + w). Which is greater: 5 or k?
5
Let n be 2/17 - 546/884. Let s = -7 - -6.82. Which is smaller: s or n?
n
Let f = -28 - -39. Let j(v) = v**2 + 11*v + 21. Let c be j(-9). Suppose -2*t + c = f. Which is smaller: t or -10/3?
t
Suppose -d - 2*d = -v - 7, -5*v = 2*d + 86. Let r = v + 10. Which is smaller: -3 or r?
r
Suppose 3*q + 3*z = 5*q - 3, 4*z = 5*q + 3. Let t be 6*(-2)/(20/(-75)). Let j = t - 189/4. Which is greater: q or j?
j
Let p = 79 + -70. Suppose -6*s = -p + 15. Is s < 1/178?
True
Suppose 46*y - 100 = 56*y. Which is greater: -120/11 or y?
y
Let b = -149.3 - -4.3. Let l = b + 144. Which is greater: 0.08 or l?
0.08
Suppose 2*c + 16 = -w + 2*w, -3*w - 5*c + 15 = 0. Let n be 52/(-455) - (-4)/w. Which is smaller: n or -1?
-1
Let g(n) be the third derivative of -n**4/24 - 3*n**2. Let t be g(0). Is 1/15 greater than t?
True
Let a = -8 + 7. Let l be a*(1 + 0) + 4/7. Which is smaller: -1 or l?
-1
Let u be ((-120)/16)/(9/(-420)). Suppose 10*k - 17*k = -u. Which is greater: k or 49?
k
Suppose -x - 13 = -l, x - 3*l - l + 22 = 0. Let f be (x + 7 + 6/2)/(-2). Let h be 1/(-1) - (-15)/13. Which is greater: h or f?
h
Let p = -4 - -28. Let v be (54/p)/((-6)/(-4)). Is v greater than -4?
True
Suppose -l = -3*l. Which is smaller: l or 11/31?
l
Let b be (-18 - -19)/(1/22). Let g be (-16)/b + (-2)/(-11). Are 0.1 and g non-equal?
True
Let r = 0.4 - 0.52. Let d = r - -6.12. Let j = d + -6.1. Which is bigger: j or -1/6?
j
Let m = 257/518 - 5/74. Which is smaller: m or -1?
-1
Let h = -132.93 + 1.93. Let m = -85 - h. Is -1/3 at least as big as m?
False
Let i(h) = -h**3 + 4*h - 3. Let c be i(2). Let n be c/((-9)/3) + -2. Let m be n/(-4) + 5/(-4). Is m smaller than -2?
False
Let s(b) = 6*b - 39. Let p be s(6). Let k be p*(-1 + 6/(-9))/1. Are k and 6 nonequal?
True
Let x be (6/(-28))/(-11 - 10/(-8)). Which is greater: 1/4 or x?
1/4
Let m = 1043 + -1059. Are m and -36 nonequal?
True
Let p(v) = -v + 15. Let r be p(13). Suppose 4*k - 10 = r*m, 2*k - m + 3*m - 8 = 0. Suppose 0 + 3 = -k*x. Do 1/7 and x have the same value?
False
Let a = -88 + 81. Let f be (-1600)/5404 + (-2)/a. Is f >= 0?
False
Let c = -24890/61 + 408. Let f = -165/3172 - c. Which is smaller: 1 or f?
f
Let s = 246 + -249. Is s smaller than -5?
False
Let k = 1852/1749 + -24/53. Are 2 and k unequal?
True
Suppose -v - 43 = -9. Which is smaller: -65/2 or v?
v
Let n = 494.9 + -495. Which is bigger: n or -96?
n
Let m be 1 - (-3 - (-2 - 1)). Is 2/469 less than m?
True
Let u(t) = -36*t + 22. Let v be u(-1). Is v >= 59?
False
Let z be (-73)/(3/(348/4)). Let x = 19072/9 + z. Let y = x - -11/9. Which is smaller: 4 or y?
y
Let y be 2/8 - (-42)/(-104). Let a = -76 + 77. Is a at most y?
False
Let j = -3817 - -129769/34. Is -1 <= j?
True
Suppose -9*x = 2*x - 3*x. Is x smaller than 16/13?
True
Let j be (5 + 13/(-3))*-141. Let m be 12/4 + 2 - j. Is 99 <= m?
True
Suppose -5 = -5*j + 5. Let l(a) = -2*a + 2. Let f be l(j). Suppose 17*z - 21*z = 12. Is z < f?
True
Let n = -0.03 - 4.87. Let g = -5 - n. Which is bigger: g or 2?
2
Let f = 225 + -2027/9. Let y be -2 + (7 - (0 + -1)). Which is smaller: y or f?
f
Let k be -2 - ((-375)/36)/5. Let f = 0 - k. Let i = -9 - -8. Is i less than f?
True
Let u(z) = z**2 + 4*z - 2. Let a be u(-4). Let l be a*(2 - 3) + 1. Let r be (9/(-36))/(l/4). Is 0 at most as big as r?
False
Let s(f) = -f**3 + 2*f**2 - 10. Let j be s(0). Let p be 3 - (8 + -1 + 4). Which is bigger: j or p?
p
Let b = -210 - -215. Which is smaller: 0 or b?
0
Let x(a) = a + 2. Let n be 158/18 + (-4)/(-18). Let l be x(n). Suppose 7*m - l*m = -4. Which is smaller: m or 2/19?
2/19
Let o be 8/10*(-1475)/30. Which is bigger: o or -38?
-38
Suppose d = 5*i + 61, -3*d = d - i - 282. Let u = d + -40. Which is bigger: u or 30?
u
Suppose 4*