ppose 0 = -4*y + y. Which is bigger: 4/21 or y?
4/21
Let d(f) = -f**2 - 6*f + 10. Let a be d(-7). Suppose 0 = b + a*b + 16. Is b > -5?
True
Let z = 7 + -5. Suppose -3 = y - z. Suppose 3*s = -4*s. Which is bigger: y or s?
s
Let p be ((-4)/(-6))/((-1)/(-24)). Let g = p + -65/4. Suppose 0 = 3*a - 0 - 3. Is a <= g?
False
Let k be 2 - ((-25)/(-4) - 4). Is k at least -2/7?
True
Let f(q) = q**3 + 9*q**2 - q - 3. Let r be f(-9). Let x be (r/(-18))/(2/(-72)). Is x <= 10?
False
Let w be (-2 - 16/(-6)) + (-6 - -9). Do w and 3 have the same value?
False
Suppose -2*i + 4 = -2*v, 14 + 8 = -4*i - 2*v. Let g(p) = 2*p - 1. Let j be g(-1). Let r be (2 + i)/((-6)/j). Is -1 smaller than r?
True
Let h = 114 + -11. Is h smaller than 104?
True
Let t(p) = p**3 + 3*p**2 - 3*p + 5. Let z be t(-4). Let h be (-120)/66 - (-1 - z). Let o = -8 + 7. Which is smaller: o or h?
o
Let z(v) = -v**2 + v. Let g be z(2). Let s = g + 2. Which is smaller: s or 9/8?
s
Suppose 1 = -2*u + 3. Let a(t) = -t**3 + 5*t**2 + 5*t + 4. Let d be a(6). Let p be 1 + -1 - d/(-5). Is u at least as big as p?
True
Suppose -12 = -l - w + 9, -4*l - w = -69. Let j = l - 13. Is 2 bigger than j?
False
Suppose 2*d + 3*s = 2*s - 16, 2*d + 16 = 3*s. Do d and -9 have the same value?
False
Let b be 4*(4 + -3)*-1. Let q be (52/(-16))/(1/b). Let i = q + -9. Is 2 smaller than i?
True
Let o(v) = -2*v + 26. Let n be o(11). Suppose 8*z = 12*z + n. Do -1 and z have the same value?
True
Let t = 97/30 - 12/5. Which is smaller: 2 or t?
t
Let k = 6 + -8. Let w = 44/141 - -1/47. Let q = 2/3 - w. Which is smaller: k or q?
k
Let d(c) = c**3 + 7*c**2 + 5*c - 7. Let b be d(-6). Suppose 2*h = -4*l + 44, 8 - 24 = 4*l. Let v be (3/h)/((-2)/8). Is b less than v?
True
Let c be -4 + (20/(-28) - -5). Is c != 0?
True
Let b = -2 - -2.1. Let u = 14 - 10. Let t be (-1)/u - (-8)/8. Is t bigger than b?
True
Let x = -0.3 - 2.7. Is -12 bigger than x?
False
Let c = 10573/8610 + -121/82. Let q = -8/21 - c. Let i be -1 + 2 + 0 - (0 + 2). Is q smaller than i?
False
Let r = -5 + 3. Suppose -3*i - i = 8. Is r at least i?
True
Let a be 5 + 44*2/20. Which is smaller: a or 10?
a
Let b be (-18)/(-52) - -3*10/195. Which is smaller: -34 or b?
-34
Let d = -30.9 - -31. Is d < -23?
False
Suppose 0 = 5*n - 4*n - 4, -3*n + 24 = h. Which is smaller: 1 or h?
1
Let q(g) = 4*g**3 + g**2 + g + 1. Let t be q(-1). Let z = 22 - 26. Let r = t - z. Are r and 1/5 equal?
False
Let u be 2 + -3 + 2/2. Is -3 at least as big as u?
False
Suppose h = 4*s - 8, -h = 3*s - 2*h - 5. Let w be ((-12)/(-9))/(s/446). Let z = w - 198. Which is greater: -0.1 or z?
z
Suppose 0 = 4*z - 3*z. Let l(o) = -o**2 + 4*o - 2. Let g be l(4). Let f be g/1*(-2)/10. Do f and z have the same value?
False
Suppose 4*q + 4*y - 3 = 9, -2*q + y = -9. Suppose 15 = v + q*v. Suppose -v + 1 = -2*i + z, -5*z + 32 = 4*i. Which is smaller: 3/2 or i?
3/2
Let g = 3.28 + -3.3. Let v = -0.07 + -0.13. Which is smaller: g or v?
v
Let o be 8/40 - (-96)/(-5). Is o less than or equal to -21?
False
Suppose o = -0*o + 4. Which is bigger: o or 6?
6
Let m = -2 + 11. Let y be (-2)/m + 114/27. Which is smaller: y or 3?
3
Let f(g) = g**3 - 2*g**2 - 3*g - 3. Let k be f(3). Suppose 0 = -5*b + 17 - 2, 5*q - b + 8 = 0. Let x = -3 + q. Is x bigger than k?
False
Let m be -2 - -1 - (-4)/(-6). Is m greater than or equal to -1?
False
Suppose 3*h + 2*o - 5 = 0, 2*o = -0*h + 3*h + 11. Which is smaller: h or -1/18?
h
Let u = 0.71 + -0.7. Let f = u + 3.99. Let b = f - 3.8. Is -1 < b?
True
Let m(a) = -a**3 - a + 1. Let v be m(0). Let c be -17*(1 - 2) - v. Let l be (1/4)/((-18)/c). Which is smaller: l or -1?
-1
Let c = 10 + -13. Which is greater: 1 or c?
1
Let y = 1.3 + -11.3. Let h = 7 + y. Which is smaller: 2 or h?
h
Suppose -3*r - 9 = 3. Is -1 equal to r?
False
Let l = 4439/34026 + -20/159. Is 1 < l?
False
Suppose 0 = -4*x, -5*x - 104 + 11 = 3*g. Is g greater than or equal to -29?
False
Let n = -0.02 - -0.62. Let d = n + -0.58. Let w = d + -0.32. Which is smaller: -2 or w?
-2
Let q be ((-2)/(-3))/((-14)/357). Do -17 and q have the same value?
True
Let t = -2.3 + 11.3. Let p = t - 10. Is p < -3/4?
True
Suppose -15 = g + 3*g - y, -g = -3*y + 12. Let f be (g - -2)/(0 - -1). Which is bigger: 1/5 or f?
1/5
Let a = -4 - -3.6. Let t(g) = g + 3. Let h be t(-4). Which is greater: a or h?
a
Let b be (33/16)/11 + -1 + 1. Is 1 less than b?
False
Let u(g) = g - 5. Let c be u(5). Suppose 1 = -c*r + r. Is 0 bigger than r?
False
Let s be 3 - 2/((-4)/2). Suppose -2*w + s = -4*w. Let x be (w/10)/((-24)/(-20)). Which is greater: -1 or x?
x
Let h = 2.5 - 1.5. Let n = h + 1. Which is smaller: 0.4 or n?
0.4
Let i be 2/(-2) + (-23)/(-22). Is i <= 1?
True
Let q(u) = -u**2 - 9*u + 4. Let g be q(-8). Is g bigger than 12?
False
Let z = -0.83 + -0.17. Are z and 0.09 unequal?
True
Let p(u) = -20*u**2 + 3*u - 9. Let a be p(6). Let s be a/63 + (-4)/(-14). Do s and -11 have the same value?
True
Suppose -n - 8 = -3*k, -4*n + 14 = 2*k - 10. Suppose u + 29 = 4*y - k*u, -4*u - 25 = -5*y. Which is smaller: y or -2/15?
-2/15
Let d = 211 + -211. Let r(v) = v**3 - 5*v**2 + 5. Let i be r(5). Does i = d?
False
Let p = 11.9 - 12. Let g = p - -10.1. Which is bigger: g or 1?
g
Let w be 10/(-30) - (-4)/(-6). Let n = w - -5. Is n smaller than 3?
False
Suppose i = -5, 24 = -3*m - i - 20. Which is bigger: 1 or m?
1
Suppose m = s - 2, 0 = 4*m - 0*s - 5*s + 8. Let w be (m/10)/((-2)/(-4)). Which is smaller: w or 1/3?
w
Let m(k) = -4*k + 11. Let v be m(3). Let z be 14/(-20) + (-2)/4. Which is bigger: z or v?
v
Let z = 0.3 + 1.7. Which is smaller: -2 or z?
-2
Let o = -67 + 125. Suppose -3*t - 16 = -o. Is 15 not equal to t?
True
Let v = -32 + 32. Which is greater: v or 5?
5
Suppose 4*f + f = f. Does f = -6?
False
Suppose 0 = 3*n + 4 - 16. Which is smaller: 1/3 or n?
1/3
Suppose 3*j + 24 = 9*j. Suppose -q + 2*c + 3 = 0, -2*c - 8 = 2*c. Let g = j - q. Is g <= 6?
True
Let h = -5918/7 - -844. Which is bigger: h or -1?
-1
Let m(u) = -11 - 1 + 3*u - u. Let r be m(9). Let w = 7 - r. Which is smaller: 2 or w?
w
Let r = -0.9 - 3.1. Let d = r - -4. Let k = 0.2 - d. Is 2 at least as big as k?
True
Let n = -20/93 - 132/155. Which is greater: n or -2?
n
Suppose -11*x - 100 = -x. Are -7 and x equal?
False
Let i be 99/(-88)*6/(-9). Which is greater: 28 or i?
28
Let z(u) = -4*u - 28. Let w be z(-7). Is 6/13 > w?
True
Let w = -0.3 - -0.2. Suppose -2*g + 4*h + 14 = -14, 2*g = -h + 23. Let l be 0 + g/(-14) + 1. Which is greater: l or w?
l
Let r(j) = j**2 + 5*j - 5. Let a be r(-6). Let h be (-23)/(-2) + a/2. Suppose -h = -4*t - 2*b, 3*b + 1 - 11 = 2*t. Which is greater: 2/3 or t?
t
Let n(m) = -m**2 + m - 1. Let b be n(0). Let u be (10/(-4))/((-7)/(-14)). Let x = 3 + u. Which is greater: x or b?
b
Let w be ((-2)/(-7))/((-24)/(-21)). Which is greater: w or 2/3?
2/3
Suppose -i + 2 = n, 5*i - 2*n = 3*n + 20. Let d be (-12)/9 - (-3)/i. Which is bigger: d or 1?
1
Let g = 0.46 + -0.5. Let u = g - 0.96. Which is smaller: 0.03 or u?
u
Let g = -0.17 + 1.57. Let r = 2.6 + g. Which is smaller: -0.1 or r?
-0.1
Let s = 0.285 - -0.015. Which is smaller: s or -5/7?
-5/7
Let m = 4 - 5. Let s = 3 - m. Let w = 0 + s. Is w greater than or equal to 2?
True
Let o be 3/36*(1 + 2). Let t be (10/(-15))/((-2)/(-3)). Which is bigger: o or t?
o
Let m = -3 - -7. Let f = m + -1. Suppose -4*g - 1 = -f*g. Which is smaller: 0 or g?
g
Suppose -5*u = -3*u + 2. Suppose 4*z = -0*z - 64. Let j be (-2)/z - 3/(-12). Which is greater: u or j?
j
Suppose 0 = 3*k - 5*u + 7, -7*k + u = -3*k - 2. Let l be -9*(4/6 - k). Which is smaller: l or 2?
2
Suppose 3*v + 22 = 2*s - 8, -5*v - 20 = 0. Suppose -5*d = -s*d + 28. Are d and 8 unequal?
True
Let y = 0.5 - 6.5. Let h = y + 5.9. Is h equal to 0.1?
False
Let m = 33 - 15. Which is smaller: 19 or m?
m
Let s(d) = -2*d - 3. Let h be s(-12). Which is greater: 0 or h?
h
Let i be 2/8 - 77/84. Does 1.2 = i?
False
Let l(c) = c + 7. Let r be l(-6). Is -4/11 less than or equal to r?
True
Let o = -3 - -2. Let q = o + 0. Let k be ((-1)/3)/(1/(-3)). Do q and k have the same value?
False
Let w = -1.5 + 0.5. Which is bigger: -2/13 or w?
-2/13
Suppose -v - 1 + 2 = 0. Suppose -3*z + v = -d, -3 = -z - 2*d - 12. Let n = 1 - 3. Is z less than n?
False
Let z be (-286)/33*6/(-4). Let o = -14 + z. Which is smaller: -1/3 or o?
o
Let 