pose 444 = 10*b - 7*b. Let c = 99 - b. Which is smaller: c or -95/2?
c
Let m = -26 + 34. Suppose 3*p + m = 2*p. Let g = p - -7. Which is greater: -4 or g?
g
Suppose -p - 4*w = 83, -4*p = 5*w + 221 + 78. Let o = p - -106. Is 35 equal to o?
True
Let r(b) = b**3 + 5*b**2 - b + 6. Let f(v) = v**2 - 12*v - 5. Let w be f(12). Let i be r(w). Let m = i + -12. Which is greater: -2/7 or m?
-2/7
Let s be (4 - 9) + -2 - 8. Are s and -20 unequal?
True
Let q = 177/533339 - -113698257883/50667205. Let h = -2244 + q. Is 1 != h?
True
Let c = 157013/118820 + 3/1828. Let l = -1928/5 - -387. Let s = c - l. Which is smaller: -1 or s?
-1
Let b(d) = -6*d + 24. Let j be b(4). Which is bigger: -2/147 or j?
j
Let b be 1/6 - (-990)/(-108). Let l be b/36*16/(-278). Is 0 less than l?
True
Let z = 2490 + -12349/5. Let l = z + -20. Which is greater: -1 or l?
l
Let a be 4 - (-3)/12*-4. Suppose 2*n + 1 = -a*k, 7 = 2*k - 6*k + 3*n. Is 1 not equal to k?
True
Let b be (-540)/(-6)*(12/(-30) + 0). Is -37 bigger than b?
False
Let f = -0.304 - -0.304. Is 6.3 equal to f?
False
Suppose 0 = 3*k - 2*h - 44, -8 = -5*h + 2. Let m(z) = -z**2 + 57*z - 412. Let c be m(8). Let x = k + c. Is -4 greater than or equal to x?
True
Let y be (-7 - (-26)/6)/(-6). Which is bigger: 13 or y?
13
Let n be ((-6)/2)/(6/(-24) + 1). Let a be (n + 57/12)*-4. Is 3 bigger than a?
True
Let x be -2*4/8 + 4431/4425. Does x = -1?
False
Let j be 0 + (7 - (0 + 3)). Suppose -27 - 657 = -18*l. Let q be j - 7/(63/l). Which is smaller: q or -2/11?
q
Let d = -4 - -4.24. Let a(t) = -2*t**3 - 3*t**2 + 2*t + 4. Let l be a(-2). Let s be 8/l - (3 + 0). Do d and s have the same value?
False
Let m = 1795 - 1085. Let k = m - 4986/7. Is k less than or equal to -1?
True
Let j = -10445 - -4522683/433. Is j not equal to -1?
True
Let f = 66 - 61. Suppose 178 = -f*x + 3*x - 2*c, -2*x - 3*c = 181. Is x at most -86?
True
Let l = -1/1952 - 3775/251808. Let a be (1 - 2)*(1 + -1). Is a > l?
True
Let q = 520 + -519.9. Let j = -1.5 + -7.5. Let m = -5 - j. Are q and m equal?
False
Let w = 21 + -34. Let i = w + 15. Let r be (3 - 1)*1/i. Is 2 smaller than r?
False
Let v be ((-224)/(-48))/((-1)/(-3)). Let n = -12 + v. Suppose 2*j + 7*c = n*c - 18, j - c = 5. Which is bigger: j or -1/5?
j
Let n = 961 - 820. Which is smaller: n or -3?
-3
Let k be ((-1)/(-13))/((-682)/(-403)). Are k and -1.8 unequal?
True
Suppose 11*u - 39 = 8*u. Let w = -11 + u. Suppose 3*h + 6 = 3*f, 2*f - 4 = -w*h - 3*h. Which is smaller: -0.1 or h?
-0.1
Let v be 23660/(-116) - (1 - 0). Let z = v - -205. Is 1 at least z?
True
Let l = -1/165 + -818/1155. Let o be 4/(-6)*(-48)/(-32). Which is smaller: l or o?
o
Let d(p) = -9*p + 91. Let z be d(10). Which is greater: 2/157 or z?
z
Suppose -8*c + 5*v + 9 = -5*c, -2*c - 7 = v. Let z = -3 - c. Let l = -1867/42 - -253/6. Is l at most as big as z?
True
Let b(t) = 3*t + 25. Let i be b(-7). Suppose 3*z = r - i*r + 135, 37 = r + 3*z. Which is bigger: -0.1 or r?
r
Let m(j) = -5 - j + 6 + 9 + 2. Let z be m(6). Let i be (-4)/12*z/34. Is i less than 0?
True
Let m be -1 + 3 - 15/(-5). Suppose -4*x = 2*c - 20, m*c - 3*x = -0*c - 2. Let q be (-2*1/2)/1. Do c and q have the same value?
False
Suppose 26*r - 4 = 25*r. Suppose 4 = 4*i + 5*p - 6, -2*p = -r. Let v be -1 + (i + 2)/2. Which is greater: -2/19 or v?
v
Suppose -6*k + 2*k + 2*z + 4 = 0, 0 = -5*k - 4*z + 31. Suppose 3 = -2*x + u, -u + 2 = -k*u. Let s = 44 + -93/2. Which is smaller: s or x?
s
Let y = 2/17397 - 70438/7393725. Is 0 > y?
True
Let t = 9049/1932 - -51/92. Which is greater: 5 or t?
t
Let k(z) = -2*z - 3. Suppose -2*i - 12 = -g, i - 3*g + 8*g = -6. Let v be k(i). Which is bigger: 11 or v?
11
Let i be 3 + (124/(-8) - 4)*-2. Let t be ((-2)/7)/((-78)/i). Which is smaller: -1 or t?
-1
Let j(y) = y**3 + y**2 + 6. Let w be j(0). Suppose 14*d - 12*d = w. Suppose 5*z + 98 = -d*t + 29, -2*z = -t + 32. Is z >= -14?
False
Let g(o) = -27*o - 3. Let d(t) = -14*t - 2. Let r(z) = 5*d(z) - 3*g(z). Let v be r(1). Suppose v*x - 5*x = 0. Which is bigger: -1/3 or x?
x
Let y = -9.6 - -0.6. Let l = 4 + y. Let r = l - -4.92. Which is smaller: -0.1 or r?
-0.1
Suppose -4*n - 2*f = -3*f - 149, 2*n - 4*f = 92. Let v be (-48)/n*(3 - 0). Let a = -5 - v. Which is bigger: -2/85 or a?
-2/85
Let b(j) = -10*j**2 + 54*j - 118. Let o(w) = -7*w**2 + 36*w - 79. Let d(a) = -5*b(a) + 7*o(a). Let c be d(16). Are c and 6 unequal?
True
Let n = 0.0654 - -52.1346. Which is greater: n or -1?
n
Let i(n) = -n**3 - 7*n**2 - 14*n - 34. Let s be i(-6). Suppose 56*h + s = 58*h. Let v be 1/((1/(-6))/(-1)). Is h bigger than v?
True
Let d(h) = 51*h**2. Let g be d(1). Let u = 29 + g. Let x be (-52)/u + 2/8. Is x equal to 3?
False
Let f = 5 + -7. Let t be 31/(-93) - 76/6. Is t <= f?
True
Let l(t) be the first derivative of -t**4/4 + t**3 + t**2/2 - 2*t - 8. Let b be l(3). Which is smaller: 1/28 or b?
1/28
Let c(f) = -f**3 - 6*f**2 + f + 8. Let j be c(-6). Is 8/11 not equal to j?
True
Suppose 18*p - 29*p = -627. Which is bigger: 41 or p?
p
Suppose 5*o + a = -2*a + 125, 5*a - 3 = o. Suppose 53 - o = -v. Are v and 2/7 nonequal?
True
Suppose 3*r = g + 134, -4*r = -9*r + 4*g + 228. Suppose -r = 5*d - 5*i + 61, -2*d - 47 = -3*i. Are -16 and d unequal?
False
Let b(v) = 21*v - 13. Let i be b(2). Suppose 5*z - i + 9 = 0. Which is greater: 2 or z?
z
Let p = 24/263 + -52959/1052. Is p > -50?
False
Let v be 8/36*(-243)/(-54). Is v >= 16/29?
True
Let u be 7/5 - (-4 + 198/45). Is u > 4/263?
True
Let l = 588811/28231 - -1/4033. Let k = 1147/56 - l. Is -1 equal to k?
False
Let c(o) = -o**3 - 42*o**2 - 47*o - 245. Let i be c(-41). Let s = -90 + 11. Which is smaller: s or i?
s
Let o = 647/9 - 72. Suppose 4*z + 34 = 2*j, 0 = -3*z - 2*j + 3*j - 26. Let f be z/10 + 9/18. Which is smaller: f or o?
f
Suppose 2*y + 3*p = 19, -5*y + 5*p + 70 = 10. Let k = y + -12. Which is smaller: -1/54 or k?
k
Let p(h) = -6*h - 32. Let l(x) = -2*x - 11. Suppose -4*o - 14 = -3*o. Let b(g) = o*l(g) + 5*p(g). Let n be b(-4). Which is greater: n or -5?
n
Let f = -31 + 34. Let d be -1 + 1 + (-1 - 0). Let t be (2/(-3 - d))/(-1). Which is smaller: t or f?
t
Let v(l) = -l**2 - 6*l + 54. Let m be v(5). Which is smaller: 2/861 or m?
m
Suppose 0 = 2*g - 3*g + 2. Let h be g/8 + (-69)/(-12). Suppose -h*q = -q. Is -1/33 greater than or equal to q?
False
Let n = 724 - 944. Is -219 >= n?
True
Let w be 6 - (-2)/(2 + -4). Suppose 3 = -3*j, w*n - 3*j + 100 + 87 = 0. Let h be n/10 + (-1)/5. Is -3 smaller than h?
False
Let f = 468 - 468. Is 1/1986 greater than or equal to f?
True
Let v = -2.4 + -0.3. Let r = v - -3.1. Let g = 1 + -3/2. Which is bigger: r or g?
r
Let r = -52.1 + -12.9. Let u = -59 - r. Which is bigger: u or 1?
u
Let x(a) = 0*a - 5*a - 8 + 4*a + 3. Let y = 3 - 8. Let b be x(y). Is -1 less than or equal to b?
True
Let g(i) = i**2 - 8*i - 7. Let h be g(9). Suppose 4*a = 5*l - 17, 3*l - h = a + 4*l. Let w(f) = f**3 - 14*f**2 + 11*f + 24. Let t be w(13). Are a and t equal?
False
Let c = 1485/2 - 7579/10. Let p = -236/15 - c. Is 0 not equal to p?
True
Let b(p) = 2*p**2 + 11 - 23*p + 9 + 2*p - p**2. Let d be b(20). Do d and 0 have the same value?
True
Let p = 17 + -20.4. Let a = p + -1.6. Which is smaller: -1 or a?
a
Let h = 351 + -341. Which is smaller: 14 or h?
h
Let z(s) = s**3 - s**2 + 1. Let y(b) = 13*b**3 + 1. Let q(c) = -y(c) + z(c). Let m be q(1). Let j = -13 - m. Does j = 2/19?
False
Let d = -1510 - -1596. Is 81 less than d?
True
Suppose 61*u = 58*u - 3*g - 1398, 1888 = -4*u + 2*g. Which is greater: u or -471?
u
Let u(v) = v**3 + 5*v**2 - 9*v - 9. Let o be u(-6). Let n(w) = w**3 - 10*w**2 + 5*w - 7. Let y be n(o). Which is smaller: y or -42?
y
Let t(m) = m - 2 - m + 7*m. Let b(z) = z**2 - 12*z - 12. Let d be b(13). Let h be t(d). Is 4 <= h?
True
Suppose -5*f = -4*f + 4*o + 42, 4*f + 153 = -o. Let n = f + 36. Let a = 7939/9 + -883. Does a = n?
False
Let x = -2.486 - -0.486. Is -0.118 equal to x?
False
Let o = -2372/3 + 687. Which is greater: o or -105?
o
Let q be 26/(-5) - (272/40 + -6). Which is smaller: -134/21 or q?
-134/21
Let d be 33/(-6)*44/(0 - 2). Is 2 greater than d?
False
Let l = -96.4 + 94.2. Are l and -1/27 unequal?
True
Let d = 370 + -370. Which is greater: d or 1/124?
1/124
Let m = -1475 + 1478. Let w be (1/(-2))/(1/2). Let h be (w - (-3 - -1))*2. Is h greater than 