+ 44 = n. Is -10 < g?
False
Let d(c) = -6*c - 1. Let i be d(-1). Suppose 0 = -4*r - 4*q + 76, 2*r + i*q = 57 - 10. Let t be (-1 + 3)*r/40. Is 1 > t?
True
Let z = -866 + 859. Does z = 0.3?
False
Let f = -772.378 - -772. Is -2 at least f?
False
Let b(h) = 2*h**3 + h**2 - h. Let c be b(1). Suppose w + c = -1, 0 = -n - w. Let d(u) = u**2 - 104*u - 772. Let m be d(-7). Which is bigger: n or m?
m
Let s be 6*1/(-12)*0/(-2). Let p = 46/3 - 77/5. Which is greater: s or p?
s
Let t = 95 + -94. Is -7 at most as big as t?
True
Let p = -1152 - -1046. Is p bigger than -109?
True
Suppose -23*a + i - 36 = -28*a, -a - 3*i = -10. Suppose -3*t + 13 = -11. Which is bigger: t or a?
t
Let n be (2 - -1) + (-3)/3. Suppose -6 = -n*d - 0. Which is bigger: d or 1?
d
Let f = -1018.26 + 1018. Are f and 10 non-equal?
True
Let d be (-2)/(-12) + ((-778)/(-12) - 2). Let m = d - 36. Which is bigger: 26 or m?
m
Let w(k) = 4*k**2 + 20*k - 5. Let p be w(-6). Let r = -97/5 + p. Is 62 smaller than r?
False
Let b be 0/1*3/6. Let p be (-2)/6 + (-12664)/24. Let a = -4219/8 - p. Are b and a non-equal?
True
Suppose 8 = 2*b - 4. Let m = b + -8. Let c be (-1)/m*18/6. Which is bigger: c or 1?
c
Suppose -95 + 11 = -6*k. Let b(w) = w + 25. Let m be b(k). Are 39 and m nonequal?
False
Let d(k) = -k**3 + 9*k**2 - k + 10. Let t be d(9). Let v be (4/(-7) + t)/(15/(-10)). Which is bigger: v or 1?
1
Let x(a) = -a**3 + 16*a**2 + 15*a + 34. Let q be x(17). Suppose 5*z + 327 = n - 4*n, q = z + 2*n + 71. Which is greater: -62 or z?
-62
Let j(r) = -6*r + r + 7*r**2 + 2*r**3 - 3 - 3*r - r**3. Let u be j(-8). Let i be (-5 - u)*(-2)/(-34). Is -1 less than or equal to i?
True
Let h(j) = -15*j + 361. Let f be h(28). Which is smaller: -63 or f?
-63
Let s = -18 - -25. Let l = -180 - -178. Is s less than l?
False
Let f = -84.9 - -90. Let g = 5.1 - f. Is 16 > g?
True
Suppose 14*x + 38 = -1404. Does -101 = x?
False
Let v = -488393/758386 - 1/12854. Which is bigger: v or 0?
0
Let q = -16.185 + 0.285. Let b = q - -16. Is 6 greater than or equal to b?
True
Suppose 0*w + 12*w = 216. Suppose -w*i + 4*i = 42. Let h = 2 - 7. Are i and h nonequal?
True
Suppose -h = 2*j + 1554, 0 = 3*h + 3*j + 3289 + 1361. Let t = 170059/110 + h. Let a = 9/22 + t. Which is bigger: a or 1/7?
a
Let d = 5707/742 - 109/14. Which is bigger: 1 or d?
1
Let g be 7*(-30)/2800*11/1. Is g equal to 0?
False
Let s be (-7)/2 + 6/12. Let v be (-3 - s) + 3 - -1. Suppose -15 = o + 4*o - 5*y, 5*o = v*y - 11. Which is greater: 3/5 or o?
o
Suppose -r + 39 = 4*y, -14*y + 10*y = 4*r - 36. Suppose 2*b = 30 - 10. Is b less than y?
False
Let f be 116/3*75/(-50). Which is bigger: f or -57?
-57
Let k = 10 + -19. Let i(h) = -2*h + 6*h + 1 - 2*h - 3*h. Let f be i(k). Which is bigger: 9 or f?
f
Suppose -r + 9 = 2*r. Suppose -2*l = r*l - 80. Suppose 0 = o - 5*o - l. Which is greater: o or -15/4?
-15/4
Let w = -76.39 + -0.61. Let r = w + 77.2. Which is smaller: r or -1?
-1
Suppose 19698 = -56*n - 10990. Is n at least as big as -547?
False
Suppose 3*b - 14 = r, -5*r + 4*b = -7*r + 22. Which is bigger: r or 9/20?
r
Let w be (4/4)/((-1)/(-25)). Let g be (-20)/w - 12/(-15). Let n = -7597/16 - -475. Is n < g?
False
Suppose 5*j = -15, 0 = 2*z + 6*j - 2*j + 2. Are z and -7 nonequal?
True
Let u = -2 + 7. Suppose 4*z - 13 = 3*p, -3*p + 1 = -u*z + 15. Let o = -97 - -1069/11. Which is greater: z or o?
z
Let d = -4 - 7. Let p = -0.12 - 0. Let u = 0.22 + p. Which is smaller: u or d?
d
Let o be (-36)/(-18) + -4 + 1. Which is smaller: o or 1/1010?
o
Suppose 85 = 3*l - 53. Let i = l + -137/3. Let m be (-2)/6 - 3/(-15). Which is smaller: i or m?
m
Let i(g) = -g**3 - 3*g - 4*g - 6*g**2 - 4 + 11*g - 11*g. Let d be i(-4). Let k be ((-9)/(-72))/(18/d). Is k <= 1?
True
Let v = 245 + -434. Let l = v - -160. Is l != -30?
True
Let f(b) = -9*b**3 + 2*b**2 - 2*b + 1. Let m be f(1). Let h be ((-2 + 1)*-1)/((-19)/(-133)). Suppose 5*p - 2*z = -41, 2*z - h + 1 = 0. Which is greater: p or m?
p
Let a(z) = 5*z**3 + z. Let i be a(-1). Let g(n) = -n**2 + 14*n - 18. Let u be g(13). Which is bigger: i or u?
u
Let f = -2 + 0. Let v be 121/33 + (-2)/3. Suppose -2 = v*l + 1. Which is smaller: f or l?
f
Let k = 3627/32039 - 25/199. Let g be 2/1*11/(-22). Is g at least as big as k?
False
Let o = 291 + -387. Which is smaller: -97 or o?
-97
Suppose -74*d = -24*d + 12050. Which is smaller: d or -240?
d
Let o be -1 + ((-2)/9 - (-11)/9). Suppose -2*m - 3 + 11 = o. Which is smaller: m or 32/7?
m
Let u = -0.3 - 2.2. Let k = -3.5 - u. Which is greater: k or -2/23?
-2/23
Let v(i) be the third derivative of -i**6/120 - i**5/12 + i**4/6 - 5*i**3/3 + 2*i**2. Let s = -149 - -143. Let j be v(s). Which is greater: j or 3?
3
Let j(z) = -1 + 201*z - 203*z + 13*z**3 - 2*z**2 + 8*z**3. Let n be j(-1). Which is smaller: -64/3 or n?
n
Suppose 293 = 35*m - 22. Do m and 100/13 have the same value?
False
Suppose v + 18 = -3*y, 3*v + v = -3*y - 36. Let r be (4/(-6))/((-16)/v). Is r at least as big as 1?
False
Let c(n) = -n - 2. Let b be c(-6). Suppose -5*m = -9*m + b. Which is smaller: m or 34?
m
Let l = -923/4029 + 15/79. Suppose 10 = 4*o - 246. Let t = -65 + o. Is l at most t?
False
Suppose -69*s - 25 = -64*s. Let i(q) be the second derivative of -q**4/12 - 2*q**3/3 + 2*q**2 - 2*q. Let g be i(s). Are 1/11 and g nonequal?
True
Let s be 3550/(-7) - (108/42)/3. Which is smaller: -1017/2 or s?
-1017/2
Suppose 4*w + 3*w = 5*w. Let o = 2/5 - w. Which is smaller: 100 or o?
o
Suppose 5*i - 9 = 2*m + 17, -6 = 2*m. Suppose a - i = 5*a. Suppose -18 = 2*f - 14. Is a >= f?
True
Suppose 0*s - 6 = -3*s. Let c(t) = -t**2 + 2*t + 2. Let v be c(s). Let g be ((-7)/784*-8)/((-4)/(-35)). Is v at most g?
False
Let m = -17 + 17. Let w = -21 + -1. Is w at least as big as m?
False
Suppose -3*f = -3*q + 3453, f = -5*q - 1106 - 27. Is f smaller than -1148?
False
Let j be ((-60)/55)/(26/(-1482)). Are j and 62 equal?
False
Let k = -7 + 6. Let c = 4.3 + -1.8. Let z = c - 2.5. Is k <= z?
True
Let y(p) = 18*p + 36. Let q be y(-2). Is 20 greater than q?
True
Suppose -3*p - 2*f - 54 = 0, 0 = -12*f + 13*f + 3. Are p and -10 unequal?
True
Let i = 33 - 15. Let g = i - 19. Which is smaller: 3/4 or g?
g
Suppose 20 = -5*x, 2*b - 556 = -0*b + x. Is b greater than or equal to 277?
False
Suppose -3*n - 340 = -4*j, -10 = -2*n - 2. Let u = j - 87. Are 12/7 and u non-equal?
True
Let q = 6/43 - -56/215. Do -54/11 and q have the same value?
False
Let b = -0.62 + 28.62. Let h = -27.2 + b. Which is smaller: 2/3 or h?
2/3
Let r(i) = 2*i**2 + 6*i + 5. Let p be r(-2). Which is smaller: 8/15 or p?
8/15
Let y = 37 + -61. Let x be (-4)/(y/(-17)) - -1. Let p = x - -16/3. Is 3 >= p?
False
Suppose 38*p - 37*p = 5*i + 584, -2*p = -2*i - 1200. Is 604 greater than or equal to p?
True
Let g(t) = -1. Let a(k) = k + 22. Let u(m) = -5*a(m) - 35*g(m). Let o be u(-14). Is o equal to -45/7?
False
Suppose 3*y = g - y - 32, -3*y = g - 11. Suppose 4*s + 2*c - g = 0, -4*s - 4*c + 26 = -5*c. Which is smaller: 12 or s?
s
Let u be 2*-1 - 2 - (-21752)/1938. Let z = u - 138/19. Which is greater: z or -0.1?
z
Let w = 9.1 + -2.1. Which is greater: 2 or w?
w
Suppose -2*w + 3*r = 47, 232*r + 134 = -5*w + 234*r. Let x = -30 + 1. Which is smaller: w or x?
x
Let l = 335 - 329. Which is greater: l or 37/7?
l
Let h = 637369/117 + -56630/13. Suppose -13*b + 5465 = -8*b. Let i = b - h. Is i greater than 1?
True
Let n = -14 + 14.9. Let c = n - -3.1. Let r = 0 + 1. Is r >= c?
False
Suppose 5*n + 3 - 43 = 0. Suppose -3*q + 7*q = -24. Let y = n + q. Is y <= 9/4?
True
Let r be (-5)/((-10)/14) + 3. Let z = 7 - r. Let v = -49/2 - -22. Is z at most v?
True
Let s = 190 + -20. Which is smaller: s or 169?
169
Suppose 68 + 207 = -5*a. Let j = a - -52. Is 0.08 <= j?
False
Suppose h + 32706 = -68*h. Is h bigger than -474?
False
Let u = 150 + -148. Is 3.1 at most u?
False
Let w = 3/1100 - -45079/7700. Which is smaller: w or 6?
w
Let j = 8 - 3. Let b(h) = h**3 - 3*h**2 - 5*h. Let v be b(j). Suppose 4*a - f = -3*f - 10, -5*f = -3*a + v. Is a less than -3/13?
False
Let p = -831 + 817. Which is greater: -150/11 or p?
-150/11
Let y = 5 - 4. Let f be 6*y*(-3)/(-9). Let i be 19/21 - (-3)/(-9). Is f bigger than i?
True
Let b(j) = j**2 + 10*j + 1. Let c(m) = -1. Let s(x) = b(x) - c(x). Let f be s(-10). Which is smaller: f or 5?
f
Let v be 10