t(g). Which is greater: -3/2 or j?
-3/2
Let j be 3*(-3)/9*-1*3. Suppose 5*n - 2*f - 23 = 0, 5*n - 3 - 25 = -3*f. Suppose 2*b + 3*a = -n, 5*b - 3*a = 17 + 2. Is j bigger than b?
True
Suppose -4*c = -5*f + 9, -c - 7 = -4*c + f. Suppose -6 = c*w + 14. Is w <= -0.1?
True
Let o = 7133915852 - 1450531976263595/203329. Let l = -1/937 + o. Let k = l - 10/31. Are k and -0.1 unequal?
True
Let y be -9 - -6 - (-2 - 1). Let l = y - 1. Which is smaller: -1/3 or l?
l
Let r be (4/(-2 + 0))/(11 + -13). Let g = -31/29 - -569/261. Which is smaller: r or g?
r
Suppose 0*k + 2*k = -10. Let j = 6 + k. Let q be (-1)/(-2*j/2). Which is smaller: q or 1/7?
1/7
Let p be 4/4*-3 - -2. Is 1/35 at most as big as p?
False
Let x(m) = m + 4. Let d be x(-6). Let v = 6 + d. Which is greater: v or 3?
v
Let k = -14 + 7. Is k > -1?
False
Let l(r) = -3*r + 30. Let q be l(8). Which is smaller: 7 or q?
q
Let f be ((-5 + 1)/(-4))/(-17). Which is bigger: f or 0?
0
Let k(p) = -p**2 + p - 2. Let z be k(-2). Let f = 5 + z. Let t(i) = -i**2 - 5*i - 3. Let g be t(-5). Is f at least g?
True
Let a be (-18)/(-3)*(-3)/9. Suppose 0*y = 3*y. Suppose y*x - 29 = 2*k + 5*x, 3*k + 4*x = -26. Is k <= a?
True
Let i(g) = -g**3 - 11*g**2 + 14*g + 17. Let s be i(-12). Let z be (-8)/3*(-12)/(-4). Which is bigger: z or s?
s
Let r = -40 + 39. Is -1 > r?
False
Suppose -a - 3*a + 88 = 0. Suppose 4*r - a = 2*h, -h + 7 = 5*r - 10. Let z be 1/(-4) + (-23)/r. Which is bigger: z or -7?
z
Let q be (-26)/(-22) - 12/66. Let d = 28/17 - 89/85. Is q less than d?
False
Let i = -2 + 2. Let h(f) = f**2 + 7*f + 10. Let q be h(-5). Is i equal to q?
True
Let h be (42/35)/(2/5). Suppose -2 = h*a + 1. Let x = -57 - -343/6. Which is smaller: a or x?
a
Let y = 6 + -10. Let q be (-18)/(-12)*(-2)/y. Suppose 0*h + 4*h + w + 5 = 0, -3*h + 5 = -w. Which is greater: q or h?
q
Suppose 0*b = 3*b - 21. Suppose 5*h = -w + 41, -4*w + 21 = 4*h - 15. Is b at most as big as h?
True
Let r be (-35)/21 + (-2)/(-3). Are r and -5 unequal?
True
Let f = -106.9 + 105. Which is greater: -2/7 or f?
-2/7
Let t(x) = -x**2 + 4*x - 3. Let s be t(4). Let z = 5 + s. Suppose -6*o = -2*o - 16. Which is smaller: o or z?
z
Let k = 0.52 + -0.02. Let t = k - -1.5. Let f = t - 2.1. Is f less than 2/5?
True
Let t = 42 + -42. Is -6/5 < t?
True
Let o = 30 - 17. Let n = o + -12. Let k(i) = -i**3 - 3*i**2 + 5*i + 4. Let c be k(-4). Is n > c?
True
Let s = 18 - 15. Which is smaller: s or 2?
2
Let h = -6 - -5.92. Let b = h - 3.92. Which is bigger: -1 or b?
-1
Let i = -10.7 - -0.7. Let d = i + 10.8. Let q = d + 6.2. Is q < 1?
False
Let k be ((-3 - -1) + 2)/(-2). Suppose 0 = 5*y - k*y + 100. Let l be (-6)/(-6) - y/(-14). Which is smaller: -1 or l?
-1
Let a(u) = -1. Let g(q) = -q - 7. Let t(x) = -6*a(x) + g(x). Let p be t(7). Is p bigger than -9?
True
Let u = -146/93 + -3/31. Which is smaller: -3 or u?
-3
Let m = -13 + 7. Let r = -6.2 - m. Which is smaller: -3 or r?
-3
Suppose -29 = 2*g + 4*l - 1, -3*l - 57 = 3*g. Let x be (1*2)/((-112)/g). Which is bigger: x or 0?
x
Suppose 3*z - 6 = -3*o, -3*o + 2 = -0*o + 5*z. Let v be 1*-8*(-10)/24. Which is bigger: v or o?
o
Let i be -2 + 2*1/2. Let y = 107 + -962/9. Is i not equal to y?
True
Let z = -1176/5 - -234. Which is bigger: z or -1?
-1
Let h(j) = j - 11. Suppose p = 5 + 1. Let g be h(p). Is -6 greater than g?
False
Let q(b) = b**3 - 3*b**2 - b + 2. Let m be (-2)/(-6)*(4 + 5). Let u be q(m). Is 0 bigger than u?
True
Let k(o) = o**3 - 8*o**2 + 11. Let f be k(8). Is 11 smaller than f?
False
Let y = 0.1 - 0. Let l = 16.74 + -17. Let i = 0.06 + l. Which is greater: y or i?
y
Let c(t) = -t**2 - 4*t + 6. Let g be c(-5). Let d be (-5)/g - 1 - -1. Is -2/3 greater than d?
True
Let s be (-16)/3 - (-2)/6. Let z = -185/3 - -847/15. Which is bigger: z or s?
s
Let n(m) be the third derivative of -m**4/24 - m**3 - m**2. Let x be n(-4). Which is smaller: x or -4?
-4
Let x(u) = u + 13. Let a be x(-9). Let d be -1*8/a - -3. Which is greater: 2 or d?
2
Let x be (-2)/(-3) - (-100)/(-24). Which is greater: -5 or x?
x
Let m = 0.1 - 0.2. Suppose 3*n = 2*j - 26, 0 = -2*j - 2*n + 42 - 16. Suppose 3*s - 8*s = -5*o + 5, -4*s - j = -o. Which is bigger: s or m?
m
Let f = 195 - 194. Is f smaller than -0.04?
False
Let u be -2 - -2 - 13/6. Let q = -8/3 - u. Is -2 not equal to q?
True
Let q be (-93)/5 - (-6 - 160/(-25)). Are q and -18 non-equal?
True
Suppose 0 = 5*h - 0*t + 2*t + 5, 4*h + 5*t = -21. Let r be (0/h)/(1 + -3). Let l = 557/5 - 111. Which is smaller: r or l?
r
Let z = -62 - -60. Which is smaller: -1 or z?
z
Let t(b) = 2*b**2 - 5*b + 2. Let r be t(3). Let j(o) = 2 + 4*o - r*o - 4. Let q be j(-4). Which is smaller: q or 0?
0
Let c = 2/1155 + -2102/1155. Which is bigger: -3 or c?
c
Let y(l) = -l + 2. Let t be y(8). Let f = t - -6. Is f at most 8?
True
Let q(o) = o - 5. Let t be q(5). Suppose 3*x = -t*x. Is -1 greater than or equal to x?
False
Let g be ((-18)/8)/(6/16). Which is bigger: -1 or g?
-1
Suppose -4*p + 27 = 7. Suppose -5*i - p = -15. Is 0 at most i?
True
Suppose 10 + 2 = -3*f. Let o(g) = g**2 + 5*g + 4. Let t be o(f). Is 2 != t?
True
Let i be (-8)/(-24) + 8/(-6). Let z = 5 + i. Let m be z/5 + 1/5. Is m < 2?
True
Let x = 1974866/281 + -7028. Is 0 > x?
True
Let l = -5 + 7. Suppose -x + 5*d = x - 5, -x = -l*d - 1. Let i(m) = m + 2. Let n be i(-7). Is x equal to n?
True
Let m = -25 + 30. Is 3 greater than m?
False
Let c(f) = f**3 - 2*f**2 - 10*f + 4. Let i be c(5). Is 30 smaller than i?
False
Suppose -3*l - 4*x = -1, 6 = -6*l + 3*l + 3*x. Let u = 0.3 - 4.3. Let i = u - -5. Which is smaller: i or l?
l
Let s = 1 - 0.4. Let n = s - -1.6. Let r = 0.2 - n. Is r at least as big as 1?
False
Let d = 14 + -15. Is d < 1/4?
True
Let s = -146/77 + 12/7. Is 0.2 at most s?
False
Let y = -0.046 + 0.046. Which is bigger: y or -1/14?
y
Let c = 23.03 + -23. Is -3/5 less than c?
True
Let p(v) = v**3 - 7*v**2 + v - 8. Let i be p(7). Let u(y) = -y**2 - 2*y. Let f be u(i). Let g be 6/4 + 912/(-576). Does f = g?
False
Suppose -8*q + 4*q + 20 = 0. Suppose -q*f = -6*f. Is f > -2/17?
True
Let j(p) = -p**2 - 2*p - 3. Let l be j(-2). Let b = 0 - l. Suppose 0 = -3*w + b. Do w and 1 have the same value?
True
Suppose -3*b - w + 4 = -5*w, 0 = -3*b + 5*w - 1. Let z = 6 + b. Let t be 4/z - (-74)/(-112). Is 0 at least t?
True
Let u be 4 - (4 - 2 - 1). Suppose 4*l = -1 - u. Is l < -2?
False
Suppose -5*g = -h - 2, -5*g + 2 = -h - 3*g. Is -4 at most as big as h?
True
Suppose 5*b - 25 = 0, -20 = -3*u + b - 79. Is u at most -17?
True
Suppose 5*g = 2*n + 8, -n = -g + n. Suppose -10 + 16 = 2*s. Are g and s equal?
False
Let t = 4 - 2. Let x = 127/2 + -63. Is x greater than t?
False
Let a = -0.05 - 3.95. Let x = 3 + a. Is x smaller than 4?
True
Let y(r) = -r**3 + 5*r**2 - 4*r + 8. Let n be y(3). Is 12 at least n?
False
Let c be ((-20)/18)/5 + 38/9. Which is bigger: c or 35?
35
Suppose 3*h + 2 = 4*l - 16, 4*h + 5 = -l. Let v be ((-9)/18)/((-3)/(-11)). Let z = 7/6 + v. Is h > z?
False
Let k = -779 + 165149/212. Which is greater: k or 0?
k
Let h(b) = b**3 - 3*b**2 - 3*b - 3. Let x(a) = a**3 + 8*a**2 - 2*a - 12. Let t be x(-8). Let o be h(t). Which is smaller: 1/2 or o?
1/2
Let t = 0.99 - 1. Let d = t + 0.01. Is d < -1?
False
Let j = -5 + 3. Suppose 4*p + 1 = -7. Is p not equal to j?
False
Let w = 4 - 10. Let r = 7 + w. Is r at most 7/3?
True
Suppose -4*s = 0, -4*i + 3*s = 6*s + 32. Let o = -11 - i. Which is smaller: o or -5?
-5
Suppose 3*c - 11 = -5*s - 33, -3*s = -5*c - 14. Suppose -3 + 1 = v. Is v at least s?
True
Let x = 5946995548/15135 - 392930. Let q = x - 1280419/15135. Let b = -85 - q. Which is smaller: b or -2?
-2
Let z = 1 + -5. Let s be (-125)/70 + (-6)/z. Do s and -0.3 have the same value?
False
Suppose -2*o + 5 = 3*o. Let g(k) be the second derivative of k**4/12 + 2*k**3/3 + k**2 + 3*k. Let p be g(-4). Does o = p?
False
Suppose 3 = -5*j + 3*z - 10, 2*j + 5 = z. Do j and -2 have the same value?
True
Suppose -2*n - 25 = 3*n. Let t = 5 + n. Let f be 5/(-3) + (-1 - -2). Which is greater: t or f?
t
Let v(c) = c + 3. Let t be v(9). Let o = t + -21. Let g = o + 9. Which is bigger: g or -2/3?
g
Let s = -88 + 612/7. Is s < -2?
False
Suppose i = -0*i + 3*z - 10, 2*z = -5*i + 18. Let g be i/(-4)*-4 - -1. Let r = 4/125 + 617/250. Is g > r?
True
Let o = 22592205/2349026 - 3/69089. Let j = -1