41*t. Which is bigger: g or t?
t
Let l = -9 - -6. Let y be -1*1/l*-3. Let b = 0 - y. Which is greater: 2/7 or b?
b
Suppose 0*h = 5*h. Let s(w) = -2*w + 8. Let c be 4 + -5 + (0 - -7). Let j be s(c). Which is smaller: h or j?
j
Let a = 97/2 + -675/14. Is 0.03 >= a?
False
Let z be ((-1)/((-5)/2))/(-2). Let m be (15/3)/(2 - 1). Let k(p) = -p**3 + 5*p**2 - p + 4. Let o be k(m). Are o and z equal?
False
Let u = 0.04 + -0.01. Let z = 0.07 + u. Which is bigger: -8 or z?
z
Suppose 2*k = -3*x - 0*k + 14, 0 = -x + k + 13. Are -0.3 and x non-equal?
True
Let b = -0.03 - -0.03. Let o be (9/4)/(33/(-6) - -4). Which is smaller: o or b?
o
Let w be (-4)/((-8)/38)*(2 - 1). Which is smaller: w or 17?
17
Let l be -1*1 - 0/8. Are -2/27 and l unequal?
True
Suppose -3*h + 5 = -y, -5*y + 0 = -5. Let u = 8 + 4. Let g = u - 12.2. Which is smaller: g or h?
g
Let r(h) = h. Let q be r(1). Let s = -225/7 - -1273/42. Let z = s - -25/12. Which is smaller: z or q?
z
Let d = 49.36 + -55.3. Let v = 6 + d. Which is smaller: v or 1/3?
v
Let x = -0.06 - 0.04. Which is smaller: x or 3/4?
x
Let v(c) = -c - 1. Let f be v(-2). Let z = -1.9 + 4.1. Let l = z - 2. Which is bigger: f or l?
f
Let t = -70 + 61. Does -7 = t?
False
Let d = 1 - 0. Let c = -2/4947 + -1736387/24735. Let w = -70 - c. Is w smaller than d?
True
Suppose -7*n + 2*n + 20 = 5*s, 4*n = -2*s + 12. Which is smaller: 32 or n?
n
Let o(d) = -d - 10. Let c be o(-6). Let u be (2 - 3)*c/8. Is 2 at most as big as u?
False
Let u = -38/21 + 8/7. Is -1 at most u?
True
Let q be 0 + -1 + (-45)/(-51). Suppose -2*y = -4*y. Which is smaller: q or y?
q
Let m be (-3)/(-2)*40/(-380). Do m and 1 have the same value?
False
Let m = -5 + 9. Let g = 6 - m. Let t = 0.7 - 0.9. Which is bigger: t or g?
g
Suppose 5*m - 40 = -r, 4*r - 7 = 2*m - 5*m. Let q = -6 + m. Which is smaller: 2 or q?
2
Let l = 11.9 + 3.1. Let j = 0.032 - -0.068. Which is smaller: j or l?
j
Let y be 6/8 + 228140/(-285008). Let a = 3/379 + y. Is 1 at least as big as a?
True
Let c = -40 + 40.1. Which is bigger: -4/7 or c?
c
Let y(a) = -a**2 + 4*a + 4 + 0*a**2 + 0*a**2. Suppose 3 = -3*w + 18. Let s be y(w). Which is smaller: -1/3 or s?
s
Let q = 0.2 + -0.14. Let s = -0.2 + 0.66. Let l = q - s. Is -2/5 smaller than l?
False
Suppose 0 = 2*t - 1 + 7. Let p(k) = k**2 - 1. Let y(u) = 5*u**2 + 7*u + 2. Let z(x) = 4*p(x) - y(x). Let q be z(-6). Is t less than q?
True
Suppose -5*v - 1 = 4. Do v and 2 have the same value?
False
Let q(t) = t**2 - 2*t + 2. Let j be q(4). Let b = j - 11. Which is greater: -2/13 or b?
-2/13
Let r = -58 - -31. Do -27 and r have different values?
False
Suppose 5*c + 8*c = 3*c. Which is greater: -47 or c?
c
Let j = -35/66 - 3/22. Is j >= -1/3?
False
Let r = -0.03 + 0.23. Let f = -2.54 + -0.52. Let c = 0.06 + f. Which is smaller: c or r?
c
Let n(o) = -67*o - 3. Let j be n(3). Let t be 6/15 + j/10. Let q be 4/10 + 8/t. Does 2/5 = q?
False
Suppose 6 = 5*o + 11. Which is smaller: o or -6/7?
o
Suppose 4*o - 5*i = 92, o - 2*o + 40 = 3*i. Let u be o/2 - (-5 - -7). Suppose 0 = -0*g - 3*g + u. Are g and 3 unequal?
True
Let q be (-2)/(-1) - (1 + 1). Let u = -11 - -14. Is u greater than or equal to q?
True
Let y = -0.1 - -0.3. Let z = 0.08 - -0.02. Let h = z - y. Which is bigger: 3 or h?
3
Let t be 40/15 - 2/3. Suppose u + 4*u - 5 = -5*n, t*n - 2*u - 2 = 0. Is 1/4 at most as big as n?
True
Let j = 11 + 10. Suppose j = 2*c - 5*c. Let o = c + 5. Is 1/3 equal to o?
False
Let t be ((-5)/15)/(1/3). Which is smaller: 2/17 or t?
t
Let p be (2/(-65))/((-2)/(-10)). Suppose 3*l - 6*l - 12 = 0. Let w be ((l - -2) + 4)/2. Which is smaller: p or w?
p
Let w = -134 - -672/5. Let n(p) = p. Let s be n(-1). Let m be (6/(-24))/(s/(-2)). Is m > w?
False
Let s = -0.4 - -1.5. Let g = 0.02 - 1.02. Let b = s + g. Which is smaller: b or -1/10?
-1/10
Suppose -4*b + 133 = -3*w, 4*b - 3*w - 132 = w. Is b at most 34?
True
Suppose 0 = 2*r + 2*m + 8, -3*r + 4*r + 5*m + 16 = 0. Is -2/5 at least r?
True
Let u = -4 - -13. Let h = -9.06 + u. Does h = -0.1?
False
Let a be ((-4)/(-2))/2*2. Let h be 1/(-5) - 94/480. Let u = h - -33/16. Which is bigger: u or a?
a
Let s(n) = n**2 + 3*n - 1. Let p be s(-3). Let b be (3 + p)*2/(-24). Let h = -1 + 2. Is b at most as big as h?
True
Let r = 27 + -16. Is r <= 13?
True
Let c be (-2)/3 + 7/(-3). Is -3 at most as big as c?
True
Let s be 2/3*(-330)/(-20). Is 12 bigger than s?
True
Suppose -8*b = -3*b. Let z = 0 - b. Let d = -1 - -2. Is z bigger than d?
False
Let s = -0.06 - -0.03. Let l = 111.03 - 109. Let p = s + l. Is 0.2 at most as big as p?
True
Let u = 1 + -1. Suppose 3*x - 7 = -2*n, -x + 3*x + 3*n = 3. Suppose 8*i = x*i. Are i and u unequal?
False
Let i be (4/(-111))/(10/(-15)) + 0. Which is smaller: i or -3?
-3
Suppose -3*r = r - 40. Let t be (-5)/r + (-7)/(-2). Let u be (t + 0)/12*1. Is u at most as big as -1/4?
False
Let m = -2 - -7. Let x(t) = t**2 - 6*t + 5. Let j be x(4). Let z be (2/(-6))/(j/36). Which is smaller: m or z?
z
Let k = 5.7 + -6. Let b = k + -0.1. Let j = -0.4 - b. Is -2/5 != j?
True
Let x = -5 + 2. Let s be x/(-2) + (-6)/24. Which is smaller: 1 or s?
1
Let i be (-60)/35*(-1)/(-20). Which is bigger: 0 or i?
0
Let u be ((-12)/(-10))/((-6)/20). Let s be (-10)/35*(-6)/u. Which is bigger: s or 0?
0
Let d = 19 + -12. Is d at least as big as 1/2?
True
Let f = 57 + -40. Which is greater: 20 or f?
20
Let w = 0.6 - -1.4. Let n = 3 - w. Let l = 0.6 + -0.4. Which is smaller: l or n?
l
Let b = 466 - 465. Let g(f) = 5*f. Let j be g(-1). Let n be (1/(-3))/(j/3). Is b less than n?
False
Let t(r) = 3*r**2 + 8*r - 3. Let l be t(-3). Do 1/21 and l have the same value?
False
Let u(b) = 4*b**2 + b - 1. Let h be u(1). Suppose w - 5*w + 4*p = -20, 4*w + 4*p + h = 0. Suppose 0 = w*n + n. Is n greater than -3/4?
True
Let i = 13/24 - 5/12. Let x = -1 + 1. Let m = x + -2. Do m and i have different values?
True
Let o = 33 + -60. Are 0 and o equal?
False
Let o = -7 + 8. Let c be (2/32)/((-2)/12). Is c equal to o?
False
Let q be ((-8)/(-10))/(1/5). Suppose 2 = d + q. Let a be (-1)/(-2*(-4)/8) - 2. Does a = d?
False
Suppose 0 = -z - 3 + 2. Let x be z - (-3)/(-1 + 4). Which is smaller: 1/4 or x?
x
Let n = 103673/352 - 299/32. Let h = n + -285. Let z(p) = -p**2 - 5*p - 1. Let q be z(-5). Is h != q?
True
Suppose -c = -5*h - 36, 0 = -5*h + h - c - 27. Let w = h + 14. Which is bigger: -1 or w?
w
Let t be -3*2/(6/(-9)). Let s = 10 - t. Is 1/6 less than s?
True
Let d(z) = 13*z**3 + 12*z**2 - z + 4. Let o(k) = -7*k**3 - 6*k**2 + k - 2. Let s(q) = 6*d(q) + 11*o(q). Let t be s(-5). Let h be t/11 + (-26)/22. Is 0.1 <= h?
False
Let n be (-4 - 3) + -1 - -1. Is -15/2 less than n?
True
Let g be 0/3 - (3 + -5). Let j be (15/(-10))/(g/(-8)). Suppose 0 = -0*d + d - 5. Is d <= j?
True
Suppose -5*r + 1 = -4. Let z(a) = 4*a**2 + 6 - 5*a**2 - 7*a + 2*a. Let s be z(-6). Which is greater: r or s?
r
Let j be 1/(-3) - 3/(-15). Let g(z) = z + 9. Suppose -4*y = 3 + 29. Let h be g(y). Does h = j?
False
Suppose 0 = -u + 2*u + 5*p + 3, -u = p - 1. Let v be (3 - 1 - u)*-1. Is -6/5 >= v?
False
Let j = -16 - -22. Let n = -5 + 8. Let m = n - j. Are m and -2 equal?
False
Let c(x) = 2*x - 1. Let s be c(-3). Let k(i) = i - 2. Let g be k(-5). Is s <= g?
True
Let g = 1 - 0. Which is bigger: 1/3 or g?
g
Let n be (-3 + 1)*28/8. Let y = 2 - n. Let s = 6 - y. Is -1 < s?
False
Let q be (-5)/(-5) - (-4)/(-8). Suppose -2*x + 0*i = -5*i - 15, 0 = x + i + 3. Suppose 2*v + 8 = x, 5*m + 2*v - 6*v = 16. Which is smaller: m or q?
m
Let k be 2 + -2 - (2 - -4). Which is greater: -4 or k?
-4
Let b = 55 + -94. Is -37 at least as big as b?
True
Let v be ((-246)/70)/3 - -1. Is v less than or equal to 1?
True
Suppose -3*c + 4 = -x, 4 = x + 2. Suppose 0 = -3*u - u + c*m - 10, 3*u + 10 = 2*m. Is u smaller than -0.04?
False
Let n = -2.8 + 0.2. Let j = n + -0.4. Is 4 < j?
False
Let j(g) = g**3 - 11*g**2 + 6*g + 14. Let s be j(9). Does -95 = s?
False
Let r = 87/7 + -562/21. Which is greater: r or -13?
-13
Let q be (-4)/(-12) - 95/(-45)*-21. Is -42 < q?
False
Suppose r + 3 = -3*k, -3 = 5*k - 5*r + 22. Suppose 3*x + 4*d + 8 = 5*x, -x - 5*d - 3 = 0. Suppose -4*v + 2*j = 6, x*j - 5*j - 27 = 3*v. Is k not equal to v?
True
Let j be (-32)/(-14) + (-6)/21. Suppose -4*y + j = -2*y. Let f = 31 - 92/3. Which is smaller: y or f?
f
Let n be 4/14*(-3