, p - 5 = -5*g + 4*g. Let a be (-9)/(18/g) - 3. Is a > -7?
False
Let a(o) = -o**3 + 4*o**2 - o - 2. Let k be a(3). Let t(f) = -k + 5*f**2 + 3*f - 5*f - 2*f**2 - f**3 + f**2. Let d be t(3). Is d <= -1?
True
Suppose 0 = 2*l + 4*d - 16, -4*l + 23 = 3*d + 1. Let h(b) = b**3 - 5*b**2 + 6*b - 8. Let v be h(l). Which is smaller: -1/35 or v?
-1/35
Let a(w) = 10*w - 6. Let o be a(1). Suppose 2*n = -3*l + 10 - 28, o = -l. Let j(p) = -3*p**2 - 1. Let z be j(-1). Is n bigger than z?
True
Suppose 0 = -3*g + 5*z - 6, 5*g - 5*z + 3 = g. Suppose g*c + 7 = -14. Let a(r) = -r**3 - 4*r**2 - 2*r - 4. Let v be a(-3). Is v greater than or equal to c?
True
Let q = -166 + 2488/15. Let r = -11/28 + 1/7. Do q and r have the same value?
False
Let c = -5639/23 + 1716/7. Which is smaller: c or 0?
c
Let o be (-4 - -5)*(-1)/(-1). Let l = o + 3. Let a be (((-2)/(-3))/2)/(1/(-3)). Which is smaller: a or l?
a
Let l = -127 + 125. Let d be ((-4 - l) + 1)*1*-1. Are -2/143 and d nonequal?
True
Suppose 2*l = -4*o - 108, -7*l + 10*l + 172 = -4*o. Which is greater: l or -61?
-61
Let q = 0.95 - 5.95. Does 1/12 = q?
False
Let l(v) = -717*v + 6. Let h be l(1). Let o be ((-3553)/h + -5)*-3. Which is smaller: 0 or o?
0
Suppose 0 = 4*l - s - 132, -4*l + 15*s = 10*s - 132. Which is smaller: l or 43?
l
Suppose 0 = i + 4*u - 35, -u - 2 = i - 31. Which is smaller: i or 30?
i
Let r = -9 + 8.44. Let w = 0.16 + r. Let h = w - -0.2. Is -2/7 less than or equal to h?
True
Let j = -6/1033 + -3766/63013. Are 1/3 and j equal?
False
Let z = 2 - -2. Suppose l = -w, 32 = 3*l - 6*w + w. Suppose 3 = 4*v - 3*h + 1, l*v = z*h + 4. Which is bigger: -2 or v?
v
Let k be 596/1842 - (-20)/(-60). Is k not equal to -1?
True
Let y = 5 + -2. Let r = -239 + 168. Let f = r - -70. Which is greater: f or y?
y
Let t = 3.5 - 4.03. Let s = t + 0.36. Which is greater: 2 or s?
2
Let i be -2 + (-5816)/10 - (-100)/(-250). Is -584 at most i?
True
Suppose 69 = -50*t + 51*t. Is t < 68?
False
Let y = -9.8 - 22.5. Let p = y + 0.3. Let f = p - -34. Is -0.15 greater than or equal to f?
False
Suppose -5*x - 45 = 4*d - 142, -3*x + 55 = 4*d. Which is smaller: x or -0.2?
-0.2
Let x = -5 - -10. Let t be (4/x)/((-4)/(-70)). Let r = -730 + 729. Which is bigger: r or t?
t
Suppose 2*n = 2*d - 7*d - 315, 1 = d. Let a be n/(-90) + 2/9. Suppose -3*j - 5 = a*j. Which is bigger: j or -4/5?
-4/5
Let w be 6/(-2)*(-1)/((-6)/8). Let p be (-2 - -3)/(w/(-46)). Which is smaller: p or 13?
p
Suppose -o + 20*v - 17*v + 157 = 0, -2*o + 3*v + 320 = 0. Which is greater: o or 3?
o
Suppose o = 2*o + 4*x - 14, -22 = 2*o - 2*x. Let r = -89/2 + 39. Which is greater: o or r?
r
Suppose 0 = -14*w + 37 + 5. Which is smaller: 0.17 or w?
0.17
Let r be (-4)/(-30)*198/48. Let q = -3/4 + r. Is -2/5 smaller than q?
True
Let j = -554 - -611. Is 61 > j?
True
Let l = 141.9 - 142. Let d = 0.11 + -11.01. Let h = -10 - d. Is l greater than or equal to h?
False
Let z be ((-3)/(-4))/(11/88). Let q be (9/z)/(3/4). Suppose -3*l + 4 - 7 = q*j, j = 5*l - 8. Which is greater: l or 1/5?
l
Let y be 22/(-26) + (-500)/(-130) + -4. Are y and 4 unequal?
True
Let b = 2616/11 - 238. Suppose 5*i = 2*a - 0*a - 22, 0 = 4*i + 16. Let v be (a/(2/(-4)))/2. Is b <= v?
False
Suppose 6*a = 3*a - 15, 2*p + 5*a = -23. Suppose -s + 2 - p = 0. Let n(q) = -q**3 + 20*q**2 + 26*q - 98. Let z be n(21). Is z greater than s?
True
Let c = -30 + 82. Suppose 3*n + 20 + c = 0. Let b = n + 123/5. Which is greater: 0 or b?
b
Let w = 12 + -8. Suppose 4*n = -2*i - 4 + 6, w = -4*n + 4*i. Suppose b + n*b + 3*s + 8 = 0, -4*b + s + 20 = 0. Which is smaller: 6 or b?
b
Suppose 0 = -3*k + 5 - 2. Let s = -1281 + 276697/216. Is s greater than k?
False
Let f = -393 - -397. Which is bigger: -2/53 or f?
f
Let t be (4 - 0) + 652/(-8)*2. Is t equal to -160?
False
Let c be (26/(-5))/(9/(-135)). Let a be (-4)/((-4)/c*3). Let i be -22*(-4 + a/6). Which is smaller: -8 or i?
-8
Let h = -0.1 + 0.1. Let n = 0.0007 + 3.9943. Let g = n - -0.005. Which is greater: h or g?
g
Let n = 43 - 45.3. Let l = -0.5 - 2. Let t = n - l. Is t <= 0?
False
Let x = 30 + -34. Let g = -1 - 3. Let d be (-14)/4*(g + 5). Is x at most as big as d?
True
Suppose 3*y + 0*y + 24 = 0. Let l(w) = -3*w - 24. Let h be l(y). Let p = 286 - 6576/23. Which is smaller: h or p?
h
Let h = -0.4 + -3.4. Let z = 3.7 + h. Is z > 29?
False
Suppose -2*g - 3*g + 85 = 0. Suppose 6 = t - 2. Let p = g - t. Is p < 8?
False
Let p = 151/5 - 30. Let v be -1 - (-3 - (3 + -5)). Let j be v + (8/12)/2. Which is smaller: p or j?
p
Let k = 1198 - 1203. Is k > 20?
False
Let l(b) = b**2 - b + 2. Let v be l(2). Let c(p) = p**2 + 7*p + 14. Let q be c(-5). Suppose 0 = -q*a + 8*a - v. Are a and 2/61 unequal?
True
Suppose -a - a - 13 = 3*b, 0 = -4*a + 4*b + 4. Let z be -1 - 0 - (a - -2). Let w be (-2 - (-13)/8)*(-2)/3. Is z equal to w?
False
Let q = -2 - -2.2. Let f(z) = -2*z - 12. Let n be f(-4). Let b be (8/n)/((-12)/(-3)). Which is bigger: q or b?
q
Suppose 4*q - 8*q + 2 = -5*r, 3*q = 4*r + 1. Suppose -25 = 3*x - 28. Suppose 0 = 5*f - x - 19. Which is bigger: r or f?
f
Let d(v) = 8 - 12*v - 9 - 7 + v**2. Let u be d(13). Suppose -z - 7 = -u*p, 0 = 5*p + 4*z + z + 5. Does p = -3/8?
False
Let c(s) = -s**2 + 8*s + 21. Let t be c(10). Let o be (((-48)/(-6))/(-16))/((-2)/(-8)). Does o = t?
False
Let o = 0.3 + -9.3. Let v = -16 - o. Let y = -0.01897 + 1.01897. Is v less than y?
True
Suppose -3*y = -4*u + 152, -76 = -3*u + 2*y + 39. Which is smaller: u or 43?
u
Let t(u) = 16*u + 10. Let x(k) = 2*k - 28. Let z be x(13). Let c be t(z). Which is smaller: -23 or c?
-23
Let h(i) = -17*i - 78. Let j(g) = 12*g + 52. Let b(r) = 5*h(r) + 7*j(r). Let v be b(-4). Is -19 at most as big as v?
False
Suppose -8*f + 6*f = -3*r - 5, -4*f - 4*r = -60. Which is smaller: f or 11?
f
Let g = 71 + -38. Let r be 2/(-3) + 22/g. Suppose -s = -r*s. Is 5 not equal to s?
True
Let d be (2 - 3 - 1) + 3. Let u = -4/3 - -29/21. Which is greater: d or u?
d
Let b be 2/(-11 - (-9 - 0)). Is 2/263 at most b?
False
Let q = -185896/71 + 2618. Which is greater: q or 0?
0
Suppose 0 = -5*k - 25, 5*b - 1 = -5*k - 11. Suppose b*s = s - 2. Let t be s - 3*8/2. Which is smaller: t or -14?
-14
Let d = -929/284 + 3/142. Let u be (-1)/(-3) - 10/3. Is d at least u?
False
Let o = -7 - -7. Let x = o - 9. Let q = x + 7. Which is greater: q or 8?
8
Suppose 0 = 5*i + r - 180, 2*i + 72 = 4*i - 3*r. Let j = i + -36. Is j smaller than 2/55?
True
Let w(x) = x**3 + 9*x**2 + 12*x - 10. Let f be w(-7). Suppose 0 = d - 4. Let n = d - f. Which is bigger: 1 or n?
1
Let m = 115 + -114. Is -1/208 >= m?
False
Let m(f) = -f**3 - 4*f**2 + 9*f + 19. Let w be m(-5). Let o be w - (2 + 0)/(-2). Suppose 0 = 6*g - 3*g. Is o bigger than g?
False
Suppose 13 = -2*l + 5*n, 3*n = -5*l - 0*n - 17. Let s = 68 + -14. Let q be l - (-106)/s*2. Which is bigger: q or 0?
0
Let r be (-6)/(-15) + 58/5. Suppose 5*z - z + r = 0. Which is bigger: -6 or z?
z
Let c = -92 - -139. Let k = 45 - c. Which is bigger: k or 36?
36
Let z(h) be the second derivative of h**3/6 + h**2 - 2*h. Let u be z(-3). Let s = 14 - 14. Which is bigger: s or u?
s
Let c be (5*10/21800)/1. Are c and 1 equal?
False
Let d = 106857842/5 - 550531509949/25760. Let u = 1/736 - d. Do u and -5 have different values?
True
Suppose 0 = -2*q - 5*h + 1, h + 10 = -q + 2*h. Let g be (q/(-2))/((-9)/(135/10)). Which is smaller: g or -5?
g
Suppose 164 + 321 = -5*f. Let u = 97 + f. Which is greater: u or 2/11?
2/11
Let o = -7.5 + -332.5. Is o greater than 0?
False
Let w = 1 + -0.5. Let l = -164 - -163.7. Let y = l + w. Is y less than -4?
False
Suppose 4*h - 6*h = 14. Let m be h + 11 - 1/1. Suppose s + 2*s = -4*i, 4*i = m*s. Does s = -2?
False
Let l be (-2237)/1490 + (-159)/(-106). Is l at most as big as 1?
True
Let r(u) = u**3 + 5*u**2 - 2*u - 3. Let g be r(-3). Let n = -3 + 4. Suppose -g + n = -5*w. Which is smaller: w or 1?
1
Suppose -2*k = 2*n + 206, 5*n - 2*n - 5*k + 277 = 0. Let r be n/(-132) - 31/4. Which is smaller: -4 or r?
r
Let h be (300/225)/(4/(-1878)). Is -627 smaller than h?
True
Suppose 4*q + 37 + 7 = 0. Let z(t) = -t**3 + 3*t**2 - 3*t - 6. Let p be z(2). Is p at least q?
True
Suppose 0*l - 4*l + 16 = 0. Suppose 3*f = 26 - 134. Let p be f/(-4) - 12/3. Is p equal to l?
False
Let p be (15 - 13)/((-2)/52). Let v = 28 + p. Let d = v + 16. I