 - 73 = 0. Let u be s/13*4/(-5). Let a be (234/90)/(u/(-10)). Is a <= 8?
True
Let g = 41 + -106. Let n = g + 72. Let j be (-4)/6*42/(-4). Is n <= j?
True
Suppose 17*h + 3*k = 20*h + 96, -k = -2. Is -157/5 less than or equal to h?
True
Let g = 76 + -167/2. Let u = -29/4 - g. Is 1 != u?
True
Let n = 3018 - 3022. Is n > -89/23?
False
Let a(t) = -t**3 + 2*t**2 + 2*t + 3. Let w be a(3). Let j = 391/6 + -1193/18. Is j at most w?
True
Let g = 371 - 369. Which is greater: -5.7 or g?
g
Suppose 0 = -8*k + 9*k + 2*l - 2, 0 = 4*k - 2*l + 2. Is 8/221 greater than k?
True
Let m be 29/(-2)*(-12)/3. Let k = m - 47. Is k less than 9?
False
Let g be (-3)/(-1) - 180/48. Which is smaller: -16.2 or g?
-16.2
Suppose -8 = -2*x + z + 12, 4*z + 40 = 3*x. Let q = -8412 + 8415. Which is smaller: x or q?
q
Suppose 9 = -4*p - 3, k + 4*p = -7. Suppose f = 3*d + 11, f = -k*d + 3*f - 20. Let l = -0.9 + 1. Which is smaller: d or l?
d
Let u(g) = -g**2 - 8*g - 4. Let q be u(-7). Let k be q/(2 + 127/(-2)). Which is bigger: k or 0?
0
Let t = -367/16834 + -2/443. Which is smaller: t or -1?
-1
Let i be ((-6)/12 - (-99)/6)/2. Let a = -86/11 + i. Which is smaller: -1 or a?
-1
Suppose 15*k + 5 = 20*k. Let c(n) = n**3 + 13*n**2 + 11*n - 14. Let d be c(-12). Which is greater: k or d?
k
Let d = 18 - 5.2. Let b = -6.8 + d. Which is bigger: 5 or b?
b
Suppose 3*u = u + 20. Let a(b) = 279*b + 1128. Let n be a(-4). Is n <= u?
False
Let h be ((-2)/(-10))/(6/10). Let i(c) = 5*c**3 + 12*c**2 + 7*c - 1. Let f(d) = d**3 + d**2. Let s(j) = 6*f(j) - i(j). Let b be s(7). Which is smaller: h or b?
h
Suppose -4*s - 93 - 15 = 0. Let j = s + 27. Let q be (-136)/378 + (-4)/(-14). Which is smaller: q or j?
q
Let u = -1651 - -80905/49. Suppose 0*z - 5*z = 0. Is z bigger than u?
False
Let c = -0.056 + 7.456. Let h = c - 7. Which is greater: 1.2 or h?
1.2
Suppose -7*j = -75 + 40. Suppose w = 5*w - 20. Does j = w?
True
Let c = -1 - -1. Suppose 0 = 7*y + 27 + 22. Let z be (y/39 - 2/13)*-3. Which is smaller: z or c?
c
Let o = 1 + -3/5. Let v be 0 + (2 - 3) - (-11 - -9). Which is greater: o or v?
v
Let w(a) = 2*a**3 + 63*a**2 + 63*a + 49. Let b be w(-31). Which is bigger: 0.1 or b?
0.1
Suppose -8*f - 5 = 123. Let z = -1 - -5. Suppose 3*b = -s - 54, z*b + 0*s + 74 = -2*s. Which is smaller: b or f?
b
Let a be ((-18)/3)/(6/78). Let p = a - -433/5. Is p at least 10?
False
Let y(l) = l - 9. Let q = 78 - 72. Let u be y(q). Is u greater than -18/7?
False
Suppose -11*a + 533 + 391 = 0. Is 87 less than a?
False
Let d(u) = u + 2. Let c be d(0). Suppose -c*t + 3 + 2 = z, 5 = z. Suppose 4*f - 3 - 1 = t. Which is greater: 0.06 or f?
f
Let i = -16.6 - -16. Is i less than or equal to -3?
False
Let n(c) = -c**3 - c**2 - c. Let m be n(-1). Let q(s) = 117*s + 119. Let f be q(-1). Which is smaller: f or m?
m
Let o = 2930/11 + -266. Suppose 28 + 23 = 3*b. Let l(t) = t**2 - 16*t - 16. Let q be l(b). Is q less than o?
False
Let f = 0 - -1. Let m(t) = -t**3 + 7*t**2 + 2*t - 16. Let s be m(7). Let i be ((-78)/(-36) + s)/(1/(-1)). Which is greater: f or i?
f
Let h = -0.59 + 45.59. Let b = 0.9 - 0.9. Is h less than or equal to b?
False
Let r be (260/585)/(866/(-6) + 1). Which is smaller: r or 0?
r
Suppose 6*n + 149 + 559 = 0. Let v = n - -241/2. Is v at least -2?
True
Suppose -4*g - 5*c + 80 = -3*c, 2*g - 44 = c. Let u = g + -25. Which is smaller: u or -0.2?
u
Let x(w) = -4*w**2 - 17*w + 81. Let t be x(4). Do -55 and t have the same value?
False
Let x = -3381/13492 + 2/3373. Does x = -0.138?
False
Let z be 1/(1 - -2) - (-8)/12. Suppose 3*j + 14 = -4*h, 0*h + 2 = -2*j + h. Let b be j + ((-1)/(-6) - -2). Is z != b?
True
Let i(b) = b**2 + 6*b - 14. Let q be i(-8). Suppose -q*k + 5*k = 0. Let s be -2 + (-2)/9 - -2. Which is greater: k or s?
k
Suppose 2*o = 15*o. Which is greater: -40 or o?
o
Suppose -r + 49 = -i, 3*i - 206 = -4*r + 5*i. Let w = -2642 + 2696. Are r and w equal?
True
Let z be (-20 - -5) + (34 - 25). Suppose 0 = 3*r + 2*r + 25. Is r greater than or equal to z?
True
Let h = 26 - 24. Suppose 0 = -5*a - 0 - 5, -2*i + h*a = -4. Let s be (3 - (0 - -4)) + i. Which is greater: -2/17 or s?
s
Let m = -2487 - -17407/7. Which is smaller: m or 37/14?
m
Suppose 6 = -96*a + 99*a. Which is smaller: a or 16/7?
a
Let n = 0.16 + 2.84. Let s = n + -9. Is s bigger than -2?
False
Suppose -3*v - 2*s - 5 = 0, -s - 4 = -3*v + 6*v. Let i be (-1 - 3/v) + 4200/(-2070). Which is greater: 0 or i?
0
Suppose 4*c = 5*c + 2*u - 18, 5*u + 25 = 0. Let l be (c/50)/((-32)/40). Which is bigger: 0 or l?
0
Let s = 7612729/503306 - -85900122159751/420763816. Let p = 204168 - s. Let v = p + 5/88. Is v < -0.1?
False
Let c = -13395 + 10247171/765. Is c not equal to -1?
True
Let r(d) = d**2 + d + 1. Let z(l) = 2*l**3 + 6*l**2 + 3*l - 1. Let m be z(-4). Let c be 2/((-5)/(m/(-6))). Let s be r(c). Is s greater than or equal to 8?
False
Let t(l) = l**3 + 2*l**2 - 18*l - 40. Let k be t(-4). Is 1/166 equal to k?
False
Let s be 7*7/147 + (-2)/(-3). Let z be (3 - 24/20) + -2. Do s and z have different values?
True
Let s = 9 - 10. Let f = 2459042/545 + -4512. Which is smaller: f or s?
s
Let a = 4220/21 + -101216/525. Which is smaller: a or 9?
a
Let v = 2/297 - -97/297. Is v bigger than -0.041?
True
Suppose -8 + 0 = -2*g, -3*v = 4*g - 10. Let i = v - -3. Suppose 0 = -b - q + 3, 2*q = -4*b + 3*b + 6. Is i smaller than b?
False
Let v(a) = -a**2 - 2 - a + 1 + 3*a. Let b be v(2). Let u be -3 - (-1 + (-12)/9). Which is greater: u or b?
u
Let y = 20 - 5. Let j = y + -13. Suppose 3 = -5*q + 8. Is q equal to j?
False
Let g be 2 - -1 - 67/21. Let p = -43/210 - g. Which is smaller: 0 or p?
p
Let j be 1 + -1 + (3 - 2). Suppose 3*g = -g - 2*u + 18, -3*g = -2*u + 4. Suppose -g*z + s + 1 = 0, 0 = z - 0*z - 3*s + 12. Is j bigger than z?
False
Let w = -14841/7060 + 3/1412. Let v = -293/130 - w. Which is bigger: -1 or v?
v
Let f(y) = 2*y**2 + 78*y + 44. Let m be f(-38). Is -34 at least as big as m?
False
Let p(o) = 29*o**2 - 28*o - 4. Let m be p(2). Suppose -87 = 5*q - 5*j - 392, 2*q + j = 110. Is m at least as big as q?
False
Let l = 225 + -226. Is -3/61 != l?
True
Let p(f) = 3*f + 23. Let t(g) = g + 8. Let o(s) = -4*p(s) + 11*t(s). Let m be o(-7). Which is greater: 0.2 or m?
m
Let o = 62186/49 + -1269. Which is smaller: o or 0?
0
Let f be (-2 - -1)/(-1*2). Suppose -47*r + 56 = -55*r. Which is greater: r or f?
f
Let y be -1 + -6 + (-2242)/(-322). Is 0 bigger than y?
True
Let d = 0.309 - -165.691. Which is smaller: d or -1?
-1
Let g be 4/(-6) + 38/399. Are -1 and g equal?
False
Let k = 59 + -59.05. Which is bigger: -0.11 or k?
k
Let k = 16815/7 + -2323. Let a = k - 79. Which is smaller: a or -1?
-1
Suppose -2*d + 2*f = 0, 4*d - 5*d - f + 2 = 0. Let i = -2/1295 + -7744/16835. Is d at least as big as i?
True
Let w = 131 - 61. Let a be 70/8*(-24)/(-3). Is a < w?
False
Suppose -35 = -3*q - 5. Suppose -g = r + 2*r + q, 5*r + 40 = 3*g. Suppose 43 = g*f + 28. Is f less than 5?
True
Let i(z) = -z**2 + 7*z + 8. Suppose -3 = 3*y - 24. Let c be i(y). Let f = c + -5. Which is bigger: -2 or f?
f
Let p be ((-60)/(-180))/(74/54). Which is greater: -1 or p?
p
Let y = -0.02 - 156.98. Let x = 156.2 + y. Are x and 6 non-equal?
True
Let a(l) = 4*l + 6. Let g be a(-5). Let h = g + 158/11. Let b be (-25)/30 - (-1)/(-6). Which is smaller: b or h?
b
Let c(i) = i**2 - 52*i + 269. Let l be c(48). Is l < 75?
False
Let p = 1.49 + -9.49. Which is greater: 2 or p?
2
Let l = 1787 + -1757. Is 91/3 bigger than l?
True
Let r = 231557/181627 - -6/6263. Is r not equal to 1?
True
Let l(v) = 5*v - 1. Let x(q) = -9*q + 2. Let j(o) = 11*l(o) + 6*x(o). Let c be j(13). Let w = 16 - c. Which is smaller: w or -1?
-1
Let l = -20.27641 + -0.67379. Let g = l - 0.0998. Let k = g + 21. Is -1 equal to k?
False
Let t be -1 + 1 + 0/(-4). Suppose 0*n + 5*p = 2*n - 1, t = 4*n - 4*p + 16. Which is smaller: -5 or n?
n
Let f be ((-116)/(-60) - 2)/((-88)/(-12)). Are f and -1 equal?
False
Suppose 6*v + 43*v = 49. Which is bigger: v or 2/2785?
v
Let b = 180 - 159. Is b equal to 43?
False
Let s = 149363/22 - 6791. Which is bigger: 1 or s?
1
Let h(y) = 7*y + 35. Let o be h(-5). Which is smaller: o or 1/396?
o
Let n = 0.65 - 0.6. Let w = -2.05 + n. Let t be ((-8)/(-20))/(-1 + 2). Is t at least w?
True
Let y = 224 + -226. Are y and 0.11 equal?
False
Let w(v