71/55 + -4). Which is smaller: 1 or a?
a
Let h = 0.6 - 0.3. Is 0.1 > h?
False
Let y = -8 - -6. Let h = -5 - -3. Let v be (1/(-3))/(h/(-6)). Which is greater: y or v?
v
Let t = -5.7 - -6. Let r = 0.02 - -1.98. Let d = 0 + r. Which is greater: t or d?
d
Let o = 8 - 4. Suppose 4*r + 28 = -4*k, 0 = -r - 4*k - 18 - o. Let z be r*(-2)/((-4)/3). Which is smaller: z or 2/5?
z
Let b = 6.9 - 7. Let r = -517/3 + 169. Is b at most as big as r?
False
Suppose -4 = -5*j + 1. Let b be (-71)/(-1988)*(0 - -1). Which is smaller: b or j?
b
Let c = -221 + 532. Let b = c - 941/3. Is -3 greater than b?
False
Suppose -3*d + d + 2 = 0. Suppose -4 - d = 5*r. Which is bigger: -2/19 or r?
-2/19
Let m(p) = p**3 - 3*p**2 + 2*p. Let f be (4/2)/((-2)/(-3)). Let o be m(f). Let h be ((-2)/o)/(6/4). Is 0 smaller than h?
False
Let s(o) = -o - 8. Let j be s(-8). Let c be (j + -3)/(-18)*4. Let v(d) = d**3 - 6*d**2 - 8*d + 9. Let a be v(7). Which is smaller: a or c?
c
Let k(d) = 5*d**2 - 4*d - 1. Let c be k(4). Let t = c + -379/6. Is t smaller than 0?
True
Let l = 1 + 2. Suppose -l*t = -0*t. Is -1/11 < t?
True
Let h(q) = -q + 15. Let t be h(14). Is t smaller than -4/9?
False
Let o(h) = -3*h**2 + 9*h - 2. Let u be o(6). Which is smaller: -57 or u?
-57
Let m = 2 + 1. Which is smaller: 8/3 or m?
8/3
Let y(v) = 2*v - 16. Let k be y(7). Which is greater: k or 0?
0
Suppose 2*v + 10 = 4. Let r = 2 + v. Is r at most 2?
True
Let v be -33 + (16/4 - 0). Which is bigger: v or -30?
v
Let p be 5/(15/9) - 8. Does -2 = p?
False
Let h be 2 - (3 - 2 - -2). Suppose -l - 84 = -0*l. Let a be (-4)/l*2*3. Is h at least a?
False
Suppose -4*f = 2*f - 36. Is f < 4?
False
Suppose 0 = -2*o + o - 5. Let v(q) = -q + 3. Let y be v(9). Let b = o - y. Which is smaller: -1 or b?
-1
Let q = -4.8 - -5. Let y = q + -1.2. Is y less than or equal to -1/4?
True
Let a(z) = z**3 + 5*z**2 + 5*z + 3. Let o = 11 + -4. Let x = o + -10. Let f be a(x). Which is bigger: 5 or f?
f
Suppose -12 = -4*u, 2*u - 11 = s - 2*u. Is s at most 0?
False
Let v = 17 - 9. Is -2/5 < v?
True
Let g = -2.4 - 0.6. Is g at most 0?
True
Let x be (-32)/(-5) + 4/(-10). Let c be (-2)/x + (-16)/6. Is c not equal to 0?
True
Suppose -c + 10 = c. Let g(s) = s - 2. Let w be g(6). Let t be 2 + w/((-12)/(-9)). Is c >= t?
True
Suppose -4*q = -5*q + 31. Let i be 2/(-6) + q/3. Let k be (3/(-15))/(8/i). Which is smaller: 0 or k?
k
Let n = 23 + -25. Which is greater: n or 0?
0
Let t = 452/3611 + -6/157. Which is smaller: 1 or t?
t
Let z(n) = -2*n**2 + 10*n + 3. Let u be z(8). Is u <= -47?
False
Suppose 3*r - 4 = -1. Which is smaller: 5/4 or r?
r
Let c = -1.7 - -1.8. Let f(s) = -2 - 2 + 2 - s. Let k be f(2). Which is greater: k or c?
c
Suppose 0*v + 2*v + y - 15 = 0, -v + 9 = y. Suppose r = 3 - v. Let a(c) = c**3 + 4*c**2 - 4. Let s be a(-4). Is s <= r?
True
Let l(u) = u**2 + 8*u - 21. Let i be l(-10). Is i less than or equal to 1/37?
True
Let c(b) be the third derivative of b**4/12 + 11*b**3/6 - 4*b**2. Let r be c(-5). Is -2/15 greater than r?
False
Let q = 14 + 7. Let x = q - 13. Which is smaller: 7 or x?
7
Let r(c) = c + 1. Let k be r(5). Suppose -4 = k*o - 2*o. Is o at most as big as 4/11?
True
Suppose 2*r + 3*r - 2*y - 25 = 0, -r - 2 = y. Let f be (21/r + -3)/2. Suppose 3*c + 1 = f*b, -4*b - 4*c + 11 = -1. Which is greater: 4 or b?
4
Let l be (8/(-42))/((-63804)/(-18)). Let t = l + -1525883/1786512. Let n = t + 3/16. Which is greater: n or 0?
0
Let w be (0/(-2 - 0))/3. Let o be (w - -1) + -1 + -3. Is o at most as big as -2?
True
Let d be (-2 - 3) + -5 - -5. Are d and -23/6 unequal?
True
Let j be ((-4)/(-1) - 2) + -4. Let r = 0 - 0. Are r and j unequal?
True
Suppose -3*k = -4*g + k, k - 20 = -3*g. Suppose -11 = -g*n + 14. Suppose -n = 4*w - 9*w. Which is bigger: w or -2/19?
w
Let i = -36 - -31. Suppose 0 = n - 3, 4*u + 4*n - n + 11 = 0. Are i and u nonequal?
False
Let r = -3 - -3. Suppose 2*i - 5*i + 3*p - 6 = r, 3*p = -2*i - 4. Let c be (-2)/(-5)*i/12. Is -1 equal to c?
False
Let i = 4231/6 + -59203/84. Let x = 1/28 - i. Let f = 3 - 4. Is x smaller than f?
False
Let o be (-1)/(-3 + 716/240). Is o less than or equal to 60?
True
Let h(a) = -a**3 - 5*a**2 + 2*a + 9. Let q be h(-5). Let j = -23 + 93/4. Is q at most j?
True
Let a(t) = t + 3. Let q(y) = 1. Let n(h) = -a(h) + 6*q(h). Let w be n(5). Let v be 4/10 - (-6)/10. Is w < v?
True
Let v(j) = 2*j - 5. Let q(h) = h + 14. Let p be q(-10). Let n be v(p). Is -4 at least n?
False
Let d be 0 + -3 + -1 - -3. Is d < 0?
True
Let m = -12 + 17. Suppose 2*v = m*f + 16, 7 = -0*v + v - 2*f. Which is greater: v or 17/4?
17/4
Let p = -33 - -88. Suppose 5*f + 16 = c - p, -3*f + 2*c - 44 = 0. Let n be (-3)/(-6) - (-11)/f. Which is smaller: n or -2/9?
n
Let z = -10.955 + 11. Is z less than or equal to -0.1?
False
Let i(b) = 2*b**2 + 3*b + 2. Let w be i(-1). Which is smaller: w or 3/41?
3/41
Suppose 2*q - 112 = 6*q - t, 0 = -2*q - 2*t - 46. Is q <= -27?
True
Let v = 95.01 + -94. Let u = v - 1. Which is smaller: u or -1/2?
-1/2
Suppose 0 = -5*a + 25 + 50. Let h = 2 + 0. Suppose h*w = -w + a. Which is greater: w or 4?
w
Let p be -1*1/(-1)*(-6)/(-16). Is -1 > p?
False
Let q(p) = p**2 - 3*p + 1. Let y be q(2). Which is bigger: y or -1/4?
-1/4
Let j(h) = -5*h + 6*h**2 - 3*h**2 - 2*h**2. Let w be j(5). Suppose -1 = v - w. Which is bigger: v or -5?
v
Suppose 3*g - g + 12 = 0. Let w(r) = -r**2 - 6*r + 2. Let a be w(g). Let d = 0 - -1. Is d >= a?
False
Let f(j) = -j**2 + 11*j - 7. Let x be f(10). Let a be -1*(-4 - (x + -4)). Suppose -a*v - 2*v = -25. Which is greater: v or 2?
v
Suppose 0 = -3*r + 4*r. Is r not equal to -2/73?
True
Let i(f) = -5*f**3 - 2*f**2 + 1. Let l be i(-1). Suppose 3*q - 10 = -2*s, -l*q - 3*s - 20 = -7*s. Which is smaller: -1/5 or q?
-1/5
Suppose -3*u + 1 = -2, 2*g = 2*u - 2. Let y be (354/(-1220))/(4/(-10)). Let w = -3/122 - y. Which is bigger: w or g?
g
Let x = 0.1 + -0.2. Let b = -0.1 - -0.1. Let w = b + -1. Do w and x have the same value?
False
Let h(j) = j**3 + 5*j**2 + 4*j - 1. Let a be h(-3). Suppose -5*g - 5 = a*n, -3*g = n + 2 - 3. Let u = 133 - 1465/11. Which is smaller: g or u?
u
Suppose 4*z - 35 = -z. Let m be (3 - z)*(-2)/4. Suppose 4*l + m*q = 3*q, 4*l - 4 = 2*q. Is l at least as big as 0?
False
Suppose -37 = 5*s - 3*t, 2*t - 9 = s + t. Suppose 0*z = 4*z + 16. Is z less than s?
False
Let j = 16 + -17. Which is greater: j or 2/19?
2/19
Let w = 2 - 2. Let k be 1 - (0 - (w - -1)). Are 1 and k non-equal?
True
Let j = -2/7 - -15/28. Which is greater: j or -1/10?
j
Let d be (2/3)/((-6)/(-18)). Suppose d*i + i = 24. Is 6 greater than i?
False
Let i(l) = -4*l**2 - l**2 + 4*l**2 - 5 + 8*l. Let p be i(6). Let n(t) = t**2 - 7*t. Let o be n(p). Which is smaller: o or 1?
o
Let i = -30 - -26. Let h(o) = o**2 + 5*o + 1. Let b be h(-4). Which is smaller: i or b?
i
Let w = -1040/7 + 148. Let q be (-4 - -4)*(-2)/4. Is w at most as big as q?
True
Let j be (7 + -7)*(-2)/2. Are 2 and j equal?
False
Suppose -3*m - 4 = 5. Let l = -0.3 + 0.2. Which is greater: l or m?
l
Let v = 25029/43 + -582. Which is smaller: v or 0?
0
Let n = 5 + -5.06. Let q = -3/8 - 1/8. Is q <= n?
True
Let m be 0 - 0 - 4/10. Suppose 3*g - 6 - 12 = 0. Suppose g*q = 3*q + 4*a - 16, -20 = -5*a. Is m at most q?
True
Let t(p) = -2*p**3 + 4*p**2 - 3*p + 7. Let y be t(3). Is -20 at least as big as y?
True
Suppose -5*y = 5*f - 15, 4*y = -0*y + 4*f + 4. Suppose -y*n - 15 = n. Let m be ((-3)/(-4))/((-4)/16). Which is smaller: n or m?
n
Let c = 2 - 1.2. Let r = 0.9 - c. Which is bigger: -1 or r?
r
Let v = 0.26 - 0.26. Let g = 6.6 + -0.6. Which is smaller: g or v?
v
Suppose -42 - 38 = -4*b. Suppose 2*y + 0*y + b = 0. Which is smaller: y or -11?
-11
Let v be 3 + 93*(-4)/(-24). Let m = -18 + v. Let k = 1 - 0. Which is bigger: k or m?
k
Let s = 43/18 - 805/342. Is 0 less than or equal to s?
True
Let k(z) = -z. Let g be k(2). Suppose 0 = 4*w - 5*w - 2. Is g greater than or equal to w?
True
Let k be (-4)/(-2) - (-7)/7. Let y = 3/2 - k. Which is smaller: -1 or y?
y
Let h(n) = n**3 - 4*n**2 - 6*n - 5. Let j be h(5). Are j and -8 unequal?
True
Let y = 0.9 + -1. Let u = -23.9 + 24. Which is smaller: y or u?
y
Let a = -764/475 + 56/25. Which is bigger: 0 or a?
a
Suppose 4*x = 5*v - 9 - 20, -5*x = -4*v + 34. Let s = x + 8. Suppose 3*r - 2*u - 19 = s*u, -r + 2*u + 9 = 0. Whic