hich is smaller: z or 3/7?
z
Let z(o) = o**2 + 2*o - 2. Let s be z(-3). Let q be (s + 4/(-6))*-1. Which is smaller: q or -0.1?
q
Let x = -25 - -22. Are x and -2 equal?
False
Let w be (1 - -1)*2/(-22). Are w and 0 equal?
False
Let t be (-10)/(3/228*-2). Let o = t - 4936/13. Is 1 not equal to o?
True
Suppose 0 = 3*r + 3*x + 12, -r - r = 5*x + 17. Let c = -12367/663 + -3/221. Let z = c + 18. Which is smaller: r or z?
r
Let o(j) = j + 10. Let b be o(-8). Suppose -4*k + 4 = -0*k. Which is smaller: b or k?
k
Suppose 7*o = 2*o. Let d be (2/(-4))/((-8)/12). Is d != o?
True
Let n(f) = -f**3 + 6*f**2 - 2*f - 3. Let g(w) = -3*w - 13. Let a be g(-6). Let b be n(a). Which is greater: 10 or b?
b
Let z(w) = w**3 + 20*w**2 - w - 21. Let m be z(-20). Which is bigger: -3/8 or m?
-3/8
Suppose 2*d - 10 = 5*x, 5*d = -0*d + x + 2. Let h = -20/29 + 171/290. Which is smaller: h or d?
h
Suppose -5*t = 3*k - 41, -2*k - 3*t + 30 = -t. Which is greater: 18 or k?
18
Suppose -3*w = -8*w - 3*w. Is -3 bigger than w?
False
Let f(o) = -o + 16. Let b be f(8). Do b and 9 have different values?
True
Let y(o) = -o - 1. Let s = -11 - -17. Suppose -4*z + z - s = 0. Let j be y(z). Is j greater than 1/5?
True
Suppose 2*b = 4*k + 14, 1 = k + 3. Let q be -1*(-1 + 0/b). Which is bigger: q or -1/6?
q
Let p = -2.9 - -2.8. Which is bigger: p or -8?
p
Let x = 9.4 + 2.6. Let m = x + -11. Which is smaller: m or 2?
m
Let s = 30 - 35. Which is greater: -7/2 or s?
-7/2
Let t = -4 + -4. Let l be t/(-6) + (-6)/(-9). Suppose 2*k - 2 = l. Is k at least 1/2?
True
Suppose 3*s = 0, 3*u + 79 = 2*s + 1. Which is smaller: u or -25?
u
Let x be (-21)/2044*46 - 2/(-4). Which is smaller: -1 or x?
-1
Suppose -q = 6*d - d + 51, -1 = -d. Let f be q/190 - (-2)/5. Suppose 0 = -5*h - 4*u, 4*u + u = 3*h. Do h and f have the same value?
False
Let u be 35/11 + -3 + (-405)/110. Do 0.04 and u have the same value?
False
Let x(m) = -2*m + 2. Let a be x(2). Let j(s) = -s**3 + 5*s**2 - s + 6. Let r be j(5). Let q(f) = -2*f**3 + f**2 - 1. Let u be q(r). Is a at most u?
True
Let g(t) = 4*t + 13. Let z(d) = -3*d - 12. Let w(l) = 4*g(l) + 5*z(l). Let n be w(8). Let m = -19 + 19. Is m bigger than n?
False
Let c be (-6)/(-150)*(-335)/(-6). Let b = 17/6 - c. Let v(d) = d**3 + 7*d**2 + 5*d - 4. Let h be v(-6). Is b less than or equal to h?
True
Let y(a) = -2*a**2 + 3*a + 2. Let u be y(-1). Which is smaller: u or -5?
-5
Let r = -2 - 5. Let s be 6/(-7) - 2/r. Suppose -3 = -o - 3. Which is smaller: s or o?
s
Let n = -96 + 286/3. Which is greater: 86 or n?
86
Let s be (-1 + 1)*(-1)/1. Suppose s = -o - o. Suppose -2*y + 0 - 2 = o. Do y and 2/11 have the same value?
False
Let n be -1 + 3 + 1 + 0. Let a be -5*n*4/(-12). Which is greater: a or 6?
6
Let r be (-3)/2*8*3/(-126). Which is smaller: r or 122?
r
Let r be 2/6 - 24/18. Let u be (8/54)/(-5 + 3). Does u = r?
False
Let m = 0.5 + -0.8. Let l = 0.1 + m. Let i = -0.1 - l. Is i bigger than 1?
False
Let f be 2/(-8) - 1/(-36). Which is bigger: -1/2 or f?
f
Let o = 2158/5 + -433. Is o smaller than -1?
True
Let v = -6 + -8. Which is bigger: -13 or v?
-13
Let h(u) = 2*u**2 - 1. Let a be h(2). Suppose 3*q + 69 = -z + a*q, z + 99 = -2*q. Let k = z + 271/3. Is k less than or equal to 1?
False
Let y = 0.16 + 0.24. Which is greater: y or 1?
1
Let r = -59 - -1708/29. Let m = -32/1549 + -73117/134763. Let v = m + r. Which is smaller: 0 or v?
v
Suppose -s - 2*s + 15 = 0. Do s and 1/4 have different values?
True
Let p be (-30)/(-84)*-2 - (-2)/(-7). Is p greater than 2/257?
False
Let y = -541/40 - -62/5. Is y at least 1/4?
False
Let v = 0.97 + -0.83. Which is bigger: v or 1?
1
Let a be ((-6)/(-9))/((-2)/18). Let n = 3 + a. Let l be 4/(-9) + (-2)/n. Is l greater than or equal to -1?
True
Suppose 3*x - 15 = -3*z, -5*z + 9 + 16 = -3*x. Is 3/7 equal to x?
False
Suppose 2 = -3*r + 5*r. Let o(g) = g**3 + 5*g**2 + 3*g + 1. Let p be o(-3). Let c = p - 10. Which is bigger: c or r?
r
Suppose 5*w - 5*k = -15, 5*k - 9 = w - 2*w. Let v be ((-1584)/(-15))/1 + 0. Let d = -106 + v. Is w <= d?
True
Let o = 174 + -177. Suppose 3*u = -1 - 20. Is u at most as big as o?
True
Let p = -72 - -51. Let v be (-7)/(-30)*(-4)/p. Which is smaller: v or -1?
-1
Let i = 0.08 + -5.08. Are 1/3 and i non-equal?
True
Let y(i) = -2*i - 1. Let r be y(1). Let h be 39/12 - (-2)/(-8). Let v = r + h. Which is bigger: 2 or v?
2
Let s = 4.5 + -5. Let o = 12 - 11.8. Which is smaller: s or o?
s
Let j(d) = -d**3 - d**2 + 1. Let w(f) = -f**3 - 8*f**2 - 7*f + 3. Let u(n) = -2*j(n) + w(n). Let m be u(7). Which is smaller: m or 4?
m
Suppose -15 = -v - 4*v. Suppose l + t = -2*t + 11, 3*l + v*t = 9. Does 1/12 = l?
False
Let i = 0.1 - 0.2. Let n = 4005/8 - 500. Let a = n - 1/8. Is a greater than i?
True
Suppose a = -a + 6. Which is bigger: 2 or a?
a
Suppose -2*o + 0*o + 2 = 0. Suppose o = -v - 2*z - 0*z, -3 = v + 3*z. Is v at most as big as 2?
False
Let r = -5 + 6. Let x = -0.9 + r. Which is bigger: -1 or x?
x
Let h be (3*(-9)/(-12))/((-3)/(-16)). Is 12 at least h?
True
Suppose -24 = -4*d - 4. Suppose -d*u - 190 = -10*u. Let k = u + -264/7. Is k at most 0.5?
True
Let w be ((-2)/3 - 0)*42. Let j be (-7)/4*12/w. Is -2/9 >= j?
False
Let k(d) = -d**2 + 7*d + 10. Let j be k(9). Let z be (-11)/(-4) + (-2)/j. Suppose -4*m - 3 = z*g - m, -2*g + m + 1 = 0. Which is smaller: g or 1/2?
g
Let k(g) = -g + 14. Let l be k(9). Suppose 4*s + 3 = -p - 11, 0 = p - l*s - 22. Suppose 6*j - p*v = j - 2, -2*j + 2*v = -4. Is j less than or equal to -2?
True
Let j be (-1)/(-2 - 380/(-188)). Let d = j - -281/6. Let f be (-1 - 1) + (-4)/(-2). Which is smaller: f or d?
d
Let f be (9/3)/(-3)*0. Suppose 4*p = 3*d - 8, 0 = p + 2*d + 1 + 1. Let z = -2 - p. Is f greater than z?
False
Suppose -33 - 39 = -6*n. Is n less than or equal to -1?
False
Let r = 0.87 - 0.8. Let f = r - 0.17. Which is greater: f or -11?
f
Let n be (-6)/(-3) - (-17)/4*2. Are n and 0 equal?
False
Let u be -2 + -5 + (-2 - -5). Let d = -1 - u. Suppose d*y + 5*t = 0, -2*y = -7*y + 5*t. Which is bigger: -6/11 or y?
y
Let h = -15 - -61/4. Suppose 0 = -l - 4, -3*a + 2*l + 1 - 5 = 0. Let q be a/10 - 14/(-10). Is q bigger than h?
True
Let b = -166/7 - -24. Which is smaller: -1 or b?
-1
Let r = 0.15 - 0.2. Let u = -1.95 + r. Let b be -2 - (0 - -1) - -2. Which is greater: b or u?
b
Let z = 26 + -17. Suppose 4*v = v + z. Suppose -4*p = v*g - 3, -4*p + 6*p = -3*g + 9. Which is smaller: -1 or p?
p
Let x = -1 - -4. Suppose -x*j + 6 = -2*j. Let p = j + -8. Which is greater: p or -3/5?
-3/5
Let y = 12.68 - -0.32. Let h = 11 - y. Let v be (-1)/(-2 - -1)*0. Which is smaller: v or h?
h
Let j = 3051/25 - 122. Which is smaller: j or 1?
j
Let p = -1 - -1. Do -1/16 and p have different values?
True
Suppose -4*s + 9*s = -5*u + 20, -s = 5*u. Suppose 0 = -s*a + 18 - 48. Do -5 and a have different values?
True
Let j = -131 - -200. Suppose -b = 3*b + 3*r + 79, 0 = -3*b + r - j. Let f = 85/4 + b. Is -2 at least as big as f?
False
Suppose -l - 4*l = 0. Is l bigger than 1/10?
False
Let v be 2*((0 - -5) + 2). Let m be 4/v + (-6)/(-28). Which is smaller: m or -1?
-1
Let y = -10 - -9.6. Let i = -8 - -7. Which is smaller: i or y?
i
Let z be 3/(-1) - 8/(-4). Is -1/10 at most z?
False
Let n = -0.07 + -0.13. Let q = 18 + -15.8. Let v = n + q. Which is smaller: 0.2 or v?
0.2
Let n = -7/44 + 179/572. Is n > 0?
True
Suppose -3*v = 2 + 1. Let t = 4 - 6. Is t < v?
True
Let r(l) = -l**3 - l**2 + 2*l + 1. Suppose 3 = -y + 2. Let d be r(y). Suppose -10 = 3*z + 2*z. Which is smaller: z or d?
z
Suppose 7*q - 3*q = -5*u + 12, -2*u + 2*q = -12. Suppose -h - u = h + f, -5*h - 4 = f. Suppose h = 5*p + 15. Is -4 not equal to p?
True
Let y be 3/(-4) + 4/8. Which is bigger: y or -0.06?
-0.06
Suppose v + 3*b = 2, 5*v + 3*b - 17 = 17. Which is smaller: v or 9?
v
Let y be ((-1)/2)/((-2)/4). Let n be 1*((-8220)/(-28))/(-5). Let t = 59 + n. Which is smaller: t or y?
t
Let v be (-173)/116 - 18/(-12). Let n = -935/812 + v. Let r be 0 + 1*0/(-2). Is n greater than or equal to r?
False
Let l = -54.9 - -55. Let s = 0.03 + 1.97. Which is bigger: s or l?
s
Let m be (-1 + -5)/(189/(-18)). Which is smaller: 2 or m?
m
Let w(q) = 8*q - 52. Let f be w(8). Which is smaller: 37/3 or f?
f
Let d be (-1788)/(-90) - (2 + (-32)/15). Do 20 and d have the same value?
True
Let f = 26 + -47. Let 