 -3*(2 + (-76)/39). Let g(r) = r - 3. Let c be g(7). Let w be (-3)/(-1 + -11)*c. Which is bigger: y or w?
w
Let z = 3.9 + -4.07. Let f = z - -0.17. Which is smaller: f or 0.2?
f
Let s(q) = 2*q**2 + q - 4. Let u be s(-2). Is 1 at most as big as u?
True
Let v be (12/10)/(12/30). Suppose -v*z = 2*i + i, z - 12 = 3*i. Which is smaller: -9/4 or i?
i
Let g = 145 - 140. Is -1.1 >= g?
False
Let h be (-16)/(-12)*(60/(-8) - -3). Let s be (0 + 0)/(2 - 1). Suppose s*y = 3*y + 21. Which is smaller: y or h?
y
Suppose -4*f + y = -2*y - 62, -4*f + 58 = -5*y. Suppose -m = 3*m + 3*x + f, -4*m - 18 = 2*x. Is -4 at most m?
False
Let w = -5 + 1. Let q = -4 - w. Let c = 0 + q. Is -0.3 at most c?
True
Suppose 4*f - 30 = -b, -2*b + 3 = -f + 6. Suppose w = -3*u + f, u - 5*w = 2*u - 21. Let d be (-1 + 1)*2/(-4). Is u >= d?
True
Suppose 0*x + 9 = 2*o + 3*x, -o = 3*x - 3. Let g(r) = 2*r**2 + 18*r + 2. Let u be g(-9). Which is greater: u or o?
o
Let f = 82/147 - -2/147. Let v(z) = -z**2 + 8*z + 11. Let k be v(9). Which is greater: f or k?
k
Let d(b) = -b**3 - 5*b**2 + 7. Let v be d(-5). Let q be (-5)/2*20/(-50). Suppose 0 = r - q - 0. Is r not equal to v?
True
Suppose 3*a + 17 = 2*t, -3*a - a = 20. Suppose l + t = -2. Suppose 6 + 6 = -3*k - 2*v, 5*k - 4*v = 2. Is l at most k?
True
Let q = 9 - -4. Is q < 13?
False
Let f = 7 - 6. Let k = f + -2. Which is smaller: 2 or k?
k
Suppose 3*f - 10 = f. Suppose k = -3*a - 9, -5*a + f*k = 2 - 7. Is a bigger than 2/7?
False
Suppose o = 3*o + 112. Let j = o - -37. Which is bigger: -18 or j?
-18
Let p = -0.4 - -0.34. Let m = -0.36 - p. Let d = m - -0.4. Are 2 and d unequal?
True
Let t = -291 + 7853/27. Let z be 317/(-594) + (-4)/(-22). Let v = t + z. Which is greater: v or -1?
v
Let t = -11.01 - -0.01. Let k = 17 + t. Which is greater: 1 or k?
k
Let t = 11.5 + -15.5. Let b = -51/203 - 1/29. Which is smaller: t or b?
t
Let d(r) = r**2 - 2*r + 1. Let s be d(1). Let k = 12 - 7. Suppose -5*b = 0, -k*b = -g - b. Is g greater than or equal to s?
True
Let w = -1 + 0.2. Let y = w + -0.2. Let v = 44 + -38. Is v greater than or equal to y?
True
Suppose o = 6 + 3. Suppose y + 5*s + 15 = -0*y, -3*s - o = 2*y. Which is bigger: y or -1?
y
Suppose 16*d + 12 = 15*d. Is -5 > d?
True
Let i = -27214/6509 - -96/23. Is i at least as big as 1?
False
Let j(f) = -f + 10. Let m be j(8). Suppose 2*l - 4 = -m*l. Is 1/2 bigger than l?
False
Let t(b) = b - 2. Let u be t(6). Suppose -q = u*q. Which is smaller: 3 or q?
q
Suppose 4*d - 5*d + 4 = 0. Let a be (-1)/((d/(-6))/2). Is a smaller than 4?
True
Let x be 3 - 4 - (1 - 1)/2. Which is smaller: -9/5 or x?
-9/5
Let s be (-1)/((16/(-4))/8). Suppose -s = -5*u + 43. Is u >= 8?
True
Let a be (-2 + 64/22)/(-8). Let k = 4/11 + a. Which is bigger: 0 or k?
k
Let p be 4/(6/(-183) + 0). Let g = 737/6 + p. Is 0 > g?
False
Let f(h) = 6*h - 1. Let z be f(1). Suppose 4*u = -u - z, -5*m = -2*u + 8. Which is smaller: -2/3 or m?
m
Let k(t) = t + 9. Let o be k(-6). Let n = 5 - o. Suppose -4*w - 6 = -n*w. Is w < -2?
True
Let r be (-2 - -6)*-3 - -3. Let z be (2 + 2)/(6/r). Let i be (36/(-15))/(z/15). Which is smaller: 4 or i?
4
Let m(j) = -2*j + j - 9*j**2 + 7*j**2. Let t be m(-1). Which is greater: -1/4 or t?
-1/4
Let y(s) = -s**3 + 7*s**2 - 4*s - 6. Let i be y(6). Suppose f = -2*f - i. Let q be (-2)/(1*-22)*f. Are -1/4 and q non-equal?
True
Suppose l = -d - 0*d + 7, -d = -l - 1. Suppose l*v = -v. Suppose v = -5*q + 1 + 4. Does 2/13 = q?
False
Let i(g) = g + g - 3*g - 5. Let b be i(-4). Let f = 2024/17 + -119. Which is smaller: b or f?
b
Let g = -8 + -7. Which is bigger: -17 or g?
g
Suppose -m - 5 = 4*m. Let z be (-1 - -2) + (-32)/28. Which is greater: z or m?
z
Let a = -0.3 - -0.9. Let c = -0.46 - -0.06. Let k = a + c. Which is greater: 0.1 or k?
k
Let d(f) = -f**3 - f**2 + 2*f - 4. Let a be d(-3). Let b = 13 - a. Let z = b + -2. Is 0 <= z?
True
Let r be (-4 - -1) + 15 + -13. Which is greater: 2/5 or r?
2/5
Suppose x - 5*i = -2*i + 9, -3*i = -4*x + 9. Let b(c) = c + 8. Let u be b(-6). Let h(j) = j**3 - j**2 - 2*j + 1. Let p be h(u). Which is greater: x or p?
p
Let o = 16 - 14.8. Let p = o + -1.3. Let u = 1/21 - 23/42. Is p > u?
True
Suppose 2*i = -3*i - 10. Let l be 0 - 3/(21/i). Let v(t) = -t**2 + t + 1. Let z be v(0). Is z not equal to l?
True
Let j(z) = -z**2 - 7*z + 8. Let i be j(-7). Let c(n) = 2*n**2 + n - 2. Let d be c(-2). Suppose 5*f = 3*y + i, d*f - 6 = -2. Which is bigger: y or 0.01?
0.01
Let o = -5/3318 + 2/79. Let g = 85 - 511/6. Let r = g + o. Is r <= 1?
True
Suppose -y - 8 = -6. Are y and -13/12 non-equal?
True
Let r = -9 + 10. Let t be (9/4)/r - 0. Which is bigger: 3 or t?
3
Let o be ((-39)/(-15))/(2/(-5)) + -3. Which is smaller: -10 or o?
-10
Let d = 0.2 - 3.2. Is -20 at most as big as d?
True
Suppose -5*h = 5*v - 35, 0 = h + h + 4*v - 24. Let t be 4/((h/3)/1). Let u be 3*2 + (-8 + 6)/2. Is u at least t?
False
Let z = 0.1 - -0.1. Let d = -0.1 + z. Let t = 1.03 - 0.93. Is t at most as big as d?
True
Let j = 0.05 - -6.75. Let s = 0.8 - j. Is -2/11 > s?
True
Let u be (8/(-60))/(2/(-40)). Which is smaller: 2 or u?
2
Let m(i) = -i**3 - 6*i**2 - 5*i. Let h be m(-5). Let k be 12/(-8)*4/6. Let l be 1 - (0 - (k + 1)). Is l > h?
True
Let x = -1.3 + 1. Let p = 1.7 - x. Let v = -2 - -4. Is p at least as big as v?
True
Let f(q) = q**2 + 18*q + 15. Let i be f(-16). Is -17 at most as big as i?
True
Suppose 0 = 4*i - 0*i. Let u be -1 - (94/(-90) - i). Which is bigger: 0 or u?
u
Suppose 0 = -4*t + 12 - 0. Suppose -5*f + 21 - 1 = 0. Which is bigger: f or t?
f
Suppose -3*t = -t - 2. Let h = 52 + -53. Is t greater than or equal to h?
True
Let w(b) = b**2. Let a(x) = -4*x**2 + 7*x + 9. Let n(u) = -a(u) - 5*w(u). Let o be n(-6). Are -5/2 and o equal?
False
Let w(o) be the third derivative of -o**4/24 + o**3/3 + 7*o**2. Let a be w(-5). Which is smaller: a or 5?
5
Let q(u) = -u**3 - 6*u**2 - 2*u - 8. Let f be q(-6). Suppose 5*o + 18 = f*d + 5, -10 = -o + 5*d. Which is smaller: o or -1?
o
Let u = 10/3 - 3. Suppose d + 16 - 4 = 0. Let r be (45/d - -1) + 3. Which is greater: u or r?
u
Let a(h) = 4*h - 3. Let p be a(3). Is p < 8?
False
Let y = -2481/1045 + 26/11. Which is smaller: y or 1?
y
Let f be -2*1 - 24/(-10). Is f bigger than 1/2?
False
Let d be 2*7/(-2)*-1. Are 5 and d equal?
False
Let r = -18 - -33. Is r less than or equal to 13?
False
Let h(u) = -7*u - 1. Let r(z) = z. Let g be r(1). Let p be h(g). Does -8 = p?
True
Suppose 0 = -2*u + 5*u - 27. Let h = 4 - u. Is -4 >= h?
True
Let c be (-1)/((0 + 1)*-1). Suppose 8*i - 4 = 12*i. Which is smaller: c or i?
i
Let l(f) = -f**2 + 4*f + 9. Let d be l(5). Let g(y) = -2*y - 12. Let p be g(-8). Is d at least as big as p?
True
Let p(g) = 4*g + 3 + 0*g - 5*g - 1. Let w be p(4). Is w bigger than -1/8?
False
Let l = -8 + 8.3. Let b = l - -0.2. Let s = -1.5 - b. Which is smaller: -2/5 or s?
s
Let n be (-2)/3 - (-40)/6. Let d be (n/(-742))/((-2)/(-73)). Let s = -1/106 - d. Do s and 4 have different values?
True
Let s be 0/(-8) + 1 + 1. Suppose 3*m + p + 0*p = -1, -3*m + s*p + 11 = 0. Which is greater: m or -4/13?
m
Let p(k) = -k**2 - 8*k - 49. Let s be p(-8). Which is smaller: -50 or s?
-50
Let p = -2.02 - -0.02. Let x = 1.14 - 1.3. Let c = -0.06 - x. Is p bigger than c?
False
Let g = 4 - 9. Suppose -3*j + 6 + 9 = 0. Suppose -2*q + 2*b = -b - 13, -j*q + 2*b + 5 = 0. Which is smaller: q or g?
g
Suppose -4*l - 4 = -0. Which is greater: 2/45 or l?
2/45
Suppose 1 = u + 6. Which is smaller: -6 or u?
-6
Suppose -5*v - 68 = 4*a + 22, -a - 2*v = 24. Let b be ((-16)/(-360))/((-2)/a). Which is smaller: b or 1?
b
Let h = 17 - 22. Which is smaller: -6 or h?
-6
Let u(x) = 4*x**3 + 3*x**2 + 3*x + 1. Let l be u(-1). Suppose 5*j = 2*h - 28, 4*j + 0*j = 2*h - 24. Is l > j?
True
Let h = 2 - 3. Let m = 4 + 2. Let t = 5.7 - m. Are t and h nonequal?
True
Let w be (4/(-6))/((-65)/(-39)). Suppose -2*t = 5*z + 12, 0 = t - 5*z - 0 - 9. Let n be (0 - 0) + t - 0. Are w and n non-equal?
True
Let a = -8 - -24. Let j = a - 22. Which is smaller: -7 or j?
-7
Let a be (-56)/24 - (-2 + 1)/3. Is a bigger than -4?
True
Suppose q = -10*q - 1441. Which is greater: -1 or q?
-1
Let z be 1*(-3 + 2 + 0). Let m(l) = l + 4. Let o(c) = c - 2. Let y be o(-3). Let r be m(y). Is r not equal to z?
False
Let l = -7 - -4. Let u = l - -2. Is -3/2 a