t p = 4 + t. Let k = 0 - 0. Which is smaller: k or p?
p
Let i = -1/43 + 89/129. Which is greater: i or 8?
8
Let z be 6/(-20)*(10/5 - 17). Is z at least 4?
True
Suppose -19*t + 9*t = -450. Which is greater: t or 44?
t
Let w be (-564)/(-730)*1/2. Let k = w + 1/73. Which is smaller: 0 or k?
0
Suppose -6*f = -f. Which is smaller: f or 1/14?
f
Let a = 14 - 8. Let h be (-3)/a + (-5)/14. Is -1 bigger than h?
False
Let g = -5 + 4. Let s = 5 - 5.02. Which is smaller: s or g?
g
Let v = 0.4 + -0.5. Is 9/7 less than v?
False
Let i = -20 - -17. Let z be i/9 - (-1 - 0). Is z at least -8?
True
Let s be ((-266)/14)/(1/(-5)). Which is bigger: s or 94?
s
Let p = 6 + 8. Which is smaller: 12 or p?
12
Let k = 0.03 + -4.33. Let l = -4 - k. Let z = l + -0.5. Which is bigger: -2 or z?
z
Let p = 5/19 - 16/133. Which is smaller: -2/13 or p?
-2/13
Suppose r + 7 = 32. Suppose 5*v - v - 8 = -3*i, -5*i + 5*v = -r. Suppose -i*g = 14 + 6. Which is smaller: -4 or g?
g
Let w be (-14)/63 + 11/9. Suppose t - 5 = -w. Let n be (3*(1 + 0))/t. Which is bigger: 1 or n?
1
Suppose -3*i + 8*i = 30. Suppose -3*j = -i*j + 6. Let x be (1 + -1 - 0)/j. Is 2/3 less than x?
False
Suppose 5*x - 3*j - 113 = 0, 4*x + j = 5*j + 92. Are 22 and x unequal?
False
Suppose 0 = -d + 4*d - 6. Suppose -u = -8 + d. Let m = 2 - u. Is m < -4?
False
Let r(a) = -a**2 - 5*a - 4. Let p be r(-4). Let o be 0/(-1) + 2/(-34). Which is bigger: o or p?
p
Let q = -44.9 + 45. Which is smaller: 6 or q?
q
Let h = -32 + 33. Which is smaller: 2 or h?
h
Suppose -3*o + 3*b + 9 = o, -15 = 5*b. Let m be (-1)/3*(-18)/2. Suppose -3*g - 4*s - 3 = 0, 3*g + 2*s = -o - m. Do g and -3 have the same value?
False
Let g be 8 + 1 - 1/(-1). Let s be (-16)/(-12)*(-6)/(-4). Suppose -10 = s*v + 5*h + g, 3*v - 5*h = 20. Do 2/7 and v have different values?
True
Let w(c) = c - 8. Let b be w(8). Suppose 5*t = -b*t - 10. Does -4 = t?
False
Suppose 5*d - d - 4 = 0, -4*y + 5*d - 53 = 0. Is -12 not equal to y?
False
Let s = 0.3 + -0.2. Let p = 430.3 + -432. Is s at most as big as p?
False
Let v be (-10)/60 - (-89)/(-6). Is v at least -15?
True
Suppose -2 = 4*o - 5*o. Suppose 3*g - 1 = -o*z, -4*g - g + z + 6 = 0. Let r = 2 - 0. Is r < g?
False
Let g be (-3*24/(-45))/(6/270). Which is smaller: g or 73?
g
Let w be 8/6*9/6. Let x = w + -1. Which is smaller: 2/11 or x?
2/11
Let d(x) = -4*x - 2. Let s be d(-4). Let j = s - 12. Which is smaller: -0.1 or j?
-0.1
Let q be (1*-1)/((-3)/15). Suppose 4*z = q - 1. Which is smaller: z or 3?
z
Let l = -558/5 - -112. Let u = 1/15 - l. Is -0.7 bigger than u?
False
Let y(c) = c**2 + 13*c + 11. Let b be y(-12). Which is greater: -1/17 or b?
-1/17
Suppose -3*q = 21 + 6. Is -9 >= q?
True
Suppose 5*h = -3*i + 13, -2*i + 3 = h - i. Is -3 not equal to h?
True
Let w be 245/3525 + 6/(-45). Does w = -1?
False
Let r be 116/(-36) - 6/(-27). Suppose -q - 4*q + 20 = 5*t, -17 = -5*t - 2*q. Let w = t + -5. Which is greater: r or w?
w
Let q be (8 - 9)*2/(-1). Is 1 not equal to q?
True
Let j be (-2)/(-30) + 8/24. Which is smaller: j or 3?
j
Let x = 52925305 + -133848099173/2529. Let p = x - -2/281. Are p and 0 nonequal?
True
Let f be ((-4)/6)/2*0. Do f and -1/16 have the same value?
False
Let o = -1 + 1. Let y = 6 - 12. Let v be (2/y)/(5/(-6)). Which is greater: v or o?
v
Let m = 0.1179 + 62.9821. Let o = 67 - m. Let s = -4 + o. Is s > 0.1?
False
Let v be 18/(-84)*(-12)/9. Which is bigger: -6/5 or v?
v
Suppose i - 14 = -3*g, -26 = 3*i - 5*g + 2. Let v be 33/39 + 1*i. Is -1 >= v?
False
Let s be 1 + -8 - (-5 - -1). Is -1 bigger than s?
True
Let p be 2/(-405)*(-15)/36*3. Do -1 and p have the same value?
False
Let c(u) = u**3 + 4*u**2 - u - 5. Let a be c(-4). Which is greater: 0 or a?
0
Suppose 0 = -5*u + 9 + 1. Which is greater: u or 3/4?
u
Let l = 167/20325 + 5/271. Let j = 21409/13350 - 154/89. Let w = l + j. Are w and 1 equal?
False
Let n = -17 - -20. Which is bigger: n or 2?
n
Let s = 2 - 2. Let c be (-24)/18 + (-1)/(-3). Let i be c/(-2*3/(-6)). Is i not equal to s?
True
Let a = -41 - -39.3. Let m = a - 0.3. Which is smaller: m or 0?
m
Let x = 7 + -7. Let j be (-60)/8*(-1)/9. Which is smaller: j or x?
x
Let z = 2 - 2. Let r be (-18)/(-24) - 3/4. Is r at most as big as z?
True
Let b(v) = 3*v**2 + 3*v + 2. Let l(w) = 9*w**2 + 8*w + 5. Let g(y) = -8*b(y) + 3*l(y). Let f be g(-1). Suppose 3*d - f*d = 0. Is 0 at most as big as d?
True
Suppose -17 + 15 = -n. Suppose k = -n*k. Which is smaller: k or 6/11?
k
Let l be -4*(-6)/1308*1/(-2). Which is smaller: l or 0?
l
Let m be -4 - (0 + 2 - 2). Let g be m/8 + (-1)/2. Let p be -3 + (-18)/(-4) + g. Which is smaller: p or 1?
p
Let b = -4.02 + 0.02. Let d = b - -3.6. Let f = 60 + -61. Is f bigger than d?
False
Let w be (-99)/4 - (-2)/(-8). Let v be (-44)/(-10) - 15/w. Is 5 at least as big as v?
True
Let z be (-15 - -4)/(4*(-1)/(-16)). Is z >= -44?
True
Let p = -183/2 - -17023/186. Is 0.2 < p?
False
Suppose -3*o - 11 = 3*i - 4*o, -2*i - 6 = -2*o. Let g be i/((-28)/9) - 1. Which is bigger: 0 or g?
g
Let r be ((-4)/6)/((-14)/819*3). Let u(y) = -y**2 - 9*y - 6. Let k be u(-6). Are k and r unequal?
True
Suppose -4 = 2*m - 32. Let n = 17 - 2. Which is smaller: n or m?
m
Let n(x) = -x**3 + x**2 - 1. Suppose -5*p + 4*y - 8*y = -25, 4*p = -y + 9. Let s = -2 + p. Let g be n(s). Which is smaller: g or -2/17?
-2/17
Suppose -5*x = -4*t - 16, 12 = 5*x - 2*t - t. Suppose x = -2*o - 0*o + 2. Let n be 1*2 + 12/(-5). Which is smaller: o or n?
n
Suppose 3*v + 5 = -1. Is 0 smaller than v?
False
Suppose 4*p - 5*j = 28, -3*p - 4*j = -4*p + 18. Suppose m + 0 = p. Let r be (-8)/10*(-6)/8. Is r < m?
True
Suppose -b - 3*b = -4. Let w be 4/22 - 108/231. Which is smaller: b or w?
w
Let r(o) = o + 3. Let n be r(-6). Let w(l) = 6 + 2*l - 4 + 0*l - l. Let z be w(-5). Is z smaller than n?
False
Let n be (1 - 2) + 0 + 4. Let z = -8 - -16. Let v = z - 6. Are n and v unequal?
True
Let c = 1 - 10. Is -10 <= c?
True
Let o(g) = g + 1. Let u be o(4). Suppose -3*m = 2*m + u. Let r be (-6)/15*(-5)/7. Is r greater than m?
True
Let q be (4/(-3))/(1/(-3)). Let o = 6 - 13. Let a = 10 + o. Are q and a non-equal?
True
Let p be 1 - 0 - 33/27. Let u be 3 - 0 - 10/5. Is p less than u?
True
Let y(i) = i**2 + 6*i + 3. Let c be y(-5). Let a be (-10)/(-2) - (1 - 1). Suppose -4 = -z - a. Is c equal to z?
False
Let v be (-3 - -2) + (-6)/(-2). Suppose -3*y + 2 = -4. Suppose -2*z = 5*s - 1, s + 4*z = -5 - y. Which is greater: s or v?
v
Let b be -1 + (1*-3)/(4 - 5). Do b and 11/9 have different values?
True
Let x = -10/9 - -4/9. Is x at most -2?
False
Let w = -9 - 1. Let n be (-1)/6 + w/12. Which is smaller: -3 or n?
-3
Suppose y + 4 = 20. Which is smaller: y or -2?
-2
Let d be (-1)/(1 + (-3 - -3)). Let x be 5/((-30)/8)*-3. Suppose 0 = -i + x*i + 6. Is i less than d?
True
Let r = 234 - 1877/8. Is 0 at least as big as r?
True
Suppose 4*w - u - 81 = 0, 1 = -w + 5*u + 26. Suppose -3*h - w = 2*h, -6 = 5*l - h. Let b = -2 + 1. Do b and l have different values?
True
Suppose 0*g = g + 17. Which is greater: g or -16?
-16
Let y = 0.38 + -0.48. Suppose 2*n + 4*j + 1 = 5*n, 5*n + 10 = -5*j. Let p = 4 + n. Are p and y unequal?
True
Suppose 2*o = -o. Suppose o = -5*k + 24 - 9. Suppose r = k*r. Which is bigger: r or -1/4?
r
Let q be (-2)/4*-18*(-1)/3. Let c = -1/26 + -19/13. Is q bigger than c?
False
Let n = 50 + -50. Which is greater: n or -51?
n
Let h(a) = a + 1. Let l be (-1 - 0)/(3/(-12)). Let p be h(l). Suppose 0 = 5*c - 4 - 1, 5*c + p = 5*t. Which is greater: 1 or t?
t
Let z = -5 + 5. Suppose 2*t + d + 7 = z, 2*t = -2*d + 1 - 13. Let u = 0 + 0. Which is smaller: t or u?
t
Let b be 123/33 + (4 + -9 - -1). Is -1 less than b?
True
Let m = 14 + -7. Let z = 5 - m. Let c = -0.1 - -0.1. Which is smaller: z or c?
z
Let f(o) = o**3 - 11*o**2 + 10*o + 4. Let p be f(10). Let l = p - 3. Are 1 and l nonequal?
False
Suppose m - 4*v = 0, -5*m - 5*v = -10*m - 30. Is -33/5 less than or equal to m?
False
Suppose -3*d + 15 = a, a + 2*d - 5*d = -15. Let t = 0 + a. Is t <= 2/3?
True
Let c be (-2)/6 - (4/(-12) + 0). Let x = 549/10 - 55. Which is bigger: x or c?
c
Let k = 3 + -2. Suppose 13*z - 8*z = 0. Which is smaller: z or k?
z
Let t be 1 + 0 + (0 - 2). Let i be (-72)/88 + 2/2. Is t at least i?
False
Suppose 2*h - 23 + 7 = 0. Let b = h - 4. Suppose 2*t = 5 + 1. Which is smaller: 