ppose 3*o + 12 = -o. Is o < k?
False
Suppose -z - z + 4 = 0. Suppose -3 = z*i - i. Are -3 and i equal?
True
Let n(r) = 2*r + 1. Let z be n(-1). Let f = z + 3. Which is bigger: f or 3?
3
Let h = 2/119 - 367/595. Suppose 9*o = 4*o - 55. Let f(t) = t + 9. Let k be f(o). Which is smaller: h or k?
k
Let l be (4/84)/((-1)/(-6)). Let g be 49/(-35) + (-2)/(-5). Is l at least g?
True
Let x(b) = -b**3 - 3*b**2 - b + 2. Let c be x(-2). Let a = c - 1. Let m be (-1)/12 - 4/6. Is m greater than or equal to a?
True
Let o(y) = y + 6. Let c be o(-3). Suppose -3*i - 1 = h, 5*i + 0 = 5. Let r be 6/h*(-11 - -9). Is c greater than r?
False
Let v = -9 - -18. Is v at most 9?
True
Suppose -o = 3*o - 12, 2*l - 3*o = -11. Let d be (1/(-8))/((-3)/(-18)). Which is bigger: d or l?
d
Let u(n) = 25*n**3 - 3*n**2 + n + 1. Let f be u(1). Let t = 1 + -4. Let y be t/(-8)*f/54. Does -1 = y?
False
Suppose 0*m + 5*m - 3*w + 12 = 0, 16 = 4*m + 4*w. Is -3 >= m?
False
Let o = 25 - 35. Let s = o - -3. Let m = -9 - s. Is m at most as big as -1?
True
Let u = -20 + 19.87. Let q = -0.03 - u. Do -1 and q have different values?
True
Let v(f) = f**3 + 11*f**2 + 10*f. Let q be v(-10). Which is smaller: q or -3/49?
-3/49
Let a = -252 - -258. Let u be 202/30 - (-4)/(-10). Is a at most u?
True
Suppose 7*j - 9 = 4*j. Is 3 <= j?
True
Let x(m) = m**3 - 4*m**2 + 2*m - 4. Let w be x(4). Suppose w = b + 9. Let d be (-5 + 0)/(b + 9). Which is smaller: d or -1?
d
Let k = 11/13 + -1. Let p = -3.9 + 5.9. Is k at least p?
False
Let j(u) = u**3 - 9*u**2 - 22*u - 14. Let r be j(11). Which is smaller: r or -25/2?
r
Suppose -3*b + v = -40, 9 = 2*b - 3*v - 27. Which is greater: b or 0.2?
b
Let a be ((-9)/144)/((-2 + 5)/414). Which is greater: -10 or a?
a
Let c = -16 - -1. Let s be c/(-20) - 0/3. Which is smaller: -0.1 or s?
-0.1
Let r = 20 - 21. Which is smaller: -0.4 or r?
r
Let c(j) = -7*j**2 + 2*j - 1. Let a = 15 - 14. Let r be c(a). Is 2/3 > r?
True
Let b(v) = v + 6. Let d be b(-7). Is d smaller than 0.01?
True
Let m = 0.06 + -0.46. Let r = -0.5 - m. Let g = 0.4 + r. Is g bigger than 0.1?
True
Let p = -1.1 + -0.4. Let w = -1.3 - p. Which is smaller: -0.2 or w?
-0.2
Let z(l) = -168*l**3 - l**2 + l + 1. Suppose 2 = 2*h + p, 5*h + 3*p - 2*p = -1. Let r be z(h). Let j = r + -3171/19. Which is smaller: 1 or j?
j
Let i = -53 + 101. Which is greater: 49 or i?
49
Let i = 0.1 + -0.3. Let w = 21.8 - 22. Is w greater than or equal to i?
True
Suppose -4*b = -1 - 7. Which is bigger: b or 3?
3
Let z(u) = -u + 9. Let q be z(8). Let r(l) = l**3 - 3*l**2 + l - 2. Let i(w) = w - 3. Let h be i(6). Let t be r(h). Is t smaller than q?
False
Let h be 2/(-11) - 40/(-462). Which is bigger: 1 or h?
1
Suppose -5*l - 40 = -3*s, 2*s - 2*l = -4 + 28. Is 11 bigger than s?
True
Let n be 4/2*135/30. Are n and 4 unequal?
True
Let c = -6 + 7. Let w(z) = -2*z + z + 5 + 3. Let h be w(7). Is c greater than h?
False
Suppose -3*t = -3*d + t + 9, 5*d - 5*t = 10. Is 1/3 at least as big as d?
True
Suppose -2*g + 5*g + 4*q - 29 = 0, 2*g + 5*q - 31 = 0. Let y(b) = -b + 2. Let s be y(g). Let t be ((-2)/(-1) - 2) + s. Does -3 = t?
False
Suppose -c + 0 - 3 = 0. Let j = c + 4. Is 1/15 at least j?
False
Let r be (-6)/3 + (-9052)/(-4543). Let c = r - 824399/931315. Let l = -12/41 - c. Is l not equal to 1?
True
Let m be (-20)/(-15) - 4/(-6). Let s be 17 - (m - (2 + -4)). Is s bigger than 14?
False
Let d be (5 - 0)/(1/(-7)). Let q be (-4)/d*(-90)/(-12). Let w = 0 - 0. Which is smaller: q or w?
w
Suppose 0 = d + z - 4, 4*z - 1 = 2*d - d. Suppose 0 = d*s + 6 - 3. Let c = -8 - -55/7. Which is smaller: s or c?
s
Let w be (-1 - -2)*(1 - -7). Suppose 0*k - w = 2*k. Which is bigger: -3 or k?
-3
Let j = -15 + 5. Are -1 and j equal?
False
Let k(y) = y**2 - 8*y + 4. Let g be k(5). Do g and -12 have the same value?
False
Let s = 34 + -15. Which is bigger: 0 or s?
s
Suppose -5*s + 6 = -3*s. Let i(p) = 1 + 2 + s*p**2 + 2*p - 5. Let d be i(-2). Which is smaller: 4 or d?
4
Let z be (9/(-6) + 2)*-2. Let s = -14 - -10. Is s bigger than z?
False
Let g = -0.042 + 23.042. Let a = g + -22. Which is smaller: -4 or a?
-4
Let f be (-1)/(-4) + (-7)/28. Suppose -3*i - 2*i = -30. Suppose -5*t - i*z + 17 = -2*z, -5*t - 3*z + 14 = 0. Is t at least as big as f?
True
Let c be -19*(-1 - -2) + -1. Let r = -14 - c. Let p = r - 7. Which is greater: p or -4/5?
-4/5
Suppose 7 = 5*o - y, 3*o - 3*y - 1 = -4. Which is smaller: o or 0.4?
0.4
Let y(k) = 2*k**2 + 7*k + 3. Let l be y(-5). Suppose -5*t - 4*h + 3*h + l = 0, 0 = 2*t + 5*h - 21. Suppose -3*m + 9 = -t*a, a - 9 = -5*m + 3*a. Is 3/4 < m?
True
Suppose 6 = 11*z + 6. Is z bigger than -16/13?
True
Suppose -3*p - 3*w - 27 = 0, p - 5*p - 21 = -w. Are -7 and p non-equal?
True
Let n be 3/5 + 688/(-30). Let h = 23 + n. Which is greater: h or -0.3?
h
Let f = -0.7 + -0.3. Is f at most -1?
True
Suppose -5*u - d - 3 = -6*u, -5*u + 27 = -d. Is 7 > u?
True
Let d(s) = -s**2 + 6*s + 8. Let t = 20 - 13. Let q be d(t). Which is smaller: -2/17 or q?
-2/17
Let j be -6 + -1 + 8/4. Which is greater: -23/5 or j?
-23/5
Let f = -1.76 - -1.7. Let z = f - 0.04. Which is bigger: z or -3/4?
z
Let u(l) = 6*l**2 + 3*l + 2. Let y be u(-2). Let a be (-7)/y - (-2)/(-8). Let j be 2 + -3 - (3 + -2). Which is greater: j or a?
a
Let m be 2 - -5*(-8)/20. Suppose -2*d + 5*d = m. Is d smaller than 7/5?
True
Let w(q) = -q. Let f be w(3). Let m(l) = l + 3. Let h be m(f). Is h not equal to -4?
True
Let n = -0.06 + 2.06. Is 0 smaller than n?
True
Let y = -6 - -6.06. Let n = y + 0.34. Which is smaller: n or -1?
-1
Let y = 134423/1064 - 1133/56. Let f = -106 + y. Let l = f - 27/76. Is -4 at least l?
False
Let p(k) = -4*k - 15. Let w be p(-4). Which is smaller: w or 9?
w
Let u(q) = -q + 1. Let w be u(-3). Suppose 0 = -w*c - 5*h + 15, 3 = 2*c - h + 2*h. Is 1/5 less than or equal to c?
False
Let i = 3 + -3.1. Which is bigger: -15 or i?
i
Let x be (0 - 0)/(1/(-1)). Suppose 3*j + 4*p - 10 = 0, -2*j - 12 = 2*p - 4*p. Let g be 1 + x + j - 1. Which is greater: g or -3?
g
Let w be -15*(-3)/(45/6). Which is greater: 5 or w?
w
Let z = 52 + -79. Let s be (-129)/z + (-4)/(-18). Is 0 < s?
True
Suppose 7*k - 15 = 2*k. Let g be ((-1)/(-9))/(k/21). Let z = -1 + g. Is z < -1?
False
Let c be ((-462)/(-18))/((-2)/(-6)). Which is smaller: c or -1?
-1
Let a = 13 - 7. Suppose -20 = -5*y + g, -g - 8 = -3*y + a. Suppose 5 = 3*f + 2*l, -y*l + 1 + 0 = -2*f. Are f and 0.1 non-equal?
True
Let p = -215/36 - -23/4. Suppose 0*r = 2*r. Which is smaller: p or r?
p
Let b = -30 + 21. Let s = -8.9 - b. Which is smaller: s or 5?
s
Let b = -52072/21 - -2479. Let n be (-4)/6 - (-1)/3. Let v = n - b. Is v smaller than 1?
True
Let g(v) = -v**2 + 3*v. Let l be g(3). Let a be 1/(-4) - (-2)/8. Is l at least as big as a?
True
Let b = 54 + -759/14. Which is greater: 1 or b?
1
Let q be (-4)/10 - (-20)/(-75). Which is smaller: q or -2/5?
q
Let q = -9 - -13. Suppose -2*y - v + 7 = 0, q*y - 1 = 4*v + 19. Suppose -6*i + 2 = -y*i. Are 2 and i equal?
False
Suppose 2*v - 2*f + 0*f = 0, -v + 5*f - 8 = 0. Which is smaller: v or 11/7?
11/7
Let d = 116 + -116. Is d greater than or equal to -13/16?
True
Suppose y + y = 3*f - 41, -2*f - 55 = 3*y. Which is bigger: y or -17?
-17
Let q(r) = -r**2 + 15*r. Let s be q(15). Is 4/21 < s?
False
Let o be 4 - 3/(2 - -1). Suppose -g - d + 3 = -1, o*d + 3 = 0. Let h be ((-1)/2)/(1/(-10)). Are h and g equal?
True
Let a be (3 - 2)*5*7. Let t be 3 - 0 - a/5. Which is greater: -0.1 or t?
-0.1
Let o(h) = h - 5. Let r be o(6). Which is greater: 3 or r?
3
Let f(m) = -m - 10. Let u be f(-19). Do u and 2 have the same value?
False
Let t(d) = 8*d**3 - 1. Let x = -5 + 4. Let u be t(x). Let a = u + 9. Which is greater: -0.3 or a?
a
Let z = -0.13 + 0.63. Let o = z - 0.7. Is o < -1?
False
Let r be -1 - 2 - (1 - 4). Is r at most as big as -1/99?
False
Let b = -197/3 - -65. Let u be 1 + -5 + 1 + 0. Let g be (u/6 + 1)*0. Is b at least as big as g?
False
Let m = -2 - -3. Suppose -2*x + x + 2 = -2*a, -5*a = 3*x + 5. Is x < m?
True
Let h = -11.2 + 8.2. Is h smaller than 3?
True
Let h = -0.08 - -2.28. Which is smaller: -0.1 or h?
-0.1
Let j be 3 - (-1 + (-1 - -3)). Suppose -3*r = j*r. Let f be 8/(-26)*(-2)/4. Are r and f unequal?
True
Let h(i) = 8*i**2 + 4*i - 4. Let w be h(1). Which is greater: 9 or w?
9
Let y(t) = -t**3 - 8*