equal?
False
Suppose 1000 + 795 = k + 3*u, -4*k - 3*u + 7189 = 0. Is k <= 8997/5?
True
Suppose -x = 7 - 24. Suppose x = -4*d - 2*w + 117, -2*d - 2*w = -48. Let a be (29 - 1) + 100/10 + -12. Do a and d have the same value?
True
Let a(l) = l**2 + 3*l - 12. Let b be a(-6). Suppose 2*g = b, 4*z + 5*g - 17 = -6. Which is bigger: 2/791 or z?
2/791
Let g = -21277 - -21278. Is g at least 1/1909?
True
Let w(v) = 109*v + 91. Let n be w(-4). Let i be (n - -15)*4/(-5). Which is smaller: i or 263?
263
Let m = 569 + -2852/5. Which is smaller: m or 1/29?
m
Let i be (-709)/(-97) + (-21)/(378/144). Is i at most 0?
True
Let t(w) = w**3 - 48*w**2 + 231*w - 374. Let i be t(45). Which is smaller: 3947 or i?
i
Let u(i) = i**3 - 3*i**2 + i + 1. Let r(x) = -x - 16. Let d(w) = -18*w**2 - 3*w + 2. Let s be d(1). Let m be r(s). Let v be u(m). Is 4 at least v?
True
Let m = -103/3 + 35. Let h = -1.07 - -1.71. Let s = -0.44 + h. Which is smaller: s or m?
s
Let b(f) = f**3 - 3*f**2 + 3*f - 3. Let l be 3/(-2)*8/(-6). Let h be b(l). Let n = 63043/85 - 3709/5. Are h and n nonequal?
True
Let b be 644/(-161)*(15/1420)/((-6)/4). Which is greater: 37 or b?
37
Let s(q) = -q**2 + 3*q - 6. Let a be s(2). Let c be (28/(-9))/a - (-60)/270. Which is bigger: 0.121 or c?
c
Suppose 3*q = 4*h + h + 12, 3*q + h = 12. Suppose -7*k + q*k + 37 = p, 45 = 3*k + 3*p. Is 58/5 > k?
True
Suppose -102*h + 89 = -13. Are h and 1/2630 equal?
False
Let f(k) = -k**3 - 16*k**2 - 2*k - 28. Let q(v) = -4*v + 16. Let n be q(8). Let p be f(n). Suppose 0*l - p*l = 2*l. Which is bigger: l or 3/7?
3/7
Let m(b) = b - 2. Let w be m(3). Let t = 1146467 + -1450280754/1265. Which is bigger: w or t?
w
Let u(k) be the first derivative of k**6/180 + k**5/40 - k**4/12 - k**3 - 2. Let x(h) be the third derivative of u(h). Let g be x(-3). Is 0 not equal to g?
True
Let f(u) be the second derivative of 5*u**3/6 - 7*u**2 + 7*u. Let s be f(8). Suppose -12*z + s = z. Is 3 at least z?
True
Let y = -33.45 - 89.55. Which is bigger: y or 6?
6
Suppose 2238 = -18*s - 1447 + 1093. Let o = 199 + -342. Which is smaller: o or s?
s
Let y(q) = 7*q + 22. Let v(w) = -8*w - 23. Let m(f) = f**2 + 8*f - 6. Let r be m(-8). Let d(o) = r*v(o) - 7*y(o). Let h be d(-15). Is 4 not equal to h?
True
Let i = -0.557 - 29.243. Let c = i - -29.8. Which is bigger: c or 3/2?
3/2
Let q be (-6 - -2) + -14 + 5712/308. Let w(g) = g - 2. Let d be w(2). Which is smaller: d or q?
d
Let c(j) = j**2 - 31*j - 74. Let t be (-6)/7*2*-28. Let y = t + -17. Let p be c(y). Which is smaller: p or -73?
p
Let j be 6/9 + (-34750)/(-525) + 1/7. Is j at least 44?
True
Let p = 1515 + 127. Which is greater: p or 1640?
p
Let h = 1015.8 - 1022.826. Is -0.1 >= h?
True
Suppose -1903 = 28*a + 11397. Let v = a - -546. Which is smaller: 1 or v?
1
Suppose 3 = 4*s - 1. Let r = 1 - s. Let b be 6 + ((-5)/65 - (3123/(-1053) - -8)). Is b less than r?
False
Let z = 4 + -3. Let x be (-134715)/56*1/(-12369). Let f = -1/1064 + x. Which is greater: z or f?
z
Suppose -x + 9619 = -5*u, 2*x + 62 = -4*u + 19356. Is -0.1 at most as big as x?
True
Let m = -2860 - -2859. Let p = -1639 + -964. Let g = p - -7732/3. Is m greater than g?
True
Let g = -42.9 + 43. Let a = 52 - 27. Suppose -7 + a = v. Is v greater than or equal to g?
True
Suppose 8*z = -3177 + 3249. Which is greater: 72/7 or z?
72/7
Let p = 10 - 8. Let j be 3*126/(-161)*6/(-18). Which is smaller: p or j?
j
Let p(r) = 15*r**3 - r**2 + 19*r - 11. Let j be p(-5). Let h be j/68 + 3/(-2). Suppose -7*z = -2*z + 160. Does h = z?
False
Let c be 1/((1 - -1) + 266/(-126)). Let a be 18/(-45)*(-1)/6*c. Is -0.5 at least as big as a?
True
Let z be (-3260)/192*22 - 33/(-88). Are z and -374 nonequal?
True
Suppose -r + 244 = -467. Let q = r - 9249/13. Let o be (-1)/(2 - 2/2). Is o <= q?
True
Let m be -6*11/22 - -7. Do m and 199 have different values?
True
Let u be 4/2 - (-12)/((-53712)/9564). Which is smaller: u or 1?
u
Let i = 614 - 901. Which is bigger: i or 0?
0
Let w(y) = y + 69. Let j be w(0). Let m be ((-1)/4)/(j/(-216)). Suppose 44862 = 22*z + 44840. Is m < z?
True
Let q(n) = -n**2 - 12*n - 22. Let m be q(-9). Suppose -m*i = -7*i - 8, 2*t + i = -14. Do t and -5 have different values?
False
Let r(m) = -m + 39. Let w be r(24). Let b be ((-2)/w*-9)/((-14)/35). Let t be (2 + b - (-36)/10) + -3. Is -14/5 equal to t?
False
Let r = 4 + 1. Let x(h) = 5154*h + 10314. Let j be x(-2). Is r at most j?
True
Let n = 55 - 75. Let d(a) = 4*a + 87. Let y be d(n). Suppose -y*g = 8*g + 495. Is -33 less than g?
False
Let w = -41.992 - -42. Let v = w - 0.034. Let y = v - 0.274. Is y not equal to 3/5?
True
Suppose 0*w + q - 7 = -2*w, 0 = 3*w + 4*q - 3. Let p(m) = m**2 - 8*m + 16. Let r be p(w). Which is bigger: r or 3/43?
r
Let s = 9649 - 9669. Which is bigger: s or 113?
113
Let u(n) = -2*n**3 - 55*n**2 + 86*n + 23. Let d be u(-29). Are -1 and d non-equal?
True
Let t(c) = -2*c**3 - 18*c**2 + 12*c + 40. Let z be t(-8). Is -199 <= z?
True
Let y(g) = -g**3 - 7*g**2 + 2. Let z be y(-7). Let p = 446/7 - 63. Which is greater: p or z?
z
Let c be ((-39)/65)/(1/(-5)). Suppose 0 = w + c*q + 5, 15*w + 3*q + 4 = 13*w. Which is smaller: -2/457 or w?
-2/457
Let r = -0.0105 - -0.231. Let d = r - -9.4895. Let m = -0.29 - d. Which is bigger: m or 3?
3
Suppose 0 = 2*o + 4*c - 4, 5*o = -5*c - 0 + 5. Let p = 13039/21 - 4350/7. Which is smaller: p or o?
p
Let j be (-6832)/12 + (-3)/(-117)*13. Is j bigger than -572?
True
Let u = 1334 - 1334.2. Which is greater: u or -186?
u
Let g be 82 + -74 + (-1650)/206. Let q = -3389/1030 + g. Which is smaller: q or -3?
q
Let m be (9/(-2))/(45/13770). Is m smaller than -3?
True
Let o be -3*(-6)/(-36)*(7 - 103). Let n be ((-40)/6)/((-3)/18). Let q = n - o. Which is bigger: -1/4 or q?
-1/4
Let y = 10 - 14. Suppose -38*l + 37*l - 636 = 0. Let s = l - -3156/5. Which is greater: y or s?
y
Let r = -5.2 + 1.2. Let d = 3.68 + r. Let x = d + 1.32. Which is greater: x or -3/14?
x
Suppose z - 308 = 5*z. Let b be (-1)/7 + (-11)/z. Let m = -0.2606 - -0.1706. Is m != b?
True
Let f = 350.71 - -4.29. Let v = -110705 - -110703. Are f and v non-equal?
True
Suppose 0 = 3*x + 4*b - 10, 6*x = 2*x - 2*b + 30. Suppose 4*t = 17 - 1. Suppose 2*d + x = t*d - 4*i, 5*d - 13 = 4*i. Which is bigger: 8/11 or d?
d
Let p = 75 - 62. Let k be 1 + 2 + (p - 25). Is k less than -54/7?
True
Let q(x) = -11*x**2 + 22*x - 5. Let p be q(5). Let s = -216 + 47. Is s bigger than p?
True
Suppose 5*m = 230*x - 228*x - 44, -m + 2*x - 4 = 0. Is m at most as big as 20?
True
Let t = -78.1 + 420.1. Let z = t + -343. Which is smaller: 55 or z?
z
Let s = -182 + -27. Let g = s + 218. Let f = -1.4 + -0.6. Is g > f?
True
Let k(w) = -2061*w - 10343. Let g be k(-5). Which is greater: -658/17 or g?
g
Let j be 28/70 + 44/(-10). Suppose 2*f - 11 = 3*f. Let g(r) = -r**3 - 11*r**2 - 8. Let m be g(f). Is m greater than j?
False
Let h = -94 + -130. Let l(m) = -m**3 - 85*m**2 - 81*m + 29. Let n be l(-84). Which is smaller: h or n?
h
Let k = 4448 - 3294. Is k less than 1153?
False
Suppose -80*v - 2042 - 2052 = 1346. Suppose -3*t = 4*k - 4, -3 = -2*t - 5*k + 2*k. Which is greater: t or v?
t
Suppose h = 2*q - 30 - 3, 5*h = -q - 11. Suppose q - 12 = -2*g. Is 4/17 greater than g?
True
Suppose -14*m + 10*m - p = -14, 4*m = p + 18. Let d be ((-3)/(-4))/(m + 15/48). Is 1/4 bigger than d?
True
Suppose 28*l - 4164 + 569 = 6121. Which is bigger: 341 or l?
l
Let r be (-2)/(-4) - (-35)/10. Suppose 3*f - x - r = -3*x, 4 = 4*f + 2*x. Suppose f = -11*g + 2*g + 252. Is 28 < g?
False
Suppose 4*c + 0*c = -60. Let g = 52 - 63. Let k = g - 1. Which is greater: c or k?
k
Let t = 846.56 - 860. Let o = 8.44 + t. Which is smaller: 3/49 or o?
o
Let y = 101 - 100.65. Suppose 5*v + 131*r - 130*r = -15, 5*v + 3*r = -5. Which is smaller: y or v?
v
Let y(b) be the first derivative of -b**3/3 - 5*b**2/2 + b - 124. Suppose 21 = -3*h - 0*h. Let v be y(h). Is v >= -13?
True
Let p = 2285/90937 + 1/1181. Let z(v) = 6*v + 3*v + 4*v - 25*v. Let b be z(0). Which is smaller: p or b?
b
Let i be 103/(((-133380)/28)/(-5)). Let z = -1/351 + i. Is z greater than 0?
True
Let q(c) = c + 5. Let r be q(-7). Suppose 10*n = -25*n. Let h be 2 + r + n + 1. Is h at least as big as 3?
False
Suppose 5*t + 3*c + 2*c - 5 = 0, 0 = -4*c - 16. Suppose a + t*l = -176, 3*a - 3*l - 704 = 7*